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-3727380-1338655122/watcher-3727380-1338655122 -o /tmp/evaluation-result-3727380-1338655122/solver-3727380-1338655122 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727380-1338655122.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 15177
/proc/meminfo: memFree=31116372/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=3496 CPUtime=0 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) R 15175 15177 12961 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 331636702 3579904 310 33554432000 4194304 5964350 140734395619760 140733418417320 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 874 310 175 433 0 388 0
[startup+0.091121 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15177
/proc/meminfo: memFree=31116372/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84776 CPUtime=0.08 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 2036 0 0 0 8 0 0 0 20 0 2 0 331636702 86810624 1938 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21194 1938 193 433 0 20758 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84776
[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15177
/proc/meminfo: memFree=31116372/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84776 CPUtime=0.09 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 2105 0 0 0 9 0 0 0 20 0 2 0 331636702 86810624 2007 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21194 2007 193 433 0 20758 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84776
[startup+0.300138 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15177
/proc/meminfo: memFree=31116372/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84776 CPUtime=0.29 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 2942 0 0 0 29 0 0 0 20 0 2 0 331636702 86810624 2844 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21194 2844 197 433 0 20758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84776
[startup+0.700127 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15177
/proc/meminfo: memFree=31116372/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84776 CPUtime=0.68 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 3179 0 0 0 68 0 0 0 20 0 2 0 331636702 86810624 3081 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21194 3081 197 433 0 20758 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84776
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15179
/proc/meminfo: memFree=31103344/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84920 CPUtime=1.49 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 3922 0 0 0 148 1 0 0 20 0 2 0 331636702 86958080 3824 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21230 3824 197 433 0 20794 0
[pid=15177/tid=15179] ppid=15175 vsize=84920 CPUtime=1.46 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 2876 0 0 0 146 0 0 0 20 0 2 0 331636704 86958080 3824 33554432000 4194304 5964350 140734395619760 140500691736568 4400011 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84920
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15179
/proc/meminfo: memFree=31099608/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84920 CPUtime=3.08 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 4879 0 0 0 307 1 0 0 20 0 2 0 331636702 86958080 4781 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21230 4781 197 433 0 20794 0
[pid=15177/tid=15179] ppid=15175 vsize=84920 CPUtime=3.06 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 3833 0 0 0 305 1 0 0 20 0 2 0 331636704 86958080 4781 33554432000 4194304 5964350 140734395619760 140500691736568 5136340 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) 84920
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15179
/proc/meminfo: memFree=31093020/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=84992 CPUtime=6.28 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 6346 0 0 0 627 1 0 0 20 0 2 0 331636702 87031808 6248 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21248 6248 197 433 0 20812 0
[pid=15177/tid=15179] ppid=15175 vsize=84992 CPUtime=6.27 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 5300 0 0 0 625 2 0 0 20 0 2 0 331636704 87031808 6248 33554432000 4194304 5964350 140734395619760 140500691736568 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84992
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15179
/proc/meminfo: memFree=31082876/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=85100 CPUtime=12.69 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 8437 0 0 0 1267 2 0 0 20 0 2 0 331636702 87142400 8339 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21275 8339 197 433 0 20839 0
[pid=15177/tid=15179] ppid=15175 vsize=85100 CPUtime=12.66 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 7391 0 0 0 1264 2 0 0 20 0 2 0 331636704 87142400 8339 33554432000 4194304 5964350 140734395619760 140500691736376 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85100
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15179
/proc/meminfo: memFree=31073932/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=85260 CPUtime=25.48 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 10788 0 0 0 2546 2 0 0 20 0 2 0 331636702 87306240 10690 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21315 10690 197 433 0 20879 0
[pid=15177/tid=15179] ppid=15175 vsize=85260 CPUtime=25.46 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 9742 0 0 0 2543 3 0 0 20 0 2 0 331636704 87306240 10690 33554432000 4194304 5964350 140734395619760 140500691736376 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85260
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15180
/proc/meminfo: memFree=31033124/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=85500 CPUtime=51.08 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 16223 0 0 0 5103 5 0 0 20 0 2 0 331636702 87552000 16125 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 21375 16125 197 433 0 20939 0
[pid=15177/tid=15179] ppid=15175 vsize=85500 CPUtime=51.06 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 15177 0 0 0 5101 5 0 0 20 0 2 0 331636704 87552000 16125 33554432000 4194304 5964350 140734395619760 140500691736568 4222330 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) 85500
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 15183
/proc/meminfo: memFree=31001248/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=151036 CPUtime=102.27 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 23636 0 0 0 10218 9 0 0 20 0 2 0 331636702 154660864 23538 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 37759 23538 197 433 0 37323 0
[pid=15177/tid=15179] ppid=15175 vsize=151036 CPUtime=102.27 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 22590 0 0 0 10216 11 0 0 20 0 2 0 331636704 154660864 23538 33554432000 4194304 5964350 140734395619760 140500691736568 4400751 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) 151036
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15183
/proc/meminfo: memFree=30943720/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=151396 CPUtime=162.26 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 28706 0 0 0 16213 13 0 0 20 0 2 0 331636702 155029504 28608 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 37849 28608 197 433 0 37413 0
[pid=15177/tid=15179] ppid=15175 vsize=151396 CPUtime=162.27 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 27660 0 0 0 16211 16 0 0 20 0 2 0 331636704 155029504 28608 33554432000 4194304 5964350 140734395619760 140500691736616 4400439 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) 151396
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15183
/proc/meminfo: memFree=30896132/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=151396 CPUtime=222.21 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 33108 0 0 0 22204 17 0 0 20 0 2 0 331636702 155029504 33066 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 37849 33066 197 433 0 37413 0
[pid=15177/tid=15179] ppid=15175 vsize=151396 CPUtime=222.23 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 32062 0 0 0 22203 20 0 0 20 0 2 0 331636704 155029504 33066 33554432000 4194304 5964350 140734395619760 140500691736568 4399840 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) 151396
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15183
/proc/meminfo: memFree=30853620/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=217076 CPUtime=282.2 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 38573 0 0 0 28199 21 0 0 20 0 2 0 331636702 222285824 39372 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 54269 39372 197 433 0 53833 0
[pid=15177/tid=15179] ppid=15175 vsize=217076 CPUtime=282.23 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 37527 0 0 0 28198 25 0 0 20 0 2 0 331636704 222285824 39372 33554432000 4194304 5964350 140734395619760 140500691736376 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 217076
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15184
/proc/meminfo: memFree=30755888/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=217364 CPUtime=342.19 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 43106 0 0 0 34194 25 0 0 20 0 2 0 331636702 222580736 43905 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 54341 43905 197 433 0 53905 0
[pid=15177/tid=15179] ppid=15175 vsize=217364 CPUtime=342.23 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 42060 0 0 0 34193 30 0 0 20 0 2 0 331636704 222580736 43905 33554432000 4194304 5964350 140734395619760 140500691736376 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 217364
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15184
/proc/meminfo: memFree=30730652/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=217364 CPUtime=402.17 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 45917 0 0 0 40190 27 0 0 20 0 2 0 331636702 222580736 46716 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 54341 46716 197 433 0 53905 0
[pid=15177/tid=15179] ppid=15175 vsize=217364 CPUtime=402.24 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 44871 0 0 0 40190 34 0 0 20 0 2 0 331636704 222580736 46716 33554432000 4194304 5964350 140734395619760 140500691736568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 217364
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15184
/proc/meminfo: memFree=30715524/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=217580 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 90991 0 0 0 130118 101 0 0 20 0 2 0 331636704 431501312 93183 33554432000 4194304 5964350 140734395619760 140500691736376 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 421388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15255
/proc/meminfo: memFree=30930812/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=421892 CPUtime=1361.93 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 93454 0 0 0 136110 83 0 0 20 0 2 0 331636702 432017408 94600 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 105473 94600 197 433 0 105037 0
[pid=15177/tid=15179] ppid=15175 vsize=421892 CPUtime=1362.18 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 92408 0 0 0 136114 104 0 0 20 0 2 0 331636704 432017408 94600 33554432000 4194304 5964350 140734395619760 140500691736568 4400352 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 421892
[startup+1422.31 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 15255
/proc/meminfo: memFree=30908580/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=423080 CPUtime=1421.93 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 98571 0 0 0 142102 91 0 0 20 0 2 0 331636702 433233920 99717 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 105770 99717 197 433 0 105334 0
[pid=15177/tid=15179] ppid=15175 vsize=423080 CPUtime=1422.19 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 97525 0 0 0 142107 112 0 0 20 0 2 0 331636704 433233920 99717 33554432000 4194304 5964350 140734395619760 140500691736616 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 423080
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 15255
/proc/meminfo: memFree=30902108/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=423512 CPUtime=1481.91 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 99617 0 0 0 148098 93 0 0 20 0 2 0 331636702 433676288 100763 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 105878 100763 197 433 0 105442 0
[pid=15177/tid=15179] ppid=15175 vsize=423512 CPUtime=1482.19 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 98571 0 0 0 148104 115 0 0 20 0 2 0 331636704 433676288 100763 33554432000 4194304 5964350 140734395619760 140500691736376 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 423512
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15255
/proc/meminfo: memFree=30899880/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=424664 CPUtime=1541.87 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 99994 0 0 0 154094 93 0 0 20 0 2 0 331636702 434855936 101242 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 106166 101242 197 433 0 105730 0
[pid=15177/tid=15179] ppid=15175 vsize=424664 CPUtime=1542.16 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 98948 0 0 0 154099 117 0 0 20 0 2 0 331636704 434855936 101242 33554432000 4194304 5964350 140734395619760 140500691736376 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 424664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15256
/proc/meminfo: memFree=30881152/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=491964 CPUtime=1601.86 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 104838 0 0 0 160085 101 0 0 20 0 2 0 331636702 503771136 106092 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 122991 106092 197 433 0 122555 0
[pid=15177/tid=15179] ppid=15175 vsize=491964 CPUtime=1602.16 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 103792 0 0 0 160090 126 0 0 20 0 2 0 331636704 503771136 106092 33554432000 4194304 5964350 140734395619760 140500691736616 4400009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 491964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15256
/proc/meminfo: memFree=30855608/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=492592 CPUtime=1661.85 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 107301 0 0 0 166080 105 0 0 20 0 2 0 331636702 504414208 108555 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123148 108555 197 433 0 122712 0
[pid=15177/tid=15179] ppid=15175 vsize=492592 CPUtime=1662.17 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 106255 0 0 0 166086 131 0 0 20 0 2 0 331636704 504414208 108555 33554432000 4194304 5964350 140734395619760 140500691736376 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 492592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30838000/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493096 CPUtime=1721.84 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 107529 0 0 0 172079 105 0 0 20 0 2 0 331636702 504930304 108783 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123274 108783 197 433 0 122838 0
[pid=15177/tid=15179] ppid=15175 vsize=493096 CPUtime=1722.17 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 106483 0 0 0 172085 132 0 0 20 0 2 0 331636704 504930304 108783 33554432000 4194304 5964350 140734395619760 140500691736376 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 493096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30818260/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493672 CPUtime=1781.83 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 108195 0 0 0 178077 106 0 0 20 0 2 0 331636702 505520128 109449 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123418 109449 197 433 0 122982 0
[pid=15177/tid=15179] ppid=15175 vsize=493672 CPUtime=1782.17 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 107149 0 0 0 178083 134 0 0 20 0 2 0 331636704 505520128 109449 33554432000 4194304 5964350 140734395619760 140500691736616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 493672
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 15256
/proc/meminfo: memFree=30815220/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1791.43 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 108991 0 0 0 179036 107 0 0 20 0 2 0 331636702 505704448 110245 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110245 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1791.78 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 107945 0 0 0 179043 135 0 0 20 0 2 0 331636704 505704448 110245 33554432000 4194304 5964350 140734395619760 140500691736568 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 493852
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30814228/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1794.64 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109239 0 0 0 179356 108 0 0 20 0 2 0 331636702 505704448 110493 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110493 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1794.98 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108193 0 0 0 179362 136 0 0 20 0 2 0 331636704 505704448 110493 33554432000 4194304 5964350 140734395619760 140500691736616 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 493852
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30813608/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1797.82 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109522 0 0 0 179674 108 0 0 20 0 2 0 331636702 505704448 110776 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110776 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1798.17 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108476 0 0 0 179681 136 0 0 20 0 2 0 331636704 505704448 110776 33554432000 4194304 5964350 140734395619760 140500691736616 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 493852
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30812864/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1798.63 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109589 0 0 0 179754 109 0 0 20 0 2 0 331636702 505704448 110843 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110843 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1798.97 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108543 0 0 0 179761 136 0 0 20 0 2 0 331636704 505704448 110843 33554432000 4194304 5964350 140734395619760 140500691736568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 493852
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30812864/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1799.04 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109624 0 0 0 179795 109 0 0 20 0 2 0 331636702 505704448 110878 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110878 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1799.38 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108578 0 0 0 179802 136 0 0 20 0 2 0 331636704 505704448 110878 33554432000 4194304 5964350 140734395619760 140500691736568 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 493852
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30812864/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1799.43 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109654 0 0 0 179834 109 0 0 20 0 2 0 331636702 505704448 110908 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110908 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1799.77 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108608 0 0 0 179841 136 0 0 20 0 2 0 331636704 505704448 110908 33554432000 4194304 5964350 140734395619760 140500691736616 4403287 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 493852
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15256
/proc/meminfo: memFree=30812864/32873844 swapFree=7900/7900
[pid=15177] ppid=15175 vsize=493852 CPUtime=1799.53 cores=1,3,5,7
/proc/15177/stat : 15177 (wbo1.72) S 15175 15177 12961 0 -1 4202496 109661 0 0 0 179844 109 0 0 20 0 2 0 331636702 505704448 110915 33554432000 4194304 5964350 140734395619760 140734395619280 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15177/statm: 123463 110915 197 433 0 123027 0
[pid=15177/tid=15179] ppid=15175 vsize=493852 CPUtime=1799.87 cores=1,3,5,7
/proc/15177/task/15179/stat : 15179 (wbo1.72) R 15175 15177 12961 0 -1 4202560 108615 0 0 0 179851 136 0 0 20 0 2 0 331636704 505704448 110915 33554432000 4194304 5964350 140734395619760 140500691736616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 493852
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.91
CPU user time (s): 1798.53
CPU system time (s): 1.37779
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 493852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.37779
maximum resident set size= 443668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109663
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= 193
involuntary context switches= 1862
runsolver used 3.09353 second user time and 9.30259 second system time
The end