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-3705670-1338103406/watcher-3705670-1338103406 -o /tmp/evaluation-result-3705670-1338103406/solver-3705670-1338103406 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705670-1338103406.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.08 2.04 2.01 3/177 19666
/proc/meminfo: memFree=27019272/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=3684 CPUtime=0 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) R 19664 19666 16852 0 -1 4202496 439 0 0 0 0 0 0 0 20 0 1 0 276469186 3772416 391 33554432000 4194304 5963574 140737261781824 140733914655320 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 921 391 175 432 0 457 0
[startup+0.0313929 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 19666
/proc/meminfo: memFree=27019272/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=0.02 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 1592 0 0 0 2 0 0 0 20 0 2 0 276469186 86712320 1515 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 1515 193 432 0 20735 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 84680
[startup+0.100272 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 19666
/proc/meminfo: memFree=27019272/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=0.09 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 1705 0 0 0 9 0 0 0 20 0 2 0 276469186 86712320 1628 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 1628 194 432 0 20735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84680
[startup+0.300224 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 19666
/proc/meminfo: memFree=27019272/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=0.29 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 1792 0 0 0 29 0 0 0 20 0 2 0 276469186 86712320 1715 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 1715 194 432 0 20735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84680
[startup+0.700222 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 19666
/proc/meminfo: memFree=27019272/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=0.69 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 2185 0 0 0 69 0 0 0 20 0 2 0 276469186 86712320 2108 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 2108 194 432 0 20735 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84680
[startup+1.50025 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 19668
/proc/meminfo: memFree=27009368/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=1.49 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 2618 0 0 0 149 0 0 0 20 0 2 0 276469186 86712320 2541 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 2541 194 432 0 20735 0
[pid=19666/tid=19668] ppid=19664 vsize=84680 CPUtime=1.47 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 1629 0 0 0 147 0 0 0 20 0 2 0 276469187 86712320 2541 33554432000 4194304 5963574 140737261781824 139678300453224 4392399 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84680
[startup+3.10025 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 19668
/proc/meminfo: memFree=27004780/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84824 CPUtime=3.09 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 2782 0 0 0 309 0 0 0 20 0 2 0 276469186 86859776 2705 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21206 2705 194 432 0 20771 0
[pid=19666/tid=19668] ppid=19664 vsize=84824 CPUtime=3.07 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 1793 0 0 0 307 0 0 0 20 0 2 0 276469187 86859776 2705 33554432000 4194304 5963574 140737261781824 139678300452664 4222352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84824
[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 19668
/proc/meminfo: memFree=26993868/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=6.29 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 3836 0 0 0 628 1 0 0 20 0 2 0 276469186 86712320 3723 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 3723 194 432 0 20735 0
[pid=19666/tid=19668] ppid=19664 vsize=84680 CPUtime=6.27 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 2847 0 0 0 627 0 0 0 20 0 2 0 276469187 86712320 3723 33554432000 4194304 5963574 140737261781824 139678300453816 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84680
[startup+12.7003 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 19668
/proc/meminfo: memFree=26982476/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=12.69 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 4488 0 0 0 1268 1 0 0 20 0 2 0 276469186 86712320 4375 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 4375 194 432 0 20735 0
[pid=19666/tid=19668] ppid=19664 vsize=84680 CPUtime=12.67 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 3499 0 0 0 1266 1 0 0 20 0 2 0 276469187 86712320 4375 33554432000 4194304 5963574 140737261781824 139678300452664 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84680
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 19668
/proc/meminfo: memFree=26948920/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=84680 CPUtime=25.49 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 7057 0 0 0 2547 2 0 0 20 0 2 0 276469186 86712320 6869 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21170 6869 194 432 0 20735 0
[pid=19666/tid=19668] ppid=19664 vsize=84680 CPUtime=25.47 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 6068 0 0 0 2545 2 0 0 20 0 2 0 276469187 86712320 6869 33554432000 4194304 5963574 140737261781824 139678300453816 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84680
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 19669
/proc/meminfo: memFree=26900156/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=85164 CPUtime=51.08 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 8230 0 0 0 5106 2 0 0 20 0 2 0 276469186 87207936 8042 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21291 8042 194 432 0 20856 0
[pid=19666/tid=19668] ppid=19664 vsize=85164 CPUtime=51.07 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 7241 0 0 0 5104 3 0 0 20 0 2 0 276469187 87207936 8042 33554432000 4194304 5963574 140737261781824 139678300452856 4399468 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85164
[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 19669
/proc/meminfo: memFree=26783020/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=85404 CPUtime=102.28 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 13845 0 0 0 10223 5 0 0 20 0 2 0 276469186 87453696 13656 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 21351 13656 194 432 0 20916 0
[pid=19666/tid=19668] ppid=19664 vsize=85404 CPUtime=102.28 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 12856 0 0 0 10221 7 0 0 20 0 2 0 276469187 87453696 13656 33554432000 4194304 5963574 140737261781824 139678300452664 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 85404
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19669
/proc/meminfo: memFree=26637784/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=151424 CPUtime=162.27 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 19544 0 0 0 16217 10 0 0 20 0 2 0 276469186 155058176 19353 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 37856 19353 194 432 0 37421 0
[pid=19666/tid=19668] ppid=19664 vsize=151424 CPUtime=162.27 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 18555 0 0 0 16215 12 0 0 20 0 2 0 276469187 155058176 19353 33554432000 4194304 5963574 140737261781824 139678300452664 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 151424
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19669
/proc/meminfo: memFree=26485068/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=152392 CPUtime=222.25 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 24585 0 0 0 22212 13 0 0 20 0 2 0 276469186 156049408 24431 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 38098 24431 194 432 0 37663 0
[pid=19666/tid=19668] ppid=19664 vsize=152392 CPUtime=222.26 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 23596 0 0 0 22209 17 0 0 20 0 2 0 276469187 156049408 24431 33554432000 4194304 5963574 140737261781824 139678300452664 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 152392
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19669
/proc/meminfo: memFree=26326144/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=152752 CPUtime=282.2 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 29896 0 0 0 28203 17 0 0 20 0 2 0 276469186 156418048 30941 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 38188 30941 194 432 0 37753 0
[pid=19666/tid=19668] ppid=19664 vsize=152752 CPUtime=282.22 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 28907 0 0 0 28200 22 0 0 20 0 2 0 276469187 156418048 30941 33554432000 4194304 5963574 140737261781824 139678300452664 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 152752
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19670
/proc/meminfo: memFree=26176824/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=218288 CPUtime=342.19 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 34391 0 0 0 34198 21 0 0 20 0 2 0 276469186 223526912 35436 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 54572 35436 194 432 0 54137 0
[pid=19666/tid=19668] ppid=19664 vsize=218288 CPUtime=342.22 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 33402 0 0 0 34195 27 0 0 20 0 2 0 276469187 223526912 35436 33554432000 4194304 5963574 140737261781824 139678300452664 4399477 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 218288
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19674
/proc/meminfo: memFree=26026432/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=218772 CPUtime=402.18 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 38337 0 0 0 40193 25 0 0 20 0 2 0 276469186 224022528 39382 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 54693 39382 194 432 0 54258 0
[pid=19666/tid=19668] ppid=19664 vsize=218772 CPUtime=402.22 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 37348 0 0 0 40190 32 0 0 20 0 2 0 276469187 224022528 39382 33554432000 4194304 5963574 140737261781824 139678300452856 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 218772
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19674
/proc/meminfo: memFree=25839360/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=284308 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
/proc/19666/statm: 86706 67543 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1302.17 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 66171 0 0 0 130150 67 0 0 20 0 2 0 276469187 355147776 67543 33554432000 4194304 5963574 140737261781824 139678300452664 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 346824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25232964/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1361.99 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 69157 0 0 0 136151 48 0 0 20 0 2 0 276469186 355147776 69540 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 69540 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1362.16 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 68168 0 0 0 136147 69 0 0 20 0 2 0 276469187 355147776 69540 33554432000 4194304 5963574 140737261781824 139678300452904 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 346824
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25219104/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1421.99 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 72661 0 0 0 142147 52 0 0 20 0 2 0 276469186 355147776 73041 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 73041 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1422.16 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 71672 0 0 0 142142 74 0 0 20 0 2 0 276469187 355147776 73041 33554432000 4194304 5963574 140737261781824 139678300452856 4378768 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 346824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25208096/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1481.97 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 75484 0 0 0 148142 55 0 0 20 0 2 0 276469186 355147776 75862 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 75862 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1482.16 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 74495 0 0 0 148138 78 0 0 20 0 2 0 276469187 355147776 75862 33554432000 4194304 5963574 140737261781824 139678300452856 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 346824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19681
/proc/meminfo: memFree=25080160/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1541.96 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 80503 0 0 0 154137 59 0 0 20 0 2 0 276469186 355147776 80878 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 80878 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1542.16 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 79514 0 0 0 154133 83 0 0 20 0 2 0 276469187 355147776 80878 33554432000 4194304 5963574 140737261781824 139678300452904 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 346824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19685
/proc/meminfo: memFree=24940156/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1601.95 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 80643 0 0 0 160136 59 0 0 20 0 2 0 276469186 355147776 81018 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 81018 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1602.15 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 79654 0 0 0 160131 84 0 0 20 0 2 0 276469187 355147776 81018 33554432000 4194304 5963574 140737261781824 139678300452904 4399474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 346824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24790620/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=346824 CPUtime=1661.94 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 82040 0 0 0 166134 60 0 0 20 0 2 0 276469186 355147776 82415 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 86706 82415 194 432 0 86271 0
[pid=19666/tid=19668] ppid=19664 vsize=346824 CPUtime=1662.15 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 81051 0 0 0 166129 86 0 0 20 0 2 0 276469187 355147776 82415 33554432000 4194304 5963574 140737261781824 139678300452904 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 346824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19685
/proc/meminfo: memFree=24707540/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1721.94 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 84793 0 0 0 172130 64 0 0 20 0 2 0 276469186 422256640 85167 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 85167 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1722.15 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 83804 0 0 0 172125 90 0 0 20 0 2 0 276469187 422256640 85167 33554432000 4194304 5963574 140737261781824 139678300452664 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 412360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26763152/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1781.9 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 88619 0 0 0 178122 68 0 0 20 0 2 0 276469186 422256640 89135 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 89135 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1782.13 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 87630 0 0 0 178117 96 0 0 20 0 2 0 276469187 422256640 89135 33554432000 4194304 5963574 140737261781824 139678300452904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 412360
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26748504/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1791.5 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 89395 0 0 0 179081 69 0 0 20 0 2 0 276469186 422256640 90054 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90054 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1791.73 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 88406 0 0 0 179076 97 0 0 20 0 2 0 276469187 422256640 90054 33554432000 4194304 5963574 140737261781824 139678300452856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 412360
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26747016/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1794.7 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 89653 0 0 0 179401 69 0 0 20 0 2 0 276469186 422256640 90311 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90311 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1794.93 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 88664 0 0 0 179396 97 0 0 20 0 2 0 276469187 422256640 90311 33554432000 4194304 5963574 140737261781824 139678300452856 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 412360
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26746132/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1797.89 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 89906 0 0 0 179719 70 0 0 20 0 2 0 276469186 422256640 90654 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90654 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1798.11 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 88917 0 0 0 179713 98 0 0 20 0 2 0 276469187 422256640 90654 33554432000 4194304 5963574 140737261781824 139678300452856 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 412360
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26745760/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1798.69 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 89966 0 0 0 179799 70 0 0 20 0 2 0 276469186 422256640 90714 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90714 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1798.91 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 88977 0 0 0 179793 98 0 0 20 0 2 0 276469187 422256640 90714 33554432000 4194304 5963574 140737261781824 139678300452856 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 412360
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26745388/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1799.09 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 89996 0 0 0 179839 70 0 0 20 0 2 0 276469186 422256640 90744 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90744 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1799.32 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 89007 0 0 0 179834 98 0 0 20 0 2 0 276469187 422256640 90744 33554432000 4194304 5963574 140737261781824 139678300452856 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 412360
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26745388/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=412360 CPUtime=1799.48 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) S 19664 19666 16852 0 -1 4202496 90041 0 0 0 179878 70 0 0 20 0 2 0 276469186 422256640 90789 33554432000 4194304 5963574 140737261781824 140737261781344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 103090 90789 194 432 0 102655 0
[pid=19666/tid=19668] ppid=19664 vsize=412360 CPUtime=1799.71 cores=0,2,4,6
/proc/19666/task/19668/stat : 19668 (wbo1.7) R 19664 19666 16852 0 -1 4202560 89052 0 0 0 179873 98 0 0 20 0 2 0 276469187 422256640 90789 33554432000 4194304 5963574 140737261781824 139678300452664 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 412360
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19736
/proc/meminfo: memFree=26745388/32873844 swapFree=6088/6088
[pid=19666] ppid=19664 vsize=0 CPUtime=1799.83 cores=0,2,4,6
/proc/19666/stat : 19666 (wbo1.7) R 19664 19666 16852 0 -1 4203524 90043 0 0 0 179884 99 0 0 20 0 1 0 276469186 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19666/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.85
CPU user time (s): 1798.85
CPU system time (s): 0.998848
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 412360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 0.998848
maximum resident set size= 363164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90043
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= 133
involuntary context switches= 2138
runsolver used 2.87756 second user time and 8.93964 second system time
The end