Trace number 3461546

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.19 1800.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
Number of bits of the biggest sum of numbers13
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.01	c wbo 1.6 beta - 20110321
0.00/0.01	c Parsing opb file format. File HOME/instance-3461546-1307106119.opb.
0.00/0.01	c Instance file HOME/instance-3461546-1307106119.opb
0.00/0.01	c File size is 6868 bytes.
0.00/0.01	c Highest Coefficient sum: 4594
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.00         s                                      |
0.00/0.01	c |  Number Variables:      61                                                  |
0.00/0.01	c |  Number Clauses:        1                                                   |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 14                                                  |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      60       15      836 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      60       15      836 |     5000        0   -nan |  0.000 % |
0.00/0.01	c |       101 |      60       15      836 |     5500      101     38 |  1.667 % |
0.00/0.02	c |       251 |      60       15      836 |     6050      251     37 |  1.667 % |
0.00/0.02	c |       476 |      60       15      836 |     6655      476     36 |  1.667 % |
0.00/0.04	c |       813 |      60       15      836 |     7320      813     36 |  1.667 % |
0.00/0.05	c |      1319 |      60       15      836 |     8052     1319     35 |  1.667 % |
0.00/0.08	c |      2079 |      60       15      836 |     8857     2079     34 |  1.667 % |
0.09/0.12	c |      3219 |      60       15      836 |     9743     3219     33 |  1.667 % |
0.09/0.18	c |      4927 |      60       15      836 |    10717     4927     33 |  1.667 % |
0.28/0.30	c |      7489 |      60       15      836 |    11789     7489     32 |  1.667 % |
0.37/0.49	c |     11334 |      60       15      836 |    12968    11334     32 |  1.667 % |
0.67/0.80	c |     17100 |      60       15      836 |    14265    10597     32 |  1.667 % |
1.28/1.30	c |     25750 |      60       15      836 |    15692    12094     30 |  1.667 % |
1.98/2.01	c |     38724 |      60       15      836 |    17261     9335     29 |  1.667 % |
3.08/3.17	c |     58185 |      60       15      836 |    18987    11492     29 |  1.667 % |
4.97/5.09	c |     87377 |      60       15      836 |    20886    12139     29 |  1.667 % |
8.08/8.19	c |    131166 |      60       15      836 |    22974    14076     29 |  1.667 % |
13.08/13.18	c |    196850 |      60       15      836 |    25272    18362     29 |  1.667 % |
20.77/20.83	c |    295378 |      60       15      836 |    27799    15510     29 |  1.667 % |
33.15/33.26	c |    443167 |      60       15      836 |    30579    11079     28 |  1.667 % |
50.94/51.07	c |    664851 |      60       15      836 |    33637    17248     27 |  1.667 % |
80.95/81.06	c |    997376 |      60       15      836 |    37001    11447     28 |  1.667 % |
126.14/126.23	c |   1496164 |      60       15      836 |    40701    19552     27 |  1.667 % |
203.64/203.76	c |   2244346 |      60       15      836 |    44771    31966     29 |  1.667 % |
323.85/323.98	c |   3366620 |      60       15      836 |    49248    18500     28 |  1.667 % |
515.66/515.71	c |   5050031 |      60       15      836 |    54173    39329     26 |  1.667 % |
819.77/819.80	c |   7575147 |      60       15      836 |    59590    50094     27 |  1.667 % |
1316.98/1317.01	c |  11362822 |      60       15      836 |    65549    50722     27 |  1.667 % |

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-3461546-1307106119/watcher-3461546-1307106119 -o /tmp/evaluation-result-3461546-1307106119/solver-3461546-1307106119 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461546-1307106119.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.03 2.01 2.00 3/455 17377
/proc/meminfo: memFree=24646704/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/17377/stat : 17377 (runsolver) R 17375 17377 16547 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 803027772 12079104 50 33554432000 4194304 5432328 140735919007648 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/17377/statm: 2949 50 31 303 0 2643 0

[startup+0.113569 s]
/proc/loadavg: 2.03 2.01 2.00 3/455 17377
/proc/meminfo: memFree=24646704/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=2908 CPUtime=0.09 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 514 0 0 0 9 0 0 0 25 0 1 0 803027772 2977792 465 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 727 465 180 372 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2908

[startup+0.200563 s]
/proc/loadavg: 2.03 2.01 2.00 3/455 17377
/proc/meminfo: memFree=24646704/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=3552 CPUtime=0.18 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 676 0 0 0 18 0 0 0 25 0 1 0 803027772 3637248 627 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 888 627 180 372 0 513 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 3552

[startup+0.300533 s]
/proc/loadavg: 2.03 2.01 2.00 3/455 17377
/proc/meminfo: memFree=24646704/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=4196 CPUtime=0.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 834 0 0 0 28 0 0 0 25 0 1 0 803027772 4296704 785 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 1049 785 180 372 0 674 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4196

[startup+0.700416 s]
/proc/loadavg: 2.03 2.01 2.00 3/455 17377
/proc/meminfo: memFree=24646704/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=5808 CPUtime=0.67 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 1242 0 0 0 67 0 0 0 25 0 1 0 803027772 5947392 1193 33554432000 4194304 5714214 140733284372544 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 1452 1193 180 372 0 1077 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5808

[startup+1.50027 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17378
/proc/meminfo: memFree=24639124/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=7912 CPUtime=1.48 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 1778 0 0 0 147 1 0 0 25 0 1 0 803027772 8101888 1729 33554432000 4194304 5714214 140733284372544 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 1978 1729 180 372 0 1603 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7912

[startup+3.10102 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17378
/proc/meminfo: memFree=24634664/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=11036 CPUtime=3.08 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 2525 0 0 0 305 3 0 0 25 0 1 0 803027772 11300864 2476 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 2759 2476 180 372 0 2384 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11036

[startup+6.30043 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17378
/proc/meminfo: memFree=24623720/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=16340 CPUtime=6.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 3830 0 0 0 622 6 0 0 25 0 1 0 803027772 16732160 3781 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 4085 3781 180 372 0 3710 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16340

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17379
/proc/meminfo: memFree=24605448/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=25840 CPUtime=12.68 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 6211 0 0 0 1256 12 0 0 25 0 1 0 803027772 26460160 6162 33554432000 4194304 5714214 140733284372544 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 6460 6162 180 372 0 6085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25840

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 2.00 3/456 17379
/proc/meminfo: memFree=24575928/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=42976 CPUtime=25.48 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 10413 0 0 0 2525 23 0 0 25 0 1 0 803027772 44007424 10364 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 10744 10364 180 372 0 10369 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42976

[startup+51.1011 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 17380
/proc/meminfo: memFree=24520376/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=74856 CPUtime=51.04 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 18326 0 0 0 5060 44 0 0 25 0 1 0 803027772 76652544 18277 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 18714 18277 180 372 0 18339 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 74856

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17381
/proc/meminfo: memFree=24420636/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=132760 CPUtime=102.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 32804 0 0 0 10146 79 0 0 25 0 1 0 803027772 135946240 32755 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 33190 32755 180 372 0 32815 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 132760

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17410
/proc/meminfo: memFree=24405652/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=194684 CPUtime=162.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 48217 0 0 0 16104 121 0 0 25 0 1 0 803027772 199356416 48168 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 48671 48168 180 372 0 48296 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 194684

[startup+222.318 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 17411
/proc/meminfo: memFree=24302572/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=252400 CPUtime=222.27 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 62552 0 0 0 22071 156 0 0 25 0 1 0 803027772 258457600 62503 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 63100 62503 180 372 0 62725 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 252400

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17413
/proc/meminfo: memFree=24207428/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=307080 CPUtime=282.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 76201 0 0 0 28030 195 0 0 25 0 1 0 803027772 314449920 76152 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 76770 76152 180 372 0 76395 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 307080

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17414
/proc/meminfo: memFree=24110048/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=360980 CPUtime=342.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 89664 0 0 0 33995 230 0 0 25 0 1 0 803027772 369643520 89615 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 90245 89615 180 372 0 89870 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 360980

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17416
/proc/meminfo: memFree=24020236/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=413240 CPUtime=402.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 102705 0 0 0 39960 265 0 0 25 0 1 0 803027772 423157760 102656 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 103310 102656 180 372 0 102935 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 413240

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 17418
/proc/meminfo: memFree=23928552/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=465560 CPUtime=462.25 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 115750 0 0 0 45923 302 0 0 25 0 1 0 803027772 476733440 115701 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 116390 115701 180 372 0 116015 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 465560

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 17419
/proc/meminfo: memFree=23839112/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=518116 CPUtime=522.26 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 128903 0 0 0 51889 337 0 0 25 0 1 0 803027772 530550784 128854 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 129529 128854 180 372 0 129154 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 518116

[startup+582.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 17421
/proc/meminfo: memFree=23753872/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=565300 CPUtime=582.26 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 140680 0 0 0 57854 372 0 0 25 0 1 0 803027772 578867200 140631 33554432000 4194304 5714214 140733284372544 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 141325 140631 180 372 0 140950 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 565300

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17427
/proc/meminfo: memFree=23411952/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=764064 CPUtime=822.27 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 190289 0 0 0 81721 506 0 0 25 0 1 0 803027772 782401536 190240 33554432000 4194304 5714214 140733284372544 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 191016 190240 180 372 0 190641 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 764064

[startup+882.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17429
/proc/meminfo: memFree=23330944/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=808996 CPUtime=882.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 201533 0 0 0 87688 540 0 0 25 0 1 0 803027772 828411904 201484 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 202249 201484 180 372 0 201874 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 808996

[startup+942.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 17430
/proc/meminfo: memFree=23251048/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=854468 CPUtime=942.27 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 212869 0 0 0 93654 573 0 0 25 0 1 0 803027772 874975232 212820 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 213617 212820 180 372 0 213242 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 854468

[startup+1002.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 17432
/proc/meminfo: memFree=23170036/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=900568 CPUtime=1002.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 224403 0 0 0 99622 606 0 0 25 0 1 0 803027772 922181632 224354 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 225142 224354 180 372 0 224767 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 900568

[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 17433
/proc/meminfo: memFree=23092992/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=946812 CPUtime=1062.27 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 235943 0 0 0 105588 639 0 0 25 0 1 0 803027772 969535488 235894 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 236703 235894 180 372 0 236328 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 946812

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/456 17435
/proc/meminfo: memFree=23014344/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=991380 CPUtime=1122.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 247069 0 0 0 111555 673 0 0 25 0 1 0 803027772 1015173120 247020 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 247845 247020 180 372 0 247470 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 991380

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 17437
/proc/meminfo: memFree=22938784/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1034280 CPUtime=1182.27 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 257706 0 0 0 117523 704 0 0 25 0 1 0 803027772 1059102720 257657 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 258570 257657 180 372 0 258195 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 1034280

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 17438
/proc/meminfo: memFree=22859260/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1079796 CPUtime=1242.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 269102 0 0 0 123490 738 0 0 25 0 1 0 803027772 1105711104 269053 33554432000 4194304 5714214 140733284372544 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 269949 269053 180 372 0 269574 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1079796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17440
/proc/meminfo: memFree=22782588/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1122172 CPUtime=1302.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 279701 0 0 0 129459 769 0 0 25 0 1 0 803027772 1149104128 279652 33554432000 4194304 5714214 140733284372544 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 280543 279652 180 372 0 280168 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 1122172

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17442
/proc/meminfo: memFree=22700592/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1169368 CPUtime=1362.28 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 291470 0 0 0 135424 804 0 0 25 0 1 0 803027772 1197432832 291421 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 292342 291421 180 372 0 291967 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1169368

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17446
/proc/meminfo: memFree=22627252/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1210416 CPUtime=1422.3 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 301691 0 0 0 141396 834 0 0 25 0 1 0 803027772 1239465984 301642 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 302604 301642 180 372 0 302229 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 1210416

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/456 17448
/proc/meminfo: memFree=22553288/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1253944 CPUtime=1482.29 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 312562 0 0 0 147364 865 0 0 25 0 1 0 803027772 1284038656 312513 33554432000 4194304 5714214 140733284372544 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 313486 312513 180 372 0 313111 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 1253944

[startup+1542.32 s]
/proc/loadavg: 2.09 2.03 2.00 3/456 17449
/proc/meminfo: memFree=22480460/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1296684 CPUtime=1542.31 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 323230 0 0 0 153335 896 0 0 25 0 1 0 803027772 1327804416 323181 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 324171 323181 180 372 0 323796 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1296684

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/456 17451
/proc/meminfo: memFree=22414952/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1335220 CPUtime=1602.29 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 332819 0 0 0 159301 928 0 0 25 0 1 0 803027772 1367265280 332770 33554432000 4194304 5714214 140733284372544 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 333805 332770 180 372 0 333430 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 1335220

[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/456 17453
/proc/meminfo: memFree=22340256/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1377012 CPUtime=1662.29 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 343262 0 0 0 165268 961 0 0 25 0 1 0 803027772 1410060288 343213 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 344253 343213 180 372 0 343878 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 1377012

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/456 17454
/proc/meminfo: memFree=22267928/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1418840 CPUtime=1722.3 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 353705 0 0 0 171236 994 0 0 25 0 1 0 803027772 1452892160 353656 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 354710 353656 180 372 0 354335 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1418840

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/456 17456
/proc/meminfo: memFree=22194976/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1463292 CPUtime=1782.3 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 364800 0 0 0 177201 1029 0 0 25 0 1 0 803027772 1498411008 364751 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 365823 364751 180 372 0 365448 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1463292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 17456
/proc/meminfo: memFree=22174876/32951124 swapFree=60476376/67111528
[pid=17377] ppid=17375 vsize=1476096 CPUtime=1800.1 cores=0,2,4,6
/proc/17377/stat : 17377 (wbo1.6) R 17375 17377 16547 0 -1 4202496 367996 0 0 0 178974 1036 0 0 25 0 1 0 803027772 1511522304 367947 33554432000 4194304 5714214 140733284372544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17377/statm: 369024 367947 180 372 0 368649 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1476096

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.18
CPU time (s): 1800.19
CPU user time (s): 1789.75
CPU system time (s): 10.4354
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1476096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.75
system time used= 10.4354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367999
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= 5
involuntary context switches= 4926

runsolver used 8.35373 second user time and 17.8523 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-03 15:01:59
IDJOB=3461546
IDBENCH=2917
IDSOLVER=1953
FILE ID=node147/3461546-1307106119
RUNJOBID= node147-1307094843-16565
PBS_JOBID= 13498009
Free space on /tmp= 73680 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461546-1307106119/watcher-3461546-1307106119 -o /tmp/evaluation-result-3461546-1307106119/solver-3461546-1307106119 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461546-1307106119.opb

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=1962522475

node147.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.836
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.67
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.836
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	: 5332.75
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.836
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.82
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.836
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.75
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.836
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.82
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.836
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.76
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.836
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.82
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.836
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:      24646736 kB
Buffers:        286348 kB
Cached:        1430520 kB
SwapCached:      11164 kB
Active:        6717180 kB
Inactive:      1329528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24646736 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            8620 kB
Writeback:           0 kB
AnonPages:     6326708 kB
Mapped:          23380 kB
Slab:           132476 kB
PageTables:      58460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120787028 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= 73676 MiB
End job on node147 at 2011-06-03 15:32:01