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-3687244-1337871885/watcher-3687244-1337871885 -o /tmp/evaluation-result-3687244-1337871885/solver-3687244-1337871885 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687244-1337871885.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.00 0.00 0.00 2/171 25435
/proc/meminfo: memFree=29317904/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25435/stat : 25435 (java) D 25433 25435 25404 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 253312867 9515008 175 33554432000 1073741824 1073778376 140733919202608 140733919199736 251044643728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25435/statm: 2323 175 133 9 0 71 0
[startup+0.0506651 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25435
/proc/meminfo: memFree=29317904/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 253312867 105127936 1109 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100317 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25435
/proc/meminfo: memFree=29317904/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 3077 0 1 0 3 1 0 0 20 0 13 0 253312867 9446973440 3774 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2306390 3774 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.300184 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25435
/proc/meminfo: memFree=29317904/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 7662 0 1 0 42 2 0 0 20 0 22 0 253312867 10060460032 9407 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 9407 2215 9 0 2446860 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824668
[startup+0.700222 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25435
/proc/meminfo: memFree=29317904/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 16265 0 1 0 199 4 0 0 20 0 22 0 253312867 10060460032 20915 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 20915 2241 9 0 2446860 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9824668
[startup+1.50078 s]
/proc/loadavg: 0.00 0.00 0.00 6/215 25488
/proc/meminfo: memFree=29190924/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=4.43 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 21595 0 1 0 434 9 0 0 20 0 22 0 253312867 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 38295 2277 9 0 2446860 0
[pid=25435/tid=25437] ppid=25433 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (java) S 25433 25435 25404 0 -1 4202560 2457 0 1 0 14 2 0 0 20 0 22 0 253312868 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226846225400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25438] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226807716520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25439] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (java) S 25433 25435 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226806663976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25440] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25440/stat : 25440 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226805611432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25441] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25441/stat : 25441 (java) S 25433 25435 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226804558888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25442] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25442/stat : 25442 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226803505320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25443] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25443/stat : 25443 (java) S 25433 25435 25404 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226802452776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25444] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25444/stat : 25444 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226801400232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25445] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25445/stat : 25445 (java) S 25433 25435 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226800347688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25446] ppid=25433 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25435/task/25446/stat : 25446 (java) S 25433 25435 25404 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 22 0 253312874 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226670348904 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25447] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25447/stat : 25447 (java) S 25433 25435 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253312875 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226669295224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25448] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25448/stat : 25448 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312875 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226668242568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25449] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25449/stat : 25449 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226667191312 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25450] ppid=25433 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/25435/task/25450/stat : 25450 (java) S 25433 25435 25404 0 -1 4202560 6538 0 0 0 88 1 0 0 20 0 22 0 253312878 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226666137656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25451] ppid=25433 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/25435/task/25451/stat : 25451 (java) S 25433 25435 25404 0 -1 4202560 11189 0 0 0 86 3 0 0 20 0 22 0 253312878 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226665085112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25452] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25452/stat : 25452 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226664032760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25453] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25453/stat : 25453 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226662980424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25454] ppid=25433 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/25435/task/25454/stat : 25454 (java) R 25433 25435 25404 0 -1 4202560 34 0 0 0 114 0 0 0 20 0 22 0 253312890 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226661925624 140226672904404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25455] ppid=25433 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/25435/task/25455/stat : 25455 (java) R 25433 25435 25404 0 -1 4202560 105 0 0 0 114 1 0 0 20 0 22 0 253312890 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226660873032 140226672945969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25456] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25456/stat : 25456 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312891 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226659821096 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25457] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25457/stat : 25457 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312891 10060460032 38295 33554432000 1073741824 1073778376 140734792460928 140226658768552 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90078 s]
/proc/loadavg: 0.00 0.00 0.00 6/215 25488
/proc/meminfo: memFree=29190924/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=5.21 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 21606 0 1 0 512 9 0 0 20 0 22 0 253312867 10060460032 39838 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 39838 2278 9 0 2446860 0
[pid=25435/tid=25437] ppid=25433 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (java) S 25433 25435 25404 0 -1 4202560 2457 0 1 0 14 2 0 0 20 0 22 0 253312868 10060460032 39838 33554432000 1073741824 1073778376 140734792460928 140226846225400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25438] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 39838 33554432000 1073741824 1073778376 140734792460928 140226807716520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25439] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (java) S 25433 25435 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226806663976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25440] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25440/stat : 25440 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226805611432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25441] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25441/stat : 25441 (java) S 25433 25435 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226804558888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25442] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25442/stat : 25442 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226803505320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25443] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25443/stat : 25443 (java) S 25433 25435 25404 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226802452776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25444] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25444/stat : 25444 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226801400232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25445] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25445/stat : 25445 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312873 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226800347688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25446] ppid=25433 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/25435/task/25446/stat : 25446 (java) S 25433 25435 25404 0 -1 4202560 35 0 0 0 11 0 0 0 20 0 22 0 253312874 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226670348904 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25447] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25447/stat : 25447 (java) S 25433 25435 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253312875 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226669295224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25448] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25448/stat : 25448 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253312875 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226668242568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25449] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25449/stat : 25449 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226667191312 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25450] ppid=25433 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25435/task/25450/stat : 25450 (java) S 25433 25435 25404 0 -1 4202560 6540 0 0 0 90 1 0 0 20 0 22 0 253312878 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226666137656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25451] ppid=25433 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/25435/task/25451/stat : 25451 (java) S 25433 25435 25404 0 -1 4202560 11189 0 0 0 87 3 0 0 20 0 22 0 253312878 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226665085112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25452] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25452/stat : 25452 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226664032760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25453] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25453/stat : 25453 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253312878 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226662980424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25454] ppid=25433 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/25435/task/25454/stat : 25454 (java) R 25433 25435 25404 0 -1 4202560 35 0 0 0 149 0 0 0 20 0 22 0 253312890 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226661910416 140226672904348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25455] ppid=25433 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/25435/task/25455/stat : 25455 (java) R 25433 25435 25404 0 -1 4202560 109 0 0 0 149 1 0 0 20 0 22 0 253312890 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226660872648 140226673098613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25456] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25456/stat : 25456 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312891 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226659821096 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25457] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25457/stat : 25457 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253312891 10060460032 40350 33554432000 1073741824 1073778376 140734792460928 140226658768552 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 9824668
[startup+2.1008 s]
/proc/loadavg: 0.00 0.00 0.00 4/216 25492
/proc/meminfo: memFree=29030292/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=5.73 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 24260 0 1 0 563 10 0 0 20 0 22 0 253312867 10060460032 50658 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 50658 2278 9 0 2446860 0
[pid=25435/tid=25437] ppid=25433 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (java) S 25433 25435 25404 0 -1 4202560 2457 0 1 0 14 2 0 0 20 0 20 0 253312868 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226846225400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25438] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226807716520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25439] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (java) S 25433 25435 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226806663976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25440] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25440/stat : 25440 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226805611432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25441] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25441/stat : 25441 (java) S 25433 25435 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226804558888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25442] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25442/stat : 25442 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226803505320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25443] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25443/stat : 25443 (java) S 25433 25435 25404 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226802452776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25444] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25444/stat : 25444 (java) S 25433 25435 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226801400232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25445] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25445/stat : 25445 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253312873 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226800347688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25446] ppid=25433 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/25435/task/25446/stat : 25446 (java) S 25433 25435 25404 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 20 0 253312874 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226670348904 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25447] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25447/stat : 25447 (java) S 25433 25435 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253312875 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226669295224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25448] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25448/stat : 25448 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253312875 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226668242568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25449] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25449/stat : 25449 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312878 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226667191312 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25450] ppid=25433 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/25435/task/25450/stat : 25450 (java) S 25433 25435 25404 0 -1 4202560 6540 0 0 0 92 2 0 0 20 0 20 0 253312878 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226666137656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25451] ppid=25433 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/25435/task/25451/stat : 25451 (java) R 25433 25435 25404 0 -1 4202560 13823 0 0 0 99 3 0 0 20 0 20 0 253312878 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226665063224 140226852250528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25452] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25452/stat : 25452 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312878 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226664032760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25453] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25453/stat : 25453 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253312878 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226662980424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25455] ppid=25433 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/25435/task/25455/stat : 25455 (java) R 25433 25435 25404 0 -1 4202560 126 0 0 0 164 2 0 0 20 0 20 0 253312890 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226660870448 140226673098400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25456] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25456/stat : 25456 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253312891 10060460032 50652 33554432000 1073741824 1073778376 140734792460928 140226659821096 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 9824668
[startup+2.2075 s]
/proc/loadavg: 0.00 0.00 0.00 4/216 25492
/proc/meminfo: memFree=29030292/32873844 swapFree=7612/7612
[pid=25435] ppid=25433 vsize=9824668 CPUtime=5.85 cores=1,3,5,7
/proc/25435/stat : 25435 (java) S 25433 25435 25404 0 -1 4202496 24416 0 1 0 573 12 0 0 20 0 19 0 253312867 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140734792452064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25435/statm: 2456167 50749 2279 9 0 2446860 0
[pid=25435/tid=25437] ppid=25433 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (java) S 25433 25435 25404 0 -1 4202560 2457 0 1 0 14 2 0 0 20 0 19 0 253312868 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226846225400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25438] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226807716520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25439] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (java) S 25433 25435 25404 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226806663976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25440] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25440/stat : 25440 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226805611432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25441] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25441/stat : 25441 (java) S 25433 25435 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226804558888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25442] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25442/stat : 25442 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226803505320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25443] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25443/stat : 25443 (java) S 25433 25435 25404 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226802452776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25444] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25444/stat : 25444 (java) S 25433 25435 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226801400232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25445] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25445/stat : 25445 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312873 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226800347688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25435/tid=25446] ppid=25433 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/25435/task/25446/stat : 25446 (java) S 25433 25435 25404 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 19 0 253312874 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226670348904 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25447] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25447/stat : 25447 (java) S 25433 25435 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253312875 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226669295224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25448] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25448/stat : 25448 (java) S 25433 25435 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253312875 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226668242568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25449] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25449/stat : 25449 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312878 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226667191312 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25450] ppid=25433 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/25435/task/25450/stat : 25450 (java) S 25433 25435 25404 0 -1 4202560 6540 0 0 0 92 2 0 0 20 0 19 0 253312878 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226666137656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25451] ppid=25433 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25435/task/25451/stat : 25451 (java) R 25433 25435 25404 0 -1 4202560 13978 0 0 0 109 3 0 0 20 0 19 0 253312878 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226665063224 140226853199224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25452] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25452/stat : 25452 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312878 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226664032760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25453] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25453/stat : 25453 (java) S 25433 25435 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253312878 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226662980424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25435/tid=25456] ppid=25433 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25456/stat : 25456 (java) S 25433 25435 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253312891 10060460032 50749 33554432000 1073741824 1073778376 140734792460928 140226659821096 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 2.26815
CPU time (s): 5.9431
CPU user time (s): 5.74013
CPU system time (s): 0.202969
CPU usage (%): 262.024
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74013
system time used= 0.202969
maximum resident set size= 204108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24699
page faults= 1
swaps= 0
block input operations= 8
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 536
involuntary context switches= 197
runsolver used 0.015997 second user time and 0.024996 second system time
The end