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-3704711-1338076962/watcher-3704711-1338076962 -o /tmp/evaluation-result-3704711-1338076962/solver-3704711-1338076962 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704711-1338076962.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.00 2.00 2.00 3/177 28477
/proc/meminfo: memFree=28837972/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83812 CPUtime=0 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 2 0 273822027 85823488 778 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20953 778 185 432 0 20518 0
[pid=28477/tid=28478] ppid=28475 vsize=83812 CPUtime=0 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 2 0 273822027 85823488 778 33554432000 4194304 5963574 140736695120256 140735620241704 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.019348 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28477
/proc/meminfo: memFree=28837972/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83812 CPUtime=0.01 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 897 0 0 0 1 0 0 0 20 0 2 0 273822027 85823488 843 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20953 843 187 432 0 20518 0
[pid=28477/tid=28478] ppid=28475 vsize=83812 CPUtime=0 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 2 0 273822027 85823488 843 33554432000 4194304 5963574 140736695120256 140735620241704 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83812
[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28477
/proc/meminfo: memFree=28837972/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83812 CPUtime=0.09 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 1104 0 0 0 9 0 0 0 20 0 2 0 273822027 85823488 1050 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20953 1050 187 432 0 20518 0
[pid=28477/tid=28478] ppid=28475 vsize=83812 CPUtime=0.08 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 354 0 0 0 8 0 0 0 20 0 2 0 273822027 85823488 1050 33554432000 4194304 5963574 140736695120256 140735620241704 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83812
[startup+0.300212 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28477
/proc/meminfo: memFree=28837972/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83812 CPUtime=0.29 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 1506 0 0 0 29 0 0 0 20 0 2 0 273822027 85823488 1452 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20953 1452 187 432 0 20518 0
[pid=28477/tid=28478] ppid=28475 vsize=83812 CPUtime=0.28 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 756 0 0 0 28 0 0 0 20 0 2 0 273822027 85823488 1452 33554432000 4194304 5963574 140736695120256 140735620241704 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83812
[startup+0.700261 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28477
/proc/meminfo: memFree=28837972/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83812 CPUtime=0.69 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 2037 0 0 0 69 0 0 0 20 0 2 0 273822027 85823488 1983 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20953 1983 187 432 0 20518 0
[pid=28477/tid=28478] ppid=28475 vsize=83812 CPUtime=0.68 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 1287 0 0 0 68 0 0 0 20 0 2 0 273822027 85823488 1983 33554432000 4194304 5963574 140736695120256 139652658345976 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83812
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28829672/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83956 CPUtime=1.48 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 2914 0 0 0 148 0 0 0 20 0 2 0 273822027 85970944 2860 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20989 2860 187 432 0 20554 0
[pid=28477/tid=28478] ppid=28475 vsize=83956 CPUtime=1.48 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 2164 0 0 0 148 0 0 0 20 0 2 0 273822027 85970944 2860 33554432000 4194304 5963574 140736695120256 139652658345976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83956
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28826324/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=83956 CPUtime=3.08 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 3307 0 0 0 308 0 0 0 20 0 2 0 273822027 85970944 3253 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 20989 3253 187 432 0 20554 0
[pid=28477/tid=28478] ppid=28475 vsize=83956 CPUtime=3.07 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 2557 0 0 0 307 0 0 0 20 0 2 0 273822027 85970944 3253 33554432000 4194304 5963574 140736695120256 139652658345784 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83956
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28818772/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=84028 CPUtime=6.29 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 4300 0 0 0 628 1 0 0 20 0 2 0 273822027 86044672 4246 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 21007 4246 187 432 0 20572 0
[pid=28477/tid=28478] ppid=28475 vsize=84028 CPUtime=6.26 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 3550 0 0 0 625 1 0 0 20 0 2 0 273822027 86044672 4246 33554432000 4194304 5963574 140736695120256 139652658346024 4400044 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84028
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28808460/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=84172 CPUtime=12.69 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 6002 0 0 0 1267 2 0 0 20 0 2 0 273822027 86192128 5948 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 21043 5948 187 432 0 20608 0
[pid=28477/tid=28478] ppid=28475 vsize=84172 CPUtime=12.65 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 5252 0 0 0 1264 1 0 0 20 0 2 0 273822027 86192128 5948 33554432000 4194304 5963574 140736695120256 139652658345784 4400064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84172
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28791752/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=85072 CPUtime=25.49 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 8430 0 0 0 2546 3 0 0 20 0 2 0 273822027 87113728 8376 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 21268 8376 187 432 0 20833 0
[pid=28477/tid=28478] ppid=28475 vsize=85072 CPUtime=25.42 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 7680 0 0 0 2539 3 0 0 20 0 2 0 273822027 87113728 8376 33554432000 4194304 5963574 140736695120256 139652658345784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85072
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28769556/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=86456 CPUtime=51.08 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 11584 0 0 0 5104 4 0 0 20 0 2 0 273822027 88530944 11530 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 21614 11530 187 432 0 21179 0
[pid=28477/tid=28478] ppid=28475 vsize=86456 CPUtime=50.95 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 10834 0 0 0 5092 3 0 0 20 0 2 0 273822027 88530944 11530 33554432000 4194304 5963574 140736695120256 139652658345784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86456
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28742096/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=90548 CPUtime=102.26 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 17716 0 0 0 10219 7 0 0 20 0 2 0 273822027 92721152 17772 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 22637 17772 187 432 0 22202 0
[pid=28477/tid=28478] ppid=28475 vsize=90548 CPUtime=102 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 16966 0 0 0 10192 8 0 0 20 0 2 0 273822027 92721152 17772 33554432000 4194304 5963574 140736695120256 139652658345784 4388632 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90548
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28479
/proc/meminfo: memFree=28709664/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=159232 CPUtime=162.23 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 22223 0 0 0 16212 11 0 0 20 0 2 0 273822027 163053568 23250 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 39808 23250 187 432 0 39373 0
[pid=28477/tid=28478] ppid=28475 vsize=159232 CPUtime=161.84 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 21473 0 0 0 16171 13 0 0 20 0 2 0 273822027 163053568 23250 33554432000 4194304 5963574 140736695120256 139652658346024 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 159232
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28479
/proc/meminfo: memFree=28686576/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=160384 CPUtime=222.22 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 23780 0 0 0 22210 12 0 0 20 0 2 0 273822027 164233216 24807 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 40096 24807 187 432 0 39661 0
[pid=28477/tid=28478] ppid=28475 vsize=160384 CPUtime=221.68 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 23030 0 0 0 22153 15 0 0 20 0 2 0 273822027 164233216 24807 33554432000 4194304 5963574 140736695120256 139652658346024 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 160384
[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 28479
/proc/meminfo: memFree=28672600/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=161320 CPUtime=282.21 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 26936 0 0 0 28205 16 0 0 20 0 2 0 273822027 165191680 28007 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 40330 28007 187 432 0 39895 0
[pid=28477/tid=28478] ppid=28475 vsize=161320 CPUtime=281.52 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 26186 0 0 0 28132 20 0 0 20 0 2 0 273822027 165191680 28007 33554432000 4194304 5963574 140736695120256 139652658346024 4400144 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 161320
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28480
/proc/meminfo: memFree=28654304/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=162648 CPUtime=342.2 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 31441 0 0 0 34199 21 0 0 20 0 2 0 273822027 166551552 32526 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 40662 32526 187 432 0 40227 0
[pid=28477/tid=28478] ppid=28475 vsize=162648 CPUtime=341.36 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 30691 0 0 0 34110 26 0 0 20 0 2 0 273822027 166551552 32526 33554432000 4194304 5963574 140736695120256 139652658345784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 162648
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28480
/proc/meminfo: memFree=28645176/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=163688 CPUtime=402.19 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 32610 0 0 0 40197 22 0 0 20 0 2 0 273822027 167616512 33695 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28528
/proc/meminfo: memFree=28585528/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=331720 CPUtime=1422 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 70479 0 0 0 142136 64 0 0 20 0 2 0 273822027 339681280 71583 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 82930 71583 187 432 0 82495 0
[pid=28477/tid=28478] ppid=28475 vsize=331720 CPUtime=1418.55 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 69729 0 0 0 141770 85 0 0 20 0 2 0 273822027 339681280 71583 33554432000 4194304 5963574 140736695120256 139652658346024 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 331720
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28528
/proc/meminfo: memFree=28554688/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=333760 CPUtime=1481.97 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 75264 0 0 0 148127 70 0 0 20 0 2 0 273822027 341770240 76358 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 83440 76358 187 432 0 83005 0
[pid=28477/tid=28478] ppid=28475 vsize=333760 CPUtime=1478.38 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 74514 0 0 0 147746 92 0 0 20 0 2 0 273822027 341770240 76358 33554432000 4194304 5963574 140736695120256 139652658345976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 333760
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28529
/proc/meminfo: memFree=28526624/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=400212 CPUtime=1541.95 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 77260 0 0 0 154121 74 0 0 20 0 2 0 273822027 409817088 78347 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 100053 78347 187 432 0 99618 0
[pid=28477/tid=28478] ppid=28475 vsize=400212 CPUtime=1538.22 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 76510 0 0 0 153725 97 0 0 20 0 2 0 273822027 409817088 78347 33554432000 4194304 5963574 140736695120256 139652658346024 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 400212
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28529
/proc/meminfo: memFree=28510384/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=401272 CPUtime=1601.94 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 77471 0 0 0 160120 74 0 0 20 0 2 0 273822027 410902528 78558 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 100318 78558 187 432 0 99883 0
[pid=28477/tid=28478] ppid=28475 vsize=401272 CPUtime=1598.07 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 76721 0 0 0 159709 98 0 0 20 0 2 0 273822027 410902528 78558 33554432000 4194304 5963574 140736695120256 139652658346024 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 401272
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/180 28532
/proc/meminfo: memFree=28507096/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=402744 CPUtime=1661.94 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 77737 0 0 0 166119 75 0 0 20 0 2 0 273822027 412409856 78824 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 100686 78824 187 432 0 100251 0
[pid=28477/tid=28478] ppid=28475 vsize=402744 CPUtime=1657.91 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 76987 0 0 0 165691 100 0 0 20 0 2 0 273822027 412409856 78824 33554432000 4194304 5963574 140736695120256 139652658346024 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 402744
[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 28532
/proc/meminfo: memFree=28464944/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404240 CPUtime=1721.92 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 79156 0 0 0 172116 76 0 0 20 0 2 0 273822027 413941760 80243 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101060 80243 187 432 0 100625 0
[pid=28477/tid=28478] ppid=28475 vsize=404240 CPUtime=1717.76 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 78406 0 0 0 171674 102 0 0 20 0 2 0 273822027 413941760 80243 33554432000 4194304 5963574 140736695120256 139652658345976 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 404240
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28453400/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404528 CPUtime=1781.91 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 81691 0 0 0 178110 81 0 0 20 0 2 0 273822027 414236672 82772 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101132 82772 187 432 0 100697 0
[pid=28477/tid=28478] ppid=28475 vsize=404528 CPUtime=1777.6 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 80941 0 0 0 177652 108 0 0 20 0 2 0 273822027 414236672 82772 33554432000 4194304 5963574 140736695120256 139652658345976 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 404528
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28452028/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404600 CPUtime=1791.52 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82135 0 0 0 179070 82 0 0 20 0 2 0 273822027 414310400 83216 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101150 83216 187 432 0 100715 0
[pid=28477/tid=28478] ppid=28475 vsize=404600 CPUtime=1787.18 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81385 0 0 0 178609 109 0 0 20 0 2 0 273822027 414310400 83216 33554432000 4194304 5963574 140736695120256 139652658345976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 404600
[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28447688/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404600 CPUtime=1794.72 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82254 0 0 0 179390 82 0 0 20 0 2 0 273822027 414310400 83335 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101150 83335 187 432 0 100715 0
[pid=28477/tid=28478] ppid=28475 vsize=404600 CPUtime=1790.37 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81504 0 0 0 178928 109 0 0 20 0 2 0 273822027 414310400 83335 33554432000 4194304 5963574 140736695120256 139652658345976 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 404600
[startup+1798.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28445084/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404708 CPUtime=1797.91 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82489 0 0 0 179709 82 0 0 20 0 2 0 273822027 414420992 83570 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101177 83570 187 432 0 100742 0
[pid=28477/tid=28478] ppid=28475 vsize=404708 CPUtime=1793.56 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81739 0 0 0 179247 109 0 0 20 0 2 0 273822027 414420992 83570 33554432000 4194304 5963574 140736695120256 139652658345976 4400320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 404708
[startup+1799.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28443472/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404868 CPUtime=1798.71 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82560 0 0 0 179789 82 0 0 20 0 2 0 273822027 414584832 83641 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101217 83641 187 432 0 100782 0
[pid=28477/tid=28478] ppid=28475 vsize=404868 CPUtime=1794.36 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81810 0 0 0 179327 109 0 0 20 0 2 0 273822027 414584832 83641 33554432000 4194304 5963574 140736695120256 139652658345976 4399468 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 404868
[startup+1799.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28442232/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404868 CPUtime=1799.11 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82587 0 0 0 179829 82 0 0 20 0 2 0 273822027 414584832 83668 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101217 83668 187 432 0 100782 0
[pid=28477/tid=28478] ppid=28475 vsize=404868 CPUtime=1794.76 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81837 0 0 0 179367 109 0 0 20 0 2 0 273822027 414584832 83668 33554432000 4194304 5963574 140736695120256 139652658345976 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 404868
[startup+1799.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28442232/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404868 CPUtime=1799.5 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82619 0 0 0 179868 82 0 0 20 0 2 0 273822027 414584832 83700 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101217 83700 187 432 0 100782 0
[pid=28477/tid=28478] ppid=28475 vsize=404868 CPUtime=1795.16 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81869 0 0 0 179407 109 0 0 20 0 2 0 273822027 414584832 83700 33554432000 4194304 5963574 140736695120256 139652658345976 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 404868
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 28532
/proc/meminfo: memFree=28442232/32873648 swapFree=6844/6844
[pid=28477] ppid=28475 vsize=404868 CPUtime=1799.6 cores=1,3,5,7
/proc/28477/stat : 28477 (wbo1.7) S 28475 28477 27916 0 -1 4202496 82626 0 0 0 179878 82 0 0 20 0 2 0 273822027 414584832 83707 33554432000 4194304 5963574 140736695120256 140736695119776 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28477/statm: 101217 83707 187 432 0 100782 0
[pid=28477/tid=28478] ppid=28475 vsize=404868 CPUtime=1795.26 cores=1,3,5,7
/proc/28477/task/28478/stat : 28478 (wbo1.7) R 28475 28477 27916 0 -1 4202560 81876 0 0 0 179417 109 0 0 20 0 2 0 273822027 414584832 83707 33554432000 4194304 5963574 140736695120256 139652658345976 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 404868
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28477 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=179243
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=106831
# CPU time returned by wait4() is 1795.29
# while last known CPU time is 1799.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.6
CPU user time (s): 1798.78
CPU system time (s): 0.82
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 404868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 1.10683
maximum resident set size= 334832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82627
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= 130
involuntary context switches= 2026
runsolver used 3.43948 second user time and 10.2194 second system time
The end