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-3705545-1338113224/watcher-3705545-1338113224 -o /tmp/evaluation-result-3705545-1338113224/solver-3705545-1338113224 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705545-1338113224.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25660
/proc/meminfo: memFree=27140664/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=52596 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 277449769 53858304 512 33554432000 4194304 5963574 140734115324624 140733206749512 4394942 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 13149 514 159 432 0 634 0
[startup+0.090078 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25660
/proc/meminfo: memFree=27140664/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=55760 CPUtime=0.08 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 1592 0 0 0 8 0 0 0 20 0 1 0 277449769 57098240 1545 33554432000 4194304 5963574 140734115324624 140734115322568 4344432 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 13940 1545 457 432 0 1425 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 55760
[startup+0.10028 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25660
/proc/meminfo: memFree=27140664/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=55892 CPUtime=0.09 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 1654 0 0 0 9 0 0 0 20 0 1 0 277449769 57233408 1607 33554432000 4194304 5963574 140734115324624 140734115322568 4344320 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 13973 1607 494 432 0 1458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55892
[startup+0.300226 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25660
/proc/meminfo: memFree=27140664/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=57752 CPUtime=0.29 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 2805 0 0 0 29 0 0 0 20 0 1 0 277449769 59138048 2758 33554432000 4194304 5963574 140734115324624 140734115323224 4344320 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 14438 2758 1207 432 0 1923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57752
[startup+0.700225 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25660
/proc/meminfo: memFree=27140664/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=61252 CPUtime=0.69 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 5108 0 0 0 69 0 0 0 20 0 1 0 277449769 62722048 5061 33554432000 4194304 5963574 140734115324624 140734115323224 5135642 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 15313 5061 2634 432 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61252
[startup+1.50023 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25661
/proc/meminfo: memFree=27127900/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=68308 CPUtime=1.48 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 9711 0 0 0 148 0 0 0 20 0 1 0 277449769 69947392 9664 33554432000 4194304 5963574 140734115324624 140734115323352 4343827 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 17077 9664 5489 432 0 4562 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 68308
[startup+3.10021 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25661
/proc/meminfo: memFree=27117484/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=82068 CPUtime=3.09 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) R 25658 25660 22359 0 -1 4202496 18921 0 0 0 308 1 0 0 20 0 1 0 277449769 84037632 18841 33554432000 4194304 5963574 140734115324624 140734115323224 4344320 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 20517 18842 11227 432 0 8002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82068
[startup+6.30033 s]
/proc/loadavg: 2.15 2.03 2.01 3/179 25662
/proc/meminfo: memFree=27044736/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=115048 CPUtime=6.29 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 36744 0 0 0 624 5 0 0 20 0 2 0 277449769 117809152 23250 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 28762 23250 188 432 0 28327 0
[pid=25660/tid=25662] ppid=25658 vsize=115048 CPUtime=2.89 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 15858 0 0 0 286 3 0 0 20 0 2 0 277450108 117809152 23250 33554432000 4194304 5963574 140734115324624 139918540200472 4429453 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) 115048
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 25662
/proc/meminfo: memFree=27040296/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=115048 CPUtime=12.68 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 38387 0 0 0 1263 5 0 0 20 0 2 0 277449769 117809152 23980 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 28762 23980 192 432 0 28327 0
[pid=25660/tid=25662] ppid=25658 vsize=115048 CPUtime=9.27 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 17501 0 0 0 924 3 0 0 20 0 2 0 277450108 117809152 23980 33554432000 4194304 5963574 140734115324624 139918540200344 4221120 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) 115048
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 25662
/proc/meminfo: memFree=27009800/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=182512 CPUtime=25.48 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 44871 0 0 0 2542 6 0 0 20 0 2 0 277449769 186892288 30167 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 45628 30167 192 432 0 45193 0
[pid=25660/tid=25662] ppid=25658 vsize=182512 CPUtime=22.04 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 23985 0 0 0 2200 4 0 0 20 0 2 0 277450108 186892288 30167 33554432000 4194304 5963574 140734115324624 139918540200296 4392274 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) 182512
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 25662
/proc/meminfo: memFree=26973428/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=182512 CPUtime=51.08 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 50895 0 0 0 5099 9 0 0 20 0 2 0 277449769 186892288 36191 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 45628 36191 192 432 0 45193 0
[pid=25660/tid=25662] ppid=25658 vsize=182512 CPUtime=47.57 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 30009 0 0 0 4751 6 0 0 20 0 2 0 277450108 186892288 36191 33554432000 4194304 5963574 140734115324624 139918540199736 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182512
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 25662
/proc/meminfo: memFree=26882352/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=248048 CPUtime=102.28 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 68338 0 0 0 10212 16 0 0 20 0 2 0 277449769 254001152 53632 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 62012 53632 192 432 0 61577 0
[pid=25660/tid=25662] ppid=25658 vsize=248048 CPUtime=98.65 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 47452 0 0 0 9851 14 0 0 20 0 2 0 277450108 254001152 53632 33554432000 4194304 5963574 140734115324624 139918540199928 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 248048
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 25662
/proc/meminfo: memFree=26775152/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=380204 CPUtime=162.27 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 92089 0 0 0 16200 27 0 0 20 0 2 0 277449769 389328896 77376 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 95051 77376 192 432 0 94616 0
[pid=25660/tid=25662] ppid=25658 vsize=380204 CPUtime=158.48 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 71203 0 0 0 15821 27 0 0 20 0 2 0 277450108 389328896 77376 33554432000 4194304 5963574 140734115324624 139918540199736 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 380204
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25704
/proc/meminfo: memFree=27115860/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=380204 CPUtime=222.25 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 99519 0 0 0 22197 28 0 0 20 0 2 0 277449769 389328896 84823 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 95051 84823 192 432 0 94616 0
[pid=25660/tid=25662] ppid=25658 vsize=380204 CPUtime=218.32 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 78633 0 0 0 21803 29 0 0 20 0 2 0 277450108 389328896 84823 33554432000 4194304 5963574 140734115324624 139918540199976 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 380204
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25704
/proc/meminfo: memFree=27005288/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=445740 CPUtime=282.22 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 115485 0 0 0 28190 32 0 0 20 0 2 0 277449769 456437760 100808 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 111435 100808 192 432 0 111000 0
[pid=25660/tid=25662] ppid=25658 vsize=445740 CPUtime=278.15 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 94599 0 0 0 27781 34 0 0 20 0 2 0 277450108 456437760 100808 33554432000 4194304 5963574 140734115324624 139918540199928 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 445740
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25705
/proc/meminfo: memFree=26805924/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=576812 CPUtime=342.19 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 152579 0 0 0 34179 40 0 0 20 0 2 0 277449769 590655488 138267 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 144203 138267 192 432 0 143768 0
[pid=25660/tid=25662] ppid=25658 vsize=576812 CPUtime=337.97 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 131693 0 0 0 33754 43 0 0 20 0 2 0 277450108 590655488 138267 33554432000 4194304 5963574 140734115324624 139918540199928 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 576812
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25705
/proc/meminfo: memFree=26633596/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=773960 CPUtime=402.15 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 191653 0 0 0 40164 51 0 0 20 0 2 0 277449769 792535040 177472 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 193490 177472 192 432 0 193055 0
[pid=25660/tid=25662] ppid=25658 vsize=773960 CPUtime=397.79 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 170767 0 0 0 39724 55 0 0 20 0 2 0 277450108 792535040 177472 33554432000 4194304 5963574 140734115324624 139918540199928 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 773960
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25705
/proc/meminfo: memFree=26514336/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=839496 CPUtime=462.13 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 205473 0 0 0 46157 56 0 0 20 0 2 0 277449769 859643904 191460 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 209874 191460 192 432 0 209439 0
[pid=25660/tid=25662] ppid=25658 vsize=839496 CPUtime=457.61 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 184587 0 0 0 45701 60 0 0 20 0 2 0 277450108 859643904 191460 33554432000 4194304 5963574 140734115324624 139918540199928 4388706 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 25714
/proc/meminfo: memFree=26342136/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1421.95 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235112 0 0 0 142128 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1415.07 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214226 0 0 0 141421 86 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4222464 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) 901480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25714
/proc/meminfo: memFree=26341712/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1481.94 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 148127 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1474.91 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 147404 87 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4403244 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 901480
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 25716
/proc/meminfo: memFree=26340276/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1541.93 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 154126 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1534.75 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 153387 88 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388696 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) 901480
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25716
/proc/meminfo: memFree=26332844/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1601.92 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 160125 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1594.6 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 159371 89 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388706 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) 901480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26315236/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1661.91 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 166124 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1654.44 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 165354 90 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4399451 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) 901480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26302840/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1721.9 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 172123 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1714.28 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 171337 91 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4222464 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) 901480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291716/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1781.89 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 178122 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1774.13 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 177322 91 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388636 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) 901480
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 25716
/proc/meminfo: memFree=26291452/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1791.5 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179083 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1783.71 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 178279 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388683 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) 901480
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291700/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1794.7 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179403 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1786.9 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 178598 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388608 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 901480
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291700/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1797.89 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179722 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1790.08 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 178916 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4222464 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) 901480
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291824/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1798.69 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179802 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1790.88 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 178996 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388608 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) 901480
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291312/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1799.1 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179843 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1791.29 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 179037 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 901480
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291312/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1799.49 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179882 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1791.68 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 179076 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388696 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) 901480
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=26291312/32873648 swapFree=6336/6336
[pid=25660] ppid=25658 vsize=901480 CPUtime=1799.59 cores=1,3,5,7
/proc/25660/stat : 25660 (wbo1.7) S 25658 25660 22359 0 -1 4202496 235113 0 0 0 179892 67 0 0 20 0 2 0 277449769 923115520 208879 33554432000 4194304 5963574 140734115324624 140734115324144 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 225370 208879 192 432 0 224935 0
[pid=25660/tid=25662] ppid=25658 vsize=901480 CPUtime=1791.78 cores=1,3,5,7
/proc/25660/task/25662/stat : 25662 (wbo1.7) R 25658 25660 22359 0 -1 4202560 214227 0 0 0 179086 92 0 0 20 0 2 0 277450108 923115520 208879 33554432000 4194304 5963574 140734115324624 139918540199928 4388715 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) 901480
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25660 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=258231
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=955854
# CPU time returned by wait4() is 1795.21
# 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.03
CPU time (s): 1799.59
CPU user time (s): 1798.92
CPU system time (s): 0.67
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 901480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 0.955854
maximum resident set size= 835516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235113
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= 196
involuntary context switches= 1914
runsolver used 2.71959 second user time and 7.10292 second system time
The end