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-3457300-1307219689/watcher-3457300-1307219689 -o /tmp/evaluation-result-3457300-1307219689/solver-3457300-1307219689 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457300-1307219689.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: 2.01 2.01 1.93 2/291 17581
/proc/meminfo: memFree=24805672/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/17581/stat : 17581 (java) R 17579 17581 17036 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 833569678 23580672 698 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17581/statm: 5757 699 516 9 0 124 0
[pid=17581/tid=17582] ppid=17579 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) S 17579 17581 17036 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 833569679 36646912 1018 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222921797190 0 0 0 16784584 4594538314253467647 0 0 -1 4 0 0 0
[startup+0.038625 s]
/proc/loadavg: 2.01 2.01 1.93 2/291 17581
/proc/meminfo: memFree=24805672/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 11053 0 1 0 1 1 0 0 25 0 11 0 833569678 10716594176 10753 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2616356 10754 1628 9 0 2607104 0
[pid=17581/tid=17582] ppid=17579 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 9931 0 1 0 1 1 0 0 25 0 11 0 833569679 10716594176 10754 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933603787 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100642 s]
/proc/loadavg: 2.01 2.01 1.93 2/291 17581
/proc/meminfo: memFree=24805672/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10540008 CPUtime=0.09 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 12978 0 1 0 8 1 0 0 25 0 18 0 833569678 10792968192 12660 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2635002 12660 2093 9 0 2625736 0
[pid=17581/tid=17582] ppid=17579 vsize=10540008 CPUtime=0.07 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 11042 0 1 0 6 1 0 0 18 0 18 0 833569679 10792968192 12660 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 47041911313944 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540008
[startup+0.301384 s]
/proc/loadavg: 2.01 2.01 1.93 2/291 17581
/proc/meminfo: memFree=24805672/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10542180 CPUtime=0.45 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 15274 0 1 0 43 2 0 0 25 0 19 0 833569678 10795192320 14710 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2635545 14710 2208 9 0 2626279 0
[pid=17581/tid=17582] ppid=17579 vsize=10542180 CPUtime=0.27 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 12450 0 1 0 25 2 0 0 19 0 19 0 833569679 10795192320 14710 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 47041912748852 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542180
[startup+0.700543 s]
/proc/loadavg: 2.01 2.01 1.93 2/291 17581
/proc/meminfo: memFree=24805672/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10544256 CPUtime=1.28 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 31863 0 1 0 124 4 0 0 25 0 19 0 833569678 10797318144 29732 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2636064 29733 2220 9 0 2626798 0
[pid=17581/tid=17582] ppid=17579 vsize=10544256 CPUtime=0.67 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 25998 0 1 0 63 4 0 0 18 0 19 0 833569679 10797318144 29733 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 46912505806842 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10544256
[startup+1.50139 s]
/proc/loadavg: 2.01 2.01 1.93 3/310 17601
/proc/meminfo: memFree=24627716/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10544256 CPUtime=2.19 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 73253 0 1 0 210 9 0 0 25 0 19 0 833569678 10797318144 71120 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2636064 71123 2223 9 0 2626798 0
[pid=17581/tid=17582] ppid=17579 vsize=10544256 CPUtime=1.47 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 67369 0 1 0 138 9 0 0 18 0 19 0 833569679 10797318144 71125 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 46912505669594 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17581/tid=17584] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17584/stat : 17584 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71127 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17585] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17585/stat : 17585 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71128 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17586] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17586/stat : 17586 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71130 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17587] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17587/stat : 17587 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71132 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17588] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17588/stat : 17588 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71133 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17589] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17589/stat : 17589 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71135 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17590] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17590/stat : 17590 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17591] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17591/stat : 17591 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17592] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17592/stat : 17592 (java) S 17579 17581 17036 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833569682 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 0 0 16800975 18446604441097540672 0 0 -1 6 0 0 0
[pid=17581/tid=17593] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17593/stat : 17593 (java) S 17579 17581 17036 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833569682 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17594] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17594/stat : 17594 (java) S 17579 17581 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833569682 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17596] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17596/stat : 17596 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569685 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933600689 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17597] ppid=17579 vsize=10544256 CPUtime=0.36 cores=0,2,4,6
/proc/17581/task/17597/stat : 17597 (java) S 17579 17581 17036 0 -1 4202560 2796 0 0 0 36 0 0 0 15 0 19 0 833569685 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 0 0 0 0
[pid=17581/tid=17598] ppid=17579 vsize=10544256 CPUtime=0.34 cores=0,2,4,6
/proc/17581/task/17598/stat : 17598 (java) S 17579 17581 17036 0 -1 4202560 1934 0 0 0 34 0 0 0 16 0 19 0 833569685 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17599] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17599/stat : 17599 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569685 10797318144 71136 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17600] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17600/stat : 17600 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833569685 10797318144 71139 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17601] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17601/stat : 17601 (java) S 17579 17581 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833569705 10797318144 71142 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10544256
Solver just ended. Dumping a history of the last processes samples
[startup+1.90131 s]
/proc/loadavg: 2.01 2.01 1.93 3/310 17601
/proc/meminfo: memFree=24627716/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10544256 CPUtime=2.62 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 92178 0 1 0 249 13 0 0 25 0 19 0 833569678 10797318144 90045 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2636064 90048 2227 9 0 2626798 0
[pid=17581/tid=17582] ppid=17579 vsize=10544256 CPUtime=1.87 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) R 17579 17581 17036 0 -1 4202560 86285 0 1 0 175 12 0 0 19 0 19 0 833569679 10797318144 90049 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 46912505669895 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17581/tid=17584] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17584/stat : 17584 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90051 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17585] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17585/stat : 17585 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90053 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17586] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17586/stat : 17586 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90055 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17587] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17587/stat : 17587 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90057 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17588] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17588/stat : 17588 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17589] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17589/stat : 17589 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17590] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17590/stat : 17590 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17591] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17591/stat : 17591 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569681 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17592] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17592/stat : 17592 (java) S 17579 17581 17036 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833569682 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 0 0 16800975 18446604441097540672 0 0 -1 6 0 0 0
[pid=17581/tid=17593] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17593/stat : 17593 (java) S 17579 17581 17036 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833569682 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17594] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17594/stat : 17594 (java) S 17579 17581 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833569682 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17596] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17596/stat : 17596 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569685 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933600689 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17597] ppid=17579 vsize=10544256 CPUtime=0.38 cores=0,2,4,6
/proc/17581/task/17597/stat : 17597 (java) S 17579 17581 17036 0 -1 4202560 2804 0 0 0 38 0 0 0 15 0 19 0 833569685 10797318144 90059 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 0 0 0 0
[pid=17581/tid=17598] ppid=17579 vsize=10544256 CPUtime=0.34 cores=0,2,4,6
/proc/17581/task/17598/stat : 17598 (java) S 17579 17581 17036 0 -1 4202560 1934 0 0 0 34 0 0 0 16 0 19 0 833569685 10797318144 90062 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17599] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17599/stat : 17599 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833569685 10797318144 90063 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17600] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17600/stat : 17600 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833569685 10797318144 90065 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17601] ppid=17579 vsize=10544256 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17601/stat : 17601 (java) S 17579 17581 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833569705 10797318144 90067 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10544256
[startup+2.10127 s]
/proc/loadavg: 2.01 2.01 1.93 5/310 17601
/proc/meminfo: memFree=24424976/32951124 swapFree=55664332/67111528
[pid=17581] ppid=17579 vsize=10544408 CPUtime=2.92 cores=0,2,4,6
/proc/17581/stat : 17581 (java) S 17579 17581 17036 0 -1 4202496 99622 0 1 0 279 13 0 0 25 0 19 0 833569678 10797473792 96698 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17581/statm: 2636102 96698 2254 9 0 2626836 0
[pid=17581/tid=17582] ppid=17579 vsize=10545436 CPUtime=2.06 cores=0,2,4,6
/proc/17581/task/17582/stat : 17582 (java) S 17579 17581 17036 0 -1 4202560 91755 0 1 0 194 12 0 0 18 0 20 0 833569679 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17584] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17584/stat : 17584 (java) S 17579 17581 17036 0 -1 4202560 179 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17585] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17585/stat : 17585 (java) S 17579 17581 17036 0 -1 4202560 164 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17586] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17586/stat : 17586 (java) S 17579 17581 17036 0 -1 4202560 76 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17587] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17587/stat : 17587 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17588] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17588/stat : 17588 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17589] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17589/stat : 17589 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97561 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17590] ppid=17579 vsize=10545436 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17590/stat : 17590 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 833569681 10798526464 97572 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17591] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17591/stat : 17591 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 833569681 10800177152 97589 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17592] ppid=17579 vsize=10547048 CPUtime=0.01 cores=0,2,4,6
/proc/17581/task/17592/stat : 17592 (java) S 17579 17581 17036 0 -1 4202560 421 0 0 0 1 0 0 0 15 0 20 0 833569682 10800177152 97600 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 0 0 16800975 18446604441097540672 0 0 -1 6 0 0 0
[pid=17581/tid=17593] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17593/stat : 17593 (java) S 17579 17581 17036 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 20 0 833569682 10800177152 97600 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 6 0 0 0
[pid=17581/tid=17594] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17594/stat : 17594 (java) S 17579 17581 17036 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 833569682 10800177152 97600 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 6 0 0 0
[pid=17581/tid=17596] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17596/stat : 17596 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 833569685 10800177152 97620 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933600689 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17597] ppid=17579 vsize=10547048 CPUtime=0.45 cores=0,2,4,6
/proc/17581/task/17597/stat : 17597 (java) R 17579 17581 17036 0 -1 4202560 4863 0 0 0 45 0 0 0 16 0 20 0 833569685 10800177152 97641 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 47041908561506 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17581/tid=17598] ppid=17579 vsize=10547048 CPUtime=0.38 cores=0,2,4,6
/proc/17581/task/17598/stat : 17598 (java) S 17579 17581 17036 0 -1 4202560 1945 0 0 0 38 0 0 0 15 0 20 0 833569685 10800177152 97662 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17599] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17599/stat : 17599 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 833569685 10800177152 97684 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933592985 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17600] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17600/stat : 17600 (java) S 17579 17581 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 833569685 10800177152 97704 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 2 0 0 0
[pid=17581/tid=17601] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17601/stat : 17601 (java) S 17579 17581 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 833569705 10800177152 97724 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 222933593600 0 4 0 16800975 18446604441097540672 0 0 -1 4 0 0 0
[pid=17581/tid=17602] ppid=17579 vsize=10547048 CPUtime=0 cores=0,2,4,6
/proc/17581/task/17602/stat : 17602 (java) R 17579 17581 17036 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 833569889 10800177152 97750 33554432000 1073741824 1073778376 140734083455232 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 10544408
Child status: 30
Real time (s): 2.14119
CPU time (s): 2.97255
CPU user time (s): 2.81757
CPU system time (s): 0.154976
CPU usage (%): 138.827
Max. virtual memory (cumulated for all children) (KiB): 10544408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.81757
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101403
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= 349
involuntary context switches= 48
runsolver used 0.009998 second user time and 0.021996 second system time
The end