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-3713176-1338214702/watcher-3713176-1338214702 -o /tmp/evaluation-result-3713176-1338214702/solver-3713176-1338214702 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713176-1338214702.wbo
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.00 2.01 2.00 3/177 4173
/proc/meminfo: memFree=30755432/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 2 0 287595870 85659648 748 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 748 192 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 2 0 287595871 85659648 748 33554432000 4194304 5964318 140735001197296 140734365263400 4387855 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.079785 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4173
/proc/meminfo: memFree=30755432/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=0.07 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 1053 0 0 0 7 0 0 0 20 0 2 0 287595870 85659648 1003 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 1003 194 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=0.06 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 328 0 0 0 6 0 0 0 20 0 2 0 287595871 85659648 1003 33554432000 4194304 5964318 140735001197296 140734365263400 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83652
[startup+0.100339 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4173
/proc/meminfo: memFree=30755432/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=0.09 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 1108 0 0 0 9 0 0 0 20 0 2 0 287595870 85659648 1058 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 1058 194 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=0.08 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 383 0 0 0 8 0 0 0 20 0 2 0 287595871 85659648 1058 33554432000 4194304 5964318 140735001197296 140734365263400 4399991 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) 83652
[startup+0.300301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4173
/proc/meminfo: memFree=30755432/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=0.29 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 1520 0 0 0 29 0 0 0 20 0 2 0 287595870 85659648 1470 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 1470 194 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=0.28 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 795 0 0 0 28 0 0 0 20 0 2 0 287595871 85659648 1470 33554432000 4194304 5964318 140735001197296 140734365263400 4399991 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) 83652
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4173
/proc/meminfo: memFree=30755432/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=0.69 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 2027 0 0 0 69 0 0 0 20 0 2 0 287595870 85659648 1977 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 1977 194 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=0.68 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 1302 0 0 0 68 0 0 0 20 0 2 0 287595871 85659648 1977 33554432000 4194304 5964318 140735001197296 140734365263400 4399824 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) 83652
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4175
/proc/meminfo: memFree=30747340/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83796 CPUtime=1.49 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 2458 0 0 0 149 0 0 0 20 0 2 0 287595870 85807104 2408 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20949 2408 194 433 0 20513 0
[pid=4173/tid=4174] ppid=4171 vsize=83796 CPUtime=1.48 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 1733 0 0 0 148 0 0 0 20 0 2 0 287595871 85807104 2408 33554432000 4194304 5964318 140735001197296 140602119927608 4221120 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) 83796
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4175
/proc/meminfo: memFree=30745604/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83796 CPUtime=3.09 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 3043 0 0 0 309 0 0 0 20 0 2 0 287595870 85807104 2993 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20949 2993 194 433 0 20513 0
[pid=4173/tid=4174] ppid=4171 vsize=83796 CPUtime=3.07 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 2318 0 0 0 307 0 0 0 20 0 2 0 287595871 85807104 2993 33554432000 4194304 5964318 140735001197296 140602119927608 4399991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83796
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4175
/proc/meminfo: memFree=30740768/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83868 CPUtime=6.29 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 4552 0 0 0 628 1 0 0 20 0 2 0 287595870 85880832 4502 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20967 4502 194 433 0 20531 0
[pid=4173/tid=4174] ppid=4171 vsize=83868 CPUtime=6.27 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 3827 0 0 0 627 0 0 0 20 0 2 0 287595871 85880832 4502 33554432000 4194304 5964318 140735001197296 140602119927800 4391313 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) 83868
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 4175
/proc/meminfo: memFree=30735312/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=12.69 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 5067 0 0 0 1268 1 0 0 20 0 2 0 287595870 85659648 4965 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 4965 198 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=12.65 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 4342 0 0 0 1264 1 0 0 20 0 2 0 287595871 85659648 4965 33554432000 4194304 5964318 140735001197296 140602119928760 4399993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83652
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4176
/proc/meminfo: memFree=30735560/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=15.89 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 5067 0 0 0 1588 1 0 0 20 0 2 0 287595870 85659648 4965 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 4965 198 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=15.84 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 4342 0 0 0 1583 1 0 0 20 0 2 0 287595871 85659648 4965 33554432000 4194304 5964318 140735001197296 140602119928344 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 83652
[startup+17.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4176
/proc/meminfo: memFree=30734196/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83652 CPUtime=17.49 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 5510 0 0 0 1748 1 0 0 20 0 2 0 287595870 85659648 5408 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20913 5408 198 433 0 20477 0
[pid=4173/tid=4174] ppid=4171 vsize=83652 CPUtime=17.44 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 4785 0 0 0 1743 1 0 0 20 0 2 0 287595871 85659648 5408 33554432000 4194304 5964318 140735001197296 140602119927800 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 83652
[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4176
/proc/meminfo: memFree=30733204/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83976 CPUtime=19.09 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 6451 0 0 0 1908 1 0 0 20 0 2 0 287595870 85991424 6349 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20994 6349 198 433 0 20558 0
[pid=4173/tid=4174] ppid=4171 vsize=83976 CPUtime=19.03 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 5726 0 0 0 1902 1 0 0 20 0 2 0 287595871 85991424 6349 33554432000 4194304 5964318 140735001197296 140602119927800 4400423 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 83976
[startup+19.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4176
/proc/meminfo: memFree=30733204/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83976 CPUtime=19.49 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 6996 0 0 0 1948 1 0 0 20 0 2 0 287595870 85991424 6894 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20994 6894 198 433 0 20558 0
[pid=4173/tid=4174] ppid=4171 vsize=83976 CPUtime=19.43 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 6271 0 0 0 1942 1 0 0 20 0 2 0 287595871 85991424 6894 33554432000 4194304 5964318 140735001197296 140602119927800 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.49
Current children cumulated vsize (KiB) 83976
[startup+19.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4176
/proc/meminfo: memFree=30726616/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83976 CPUtime=19.89 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 7562 0 0 0 1988 1 0 0 20 0 2 0 287595870 85991424 7460 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20994 7460 198 433 0 20558 0
[pid=4173/tid=4174] ppid=4171 vsize=83976 CPUtime=19.83 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 6837 0 0 0 1982 1 0 0 20 0 2 0 287595871 85991424 7460 33554432000 4194304 5964318 140735001197296 140602119927800 4379296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 83976
[startup+20.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4176
/proc/meminfo: memFree=30726616/32873844 swapFree=7112/7112
[pid=4173] ppid=4171 vsize=83976 CPUtime=19.99 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.71) S 4171 4173 1215 0 -1 4202496 7565 0 0 0 1998 1 0 0 20 0 2 0 287595870 85991424 7463 33554432000 4194304 5964318 140735001197296 140735001196816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4173/statm: 20994 7463 198 433 0 20558 0
[pid=4173/tid=4174] ppid=4171 vsize=83976 CPUtime=19.93 cores=0,2,4,6
/proc/4173/task/4174/stat : 4174 (wbo1.71) R 4171 4173 1215 0 -1 4202560 6840 0 0 0 1992 1 0 0 20 0 2 0 287595871 85991424 7463 33554432000 4194304 5964318 140735001197296 140602119927608 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 83976
Child status: 255
Real time (s): 20.0757
CPU time (s): 20.022
CPU user time (s): 19.998
CPU system time (s): 0.023996
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 83976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.998
system time used= 0.023996
maximum resident set size= 29880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7572
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= 4
involuntary context switches= 21
runsolver used 0.094985 second user time and 0.203968 second system time
The end