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-3728000-1338657355/watcher-3728000-1338657355 -o /tmp/evaluation-result-3728000-1338657355/solver-3728000-1338657355 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728000-1338657355.opb
running on 4 cores: 0,2,4,6
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.05 2.01 1.95 4/173 12133
/proc/meminfo: memFree=27293272/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=0 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 853 0 0 0 0 0 0 0 20 0 2 0 331861282 85938176 794 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 798 182 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=0 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 331861283 85938176 811 33554432000 4194304 5964350 140737475692352 140733686966968 4395186 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0877069 s]
/proc/loadavg: 2.05 2.01 1.95 4/173 12133
/proc/meminfo: memFree=27293272/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=0.08 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 1200 0 0 0 8 0 0 0 20 0 2 0 331861282 85938176 1141 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 1141 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=0.07 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 400 0 0 0 7 0 0 0 20 0 2 0 331861283 85938176 1141 33554432000 4194304 5964350 140737475692352 140733686966968 4403423 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83924
[startup+0.100299 s]
/proc/loadavg: 2.05 2.01 1.95 4/173 12133
/proc/meminfo: memFree=27293272/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=0.09 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 1200 0 0 0 9 0 0 0 20 0 2 0 331861282 85938176 1141 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 1141 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=0.08 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 400 0 0 0 8 0 0 0 20 0 2 0 331861283 85938176 1141 33554432000 4194304 5964350 140737475692352 140733686966968 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83924
[startup+0.30025 s]
/proc/loadavg: 2.05 2.01 1.95 4/173 12133
/proc/meminfo: memFree=27293272/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=0.29 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 1490 0 0 0 29 0 0 0 20 0 2 0 331861282 85938176 1431 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 1431 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=0.28 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 690 0 0 0 28 0 0 0 20 0 2 0 331861283 85938176 1431 33554432000 4194304 5964350 140737475692352 140733686966968 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83924
[startup+0.70014 s]
/proc/loadavg: 2.05 2.01 1.95 4/173 12133
/proc/meminfo: memFree=27293272/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=0.69 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 2052 0 0 0 69 0 0 0 20 0 2 0 331861282 85938176 1993 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 1993 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=0.68 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 1252 0 0 0 68 0 0 0 20 0 2 0 331861283 85938176 1993 33554432000 4194304 5964350 140737475692352 140733686966968 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83924
[startup+1.5002 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27258820/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=1.49 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 2958 0 0 0 149 0 0 0 20 0 2 0 331861282 85938176 2899 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 2899 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=1.48 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 2158 0 0 0 148 0 0 0 20 0 2 0 331861283 85938176 2899 33554432000 4194304 5964350 140737475692352 140230286731256 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83924
[startup+3.10026 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27244932/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=84068 CPUtime=3.08 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 3816 0 0 0 308 0 0 0 20 0 2 0 331861282 86085632 3764 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 21017 3764 194 433 0 20581 0
[pid=12133/tid=12137] ppid=12131 vsize=84068 CPUtime=3.07 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) D 12131 12133 9917 0 -1 4202560 3016 0 0 0 307 0 0 0 20 0 2 0 331861283 86085632 3764 33554432000 4194304 5964350 140737475692352 140230286731064 4400704 0 0 4096 16387 18446744071581355444 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84068
[startup+6.30021 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27237196/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=84140 CPUtime=6.29 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 5179 0 0 0 628 1 0 0 20 0 2 0 331861282 86159360 5126 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 21035 5126 194 433 0 20599 0
[pid=12133/tid=12137] ppid=12131 vsize=84140 CPUtime=6.26 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 4379 0 0 0 625 1 0 0 20 0 2 0 331861283 86159360 5126 33554432000 4194304 5964350 140737475692352 140230286731064 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84140
[startup+12.7001 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27223956/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=12.68 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 6328 0 0 0 1267 1 0 0 20 0 2 0 331861282 85938176 6232 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 6232 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=12.64 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 5528 0 0 0 1263 1 0 0 20 0 2 0 331861283 85938176 6232 33554432000 4194304 5964350 140737475692352 140230286732216 4391317 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83924
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27190812/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=83924 CPUtime=25.48 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 9013 0 0 0 2546 2 0 0 20 0 2 0 331861282 85938176 9673 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 20981 9673 194 433 0 20545 0
[pid=12133/tid=12137] ppid=12131 vsize=83924 CPUtime=25.41 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 8213 0 0 0 2539 2 0 0 20 0 2 0 331861283 85938176 9673 33554432000 4194304 5964350 140737475692352 140230286731064 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83924
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 12272
/proc/meminfo: memFree=27141928/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=84408 CPUtime=51.08 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 14926 0 0 0 5103 5 0 0 20 0 2 0 331861282 86433792 15586 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 21102 15586 194 433 0 20666 0
[pid=12133/tid=12137] ppid=12131 vsize=84408 CPUtime=50.94 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 14126 0 0 0 5089 5 0 0 20 0 2 0 331861283 86433792 15586 33554432000 4194304 5964350 140737475692352 140230286731064 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84408
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 12272
/proc/meminfo: memFree=27060012/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=149944 CPUtime=102.26 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 21607 0 0 0 10218 8 0 0 20 0 2 0 331861282 153542656 22302 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 37486 22302 194 433 0 37050 0
[pid=12133/tid=12137] ppid=12131 vsize=149944 CPUtime=102 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 20807 0 0 0 10191 9 0 0 20 0 2 0 331861283 153542656 22302 33554432000 4194304 5964350 140737475692352 140230286731256 4399889 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 149944
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12273
/proc/meminfo: memFree=27028796/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=150832 CPUtime=162.24 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 27333 0 0 0 16213 11 0 0 20 0 2 0 331861282 154451968 28185 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 37708 28185 194 433 0 37272 0
[pid=12133/tid=12137] ppid=12131 vsize=150832 CPUtime=161.83 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 26533 0 0 0 16170 13 0 0 20 0 2 0 331861283 154451968 28185 33554432000 4194304 5964350 140737475692352 140230286731064 4388266 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150832
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12273
/proc/meminfo: memFree=27003096/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=154716 CPUtime=222.22 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 33587 0 0 0 22209 13 0 0 20 0 2 0 331861282 158429184 34325 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 38679 34325 194 433 0 38243 0
[pid=12133/tid=12137] ppid=12131 vsize=154716 CPUtime=221.68 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 32787 0 0 0 22152 16 0 0 20 0 2 0 331861283 158429184 34325 33554432000 4194304 5964350 140737475692352 140230286731064 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 154716
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 12276
/proc/meminfo: memFree=26983692/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=222520 CPUtime=282.19 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 37269 0 0 0 28204 15 0 0 20 0 2 0 331861282 227860480 38692 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 55630 38692 194 433 0 55194 0
[pid=12133/tid=12137] ppid=12131 vsize=222520 CPUtime=281.5 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 36469 0 0 0 28131 19 0 0 20 0 2 0 331861283 227860480 38692 33554432000 4194304 5964350 140737475692352 140230286731064 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 222520
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/179 12276
/proc/meminfo: memFree=26934832/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=229160 CPUtime=342.18 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 40281 0 0 0 34202 16 0 0 20 0 2 0 331861282 234659840 41884 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 57290 41884 194 433 0 56854 0
[pid=12133/tid=12137] ppid=12131 vsize=229160 CPUtime=341.35 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 39481 0 0 0 34114 21 0 0 20 0 2 0 331861283 234659840 41884 33554432000 4194304 5964350 140737475692352 140230286731064 4400704 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 229160
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 12276
/proc/meminfo: memFree=26831500/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=235340 CPUtime=402.17 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 45376 0 0 0 40198 19 0 0 20 0 2 0 331861282 240988160 46955 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12277
/proc/meminfo: memFree=26613116/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=253664 CPUtime=642.12 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 55097 0 0 0 64189 23 0 0 20 0 2 0 331861282 259751936 56877 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 63416 56877 194 433 0 62980 0
[pid=12133/tid=12137] ppid=12131 vsize=253664 CPUtime=640.57 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 54297 0 0 0 64025 32 0 0 20 0 2 0 331861283 259751936 56877 33554432000 4194304 5964350 140737475692352 140230286731256 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 253664
[startup+702.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 12277
/proc/meminfo: memFree=26592188/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=322248 CPUtime=702.11 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 59907 0 0 0 70184 27 0 0 20 0 2 0 331861282 329981952 61665 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 80562 61665 194 433 0 80126 0
[pid=12133/tid=12137] ppid=12131 vsize=322248 CPUtime=700.41 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 59107 0 0 0 70004 37 0 0 20 0 2 0 331861283 329981952 61665 33554432000 4194304 5964350 140737475692352 140230286731064 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 322248
[startup+762.306 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 12278
/proc/meminfo: memFree=26584264/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=324024 CPUtime=762.11 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 61703 0 0 0 76183 28 0 0 20 0 2 0 331861282 331800576 63461 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 81006 63461 194 433 0 80570 0
[pid=12133/tid=12137] ppid=12131 vsize=324024 CPUtime=760.26 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 60903 0 0 0 75987 39 0 0 20 0 2 0 331861283 331800576 63461 33554432000 4194304 5964350 140737475692352 140230286731064 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 324024
[startup+822.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 12278
/proc/meminfo: memFree=26548800/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=329268 CPUtime=822.09 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 67414 0 0 0 82176 33 0 0 20 0 2 0 331861282 337170432 69148 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 82317 69148 194 433 0 81881 0
[pid=12133/tid=12137] ppid=12131 vsize=329268 CPUtime=820.1 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 66614 0 0 0 81965 45 0 0 20 0 2 0 331861283 337170432 69148 33554432000 4194304 5964350 140737475692352 140230286731256 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 329268
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 12281
/proc/meminfo: memFree=26475484/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=329428 CPUtime=882.06 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 67828 0 0 0 88173 33 0 0 20 0 2 0 331861282 337334272 69580 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 82357 69580 194 433 0 81921 0
[pid=12133/tid=12137] ppid=12131 vsize=329428 CPUtime=879.93 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 67028 0 0 0 87947 46 0 0 20 0 2 0 331861283 337334272 69580 33554432000 4194304 5964350 140737475692352 140230286731304 4392743 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 329428
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 12281
/proc/meminfo: memFree=26411956/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=330312 CPUtime=942.05 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 69579 0 0 0 94170 35 0 0 20 0 2 0 331861282 338239488 71391 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 82578 71391 194 433 0 82142 0
[pid=12133/tid=12137] ppid=12131 vsize=330312 CPUtime=939.77 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 68779 0 0 0 93928 49 0 0 20 0 2 0 331861283 338239488 71391 33554432000 4194304 5964350 140737475692352 140230286731064 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 330312
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358572/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1002.03 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82670 0 0 0 100165 38 0 0 20 0 2 0 331861282 406007808 84516 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84516 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=999.61 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81870 0 0 0 99908 53 0 0 20 0 2 0 331861283 406007808 84516 33554432000 4194304 5964350 140737475692352 140230286731608 4398016 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 396492
############
# WARNING:
# current cumulated CPU time (1002.73 s) is less than in the last sample (1005.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.30005 s) to the 'lost time'.
[startup+1005.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358572/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1005.03 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82713 0 0 0 100465 38 0 0 20 0 2 0 331861282 406007808 84559 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84559 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=1002.61 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81913 0 0 0 100208 53 0 0 20 0 2 0 331861283 406007808 84559 33554432000 4194304 5964350 140737475692352 140230286731720 5122320 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1005.03
Current children cumulated vsize (KiB) 396492
[startup+1005.41 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358572/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=0 CPUtime=1002.73 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) R 12131 12133 9917 0 -1 4203524 82716 0 0 0 100218 55 0 0 20 0 1 0 331861282 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1002.73
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1003.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358696/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1002.83 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82670 0 0 0 100245 38 0 0 20 0 2 0 331861282 406007808 84516 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84516 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=1000.42 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81870 0 0 0 99989 53 0 0 20 0 2 0 331861283 406007808 84516 33554432000 4194304 5964350 140737475692352 140230286731608 4398312 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.83
Current children cumulated vsize (KiB) 396492
[startup+1004.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358696/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1004.43 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82713 0 0 0 100405 38 0 0 20 0 2 0 331861282 406007808 84559 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84559 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=1002.01 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81913 0 0 0 100148 53 0 0 20 0 2 0 331861283 406007808 84559 33554432000 4194304 5964350 140737475692352 140230286731608 4599383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1004.43
Current children cumulated vsize (KiB) 396492
[startup+1005.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358696/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1004.83 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82713 0 0 0 100445 38 0 0 20 0 2 0 331861282 406007808 84559 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84559 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=1002.4 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81913 0 0 0 100187 53 0 0 20 0 2 0 331861283 406007808 84559 33554432000 4194304 5964350 140737475692352 140230286731720 5122334 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1004.83
Current children cumulated vsize (KiB) 396492
[startup+1005.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358572/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=396492 CPUtime=1005.03 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) S 12131 12133 9917 0 -1 4202496 82713 0 0 0 100465 38 0 0 20 0 2 0 331861282 406007808 84559 33554432000 4194304 5964350 140737475692352 140737475691872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 99123 84559 194 433 0 98687 0
[pid=12133/tid=12137] ppid=12131 vsize=396492 CPUtime=1002.61 cores=0,2,4,6
/proc/12133/task/12137/stat : 12137 (wbo1.72) R 12131 12133 9917 0 -1 4202560 81913 0 0 0 100208 53 0 0 20 0 2 0 331861283 406007808 84559 33554432000 4194304 5964350 140737475692352 140230286731720 5122320 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1005.03
Current children cumulated vsize (KiB) 396492
[startup+1005.41 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 12281
/proc/meminfo: memFree=26358572/32873660 swapFree=7120/7120
[pid=12133] ppid=12131 vsize=0 CPUtime=1002.73 cores=0,2,4,6
/proc/12133/stat : 12133 (wbo1.72) R 12131 12133 9917 0 -1 4203524 82716 0 0 0 100218 55 0 0 20 0 1 0 331861282 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12133/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1002.73
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.30005
# lost CPU user time (s): 2.47003
# lost CPU system time (s): -0.17
Real time (s): 1005.41
CPU time (s): 1005.04
CPU user time (s): 1004.65
CPU system time (s): 0.385915
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 396492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.18
system time used= 0.555915
maximum resident set size= 338236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82716
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= 118
involuntary context switches= 1027
runsolver used 1.58276 second user time and 3.90841 second system time
The end