Trace number 3478949

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.08 1800.04

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-60.opb
MD5SUM3a065af206abae16cc2624cb89dfd6ff
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3478949-1307442263.opb.
0.00/0.00	c Instance file HOME/instance-3478949-1307442263.opb
0.00/0.00	c File size is 12187345 bytes.
0.79/0.83	c Highest Coefficient sum: 271
0.79/0.83	c ============================[ Problem Statistics ]=============================
0.79/0.83	c |                                                                             |
0.79/0.83	c |  Parsing time:          0.81         s                                      |
0.79/0.83	c |  Number Variables:      12587                                               |
0.79/0.83	c |  Number Clauses:        255583                                              |
0.79/0.83	c |  Number Cardinality:    906                                                 |
0.79/0.83	c |  Number PB Constraints: 27909                                               |
0.79/0.87	c ============================[ Search Statistics ]==============================
0.79/0.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.87	c ===============================================================================
0.79/0.87	c |         0 |   12587   284398  1098535 |    94799        0   -nan |  0.000 % |
0.99/1.03	c ============================[ Search Statistics ]==============================
0.99/1.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.03	c ===============================================================================
0.99/1.03	c |         0 |   12587   284398  1098535 |    94799        0   -nan |  0.000 % |
0.99/1.08	c |       100 |   12587   284398  1098535 |   104279      100     39 |  0.000 % |
1.10/1.18	c |       250 |   12587   284398  1098535 |   114707      250     25 |  0.000 % |
1.29/1.38	c |       475 |   12587   284398  1098535 |   126177      475     20 |  0.000 % |
1.59/1.62	c |       812 |   12587   284398  1098535 |   138795      812     27 |  0.000 % |
1.79/1.89	c |      1318 |   12587   284398  1098535 |   152675     1318     31 |  0.000 % |
2.49/2.58	c |      2077 |   12587   284398  1098535 |   167942     2077     30 |  0.000 % |
2.79/2.88	c |      3216 |   12587   284398  1098535 |   184737     3216     33 |  0.000 % |
4.41/4.47	c |      4924 |   12587   284398  1098535 |   203210     4924     31 |  0.000 % |
6.60/6.71	c |      7486 |   12587   284398  1098535 |   223531     7486     31 |  0.000 % |
7.71/7.76	c |     11330 |   12587   284398  1098535 |   245885    11330     38 |  0.000 % |
10.89/10.90	c |     17096 |   12587   284398  1098535 |   270473    17096     37 |  0.000 % |
13.99/14.06	c |     25746 |   12587   284398  1098535 |   297520    25746     44 |  0.000 % |
19.29/19.36	c |     38720 |   12587   284398  1098535 |   327273    38720     44 |  0.000 % |
26.09/26.10	c |     58182 |   12587   284398  1098535 |   360000    58182     54 |  0.000 % |
31.90/31.92	c |     87374 |   12587   284398  1098535 |   396000    87374     53 |  0.000 % |
65.09/65.10	c |    131164 |   12587   284398  1098535 |   435600   131164     51 |  0.000 % |
89.99/90.08	c |    196848 |   12587   284398  1098535 |   479160   196848     52 |  0.000 % |
147.69/147.70	c |    295374 |   12586   284398  1098535 |   527076   295374     50 |  0.008 % |
464.60/464.65	c |    443164 |   12584   284398  1098535 |   579784   443164     49 |  0.024 % |
725.31/725.35	c |    664848 |   12582   284398  1098535 |   637762   112603     41 |  0.040 % |
1418.52/1418.50	c |    997374 |   12582   284398  1098535 |   701538   445129     46 |  0.040 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3478949-1307442263/watcher-3478949-1307442263 -o /tmp/evaluation-result-3478949-1307442263/solver-3478949-1307442263 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478949-1307442263.opb 

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.04 2.03 2.00 3/477 23708
/proc/meminfo: memFree=19282832/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=14408 CPUtime=0.01 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 447 0 0 0 1 0 0 0 25 0 1 0 836641669 14753792 401 33554432000 4194304 5714214 140734737646720 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 3602 401 206 372 0 251 0

[startup+0.109217 s]
/proc/loadavg: 2.04 2.03 2.00 3/477 23708
/proc/meminfo: memFree=19282832/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=18696 CPUtime=0.1 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 1859 0 0 0 10 0 0 0 25 0 1 0 836641669 19144704 1780 33554432000 4194304 5714214 140734737646720 18446744073709551615 4948401 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 4674 1781 545 372 0 1323 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18696

[startup+0.201211 s]
/proc/loadavg: 2.04 2.03 2.00 3/477 23708
/proc/meminfo: memFree=19282832/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=22828 CPUtime=0.19 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 3187 0 0 0 19 0 0 0 25 0 1 0 836641669 23375872 3043 33554432000 4194304 5714214 140734737646720 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 5707 3043 867 372 0 2356 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22828

[startup+0.301188 s]
/proc/loadavg: 2.04 2.03 2.00 3/477 23708
/proc/meminfo: memFree=19282832/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=26972 CPUtime=0.29 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 4604 0 0 0 29 0 0 0 25 0 1 0 836641669 27619328 4460 33554432000 4194304 5714214 140734737646720 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 6743 4460 1226 372 0 3392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26972

[startup+0.701108 s]
/proc/loadavg: 2.04 2.03 2.00 3/477 23708
/proc/meminfo: memFree=19282832/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=43584 CPUtime=0.69 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 10179 0 0 0 68 1 0 0 25 0 1 0 836641669 44630016 9906 33554432000 4194304 5714214 140734737646720 18446744073709551615 4222980 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 10896 9907 2634 372 0 7545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43584

[startup+1.50097 s]
/proc/loadavg: 2.04 2.02 2.00 3/478 23709
/proc/meminfo: memFree=19206316/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=78612 CPUtime=1.49 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 23107 0 0 0 145 4 0 0 18 0 1 0 836641669 80498688 19045 33554432000 4194304 5714214 140734737646720 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 19653 19045 180 372 0 19278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78612

[startup+3.10064 s]
/proc/loadavg: 2.04 2.02 2.00 3/478 23709
/proc/meminfo: memFree=19204952/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=78612 CPUtime=3.09 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 23107 0 0 0 298 11 0 0 21 0 1 0 836641669 80498688 19045 33554432000 4194304 5714214 140734737646720 18446744073709551615 4200621 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 19653 19045 180 372 0 19278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78612

[startup+6.30111 s]
/proc/loadavg: 2.04 2.02 2.00 3/478 23709
/proc/meminfo: memFree=19204200/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=78612 CPUtime=6.29 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 23107 0 0 0 606 23 0 0 25 0 1 0 836641669 80498688 19045 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 19653 19045 180 372 0 19278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78612

[startup+12.701 s]
/proc/loadavg: 2.03 2.02 2.00 3/478 23709
/proc/meminfo: memFree=19203960/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=78612 CPUtime=12.69 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 23112 0 0 0 1231 38 0 0 25 0 1 0 836641669 80498688 19050 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 19653 19050 180 372 0 19278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78612

[startup+25.5007 s]
/proc/loadavg: 2.03 2.02 2.00 3/478 23710
/proc/meminfo: memFree=19204116/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=78612 CPUtime=25.49 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 23130 0 0 0 2490 59 0 0 25 0 1 0 836641669 80498688 19068 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 19653 19068 180 372 0 19278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78612

[startup+51.1012 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 23713
/proc/meminfo: memFree=19182888/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=100844 CPUtime=51.09 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 28523 0 0 0 5034 75 0 0 25 0 1 0 836641669 103264256 24461 33554432000 4194304 5714214 140734737646720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 25211 24461 180 372 0 24836 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 100844

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23715
/proc/meminfo: memFree=19143464/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=138976 CPUtime=102.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 37871 0 0 0 10131 100 0 0 25 0 1 0 836641669 142311424 33809 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 34744 33809 180 372 0 34369 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 138976

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23716
/proc/meminfo: memFree=19108556/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=175564 CPUtime=162.29 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 46860 0 0 0 16106 123 0 0 25 0 1 0 836641669 179777536 42798 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 43891 42798 180 372 0 43516 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 175564

[startup+222.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23718
/proc/meminfo: memFree=19097624/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=188536 CPUtime=222.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 49744 0 0 0 22103 128 0 0 25 0 1 0 836641669 193060864 45682 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 47134 45682 180 372 0 46759 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 188536

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23719
/proc/meminfo: memFree=19086076/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=199960 CPUtime=282.3 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 52600 0 0 0 28094 136 0 0 25 0 1 0 836641669 204759040 48538 33554432000 4194304 5714214 140734737646720 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 49990 48538 180 372 0 49615 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 199960

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23721
/proc/meminfo: memFree=19074660/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=210640 CPUtime=342.3 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 55247 0 0 0 34089 141 0 0 25 0 1 0 836641669 215695360 51185 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 52660 51185 180 372 0 52285 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 210640

[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/478 23723
/proc/meminfo: memFree=19060636/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=221344 CPUtime=402.3 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 57886 0 0 0 40083 147 0 0 25 0 1 0 836641669 226656256 53824 33554432000 4194304 5714214 140734737646720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 55336 53824 180 372 0 54961 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 221344

[startup+462.301 s]
/proc/loadavg: 2.17 2.07 2.02 3/478 23724
/proc/meminfo: memFree=19025632/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=232328 CPUtime=462.3 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 60631 0 0 0 46076 154 0 0 25 0 1 0 836641669 237903872 56569 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 58082 56569 180 372 0 57707 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 232328

[startup+522.301 s]
/proc/loadavg: 2.10 2.06 2.02 3/478 23726
/proc/meminfo: memFree=18975392/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=246344 CPUtime=522.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 63470 0 0 0 52070 161 0 0 25 0 1 0 836641669 252256256 59408 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 61586 59408 180 372 0 61211 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 246344

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/478 23727
/proc/meminfo: memFree=18915484/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=265904 CPUtime=582.3 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 68521 0 0 0 58059 171 0 0 25 0 1 0 836641669 272285696 64459 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 66476 64459 180 372 0 66101 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 265904

[startup+642.301 s]

################
# More data... #
################

[startup+882.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23735
/proc/meminfo: memFree=18714632/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=299044 CPUtime=882.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 76607 0 0 0 88005 228 0 0 25 0 1 0 836641669 306221056 72545 33554432000 4194304 5714214 140734737646720 18446744073709551615 4198963 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 74761 72545 180 372 0 74386 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 299044

[startup+942.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/478 23737
/proc/meminfo: memFree=18685480/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=299844 CPUtime=942.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 76786 0 0 0 93995 236 0 0 25 0 1 0 836641669 307040256 72724 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 74961 72724 180 372 0 74586 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 299844

[startup+1002.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/478 23739
/proc/meminfo: memFree=18656204/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=301124 CPUtime=1002.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 77061 0 0 0 99989 242 0 0 25 0 1 0 836641669 308350976 72999 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 75281 72999 180 372 0 74906 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 301124

[startup+1062.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/478 23740
/proc/meminfo: memFree=18620108/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=302084 CPUtime=1062.31 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 77269 0 0 0 105982 249 0 0 25 0 1 0 836641669 309334016 73207 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 75521 73207 180 372 0 75146 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 302084

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/478 23742
/proc/meminfo: memFree=18589848/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=304964 CPUtime=1122.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 77905 0 0 0 111979 253 0 0 25 0 1 0 836641669 312283136 73843 33554432000 4194304 5714214 140734737646720 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76241 73843 180 372 0 75866 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 304964

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 23743
/proc/meminfo: memFree=18556976/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=305444 CPUtime=1182.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 78068 0 0 0 117973 259 0 0 25 0 1 0 836641669 312774656 74006 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76361 74006 180 372 0 75986 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 305444

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23745
/proc/meminfo: memFree=18530556/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=305444 CPUtime=1242.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 78097 0 0 0 123970 262 0 0 25 0 1 0 836641669 312774656 74035 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76361 74035 180 372 0 75986 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 305444

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23747
/proc/meminfo: memFree=18502396/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=305444 CPUtime=1302.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 78101 0 0 0 129965 267 0 0 25 0 1 0 836641669 312774656 74039 33554432000 4194304 5714214 140734737646720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76361 74039 180 372 0 75986 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 305444

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23748
/proc/meminfo: memFree=18475468/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=306164 CPUtime=1362.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 78265 0 0 0 135962 271 0 0 25 0 1 0 836641669 313511936 74203 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76541 74203 180 372 0 76166 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 306164

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23750
/proc/meminfo: memFree=18445940/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=306884 CPUtime=1422.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 78481 0 0 0 141953 280 0 0 25 0 1 0 836641669 314249216 74419 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 76721 74419 180 372 0 76346 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 306884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23751
/proc/meminfo: memFree=18405128/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=322540 CPUtime=1482.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 82170 0 0 0 147942 290 0 0 25 0 1 0 836641669 330280960 78108 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 80635 78108 180 372 0 80260 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 322540

[startup+1542.32 s]
/proc/loadavg: 2.24 2.06 2.02 3/478 23753
/proc/meminfo: memFree=18357992/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=341080 CPUtime=1542.35 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 86812 0 0 0 153925 310 0 0 25 0 1 0 836641669 349265920 82750 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 85270 82750 180 372 0 84895 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 341080

[startup+1602.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/478 23755
/proc/meminfo: memFree=18310728/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=361876 CPUtime=1602.32 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 91964 0 0 0 159906 326 0 0 25 0 1 0 836641669 370561024 87902 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 90469 87902 180 372 0 90094 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 361876

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/478 23756
/proc/meminfo: memFree=18268432/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=381144 CPUtime=1662.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 96911 0 0 0 165894 339 0 0 25 0 1 0 836641669 390291456 92849 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 95286 92849 180 372 0 94911 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 381144

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/478 23758
/proc/meminfo: memFree=18216096/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=410604 CPUtime=1722.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 103585 0 0 0 171877 356 0 0 25 0 1 0 836641669 420458496 99523 33554432000 4194304 5714214 140734737646720 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 102651 99523 180 372 0 102276 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 410604

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 23787
/proc/meminfo: memFree=20612416/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=431424 CPUtime=1782.33 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 108784 0 0 0 177841 392 0 0 25 0 1 0 836641669 441778176 104722 33554432000 4194304 5714214 140734737646720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 107856 104722 180 372 0 107481 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 431424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23788
/proc/meminfo: memFree=20585828/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=439844 CPUtime=1800.04 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 110879 0 0 0 179601 403 0 0 25 0 1 0 836641669 450400256 106817 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 109961 106817 180 372 0 109586 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 439844

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23788
/proc/meminfo: memFree=20585828/32951124 swapFree=67057928/67111528
[pid=23708] ppid=23706 vsize=439844 CPUtime=1800.04 cores=0,2,4,6
/proc/23708/stat : 23708 (wbo1.6) R 23706 23708 23281 0 -1 4202496 110879 0 0 0 179601 403 0 0 25 0 1 0 836641669 450400256 106817 33554432000 4194304 5714214 140734737646720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23708/statm: 109961 106817 180 372 0 109586 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 439844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.02
CPU system time (s): 4.05938
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 439844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.02
system time used= 4.05938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110879
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= 3148

runsolver used 8.76267 second user time and 19.0871 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-07 12:24:23
IDJOB=3478949
IDBENCH=89783
IDSOLVER=1953
FILE ID=node140/3478949-1307442263
RUNJOBID= node140-1307436782-23299
PBS_JOBID= 13519948
Free space on /tmp= 73444 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-60.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478949-1307442263/watcher-3478949-1307442263 -o /tmp/evaluation-result-3478949-1307442263/solver-3478949-1307442263 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478949-1307442263.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3a065af206abae16cc2624cb89dfd6ff
RANDOM SEED=1911172430

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19282988 kB
Buffers:        337084 kB
Cached:        4516076 kB
SwapCached:       6932 kB
Active:        9402764 kB
Inactive:      3924488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19282988 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:          298748 kB
Writeback:           0 kB
AnonPages:     8472368 kB
Mapped:          38824 kB
Slab:           216876 kB
PageTables:      55324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 143006044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73712 MiB
End job on node140 at 2011-06-07 12:54:26