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-3688626-1337878620/watcher-3688626-1337878620 -o /tmp/evaluation-result-3688626-1337878620/solver-3688626-1337878620 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688626-1337878620.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: 3.62 3.80 3.82 3/197 27490
/proc/meminfo: memFree=27308112/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27490/stat : 27490 (java) D 27488 27490 25404 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253986381 9515008 183 33554432000 1073741824 1073778376 140733512982832 140733512973864 251044642485 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27490/statm: 2323 183 140 9 0 71 0
[startup+0.0899279 s]
/proc/loadavg: 3.62 3.80 3.82 3/197 27490
/proc/meminfo: memFree=27308112/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 3334 0 1 0 5 1 0 0 20 0 18 0 253986381 9787813888 4542 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2389603 4542 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100259 s]
/proc/loadavg: 3.62 3.80 3.82 3/197 27490
/proc/meminfo: memFree=27308112/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 3850 0 1 0 7 1 0 0 20 0 18 0 253986381 9787813888 5056 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2389603 5065 2029 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300212 s]
/proc/loadavg: 3.62 3.80 3.82 3/197 27490
/proc/meminfo: memFree=27308112/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 5947 0 1 0 42 2 0 0 20 0 18 0 253986381 9787813888 8266 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2389603 8266 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700263 s]
/proc/loadavg: 3.62 3.80 3.82 3/197 27490
/proc/meminfo: memFree=27308112/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 6140 0 1 0 53 4 0 0 20 0 19 0 253986381 10060460032 9922 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2456167 9922 2241 9 0 2446860 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824668
[startup+1.50063 s]
/proc/loadavg: 3.62 3.80 3.82 3/216 27515
/proc/meminfo: memFree=27260280/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 12661 0 1 0 148 7 0 0 20 0 22 0 253986381 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2456167 17751 2254 9 0 2446860 0
[pid=27490/tid=27492] ppid=27488 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/27490/task/27492/stat : 27492 (java) S 27488 27490 25404 0 -1 4202560 2455 0 1 0 28 1 0 0 20 0 22 0 253986382 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956852667384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27493] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27493/stat : 27493 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956814158632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27494] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27494/stat : 27494 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956813105832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27495] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27495/stat : 27495 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956812053544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27496] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27496/stat : 27496 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956693494696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27497] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27497/stat : 27497 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956692441384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27498] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27498/stat : 27498 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956691388584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27499] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27499/stat : 27499 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956690336296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27500] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27500/stat : 27500 (java) S 27488 27490 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986383 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956689283496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27501] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27501/stat : 27501 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986384 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956206955240 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27502] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27502/stat : 27502 (java) S 27488 27490 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253986385 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956205901304 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27503] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27503/stat : 27503 (java) S 27488 27490 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253986385 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956204848904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27504] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27504/stat : 27504 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986388 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956203797392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27505] ppid=27488 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/27490/task/27505/stat : 27505 (java) R 27488 27490 25404 0 -1 4202560 3846 0 0 0 37 0 0 0 20 0 22 0 253986388 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956202743992 139956855274814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27506] ppid=27488 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/27490/task/27506/stat : 27506 (java) R 27488 27490 25404 0 -1 4202560 5028 0 0 0 38 0 0 0 20 0 22 0 253986388 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956201668968 139956859471964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27507] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27507/stat : 27507 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986388 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956200639096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27508] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27508/stat : 27508 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986388 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956199586504 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27515] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27515/stat : 27515 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986465 10060460032 17751 33554432000 1073741824 1073778376 140733648214272 139956197479592 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90074 s]
/proc/loadavg: 3.62 3.80 3.82 3/216 27515
/proc/meminfo: memFree=27260280/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 18644 0 1 0 264 12 0 0 20 0 19 0 253986381 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2456167 28461 2257 9 0 2446860 0
[pid=27490/tid=27492] ppid=27488 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/27490/task/27492/stat : 27492 (java) S 27488 27490 25404 0 -1 4202560 2455 0 1 0 28 1 0 0 20 0 19 0 253986382 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956852667384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27493] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27493/stat : 27493 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956814158632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27494] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27494/stat : 27494 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956813105832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27495] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27495/stat : 27495 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956812053544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27496] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27496/stat : 27496 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956693494696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27497] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27497/stat : 27497 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956692441384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27498] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27498/stat : 27498 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956691388584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27499] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27499/stat : 27499 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956690336296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27500] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27500/stat : 27500 (java) S 27488 27490 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956689283496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27501] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27501/stat : 27501 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253986384 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956206955240 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27502] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27502/stat : 27502 (java) S 27488 27490 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253986385 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956205901304 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27503] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27503/stat : 27503 (java) S 27488 27490 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253986385 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956204848904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27504] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27504/stat : 27504 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956203797392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27505] ppid=27488 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/27490/task/27505/stat : 27505 (java) S 27488 27490 25404 0 -1 4202560 7839 0 0 0 74 1 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956202743992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27506] ppid=27488 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/27490/task/27506/stat : 27506 (java) S 27488 27490 25404 0 -1 4202560 6997 0 0 0 70 1 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956201691192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27507] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27507/stat : 27507 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956200639096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27508] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27508/stat : 27508 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956199586504 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27515] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27515/stat : 27515 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253986465 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956197479592 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9824668
[startup+2.30072 s]
/proc/loadavg: 3.62 3.80 3.82 3/216 27521
/proc/meminfo: memFree=27201416/32873844 swapFree=7612/7612
[pid=27490] ppid=27488 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/27490/stat : 27490 (java) S 27488 27490 25404 0 -1 4202496 18644 0 1 0 264 12 0 0 20 0 19 0 253986381 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 140733648205408 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27490/statm: 2456167 28461 2257 9 0 2446860 0
[pid=27490/tid=27492] ppid=27488 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/27490/task/27492/stat : 27492 (java) S 27488 27490 25404 0 -1 4202560 2455 0 1 0 28 1 0 0 20 0 19 0 253986382 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956852667384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27493] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27493/stat : 27493 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956814158632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27494] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27494/stat : 27494 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956813105832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27495] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27495/stat : 27495 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956812053544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27496] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27496/stat : 27496 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956693494696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27497] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27497/stat : 27497 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956692441384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27498] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27498/stat : 27498 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956691388584 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27499] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27499/stat : 27499 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956690336296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27500] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27500/stat : 27500 (java) S 27488 27490 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253986383 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956689283496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27501] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27501/stat : 27501 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253986384 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956206955240 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27502] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27502/stat : 27502 (java) S 27488 27490 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253986385 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956205901304 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27503] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27503/stat : 27503 (java) S 27488 27490 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253986385 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956204848904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27504] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27504/stat : 27504 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956203797392 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27505] ppid=27488 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/27490/task/27505/stat : 27505 (java) S 27488 27490 25404 0 -1 4202560 7839 0 0 0 74 1 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956202743992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27490/tid=27506] ppid=27488 vsize=9824668 CPUtime=0.71 cores=0,2,4,6
/proc/27490/task/27506/stat : 27506 (java) S 27488 27490 25404 0 -1 4202560 6997 0 0 0 70 1 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956201691192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27490/tid=27507] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27507/stat : 27507 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956200639096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27490/tid=27508] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27508/stat : 27508 (java) S 27488 27490 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986388 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956199586504 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27490/tid=27515] ppid=27488 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27490/task/27515/stat : 27515 (java) S 27488 27490 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253986465 10060460032 28461 33554432000 1073741824 1073778376 140733648214272 139956197479592 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.35736
CPU time (s): 2.78358
CPU user time (s): 2.6416
CPU system time (s): 0.141978
CPU usage (%): 118.08
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6416
system time used= 0.141978
maximum resident set size= 115044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18658
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= 461
involuntary context switches= 68
runsolver used 0.003999 second user time and 0.018997 second system time
The end