runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457402-1307659037/watcher-3457402-1307659037 -o /tmp/evaluation-result-3457402-1307659037/solver-3457402-1307659037 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457402-1307659037.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.96 1.98 2/194 10549
/proc/meminfo: memFree=31894240/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10549/stat : 10549 (java) R 10547 10549 8879 0 -1 4202496 536 0 0 0 0 0 0 0 25 0 1 0 877501941 23580672 279 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246511871744 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10549/statm: 5757 293 226 9 0 124 0
[startup+0.104938 s]
/proc/loadavg: 1.77 1.96 1.98 2/194 10549
/proc/meminfo: memFree=31894240/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10540372 CPUtime=0.11 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 13114 0 1 0 10 1 0 0 25 0 18 0 877501941 10793340928 12780 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2635093 12780 2092 9 0 2625827 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540372
[startup+0.202093 s]
/proc/loadavg: 1.77 1.96 1.98 2/194 10549
/proc/meminfo: memFree=31894240/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10540996 CPUtime=0.3 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 15070 0 1 0 29 1 0 0 25 0 18 0 877501941 10793979904 14508 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2635249 14509 2190 9 0 2625983 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10540996
[startup+0.300873 s]
/proc/loadavg: 1.77 1.96 1.98 2/194 10549
/proc/meminfo: memFree=31894240/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10543968 CPUtime=0.51 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 20414 0 1 0 49 2 0 0 25 0 18 0 877501941 10797023232 19146 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2635992 19149 2200 9 0 2626726 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543968
[startup+0.700807 s]
/proc/loadavg: 1.77 1.96 1.98 2/194 10549
/proc/meminfo: memFree=31894240/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10562520 CPUtime=1.32 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 50027 0 1 0 128 4 0 0 25 0 18 0 877501941 10816020480 46748 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2640630 46751 2207 9 0 2631364 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10562520
[startup+1.50068 s]
/proc/loadavg: 1.77 1.96 1.98 3/214 10623
/proc/meminfo: memFree=31684792/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10562520 CPUtime=2.18 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 112669 0 1 0 206 12 0 0 25 0 18 0 877501941 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2640630 109274 2216 9 0 2631364 0
[pid=10549/tid=10551] ppid=10547 vsize=10562520 CPUtime=1.48 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) R 10547 10549 8879 0 -1 4202560 101512 0 1 0 137 11 0 0 18 0 18 0 877501941 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 47784791771987 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10549/tid=10552] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10553] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10554] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10555] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10556] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10557] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10558] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10559] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10560] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10549 8879 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 877501944 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 0 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10561] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10549 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10562] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10549 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10567] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10567/stat : 10567 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501946 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528657841 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10568] ppid=10547 vsize=10562520 CPUtime=0.45 cores=0,2,4,6
/proc/10549/task/10568/stat : 10568 (java) S 10547 10549 8879 0 -1 4202560 7207 0 0 0 45 0 0 0 20 0 18 0 877501947 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 6 0 0 0
[pid=10549/tid=10569] ppid=10547 vsize=10562520 CPUtime=0.22 cores=0,2,4,6
/proc/10549/task/10569/stat : 10569 (java) S 10547 10549 8879 0 -1 4202560 2799 0 0 0 22 0 0 0 15 0 18 0 877501947 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10570] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10570/stat : 10570 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501947 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10571] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10571/stat : 10571 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877501947 10816020480 109274 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10562520
Solver just ended. Dumping a history of the last processes samples
[startup+1.60161 s]
/proc/loadavg: 1.77 1.96 1.98 3/214 10623
/proc/meminfo: memFree=31684792/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10562520 CPUtime=2.37 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 114209 0 1 0 225 12 0 0 25 0 18 0 877501941 10816020480 110814 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2640630 110814 2220 9 0 2631364 0
[pid=10549/tid=10551] ppid=10547 vsize=10562520 CPUtime=1.58 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) R 10547 10549 8879 0 -1 4202560 103039 0 1 0 147 11 0 0 18 0 18 0 877501941 10816020480 110814 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 46912505702995 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10549/tid=10552] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110815 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10553] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110816 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10554] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110816 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10555] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110817 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10556] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110817 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10557] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110817 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10558] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110818 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10559] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 110818 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10560] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10549 8879 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 877501944 10816020480 110819 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 0 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10561] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10549 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 110819 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10562] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10549 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 110820 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10567] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10567/stat : 10567 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501946 10816020480 110820 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528657841 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10568] ppid=10547 vsize=10562520 CPUtime=0.51 cores=0,2,4,6
/proc/10549/task/10568/stat : 10568 (java) R 10547 10549 8879 0 -1 4202560 7219 0 0 0 51 0 0 0 17 0 18 0 877501947 10816020480 110821 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 47784790153832 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10549/tid=10569] ppid=10547 vsize=10562520 CPUtime=0.25 cores=0,2,4,6
/proc/10549/task/10569/stat : 10569 (java) S 10547 10549 8879 0 -1 4202560 2800 0 0 0 25 0 0 0 15 0 18 0 877501947 10816020480 110821 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10570] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10570/stat : 10570 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501947 10816020480 110822 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10571] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10571/stat : 10571 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877501947 10816020480 110822 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10562520
[startup+1.70063 s]
/proc/loadavg: 1.77 1.96 1.98 3/214 10623
/proc/meminfo: memFree=31684792/32951124 swapFree=67063556/67111528
[pid=10549] ppid=10547 vsize=10562520 CPUtime=2.49 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10549 8879 0 -1 4202496 115946 0 1 0 237 12 0 0 25 0 18 0 877501941 10816020480 112551 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10549/statm: 2640630 112553 2220 9 0 2631364 0
[pid=10549/tid=10551] ppid=10547 vsize=10562520 CPUtime=1.68 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) R 10547 10549 8879 0 -1 4202560 104775 0 1 0 157 11 0 0 18 0 18 0 877501941 10816020480 112554 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 46912505702644 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10549/tid=10552] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112555 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10553] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112556 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10554] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112556 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10555] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112556 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10556] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112557 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10557] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112558 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10558] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112558 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10559] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501943 10816020480 112559 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10560] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10549 8879 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 877501944 10816020480 112560 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 0 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10561] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10549 8879 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 112561 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10562] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10549 8879 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877501944 10816020480 112562 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10567] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10567/stat : 10567 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501946 10816020480 112562 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528657841 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10568] ppid=10547 vsize=10562520 CPUtime=0.54 cores=0,2,4,6
/proc/10549/task/10568/stat : 10568 (java) S 10547 10549 8879 0 -1 4202560 7223 0 0 0 54 0 0 0 17 0 18 0 877501947 10816020480 112563 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 6 0 0 0
[pid=10549/tid=10569] ppid=10547 vsize=10562520 CPUtime=0.25 cores=0,2,4,6
/proc/10549/task/10569/stat : 10569 (java) S 10547 10549 8879 0 -1 4202560 2800 0 0 0 25 0 0 0 15 0 18 0 877501947 10816020480 112563 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
[pid=10549/tid=10570] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10570/stat : 10570 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877501947 10816020480 112563 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650137 0 4 0 16800975 18446604440437971968 0 0 -1 4 0 0 0
[pid=10549/tid=10571] ppid=10547 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10571/stat : 10571 (java) S 10547 10549 8879 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877501947 10816020480 112564 33554432000 1073741824 1073778376 140736520380928 18446744073709551615 246528650752 0 4 0 16800975 18446604440437971968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10562520
Child status: 20
Real time (s): 1.79421
CPU time (s): 2.6156
CPU user time (s): 2.47162
CPU system time (s): 0.143978
CPU usage (%): 145.78
Max. virtual memory (cumulated for all children) (KiB): 10562520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.47162
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117551
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= 251
involuntary context switches= 84
runsolver used 0.008998 second user time and 0.004999 second system time
The end