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-3688173-1337880809/watcher-3688173-1337880809 -o /tmp/evaluation-result-3688173-1337880809/solver-3688173-1337880809 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688173-1337880809.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: 1.90 1.98 1.99 3/194 23580
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/23580/stat : 23580 (java) D 23578 23580 22635 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 254207760 2560000 46 33554432000 1073741824 1073778376 140735625251344 140735625248472 213183982887 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/23580/statm: 625 46 37 9 0 29 0
[startup+0.105637 s]
/proc/loadavg: 1.90 1.98 1.99 3/194 23580
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 4355 0 1 0 8 1 0 0 20 0 18 0 254207760 9787813888 5035 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2389603 5036 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200275 s]
/proc/loadavg: 1.90 1.98 1.99 3/194 23580
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 4899 0 1 0 25 1 0 0 20 0 18 0 254207760 9787813888 5942 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2389603 5942 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558412
[startup+0.300211 s]
/proc/loadavg: 1.90 1.98 1.99 3/194 23580
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 7587 0 1 0 53 2 0 0 20 0 19 0 254207760 9855975424 7824 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 7824 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9624976
[startup+0.70028 s]
/proc/loadavg: 1.90 1.98 1.99 3/194 23580
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 8222 0 1 0 119 3 0 0 20 0 19 0 254207760 9855975424 10760 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 10760 2268 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 23599
/proc/meminfo: memFree=26879504/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=2.14 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 8481 0 1 0 211 3 0 0 20 0 19 0 254207760 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 11823 2269 9 0 2396937 0
[pid=23580/tid=23582] ppid=23578 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/23580/task/23582/stat : 23582 (java) R 23578 23580 22635 0 -1 4202560 2539 0 1 0 139 1 0 0 20 0 19 0 254207762 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139984057115032 139983997333954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 22635 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983995845160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983994792360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983993739560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983992686760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983991634984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983895346088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 22635 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983894293288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983893240488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23591] ppid=23578 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23580/task/23591/stat : 23591 (java) S 23578 23580 22635 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 254207764 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983881042408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983879988472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983878935560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983877884048 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 22635 0 -1 4202560 1989 0 0 0 29 0 0 0 20 0 19 0 254207767 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983876832184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 22635 0 -1 4202560 2687 0 0 0 33 0 0 0 20 0 19 0 254207767 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983875779384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983874726776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983873674184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207783 9855975424 11823 33554432000 1073741824 1073778376 140734722254512 139983872619688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9624976
[startup+3.10075 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 23599
/proc/meminfo: memFree=26877208/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=3.81 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 8508 0 1 0 378 3 0 0 20 0 19 0 254207760 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 12356 2269 9 0 2396937 0
[pid=23580/tid=23582] ppid=23578 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/23580/task/23582/stat : 23582 (java) R 23578 23580 22635 0 -1 4202560 2543 0 1 0 291 1 0 0 20 0 19 0 254207762 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139984057114912 139983997296168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 22635 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983995845160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983994792360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983993739560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983992686760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983991634984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983895346088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983894293288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983893240488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23591] ppid=23578 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23580/task/23591/stat : 23591 (java) S 23578 23580 22635 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 254207764 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983881042408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983879988472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983878935560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983877884048 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 22635 0 -1 4202560 1989 0 0 0 29 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983876832184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 22635 0 -1 4202560 2693 0 0 0 37 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983875779384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983874726776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983873674184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207783 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983872619688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+3.20082 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 23599
/proc/meminfo: memFree=26877208/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=3.91 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 8508 0 1 0 388 3 0 0 20 0 19 0 254207760 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 12356 2269 9 0 2396937 0
[pid=23580/tid=23582] ppid=23578 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/23580/task/23582/stat : 23582 (java) R 23578 23580 22635 0 -1 4202560 2543 0 1 0 301 1 0 0 20 0 19 0 254207762 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139984057114912 139983997261570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 22635 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983995845160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983994792360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983993739560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983992686760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983991634984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983895346088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983894293288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983893240488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23591] ppid=23578 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23580/task/23591/stat : 23591 (java) S 23578 23580 22635 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 254207764 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983881042408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983879988472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983878935560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983877884048 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 22635 0 -1 4202560 1989 0 0 0 29 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983876832184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 22635 0 -1 4202560 2693 0 0 0 37 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983875779384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983874726776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983873674184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207783 9855975424 12356 33554432000 1073741824 1073778376 140734722254512 139983872619688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9624976
[startup+3.60065 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 23599
/proc/meminfo: memFree=26875036/32873648 swapFree=6848/6848
[pid=23580] ppid=23578 vsize=9624976 CPUtime=4.32 cores=1,3,5,7
/proc/23580/stat : 23580 (java) S 23578 23580 22635 0 -1 4202496 8512 0 1 0 429 3 0 0 20 0 19 0 254207760 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 140734722245648 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23580/statm: 2406244 12359 2269 9 0 2396937 0
[pid=23580/tid=23582] ppid=23578 vsize=9624976 CPUtime=3.4 cores=1,3,5,7
/proc/23580/task/23582/stat : 23582 (java) R 23578 23580 22635 0 -1 4202560 2544 0 1 0 339 1 0 0 20 0 19 0 254207762 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139984057115032 139983997036047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23583] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23583/stat : 23583 (java) S 23578 23580 22635 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983995845160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23584] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23584/stat : 23584 (java) S 23578 23580 22635 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983994792360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23585] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23585/stat : 23585 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983993739560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23586] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23586/stat : 23586 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983992686760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23587] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23587/stat : 23587 (java) S 23578 23580 22635 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983991634984 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23580/tid=23588] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23588/stat : 23588 (java) S 23578 23580 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983895346088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23589] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23589/stat : 23589 (java) S 23578 23580 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983894293288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23590] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23590/stat : 23590 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207763 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983893240488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23591] ppid=23578 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/23580/task/23591/stat : 23591 (java) S 23578 23580 22635 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 254207764 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983881042408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23592] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23592/stat : 23592 (java) S 23578 23580 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983879988472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23593] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23593/stat : 23593 (java) S 23578 23580 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254207765 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983878935560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23594] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23594/stat : 23594 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983877884048 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23595] ppid=23578 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/23580/task/23595/stat : 23595 (java) S 23578 23580 22635 0 -1 4202560 1989 0 0 0 29 0 0 0 20 0 19 0 254207767 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983876832184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23580/tid=23596] ppid=23578 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23580/task/23596/stat : 23596 (java) S 23578 23580 22635 0 -1 4202560 2693 0 0 0 37 0 0 0 20 0 19 0 254207767 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983875779384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23580/tid=23597] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23597/stat : 23597 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983874726776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23598] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23598/stat : 23598 (java) S 23578 23580 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254207767 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983873674184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23580/tid=23599] ppid=23578 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23580/task/23599/stat : 23599 (java) S 23578 23580 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254207783 9855975424 12359 33554432000 1073741824 1073778376 140734722254512 139983872619688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9624976
Child status: 30
Real time (s): 3.63249
CPU time (s): 4.38433
CPU user time (s): 4.28035
CPU system time (s): 0.103984
CPU usage (%): 120.698
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.28035
system time used= 0.103984
maximum resident set size= 49492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8530
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= 643
involuntary context switches= 281
runsolver used 0.012998 second user time and 0.034994 second system time
The end