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-3704679-1338079671/watcher-3704679-1338079671 -o /tmp/evaluation-result-3704679-1338079671/solver-3704679-1338079671 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704679-1338079671.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.03 2.00 3/177 14234
/proc/meminfo: memFree=31220412/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=3228 CPUtime=0 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) R 14232 14234 12452 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 274092978 3305472 263 33554432000 4194304 5963574 140735514139728 140735514137608 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 807 263 168 432 0 351 0
[startup+0.05279 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 14234
/proc/meminfo: memFree=31220412/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=83836 CPUtime=0.04 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 1035 0 0 0 4 0 0 0 20 0 2 0 274092978 85848064 966 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 20959 966 185 432 0 20524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83836
[startup+0.100152 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 14234
/proc/meminfo: memFree=31220412/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=83836 CPUtime=0.09 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 1161 0 0 0 9 0 0 0 20 0 2 0 274092978 85848064 1092 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 20959 1092 185 432 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83836
[startup+0.300116 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 14234
/proc/meminfo: memFree=31220412/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=83836 CPUtime=0.29 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 1555 0 0 0 29 0 0 0 20 0 2 0 274092978 85848064 1486 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 20959 1486 185 432 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83836
[startup+0.700114 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 14234
/proc/meminfo: memFree=31220412/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=83980 CPUtime=0.68 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 1918 0 0 0 68 0 0 0 20 0 2 0 274092978 85995520 1849 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 20995 1849 185 432 0 20560 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83980
[startup+1.50021 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14236
/proc/meminfo: memFree=31212576/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=83980 CPUtime=1.47 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 2504 0 0 0 147 0 0 0 20 0 2 0 274092978 85995520 2435 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 20995 2435 185 432 0 20560 0
[pid=14234/tid=14236] ppid=14232 vsize=83980 CPUtime=1.47 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 1714 0 0 0 147 0 0 0 20 0 2 0 274092979 85995520 2435 33554432000 4194304 5963574 140735514139728 140365061171000 5135642 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 83980
[startup+3.10026 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 14236
/proc/meminfo: memFree=31209964/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=84052 CPUtime=3.08 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 3412 0 0 0 307 1 0 0 20 0 2 0 274092978 86069248 3343 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21013 3343 185 432 0 20578 0
[pid=14234/tid=14236] ppid=14232 vsize=84052 CPUtime=3.07 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 2622 0 0 0 307 0 0 0 20 0 2 0 274092979 86069248 3343 33554432000 4194304 5963574 140735514139728 140365061171000 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84052
[startup+6.30026 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 14236
/proc/meminfo: memFree=31196872/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=84160 CPUtime=6.27 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 4868 0 0 0 626 1 0 0 20 0 2 0 274092978 86179840 4799 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21040 4799 185 432 0 20605 0
[pid=14234/tid=14236] ppid=14232 vsize=84160 CPUtime=6.27 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 4078 0 0 0 625 2 0 0 20 0 2 0 274092979 86179840 4799 33554432000 4194304 5963574 140735514139728 140365061171000 4391048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 84160
[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 14236
/proc/meminfo: memFree=31181508/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=84320 CPUtime=12.68 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 6533 0 0 0 1266 2 0 0 20 0 2 0 274092978 86343680 6464 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21080 6464 185 432 0 20645 0
[pid=14234/tid=14236] ppid=14232 vsize=84320 CPUtime=12.67 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 5743 0 0 0 1264 3 0 0 20 0 2 0 274092979 86343680 6464 33554432000 4194304 5963574 140735514139728 140365061171000 4399522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84320
[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 14236
/proc/meminfo: memFree=31159808/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=84752 CPUtime=25.47 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 9585 0 0 0 2544 3 0 0 20 0 2 0 274092978 86786048 9516 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21188 9516 185 432 0 20753 0
[pid=14234/tid=14236] ppid=14232 vsize=84752 CPUtime=25.47 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 8795 0 0 0 2543 4 0 0 20 0 2 0 274092979 86786048 9516 33554432000 4194304 5963574 140735514139728 140365061171192 4399477 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 84752
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 14236
/proc/meminfo: memFree=31146916/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=85568 CPUtime=31.87 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 10515 0 0 0 3184 3 0 0 20 0 2 0 274092978 87621632 10446 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21392 10446 185 432 0 20957 0
[pid=14234/tid=14236] ppid=14232 vsize=85568 CPUtime=31.88 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 9725 0 0 0 3184 4 0 0 20 0 2 0 274092979 87621632 10446 33554432000 4194304 5963574 140735514139728 140365061171000 4431489 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 85568
[startup+38.3003 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 14236
/proc/meminfo: memFree=31140088/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=85712 CPUtime=38.27 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 12160 0 0 0 3823 4 0 0 20 0 2 0 274092978 87769088 12087 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21428 12087 185 432 0 20993 0
[pid=14234/tid=14236] ppid=14232 vsize=85712 CPUtime=38.27 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 11370 0 0 0 3822 5 0 0 20 0 2 0 274092979 87769088 12087 33554432000 4194304 5963574 140735514139728 140365061171192 4388668 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 85712
[startup+39.9002 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 14236
/proc/meminfo: memFree=31135004/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=86216 CPUtime=39.86 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 12743 0 0 0 3982 4 0 0 20 0 2 0 274092978 88285184 12670 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21554 12670 185 432 0 21119 0
[pid=14234/tid=14236] ppid=14232 vsize=86216 CPUtime=39.87 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 11953 0 0 0 3982 5 0 0 20 0 2 0 274092979 88285184 12670 33554432000 4194304 5963574 140735514139728 140365061171240 4400558 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (KiB) 86216
[startup+41.5002 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 14236
/proc/meminfo: memFree=31132524/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=86504 CPUtime=41.46 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 13271 0 0 0 4142 4 0 0 20 0 2 0 274092978 88580096 13198 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21626 13198 185 432 0 21191 0
[pid=14234/tid=14236] ppid=14232 vsize=86504 CPUtime=41.47 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 12481 0 0 0 4142 5 0 0 20 0 2 0 274092979 88580096 13198 33554432000 4194304 5963574 140735514139728 140365061171192 4400055 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 86504
[startup+41.9002 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 14236
/proc/meminfo: memFree=31129672/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=86504 CPUtime=41.86 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 13281 0 0 0 4182 4 0 0 20 0 2 0 274092978 88580096 13208 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21626 13208 185 432 0 21191 0
[pid=14234/tid=14236] ppid=14232 vsize=86504 CPUtime=41.87 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 12491 0 0 0 4182 5 0 0 20 0 2 0 274092979 88580096 13208 33554432000 4194304 5963574 140735514139728 140365061171192 4378939 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 41.86
Current children cumulated vsize (KiB) 86504
[startup+42.1002 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 14236
/proc/meminfo: memFree=31129672/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=86504 CPUtime=42.06 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) S 14232 14234 12452 0 -1 4202496 13281 0 0 0 4202 4 0 0 20 0 2 0 274092978 88580096 13208 33554432000 4194304 5963574 140735514139728 140735514139248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 21626 13208 185 432 0 21191 0
[pid=14234/tid=14236] ppid=14232 vsize=86504 CPUtime=42.07 cores=1,3,5,7
/proc/14234/task/14236/stat : 14236 (wbo1.7) R 14232 14234 12452 0 -1 4202560 12491 0 0 0 4202 5 0 0 20 0 2 0 274092979 88580096 13208 33554432000 4194304 5963574 140735514139728 140365061171240 5130146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 42.06
Current children cumulated vsize (KiB) 86504
[startup+42.2002 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 14236
/proc/meminfo: memFree=31129672/32873648 swapFree=7112/7112
[pid=14234] ppid=14232 vsize=0 CPUtime=42.18 cores=1,3,5,7
/proc/14234/stat : 14234 (wbo1.7) R 14232 14234 12452 0 -1 4203524 13284 0 0 0 4212 6 0 0 20 0 1 0 274092978 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 42.2028
CPU time (s): 42.1936
CPU user time (s): 42.1296
CPU system time (s): 0.06399
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 86504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1296
system time used= 0.06399
maximum resident set size= 52844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13284
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= 8
involuntary context switches= 73
runsolver used 0.06499 second user time and 0.181972 second system time
The end