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-3688106-1337875752/watcher-3688106-1337875752 -o /tmp/evaluation-result-3688106-1337875752/solver-3688106-1337875752 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688106-1337875752.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: 3.22 3.63 3.53 4/197 25381
/proc/meminfo: memFree=29135792/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25381/stat : 25381 (java) R 25379 25381 23987 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 253699764 23793664 716 33554432000 1073741824 1073778376 140735570234048 140735570223112 225435498576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 5809 716 531 9 0 128 0
[startup+0.013336 s]
/proc/loadavg: 3.22 3.63 3.53 4/197 25381
/proc/meminfo: memFree=29135792/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 2027 0 1 0 0 0 0 0 20 0 10 0 253699764 9231130624 1708 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2253694 1721 955 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776
[startup+0.100233 s]
/proc/loadavg: 3.22 3.63 3.53 4/197 25381
/proc/meminfo: memFree=29135792/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 4477 0 1 0 9 1 0 0 20 0 18 0 253699764 9787813888 5663 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2389603 5663 2124 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300247 s]
/proc/loadavg: 3.22 3.63 3.53 4/197 25381
/proc/meminfo: memFree=29135792/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 8014 0 1 0 65 4 0 0 20 0 19 0 253699764 10060460032 9458 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 9458 2222 9 0 2446860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824668
[startup+0.700211 s]
/proc/loadavg: 3.22 3.63 3.53 4/197 25381
/proc/meminfo: memFree=29135792/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 8184 0 1 0 78 4 0 0 20 0 21 0 253699764 10060460032 11547 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 11547 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 9824668
[startup+1.50082 s]
/proc/loadavg: 3.22 3.63 3.53 6/218 25406
/proc/meminfo: memFree=29034504/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 17454 0 1 0 238 9 0 0 20 0 21 0 253699764 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 45125 2256 9 0 2446860 0
[pid=25381/tid=25383] ppid=25379 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (java) S 25379 25381 23987 0 -1 4202560 2495 0 1 0 12 1 0 0 20 0 21 0 253699765 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735216534520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735155263912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25385] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25385/stat : 25385 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735154211368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25386] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25386/stat : 25386 (java) S 25379 25381 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735153158312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25387] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25387/stat : 25387 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735152105768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25388] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25388/stat : 25388 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735055678376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25389] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25389/stat : 25389 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735054625832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25390] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25390/stat : 25390 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735053572776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25391] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25391/stat : 25391 (java) S 25379 25381 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735052520232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25392] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25392/stat : 25392 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735040321896 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25393] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25393/stat : 25393 (java) S 25379 25381 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735039268216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25394] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25394/stat : 25394 (java) S 25379 25381 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735038215048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25395] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25395/stat : 25395 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699769 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735037163792 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25396] ppid=25379 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25381/task/25396/stat : 25396 (java) S 25379 25381 23987 0 -1 4202560 6281 0 0 0 61 1 0 0 20 0 21 0 253699770 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735036111672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25397] ppid=25379 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25381/task/25397/stat : 25397 (java) S 25379 25381 23987 0 -1 4202560 7254 0 0 0 60 2 0 0 20 0 21 0 253699770 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735035059128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25398] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25398/stat : 25398 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735034006264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25399] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25399/stat : 25399 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735032953928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25403] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25403/stat : 25403 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699780 10060460032 45125 33554432000 1073741824 1073778376 140735570234048 139735028741032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+2.30085 s]
/proc/loadavg: 3.22 3.63 3.53 4/218 25412
/proc/meminfo: memFree=28961644/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 17618 0 1 0 322 11 0 0 20 0 21 0 253699764 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 50834 2257 9 0 2446860 0
[pid=25381/tid=25383] ppid=25379 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (java) S 25379 25381 23987 0 -1 4202560 2495 0 1 0 12 1 0 0 20 0 21 0 253699765 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735216534520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735155263912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25385] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25385/stat : 25385 (java) S 25379 25381 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735154211368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25386] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25386/stat : 25386 (java) S 25379 25381 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735153158312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25387] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25387/stat : 25387 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735152105768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25388] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25388/stat : 25388 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735055678376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25389] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25389/stat : 25389 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 50834 33554432000 1073741824 1073778376 140735570234048 139735054625832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25390] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25390/stat : 25390 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735053572776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25391] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25391/stat : 25391 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735052520232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25392] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25392/stat : 25392 (java) S 25379 25381 23987 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735040321896 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25393] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25393/stat : 25393 (java) S 25379 25381 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735039268216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25394] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25394/stat : 25394 (java) S 25379 25381 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735038215048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25395] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25395/stat : 25395 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699769 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735037163792 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25396] ppid=25379 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/25381/task/25396/stat : 25396 (java) S 25379 25381 23987 0 -1 4202560 6347 0 0 0 63 1 0 0 20 0 21 0 253699770 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735036111672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25397] ppid=25379 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25381/task/25397/stat : 25397 (java) S 25379 25381 23987 0 -1 4202560 7254 0 0 0 60 2 0 0 20 0 21 0 253699770 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735035059128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25398] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25398/stat : 25398 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735034006264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25399] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25399/stat : 25399 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735032953928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25403] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25403/stat : 25403 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699780 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735028741032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25408] ppid=25379 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/25381/task/25408/stat : 25408 (java) R 25379 25381 23987 0 -1 4202560 26 0 0 0 86 0 0 0 20 0 21 0 253699905 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735029792952 139735156801534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25409] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25409/stat : 25409 (java) S 25379 25381 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253699906 10060460032 51346 33554432000 1073741824 1073778376 140735570234048 139735031899304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 9824668
[startup+2.70088 s]
/proc/loadavg: 3.22 3.63 3.53 4/218 25412
/proc/meminfo: memFree=28961644/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=3.75 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 17787 0 1 0 361 14 0 0 20 0 21 0 253699764 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 78079 2257 9 0 2446860 0
[pid=25381/tid=25383] ppid=25379 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (java) S 25379 25381 23987 0 -1 4202560 2495 0 1 0 12 1 0 0 20 0 21 0 253699765 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735216534520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735155263912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25385] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25385/stat : 25385 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735154211368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25386] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25386/stat : 25386 (java) S 25379 25381 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735153158312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25387] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25387/stat : 25387 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735152105768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25388] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25388/stat : 25388 (java) S 25379 25381 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735055678376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25389] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25389/stat : 25389 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735054625832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25390] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25390/stat : 25390 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735053572776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25391] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25391/stat : 25391 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735052520232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25392] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25392/stat : 25392 (java) S 25379 25381 23987 0 -1 4202560 180 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735040321896 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25393] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25393/stat : 25393 (java) S 25379 25381 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735039268216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25394] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25394/stat : 25394 (java) S 25379 25381 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735038215048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25395] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25395/stat : 25395 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699769 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735037163792 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25396] ppid=25379 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/25381/task/25396/stat : 25396 (java) S 25379 25381 23987 0 -1 4202560 6347 0 0 0 63 1 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735036111672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25397] ppid=25379 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25381/task/25397/stat : 25397 (java) S 25379 25381 23987 0 -1 4202560 7254 0 0 0 60 2 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735035059128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25398] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25398/stat : 25398 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735034006264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25399] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25399/stat : 25399 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735032953928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25403] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25403/stat : 25403 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699780 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735028741032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25408] ppid=25379 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/25381/task/25408/stat : 25408 (java) R 25379 25381 23987 0 -1 4202560 77 0 0 0 123 3 0 0 20 0 21 0 253699905 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735029792168 139735156802065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25409] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25409/stat : 25409 (java) S 25379 25381 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253699906 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735031899304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9824668
[startup+2.90089 s]
/proc/loadavg: 3.22 3.63 3.53 4/218 25412
/proc/meminfo: memFree=28961644/32873844 swapFree=7900/7900
[pid=25381] ppid=25379 vsize=9824668 CPUtime=3.95 cores=1,3,5,7
/proc/25381/stat : 25381 (java) S 25379 25381 23987 0 -1 4202496 17787 0 1 0 381 14 0 0 20 0 21 0 253699764 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 140735570225184 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25381/statm: 2456167 78079 2257 9 0 2446860 0
[pid=25381/tid=25383] ppid=25379 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/25381/task/25383/stat : 25383 (java) S 25379 25381 23987 0 -1 4202560 2495 0 1 0 12 1 0 0 20 0 21 0 253699765 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735216534520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25384] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25384/stat : 25384 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735155263912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25385] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25385/stat : 25385 (java) S 25379 25381 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735154211368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25386] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25386/stat : 25386 (java) S 25379 25381 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735153158312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25387] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25387/stat : 25387 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735152105768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25388] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25388/stat : 25388 (java) S 25379 25381 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735055678376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25389] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25389/stat : 25389 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735054625832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25390] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25390/stat : 25390 (java) S 25379 25381 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735053572776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25391] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25391/stat : 25391 (java) S 25379 25381 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 253699766 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735052520232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25392] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25392/stat : 25392 (java) S 25379 25381 23987 0 -1 4202560 180 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735040321896 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25393] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25393/stat : 25393 (java) S 25379 25381 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735039268216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25394] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25394/stat : 25394 (java) S 25379 25381 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 253699767 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735038215048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25395] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25395/stat : 25395 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699769 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735037163792 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25396] ppid=25379 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/25381/task/25396/stat : 25396 (java) S 25379 25381 23987 0 -1 4202560 6347 0 0 0 63 1 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735036111672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25397] ppid=25379 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25381/task/25397/stat : 25397 (java) S 25379 25381 23987 0 -1 4202560 7254 0 0 0 60 2 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735035059128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25398] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25398/stat : 25398 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735034006264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25381/tid=25399] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25399/stat : 25399 (java) S 25379 25381 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 253699770 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735032953928 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25381/tid=25403] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25403/stat : 25403 (java) S 25379 25381 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 253699780 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735028741032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25381/tid=25408] ppid=25379 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/25381/task/25408/stat : 25408 (java) R 25379 25381 23987 0 -1 4202560 77 0 0 0 143 3 0 0 20 0 21 0 253699905 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735029792168 139735156728649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25381/tid=25409] ppid=25379 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25381/task/25409/stat : 25409 (java) S 25379 25381 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 253699906 10060460032 78079 33554432000 1073741824 1073778376 140735570234048 139735031899304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.93252
CPU time (s): 4.01139
CPU user time (s): 3.80042
CPU system time (s): 0.210967
CPU usage (%): 136.79
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.80042
system time used= 0.210967
maximum resident set size= 312316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17791
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= 572
involuntary context switches= 163
runsolver used 0.008998 second user time and 0.037994 second system time
The end