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-3712927-1338200841/watcher-3712927-1338200841 -o /tmp/evaluation-result-3712927-1338200841/solver-3712927-1338200841 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712927-1338200841.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.00 1.98 2/178 19146
/proc/meminfo: memFree=30461620/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 2 0 286210157 85729280 744 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 744 193 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 2 0 286210157 85729280 744 33554432000 4194304 5964318 140736847969584 140733615932200 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0831031 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 19146
/proc/meminfo: memFree=30461620/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=0.08 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 1057 0 0 0 8 0 0 0 20 0 2 0 286210157 85729280 1007 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 1007 194 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=0.06 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 336 0 0 0 6 0 0 0 20 0 2 0 286210157 85729280 1008 33554432000 4194304 5964318 140736847969584 140733615932200 5136324 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) 83720
[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 19146
/proc/meminfo: memFree=30461620/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=0.09 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 1098 0 0 0 9 0 0 0 20 0 2 0 286210157 85729280 1048 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 1048 194 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=0.08 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 376 0 0 0 8 0 0 0 20 0 2 0 286210157 85729280 1048 33554432000 4194304 5964318 140736847969584 140733615932200 5136324 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) 83720
[startup+0.300206 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 19146
/proc/meminfo: memFree=30461620/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=0.29 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 1504 0 0 0 29 0 0 0 20 0 2 0 286210157 85729280 1454 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 1454 194 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=0.28 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 782 0 0 0 28 0 0 0 20 0 2 0 286210157 85729280 1454 33554432000 4194304 5964318 140736847969584 140176088524840 5136324 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) 83720
[startup+0.700213 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 19146
/proc/meminfo: memFree=30461620/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83864 CPUtime=0.69 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 2077 0 0 0 69 0 0 0 20 0 2 0 286210157 85876736 2027 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20966 2027 194 433 0 20530 0
[pid=19146/tid=19147] ppid=19144 vsize=83864 CPUtime=0.68 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 1355 0 0 0 68 0 0 0 20 0 2 0 286210157 85876736 2027 33554432000 4194304 5964318 140736847969584 140176088524840 4431599 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) 83864
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19148
/proc/meminfo: memFree=30454256/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83864 CPUtime=1.48 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 2558 0 0 0 148 0 0 0 20 0 2 0 286210157 85876736 3010 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20966 3010 194 433 0 20530 0
[pid=19146/tid=19147] ppid=19144 vsize=83864 CPUtime=1.48 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 1836 0 0 0 148 0 0 0 20 0 2 0 286210157 85876736 3010 33554432000 4194304 5964318 140736847969584 140176088524792 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83864
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19148
/proc/meminfo: memFree=30449164/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83864 CPUtime=3.09 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 3248 0 0 0 308 1 0 0 20 0 2 0 286210157 85876736 3700 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20966 3700 194 433 0 20530 0
[pid=19146/tid=19147] ppid=19144 vsize=83864 CPUtime=3.08 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 2526 0 0 0 308 0 0 0 20 0 2 0 286210157 85876736 3700 33554432000 4194304 5964318 140736847969584 140176088524600 4399824 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) 83864
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19148
/proc/meminfo: memFree=30442096/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=6.29 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 4410 0 0 0 628 1 0 0 20 0 2 0 286210157 85729280 4254 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 4254 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=6.28 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 3688 0 0 0 627 1 0 0 20 0 2 0 286210157 85729280 4254 33554432000 4194304 5964318 140736847969584 140176088525336 4400001 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) 83720
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19148
/proc/meminfo: memFree=30430928/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=12.68 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 5156 0 0 0 1267 1 0 0 20 0 2 0 286210157 85729280 5397 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 5397 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=12.68 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 4434 0 0 0 1266 2 0 0 20 0 2 0 286210157 85729280 5397 33554432000 4194304 5964318 140736847969584 140176088525144 4399973 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) 83720
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19148
/proc/meminfo: memFree=30431176/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=25.48 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 5403 0 0 0 2547 1 0 0 20 0 2 0 286210157 85729280 5499 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 5499 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=25.48 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 4681 0 0 0 2546 2 0 0 20 0 2 0 286210157 85729280 5499 33554432000 4194304 5964318 140736847969584 140176088525176 4399824 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) 83720
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30423688/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=51.08 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7342 0 0 0 5106 2 0 0 20 0 2 0 286210157 85729280 7354 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7354 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=51.08 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6620 0 0 0 5105 3 0 0 20 0 2 0 286210157 85729280 7354 33554432000 4194304 5964318 140736847969584 140176088525336 4399995 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) 83720
Solver just ended. Dumping a history of the last processes samples
[startup+63.9002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30418960/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=63.87 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7358 0 0 0 6385 2 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7363 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=63.87 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6636 0 0 0 6384 3 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140176088525336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 83720
[startup+76.7001 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419456/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=76.67 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7358 0 0 0 7665 2 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7363 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=76.67 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6636 0 0 0 7663 4 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140176088525336 4399879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 83720
[startup+79.9001 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419580/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=79.87 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7358 0 0 0 7985 2 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7363 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=79.87 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6636 0 0 0 7983 4 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140176088525336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (KiB) 83720
[startup+81.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419224/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=81.47 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7358 0 0 0 8145 2 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7363 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=81.47 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6636 0 0 0 8143 4 0 0 20 0 2 0 286210157 85729280 7363 33554432000 4194304 5964318 140736847969584 140176088525336 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 81.47
Current children cumulated vsize (KiB) 83720
[startup+83.1001 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419224/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=83.07 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7365 0 0 0 8305 2 0 0 20 0 2 0 286210157 85729280 7370 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7370 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=83.07 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6643 0 0 0 8303 4 0 0 20 0 2 0 286210157 85729280 7370 33554432000 4194304 5964318 140736847969584 140176088525336 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 83720
[startup+83.9001 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419228/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=83.87 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7397 0 0 0 8385 2 0 0 20 0 2 0 286210157 85729280 7402 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7402 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=83.87 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 6675 0 0 0 8383 4 0 0 20 0 2 0 286210157 85729280 7402 33554432000 4194304 5964318 140736847969584 140176088524600 4399993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 83.87
Current children cumulated vsize (KiB) 83720
[startup+84.3002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19148
/proc/meminfo: memFree=30419228/32873648 swapFree=6860/6860
[pid=19146] ppid=19144 vsize=83720 CPUtime=84.27 cores=0,2,4,6
/proc/19146/stat : 19146 (wbo1.71) S 19144 19146 18639 0 -1 4202496 7803 0 0 0 8425 2 0 0 20 0 2 0 286210157 85729280 7808 33554432000 4194304 5964318 140736847969584 140736847969104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19146/statm: 20930 7808 198 433 0 20494 0
[pid=19146/tid=19147] ppid=19144 vsize=83720 CPUtime=84.27 cores=0,2,4,6
/proc/19146/task/19147/stat : 19147 (wbo1.71) R 19144 19146 18639 0 -1 4202560 7081 0 0 0 8423 4 0 0 20 0 2 0 286210157 85729280 7808 33554432000 4194304 5964318 140736847969584 140176088524792 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 84.27
Current children cumulated vsize (KiB) 83720
Child status: 255
Real time (s): 84.3837
CPU time (s): 84.3692
CPU user time (s): 84.3182
CPU system time (s): 0.050992
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 84044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.3182
system time used= 0.050992
maximum resident set size= 31668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7912
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= 15
involuntary context switches= 104
runsolver used 0.111982 second user time and 0.350946 second system time
The end