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-3688488-1337877988/watcher-3688488-1337877988 -o /tmp/evaluation-result-3688488-1337877988/solver-3688488-1337877988 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688488-1337877988.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.68 3.92 3.89 3/197 26093
/proc/meminfo: memFree=28728180/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 1176 0 0 0 0 0 0 0 20 0 2 0 253923293 91889664 895 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 22434 895 678 9 0 16769 0
[pid=26093/tid=26094] ppid=26091 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) R 26091 26093 23987 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 2 0 253923294 94085120 907 33554432000 1073741824 1073778376 140736078405008 140736078394072 225435546474 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.098734 s]
/proc/loadavg: 3.68 3.92 3.89 3/197 26093
/proc/meminfo: memFree=28728180/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 4393 0 1 0 9 0 0 0 20 0 18 0 253923293 9787813888 6106 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2389603 6106 2109 9 0 2380296 0
[pid=26093/tid=26094] ppid=26091 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) R 26091 26093 23987 0 -1 4202560 2433 0 1 0 7 0 0 0 20 0 18 0 253923294 9787813888 6106 33554432000 1073741824 1073778376 140736078405008 140124192115024 225448092941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100282 s]
/proc/loadavg: 3.68 3.92 3.89 3/197 26093
/proc/meminfo: memFree=28728180/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 4399 0 1 0 9 0 0 0 20 0 18 0 253923293 9787813888 6112 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2389603 6112 2115 9 0 2380296 0
[pid=26093/tid=26094] ppid=26091 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) R 26091 26093 23987 0 -1 4202560 2433 0 1 0 7 0 0 0 20 0 18 0 253923294 9787813888 6112 33554432000 1073741824 1073778376 140736078405008 140124192115024 225444332672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300282 s]
/proc/loadavg: 3.68 3.92 3.89 3/197 26093
/proc/meminfo: memFree=28728180/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 5370 0 1 0 45 3 0 0 20 0 19 0 253923293 10060460032 8817 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2456167 8817 2227 9 0 2446860 0
[pid=26093/tid=26094] ppid=26091 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) S 26091 26093 23987 0 -1 4202560 2460 0 1 0 25 0 0 0 20 0 19 0 253923294 10060460032 8817 33554432000 1073741824 1073778376 140736078405008 140124192117752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668
[startup+0.700287 s]
/proc/loadavg: 3.68 3.92 3.89 3/197 26093
/proc/meminfo: memFree=28728180/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 5370 0 1 0 45 3 0 0 20 0 19 0 253923293 10060460032 8817 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2456167 8817 2227 9 0 2446860 0
[pid=26093/tid=26094] ppid=26091 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) S 26091 26093 23987 0 -1 4202560 2460 0 1 0 25 0 0 0 20 0 19 0 253923294 10060460032 8817 33554432000 1073741824 1073778376 140736078405008 140124192117752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668
[startup+1.5008 s]
/proc/loadavg: 3.68 3.92 3.89 4/216 26118
/proc/meminfo: memFree=28658276/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 12623 0 1 0 136 8 0 0 20 0 19 0 253923293 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2456167 16085 2246 9 0 2446860 0
[pid=26093/tid=26094] ppid=26091 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) S 26091 26093 23987 0 -1 4202560 2460 0 1 0 26 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124192117752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26096] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26096/stat : 26096 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124035430824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26097] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26097/stat : 26097 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124034378280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26098] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26098/stat : 26098 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124033325224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26093/tid=26099] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26099/stat : 26099 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124032272680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26100] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26100/stat : 26100 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124031220648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26101] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26101/stat : 26101 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124030168104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26102] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26102/stat : 26102 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124029115048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26103] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26103/stat : 26103 (java) S 26091 26093 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124028062504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26104] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26104/stat : 26104 (java) S 26091 26093 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253923295 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124015864168 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26105] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26105/stat : 26105 (java) S 26091 26093 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253923296 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124014810488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26106] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26106/stat : 26106 (java) S 26091 26093 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923296 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124013757320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26107] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26107/stat : 26107 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124012706064 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26108] ppid=26091 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/26093/task/26108/stat : 26108 (java) S 26091 26093 23987 0 -1 4202560 2660 0 0 0 32 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124011653944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26109] ppid=26091 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/26093/task/26109/stat : 26109 (java) S 26091 26093 23987 0 -1 4202560 6145 0 0 0 44 2 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124010601400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26110] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26110/stat : 26110 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124009548536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26111] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26111/stat : 26111 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124008496200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26115] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26115/stat : 26115 (java) S 26091 26093 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923321 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124004283304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.70073 s]
/proc/loadavg: 3.68 3.92 3.89 4/216 26118
/proc/meminfo: memFree=28658276/32873844 swapFree=7900/7900
[pid=26093] ppid=26091 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/26093/stat : 26093 (java) S 26091 26093 23987 0 -1 4202496 12623 0 1 0 136 8 0 0 20 0 19 0 253923293 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140736078396144 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26093/statm: 2456167 16085 2246 9 0 2446860 0
[pid=26093/tid=26094] ppid=26091 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/26093/task/26094/stat : 26094 (java) S 26091 26093 23987 0 -1 4202560 2460 0 1 0 26 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124192117752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26096] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26096/stat : 26096 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124035430824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26097] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26097/stat : 26097 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124034378280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26098] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26098/stat : 26098 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124033325224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26093/tid=26099] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26099/stat : 26099 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124032272680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26100] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26100/stat : 26100 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124031220648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26101] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26101/stat : 26101 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124030168104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26102] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26102/stat : 26102 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124029115048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26103] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26103/stat : 26103 (java) S 26091 26093 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253923294 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124028062504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26104] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26104/stat : 26104 (java) S 26091 26093 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253923295 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124015864168 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26105] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26105/stat : 26105 (java) S 26091 26093 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253923296 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124014810488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26106] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26106/stat : 26106 (java) S 26091 26093 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923296 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124013757320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26107] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26107/stat : 26107 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124012706064 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26108] ppid=26091 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/26093/task/26108/stat : 26108 (java) S 26091 26093 23987 0 -1 4202560 2660 0 0 0 32 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124011653944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26093/tid=26109] ppid=26091 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/26093/task/26109/stat : 26109 (java) S 26091 26093 23987 0 -1 4202560 6145 0 0 0 44 2 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124010601400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26110] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26110/stat : 26110 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124009548536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26093/tid=26111] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26111/stat : 26111 (java) S 26091 26093 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253923298 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124008496200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26093/tid=26115] ppid=26091 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26093/task/26115/stat : 26115 (java) S 26091 26093 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253923321 10060460032 16085 33554432000 1073741824 1073778376 140736078405008 140124004283304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 1.79404
CPU time (s): 1.48377
CPU user time (s): 1.37179
CPU system time (s): 0.111982
CPU usage (%): 82.7057
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37179
system time used= 0.111982
maximum resident set size= 67092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12633
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= 313
involuntary context switches= 56
runsolver used 0.011998 second user time and 0.014997 second system time
The end