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-3687270-1337871891/watcher-3687270-1337871891 -o /tmp/evaluation-result-3687270-1337871891/solver-3687270-1337871891 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687270-1337871891.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: 0.16 0.03 0.01 1/171 20232
/proc/meminfo: memFree=30097756/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/20232/stat : 20232 (java) R 20230 20232 20082 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 253256105 5767168 55 33554432000 1073741824 1073778376 140736544296784 140736544293912 209088245031 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 1408 58 46 9 0 30 0
[startup+0.040826 s]
/proc/loadavg: 0.16 0.03 0.01 1/171 20232
/proc/meminfo: memFree=30097756/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 2970 0 1 0 1 0 0 0 20 0 13 0 253256105 9446973440 3668 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2306390 3671 1667 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100197 s]
/proc/loadavg: 0.16 0.03 0.01 1/171 20232
/proc/meminfo: memFree=30097756/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 4228 0 1 0 7 1 0 0 20 0 18 0 253256105 9787813888 5424 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2389603 5425 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300271 s]
/proc/loadavg: 0.16 0.03 0.01 1/171 20232
/proc/meminfo: memFree=30097756/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 5397 0 1 0 44 2 0 0 20 0 18 0 253256105 9787813888 7799 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2389603 7799 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700175 s]
/proc/loadavg: 0.16 0.03 0.01 1/171 20232
/proc/meminfo: memFree=30097756/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 14720 0 1 0 193 4 0 0 20 0 22 0 253256105 10060460032 21918 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2456167 21918 2244 9 0 2446860 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9824668
[startup+1.50074 s]
/proc/loadavg: 0.47 0.10 0.03 5/193 20254
/proc/meminfo: memFree=29967956/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9824668 CPUtime=4.75 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 22387 0 1 0 468 7 0 0 20 0 22 0 253256105 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2456167 48356 2278 9 0 2446860 0
[pid=20232/tid=20234] ppid=20230 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/20232/task/20234/stat : 20234 (java) S 20230 20232 20082 0 -1 4202560 2454 0 1 0 28 1 0 0 20 0 22 0 253256106 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694440285176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20235] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20235/stat : 20235 (java) S 20230 20232 20082 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694418385960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20236] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20236/stat : 20236 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694417333160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20237] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20237/stat : 20237 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694213950248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20238] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20238/stat : 20238 (java) S 20230 20232 20082 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694212897448 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20239] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20239/stat : 20239 (java) S 20230 20232 20082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694211844648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20240] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20240/stat : 20240 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694210791848 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20241] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20241/stat : 20241 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694209739048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20242] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20242/stat : 20242 (java) S 20230 20232 20082 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694208686248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20243] ppid=20230 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/20232/task/20243/stat : 20243 (java) S 20230 20232 20082 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 253256109 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694196489192 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20244] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20244/stat : 20244 (java) S 20230 20232 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253256109 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694195435256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20245] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20245/stat : 20245 (java) S 20230 20232 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253256109 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694194382344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20246] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20246/stat : 20246 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694193330832 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20247] ppid=20230 vsize=9824668 CPUtime=1.19 cores=0,2,4,6
/proc/20232/task/20247/stat : 20247 (java) R 20230 20232 20082 0 -1 4202560 7363 0 0 0 117 2 0 0 20 0 22 0 253256112 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694192265696 139694447260059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20248] ppid=20230 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/20232/task/20248/stat : 20248 (java) S 20230 20232 20082 0 -1 4202560 11150 0 0 0 93 1 0 0 20 0 22 0 253256112 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694191225144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20249] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20249/stat : 20249 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694190172536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20250] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20250/stat : 20250 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694189119944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20251] ppid=20230 vsize=9824668 CPUtime=1.1 cores=0,2,4,6
/proc/20232/task/20251/stat : 20251 (java) R 20230 20232 20082 0 -1 4202560 37 0 0 0 110 0 0 0 20 0 22 0 253256138 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694188065880 139694298391221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20252] ppid=20230 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/20232/task/20252/stat : 20252 (java) R 20230 20232 20082 0 -1 4202560 124 0 0 0 107 2 0 0 20 0 22 0 253256138 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694187012984 139694298587004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20253] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20253/stat : 20253 (java) S 20230 20232 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253256139 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694185960872 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20254] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20254/stat : 20254 (java) S 20230 20232 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253256139 10060460032 48356 33554432000 1073741824 1073778376 140736544296784 139694184908072 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 9824668
[startup+3.10084 s]
/proc/loadavg: 0.47 0.10 0.03 4/195 20258
/proc/meminfo: memFree=29824788/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9824668 CPUtime=8.44 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 27026 0 1 0 834 10 0 0 20 0 22 0 253256105 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2456167 77699 2279 9 0 2446860 0
[pid=20232/tid=20234] ppid=20230 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/20232/task/20234/stat : 20234 (java) S 20230 20232 20082 0 -1 4202560 2454 0 1 0 28 1 0 0 20 0 22 0 253256106 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694440285176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20235] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20235/stat : 20235 (java) S 20230 20232 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694418385960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20236] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20236/stat : 20236 (java) S 20230 20232 20082 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694417333160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20237] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20237/stat : 20237 (java) S 20230 20232 20082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694213950248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20238] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20238/stat : 20238 (java) S 20230 20232 20082 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694212897448 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20239] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20239/stat : 20239 (java) S 20230 20232 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694211844648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20240] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20240/stat : 20240 (java) S 20230 20232 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694210791848 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20241] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20241/stat : 20241 (java) S 20230 20232 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694209739048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20242] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20242/stat : 20242 (java) S 20230 20232 20082 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253256107 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694208686248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20243] ppid=20230 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/20232/task/20243/stat : 20243 (java) S 20230 20232 20082 0 -1 4202560 109 0 0 0 17 0 0 0 20 0 22 0 253256109 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694196489192 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20244] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20244/stat : 20244 (java) S 20230 20232 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253256109 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694195435256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20245] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20245/stat : 20245 (java) S 20230 20232 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253256109 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694194382344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20246] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20246/stat : 20246 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694193330832 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20247] ppid=20230 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/20232/task/20247/stat : 20247 (java) S 20230 20232 20082 0 -1 4202560 8190 0 0 0 135 2 0 0 20 0 22 0 253256112 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694192277944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20248] ppid=20230 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/20232/task/20248/stat : 20248 (java) S 20230 20232 20082 0 -1 4202560 14807 0 0 0 138 2 0 0 20 0 22 0 253256112 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694191225144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20249] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20249/stat : 20249 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694190172536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20250] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20250/stat : 20250 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253256112 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694189119944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20251] ppid=20230 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/20232/task/20251/stat : 20251 (java) R 20230 20232 20082 0 -1 4202560 41 0 0 0 251 0 0 0 20 0 22 0 253256138 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694188065880 139694298391188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20252] ppid=20230 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/20232/task/20252/stat : 20252 (java) R 20230 20232 20082 0 -1 4202560 169 0 0 0 246 4 0 0 20 0 22 0 253256138 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694187010888 139694298585830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20253] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20253/stat : 20253 (java) S 20230 20232 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253256139 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694185960872 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20254] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20254/stat : 20254 (java) S 20230 20232 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253256139 10060460032 77699 33554432000 1073741824 1073778376 140736544296784 139694184908072 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+3.30715 s]
/proc/loadavg: 0.47 0.10 0.03 5/216 20289
/proc/meminfo: memFree=29691448/32873844 swapFree=6868/6868
[pid=20232] ppid=20230 vsize=9824668 CPUtime=8.63 cores=0,2,4,6
/proc/20232/stat : 20232 (java) S 20230 20232 20082 0 -1 4202496 27027 0 1 0 851 12 0 0 20 0 19 0 253256105 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 140736544287920 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20232/statm: 2456167 77687 2280 9 0 2446860 0
[pid=20232/tid=20234] ppid=20230 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/20232/task/20234/stat : 20234 (java) S 20230 20232 20082 0 -1 4202560 2454 0 1 0 28 1 0 0 20 0 19 0 253256106 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694440285176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20235] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20235/stat : 20235 (java) S 20230 20232 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694418385960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20236] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20236/stat : 20236 (java) S 20230 20232 20082 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694417333160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20237] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20237/stat : 20237 (java) S 20230 20232 20082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694213950248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20238] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20238/stat : 20238 (java) S 20230 20232 20082 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694212897448 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20239] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20239/stat : 20239 (java) S 20230 20232 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694211844648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20240] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20240/stat : 20240 (java) S 20230 20232 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694210791848 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20241] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20241/stat : 20241 (java) S 20230 20232 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694209739048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20242] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20242/stat : 20242 (java) S 20230 20232 20082 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253256107 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694208686248 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20243] ppid=20230 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/20232/task/20243/stat : 20243 (java) S 20230 20232 20082 0 -1 4202560 109 0 0 0 17 0 0 0 20 0 19 0 253256109 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694196489192 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20244] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20244/stat : 20244 (java) S 20230 20232 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253256109 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694195435256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20232/tid=20245] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20245/stat : 20245 (java) S 20230 20232 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253256109 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694194382344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20246] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20246/stat : 20246 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253256112 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694193330832 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20247] ppid=20230 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/20232/task/20247/stat : 20247 (java) S 20230 20232 20082 0 -1 4202560 8190 0 0 0 135 2 0 0 20 0 19 0 253256112 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694192277944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20232/tid=20248] ppid=20230 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/20232/task/20248/stat : 20248 (java) S 20230 20232 20082 0 -1 4202560 14807 0 0 0 138 2 0 0 20 0 19 0 253256112 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694191225144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20249] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20249/stat : 20249 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253256112 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694190172536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20232/tid=20250] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20250/stat : 20250 (java) S 20230 20232 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253256112 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694189119944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20232/tid=20254] ppid=20230 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/20232/task/20254/stat : 20254 (java) S 20230 20232 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253256139 10060460032 77687 33554432000 1073741824 1073778376 140736544296784 139694184908072 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 9824668
Child status: 20
Real time (s): 3.34388
CPU time (s): 8.67368
CPU user time (s): 8.45971
CPU system time (s): 0.213967
CPU usage (%): 259.39
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.45971
system time used= 0.213967
maximum resident set size= 310800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27031
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= 599
involuntary context switches= 332
runsolver used 0.014997 second user time and 0.029995 second system time
The end