Trace number 2656057

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? (TO) 1800.12 1800.59

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656057-1276613292.opb.
0.00/0.00	c Instance file HOME/instance-2656057-1276613292.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.000999 s	Remaining CPU time: 179.999 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.002999 s	Remaining CPU time: 179.997 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.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        46 |     120       13      798 |     5000       46     47 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 267
0.00/0.01	o 267
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       100 |     120       14      878 |     5000      100     40 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 219
0.00/0.02	o 219
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       198 |     120       15      958 |     5000      198     39 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 217
0.00/0.02	o 217
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       200 |     120       16     1038 |     5000      200     39 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 205
0.00/0.02	o 205
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       200 |     120       17     1118 |     5000      200     39 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 201
0.00/0.02	o 201
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	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.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       262 |     120       21     1438 |     5000      262     40 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 157
0.00/0.03	o 157
0.00/0.03	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       264 |     120       22     1518 |     5000      264     40 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 110
0.00/0.03	o 110
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       290 |     120       23     1598 |     5000      290     40 |  0.000 % |
0.00/0.04	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.041993 s	Remaining CPU time: 179.958 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       486 |     110       24     1678 |     5000      339     40 |  8.340 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 94
0.00/0.05	o 94
0.00/0.05	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.00/0.05	c ===============================================================================
0.00/0.05	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.07	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.067989 s	Remaining CPU time: 179.932 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.08/0.09	c |      1065 |     100       26     1838 |     6050      746     37 | 16.674 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 27
0.09/0.11	o 27
0.09/0.11	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 179.902 s
0.09/0.11	c ===============================================================================
0.09/0.11	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.111982 s	Remaining CPU time: 179.888 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |      1377 |      90       28     1998 |     5000     1058     38 | 25.007 % |
0.09/0.13	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.24	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.296954 s	Remaining CPU time: 179.703 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.46	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.45693 s	Remaining CPU time: 179.543 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.48/0.50	c |      5147 |      81       30     2158 |     6050     4696     43 | 33.340 % |
0.48/0.53	c |      5372 |      81       30     2158 |     6655     4921     43 | 33.340 % |
0.48/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.79/0.84	c |      8114 |      81       30     2158 |     9743     7663     44 | 33.340 % |
0.99/1.07	c |      9822 |      81       30     2158 |    10717     9371     44 | 33.340 % |
1.39/1.48	c |     12385 |      80       30     2158 |    11789     6537     46 | 33.340 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 14
1.59/1.65	o 14
1.59/1.65	c Elapsed CPU time: 1.61575 s	Remaining CPU time: 178.384 s
1.59/1.65	c ===============================================================================
1.59/1.65	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.73	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.05	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.20/3.21	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.09/5.11	c ===============================================================================
5.09/5.11	c New solution: 12
5.09/5.11	o 12
5.09/5.11	c Elapsed CPU time: 5.02224 s	Remaining CPU time: 174.978 s
5.09/5.11	c ===============================================================================
5.09/5.11	c |     35998 |      80       32     2318 |     5000    14321     49 | 33.340 % |
5.19/5.22	c |     36098 |      80       32     2318 |     5500     3681     49 | 33.340 % |
5.19/5.24	c |     36249 |      80       32     2318 |     6050     3832     49 | 33.340 % |
5.19/5.26	c |     36474 |      80       32     2318 |     6655     4057     49 | 33.340 % |
5.29/5.30	c |     36812 |      80       32     2318 |     7320     4395     48 | 33.340 % |
5.29/5.36	c |     37319 |      80       32     2318 |     8052     4902     49 | 33.340 % |
5.39/5.44	c |     38078 |      80       32     2318 |     8857     5661     48 | 33.340 % |
5.49/5.58	c |     39217 |      80       32     2318 |     9743     6800     49 | 33.340 % |
5.79/5.81	c |     40925 |      80       32     2318 |    10717     8508     49 | 33.340 % |
6.19/6.22	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.79	c |     53097 |      80       32     2318 |    14265     8773     50 | 33.340 % |
9.19/9.23	c |     61746 |      80       32     2318 |    15692    10253     47 | 33.340 % |
11.59/11.64	c |     74720 |      80       32     2318 |    17261    15346     47 | 33.340 % |
13.48/13.59	c ===============================================================================
13.48/13.59	c New solution: 8
13.48/13.59	o 8
13.48/13.59	c Elapsed CPU time: 13.384 s	Remaining CPU time: 166.616 s
13.48/13.59	c ===============================================================================
13.48/13.59	c |     83952 |      80       33     2398 |     5000    15914     47 | 33.340 % |
13.68/13.73	c |     84052 |      70       33     2398 |     5500     4073     49 | 41.674 % |
13.68/13.75	c |     84202 |      70       33     2398 |     6050     4223     49 | 41.674 % |
13.68/13.77	c |     84427 |      70       33     2398 |     6655     4448     49 | 41.674 % |
13.78/13.81	c |     84764 |      70       33     2398 |     7320     4785     49 | 41.674 % |
13.78/13.87	c |     85270 |      70       33     2398 |     8052     5291     49 | 41.674 % |
13.89/13.97	c |     86029 |      70       33     2398 |     8857     6050     49 | 41.674 % |
14.09/14.10	c |     87168 |      70       33     2398 |     9743     7189     49 | 41.674 % |
14.29/14.34	c |     88876 |      70       33     2398 |    10717     8897     50 | 41.674 % |
14.68/14.76	c |     91439 |      70       33     2398 |    11789     6066     52 | 41.674 % |
15.19/15.29	c |     95283 |      70       33     2398 |    12968     9910     51 | 41.674 % |
16.19/16.21	c |    101049 |      70       33     2398 |    14265     9154     50 | 41.674 % |
17.59/17.63	c |    109698 |      70       33     2398 |    15692    10631     51 | 41.674 % |
20.08/20.19	c |    122673 |      70       33     2398 |    17261    15722     50 | 41.674 % |
24.29/24.31	c |    142135 |      70       33     2398 |    18987     9172     51 | 41.674 % |
30.88/30.97	c |    171327 |      70       33     2398 |    20886     9767     52 | 41.674 % |
42.48/42.59	c |    215117 |      70       33     2398 |    22974    11633     54 | 41.674 % |
60.38/60.48	c |    280801 |      70       33     2398 |    25272    15797     52 | 41.674 % |
89.36/89.47	c |    379328 |      70       33     2398 |    27799    12935     48 | 41.674 % |
102.27/102.37	c ===============================================================================
102.27/102.37	c New solution: 6
102.27/102.37	o 6
102.27/102.37	c Elapsed CPU time: 101.196 s	Remaining CPU time: 78.8044 s
102.27/102.37	c ===============================================================================
102.27/102.37	c |    422260 |      70       34     2478 |     5000    21964     51 | 41.674 % |
102.56/102.66	c |    422360 |      70       34     2478 |     5500     2777     52 | 41.674 % |
102.56/102.67	c |    422510 |      70       34     2478 |     6050     2927     52 | 41.674 % |
102.56/102.69	c |    422735 |      70       34     2478 |     6655     3152     52 | 41.674 % |
102.66/102.72	c |    423072 |      70       34     2478 |     7320     3489     52 | 41.674 % |
102.66/102.78	c |    423578 |      70       34     2478 |     8052     3995     51 | 41.674 % |
102.77/102.87	c |    424338 |      70       34     2478 |     8857     4755     51 | 41.674 % |
102.96/103.00	c |    425477 |      70       34     2478 |     9743     5894     51 | 41.674 % |
103.16/103.22	c |    427186 |      70       34     2478 |    10717     7603     51 | 41.674 % |
103.46/103.58	c |    429748 |      70       34     2478 |    11789    10165     51 | 41.674 % |
104.16/104.22	c |    433594 |      70       34     2478 |    12968     8076     52 | 41.674 % |
105.16/105.20	c |    439361 |      70       34     2478 |    14265     7318     52 | 41.674 % |
106.56/106.64	c |    448011 |      70       34     2478 |    15692     8796     51 | 41.674 % |
108.86/108.90	c |    460986 |      70       34     2478 |    17261    13886     50 | 41.674 % |
112.76/112.86	c |    480447 |      70       34     2478 |    18987    16002     52 | 41.674 % |
118.77/118.89	c |    509640 |      70       34     2478 |    20886    16598     49 | 41.674 % |
129.76/129.89	c |    553431 |      70       34     2478 |    22974    18457     55 | 41.674 % |
148.15/148.26	c |    619115 |      70       34     2478 |    25272    11086     53 | 41.674 % |
177.44/177.54	c |    717641 |      70       34     2478 |    27799    22849     52 | 41.674 % |
181.94/182.09	c There are 50 assigned variables. 50 in cost function.
182.55/182.62	c ============================[ Search Statistics ]==============================
182.55/182.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.62	c ===============================================================================
182.55/182.62	c |         0 |      40      100      458 |     5000        0    nan |  0.000 % |
182.55/182.63	c |       100 |      40      100      458 |     5500      100     39 | 66.674 % |
182.55/182.65	c |       250 |      40      100      458 |     6050      250     37 | 66.674 % |
182.55/182.68	c |       476 |      40      100      458 |     6655      476     35 | 66.674 % |
182.65/182.75	c |       815 |      40      100      458 |     7320      815     36 | 66.674 % |
182.74/182.81	c |      1321 |      40      100      458 |     8052     1321     38 | 66.674 % |
182.74/182.87	c |      2080 |      40      100      458 |     8857     2080     38 | 66.674 % |
182.84/182.98	c |      3221 |      40      100      458 |     9743     3221     39 | 66.674 % |
183.04/183.18	c |      4929 |      40      100      458 |    10717     4929     39 | 66.674 % |
183.45/183.56	c |      7493 |      40      100      458 |    11789     7493     39 | 66.674 % |
184.14/184.23	c |     11337 |      40      100      458 |    12968    11337     40 | 66.674 % |
185.24/185.32	c |     17103 |      40      100      458 |    14265    10564     42 | 66.674 % |
186.85/186.94	c |     25753 |      40      100      458 |    15692    12031     43 | 66.674 % |
189.44/189.58	c |     38727 |      40      100      458 |    17261     9203     42 | 66.674 % |
193.34/193.50	c |     58188 |      40      100      458 |    18987    11297     42 | 66.674 % |
200.14/200.28	c |     87380 |      40      100      458 |    20886    11852     41 | 66.674 % |
210.44/210.59	c |    131170 |      40      100      458 |    22974    13657     41 | 66.674 % |
228.53/228.65	c |    196854 |      40      100      458 |    25272    17642     42 | 66.674 % |
259.43/259.54	c |    295381 |      40      100      458 |    27799    14389     43 | 66.674 % |
312.31/312.46	c |    443171 |      40      100      458 |    30579    26386     41 | 66.674 % |
401.79/401.91	c |    664854 |      40      100      458 |    33637    12160     42 | 66.674 % |
551.65/551.85	c |    997380 |      40      100      458 |    37001    28002     41 | 66.674 % |
804.48/804.72	c |   1496169 |      40      100      458 |    40701    34842     43 | 66.674 % |
1210.07/1210.44	c |   2244351 |      40      100      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-2656057-1276613292/watcher-2656057-1276613292 -o /tmp/evaluation-result-2656057-1276613292/solver-2656057-1276613292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656057-1276613292.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 1.00 3/106 11749
/proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=2440 CPUtime=0
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 277 0 0 0 0 0 0 0 17 0 1 0 2620204 2498560 193 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 610 193 146 303 0 305 0

[startup+0.0983931 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11749
/proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=2836 CPUtime=0.08
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 354 0 0 0 8 0 0 0 17 0 1 0 2620204 2904064 270 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 709 270 147 303 0 404 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2836

[startup+0.101394 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11749
/proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=2836 CPUtime=0.09
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 356 0 0 0 9 0 0 0 17 0 1 0 2620204 2904064 272 1992294400 134512640 135751879 4290185872 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 709 272 147 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.301413 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11749
/proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=3492 CPUtime=0.29
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 510 0 0 0 28 1 0 0 18 0 1 0 2620204 3575808 426 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 873 426 147 303 0 568 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3492

[startup+0.701453 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11749
/proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=4416 CPUtime=0.69
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 772 0 0 0 67 2 0 0 18 0 1 0 2620204 4521984 688 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 1104 688 147 303 0 799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4416

[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11750
/proc/meminfo: memFree=1404880/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=5996 CPUtime=1.48
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 1148 0 0 0 145 3 0 0 19 0 1 0 2620204 6139904 1064 1992294400 134512640 135751879 4290185872 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 1499 1064 148 303 0 1194 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5996

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11750
/proc/meminfo: memFree=1402524/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=9280 CPUtime=3.09
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 1961 0 0 0 303 6 0 0 24 0 1 0 2620204 9502720 1877 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 2320 1877 148 303 0 2015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9280

[startup+6.30102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11750
/proc/meminfo: memFree=1396696/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=14692 CPUtime=6.29
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 3335 0 0 0 618 11 0 0 25 0 1 0 2620204 15044608 3251 1992294400 134512640 135751879 4290185872 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 3673 3251 148 303 0 3368 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14692

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11752
/proc/meminfo: memFree=1386156/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=24284 CPUtime=12.69
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 5737 0 0 0 1250 19 0 0 25 0 1 0 2620204 24866816 5653 1992294400 134512640 135751879 4290185872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 6071 5653 148 303 0 5766 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24284

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11752
/proc/meminfo: memFree=1366564/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=43476 CPUtime=25.49
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 10516 0 0 0 2514 35 0 0 25 0 1 0 2620204 44519424 10432 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 10869 10432 148 303 0 10564 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43476

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11752
/proc/meminfo: memFree=1339036/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=71084 CPUtime=51.07
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 17426 0 0 0 5044 63 0 0 25 0 1 0 2620204 72790016 17342 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 17771 17342 148 303 0 17466 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71084

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11754
/proc/meminfo: memFree=1290428/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=119092 CPUtime=102.27
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 29388 0 0 0 10113 114 0 0 25 0 1 0 2620204 121950208 29304 1992294400 134512640 135751879 4290185872 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 29773 29304 148 303 0 29468 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119092

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11756
/proc/meminfo: memFree=1221608/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=188404 CPUtime=162.24
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 46715 0 0 0 16037 187 0 0 25 0 1 0 2620204 192925696 46631 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 47101 46631 148 303 0 46796 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 188404

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11756
/proc/meminfo: memFree=1177960/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=231172 CPUtime=222.23
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 57456 0 0 0 21976 247 0 0 25 0 1 0 2620204 236720128 57344 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 57793 57344 150 303 0 57488 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 231172

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11758
/proc/meminfo: memFree=1142496/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=266772 CPUtime=282.22
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 66357 0 0 0 27922 300 0 0 25 0 1 0 2620204 273174528 66245 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 66693 66245 150 303 0 66388 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 266772

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11760
/proc/meminfo: memFree=1111000/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=298076 CPUtime=342.21
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 74142 0 0 0 33875 346 0 0 25 0 1 0 2620204 305229824 74030 1992294400 134512640 135751879 4290185872 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 74519 74030 150 303 0 74214 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 298076

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11762
/proc/meminfo: memFree=1083348/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=325980 CPUtime=402.19
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 81136 0 0 0 39829 390 0 0 25 0 1 0 2620204 333803520 81024 1992294400 134512640 135751879 4290185872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 81495 81024 150 303 0 81190 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 325980

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11764
/proc/meminfo: memFree=1053216/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=355640 CPUtime=462.18
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 88521 0 0 0 45785 433 0 0 25 0 1 0 2620204 364175360 88409 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 88910 88409 150 303 0 88605 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 355640

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11764
/proc/meminfo: memFree=1021844/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=387324 CPUtime=522.16
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 96442 0 0 0 51742 474 0 0 25 0 1 0 2620204 396619776 96330 1992294400 134512640 135751879 4290185872 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 96831 96330 150 303 0 96526 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 387324

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11766
/proc/meminfo: memFree=991960/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=416824 CPUtime=582.14
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 103822 0 0 0 57697 517 0 0 25 0 1 0 2620204 426827776 103710 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 104206 103710 150 303 0 103901 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 416824

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11768
/proc/meminfo: memFree=963316/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=445072 CPUtime=642.13
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 110896 0 0 0 63659 554 0 0 25 0 1 0 2620204 455753728 110784 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 111268 110784 150 303 0 110963 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 445072

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11783
/proc/meminfo: memFree=850104/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=557684 CPUtime=882.06
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 139025 0 0 0 87505 701 0 0 25 0 1 0 2620204 571068416 138913 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 139421 138913 150 303 0 139116 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 557684

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11785
/proc/meminfo: memFree=824684/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=583496 CPUtime=942.04
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 145498 0 0 0 93467 737 0 0 25 0 1 0 2620204 597499904 145386 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 145874 145386 150 303 0 145569 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 583496

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11787
/proc/meminfo: memFree=798148/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=609860 CPUtime=1002.02
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 152061 0 0 0 99429 773 0 0 25 0 1 0 2620204 624496640 151949 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 152465 151949 150 303 0 152160 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 609860

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 11789
/proc/meminfo: memFree=771364/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=636452 CPUtime=1062.01
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 158721 0 0 0 105391 810 0 0 25 0 1 0 2620204 651726848 158609 1992294400 134512640 135751879 4290185872 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 159113 158609 150 303 0 158808 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 636452

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 11789
/proc/meminfo: memFree=743960/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=663772 CPUtime=1121.99
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 165532 0 0 0 111354 845 0 0 25 0 1 0 2620204 679702528 165420 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 165943 165420 150 303 0 165638 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 663772

[startup+1182.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 11791
/proc/meminfo: memFree=716804/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=691100 CPUtime=1181.98
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 172382 0 0 0 117315 883 0 0 25 0 1 0 2620204 707686400 172270 1992294400 134512640 135751879 4290185872 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 172775 172270 150 303 0 172470 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 691100

[startup+1242.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 11793
/proc/meminfo: memFree=691260/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=716424 CPUtime=1241.96
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 178694 0 0 0 123277 919 0 0 25 0 1 0 2620204 733618176 178582 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 179106 178582 150 303 0 178801 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 716424

[startup+1302.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 11795
/proc/meminfo: memFree=666956/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=740480 CPUtime=1301.96
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 184697 0 0 0 129244 952 0 0 25 0 1 0 2620204 758251520 184585 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 185120 184585 150 303 0 184815 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 740480

[startup+1362.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 11797
/proc/meminfo: memFree=642776/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=764776 CPUtime=1361.93
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 190759 0 0 0 135208 985 0 0 25 0 1 0 2620204 783130624 190647 1992294400 134512640 135751879 4290185872 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 191194 190647 150 303 0 190889 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 764776

[startup+1422.31 s]
/proc/loadavg: 1.05 1.06 1.00 2/107 11797
/proc/meminfo: memFree=618844/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=788432 CPUtime=1421.92
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 196690 0 0 0 141174 1018 0 0 25 0 1 0 2620204 807354368 196578 1992294400 134512640 135751879 4290185872 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 197108 196578 150 303 0 196803 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 788432

[startup+1482.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 11799
/proc/meminfo: memFree=595532/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=811928 CPUtime=1481.9
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 202565 0 0 0 147135 1055 0 0 25 0 1 0 2620204 831414272 202453 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 202982 202453 150 303 0 202677 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 811928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 11801
/proc/meminfo: memFree=572964/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=834412 CPUtime=1541.89
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 208155 0 0 0 153101 1088 0 0 25 0 1 0 2620204 854437888 208043 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 208603 208043 150 303 0 208298 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 834412

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 11803
/proc/meminfo: memFree=549652/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=857908 CPUtime=1601.87
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 214036 0 0 0 159071 1116 0 0 25 0 1 0 2620204 878497792 213924 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 214477 213924 150 303 0 214172 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 857908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11805
/proc/meminfo: memFree=525596/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=881668 CPUtime=1661.86
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 219971 0 0 0 165040 1146 0 0 25 0 1 0 2620204 902828032 219859 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 220417 219859 150 303 0 220112 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 881668

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11805
/proc/meminfo: memFree=503400/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=904240 CPUtime=1721.84
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 225636 0 0 0 171007 1177 0 0 25 0 1 0 2620204 925941760 225524 1992294400 134512640 135751879 4290185872 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 226060 225524 150 303 0 225755 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 904240

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11807
/proc/meminfo: memFree=477112/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=929716 CPUtime=1781.83
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 231990 0 0 0 176972 1211 0 0 25 0 1 0 2620204 952029184 231878 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 232429 231878 150 303 0 232124 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 929716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11807
/proc/meminfo: memFree=470168/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=936448 CPUtime=1800.03
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 233685 0 0 0 178783 1220 0 0 25 0 1 0 2620204 958922752 233573 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 234112 233573 150 303 0 233807 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 936448

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11807
/proc/meminfo: memFree=470168/2059040 swapFree=4192956/4192956
[pid=11749] ppid=11747 vsize=936448 CPUtime=1800.03
/proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 233685 0 0 0 178783 1220 0 0 25 0 1 0 2620204 958922752 233573 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11749/statm: 234112 233573 150 303 0 233807 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 936448

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.12
CPU user time (s): 1787.83
CPU system time (s): 12.2901
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 936448

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

runsolver used 2.99854 second user time and 8.48371 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-15 16:48:13
IDJOB=2656057
IDBENCH=2914
IDSOLVER=1161
FILE ID=node056/2656057-1276613292
PBS_JOBID= 11172262
Free space on /tmp= 98640 MiB

SOLVER NAME= wbo 1.4b
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-2656057-1276613292/watcher-2656057-1276613292 -o /tmp/evaluation-result-2656057-1276613292/solver-2656057-1276613292 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656057-1276613292.opb

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=1103371028

node056.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.215
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.43
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.215
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1408268 kB
Buffers:         70816 kB
Cached:         439112 kB
SwapCached:          0 kB
Active:         220664 kB
Inactive:       348536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1408268 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2628 kB
Writeback:           0 kB
AnonPages:       59232 kB
Mapped:          15488 kB
Slab:            59632 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181464 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= 98636 MiB
End job on node056 at 2010-06-15 17:18:15