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-3727138-1338665776/watcher-3727138-1338665776 -o /tmp/evaluation-result-3727138-1338665776/solver-3727138-1338665776 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727138-1338665776.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: 2.04 2.02 2.00 3/175 4279
/proc/meminfo: memFree=26829548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=6416 CPUtime=0 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) R 4277 4279 1111 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 332703068 6569984 335 33554432000 4194304 5964350 140735337533872 140736207496504 4353427 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 1604 340 165 433 0 437 0
[startup+0.06299 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 4279
/proc/meminfo: memFree=26829548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=12852 CPUtime=0.05 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) R 4277 4279 1111 0 -1 4202496 2069 0 0 0 5 0 0 0 20 0 1 0 332703068 13160448 1989 33554432000 4194304 5964350 140735337533872 140735337531752 4400680 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 3213 1989 358 433 0 2046 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12852
[startup+0.100196 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 4279
/proc/meminfo: memFree=26829548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=14200 CPUtime=0.09 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) R 4277 4279 1111 0 -1 4202496 2558 0 0 0 9 0 0 0 20 0 1 0 332703068 14540800 2478 33554432000 4194304 5964350 140735337533872 140735337531752 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 3550 2479 497 433 0 2383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200
[startup+0.300165 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 4279
/proc/meminfo: memFree=26829548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=0.29 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 9994 0 0 0 27 2 0 0 20 0 2 0 332703068 102715392 8157 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 8157 185 433 0 24641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100308
[startup+0.700107 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 4279
/proc/meminfo: memFree=26829548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=0.69 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 9996 0 0 0 67 2 0 0 20 0 2 0 332703068 102715392 8159 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 8159 187 433 0 24641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100308
[startup+1.50014 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 4281
/proc/meminfo: memFree=26797524/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=1.49 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 10264 0 0 0 147 2 0 0 20 0 2 0 332703068 102715392 8427 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 8427 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=1.26 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 4793 0 0 0 126 0 0 0 20 0 2 0 332703090 102715392 8427 33554432000 4194304 5964350 140735337533872 139869271271224 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100308
[startup+3.10013 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 4281
/proc/meminfo: memFree=26794780/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=3.08 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 10914 0 0 0 306 2 0 0 20 0 2 0 332703068 102715392 9077 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 9077 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=2.86 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 5443 0 0 0 285 1 0 0 20 0 2 0 332703090 102715392 9077 33554432000 4194304 5964350 140735337533872 139869271271224 4400003 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100308
[startup+6.30028 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 4281
/proc/meminfo: memFree=26789020/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=6.28 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 11964 0 0 0 626 2 0 0 20 0 2 0 332703068 102715392 10127 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 10127 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=6.05 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 6493 0 0 0 604 1 0 0 20 0 2 0 332703090 102715392 10127 33554432000 4194304 5964350 140735337533872 139869271271416 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 100308
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 4281
/proc/meminfo: memFree=26780364/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=12.68 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 13639 0 0 0 1265 3 0 0 20 0 2 0 332703068 102715392 11802 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 11802 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=12.43 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 8168 0 0 0 1241 2 0 0 20 0 2 0 332703090 102715392 11802 33554432000 4194304 5964350 140735337533872 139869271271464 4388887 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100308
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4281
/proc/meminfo: memFree=26768964/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=25.47 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 15306 0 0 0 2544 3 0 0 20 0 2 0 332703068 102715392 13469 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 13469 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=25.2 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 9835 0 0 0 2518 2 0 0 20 0 2 0 332703090 102715392 13469 33554432000 4194304 5964350 140735337533872 139869271271224 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 100308
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4281
/proc/meminfo: memFree=26746984/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=51.07 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 18938 0 0 0 5100 7 0 0 20 0 2 0 332703068 102715392 17101 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 17101 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=50.73 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 13467 0 0 0 5067 6 0 0 20 0 2 0 332703090 102715392 17101 33554432000 4194304 5964350 140735337533872 139869271271464 4399846 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100308
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4281
/proc/meminfo: memFree=26732512/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=100308 CPUtime=102.27 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 22597 0 0 0 10217 10 0 0 20 0 2 0 332703068 102715392 20760 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 25077 20760 187 433 0 24641 0
[pid=4279/tid=4281] ppid=4277 vsize=100308 CPUtime=101.8 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 17126 0 0 0 10170 10 0 0 20 0 2 0 332703090 102715392 20760 33554432000 4194304 5964350 140735337533872 139869271271224 4392888 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 100308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4281
/proc/meminfo: memFree=26718244/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=167468 CPUtime=162.25 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 27980 0 0 0 16210 15 0 0 20 0 2 0 332703068 171487232 26143 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 41867 26143 187 433 0 41431 0
[pid=4279/tid=4281] ppid=4277 vsize=167468 CPUtime=161.64 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 22509 0 0 0 16148 16 0 0 20 0 2 0 332703090 171487232 26143 33554432000 4194304 5964350 140735337533872 139869271271224 4399846 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 167468
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4281
/proc/meminfo: memFree=26703552/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=167468 CPUtime=222.24 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 31551 0 0 0 22205 19 0 0 20 0 2 0 332703068 171487232 29714 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 41867 29714 187 433 0 41431 0
[pid=4279/tid=4281] ppid=4277 vsize=167468 CPUtime=221.49 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 26080 0 0 0 22128 21 0 0 20 0 2 0 332703090 171487232 29714 33554432000 4194304 5964350 140735337533872 139869271271464 4399866 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 167468
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4284
/proc/meminfo: memFree=26680268/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=168276 CPUtime=282.2 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 36865 0 0 0 28196 24 0 0 20 0 2 0 332703068 172314624 35536 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 42069 35536 187 433 0 41633 0
[pid=4279/tid=4281] ppid=4277 vsize=168276 CPUtime=281.3 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 31394 0 0 0 28103 27 0 0 20 0 2 0 332703090 172314624 35536 33554432000 4194304 5964350 140735337533872 139869271271224 4403484 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 168276
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4285
/proc/meminfo: memFree=26673548/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=168276 CPUtime=342.18 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 37876 0 0 0 34193 25 0 0 20 0 2 0 332703068 172314624 37013 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 42069 37013 187 433 0 41633 0
[pid=4279/tid=4281] ppid=4277 vsize=168276 CPUtime=341.14 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 32405 0 0 0 34085 29 0 0 20 0 2 0 332703090 172314624 37013 33554432000 4194304 5964350 140735337533872 139869271271416 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 168276
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4441
/proc/meminfo: memFree=26868080/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=233812 CPUtime=402.16 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 42909 0 0 0 40185 31 0 0 20 0 2 0 332703068 239423488 42084 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58453 42084 187 433 0 58017 0
[pid=4279/tid=4281] ppid=4277 vsize=233812 CPUtime=400.97 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 37438 0 0 0 40061 36 0 0 20 0 2 0 332703090 239423488 42084 33554432000 4194304 5964350 140735337533872 139869271271464 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 233812
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4441
/proc/meminfo: memFree=26831288/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=233812 CPUtime=462.15 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 46780 0 0 0 46180 35 0 0 20 0 2 0 332703068 239423488 46001 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58453 46001 187 433 0 58017 0
[pid=4279/tid=4281] ppid=4277 vsize=233812 CPUtime=460.82 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 41309 0 0 0 46042 40 0 0 20 0 2 0 332703090 239423488 46001 33554432000 4194304 5964350 140735337533872 139869271271464 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 233812
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4441
/proc/meminfo: memFree=26792324/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=522.14 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 49046 0 0 0 52177 37 0 0 20 0 2 0 332703068 240668672 48267 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 48267 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=520.66 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 43575 0 0 0 52023 43 0 0 20 0 2 0 332703090 240668672 48267 33554432000 4194304 5964350 140735337533872 139869271271224 4400352 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 235028
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4441
/proc/meminfo: memFree=26791456/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=582.13 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 49221 0 0 0 58176 37 0 0 20 0 2 0 332703068 240668672 48442 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 48442 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=580.51 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 43750 0 0 0 58007 44 0 0 20 0 2 0 332703090 240668672 48442 33554432000 4194304 5964350 140735337533872 139869271271224 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 235028
[startup+642.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4442
/proc/meminfo: memFree=26769684/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=642.12 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 50477 0 0 0 64173 39 0 0 20 0 2 0 332703068 240668672 49873 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 49873 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=640.35 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 45006 0 0 0 63988 47 0 0 20 0 2 0 332703090 240668672 49873 33554432000 4194304 5964350 140735337533872 139869271271224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 235028
[startup+702.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26746372/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=702.11 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53536 0 0 0 70167 44 0 0 20 0 2 0 332703068 240668672 52932 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 52932 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=700.19 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48065 0 0 0 69966 53 0 0 20 0 2 0 332703090 240668672 52932 33554432000 4194304 5964350 140735337533872 139869271271224 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 235028
Solver just ended. Dumping a history of the last processes samples
[startup+703.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26746124/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=703.71 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53592 0 0 0 70327 44 0 0 20 0 2 0 332703068 240668672 52988 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 52988 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=701.79 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48121 0 0 0 70126 53 0 0 20 0 2 0 332703090 240668672 52988 33554432000 4194304 5964350 140735337533872 139869271271416 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 703.71
Current children cumulated vsize (KiB) 235028
[startup+707.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26745504/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=706.9 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53765 0 0 0 70646 44 0 0 20 0 2 0 332703068 240668672 53161 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 53161 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=704.98 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48294 0 0 0 70445 53 0 0 20 0 2 0 332703090 240668672 53161 33554432000 4194304 5964350 140735337533872 139869271271464 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 706.9
Current children cumulated vsize (KiB) 235028
[startup+708.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26745008/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=708.5 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53848 0 0 0 70806 44 0 0 20 0 2 0 332703068 240668672 53244 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 53244 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=706.58 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48377 0 0 0 70605 53 0 0 20 0 2 0 332703090 240668672 53244 33554432000 4194304 5964350 140735337533872 139869271271464 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 708.5
Current children cumulated vsize (KiB) 235028
[startup+709.506 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26744884/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=709.31 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53879 0 0 0 70887 44 0 0 20 0 2 0 332703068 240668672 53275 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 53275 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=707.38 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48408 0 0 0 70685 53 0 0 20 0 2 0 332703090 240668672 53275 33554432000 4194304 5964350 140735337533872 139869271271464 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.31
Current children cumulated vsize (KiB) 235028
[startup+709.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26744884/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=709.5 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53886 0 0 0 70906 44 0 0 20 0 2 0 332703068 240668672 53282 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 53282 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=707.57 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48415 0 0 0 70704 53 0 0 20 0 2 0 332703090 240668672 53282 33554432000 4194304 5964350 140735337533872 139869271271464 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.5
Current children cumulated vsize (KiB) 235028
[startup+709.8 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4442
/proc/meminfo: memFree=26744884/32873624 swapFree=7112/7112
[pid=4279] ppid=4277 vsize=235028 CPUtime=709.6 cores=1,3,5,7
/proc/4279/stat : 4279 (wbo1.72) S 4277 4279 1111 0 -1 4202496 53890 0 0 0 70916 44 0 0 20 0 2 0 332703068 240668672 53286 33554432000 4194304 5964350 140735337533872 140735337533392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4279/statm: 58757 53286 187 433 0 58321 0
[pid=4279/tid=4281] ppid=4277 vsize=235028 CPUtime=707.67 cores=1,3,5,7
/proc/4279/task/4281/stat : 4281 (wbo1.72) R 4277 4279 1111 0 -1 4202560 48419 0 0 0 70714 53 0 0 20 0 2 0 332703090 240668672 53286 33554432000 4194304 5964350 140735337533872 139869271271464 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.6
Current children cumulated vsize (KiB) 235028
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4279 and gives
# childrusage.ru_utime.tv_sec=707
# childrusage.ru_utime.tv_usec=427454
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=554915
# CPU time returned by wait4() is 707.982
# while last known CPU time is 709.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 709.885
CPU time (s): 709.6
CPU user time (s): 709.16
CPU system time (s): 0.44
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 235028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 707.427
system time used= 0.554915
maximum resident set size= 213200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89
involuntary context switches= 820
runsolver used 1.13983 second user time and 3.00054 second system time
The end