Trace number 2680700

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.4b (fixed)? (TO) 1800.11 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1789.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680700-1277458273.opb.
0.00/0.00	c Instance file HOME/instance-2680700-1277458273.opb
0.00/0.00	c File size is 5465 bytes.
0.00/0.00	c Highest Coefficient sum: 4131
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      120                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 10                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     120       10      558 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 780
0.00/0.00	o 780
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     120       11      638 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 579
0.00/0.00	o 579
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        38 |     120       12      718 |     5000       38     47 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 273
0.00/0.00	o 273
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        46 |     120       13      798 |     5000       46     47 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 267
0.00/0.00	o 267
0.00/0.00	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       100 |     120       14      878 |     5000      100     40 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 219
0.00/0.01	o 219
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       198 |     120       15      958 |     5000      198     39 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 217
0.00/0.01	o 217
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       200 |     120       16     1038 |     5000      200     39 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 205
0.00/0.01	o 205
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       200 |     120       17     1118 |     5000      200     39 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 201
0.00/0.01	o 201
0.00/0.01	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       203 |     120       18     1198 |     5000      203     39 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 194
0.00/0.02	o 194
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       249 |     120       19     1278 |     5000      249     41 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 165
0.00/0.02	o 165
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       261 |     120       20     1358 |     5000      261     40 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 161
0.00/0.02	o 161
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       262 |     120       21     1438 |     5000      262     40 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 157
0.00/0.02	o 157
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       264 |     120       22     1518 |     5000      264     40 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 110
0.00/0.02	o 110
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       290 |     120       23     1598 |     5000      290     40 |  0.000 % |
0.00/0.03	c |       392 |     110       23     1598 |     5500      245     41 |  8.340 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 96
0.00/0.04	o 96
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       486 |     110       24     1678 |     5000      339     40 |  8.340 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 94
0.00/0.04	o 94
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       487 |     110       25     1758 |     5000      340     40 |  8.340 % |
0.00/0.05	c |       587 |     110       25     1758 |     5500      440     39 |  8.340 % |
0.00/0.06	c |       738 |     110       25     1758 |     6050      591     38 |  8.340 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 44
0.00/0.07	o 44
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 179.93 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       815 |     110       26     1838 |     5000      668     38 |  8.340 % |
0.00/0.08	c |       915 |     100       26     1838 |     5500      596     36 | 16.674 % |
0.00/0.09	c |      1065 |     100       26     1838 |     6050      746     37 | 16.674 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 27
0.09/0.10	o 27
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |      1217 |     100       27     1918 |     5000      898     37 | 16.674 % |
0.09/0.11	c |      1317 |      91       27     1918 |     5500      998     38 | 25.007 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 22
0.09/0.12	o 22
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 179.882 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |      1377 |      90       28     1998 |     5000     1058     38 | 25.007 % |
0.09/0.12	c |      1478 |      90       28     1998 |     5500     1159     39 | 25.007 % |
0.09/0.14	c |      1628 |      90       28     1998 |     6050     1309     39 | 25.007 % |
0.09/0.16	c |      1853 |      90       28     1998 |     6655     1534     40 | 25.007 % |
0.09/0.19	c |      2190 |      90       28     1998 |     7320     1871     41 | 25.007 % |
0.19/0.23	c |      2696 |      90       28     1998 |     8052     2377     42 | 25.007 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 20
0.29/0.31	o 20
0.29/0.31	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 179.695 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |      3421 |      90       29     2078 |     5000     2970     42 | 25.007 % |
0.29/0.32	c |      3521 |      90       29     2078 |     5500     3070     42 | 25.007 % |
0.29/0.34	c |      3671 |      90       29     2078 |     6050     3220     42 | 25.007 % |
0.29/0.36	c |      3896 |      90       29     2078 |     6655     3445     42 | 25.007 % |
0.39/0.40	c |      4234 |      90       29     2078 |     7320     3783     43 | 25.007 % |
0.39/0.45	c |      4740 |      90       29     2078 |     8052     4289     43 | 25.007 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 15
0.39/0.47	o 15
0.39/0.47	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 179.533 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |      4896 |      90       30     2158 |     5000     4445     43 | 25.007 % |
0.39/0.48	c |      4997 |      81       30     2158 |     5500     4546     43 | 33.340 % |
0.50/0.50	c |      5147 |      81       30     2158 |     6050     4696     43 | 33.340 % |
0.50/0.52	c |      5372 |      81       30     2158 |     6655     4921     43 | 33.340 % |
0.50/0.56	c |      5709 |      81       30     2158 |     7320     5258     43 | 33.340 % |
0.59/0.61	c |      6215 |      81       30     2158 |     8052     5764     44 | 33.340 % |
0.59/0.70	c |      6974 |      81       30     2158 |     8857     6523     44 | 33.340 % |
0.80/0.84	c |      8114 |      81       30     2158 |     9743     7663     44 | 33.340 % |
0.99/1.08	c |      9822 |      81       30     2158 |    10717     9371     44 | 33.340 % |
1.40/1.48	c |     12385 |      80       30     2158 |    11789     6537     46 | 33.340 % |
1.59/1.66	c ===============================================================================
1.59/1.66	c New solution: 14
1.59/1.66	o 14
1.59/1.66	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 178.377 s
1.59/1.66	c ===============================================================================
1.59/1.66	c |     13687 |      80       31     2238 |     5000     7839     46 | 33.340 % |
1.59/1.69	c |     13787 |      80       31     2238 |     5500     4020     47 | 33.340 % |
1.69/1.70	c |     13937 |      80       31     2238 |     6050     4170     47 | 33.340 % |
1.69/1.72	c |     14162 |      80       31     2238 |     6655     4395     47 | 33.340 % |
1.69/1.77	c |     14500 |      80       31     2238 |     7320     4733     47 | 33.340 % |
1.79/1.83	c |     15006 |      80       31     2238 |     8052     5239     47 | 33.340 % |
1.89/1.92	c |     15765 |      80       31     2238 |     8857     5998     47 | 33.340 % |
1.99/2.06	c |     16904 |      80       31     2238 |     9743     7137     47 | 33.340 % |
2.19/2.28	c |     18612 |      80       31     2238 |    10717     8845     48 | 33.340 % |
2.59/2.68	c |     21175 |      80       31     2238 |    11789     6016     49 | 33.340 % |
3.19/3.22	c |     25019 |      80       31     2238 |    12968     9860     49 | 33.340 % |
4.09/4.16	c |     30785 |      80       31     2238 |    14265     9108     49 | 33.340 % |
5.10/5.12	c ===============================================================================
5.10/5.12	c New solution: 12
5.10/5.12	o 12
5.10/5.12	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 174.963 s
5.10/5.12	c ===============================================================================
5.10/5.12	c |     35998 |      80       32     2318 |     5000    14321     49 | 33.340 % |
5.20/5.20	c |     36098 |      80       32     2318 |     5500     3681     49 | 33.340 % |
5.20/5.22	c |     36249 |      80       32     2318 |     6050     3832     49 | 33.340 % |
5.20/5.24	c |     36474 |      80       32     2318 |     6655     4057     49 | 33.340 % |
5.20/5.28	c |     36812 |      80       32     2318 |     7320     4395     48 | 33.340 % |
5.29/5.34	c |     37319 |      80       32     2318 |     8052     4902     49 | 33.340 % |
5.39/5.43	c |     38078 |      80       32     2318 |     8857     5661     48 | 33.340 % |
5.50/5.57	c |     39217 |      80       32     2318 |     9743     6800     49 | 33.340 % |
5.79/5.80	c |     40925 |      80       32     2318 |    10717     8508     49 | 33.340 % |
6.19/6.21	c |     43487 |      80       32     2318 |    11789     5678     50 | 33.340 % |
6.69/6.77	c |     47331 |      80       32     2318 |    12968     9522     51 | 33.340 % |
7.70/7.75	c |     53097 |      80       32     2318 |    14265     8773     50 | 33.340 % |
9.09/9.17	c |     61746 |      80       32     2318 |    15692    10253     47 | 33.340 % |
11.49/11.59	c |     74720 |      80       32     2318 |    17261    15346     47 | 33.340 % |
13.39/13.49	c ===============================================================================
13.39/13.49	c New solution: 8
13.39/13.49	o 8
13.39/13.49	c Elapsed CPU time: 13.288 s	Remaining CPU time: 166.712 s
13.39/13.49	c ===============================================================================
13.39/13.49	c |     83952 |      80       33     2398 |     5000    15914     47 | 33.340 % |
13.49/13.60	c |     84052 |      70       33     2398 |     5500     4073     49 | 41.674 % |
13.59/13.61	c |     84202 |      70       33     2398 |     6050     4223     49 | 41.674 % |
13.59/13.64	c |     84427 |      70       33     2398 |     6655     4448     49 | 41.674 % |
13.59/13.68	c |     84764 |      70       33     2398 |     7320     4785     49 | 41.674 % |
13.69/13.74	c |     85270 |      70       33     2398 |     8052     5291     49 | 41.674 % |
13.79/13.83	c |     86029 |      70       33     2398 |     8857     6050     49 | 41.674 % |
13.88/13.97	c |     87168 |      70       33     2398 |     9743     7189     49 | 41.674 % |
14.18/14.20	c |     88876 |      70       33     2398 |    10717     8897     50 | 41.674 % |
14.59/14.61	c |     91439 |      70       33     2398 |    11789     6066     52 | 41.674 % |
15.09/15.16	c |     95283 |      70       33     2398 |    12968     9910     51 | 41.674 % |
16.09/16.10	c |    101049 |      70       33     2398 |    14265     9154     50 | 41.674 % |
17.49/17.54	c |    109698 |      70       33     2398 |    15692    10631     51 | 41.674 % |
20.08/20.16	c |    122673 |      70       33     2398 |    17261    15722     50 | 41.674 % |
24.19/24.24	c |    142135 |      70       33     2398 |    18987     9172     51 | 41.674 % |
30.89/30.99	c |    171327 |      70       33     2398 |    20886     9767     52 | 41.674 % |
42.58/42.69	c |    215117 |      70       33     2398 |    22974    11633     54 | 41.674 % |
60.78/60.87	c |    280801 |      70       33     2398 |    25272    15797     52 | 41.674 % |
90.27/90.34	c |    379328 |      70       33     2398 |    27799    12935     48 | 41.674 % |
103.37/103.46	c ===============================================================================
103.37/103.46	c New solution: 6
103.37/103.46	o 6
103.37/103.46	c Elapsed CPU time: 102.226 s	Remaining CPU time: 77.7735 s
103.37/103.46	c ===============================================================================
103.37/103.46	c |    422260 |      70       34     2478 |     5000    21964     51 | 41.674 % |
103.56/103.64	c |    422360 |      70       34     2478 |     5500     2777     52 | 41.674 % |
103.56/103.66	c |    422510 |      70       34     2478 |     6050     2927     52 | 41.674 % |
103.56/103.68	c |    422735 |      70       34     2478 |     6655     3152     52 | 41.674 % |
103.66/103.71	c |    423072 |      70       34     2478 |     7320     3489     52 | 41.674 % |
103.66/103.77	c |    423578 |      70       34     2478 |     8052     3995     51 | 41.674 % |
103.77/103.85	c |    424338 |      70       34     2478 |     8857     4755     51 | 41.674 % |
103.86/103.99	c |    425477 |      70       34     2478 |     9743     5894     51 | 41.674 % |
104.17/104.22	c |    427186 |      70       34     2478 |    10717     7603     51 | 41.674 % |
104.47/104.57	c |    429748 |      70       34     2478 |    11789    10165     51 | 41.674 % |
105.17/105.23	c |    433594 |      70       34     2478 |    12968     8076     52 | 41.674 % |
106.16/106.22	c |    439361 |      70       34     2478 |    14265     7318     52 | 41.674 % |
107.57/107.68	c |    448011 |      70       34     2478 |    15692     8796     51 | 41.674 % |
109.97/110.02	c |    460986 |      70       34     2478 |    17261    13886     50 | 41.674 % |
114.06/114.12	c |    480447 |      70       34     2478 |    18987    16002     52 | 41.674 % |
120.26/120.35	c |    509640 |      70       34     2478 |    20886    16598     49 | 41.674 % |
131.36/131.43	c |    553431 |      70       34     2478 |    22974    18457     55 | 41.674 % |
150.05/150.18	c |    619115 |      70       34     2478 |    25272    11086     53 | 41.674 % |
179.94/180.00	c |    717641 |      70       34     2478 |    27799    22849     52 | 41.674 % |
181.94/182.08	c There are 50 assigned variables. 50 in cost function.
182.55/182.61	c ============================[ Search Statistics ]==============================
182.55/182.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.61	c ===============================================================================
182.55/182.61	c |         0 |      40       99      458 |     5000        0    nan |  0.000 % |
182.55/182.62	c |       100 |      40       99      458 |     5500      100     39 | 66.674 % |
182.55/182.64	c |       250 |      40       99      458 |     6050      250     37 | 66.674 % |
182.55/182.66	c |       476 |      40       99      458 |     6655      476     35 | 66.674 % |
182.65/182.74	c |       815 |      40       99      458 |     7320      815     36 | 66.674 % |
182.65/182.79	c |      1321 |      40       99      458 |     8052     1321     38 | 66.674 % |
182.74/182.85	c |      2080 |      40       99      458 |     8857     2080     38 | 66.674 % |
182.84/182.96	c |      3221 |      40       99      458 |     9743     3221     39 | 66.674 % |
183.04/183.17	c |      4929 |      40       99      458 |    10717     4929     39 | 66.674 % |
183.44/183.54	c |      7493 |      40       99      458 |    11789     7493     39 | 66.674 % |
184.14/184.21	c |     11337 |      40       99      458 |    12968    11337     40 | 66.674 % |
185.14/185.29	c |     17103 |      40       99      458 |    14265    10564     42 | 66.674 % |
186.84/186.92	c |     25753 |      40       99      458 |    15692    12031     43 | 66.674 % |
189.54/189.69	c |     38727 |      40       99      458 |    17261     9203     42 | 66.674 % |
193.74/193.85	c |     58188 |      40       99      458 |    18987    11297     42 | 66.674 % |
200.84/200.93	c |     87380 |      40       99      458 |    20886    11852     41 | 66.674 % |
211.43/211.58	c |    131170 |      40       99      458 |    22974    13657     41 | 66.674 % |
230.43/230.58	c |    196854 |      40       99      458 |    25272    17642     42 | 66.674 % |
262.62/262.70	c |    295381 |      40       99      458 |    27799    14389     43 | 66.674 % |
316.82/316.91	c |    443171 |      40       99      458 |    30579    26386     41 | 66.674 % |
407.68/407.85	c |    664854 |      40       99      458 |    33637    12160     42 | 66.674 % |
559.75/559.95	c |    997380 |      40       99      458 |    37001    28002     41 | 66.674 % |
812.78/813.08	c |   1496169 |      40       99      458 |    40701    34842     43 | 66.674 % |
1217.37/1217.76	c |   2244351 |      40       99      458 |    44771    16128     43 | 66.674 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680700-1277458273/watcher-2680700-1277458273 -o /tmp/evaluation-result-2680700-1277458273/solver-2680700-1277458273 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680700-1277458273.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22434
/proc/meminfo: memFree=1881200/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=2572 CPUtime=0
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 121431008 2633728 193 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 643 193 143 303 0 338 0

[startup+0.102299 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22434
/proc/meminfo: memFree=1881200/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=2836 CPUtime=0.09
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 358 0 0 0 9 0 0 0 20 0 1 0 121431008 2904064 274 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 709 274 144 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.20131 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22434
/proc/meminfo: memFree=1881200/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=3100 CPUtime=0.19
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 439 0 0 0 19 0 0 0 20 0 1 0 121431008 3174400 355 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 775 355 144 303 0 470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3100

[startup+0.301321 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22434
/proc/meminfo: memFree=1881200/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=3492 CPUtime=0.29
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 509 0 0 0 29 0 0 0 20 0 1 0 121431008 3575808 425 1992294400 134512640 135752675 4291906384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 873 425 144 303 0 568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3492

[startup+0.701366 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 22434
/proc/meminfo: memFree=1881200/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=4416 CPUtime=0.69
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 769 0 0 0 68 1 0 0 21 0 1 0 121431008 4521984 685 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 1104 685 144 303 0 799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4416

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1878216/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=5996 CPUtime=1.49
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 1145 0 0 0 146 3 0 0 23 0 1 0 121431008 6139904 1061 1992294400 134512640 135752675 4291906384 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 1499 1061 145 303 0 1194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5996

[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1875736/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=9292 CPUtime=3.09
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 1957 0 0 0 303 6 0 0 25 0 1 0 121431008 9515008 1873 1992294400 134512640 135752675 4291906384 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 2323 1873 145 303 0 2018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9292

[startup+6.30099 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1869908/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=14804 CPUtime=6.29
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 3336 0 0 0 619 10 0 0 25 0 1 0 121431008 15159296 3252 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 3701 3252 145 303 0 3396 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14804

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1859368/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=24432 CPUtime=12.69
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 5766 0 0 0 1250 19 0 0 25 0 1 0 121431008 25018368 5682 1992294400 134512640 135752675 4291906384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 6108 5682 145 303 0 5803 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24432

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1839652/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=43528 CPUtime=25.48
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 10526 0 0 0 2510 38 0 0 25 0 1 0 121431008 44572672 10442 1992294400 134512640 135752675 4291906384 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 10882 10442 145 303 0 10577 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43528

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22435
/proc/meminfo: memFree=1812496/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=70928 CPUtime=51.08
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 17378 0 0 0 5041 67 0 0 25 0 1 0 121431008 72630272 17294 1992294400 134512640 135752675 4291906384 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 17732 17294 145 303 0 17427 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70928

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22437
/proc/meminfo: memFree=1764756/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=118012 CPUtime=102.27
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 29117 0 0 0 10108 119 0 0 25 0 1 0 121431008 120844288 29033 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 29503 29033 145 303 0 29198 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118012

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22439
/proc/meminfo: memFree=1697052/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=185908 CPUtime=162.25
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 46100 0 0 0 16037 188 0 0 25 0 1 0 121431008 190369792 46016 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 46477 46016 145 303 0 46172 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185908

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 22441
/proc/meminfo: memFree=1657124/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=225412 CPUtime=222.24
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 56020 0 0 0 21978 246 0 0 25 0 1 0 121431008 230821888 55908 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 56353 55908 146 303 0 56048 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 225412

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 0.92 2/107 22441
/proc/meminfo: memFree=1622156/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=260668 CPUtime=282.21
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 64830 0 0 0 27923 298 0 0 25 0 1 0 121431008 266924032 64718 1992294400 134512640 135752675 4291906384 18446744073709551615 134637939 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 65167 64718 146 303 0 64862 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 260668

[startup+342.301 s]
/proc/loadavg: 1.11 1.04 0.93 2/107 22443
/proc/meminfo: memFree=1591528/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=290652 CPUtime=342.2
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 72307 0 0 0 33877 343 0 0 25 0 1 0 121431008 297627648 72195 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 72663 72195 146 303 0 72358 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 290652

[startup+402.301 s]
/proc/loadavg: 1.20 1.09 0.95 2/107 22445
/proc/meminfo: memFree=1563380/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=319220 CPUtime=402.19
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 79428 0 0 0 39833 386 0 0 25 0 1 0 121431008 326881280 79316 1992294400 134512640 135752675 4291906384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 79805 79316 146 303 0 79500 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 319220

[startup+462.301 s]
/proc/loadavg: 1.20 1.10 0.96 2/107 22447
/proc/meminfo: memFree=1532380/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=349776 CPUtime=462.16
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 87059 0 0 0 45788 428 0 0 25 0 1 0 121431008 358170624 86947 1992294400 134512640 135752675 4291906384 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 87444 86947 146 303 0 87139 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 349776

[startup+522.301 s]
/proc/loadavg: 1.14 1.10 0.97 2/107 22449
/proc/meminfo: memFree=1503488/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=378700 CPUtime=522.15
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 94300 0 0 0 51746 469 0 0 25 0 1 0 121431008 387788800 94188 1992294400 134512640 135752675 4291906384 18446744073709551615 134611666 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 94675 94188 146 303 0 94370 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 378700

[startup+582.301 s]
/proc/loadavg: 1.12 1.09 0.97 2/107 22449
/proc/meminfo: memFree=1472116/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=410052 CPUtime=582.14
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 102120 0 0 0 57708 506 0 0 25 0 1 0 121431008 419893248 102008 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 102513 102008 146 303 0 102208 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 410052

[startup+642.301 s]
/proc/loadavg: 1.10 1.09 0.98 2/107 22451
/proc/meminfo: memFree=1444588/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=437508 CPUtime=642.12
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 108983 0 0 0 63667 545 0 0 25 0 1 0 121431008 448008192 108871 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 109377 108871 146 303 0 109072 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 437508

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 22457
/proc/meminfo: memFree=1358160/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=523528 CPUtime=822.07
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 130511 0 0 0 81547 660 0 0 25 0 1 0 121431008 536092672 130399 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 130882 130399 146 303 0 130577 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 523528

[startup+882.308 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 22457
/proc/meminfo: memFree=1331748/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=549580 CPUtime=882.06
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 137022 0 0 0 87509 697 0 0 25 0 1 0 121431008 562769920 136910 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 137395 136910 146 303 0 137090 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 549580

[startup+942.301 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 22459
/proc/meminfo: memFree=1306204/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=575400 CPUtime=942.04
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 143448 0 0 0 93471 733 0 0 25 0 1 0 121431008 589209600 143336 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 143850 143336 146 303 0 143545 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 575400

[startup+1002.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/107 22461
/proc/meminfo: memFree=1278056/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=603216 CPUtime=1002.03
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 150410 0 0 0 99433 770 0 0 25 0 1 0 121431008 617693184 150298 1992294400 134512640 135752675 4291906384 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 150804 150298 146 303 0 150499 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 603216

[startup+1062.3 s]
/proc/loadavg: 1.06 1.07 1.00 2/107 22463
/proc/meminfo: memFree=1252140/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=629544 CPUtime=1062.01
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 156985 0 0 0 105397 804 0 0 25 0 1 0 121431008 644653056 156873 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 157386 156873 146 303 0 157081 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 629544

[startup+1122.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/107 22465
/proc/meminfo: memFree=1224612/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=656732 CPUtime=1122
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 163782 0 0 0 111357 843 0 0 25 0 1 0 121431008 672493568 163670 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 164183 163670 146 303 0 163878 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 656732

[startup+1182.3 s]
/proc/loadavg: 1.12 1.09 1.00 2/107 22465
/proc/meminfo: memFree=1198696/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=682740 CPUtime=1181.98
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 170267 0 0 0 117316 882 0 0 25 0 1 0 121431008 699125760 170155 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 170685 170155 146 303 0 170380 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 682740

[startup+1242.3 s]
/proc/loadavg: 1.11 1.09 1.00 2/107 22467
/proc/meminfo: memFree=1170548/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=710440 CPUtime=1241.96
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 177189 0 0 0 123275 921 0 0 25 0 1 0 121431008 727490560 177077 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 177610 177077 146 303 0 177305 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 710440

[startup+1302.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 22469
/proc/meminfo: memFree=1146120/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=735028 CPUtime=1301.95
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 183323 0 0 0 129241 954 0 0 25 0 1 0 121431008 752668672 183211 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 183757 183211 146 303 0 183452 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 735028

[startup+1362.3 s]
/proc/loadavg: 1.09 1.08 1.00 2/107 22471
/proc/meminfo: memFree=1121692/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=759324 CPUtime=1361.93
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 189394 0 0 0 135204 989 0 0 25 0 1 0 121431008 777547776 189282 1992294400 134512640 135752675 4291906384 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 189831 189282 146 303 0 189526 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 759324

[startup+1422.3 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 22473
/proc/meminfo: memFree=1097140/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=783636 CPUtime=1421.92
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 195470 0 0 0 141170 1022 0 0 25 0 1 0 121431008 802443264 195358 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 195909 195358 146 303 0 195604 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 783636

[startup+1482.3 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 22473
/proc/meminfo: memFree=1073580/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=807132 CPUtime=1481.9
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 201368 0 0 0 147134 1056 0 0 25 0 1 0 121431008 826503168 201256 1992294400 134512640 135752675 4291906384 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 201783 201256 146 303 0 201478 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 807132

[startup+1542.31 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 22475
/proc/meminfo: memFree=1051260/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=829356 CPUtime=1541.89
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 206905 0 0 0 153101 1088 0 0 25 0 1 0 121431008 849260544 206793 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 207339 206793 146 303 0 207034 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 829356

[startup+1602.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 22477
/proc/meminfo: memFree=1027948/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=853116 CPUtime=1601.87
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 212833 0 0 0 159066 1121 0 0 25 0 1 0 121431008 873590784 212721 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 213279 212721 146 303 0 212974 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 853116

[startup+1662.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/107 22479
/proc/meminfo: memFree=1003272/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=877272 CPUtime=1661.85
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 218896 0 0 0 165029 1156 0 0 25 0 1 0 121431008 898326528 218784 1992294400 134512640 135752675 4291906384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 219318 218784 146 303 0 219013 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 877272

[startup+1722.3 s]
/proc/loadavg: 1.15 1.10 1.01 2/107 22481
/proc/meminfo: memFree=980952/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=899976 CPUtime=1721.83
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 224577 0 0 0 170994 1189 0 0 25 0 1 0 121431008 921575424 224465 1992294400 134512640 135752675 4291906384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 224994 224465 146 303 0 224689 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 899976

[startup+1782.3 s]
/proc/loadavg: 1.08 1.09 1.01 2/107 22481
/proc/meminfo: memFree=954292/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=925980 CPUtime=1781.81
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 231044 0 0 0 176960 1221 0 0 25 0 1 0 121431008 948203520 230932 1992294400 134512640 135752675 4291906384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 231495 230932 146 303 0 231190 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 925980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.09 1.01 2/107 22492
/proc/meminfo: memFree=946852/2059040 swapFree=4139932/4192956
[pid=22434] ppid=22432 vsize=932844 CPUtime=1800.01
/proc/22434/stat : 22434 (wbo1.4b) R 22432 22434 22016 0 -1 4202496 232775 0 0 0 178770 1231 0 0 25 0 1 0 121431008 955232256 232663 1992294400 134512640 135752675 4291906384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22434/statm: 233211 232663 146 303 0 232906 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 932844

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.6
CPU time (s): 1800.11
CPU user time (s): 1787.71
CPU system time (s): 12.4071
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 932844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.71
system time used= 12.4071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232775
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= 3
involuntary context switches= 21676

runsolver used 3.23751 second user time and 8.23775 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-25 11:31:13
IDJOB=2680700
IDBENCH=2914
IDSOLVER=1190
FILE ID=node005/2680700-1277458273
PBS_JOBID= 11188152
Free space on /tmp= 62528 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680700-1277458273/watcher-2680700-1277458273 -o /tmp/evaluation-result-2680700-1277458273/solver-2680700-1277458273 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680700-1277458273.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=985618206

node005.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1881728 kB
Buffers:         16368 kB
Cached:          62176 kB
SwapCached:       5480 kB
Active:          60232 kB
Inactive:        31248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1881728 kB
SwapTotal:     4192956 kB
SwapFree:      4139932 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:       11628 kB
Mapped:          11944 kB
Slab:            63752 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node005 at 2010-06-25 12:01:15