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-3705729-1338094403/watcher-3705729-1338094403 -o /tmp/evaluation-result-3705729-1338094403/solver-3705729-1338094403 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705729-1338094403.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: 2.00 2.00 1.97 3/177 18960
/proc/meminfo: memFree=27116868/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=0 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 857 0 0 0 0 0 0 0 20 0 2 0 275568924 85819392 804 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 804 191 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=0 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 2 0 275568925 85819392 804 33554432000 4194304 5963574 140734634140944 140736686502808 5132943 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.018708 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18960
/proc/meminfo: memFree=27116868/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=0.01 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 900 0 0 0 1 0 0 0 20 0 2 0 275568924 85819392 847 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 847 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=0 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 2 0 275568925 85819392 847 33554432000 4194304 5963574 140734634140944 140736686502808 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83808
[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18960
/proc/meminfo: memFree=27116868/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=0.09 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 1084 0 0 0 9 0 0 0 20 0 2 0 275568924 85819392 1031 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 1031 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=0.08 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 336 0 0 0 8 0 0 0 20 0 2 0 275568925 85819392 1031 33554432000 4194304 5963574 140734634140944 140736686502808 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83808
[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18960
/proc/meminfo: memFree=27116868/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=0.29 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 1349 0 0 0 29 0 0 0 20 0 2 0 275568924 85819392 1296 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 1296 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=0.28 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 601 0 0 0 28 0 0 0 20 0 2 0 275568925 85819392 1296 33554432000 4194304 5963574 140734634140944 140736686502808 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83808
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 18960
/proc/meminfo: memFree=27116868/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=0.69 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 1782 0 0 0 69 0 0 0 20 0 2 0 275568924 85819392 1729 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 1729 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=0.68 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 1034 0 0 0 68 0 0 0 20 0 2 0 275568925 85819392 1729 33554432000 4194304 5963574 140734634140944 140136139245368 4400074 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83808
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27109676/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=1.49 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 2262 0 0 0 149 0 0 0 20 0 2 0 275568924 85819392 2183 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 2183 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=1.48 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 1514 0 0 0 148 0 0 0 20 0 2 0 275568925 85819392 2183 33554432000 4194304 5963574 140734634140944 140136139246520 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83808
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27108064/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=3.09 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 2844 0 0 0 309 0 0 0 20 0 2 0 275568924 85819392 2765 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 2765 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=3.08 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 2096 0 0 0 308 0 0 0 20 0 2 0 275568925 85819392 2765 33554432000 4194304 5963574 140734634140944 140136139245368 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83808
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27095912/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=84024 CPUtime=6.29 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 4045 0 0 0 628 1 0 0 20 0 2 0 275568924 86040576 3966 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 21006 3966 194 432 0 20571 0
[pid=18960/tid=18961] ppid=18958 vsize=84024 CPUtime=6.28 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 3297 0 0 0 627 1 0 0 20 0 2 0 275568925 86040576 3966 33554432000 4194304 5963574 140734634140944 140136139245368 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84024
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27081676/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=84132 CPUtime=12.68 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 6977 0 0 0 1267 1 0 0 20 0 2 0 275568924 86151168 6898 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 21033 6898 194 432 0 20598 0
[pid=18960/tid=18961] ppid=18958 vsize=84132 CPUtime=12.68 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 6229 0 0 0 1266 2 0 0 20 0 2 0 275568925 86151168 6898 33554432000 4194304 5963574 140734634140944 140136139245608 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84132
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27067232/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=84508 CPUtime=25.48 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 9818 0 0 0 2546 2 0 0 20 0 2 0 275568924 86536192 9739 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 21127 9739 194 432 0 20692 0
[pid=18960/tid=18961] ppid=18958 vsize=84508 CPUtime=25.48 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 9070 0 0 0 2545 3 0 0 20 0 2 0 275568925 86536192 9739 33554432000 4194304 5963574 140734634140944 140136139245368 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84508
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18962
/proc/meminfo: memFree=27013992/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=51.08 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 11604 0 0 0 5105 3 0 0 20 0 2 0 275568924 85819392 11390 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 11390 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=51.08 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 10856 0 0 0 5104 4 0 0 20 0 2 0 275568925 85819392 11390 33554432000 4194304 5963574 140734634140944 140136139246520 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83808
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 1.98 3/179 18962
/proc/meminfo: memFree=26968280/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=83808 CPUtime=102.28 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 16708 0 0 0 10223 5 0 0 20 0 2 0 275568924 85819392 16494 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 20952 16494 194 432 0 20517 0
[pid=18960/tid=18961] ppid=18958 vsize=83808 CPUtime=102.29 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 15960 0 0 0 10222 7 0 0 20 0 2 0 275568925 85819392 16494 33554432000 4194304 5963574 140734634140944 140136139245560 4400348 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83808
[startup+162.3 s]
/proc/loadavg: 2.10 2.03 1.98 3/179 18962
/proc/meminfo: memFree=26899252/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=150068 CPUtime=162.25 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 25558 0 0 0 16217 8 0 0 20 0 2 0 275568924 153669632 25432 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 37517 25432 194 432 0 37082 0
[pid=18960/tid=18961] ppid=18958 vsize=150068 CPUtime=162.26 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 24810 0 0 0 16215 11 0 0 20 0 2 0 275568925 153669632 25432 33554432000 4194304 5963574 140734634140944 140136139245560 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150068
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/179 18963
/proc/meminfo: memFree=26824436/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=150068 CPUtime=222.23 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 31120 0 0 0 22213 10 0 0 20 0 2 0 275568924 153669632 31888 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 37517 31888 194 432 0 37082 0
[pid=18960/tid=18961] ppid=18958 vsize=150068 CPUtime=222.26 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 30372 0 0 0 22212 14 0 0 20 0 2 0 275568925 153669632 31888 33554432000 4194304 5963574 140734634140944 140136139245432 4399505 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150068
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 18963
/proc/meminfo: memFree=26799352/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=215964 CPUtime=282.22 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 37301 0 0 0 28208 14 0 0 20 0 2 0 275568924 221147136 38067 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 53991 38067 194 432 0 53556 0
[pid=18960/tid=18961] ppid=18958 vsize=215964 CPUtime=282.26 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 36553 0 0 0 28207 19 0 0 20 0 2 0 275568925 221147136 38067 33554432000 4194304 5963574 140734634140944 140136139245368 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 215964
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/179 18963
/proc/meminfo: memFree=26738632/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=215964 CPUtime=342.21 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 44331 0 0 0 34203 18 0 0 20 0 2 0 275568924 221147136 45096 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 53991 45096 194 432 0 53556 0
[pid=18960/tid=18961] ppid=18958 vsize=215964 CPUtime=342.27 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 43583 0 0 0 34203 24 0 0 20 0 2 0 275568925 221147136 45096 33554432000 4194304 5963574 140734634140944 140136139245608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 215964
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 18966
/proc/meminfo: memFree=26673352/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=281500 CPUtime=402.17 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 49443 0 0 0 40196 21 0 0 20 0 2 0 275568924 288256000 50330 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 106156 0 0 0 130140 81 0 0 20 0 2 0 275568925 495325184 109258 33554432000 4194304 5963574 140734634140944 140136139245608 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 483716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18995
/proc/meminfo: memFree=26304760/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=483716 CPUtime=1361.9 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 111385 0 0 0 136126 64 0 0 20 0 2 0 275568924 495325184 114349 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 120929 114349 194 432 0 120494 0
[pid=18960/tid=18961] ppid=18958 vsize=483716 CPUtime=1362.17 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 110637 0 0 0 136132 85 0 0 20 0 2 0 275568925 495325184 114349 33554432000 4194304 5963574 140734634140944 140136139245368 4399537 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 483716
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26298188/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=483716 CPUtime=1421.9 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 113008 0 0 0 142125 65 0 0 20 0 2 0 275568924 495325184 115971 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 120929 115971 194 432 0 120494 0
[pid=18960/tid=18961] ppid=18958 vsize=483716 CPUtime=1422.18 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 112260 0 0 0 142131 87 0 0 20 0 2 0 275568925 495325184 115971 33554432000 4194304 5963574 140734634140944 140136139245368 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 483716
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26269040/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=551424 CPUtime=1481.89 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 120327 0 0 0 148118 71 0 0 20 0 2 0 275568924 564658176 123316 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 137856 123316 194 432 0 137421 0
[pid=18960/tid=18961] ppid=18958 vsize=551424 CPUtime=1482.17 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 119579 0 0 0 148123 94 0 0 20 0 2 0 275568925 564658176 123316 33554432000 4194304 5963574 140734634140944 140136139245560 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 551424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18996
/proc/meminfo: memFree=26257508/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=552148 CPUtime=1541.88 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 123208 0 0 0 154115 73 0 0 20 0 2 0 275568924 565399552 126197 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 138037 126197 194 432 0 137602 0
[pid=18960/tid=18961] ppid=18958 vsize=552148 CPUtime=1542.17 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 122460 0 0 0 154120 97 0 0 20 0 2 0 275568925 565399552 126197 33554432000 4194304 5963574 140734634140944 140136139245368 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 552148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 18999
/proc/meminfo: memFree=26219976/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=552872 CPUtime=1601.87 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 124661 0 0 0 160113 74 0 0 20 0 2 0 275568924 566140928 127562 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 138218 127562 194 432 0 137783 0
[pid=18960/tid=18961] ppid=18958 vsize=552872 CPUtime=1602.18 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 123913 0 0 0 160119 99 0 0 20 0 2 0 275568925 566140928 127562 33554432000 4194304 5963574 140734634140944 140136139245560 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 552872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18999
/proc/meminfo: memFree=26197832/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=553232 CPUtime=1661.86 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 129993 0 0 0 166108 78 0 0 20 0 2 0 275568924 566509568 132892 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 138308 132892 194 432 0 137873 0
[pid=18960/tid=18961] ppid=18958 vsize=553232 CPUtime=1662.18 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 129245 0 0 0 166114 104 0 0 20 0 2 0 275568925 566509568 132892 33554432000 4194304 5963574 140734634140944 140136139245368 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 553232
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18999
/proc/meminfo: memFree=26191260/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=619492 CPUtime=1721.85 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 131401 0 0 0 172106 79 0 0 20 0 2 0 275568924 634359808 134300 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 154873 134300 194 432 0 154438 0
[pid=18960/tid=18961] ppid=18958 vsize=619492 CPUtime=1722.18 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 130653 0 0 0 172112 106 0 0 20 0 2 0 275568925 634359808 134300 33554432000 4194304 5963574 140734634140944 140136139245368 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 619492
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19051
/proc/meminfo: memFree=26610556/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=619492 CPUtime=1781.81 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 136924 0 0 0 178097 84 0 0 20 0 2 0 275568924 634359808 140408 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 154873 140408 194 432 0 154438 0
[pid=18960/tid=18961] ppid=18958 vsize=619492 CPUtime=1782.16 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 136176 0 0 0 178104 112 0 0 20 0 2 0 275568925 634359808 140408 33554432000 4194304 5963574 140734634140944 140136139245560 4399462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 619492
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26599008/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621024 CPUtime=1791.42 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 138929 0 0 0 179056 86 0 0 20 0 2 0 275568924 635928576 142512 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155256 142512 194 432 0 154821 0
[pid=18960/tid=18961] ppid=18958 vsize=621024 CPUtime=1791.76 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 138181 0 0 0 179063 113 0 0 20 0 2 0 275568925 635928576 142512 33554432000 4194304 5963574 140734634140944 140136139245368 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 621024
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26597768/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1794.62 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139268 0 0 0 179376 86 0 0 20 0 2 0 275568924 636297216 142851 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 142851 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1794.96 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 138520 0 0 0 179383 113 0 0 20 0 2 0 275568925 636297216 142851 33554432000 4194304 5963574 140734634140944 140136139245608 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 621384
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26596452/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1797.8 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139629 0 0 0 179694 86 0 0 20 0 2 0 275568924 636297216 143227 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 143227 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1798.15 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 138881 0 0 0 179701 114 0 0 20 0 2 0 275568925 636297216 143227 33554432000 4194304 5963574 140734634140944 140136139245560 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 621384
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26596080/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1798.6 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139702 0 0 0 179774 86 0 0 20 0 2 0 275568924 636297216 143300 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 143300 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1798.95 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 138954 0 0 0 179781 114 0 0 20 0 2 0 275568925 636297216 143300 33554432000 4194304 5963574 140734634140944 140136139245608 4399542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 621384
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26595708/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1799.01 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139743 0 0 0 179815 86 0 0 20 0 2 0 275568924 636297216 143341 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 143341 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1799.35 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 138995 0 0 0 179821 114 0 0 20 0 2 0 275568925 636297216 143341 33554432000 4194304 5963574 140734634140944 140136139245608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 621384
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26595708/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1799.4 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139782 0 0 0 179854 86 0 0 20 0 2 0 275568924 636297216 143380 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 143380 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1799.75 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 139034 0 0 0 179861 114 0 0 20 0 2 0 275568925 636297216 143380 33554432000 4194304 5963574 140734634140944 140136139245608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 621384
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19051
/proc/meminfo: memFree=26595708/32873844 swapFree=6088/6088
[pid=18960] ppid=18958 vsize=621384 CPUtime=1799.5 cores=0,2,4,6
/proc/18960/stat : 18960 (wbo1.7) S 18958 18960 16852 0 -1 4202496 139789 0 0 0 179864 86 0 0 20 0 2 0 275568924 636297216 143387 33554432000 4194304 5963574 140734634140944 140734634140464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18960/statm: 155346 143387 194 432 0 154911 0
[pid=18960/tid=18961] ppid=18958 vsize=621384 CPUtime=1799.85 cores=0,2,4,6
/proc/18960/task/18961/stat : 18961 (wbo1.7) R 18958 18960 16852 0 -1 4202560 139041 0 0 0 179871 114 0 0 20 0 2 0 275568925 636297216 143387 33554432000 4194304 5963574 140734634140944 140136139245608 4399511 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 621384
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.87
CPU user time (s): 1798.72
CPU system time (s): 1.15582
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 621384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.15582
maximum resident set size= 573548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139789
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= 259
involuntary context switches= 1865
runsolver used 6.99194 second user time and 17.5443 second system time
The end