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-3727407-1338653321/watcher-3727407-1338653321 -o /tmp/evaluation-result-3727407-1338653321/solver-3727407-1338653321 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727407-1338653321.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.00 2.00 2.00 3/177 15084
/proc/meminfo: memFree=31123624/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=0 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 2 0 331456675 86011904 785 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 789 177 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=0 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 2 0 331456676 86011904 799 33554432000 4194304 5964350 140734140592048 140734140590344 4419888 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.021541 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15084
/proc/meminfo: memFree=31123624/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=0.01 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 1129 0 0 0 1 0 0 0 20 0 2 0 331456675 86011904 1070 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 1070 188 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=0 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 2 0 331456676 86011904 1070 33554432000 4194304 5964350 140734140592048 140734140590344 5236791 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83996
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15084
/proc/meminfo: memFree=31123624/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=0.09 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 1727 0 0 0 9 0 0 0 20 0 2 0 331456675 86011904 1668 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 1668 190 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=0.08 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 933 0 0 0 8 0 0 0 20 0 2 0 331456676 86011904 1668 33554432000 4194304 5964350 140734140592048 140734140590344 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83996
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15084
/proc/meminfo: memFree=31123624/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=0.29 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 2130 0 0 0 29 0 0 0 20 0 2 0 331456675 86011904 2071 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 2071 192 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=0.28 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 1336 0 0 0 28 0 0 0 20 0 2 0 331456676 86011904 2071 33554432000 4194304 5964350 140734140592048 140734140590344 4373393 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83996
[startup+0.700154 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15084
/proc/meminfo: memFree=31123624/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=0.69 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 2510 0 0 0 69 0 0 0 20 0 2 0 331456675 86011904 2451 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 2451 192 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=0.68 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 1716 0 0 0 68 0 0 0 20 0 2 0 331456676 86011904 2451 33554432000 4194304 5964350 140734140592048 140734140590344 5139038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83996
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31114704/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=84140 CPUtime=1.49 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 3271 0 0 0 149 0 0 0 20 0 2 0 331456675 86159360 3212 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 21035 3212 192 433 0 20599 0
[pid=15084/tid=15085] ppid=15082 vsize=84140 CPUtime=1.48 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 2477 0 0 0 148 0 0 0 20 0 2 0 331456676 86159360 3212 33554432000 4194304 5964350 140734140592048 140041076468248 4400011 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) 84140
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31110348/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=84140 CPUtime=3.09 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 4119 0 0 0 308 1 0 0 20 0 2 0 331456675 86159360 4060 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 21035 4060 192 433 0 20599 0
[pid=15084/tid=15085] ppid=15082 vsize=84140 CPUtime=3.08 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 3325 0 0 0 307 1 0 0 20 0 2 0 331456676 86159360 4060 33554432000 4194304 5964350 140734140592048 140041076467752 4400026 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) 84140
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31101668/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=84212 CPUtime=6.29 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 5985 0 0 0 628 1 0 0 20 0 2 0 331456675 86233088 5926 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 21053 5926 192 433 0 20617 0
[pid=15084/tid=15085] ppid=15082 vsize=84212 CPUtime=6.28 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 5191 0 0 0 626 2 0 0 20 0 2 0 331456676 86233088 5926 33554432000 4194304 5964350 140734140592048 140041076467512 4221120 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) 84212
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31090020/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=84608 CPUtime=12.68 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 8602 0 0 0 1266 2 0 0 20 0 2 0 331456675 86638592 8543 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 21152 8543 192 433 0 20716 0
[pid=15084/tid=15085] ppid=15082 vsize=84608 CPUtime=12.68 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 7808 0 0 0 1265 3 0 0 20 0 2 0 331456676 86638592 8543 33554432000 4194304 5964350 140734140592048 140041076467512 4399840 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) 84608
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31073536/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=25.49 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 12607 0 0 0 2545 4 0 0 20 0 2 0 331456675 86011904 12304 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 12304 192 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=25.48 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 11813 0 0 0 2543 5 0 0 20 0 2 0 331456676 86011904 12304 33554432000 4194304 5964350 140734140592048 140041076468664 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83996
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15086
/proc/meminfo: memFree=31067560/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=83996 CPUtime=51.08 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 13992 0 0 0 5103 5 0 0 20 0 2 0 331456675 86011904 13689 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 20999 13689 192 433 0 20563 0
[pid=15084/tid=15085] ppid=15082 vsize=83996 CPUtime=51.08 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 13198 0 0 0 5102 6 0 0 20 0 2 0 331456676 86011904 13689 33554432000 4194304 5964350 140734140592048 140041076467704 5136340 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) 83996
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15089
/proc/meminfo: memFree=31018004/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=149532 CPUtime=102.28 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 20312 0 0 0 10220 8 0 0 20 0 2 0 331456675 153120768 20009 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 37383 20009 192 433 0 36947 0
[pid=15084/tid=15085] ppid=15082 vsize=149532 CPUtime=102.29 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 19518 0 0 0 10219 10 0 0 20 0 2 0 331456676 153120768 20009 33554432000 4194304 5964350 140734140592048 140041076468248 4222464 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) 149532
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15090
/proc/meminfo: memFree=30969520/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=149532 CPUtime=162.26 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 30934 0 0 0 16214 12 0 0 20 0 2 0 331456675 153120768 30631 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 37383 30631 192 433 0 36947 0
[pid=15084/tid=15085] ppid=15082 vsize=149532 CPUtime=162.29 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 30140 0 0 0 16214 15 0 0 20 0 2 0 331456676 153120768 30631 33554432000 4194304 5964350 140734140592048 140041076467704 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 149532
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15090
/proc/meminfo: memFree=30922484/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=215068 CPUtime=222.23 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 37125 0 0 0 22207 16 0 0 20 0 2 0 331456675 220229632 36933 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 53767 36933 192 433 0 53331 0
[pid=15084/tid=15085] ppid=15082 vsize=215068 CPUtime=222.27 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 36331 0 0 0 22207 20 0 0 20 0 2 0 331456676 220229632 36933 33554432000 4194304 5964350 140734140592048 140041076467752 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 215068
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15090
/proc/meminfo: memFree=30869564/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=216152 CPUtime=282.18 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 47478 0 0 0 28197 21 0 0 20 0 2 0 331456675 221339648 47614 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 54038 47614 192 433 0 53602 0
[pid=15084/tid=15085] ppid=15082 vsize=216152 CPUtime=282.22 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 46684 0 0 0 28196 26 0 0 20 0 2 0 331456676 221339648 47614 33554432000 4194304 5964350 140734140592048 140041076467512 4400380 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) 216152
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15091
/proc/meminfo: memFree=30809632/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=281688 CPUtime=342.16 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 58657 0 0 0 34190 26 0 0 20 0 2 0 331456675 288448512 59987 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 70422 59987 192 433 0 69986 0
[pid=15084/tid=15085] ppid=15082 vsize=281688 CPUtime=342.22 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 57863 0 0 0 34190 32 0 0 20 0 2 0 331456676 288448512 59987 33554432000 4194304 5964350 140734140592048 140041076467576 4399840 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) 281688
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15091
/proc/meminfo: memFree=30780248/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=281688 CPUtime=402.14 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 62447 0 0 0 40186 28 0 0 20 0 2 0 331456675 288448512 63774 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 136292 0 0 0 130111 104 0 0 20 0 2 0 331456676 638259200 140081 33554432000 4194304 5964350 140734140592048 140041076467512 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 623300
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15139
/proc/meminfo: memFree=30564520/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=626196 CPUtime=1361.87 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 142336 0 0 0 136099 88 0 0 20 0 2 0 331456675 641224704 145233 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 156549 145233 192 433 0 156113 0
[pid=15084/tid=15085] ppid=15082 vsize=626196 CPUtime=1362.14 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 141542 0 0 0 136106 108 0 0 20 0 2 0 331456676 641224704 145233 33554432000 4194304 5964350 140734140592048 140041076467512 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 626196
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15139
/proc/meminfo: memFree=30515264/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=626196 CPUtime=1421.83 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 147778 0 0 0 142091 92 0 0 20 0 2 0 331456675 641224704 151539 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 156549 151539 192 433 0 156113 0
[pid=15084/tid=15085] ppid=15082 vsize=626196 CPUtime=1422.11 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 146984 0 0 0 142097 114 0 0 20 0 2 0 331456676 641224704 151539 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 626196
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15139
/proc/meminfo: memFree=30494928/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=694264 CPUtime=1481.82 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 152531 0 0 0 148085 97 0 0 20 0 2 0 331456675 710926336 156199 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 173566 156199 192 433 0 173130 0
[pid=15084/tid=15085] ppid=15082 vsize=694264 CPUtime=1482.11 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 151737 0 0 0 148091 120 0 0 20 0 2 0 331456676 710926336 156199 33554432000 4194304 5964350 140734140592048 140041076467704 4403252 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 694264
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30493812/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=694264 CPUtime=1541.81 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 152531 0 0 0 154084 97 0 0 20 0 2 0 331456675 710926336 156199 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 173566 156199 192 433 0 173130 0
[pid=15084/tid=15085] ppid=15082 vsize=694264 CPUtime=1542.11 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 151737 0 0 0 154090 121 0 0 20 0 2 0 331456676 710926336 156199 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 694264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30471244/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=697876 CPUtime=1601.8 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 158325 0 0 0 160078 102 0 0 20 0 2 0 331456675 714625024 161993 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 174469 161993 192 433 0 174033 0
[pid=15084/tid=15085] ppid=15082 vsize=697876 CPUtime=1602.12 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 157531 0 0 0 160085 127 0 0 20 0 2 0 331456676 714625024 161993 33554432000 4194304 5964350 140734140592048 140041076467752 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 697876
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30446444/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=699320 CPUtime=1661.78 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 164307 0 0 0 166070 108 0 0 20 0 2 0 331456675 716103680 167975 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 174830 167975 192 433 0 174394 0
[pid=15084/tid=15085] ppid=15082 vsize=699320 CPUtime=1662.12 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 163513 0 0 0 166078 134 0 0 20 0 2 0 331456676 716103680 167975 33554432000 4194304 5964350 140734140592048 140041076467512 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 699320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30442968/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=699320 CPUtime=1721.78 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 165027 0 0 0 172069 109 0 0 20 0 2 0 331456675 716103680 168870 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 174830 168870 192 433 0 174394 0
[pid=15084/tid=15085] ppid=15082 vsize=699320 CPUtime=1722.12 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 164233 0 0 0 172077 135 0 0 20 0 2 0 331456676 716103680 168870 33554432000 4194304 5964350 140734140592048 140041076467576 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 699320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30406324/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1781.77 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 173514 0 0 0 178061 116 0 0 20 0 2 0 331456675 783212544 177350 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 177350 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1782.12 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 172720 0 0 0 178068 144 0 0 20 0 2 0 331456676 783212544 177350 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 764856
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 15140
/proc/meminfo: memFree=30401348/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1791.37 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 174784 0 0 0 179020 117 0 0 20 0 2 0 331456675 783212544 178618 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 178618 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1791.73 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 173990 0 0 0 179028 145 0 0 20 0 2 0 331456676 783212544 178618 33554432000 4194304 5964350 140734140592048 140041076467752 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 764856
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30398852/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1794.57 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175273 0 0 0 179339 118 0 0 20 0 2 0 331456675 783212544 179106 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179106 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1794.93 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 174479 0 0 0 179347 146 0 0 20 0 2 0 331456676 783212544 179106 33554432000 4194304 5964350 140734140592048 140041076467576 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 764856
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30397860/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1797.77 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175759 0 0 0 179658 119 0 0 20 0 2 0 331456675 783212544 179592 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179592 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1798.13 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 174965 0 0 0 179667 146 0 0 20 0 2 0 331456676 783212544 179592 33554432000 4194304 5964350 140734140592048 140041076467704 4391400 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 764856
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30397240/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1798.57 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175881 0 0 0 179738 119 0 0 20 0 2 0 331456675 783212544 179714 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179714 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1798.93 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 175087 0 0 0 179746 147 0 0 20 0 2 0 331456676 783212544 179714 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 764856
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30396620/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1798.97 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175927 0 0 0 179778 119 0 0 20 0 2 0 331456675 783212544 179760 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179760 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1799.33 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 175133 0 0 0 179786 147 0 0 20 0 2 0 331456676 783212544 179760 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 764856
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30396620/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1799.37 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175972 0 0 0 179818 119 0 0 20 0 2 0 331456675 783212544 179805 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179805 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1799.73 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 175178 0 0 0 179826 147 0 0 20 0 2 0 331456676 783212544 179805 33554432000 4194304 5964350 140734140592048 140041076467704 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 764856
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15140
/proc/meminfo: memFree=30396620/32873844 swapFree=7900/7900
[pid=15084] ppid=15082 vsize=764856 CPUtime=1799.47 cores=1,3,5,7
/proc/15084/stat : 15084 (wbo1.72) S 15082 15084 12961 0 -1 4202496 175985 0 0 0 179828 119 0 0 20 0 2 0 331456675 783212544 179818 33554432000 4194304 5964350 140734140592048 140734140591568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15084/statm: 191214 179818 192 433 0 190778 0
[pid=15084/tid=15085] ppid=15082 vsize=764856 CPUtime=1799.83 cores=1,3,5,7
/proc/15084/task/15085/stat : 15085 (wbo1.72) R 15082 15084 12961 0 -1 4202560 175191 0 0 0 179836 147 0 0 20 0 2 0 331456676 783212544 179818 33554432000 4194304 5964350 140734140592048 140041076467704 4399895 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 764856
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.86
CPU user time (s): 1798.37
CPU system time (s): 1.49377
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 764856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.49377
maximum resident set size= 719284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175988
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= 267
involuntary context switches= 1884
runsolver used 6.41402 second user time and 13.6379 second system time
The end