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-3712905-1338201121/watcher-3712905-1338201121 -o /tmp/evaluation-result-3712905-1338201121/solver-3712905-1338201121 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712905-1338201121.wbo
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.03 2.01 2.00 3/177 2447
/proc/meminfo: memFree=30953632/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 2 0 286237827 85729280 744 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 744 193 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 2 0 286237827 85729280 745 33554432000 4194304 5964318 140737280297344 140736096100360 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0456261 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2447
/proc/meminfo: memFree=30953632/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=0.04 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 939 0 0 0 4 0 0 0 20 0 2 0 286237827 85729280 888 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 888 194 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=0.03 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 217 0 0 0 3 0 0 0 20 0 2 0 286237827 85729280 888 33554432000 4194304 5964318 140737280297344 140736096100360 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83720
[startup+0.100292 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2447
/proc/meminfo: memFree=30953632/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=0.09 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 1076 0 0 0 9 0 0 0 20 0 2 0 286237827 85729280 1025 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 1025 194 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=0.08 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 354 0 0 0 8 0 0 0 20 0 2 0 286237827 85729280 1025 33554432000 4194304 5964318 140737280297344 140736096100360 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83720
[startup+0.300255 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2447
/proc/meminfo: memFree=30953632/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=0.29 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 1441 0 0 0 29 0 0 0 20 0 2 0 286237827 85729280 1390 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 1390 194 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=0.28 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 719 0 0 0 28 0 0 0 20 0 2 0 286237827 85729280 1390 33554432000 4194304 5964318 140737280297344 140736096100360 5179147 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83720
[startup+0.700251 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2447
/proc/meminfo: memFree=30953632/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=0.69 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 1982 0 0 0 69 0 0 0 20 0 2 0 286237827 85729280 1931 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 1931 194 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=0.68 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 1260 0 0 0 68 0 0 0 20 0 2 0 286237827 85729280 1931 33554432000 4194304 5964318 140737280297344 140052926691256 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83720
[startup+1.50025 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30946408/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83864 CPUtime=1.49 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 2431 0 0 0 149 0 0 0 20 0 2 0 286237827 85876736 2380 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20966 2380 194 433 0 20530 0
[pid=2447/tid=2448] ppid=2445 vsize=83864 CPUtime=1.48 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 1709 0 0 0 148 0 0 0 20 0 2 0 286237827 85876736 2380 33554432000 4194304 5964318 140737280297344 140052926691320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.10026 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30944168/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83936 CPUtime=3.09 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 3224 0 0 0 309 0 0 0 20 0 2 0 286237827 85950464 3173 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20984 3173 194 433 0 20548 0
[pid=2447/tid=2448] ppid=2445 vsize=83936 CPUtime=3.07 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 2502 0 0 0 307 0 0 0 20 0 2 0 286237827 85950464 3173 33554432000 4194304 5964318 140737280297344 140052926691320 4388989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83936
[startup+6.30025 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30941688/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=6.28 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 3582 0 0 0 628 0 0 0 20 0 2 0 286237827 85729280 3327 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 3327 198 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=6.26 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 2860 0 0 0 626 0 0 0 20 0 2 0 286237827 85729280 3327 33554432000 4194304 5964318 140737280297344 140052926692280 4390782 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) 83720
Solver just ended. Dumping a history of the last processes samples
[startup+7.90027 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30936116/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=7.89 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 4801 0 0 0 788 1 0 0 20 0 2 0 286237827 85729280 4546 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 4546 198 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=7.86 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 4079 0 0 0 785 1 0 0 20 0 2 0 286237827 85729280 4546 33554432000 4194304 5964318 140737280297344 140052926691320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 83720
[startup+8.70029 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30933884/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=8.69 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 5298 0 0 0 868 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 5043 198 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=8.67 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 4576 0 0 0 866 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140052926691128 4382161 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 83720
[startup+9.50025 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30933884/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=9.48 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 5298 0 0 0 947 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 5043 198 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=9.46 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 4576 0 0 0 945 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140052926691704 4387852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 83720
[startup+9.90649 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2449
/proc/meminfo: memFree=30933900/32873844 swapFree=7112/7112
[pid=2447] ppid=2445 vsize=83720 CPUtime=9.89 cores=1,3,5,7
/proc/2447/stat : 2447 (wbo1.71) S 2445 2447 1215 0 -1 4202496 5298 0 0 0 988 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140737280296864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2447/statm: 20930 5043 198 433 0 20494 0
[pid=2447/tid=2448] ppid=2445 vsize=83720 CPUtime=9.86 cores=1,3,5,7
/proc/2447/task/2448/stat : 2448 (wbo1.71) R 2445 2447 1215 0 -1 4202560 4576 0 0 0 985 1 0 0 20 0 2 0 286237827 85729280 5043 33554432000 4194304 5964318 140737280297344 140052926691704 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 83720
Child status: 255
Real time (s): 9.99163
CPU time (s): 9.97148
CPU user time (s): 9.94949
CPU system time (s): 0.021996
CPU usage (%): 99.7984
Max. virtual memory (cumulated for all children) (KiB): 83936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.94949
system time used= 0.021996
maximum resident set size= 20184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5301
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= 11
runsolver used 0.023996 second user time and 0.048992 second system time
The end