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/rand475.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand475.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand475.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.43 1.33 1.14 4/34 19728 /proc/meminfo: memFree=285188/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=11048 CPUtime=0.01 /proc/19728/stat : 19728 (java) R 19727 19727 4778 34817 4778 4202496 682 0 0 0 0 1 0 0 25 0 1 0 11117165 11313152 418 1283457024 134512640 134550932 4291249616 18446744073709551615 4160317154 0 0 0 0 0 0 0 17 0 0 0 0 /proc/19728/statm: 2762 418 179 10 0 1104 0 [startup+0.17544 s] /proc/loadavg: 1.43 1.33 1.14 4/34 19728 /proc/meminfo: memFree=285188/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=409800 CPUtime=0.17 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 4014 0 1 0 15 2 0 0 25 0 9 0 11117165 419635200 3441 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102450 3441 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412372 [startup+0.205438 s] /proc/loadavg: 1.43 1.33 1.14 4/34 19728 /proc/meminfo: memFree=285188/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=409800 CPUtime=0.2 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 4082 0 1 0 18 2 0 0 25 0 9 0 11117165 419635200 3509 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102450 3509 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412372 [startup+0.305472 s] /proc/loadavg: 1.43 1.33 1.14 4/34 19728 /proc/meminfo: memFree=285188/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=410248 CPUtime=0.3 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 4422 0 1 0 28 2 0 0 25 0 9 0 11117165 420093952 3849 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102562 3849 1944 10 0 96710 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412820 [startup+0.705623 s] /proc/loadavg: 1.43 1.33 1.14 4/34 19728 /proc/meminfo: memFree=285188/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=410652 CPUtime=0.7 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 11780 0 1 0 65 5 0 0 25 0 9 0 11117165 420507648 11020 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102663 11020 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413224 [startup+1.50584 s] /proc/loadavg: 1.56 1.36 1.15 2/43 19737 /proc/meminfo: memFree=227816/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=410784 CPUtime=1.5 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 27075 0 1 0 140 10 0 0 25 0 9 0 11117165 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102696 26315 2901 10 0 96844 0 [pid=19728/tid=19730] ppid=19727 vsize=410784 CPUtime=0.81 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 6704 0 1 0 75 6 0 0 25 0 9 0 11117166 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=410784 CPUtime=0.62 /proc/19728/task/19731/stat : 19731 (java) R 19727 19727 4778 34817 4778 4202560 18981 0 0 0 60 2 0 0 18 0 9 0 11117166 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4151195565 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11117167 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11117167 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=410784 CPUtime=0.04 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 449 0 0 0 4 0 0 0 16 0 9 0 11117168 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11117168 420642816 26315 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413356 [startup+3.1064 s] /proc/loadavg: 1.56 1.36 1.15 2/43 19737 /proc/meminfo: memFree=156020/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=410784 CPUtime=3.1 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 51004 0 1 0 296 14 0 0 25 0 9 0 11117165 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102696 50244 2901 10 0 96844 0 [pid=19728/tid=19730] ppid=19727 vsize=410784 CPUtime=1.43 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 13857 0 1 0 134 9 0 0 25 0 9 0 11117166 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=410784 CPUtime=1.61 /proc/19728/task/19731/stat : 19731 (java) R 19727 19727 4778 34817 4778 4202560 35754 0 0 0 157 4 0 0 16 0 9 0 11117166 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4153311766 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11117167 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11117167 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=410784 CPUtime=0.04 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 452 0 0 0 4 0 0 0 15 0 9 0 11117168 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=410784 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11117168 420642816 50244 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413356 [startup+6.30761 s] /proc/loadavg: 1.59 1.37 1.16 2/43 19737 /proc/meminfo: memFree=19000/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=439956 CPUtime=6.29 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 78232 0 1 0 605 24 0 0 25 0 9 0 11117165 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 109989 77466 2902 10 0 104137 0 [pid=19728/tid=19730] ppid=19727 vsize=439956 CPUtime=2.29 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 13874 0 1 0 218 11 0 0 25 0 9 0 11117166 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=439956 CPUtime=3.91 /proc/19728/task/19731/stat : 19731 (java) R 19727 19727 4778 34817 4778 4202560 62947 0 0 0 380 11 0 0 16 0 9 0 11117166 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4152687131 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11117167 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11117167 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=439956 CPUtime=0.06 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 470 0 0 0 6 0 0 0 15 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 442528 Solver just ended. Dumping a history of the last processes samples [startup+6.40765 s] /proc/loadavg: 1.59 1.37 1.16 2/43 19737 /proc/meminfo: memFree=19000/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=439956 CPUtime=6.39 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 78232 0 1 0 615 24 0 0 25 0 9 0 11117165 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 109989 77466 2902 10 0 104137 0 [pid=19728/tid=19730] ppid=19727 vsize=439956 CPUtime=2.29 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 13874 0 1 0 218 11 0 0 25 0 9 0 11117166 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=439956 CPUtime=4.01 /proc/19728/task/19731/stat : 19731 (java) R 19727 19727 4778 34817 4778 4202560 62947 0 0 0 390 11 0 0 16 0 9 0 11117166 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4151587464 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11117167 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11117167 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=439956 CPUtime=0.06 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 470 0 0 0 6 0 0 0 15 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=439956 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11117168 450514944 77466 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 442528 [startup+9.62875 s] /proc/loadavg: 1.59 1.37 1.16 3/43 19737 /proc/meminfo: memFree=6204/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=411420 CPUtime=9.59 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 92729 0 1 0 925 34 0 0 25 0 9 0 11117165 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102855 70531 2916 10 0 97000 0 [pid=19728/tid=19730] ppid=19727 vsize=411420 CPUtime=2.81 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 14102 0 1 0 270 11 0 0 25 0 9 0 11117166 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=411420 CPUtime=6.7 /proc/19728/task/19731/stat : 19731 (java) R 19727 19727 4778 34817 4778 4202560 77195 0 0 0 648 22 0 0 15 0 9 0 11117166 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4153304424 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=411420 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11117167 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=411420 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11117167 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=411420 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=411420 CPUtime=0.07 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 491 0 0 0 7 0 0 0 15 0 9 0 11117168 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=411420 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11117168 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=411420 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11117168 421294080 70531 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.59 Current children cumulated vsize (KiB) 413992 [startup+10.4089 s] /proc/loadavg: 1.59 1.37 1.16 3/44 19738 /proc/meminfo: memFree=33848/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=411744 CPUtime=10.37 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 92783 0 1 0 1003 34 0 0 25 0 10 0 11117165 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102936 70581 2916 10 0 97081 0 [pid=19728/tid=19730] ppid=19727 vsize=411744 CPUtime=3.34 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 14125 0 1 0 323 11 0 0 25 0 10 0 11117166 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4115763844 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=411744 CPUtime=6.91 /proc/19728/task/19731/stat : 19731 (java) S 19727 19727 4778 34817 4778 4202560 77195 0 0 0 669 22 0 0 16 0 10 0 11117166 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=411744 CPUtime=0.11 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 517 0 0 0 11 0 0 0 15 0 10 0 11117168 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11117168 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19738] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19738/stat : 19738 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11118153 421625856 70581 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.37 Current children cumulated vsize (KiB) 414316 [startup+11.2092 s] /proc/loadavg: 1.55 1.36 1.15 2/44 19738 /proc/meminfo: memFree=33848/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=411744 CPUtime=11.17 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 92799 0 1 0 1083 34 0 0 25 0 10 0 11117165 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102936 70597 2917 10 0 97081 0 [pid=19728/tid=19730] ppid=19727 vsize=411744 CPUtime=4.12 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 14127 0 1 0 401 11 0 0 25 0 10 0 11117166 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4115771520 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=411744 CPUtime=6.91 /proc/19728/task/19731/stat : 19731 (java) S 19727 19727 4778 34817 4778 4202560 77195 0 0 0 669 22 0 0 16 0 10 0 11117166 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=411744 CPUtime=0.13 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 531 0 0 0 13 0 0 0 15 0 10 0 11117168 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11117168 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19738] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19738/stat : 19738 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11118153 421625856 70597 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (KiB) 414316 [startup+11.617 s] /proc/loadavg: 1.55 1.36 1.15 2/44 19738 /proc/meminfo: memFree=33848/1048576 swapFree=0/0 [pid=19727] ppid=19726 vsize=2572 CPUtime=0 /proc/19727/stat : 19727 (gj-paranoid-sol) S 19726 19727 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11117165 2633728 269 1283457024 134512640 135304128 4289887552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19727/statm: 643 269 229 194 0 30 0 [pid=19728] ppid=19727 vsize=411744 CPUtime=11.57 /proc/19728/stat : 19728 (java) S 19727 19727 4778 34817 4778 4202496 92801 0 1 0 1123 34 0 0 25 0 10 0 11117165 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19728/statm: 102936 70599 2919 10 0 97081 0 [pid=19728/tid=19730] ppid=19727 vsize=411744 CPUtime=4.49 /proc/19728/task/19730/stat : 19730 (java) R 19727 19727 4778 34817 4778 4202560 14127 0 1 0 438 11 0 0 25 0 10 0 11117166 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19728/tid=19731] ppid=19727 vsize=411744 CPUtime=6.93 /proc/19728/task/19731/stat : 19731 (java) S 19727 19727 4778 34817 4778 4202560 77197 0 0 0 671 22 0 0 15 0 10 0 11117166 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19732] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19732/stat : 19732 (java) S 19727 19727 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19733] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19733/stat : 19733 (java) S 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11117167 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19734] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19734/stat : 19734 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19735] ppid=19727 vsize=411744 CPUtime=0.14 /proc/19728/task/19735/stat : 19735 (java) S 19727 19727 4778 34817 4778 4202560 531 0 0 0 14 0 0 0 15 0 10 0 11117168 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19736] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19736/stat : 19736 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11117168 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19737] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19737/stat : 19737 (java) S 19727 19727 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11117168 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=19728/tid=19738] ppid=19727 vsize=411744 CPUtime=0 /proc/19728/task/19738/stat : 19738 (java) R 19727 19727 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 17 0 10 0 11118153 421625856 70599 1283457024 134512640 134550932 4291249616 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.57 Current children cumulated vsize (KiB) 414316 Child status: 0 Real time (s): 11.6857 CPU time (s): 11.6367 CPU user time (s): 11.2687 CPU system time (s): 0.368023 CPU usage (%): 99.5812 Max. virtual memory (cumulated for all children) (KiB): 442528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.2687 system time used= 0.368023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93190 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= 930 involuntary context switches= 1050 runsolver used 0 second user time and 0 second system time The end