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-3687208-1337871882/watcher-3687208-1337871882 -o /tmp/evaluation-result-3687208-1337871882/solver-3687208-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687208-1337871882.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/176 20126
/proc/meminfo: memFree=30113648/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/20126/stat : 20126 (runsolver) D 20124 20126 20082 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 253255262 12095488 51 33554432000 4194304 5436572 140735672095200 140735672091496 4883175 0 0 4096 24578 18446744072101258628 0 0 17 3 0 0 0 0 0
/proc/20126/statm: 2953 51 31 304 0 2645 0
[startup+0.00981008 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20126
/proc/meminfo: memFree=30113648/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/20126/stat : 20126 (runsolver) D 20124 20126 20082 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 253255262 12095488 56 33554432000 4194304 5436572 140735672095200 140735672091080 5057063 0 0 4096 24578 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20126/statm: 2953 56 36 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812
[startup+0.10032 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20126
/proc/meminfo: memFree=30113648/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/20126/stat : 20126 (java) D 20124 20126 20082 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 253255262 21090304 185 33554432000 1073741824 1073778376 140734754443120 140734754431720 209088249416 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 1 0 0
/proc/20126/statm: 5149 185 143 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596
[startup+0.300267 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20126
/proc/meminfo: memFree=30113648/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20126/stat : 20126 (java) S 20124 20126 20082 0 -1 4202496 1197 0 18 0 0 0 0 0 20 0 2 0 253255262 95129600 926 33554432000 1073741824 1073778376 140734754443120 140734754434256 209100767293 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 16 0 0
/proc/20126/statm: 23225 926 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900
[startup+0.70027 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20126
/proc/meminfo: memFree=30113648/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/20126/stat : 20126 (java) S 20124 20126 20082 0 -1 4202496 4502 0 21 0 18 2 0 0 20 0 18 0 253255262 9787813888 6179 33554432000 1073741824 1073778376 140734754443120 140734754434256 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 16 0 0
/proc/20126/statm: 2389603 6179 2175 9 0 2380296 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9558412
[startup+1.50078 s]
/proc/loadavg: 0.00 0.00 0.00 9/219 20169
/proc/meminfo: memFree=29990756/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/20126/stat : 20126 (java) S 20124 20126 20082 0 -1 4202496 24474 0 21 0 315 7 0 0 20 0 22 0 253255262 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 140734754434256 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 16 0 0
/proc/20126/statm: 2456167 26832 2274 9 0 2446860 0
[pid=20126/tid=20129] ppid=20124 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20126/task/20129/stat : 20129 (java) S 20124 20126 20082 0 -1 4202560 2454 0 3 0 16 1 0 0 20 0 22 0 253255290 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139938011808760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=20126/tid=20131] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20131/stat : 20131 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937973299496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20133] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20133/stat : 20133 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937972246696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20135] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20135/stat : 20135 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937971194408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20138] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20138/stat : 20138 (java) S 20124 20126 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937970141608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20140] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20140/stat : 20140 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937969089320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20142] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20142/stat : 20142 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937968036520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20144] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20144/stat : 20144 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937966984232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20145] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20145/stat : 20145 (java) S 20124 20126 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253255302 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937965931432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20147] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20147/stat : 20147 (java) S 20124 20126 20082 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 253255307 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937835903208 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20148] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20148/stat : 20148 (java) S 20124 20126 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253255308 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937834849272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20150] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20150/stat : 20150 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253255308 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937833796872 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20154] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20154/stat : 20154 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255316 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937832745360 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20156] ppid=20124 vsize=9824668 CPUtime=0.74 cores=1,3,5,7
/proc/20126/task/20156/stat : 20156 (java) R 20124 20126 20082 0 -1 4202560 10752 0 0 0 72 2 0 0 20 0 22 0 253255317 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937831679160 139938015120288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20158] ppid=20124 vsize=9824668 CPUtime=0.75 cores=1,3,5,7
/proc/20126/task/20158/stat : 20158 (java) R 20124 20126 20082 0 -1 4202560 9918 0 0 0 73 2 0 0 20 0 22 0 253255317 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937830633144 139938017765854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20160] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20160/stat : 20160 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255317 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937829588088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20161] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20161/stat : 20161 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253255317 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937828535496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20163] ppid=20124 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/20126/task/20163/stat : 20163 (java) R 20124 20126 20082 0 -1 4202560 28 0 0 0 73 0 0 0 20 0 22 0 253255335 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937827465984 139938015093589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20165] ppid=20124 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/20126/task/20165/stat : 20165 (java) R 20124 20126 20082 0 -1 4202560 84 0 0 0 71 0 0 0 20 0 22 0 253255335 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937826425824 139937836495091 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20166] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20166/stat : 20166 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253255335 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937825375400 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20168] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20168/stat : 20168 (java) S 20124 20126 20082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253255335 10060460032 26832 33554432000 1073741824 1073778376 140734754443120 139937824322600 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9824668
[startup+3.1007 s]
/proc/loadavg: 0.00 0.00 0.00 3/219 20169
/proc/meminfo: memFree=29786336/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=9824668 CPUtime=6.34 cores=1,3,5,7
/proc/20126/stat : 20126 (java) S 20124 20126 20082 0 -1 4202496 26148 0 21 0 623 11 0 0 20 0 19 0 253255262 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 140734754434256 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 16 0 0
/proc/20126/statm: 2456167 39373 2279 9 0 2446860 0
[pid=20126/tid=20129] ppid=20124 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20126/task/20129/stat : 20129 (java) S 20124 20126 20082 0 -1 4202560 2454 0 3 0 16 1 0 0 20 0 19 0 253255290 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139938011808760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=20126/tid=20131] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20131/stat : 20131 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937973299496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20133] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20133/stat : 20133 (java) S 20124 20126 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937972246696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20135] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20135/stat : 20135 (java) S 20124 20126 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937971194408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20138] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20138/stat : 20138 (java) S 20124 20126 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937970141608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20140] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20140/stat : 20140 (java) S 20124 20126 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937969089320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20142] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20142/stat : 20142 (java) S 20124 20126 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937968036520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20144] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20144/stat : 20144 (java) S 20124 20126 20082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937966984232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20145] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20145/stat : 20145 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937965931432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20147] ppid=20124 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/20126/task/20147/stat : 20147 (java) S 20124 20126 20082 0 -1 4202560 36 0 0 0 16 0 0 0 20 0 19 0 253255307 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937835903208 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20148] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20148/stat : 20148 (java) S 20124 20126 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253255308 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937834849272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20150] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20150/stat : 20150 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253255308 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937833796872 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20154] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20154/stat : 20154 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255316 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937832745360 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20156] ppid=20124 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/20126/task/20156/stat : 20156 (java) S 20124 20126 20082 0 -1 4202560 10873 0 0 0 97 3 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937831692984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20158] ppid=20124 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/20126/task/20158/stat : 20158 (java) S 20124 20126 20082 0 -1 4202560 11421 0 0 0 108 2 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937830640184 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20160] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20160/stat : 20160 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937829588088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20161] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20161/stat : 20161 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937828535496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20166] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20166/stat : 20166 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253255335 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937825375400 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.20082 s]
/proc/loadavg: 0.00 0.00 0.00 3/216 20169
/proc/meminfo: memFree=29769844/32873844 swapFree=6868/6868
[pid=20126] ppid=20124 vsize=9824668 CPUtime=6.34 cores=1,3,5,7
/proc/20126/stat : 20126 (java) S 20124 20126 20082 0 -1 4202496 26148 0 21 0 623 11 0 0 20 0 19 0 253255262 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 140734754434256 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 16 0 0
/proc/20126/statm: 2456167 39373 2279 9 0 2446860 0
[pid=20126/tid=20129] ppid=20124 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20126/task/20129/stat : 20129 (java) S 20124 20126 20082 0 -1 4202560 2454 0 3 0 16 1 0 0 20 0 19 0 253255290 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139938011808760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 15 0 0
[pid=20126/tid=20131] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20131/stat : 20131 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937973299496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20133] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20133/stat : 20133 (java) S 20124 20126 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937972246696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20135] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20135/stat : 20135 (java) S 20124 20126 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937971194408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20138] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20138/stat : 20138 (java) S 20124 20126 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937970141608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20140] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20140/stat : 20140 (java) S 20124 20126 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937969089320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20142] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20142/stat : 20142 (java) S 20124 20126 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937968036520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20126/tid=20144] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20144/stat : 20144 (java) S 20124 20126 20082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937966984232 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20145] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20145/stat : 20145 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253255302 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937965931432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20147] ppid=20124 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/20126/task/20147/stat : 20147 (java) S 20124 20126 20082 0 -1 4202560 36 0 0 0 16 0 0 0 20 0 19 0 253255307 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937835903208 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20148] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20148/stat : 20148 (java) S 20124 20126 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253255308 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937834849272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20150] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20150/stat : 20150 (java) S 20124 20126 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253255308 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937833796872 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20154] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20154/stat : 20154 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255316 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937832745360 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20156] ppid=20124 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/20126/task/20156/stat : 20156 (java) S 20124 20126 20082 0 -1 4202560 10873 0 0 0 97 3 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937831692984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20126/tid=20158] ppid=20124 vsize=9824668 CPUtime=1.1 cores=1,3,5,7
/proc/20126/task/20158/stat : 20158 (java) S 20124 20126 20082 0 -1 4202560 11421 0 0 0 108 2 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937830640184 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20160] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20160/stat : 20160 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937829588088 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20126/tid=20161] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20161/stat : 20161 (java) S 20124 20126 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253255317 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937828535496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20126/tid=20166] ppid=20124 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20126/task/20166/stat : 20166 (java) S 20124 20126 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253255335 10060460032 39373 33554432000 1073741824 1073778376 140734754443120 139937825375400 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 3.24246
CPU time (s): 6.35603
CPU user time (s): 6.19006
CPU system time (s): 0.165974
CPU usage (%): 196.025
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19006
system time used= 0.165974
maximum resident set size= 157548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26152
page faults= 21
swaps= 0
block input operations= 10248
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 839
involuntary context switches= 190
runsolver used 0.009998 second user time and 0.023996 second system time
The end