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-3713161-1338219819/watcher-3713161-1338219819 -o /tmp/evaluation-result-3713161-1338219819/solver-3713161-1338219819 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713161-1338219819.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.00 2.00 2.00 3/177 14512
/proc/meminfo: memFree=28074500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=3600 CPUtime=0 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) R 14510 14512 12215 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 288106967 3686400 332 33554432000 4194304 5964318 140735416372400 140733506586200 4360334 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 900 332 168 433 0 440 0
[startup+0.0322949 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14512
/proc/meminfo: memFree=28074500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84288 CPUtime=0.02 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 1353 0 0 0 2 0 0 0 20 0 2 0 288106967 86310912 1282 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21072 1282 194 433 0 20636 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 84288
[startup+0.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14512
/proc/meminfo: memFree=28074500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84288 CPUtime=0.09 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 1626 0 0 0 9 0 0 0 20 0 2 0 288106967 86310912 1555 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21072 1555 194 433 0 20636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84288
[startup+0.300122 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14512
/proc/meminfo: memFree=28074500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84288 CPUtime=0.29 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 2196 0 0 0 29 0 0 0 20 0 2 0 288106967 86310912 2125 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21072 2125 194 433 0 20636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84288
[startup+0.700121 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14512
/proc/meminfo: memFree=28074500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84432 CPUtime=0.68 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 3086 0 0 0 68 0 0 0 20 0 2 0 288106967 86458368 3015 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21108 3015 194 433 0 20672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84432
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=28061604/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84504 CPUtime=1.48 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 4208 0 0 0 147 1 0 0 20 0 2 0 288106967 86532096 4137 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21126 4137 194 433 0 20690 0
[pid=14512/tid=14514] ppid=14510 vsize=84504 CPUtime=1.47 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 3320 0 0 0 145 2 0 0 20 0 2 0 288106968 86532096 4137 33554432000 4194304 5964318 140735416372400 140130382092280 4400446 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) 84504
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=28057356/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84504 CPUtime=3.08 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 5545 0 0 0 307 1 0 0 20 0 2 0 288106967 86532096 5474 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21126 5474 194 433 0 20690 0
[pid=14512/tid=14514] ppid=14510 vsize=84504 CPUtime=3.07 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 4657 0 0 0 305 2 0 0 20 0 2 0 288106968 86532096 5474 33554432000 4194304 5964318 140735416372400 140130382092280 4403599 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84504
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=28047188/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=84612 CPUtime=6.27 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 7978 0 0 0 625 2 0 0 20 0 2 0 288106967 86642688 7907 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 21153 7907 194 433 0 20717 0
[pid=14512/tid=14514] ppid=14510 vsize=84612 CPUtime=6.26 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 7090 0 0 0 624 2 0 0 20 0 2 0 288106968 86642688 7907 33554432000 4194304 5964318 140735416372400 140130382092280 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 84612
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=28000944/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=150308 CPUtime=12.68 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 19459 0 0 0 1263 5 0 0 20 0 2 0 288106967 153915392 19388 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 37577 19388 194 433 0 37141 0
[pid=14512/tid=14514] ppid=14510 vsize=150308 CPUtime=12.64 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 18571 0 0 0 1259 5 0 0 20 0 2 0 288106968 153915392 19388 33554432000 4194304 5964318 140735416372400 140130382092328 4399928 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) 150308
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=27944532/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=150548 CPUtime=25.47 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 29515 0 0 0 2540 7 0 0 20 0 2 0 288106967 154161152 29444 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 37637 29444 194 433 0 37201 0
[pid=14512/tid=14514] ppid=14510 vsize=150548 CPUtime=25.41 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 28627 0 0 0 2534 7 0 0 20 0 2 0 288106968 154161152 29444 33554432000 4194304 5964318 140735416372400 140130382092280 4399824 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) 150548
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14514
/proc/meminfo: memFree=27819788/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=216084 CPUtime=51.07 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 45271 0 0 0 5096 11 0 0 20 0 2 0 288106967 221270016 45200 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 54021 45200 194 433 0 53585 0
[pid=14512/tid=14514] ppid=14510 vsize=216084 CPUtime=50.94 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 44383 0 0 0 5083 11 0 0 20 0 2 0 288106968 221270016 45200 33554432000 4194304 5964318 140735416372400 140130382092280 4399824 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) 216084
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 14514
/proc/meminfo: memFree=27673964/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=347156 CPUtime=102.27 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 76408 0 0 0 10207 20 0 0 20 0 2 0 288106967 355487744 76337 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 86789 76337 194 433 0 86353 0
[pid=14512/tid=14514] ppid=14510 vsize=347156 CPUtime=102.02 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 75520 0 0 0 10182 20 0 0 20 0 2 0 288106968 355487744 76337 33554432000 4194304 5964318 140735416372400 140130382092280 4221120 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) 347156
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14514
/proc/meminfo: memFree=27587784/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=412980 CPUtime=162.25 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 98701 0 0 0 16198 27 0 0 20 0 2 0 288106967 422891520 98630 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 103245 98630 194 433 0 102809 0
[pid=14512/tid=14514] ppid=14510 vsize=412980 CPUtime=161.86 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 97813 0 0 0 16157 29 0 0 20 0 2 0 288106968 422891520 98630 33554432000 4194304 5964318 140735416372400 140130382092280 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 412980
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27506812/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=479020 CPUtime=222.24 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 110876 0 0 0 22194 30 0 0 20 0 2 0 288106967 490516480 110805 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 119755 110805 194 433 0 119319 0
[pid=14512/tid=14514] ppid=14510 vsize=479020 CPUtime=221.71 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 109988 0 0 0 22138 33 0 0 20 0 2 0 288106968 490516480 110805 33554432000 4194304 5964318 140735416372400 140130382092280 4399973 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 479020
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27464928/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=544700 CPUtime=282.21 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 120963 0 0 0 28187 34 0 0 20 0 2 0 288106967 557772800 120881 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 136175 120881 194 433 0 135739 0
[pid=14512/tid=14514] ppid=14510 vsize=544700 CPUtime=281.52 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 120075 0 0 0 28115 37 0 0 20 0 2 0 288106968 557772800 120881 33554432000 4194304 5964318 140735416372400 140130382092280 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 544700
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27375180/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=610524 CPUtime=342.15 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 143403 0 0 0 34174 41 0 0 20 0 2 0 288106967 625176576 143299 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 152631 143299 194 433 0 152195 0
[pid=14512/tid=14514] ppid=14510 vsize=610524 CPUtime=341.33 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 142515 0 0 0 34087 46 0 0 20 0 2 0 288106968 625176576 143299 33554432000 4194304 5964318 140735416372400 140130382092280 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 610524
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14518
/proc/meminfo: memFree=27374952/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=610524 CPUtime=402.1 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 143459 0 0 0 40169 41 0 0 20 0 2 0 288106967 625176576 143321 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 152631 143321 194 433 0 152195 0
[pid=14512/tid=14514] ppid=14510 vsize=610524 CPUtime=401.13 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 142571 0 0 0 40066 47 0 0 20 0 2 0 288106968 625176576 143321 33554432000 4194304 5964318 140735416372400 140130382092280 4399982 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 610524
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14518
/proc/meminfo: memFree=27265868/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=676780 CPUtime=462.04 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14587
/proc/meminfo: memFree=27031596/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006404 CPUtime=1361.81 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237734 0 0 0 136098 83 0 0 20 0 2 0 288106967 1030557696 234877 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251601 234877 194 433 0 251165 0
[pid=14512/tid=14514] ppid=14510 vsize=1006404 CPUtime=1358.5 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236846 0 0 0 135748 102 0 0 20 0 2 0 288106968 1030557696 234877 33554432000 4194304 5964318 140735416372400 140130382092312 4399993 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1006404
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14588
/proc/meminfo: memFree=27031500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006548 CPUtime=1421.8 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237774 0 0 0 142097 83 0 0 20 0 2 0 288106967 1030705152 234906 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251637 234906 194 433 0 251201 0
[pid=14512/tid=14514] ppid=14510 vsize=1006548 CPUtime=1418.34 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236886 0 0 0 141730 104 0 0 20 0 2 0 288106968 1030705152 234906 33554432000 4194304 5964318 140735416372400 140130382092328 4399982 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1006548
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14588
/proc/meminfo: memFree=27019500/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006548 CPUtime=1481.77 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237789 0 0 0 148094 83 0 0 20 0 2 0 288106967 1030705152 234908 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251637 234908 194 433 0 251201 0
[pid=14512/tid=14514] ppid=14510 vsize=1006548 CPUtime=1478.17 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236901 0 0 0 147712 105 0 0 20 0 2 0 288106968 1030705152 234908 33554432000 4194304 5964318 140735416372400 140130382092328 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1006548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14588
/proc/meminfo: memFree=26878588/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006728 CPUtime=1541.75 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237867 0 0 0 154092 83 0 0 20 0 2 0 288106967 1030889472 234969 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251682 234969 194 433 0 251246 0
[pid=14512/tid=14514] ppid=14510 vsize=1006728 CPUtime=1537.99 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236979 0 0 0 153693 106 0 0 20 0 2 0 288106968 1030889472 234969 33554432000 4194304 5964318 140735416372400 140130382092328 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1006728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26850556/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006728 CPUtime=1601.74 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237879 0 0 0 160091 83 0 0 20 0 2 0 288106967 1030889472 234981 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251682 234981 194 433 0 251246 0
[pid=14512/tid=14514] ppid=14510 vsize=1006728 CPUtime=1597.84 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236991 0 0 0 159677 107 0 0 20 0 2 0 288106968 1030889472 234981 33554432000 4194304 5964318 140735416372400 140130382092328 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1006728
Solver just ended. Dumping a history of the last processes samples
[startup+1612.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26850556/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006728 CPUtime=1612.14 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237879 0 0 0 161131 83 0 0 20 0 2 0 288106967 1030889472 234981 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251682 234981 194 433 0 251246 0
[pid=14512/tid=14514] ppid=14510 vsize=1006728 CPUtime=1608.22 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236991 0 0 0 160715 107 0 0 20 0 2 0 288106968 1030889472 234981 33554432000 4194304 5964318 140735416372400 140130382092328 4399995 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1612.14
Current children cumulated vsize (KiB) 1006728
[startup+1625.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26850432/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1006728 CPUtime=1624.94 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237879 0 0 0 162411 83 0 0 20 0 2 0 288106967 1030889472 234981 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 251682 234981 194 433 0 251246 0
[pid=14512/tid=14514] ppid=14510 vsize=1006728 CPUtime=1620.98 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236991 0 0 0 161991 107 0 0 20 0 2 0 288106968 1030889472 234981 33554432000 4194304 5964318 140735416372400 140130382092328 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1624.94
Current children cumulated vsize (KiB) 1006728
[startup+1631.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865320/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1631.34 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163051 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1627.37 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 162630 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4381935 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1631.34
Current children cumulated vsize (KiB) 1001792
[startup+1635.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865444/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1634.54 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163371 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1630.56 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 162949 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1634.54
Current children cumulated vsize (KiB) 1001792
[startup+1638.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865568/32873844 swapFree=7120/7120
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1637.74 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163691 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1633.75 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 163268 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4392767 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1637.74
Current children cumulated vsize (KiB) 1001792
[startup+1639.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865568/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1639.34 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163851 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1635.35 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 163428 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4399960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1639.34
Current children cumulated vsize (KiB) 1001792
[startup+1640.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865568/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1640.14 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163931 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1636.14 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 163507 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4399928 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.14
Current children cumulated vsize (KiB) 1001792
[startup+1641.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865692/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1640.54 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163971 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1636.55 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 163548 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (KiB) 1001792
[startup+1641.21 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14591
/proc/meminfo: memFree=26865692/32873844 swapFree=7116/7116
[pid=14512] ppid=14510 vsize=1001792 CPUtime=1640.64 cores=1,3,5,7
/proc/14512/stat : 14512 (wbo1.71) S 14510 14512 12215 0 -1 4202496 237883 0 0 0 163981 83 0 0 20 0 2 0 288106967 1025835008 231024 33554432000 4194304 5964318 140735416372400 140735416371920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14512/statm: 250448 231024 198 433 0 250012 0
[pid=14512/tid=14514] ppid=14510 vsize=1001792 CPUtime=1636.65 cores=1,3,5,7
/proc/14512/task/14514/stat : 14514 (wbo1.71) R 14510 14512 12215 0 -1 4202560 236995 0 0 0 163558 107 0 0 20 0 2 0 288106968 1025835008 231024 33554432000 4194304 5964318 140735416372400 140130382093240 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.64
Current children cumulated vsize (KiB) 1001792
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14512 and gives
# childrusage.ru_utime.tv_sec=1635
# childrusage.ru_utime.tv_usec=638345
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=91834
# CPU time returned by wait4() is 1636.73
# while last known CPU time is 1640.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1641.27
CPU time (s): 1640.64
CPU user time (s): 1639.81
CPU system time (s): 0.83
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 1006728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1635.64
system time used= 1.09183
maximum resident set size= 952620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237886
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= 352
involuntary context switches= 2697
runsolver used 2.39563 second user time and 6.575 second system time
The end