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-3712943-1338197151/watcher-3712943-1338197151 -o /tmp/evaluation-result-3712943-1338197151/solver-3712943-1338197151 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712943-1338197151.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: 2.03 2.01 1.93 2/171 18881
/proc/meminfo: memFree=30495496/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=3908 CPUtime=0 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) R 18879 18881 18639 0 -1 4202496 461 0 0 0 0 0 0 0 20 0 1 0 285841120 4001792 413 33554432000 4194304 5964318 140736406165568 140734437968728 4344563 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 977 413 167 433 0 529 0
[startup+0.0135361 s]
/proc/loadavg: 2.03 2.01 1.93 2/171 18881
/proc/meminfo: memFree=30495496/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84572 CPUtime=0.01 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 2 0 285841120 86601728 1237 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21143 1237 192 433 0 20707 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 84572
[startup+0.100217 s]
/proc/loadavg: 2.03 2.01 1.93 2/171 18881
/proc/meminfo: memFree=30495496/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84572 CPUtime=0.09 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 1545 0 0 0 9 0 0 0 20 0 2 0 285841120 86601728 1485 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21143 1485 194 433 0 20707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84572
[startup+0.300102 s]
/proc/loadavg: 2.03 2.01 1.93 2/171 18881
/proc/meminfo: memFree=30495496/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84572 CPUtime=0.29 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 2001 0 0 0 29 0 0 0 20 0 2 0 285841120 86601728 1941 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21143 1941 194 433 0 20707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84572
[startup+0.700099 s]
/proc/loadavg: 2.03 2.01 1.93 2/171 18881
/proc/meminfo: memFree=30495496/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84572 CPUtime=0.68 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 2833 0 0 0 68 0 0 0 20 0 2 0 285841120 86601728 2773 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21143 2773 194 433 0 20707 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84572
[startup+1.50012 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 18896
/proc/meminfo: memFree=30464464/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84572 CPUtime=1.49 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 4310 0 0 0 148 1 0 0 20 0 2 0 285841120 86601728 4250 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21143 4250 194 433 0 20707 0
[pid=18881/tid=18883] ppid=18879 vsize=84572 CPUtime=1.48 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 3382 0 0 0 146 2 0 0 20 0 2 0 285841121 86601728 4250 33554432000 4194304 5964318 140736406165568 140259380860920 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84572
[startup+3.10026 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 18896
/proc/meminfo: memFree=30448344/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84716 CPUtime=3.09 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 6145 0 0 0 307 2 0 0 20 0 2 0 285841120 86749184 6085 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21179 6085 194 433 0 20743 0
[pid=18881/tid=18883] ppid=18879 vsize=84716 CPUtime=3.08 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 5217 0 0 0 306 2 0 0 20 0 2 0 285841121 86749184 6085 33554432000 4194304 5964318 140736406165568 140259380860920 4381713 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) 84716
[startup+6.30021 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 18896
/proc/meminfo: memFree=30434240/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84716 CPUtime=6.29 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 7308 0 0 0 627 2 0 0 20 0 2 0 285841120 86749184 7248 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21179 7248 194 433 0 20743 0
[pid=18881/tid=18883] ppid=18879 vsize=84716 CPUtime=6.28 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 6380 0 0 0 625 3 0 0 20 0 2 0 285841121 86749184 7248 33554432000 4194304 5964318 140736406165568 140259380860920 4381910 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) 84716
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 18896
/proc/meminfo: memFree=30392856/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=84788 CPUtime=12.68 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 11834 0 0 0 1264 4 0 0 20 0 2 0 285841120 86822912 11784 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 21197 11784 194 433 0 20761 0
[pid=18881/tid=18883] ppid=18879 vsize=84788 CPUtime=12.67 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 10906 0 0 0 1263 4 0 0 20 0 2 0 285841121 86822912 11784 33554432000 4194304 5964318 140736406165568 140259380860920 5136324 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) 84788
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 18897
/proc/meminfo: memFree=30334848/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=150432 CPUtime=25.47 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 20883 0 0 0 2540 7 0 0 20 0 2 0 285841120 154042368 20826 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 37608 20826 194 433 0 37172 0
[pid=18881/tid=18883] ppid=18879 vsize=150432 CPUtime=25.47 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 19955 0 0 0 2539 8 0 0 20 0 2 0 285841121 154042368 20826 33554432000 4194304 5964318 140736406165568 140259380860920 4381606 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150432
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 18897
/proc/meminfo: memFree=30269588/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=150592 CPUtime=51.06 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 28227 0 0 0 5096 10 0 0 20 0 2 0 285841120 154206208 29010 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 37648 29010 194 433 0 37212 0
[pid=18881/tid=18883] ppid=18879 vsize=150592 CPUtime=51.06 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 27299 0 0 0 5095 11 0 0 20 0 2 0 285841121 154206208 29010 33554432000 4194304 5964318 140736406165568 140259380860728 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150592
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 18898
/proc/meminfo: memFree=30172964/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=216368 CPUtime=102.26 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 37977 0 0 0 10212 14 0 0 20 0 2 0 285841120 221560832 38760 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 54092 38760 194 433 0 53656 0
[pid=18881/tid=18883] ppid=18879 vsize=216368 CPUtime=102.26 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 37049 0 0 0 10210 16 0 0 20 0 2 0 285841121 221560832 38760 33554432000 4194304 5964318 140736406165568 140259380860920 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 216368
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18898
/proc/meminfo: memFree=29994464/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=282192 CPUtime=162.24 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 60944 0 0 0 16201 23 0 0 20 0 2 0 285841120 288964608 61729 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 70548 61729 194 433 0 70112 0
[pid=18881/tid=18883] ppid=18879 vsize=282192 CPUtime=162.25 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 60016 0 0 0 16199 26 0 0 20 0 2 0 285841121 288964608 61729 33554432000 4194304 5964318 140736406165568 140259380860920 4220672 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) 282192
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18898
/proc/meminfo: memFree=29940852/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=282192 CPUtime=222.21 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 65468 0 0 0 22196 25 0 0 20 0 2 0 285841120 288964608 66349 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 70548 66349 194 433 0 70112 0
[pid=18881/tid=18883] ppid=18879 vsize=282192 CPUtime=222.22 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 64540 0 0 0 22193 29 0 0 20 0 2 0 285841121 288964608 66349 33554432000 4194304 5964318 140736406165568 140259380860920 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 282192
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 18901
/proc/meminfo: memFree=29851128/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=348736 CPUtime=282.18 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 82723 0 0 0 28185 33 0 0 20 0 2 0 285841120 357105664 83609 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 87184 83609 194 433 0 86748 0
[pid=18881/tid=18883] ppid=18879 vsize=348736 CPUtime=282.2 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 81795 0 0 0 28182 38 0 0 20 0 2 0 285841121 357105664 83609 33554432000 4194304 5964318 140736406165568 140259380860920 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 348736
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18902
/proc/meminfo: memFree=29827104/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=348736 CPUtime=342.17 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 82738 0 0 0 34184 33 0 0 20 0 2 0 285841120 357105664 83425 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 87184 83425 194 433 0 86748 0
[pid=18881/tid=18883] ppid=18879 vsize=348736 CPUtime=342.2 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 81810 0 0 0 34181 39 0 0 20 0 2 0 285841121 357105664 83425 33554432000 4194304 5964318 140736406165568 140259380860952 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 348736
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18902
/proc/meminfo: memFree=29678224/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=414488 CPUtime=402.15 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 95615 0 0 0 40178 37 0 0 20 0 2 0 285841120 424435712 96302 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 103622 96302 194 433 0 103186 0
[pid=18881/tid=18883] ppid=18879 vsize=414488 CPUtime=402.2 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 94688 0 0 0 40176 44 0 0 20 0 2 0 285841121 424435712 96303 33554432000 4194304 5964318 140736406165568 140259380860920 5136324 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) 414488
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18902
/proc/meminfo: memFree=29621660/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=480744 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170072 0 0 0 130122 91 0 0 20 0 2 0 285841121 765620224 171600 33554432000 4194304 5964318 140736406165568 140259380860968 4381933 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 747676
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18908
/proc/meminfo: memFree=29056432/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=747748 CPUtime=1361.94 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 171034 0 0 0 136123 71 0 0 20 0 2 0 285841120 765693952 171634 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 186937 171634 194 433 0 186501 0
[pid=18881/tid=18883] ppid=18879 vsize=747748 CPUtime=1362.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170106 0 0 0 136120 92 0 0 20 0 2 0 285841121 765693952 171634 33554432000 4194304 5964318 140736406165568 140259380860968 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 747748
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 18908
/proc/meminfo: memFree=29056312/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=747748 CPUtime=1421.94 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 171034 0 0 0 142123 71 0 0 20 0 2 0 285841120 765693952 171634 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 186937 171634 194 433 0 186501 0
[pid=18881/tid=18883] ppid=18879 vsize=747748 CPUtime=1422.13 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170106 0 0 0 142120 93 0 0 20 0 2 0 285841121 765693952 171634 33554432000 4194304 5964318 140736406165568 140259380860968 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 747748
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/180 18911
/proc/meminfo: memFree=29056176/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=747748 CPUtime=1481.92 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 171034 0 0 0 148121 71 0 0 20 0 2 0 285841120 765693952 171634 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 186937 171634 194 433 0 186501 0
[pid=18881/tid=18883] ppid=18879 vsize=747748 CPUtime=1482.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170106 0 0 0 148118 94 0 0 20 0 2 0 285841121 765693952 171634 33554432000 4194304 5964318 140736406165568 140259380860968 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 747748
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 18911
/proc/meminfo: memFree=29055716/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=747748 CPUtime=1541.91 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 171034 0 0 0 154120 71 0 0 20 0 2 0 285841120 765693952 171634 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 186937 171634 194 433 0 186501 0
[pid=18881/tid=18883] ppid=18879 vsize=747748 CPUtime=1542.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170106 0 0 0 154117 95 0 0 20 0 2 0 285841121 765693952 171634 33554432000 4194304 5964318 140736406165568 140259380860968 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 747748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29055312/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=747748 CPUtime=1601.91 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 171551 0 0 0 160119 72 0 0 20 0 2 0 285841120 765693952 172151 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 186937 172151 194 433 0 186501 0
[pid=18881/tid=18883] ppid=18879 vsize=747748 CPUtime=1602.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 170623 0 0 0 160115 97 0 0 20 0 2 0 285841121 765693952 172151 33554432000 4194304 5964318 140736406165568 140259380860920 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 747748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29017008/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=748252 CPUtime=1661.9 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 180828 0 0 0 166112 78 0 0 20 0 2 0 285841120 766210048 181428 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 187063 181428 194 433 0 186627 0
[pid=18881/tid=18883] ppid=18879 vsize=748252 CPUtime=1662.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 179900 0 0 0 166108 104 0 0 20 0 2 0 285841121 766210048 181428 33554432000 4194304 5964318 140736406165568 140259380860920 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 748252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29016980/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=748432 CPUtime=1721.89 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 180856 0 0 0 172111 78 0 0 20 0 2 0 285841120 766394368 181456 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 187108 181456 194 433 0 186672 0
[pid=18881/tid=18883] ppid=18879 vsize=748432 CPUtime=1722.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 179928 0 0 0 172107 105 0 0 20 0 2 0 285841121 766394368 181456 33554432000 4194304 5964318 140736406165568 140259380860968 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 748432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29016360/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=748432 CPUtime=1781.89 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 180856 0 0 0 178111 78 0 0 20 0 2 0 285841120 766394368 181456 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 187108 181456 194 433 0 186672 0
[pid=18881/tid=18883] ppid=18879 vsize=748432 CPUtime=1782.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 179928 0 0 0 178106 106 0 0 20 0 2 0 285841121 766394368 181456 33554432000 4194304 5964318 140736406165568 140259380860968 4399991 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) 748432
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29014996/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=748432 CPUtime=1791.48 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 181344 0 0 0 179070 78 0 0 20 0 2 0 285841120 766394368 181944 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 187108 181944 194 433 0 186672 0
[pid=18881/tid=18883] ppid=18879 vsize=748432 CPUtime=1791.73 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 180416 0 0 0 179067 106 0 0 20 0 2 0 285841121 766394368 181944 33554432000 4194304 5964318 140736406165568 140259380860920 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 748432
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29011028/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=748432 CPUtime=1794.69 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 182292 0 0 0 179390 79 0 0 20 0 2 0 285841120 766394368 182892 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 187108 182892 194 433 0 186672 0
[pid=18881/tid=18883] ppid=18879 vsize=748432 CPUtime=1794.93 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 181364 0 0 0 179386 107 0 0 20 0 2 0 285841121 766394368 182892 33554432000 4194304 5964318 140736406165568 140259380860920 4399824 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) 748432
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29008176/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=813968 CPUtime=1797.88 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 183272 0 0 0 179709 79 0 0 20 0 2 0 285841120 833503232 183872 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 203492 183873 194 433 0 203056 0
[pid=18881/tid=18883] ppid=18879 vsize=813968 CPUtime=1798.12 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 182345 0 0 0 179705 107 0 0 20 0 2 0 285841121 833503232 183873 33554432000 4194304 5964318 140736406165568 140259380861064 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 813968
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29006812/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=813968 CPUtime=1798.68 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 183519 0 0 0 179789 79 0 0 20 0 2 0 285841120 833503232 184119 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 203492 184119 194 433 0 203056 0
[pid=18881/tid=18883] ppid=18879 vsize=813968 CPUtime=1798.92 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 182591 0 0 0 179785 107 0 0 20 0 2 0 285841121 833503232 184119 33554432000 4194304 5964318 140736406165568 140259380860920 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 813968
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29005448/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=813968 CPUtime=1799.08 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 183624 0 0 0 179829 79 0 0 20 0 2 0 285841120 833503232 184224 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 203492 184224 194 433 0 203056 0
[pid=18881/tid=18883] ppid=18879 vsize=813968 CPUtime=1799.33 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 182696 0 0 0 179826 107 0 0 20 0 2 0 285841121 833503232 184224 33554432000 4194304 5964318 140736406165568 140259380860920 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 813968
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29005448/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=813968 CPUtime=1799.48 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 183735 0 0 0 179869 79 0 0 20 0 2 0 285841120 833503232 184335 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 203492 184335 194 433 0 203056 0
[pid=18881/tid=18883] ppid=18879 vsize=813968 CPUtime=1799.72 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 182807 0 0 0 179865 107 0 0 20 0 2 0 285841121 833503232 184335 33554432000 4194304 5964318 140736406165568 140259380860920 4399971 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) 813968
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18912
/proc/meminfo: memFree=29005448/32873648 swapFree=6860/6860
[pid=18881] ppid=18879 vsize=813968 CPUtime=1799.58 cores=1,3,5,7
/proc/18881/stat : 18881 (wbo1.71) S 18879 18881 18639 0 -1 4202496 183760 0 0 0 179879 79 0 0 20 0 2 0 285841120 833503232 184360 33554432000 4194304 5964318 140736406165568 140736406165088 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18881/statm: 203492 184360 194 433 0 203056 0
[pid=18881/tid=18883] ppid=18879 vsize=813968 CPUtime=1799.82 cores=1,3,5,7
/proc/18881/task/18883/stat : 18883 (wbo1.71) R 18879 18881 18639 0 -1 4202560 182832 0 0 0 179875 107 0 0 20 0 2 0 285841121 833503232 184360 33554432000 4194304 5964318 140736406165568 140259380860920 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 813968
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.86
CPU user time (s): 1798.76
CPU system time (s): 1.09383
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 813968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.09383
maximum resident set size= 737460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183765
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= 225
involuntary context switches= 1848
runsolver used 3.87241 second user time and 10.2844 second system time
The end