runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687322-1337871900/watcher-3687322-1337871900 -o /tmp/evaluation-result-3687322-1337871900/solver-3687322-1337871900 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687322-1337871900.opb
running on 4 cores: 1,3,5,7
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: 0.73 0.16 0.05 4/197 23582
/proc/meminfo: memFree=27990468/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 253318588 95129600 926 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 23225 926 703 9 0 16769 0
[pid=23582/tid=23583] ppid=23580 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) R 23580 23582 23457 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 253318589 95129600 926 33554432000 1073741824 1073778376 140733776526816 140260502269480 245285088551 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0539881 s]
/proc/loadavg: 0.73 0.16 0.05 4/197 23582
/proc/meminfo: memFree=27990468/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9426280 CPUtime=0.04 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 3136 0 1 0 3 1 0 0 20 0 16 0 253318588 9652510720 4347 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2356570 4348 1737 9 0 2347271 0
[pid=23582/tid=23583] ppid=23580 vsize=9426280 CPUtime=0.03 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) S 23580 23582 23457 0 -1 4202560 1935 0 1 0 3 0 0 0 20 0 17 0 253318589 9652510720 4348 33554432000 1073741824 1073778376 140733776526816 140260502276312 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9426280
[startup+0.100328 s]
/proc/loadavg: 0.73 0.16 0.05 4/197 23582
/proc/meminfo: memFree=27990468/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 4346 0 1 0 9 2 0 0 20 0 18 0 253318588 9787813888 6045 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2389603 6045 2109 9 0 2380296 0
[pid=23582/tid=23583] ppid=23580 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) R 23580 23582 23457 0 -1 4202560 2401 0 1 0 6 1 0 0 20 0 18 0 253318589 9787813888 6046 33554432000 1073741824 1073778376 140733776526816 140260502267720 245293879115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300275 s]
/proc/loadavg: 0.73 0.16 0.05 4/197 23582
/proc/meminfo: memFree=27990468/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 5539 0 1 0 45 2 0 0 20 0 18 0 253318588 9787813888 8238 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2389603 8238 2215 9 0 2380296 0
[pid=23582/tid=23583] ppid=23580 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) R 23580 23582 23457 0 -1 4202560 2446 0 1 0 26 1 0 0 20 0 18 0 253318589 9787813888 8238 33554432000 1073741824 1073778376 140733776526816 140260502267720 140260361231744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700236 s]
/proc/loadavg: 0.73 0.16 0.05 4/197 23582
/proc/meminfo: memFree=27990468/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9824668 CPUtime=2.01 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 17971 0 1 0 195 6 0 0 20 0 22 0 253318588 10060460032 21757 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2456167 21757 2245 9 0 2446860 0
[pid=23582/tid=23583] ppid=23580 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) S 23580 23582 23457 0 -1 4202560 2463 0 1 0 28 1 0 0 20 0 22 0 253318589 10060460032 21757 33554432000 1073741824 1073778376 140733776526816 140260502275064 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9824668
[startup+1.50088 s]
/proc/loadavg: 1.15 0.26 0.08 7/219 23604
/proc/meminfo: memFree=27879276/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9824668 CPUtime=4.73 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 24260 0 1 0 463 10 0 0 20 0 22 0 253318588 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2456167 47367 2277 9 0 2446860 0
[pid=23582/tid=23583] ppid=23580 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) S 23580 23582 23457 0 -1 4202560 2463 0 1 0 28 1 0 0 20 0 22 0 253318589 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260502275064 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23585] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (java) S 23580 23582 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260480375080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23586] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (java) S 23580 23582 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260277217448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23587] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23587/stat : 23587 (java) S 23580 23582 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260276165160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23588] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23588/stat : 23588 (java) S 23580 23582 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260275112360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23589] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23589/stat : 23589 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260274060072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23590] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23590/stat : 23590 (java) S 23580 23582 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260273007272 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23591] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23591/stat : 23591 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260271954984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23592] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23592/stat : 23592 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318590 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260270902184 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23593] ppid=23580 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/23582/task/23593/stat : 23593 (java) S 23580 23582 23457 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 253318591 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260258703592 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23594] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23594/stat : 23594 (java) S 23580 23582 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318591 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260257649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23595] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23595/stat : 23595 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318591 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260256597256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23596] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23596/stat : 23596 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318594 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260255545744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23597] ppid=23580 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/23582/task/23597/stat : 23597 (java) S 23580 23582 23457 0 -1 4202560 10605 0 0 0 101 2 0 0 20 0 22 0 253318594 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260254493368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23598] ppid=23580 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/23582/task/23598/stat : 23598 (java) S 23580 23582 23457 0 -1 4202560 9779 0 0 0 101 2 0 0 20 0 22 0 253318594 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260253440568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23599] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23599/stat : 23599 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318594 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260252388472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23600] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23600/stat : 23600 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318594 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260251335880 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23601] ppid=23580 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/23582/task/23601/stat : 23601 (java) R 23580 23582 23457 0 -1 4202560 28 0 0 0 110 0 0 0 20 0 22 0 253318620 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260250247376 140260361660765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23602] ppid=23580 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/23582/task/23602/stat : 23602 (java) R 23580 23582 23457 0 -1 4202560 121 0 0 0 108 2 0 0 20 0 22 0 253318621 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260249193768 140260361765416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23603] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23603/stat : 23603 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318621 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260248143016 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23604] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23604/stat : 23604 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253318621 10060460032 47367 33554432000 1073741824 1073778376 140733776526816 140260247090216 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90087 s]
/proc/loadavg: 1.15 0.26 0.08 7/219 23604
/proc/meminfo: memFree=27879276/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9824668 CPUtime=5.64 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 26863 0 1 0 551 13 0 0 20 0 19 0 253318588 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2456167 55051 2279 9 0 2446860 0
[pid=23582/tid=23583] ppid=23580 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) S 23580 23582 23457 0 -1 4202560 2463 0 1 0 28 1 0 0 20 0 19 0 253318589 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260502275064 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23585] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (java) S 23580 23582 23457 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260480375080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23586] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260277217448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23587] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23587/stat : 23587 (java) S 23580 23582 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260276165160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23588] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23588/stat : 23588 (java) S 23580 23582 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260275112360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23589] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23589/stat : 23589 (java) S 23580 23582 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260274060072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23590] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23590/stat : 23590 (java) S 23580 23582 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260273007272 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23591] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23591/stat : 23591 (java) S 23580 23582 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260271954984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23592] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23592/stat : 23592 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260270902184 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23593] ppid=23580 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23593/stat : 23593 (java) S 23580 23582 23457 0 -1 4202560 99 0 0 0 7 0 0 0 20 0 19 0 253318591 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260258703592 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23594] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23594/stat : 23594 (java) S 23580 23582 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318591 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260257649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23595] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23595/stat : 23595 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318591 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260256597256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23596] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23596/stat : 23596 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260255545744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23597] ppid=23580 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/23582/task/23597/stat : 23597 (java) S 23580 23582 23457 0 -1 4202560 10605 0 0 0 110 3 0 0 20 0 19 0 253318594 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260254493368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23598] ppid=23580 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/23582/task/23598/stat : 23598 (java) R 23580 23582 23457 0 -1 4202560 12289 0 0 0 120 2 0 0 20 0 19 0 253318594 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260253428136 140260505180248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23599] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23599/stat : 23599 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260252388472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23600] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23600/stat : 23600 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260251335880 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23603] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23603/stat : 23603 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318621 10060460032 55051 33554432000 1073741824 1073778376 140733776526816 140260248143016 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 9824668
[startup+2.30083 s]
/proc/loadavg: 1.15 0.26 0.08 4/216 23604
/proc/meminfo: memFree=27777564/32873844 swapFree=7356/7356
[pid=23582] ppid=23580 vsize=9824668 CPUtime=5.89 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23580 23582 23457 0 -1 4202496 27603 0 1 0 576 13 0 0 20 0 19 0 253318588 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140733776517952 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23582/statm: 2456167 54080 2279 9 0 2446860 0
[pid=23582/tid=23583] ppid=23580 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23583/stat : 23583 (java) S 23580 23582 23457 0 -1 4202560 2463 0 1 0 28 1 0 0 20 0 19 0 253318589 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260502275064 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23585] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (java) S 23580 23582 23457 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260480375080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23586] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260277217448 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23587] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23587/stat : 23587 (java) S 23580 23582 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260276165160 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23582/tid=23588] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23588/stat : 23588 (java) S 23580 23582 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260275112360 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23589] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23589/stat : 23589 (java) S 23580 23582 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260274060072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23590] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23590/stat : 23590 (java) S 23580 23582 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260273007272 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23591] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23591/stat : 23591 (java) S 23580 23582 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260271954984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23592] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23592/stat : 23592 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318590 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260270902184 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23593] ppid=23580 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23593/stat : 23593 (java) S 23580 23582 23457 0 -1 4202560 99 0 0 0 7 0 0 0 20 0 19 0 253318591 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260258703592 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23594] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23594/stat : 23594 (java) S 23580 23582 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318591 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260257649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23595] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23595/stat : 23595 (java) S 23580 23582 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318591 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260256597256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23596] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23596/stat : 23596 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260255545744 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23597] ppid=23580 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/23582/task/23597/stat : 23597 (java) S 23580 23582 23457 0 -1 4202560 10605 0 0 0 110 3 0 0 20 0 19 0 253318594 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260254493368 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23582/tid=23598] ppid=23580 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/23582/task/23598/stat : 23598 (java) S 23580 23582 23457 0 -1 4202560 13029 0 0 0 146 2 0 0 20 0 19 0 253318594 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260253440568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23582/tid=23599] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23599/stat : 23599 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260252388472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23600] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23600/stat : 23600 (java) S 23580 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318594 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260251335880 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23582/tid=23603] ppid=23580 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23603/stat : 23603 (java) S 23580 23582 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318621 10060460032 54080 33554432000 1073741824 1073778376 140733776526816 140260248143016 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 2.33269
CPU time (s): 5.9251
CPU user time (s): 5.73013
CPU system time (s): 0.19497
CPU usage (%): 254.003
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73013
system time used= 0.19497
maximum resident set size= 221452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 468
involuntary context switches= 194
runsolver used 0.007998 second user time and 0.017997 second system time
The end