runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand194.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand194.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand194.cudf.user-upgrades.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.17 1.09 1.02 5/35 11957 /proc/meminfo: memFree=313168/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) R 11955 11956 4778 34817 4778 4202496 356 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 270 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11956/statm: 643 270 228 194 0 30 0 [pid=11957] ppid=11956 vsize=2572 CPUtime=0 /proc/11957/stat : 11957 (gj-paranoid-sol) R 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 42 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11957/statm: 643 42 0 194 0 30 0 [startup+0.12538 s] /proc/loadavg: 1.17 1.09 1.02 5/35 11957 /proc/meminfo: memFree=313168/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=409800 CPUtime=0.13 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 3896 0 1 0 12 1 0 0 25 0 9 0 10569682 419635200 3322 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102450 3322 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412372 [startup+0.205411 s] /proc/loadavg: 1.17 1.09 1.02 5/35 11957 /proc/meminfo: memFree=313168/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=409800 CPUtime=0.21 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 4075 0 1 0 20 1 0 0 25 0 9 0 10569682 419635200 3501 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102450 3501 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412372 [startup+0.305433 s] /proc/loadavg: 1.17 1.09 1.02 5/35 11957 /proc/meminfo: memFree=313168/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=410384 CPUtime=0.3 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 4425 0 1 0 28 2 0 0 25 0 9 0 10569682 420233216 3851 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102596 3851 1944 10 0 96744 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412956 [startup+0.705563 s] /proc/loadavg: 1.17 1.09 1.02 5/35 11957 /proc/meminfo: memFree=313168/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=410688 CPUtime=0.7 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 12259 0 1 0 67 3 0 0 25 0 9 0 10569682 420544512 11498 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102672 11498 2901 10 0 96820 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413260 [startup+1.50584 s] /proc/loadavg: 1.17 1.09 1.02 2/44 11966 /proc/meminfo: memFree=254804/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=410688 CPUtime=1.51 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 27417 0 1 0 144 7 0 0 25 0 9 0 10569682 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102672 26656 2901 10 0 96820 0 [pid=11957/tid=11959] ppid=11956 vsize=410688 CPUtime=0.82 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 6704 0 1 0 81 1 0 0 25 0 9 0 10569682 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=410688 CPUtime=0.64 /proc/11957/task/11960/stat : 11960 (java) R 11956 11956 4778 34817 4778 4202560 19320 0 0 0 61 3 0 0 18 0 9 0 10569683 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4150842137 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=410688 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10569683 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=410688 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10569683 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=410688 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=410688 CPUtime=0.02 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 451 0 0 0 1 1 0 0 18 0 9 0 10569684 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=410688 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=410688 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 420544512 26656 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413260 [startup+3.10637 s] /proc/loadavg: 1.17 1.09 1.02 2/44 11966 /proc/meminfo: memFree=183008/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=410820 CPUtime=3.11 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 51092 0 1 0 297 14 0 0 25 0 9 0 10569682 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102705 50331 2901 10 0 96853 0 [pid=11957/tid=11959] ppid=11956 vsize=410820 CPUtime=1.44 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 13857 0 1 0 142 2 0 0 25 0 9 0 10569682 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=410820 CPUtime=1.62 /proc/11957/task/11960/stat : 11960 (java) R 11956 11956 4778 34817 4778 4202560 35839 0 0 0 153 9 0 0 16 0 9 0 10569683 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4149735376 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=410820 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10569683 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=410820 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10569683 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=410820 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=410820 CPUtime=0.02 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 454 0 0 0 1 1 0 0 15 0 9 0 10569684 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=410820 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=410820 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) R 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 420679680 50331 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413392 [startup+6.30747 s] /proc/loadavg: 1.23 1.10 1.03 2/44 11966 /proc/meminfo: memFree=46112/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=439992 CPUtime=6.3 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 78234 0 1 0 607 23 0 0 25 0 9 0 10569682 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 109998 77467 2902 10 0 104146 0 [pid=11957/tid=11959] ppid=11956 vsize=439992 CPUtime=2.33 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 13874 0 1 0 231 2 0 0 25 0 9 0 10569682 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=439992 CPUtime=3.92 /proc/11957/task/11960/stat : 11960 (java) R 11956 11956 4778 34817 4778 4202560 62946 0 0 0 374 18 0 0 16 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4152379931 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=439992 CPUtime=0.02 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 472 0 0 0 1 1 0 0 15 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442564 Solver just ended. Dumping a history of the last processes samples [startup+6.40753 s] /proc/loadavg: 1.23 1.10 1.03 2/44 11966 /proc/meminfo: memFree=46112/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=439992 CPUtime=6.4 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 78234 0 1 0 617 23 0 0 25 0 9 0 10569682 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 109998 77467 2902 10 0 104146 0 [pid=11957/tid=11959] ppid=11956 vsize=439992 CPUtime=2.33 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 13874 0 1 0 231 2 0 0 25 0 9 0 10569682 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=439992 CPUtime=4.02 /proc/11957/task/11960/stat : 11960 (java) R 11956 11956 4778 34817 4778 4202560 62946 0 0 0 384 18 0 0 16 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4151280222 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10569683 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=439992 CPUtime=0.02 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 472 0 0 0 1 1 0 0 15 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=439992 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 450551808 77467 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 442564 [startup+9.62877 s] /proc/loadavg: 1.23 1.10 1.03 3/44 11966 /proc/meminfo: memFree=13632/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=411420 CPUtime=9.62 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 92733 0 1 0 933 29 0 0 25 0 9 0 10569682 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102855 70532 2916 10 0 97000 0 [pid=11957/tid=11959] ppid=11956 vsize=411420 CPUtime=2.82 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 14102 0 1 0 280 2 0 0 25 0 9 0 10569682 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=411420 CPUtime=6.72 /proc/11957/task/11960/stat : 11960 (java) R 11956 11956 4778 34817 4778 4202560 77196 0 0 0 647 25 0 0 15 0 9 0 10569683 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4151266728 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=411420 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10569683 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=411420 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10569683 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=411420 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=411420 CPUtime=0.06 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 493 0 0 0 5 1 0 0 15 0 9 0 10569684 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=411420 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=411420 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) R 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 421294080 70532 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.62 Current children cumulated vsize (KiB) 413992 [startup+11.2092 s] /proc/loadavg: 1.29 1.12 1.03 2/45 11967 /proc/meminfo: memFree=41400/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=411744 CPUtime=11.2 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 92803 0 1 0 1091 29 0 0 25 0 10 0 10569682 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102936 70598 2917 10 0 97081 0 [pid=11957/tid=11959] ppid=11956 vsize=411744 CPUtime=4.09 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 14127 0 1 0 407 2 0 0 25 0 10 0 10569682 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4115450012 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=411744 CPUtime=6.96 /proc/11957/task/11960/stat : 11960 (java) S 11956 11956 4778 34817 4778 4202560 77196 0 0 0 671 25 0 0 16 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=411744 CPUtime=0.13 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 533 0 0 0 12 1 0 0 15 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11967] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11967/stat : 11967 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10570673 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.2 Current children cumulated vsize (KiB) 414316 [startup+11.6093 s] /proc/loadavg: 1.29 1.12 1.03 2/45 11967 /proc/meminfo: memFree=41400/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=411744 CPUtime=11.6 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 92803 0 1 0 1131 29 0 0 25 0 10 0 10569682 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102936 70598 2917 10 0 97081 0 [pid=11957/tid=11959] ppid=11956 vsize=411744 CPUtime=4.49 /proc/11957/task/11959/stat : 11959 (java) R 11956 11956 4778 34817 4778 4202560 14127 0 1 0 447 2 0 0 25 0 10 0 10569682 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4115465646 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=411744 CPUtime=6.96 /proc/11957/task/11960/stat : 11960 (java) S 11956 11956 4778 34817 4778 4202560 77196 0 0 0 671 25 0 0 15 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10569683 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=411744 CPUtime=0.13 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 533 0 0 0 12 1 0 0 15 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10569684 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11967] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11967/stat : 11967 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10570673 421625856 70598 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.6 Current children cumulated vsize (KiB) 414316 [startup+11.8021 s] /proc/loadavg: 1.29 1.12 1.03 2/45 11967 /proc/meminfo: memFree=41400/1048576 swapFree=0/0 [pid=11956] ppid=11955 vsize=2572 CPUtime=0 /proc/11956/stat : 11956 (gj-paranoid-sol) S 11955 11956 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 25 0 1 0 10569682 2633728 271 1283457024 134512640 135304128 4290483664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11956/statm: 643 271 229 194 0 30 0 [pid=11957] ppid=11956 vsize=411744 CPUtime=11.75 /proc/11957/stat : 11957 (java) S 11956 11956 4778 34817 4778 4202496 92807 0 1 0 1146 29 0 0 25 0 9 0 10569682 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11957/statm: 102936 70602 2920 10 0 97081 0 [pid=11957/tid=11959] ppid=11956 vsize=411744 CPUtime=4.6 /proc/11957/task/11959/stat : 11959 (java) S 11956 11956 4778 34817 4778 4202560 14127 0 1 0 458 2 0 0 25 0 9 0 10569682 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11960] ppid=11956 vsize=411744 CPUtime=7.01 /proc/11957/task/11960/stat : 11960 (java) S 11956 11956 4778 34817 4778 4202560 77198 0 0 0 676 25 0 0 16 0 9 0 10569683 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11961] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11961/stat : 11961 (java) S 11956 11956 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10569683 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11962] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11962/stat : 11962 (java) S 11956 11956 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10569683 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11963] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11963/stat : 11963 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10569684 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11964] ppid=11956 vsize=411744 CPUtime=0.13 /proc/11957/task/11964/stat : 11964 (java) S 11956 11956 4778 34817 4778 4202560 534 0 0 0 12 1 0 0 15 0 9 0 10569684 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11965] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11965/stat : 11965 (java) S 11956 11956 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10569684 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=11957/tid=11966] ppid=11956 vsize=411744 CPUtime=0 /proc/11957/task/11966/stat : 11966 (java) S 11956 11956 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10569684 421625856 70602 1283457024 134512640 134550932 4286579040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.75 Current children cumulated vsize (KiB) 414316 Child status: 0 Real time (s): 11.8358 CPU time (s): 11.7847 CPU user time (s): 11.4687 CPU system time (s): 0.316019 CPU usage (%): 99.5687 Max. virtual memory (cumulated for all children) (KiB): 442564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.4687 system time used= 0.316019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93196 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 915 involuntary context switches= 1012 runsolver used 0 second user time and 0 second system time The end