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-3726696-1339017767/watcher-3726696-1339017767 -o /tmp/evaluation-result-3726696-1339017767/solver-3726696-1339017767 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726696-1339017767.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: 0.16 0.03 0.01 3/175 1301
/proc/meminfo: memFree=28655544/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/1301/stat : 1301 (runsolver) D 1296 1301 1257 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 367903575 12095488 561 33554432000 4194304 5436572 140733214148992 140733214145288 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/1301/statm: 2953 561 31 304 0 2645 0
[startup+0.0509719 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 1301
/proc/meminfo: memFree=28655544/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=9456 CPUtime=0.03 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) R 1296 1301 1257 0 -1 4202496 1611 0 0 0 3 0 0 0 20 0 1 0 367903575 9682944 1563 33554432000 4194304 5964478 140735822681680 140733214144872 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 2364 1563 287 433 0 1650 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9456
[startup+0.100187 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 1301
/proc/meminfo: memFree=28655544/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92452 CPUtime=0.08 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 3671 0 0 0 8 0 0 0 20 0 2 0 367903575 94670848 3345 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23113 3345 176 433 0 22677 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 92452
[startup+0.300146 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 1301
/proc/meminfo: memFree=28655544/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=0.29 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 5375 0 0 0 28 1 0 0 20 0 2 0 367903575 94638080 4604 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 4604 186 433 0 22669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92420
[startup+0.700119 s]
/proc/loadavg: 0.16 0.03 0.01 3/175 1301
/proc/meminfo: memFree=28655544/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=0.68 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 5677 0 0 0 67 1 0 0 20 0 2 0 367903575 94638080 4906 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 4906 186 433 0 22669 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92420
[startup+1.50022 s]
/proc/loadavg: 0.16 0.03 0.01 4/179 1305
/proc/meminfo: memFree=28616040/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=1.48 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 6342 0 0 0 147 1 0 0 20 0 2 0 367903575 94638080 5571 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 5571 186 433 0 22669 0
[pid=1301/tid=1304] ppid=1296 vsize=92420 CPUtime=1.38 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 3629 0 0 0 137 1 0 0 20 0 2 0 367903584 94638080 5571 33554432000 4194304 5964478 140735822681680 140348056971256 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92420
[startup+3.10021 s]
/proc/loadavg: 0.16 0.03 0.01 4/179 1305
/proc/meminfo: memFree=28608352/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=3.08 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 7631 0 0 0 306 2 0 0 20 0 2 0 367903575 94638080 6860 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 6860 186 433 0 22669 0
[pid=1301/tid=1304] ppid=1296 vsize=92420 CPUtime=2.98 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 4918 0 0 0 297 1 0 0 20 0 2 0 367903584 94638080 6860 33554432000 4194304 5964478 140735822681680 140348056971304 4399920 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) 92420
[startup+6.30023 s]
/proc/loadavg: 0.31 0.07 0.02 4/179 1305
/proc/meminfo: memFree=28592616/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=6.27 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 9048 0 0 0 625 2 0 0 20 0 2 0 367903575 94638080 8277 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 8277 186 433 0 22669 0
[pid=1301/tid=1304] ppid=1296 vsize=92420 CPUtime=6.17 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 6335 0 0 0 615 2 0 0 20 0 2 0 367903584 94638080 8277 33554432000 4194304 5964478 140735822681680 140348056971256 4381664 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 92420
[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 4/179 1305
/proc/meminfo: memFree=28568004/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=12.68 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 12507 0 0 0 1264 4 0 0 20 0 2 0 367903575 94638080 11736 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 11736 186 433 0 22669 0
[pid=1301/tid=1304] ppid=1296 vsize=92420 CPUtime=12.55 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 9794 0 0 0 1252 3 0 0 20 0 2 0 367903584 94638080 11736 33554432000 4194304 5964478 140735822681680 140348056971256 4389160 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) 92420
[startup+25.5003 s]
/proc/loadavg: 0.79 0.19 0.06 4/179 1305
/proc/meminfo: memFree=28538868/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=92420 CPUtime=25.47 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 15781 0 0 0 2543 4 0 0 20 0 2 0 367903575 94638080 15010 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 23105 15010 186 433 0 22669 0
[pid=1301/tid=1304] ppid=1296 vsize=92420 CPUtime=25.32 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 13068 0 0 0 2528 4 0 0 20 0 2 0 367903584 94638080 15010 33554432000 4194304 5964478 140735822681680 140348056971256 4389160 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) 92420
[startup+51.1002 s]
/proc/loadavg: 1.20 0.33 0.11 4/179 1305
/proc/meminfo: memFree=28490648/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=157956 CPUtime=51.07 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 23483 0 0 0 5100 7 0 0 20 0 2 0 367903575 161746944 22712 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 39489 22712 186 433 0 39053 0
[pid=1301/tid=1304] ppid=1296 vsize=157956 CPUtime=50.85 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 20770 0 0 0 5079 6 0 0 20 0 2 0 367903584 161746944 22712 33554432000 4194304 5964478 140735822681680 140348056971256 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 157956
[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 4/179 1305
/proc/meminfo: memFree=28397388/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=158680 CPUtime=102.25 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 33829 0 0 0 10215 10 0 0 20 0 2 0 367903575 162488320 33273 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 39670 33273 186 433 0 39234 0
[pid=1301/tid=1304] ppid=1296 vsize=158680 CPUtime=101.91 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 31116 0 0 0 10181 10 0 0 20 0 2 0 367903584 162488320 33273 33554432000 4194304 5964478 140735822681680 140348056971304 4403309 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 158680
[startup+162.3 s]
/proc/loadavg: 1.94 0.86 0.32 4/179 1305
/proc/meminfo: memFree=28309136/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=224576 CPUtime=162.21 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 44171 0 0 0 16207 14 0 0 20 0 2 0 367903575 229965824 43584 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 56144 43584 186 433 0 55708 0
[pid=1301/tid=1304] ppid=1296 vsize=224576 CPUtime=161.72 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 41458 0 0 0 16157 15 0 0 20 0 2 0 367903584 229965824 43584 33554432000 4194304 5964478 140735822681680 140348056971064 4400083 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 224576
[startup+222.3 s]
/proc/loadavg: 1.98 1.06 0.43 4/179 1305
/proc/meminfo: memFree=28262952/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=224576 CPUtime=222.19 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 48742 0 0 0 22204 15 0 0 20 0 2 0 367903575 229965824 49043 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 56144 49043 186 433 0 55708 0
[pid=1301/tid=1304] ppid=1296 vsize=224576 CPUtime=221.57 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 46029 0 0 0 22140 17 0 0 20 0 2 0 367903584 229965824 49043 33554432000 4194304 5964478 140735822681680 140348056971256 4381664 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 224576
[startup+282.3 s]
/proc/loadavg: 1.99 1.23 0.52 4/179 1305
/proc/meminfo: memFree=28202064/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=224576 CPUtime=282.19 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 50903 0 0 0 28203 16 0 0 20 0 2 0 367903575 229965824 51204 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 56144 51204 186 433 0 55708 0
[pid=1301/tid=1304] ppid=1296 vsize=224576 CPUtime=281.42 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 48190 0 0 0 28123 19 0 0 20 0 2 0 367903584 229965824 51204 33554432000 4194304 5964478 140735822681680 140348056971256 4381960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 224576
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 4/179 1306
/proc/meminfo: memFree=28098664/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=290112 CPUtime=342.16 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 64151 0 0 0 34195 21 0 0 20 0 2 0 367903575 297074688 64446 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 72528 64446 186 433 0 72092 0
[pid=1301/tid=1304] ppid=1296 vsize=290112 CPUtime=341.25 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 61438 0 0 0 34100 25 0 0 20 0 2 0 367903584 297074688 64446 33554432000 4194304 5964478 140735822681680 140348056971256 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 290112
[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.69 4/179 1306
/proc/meminfo: memFree=28098732/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=290112 CPUtime=402.13 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 64178 0 0 0 40192 21 0 0 20 0 2 0 367903575 297074688 64455 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 72528 64455 186 433 0 72092 0
[pid=1301/tid=1304] ppid=1296 vsize=290112 CPUtime=401.07 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 61465 0 0 0 40081 26 0 0 20 0 2 0 367903584 297074688 64455 33554432000 4194304 5964478 140735822681680 140348056971256 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 290112
[startup+462.3 s]
/proc/loadavg: 2.09 1.60 0.78 4/180 1309
/proc/meminfo: memFree=28076156/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=355648 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 4/179 1316
/proc/meminfo: memFree=27708472/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=487260 CPUtime=1421.95 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 115065 0 0 0 142152 43 0 0 20 0 2 0 367903575 498954240 115482 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 121815 115482 186 433 0 121379 0
[pid=1301/tid=1304] ppid=1296 vsize=487260 CPUtime=1418.45 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 112352 0 0 0 141782 63 0 0 20 0 2 0 367903584 498954240 115482 33554432000 4194304 5964478 140735822681680 140348056971256 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 487260
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 4/179 1316
/proc/meminfo: memFree=27696448/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=487260 CPUtime=1481.93 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 118212 0 0 0 148147 46 0 0 20 0 2 0 367903575 498954240 118629 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 121815 118629 186 433 0 121379 0
[pid=1301/tid=1304] ppid=1296 vsize=487260 CPUtime=1478.29 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 115499 0 0 0 147761 68 0 0 20 0 2 0 367903584 498954240 118629 33554432000 4194304 5964478 140735822681680 140348056971064 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 487260
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 4/179 1317
/proc/meminfo: memFree=27679144/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1541.93 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 154143 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1538.14 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 153742 72 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4431883 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 552796
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 4/179 1317
/proc/meminfo: memFree=27674400/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1601.92 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 160142 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1597.99 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 159726 73 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 552796
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 4/180 1320
/proc/meminfo: memFree=27601076/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1661.91 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 166141 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1657.84 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 165710 74 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4431883 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 552796
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 4/179 1320
/proc/meminfo: memFree=27571948/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1721.9 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 172140 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1717.68 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 171693 75 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 552796
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1781.89 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 178139 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1777.53 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 177677 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 552796
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1791.5 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179100 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1787.11 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 178635 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 552796
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1794.69 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179419 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1790.31 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 178955 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4382019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 552796
[startup+1798.3 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1797.89 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179739 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1793.49 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 179273 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4400006 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 552796
[startup+1799.1 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1798.69 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179819 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1794.29 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 179353 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4381687 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 552796
[startup+1799.5 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1799.09 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179859 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1794.69 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 179393 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 552796
[startup+1799.9 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1799.49 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179899 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1795.09 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 179433 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 552796
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.68 4/179 1320
/proc/meminfo: memFree=27571576/32873648 swapFree=7376/7376
[pid=1301] ppid=1296 vsize=552796 CPUtime=1799.59 cores=1,3,5,7
/proc/1301/stat : 1301 (pwbo2.02) S 1296 1301 1257 0 -1 4202496 122253 0 0 0 179909 50 0 0 20 0 2 0 367903575 566063104 122670 33554432000 4194304 5964478 140735822681680 140735822681200 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1301/statm: 138199 122670 186 433 0 137763 0
[pid=1301/tid=1304] ppid=1296 vsize=552796 CPUtime=1795.19 cores=1,3,5,7
/proc/1301/task/1304/stat : 1304 (pwbo2.02) R 1296 1301 1257 0 -1 4202560 119540 0 0 0 179443 76 0 0 20 0 2 0 367903584 566063104 122670 33554432000 4194304 5964478 140735822681680 140348056971256 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 552796
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1301 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=529190
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=779881
# CPU time returned by wait4() is 1795.31
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.59
CPU user time (s): 1799.09
CPU system time (s): 0.5
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 552796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 0.779881
maximum resident set size= 490692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122256
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= 166
involuntary context switches= 1975
runsolver used 2.75258 second user time and 9.06962 second system time
The end