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-3713009-1338205579/watcher-3713009-1338205579 -o /tmp/evaluation-result-3713009-1338205579/solver-3713009-1338205579 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713009-1338205579.wbo
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: 1.92 1.98 1.99 3/177 13515
/proc/meminfo: memFree=28568308/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=4768 CPUtime=0 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) R 13513 13515 12215 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 286682971 4882432 450 33554432000 4194304 5964318 140733697154384 140733697152632 4395170 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 1192 451 171 433 0 520 0
[startup+0.0711839 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13515
/proc/meminfo: memFree=28568308/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=11920 CPUtime=0.06 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) R 13513 13515 12215 0 -1 4202496 2310 0 0 0 6 0 0 0 20 0 1 0 286682971 12206080 2263 33554432000 4194304 5964318 140733697154384 140733697152632 5136394 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 2980 2264 387 433 0 2308 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11920
[startup+0.100252 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13515
/proc/meminfo: memFree=28568308/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94928 CPUtime=0.09 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 4801 0 0 0 9 0 0 0 20 0 2 0 286682971 97206272 4518 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23732 4518 180 433 0 23296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 94928
[startup+0.300172 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13515
/proc/meminfo: memFree=28568308/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94928 CPUtime=0.28 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 4874 0 0 0 28 0 0 0 20 0 2 0 286682971 97206272 4591 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23732 4591 181 433 0 23296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94928
[startup+0.700111 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13515
/proc/meminfo: memFree=28568308/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94740 CPUtime=0.69 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 7319 0 0 0 68 1 0 0 20 0 2 0 286682971 97013760 6081 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23685 6081 197 433 0 23249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94740
[startup+1.50033 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28543252/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94740 CPUtime=1.48 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 8670 0 0 0 146 2 0 0 20 0 2 0 286682971 97013760 7432 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23685 7432 197 433 0 23249 0
[pid=13515/tid=13517] ppid=13513 vsize=94740 CPUtime=1.4 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 5839 0 0 0 138 2 0 0 20 0 2 0 286682979 97013760 7432 33554432000 4194304 5964318 140733697154384 140572420896760 5136324 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) 94740
[startup+3.10035 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28535300/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94740 CPUtime=3.09 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 11467 0 0 0 306 3 0 0 20 0 2 0 286682971 97013760 10229 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23685 10229 197 433 0 23249 0
[pid=13515/tid=13517] ppid=13513 vsize=94740 CPUtime=3 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 8636 0 0 0 298 2 0 0 20 0 2 0 286682979 97013760 10229 33554432000 4194304 5964318 140733697154384 140572420896760 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94740
[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28512484/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=94740 CPUtime=6.29 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 17054 0 0 0 625 4 0 0 20 0 2 0 286682971 97013760 15816 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 23685 15816 197 433 0 23249 0
[pid=13515/tid=13517] ppid=13513 vsize=94740 CPUtime=6.19 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 14223 0 0 0 616 3 0 0 20 0 2 0 286682979 97013760 15816 33554432000 4194304 5964318 140733697154384 140572420896760 4222474 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) 94740
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28468412/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=160276 CPUtime=12.68 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 27403 0 0 0 1261 7 0 0 20 0 2 0 286682971 164122624 26165 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 40069 26165 197 433 0 39633 0
[pid=13515/tid=13517] ppid=13513 vsize=160276 CPUtime=12.57 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 24572 0 0 0 1251 6 0 0 20 0 2 0 286682979 164122624 26165 33554432000 4194304 5964318 140733697154384 140572420896760 4382161 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160276
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28442668/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=158004 CPUtime=25.48 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 33774 0 0 0 2539 9 0 0 20 0 2 0 286682971 161796096 31536 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 39501 31536 201 433 0 39065 0
[pid=13515/tid=13517] ppid=13513 vsize=158004 CPUtime=25.34 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 30943 0 0 0 2526 8 0 0 20 0 2 0 286682979 161796096 31536 33554432000 4194304 5964318 140733697154384 140572420897720 4400423 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158004
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 13517
/proc/meminfo: memFree=28402180/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=223540 CPUtime=51.07 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 45833 0 0 0 5095 12 0 0 20 0 2 0 286682971 228904960 43088 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 55885 43088 201 433 0 55449 0
[pid=13515/tid=13517] ppid=13513 vsize=223540 CPUtime=50.87 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 43002 0 0 0 5075 12 0 0 20 0 2 0 286682979 228904960 43088 33554432000 4194304 5964318 140733697154384 140572420896760 4400001 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) 223540
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 13557
/proc/meminfo: memFree=28570508/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=353168 CPUtime=102.27 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 71088 0 0 0 10207 20 0 0 20 0 2 0 286682971 361644032 68057 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 88292 68057 201 433 0 87856 0
[pid=13515/tid=13517] ppid=13513 vsize=353168 CPUtime=101.95 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 68257 0 0 0 10174 21 0 0 20 0 2 0 286682979 361644032 68057 33554432000 4194304 5964318 140733697154384 140572420897128 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 353168
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13557
/proc/meminfo: memFree=28527244/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=353168 CPUtime=162.24 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 71208 0 0 0 16203 21 0 0 20 0 2 0 286682971 361644032 68175 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 88292 68175 201 433 0 87856 0
[pid=13515/tid=13517] ppid=13513 vsize=353168 CPUtime=161.77 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 68377 0 0 0 16155 22 0 0 20 0 2 0 286682979 361644032 68175 33554432000 4194304 5964318 140733697154384 140572420897304 4387855 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 353168
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13557
/proc/meminfo: memFree=28393908/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=422772 CPUtime=222.2 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 99844 0 0 0 22190 30 0 0 20 0 2 0 286682971 432918528 96522 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 105693 96522 201 433 0 105257 0
[pid=13515/tid=13517] ppid=13513 vsize=422772 CPUtime=221.59 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 97013 0 0 0 22127 32 0 0 20 0 2 0 286682979 432918528 96522 33554432000 4194304 5964318 140733697154384 140572420897096 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 422772
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 13560
/proc/meminfo: memFree=28389540/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=418444 CPUtime=282.17 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 99947 0 0 0 28187 30 0 0 20 0 2 0 286682971 428486656 95671 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 104611 95671 201 433 0 104175 0
[pid=13515/tid=13517] ppid=13513 vsize=418444 CPUtime=281.41 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 97116 0 0 0 28107 34 0 0 20 0 2 0 286682979 428486656 95671 33554432000 4194304 5964318 140733697154384 140572420897720 4392716 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 418444
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 13560
/proc/meminfo: memFree=28384832/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=418444 CPUtime=342.16 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 100001 0 0 0 34186 30 0 0 20 0 2 0 286682971 428486656 95717 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 104611 95717 201 433 0 104175 0
[pid=13515/tid=13517] ppid=13513 vsize=418444 CPUtime=341.25 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 97170 0 0 0 34090 35 0 0 20 0 2 0 286682979 428486656 95717 33554432000 4194304 5964318 140733697154384 140572420897720 4400001 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) 418444
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13561
/proc/meminfo: memFree=28307916/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=483980 CPUtime=402.13 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 116215 0 0 0 40179 34 0 0 20 0 2 0 286682971 495595520 111911 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 120995 111911 201 433 0 120559 0
[pid=13515/tid=13517] ppid=13513 vsize=483980 CPUtime=401.08 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 113384 0 0 0 40068 40 0 0 20 0 2 0 286682979 495595520 111911 33554432000 4194304 5964318 140733697154384 140572420897112 4399995 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) 483980
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13561
/proc/meminfo: memFree=28306864/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=483980 CPUtime=462.11 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13590
/proc/meminfo: memFree=27598512/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1421.85 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296944 0 0 0 142084 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1418.34 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294113 0 0 0 141713 121 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4392701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1139340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13593
/proc/meminfo: memFree=27597788/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1481.84 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 148083 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1478.17 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 147695 122 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1139340
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13593
/proc/meminfo: memFree=27591472/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1541.83 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 154082 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1538.02 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 153679 123 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1139340
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13594
/proc/meminfo: memFree=27583784/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1601.82 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 160081 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1597.87 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 159663 124 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4399819 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1139340
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13594
/proc/meminfo: memFree=27563448/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1661.81 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 166080 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1657.71 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 165646 125 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1139340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27559852/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1721.8 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 172079 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1717.56 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 171630 126 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1139340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27548692/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1781.79 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 178078 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1777.41 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 177614 127 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1139340
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 13594
/proc/meminfo: memFree=27548940/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1791.39 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 296948 0 0 0 179038 101 0 0 20 0 2 0 286682971 1166684160 276898 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 276898 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1786.99 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 294117 0 0 0 178572 127 0 0 20 0 2 0 286682979 1166684160 276898 33554432000 4194304 5964318 140733697154384 140572420897096 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 1139340
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27543112/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1794.59 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 298427 0 0 0 179357 102 0 0 20 0 2 0 286682971 1166684160 278377 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 278377 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1790.18 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 295596 0 0 0 178890 128 0 0 20 0 2 0 286682979 1166684160 278377 33554432000 4194304 5964318 140733697154384 140572420896760 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1139340
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27536044/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1797.79 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 300782 0 0 0 179676 103 0 0 20 0 2 0 286682971 1166684160 280732 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 280732 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1793.37 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 297951 0 0 0 179208 129 0 0 20 0 2 0 286682979 1166684160 280732 33554432000 4194304 5964318 140733697154384 140572420896760 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 1139340
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27533688/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1139340 CPUtime=1798.58 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 301312 0 0 0 179755 103 0 0 20 0 2 0 286682971 1166684160 281262 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 284835 281266 201 433 0 284399 0
[pid=13515/tid=13517] ppid=13513 vsize=1139340 CPUtime=1794.16 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 298485 0 0 0 179287 129 0 0 20 0 2 0 286682979 1166684160 281266 33554432000 4194304 5964318 140733697154384 140572420896760 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 1139340
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27530340/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1204876 CPUtime=1798.99 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 301616 0 0 0 179796 103 0 0 20 0 2 0 286682971 1233793024 281566 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 301219 281566 201 433 0 300783 0
[pid=13515/tid=13517] ppid=13513 vsize=1204876 CPUtime=1794.57 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 298785 0 0 0 179327 130 0 0 20 0 2 0 286682979 1233793024 281566 33554432000 4194304 5964318 140733697154384 140572420896760 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 1204876
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27530340/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1204876 CPUtime=1799.38 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 301932 0 0 0 179835 103 0 0 20 0 2 0 286682971 1233793024 281882 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 301219 281882 201 433 0 300783 0
[pid=13515/tid=13517] ppid=13513 vsize=1204876 CPUtime=1794.96 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 299105 0 0 0 179366 130 0 0 20 0 2 0 286682979 1233793024 281886 33554432000 4194304 5964318 140733697154384 140572420896760 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 1204876
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13594
/proc/meminfo: memFree=27530340/32873844 swapFree=7116/7116
[pid=13515] ppid=13513 vsize=1204876 CPUtime=1799.48 cores=1,3,5,7
/proc/13515/stat : 13515 (wbo1.71) S 13513 13515 12215 0 -1 4202496 302019 0 0 0 179845 103 0 0 20 0 2 0 286682971 1233793024 281969 33554432000 4194304 5964318 140733697154384 140733697153904 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13515/statm: 301219 281969 201 433 0 300783 0
[pid=13515/tid=13517] ppid=13513 vsize=1204876 CPUtime=1795.06 cores=1,3,5,7
/proc/13515/task/13517/stat : 13517 (wbo1.71) R 13513 13515 12215 0 -1 4202560 299188 0 0 0 179376 130 0 0 20 0 2 0 286682979 1233793024 281969 33554432000 4194304 5964318 140733697154384 140572420896760 4399842 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1204876
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13515 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=836295
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=323798
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.48
#
# 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.48
CPU user time (s): 1798.45
CPU system time (s): 1.03
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1204876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.84
system time used= 1.3238
maximum resident set size= 1127884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302021
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= 326
involuntary context switches= 1864
runsolver used 6.66299 second user time and 8.57869 second system time
The end