Trace number 2702611

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)? (MO) 1395.71 1396.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1789.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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-2702611-1278572891.opb.
0.00/0.00	c Instance file HOME/instance-2702611-1278572891.opb
0.00/0.00	c File size is 222240 bytes.
0.01/0.03	c Highest Coefficient sum: 400
0.01/0.03	c ============================[ Problem Statistics ]=============================
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Parsing time:          0.04         s                                      |
0.01/0.03	c |  Number Variables:      2924                                                |
0.01/0.03	c |  Number Clauses:        2724                                                |
0.01/0.03	c |  Number Cardinality:    402                                                 |
0.01/0.03	c |  Number PB Constraints: 2524                                                |
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    2924     5650    21392 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 0
0.01/0.07	o 0
0.01/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 179.932 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |    2924     5651    21592 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: -1
0.01/0.07	o -1
0.01/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 179.927 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         1 |    2924     5652    21792 |     5000        1    201 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: -2
0.01/0.08	o -2
0.01/0.08	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |         1 |    2924     5653    21992 |     5000        1    201 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: -3
0.01/0.08	o -3
0.01/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 179.922 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |         1 |    2924     5654    22192 |     5000        1    201 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: -4
0.01/0.08	o -4
0.01/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |         1 |    2924     5655    22392 |     5000        1    201 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: -5
0.01/0.09	o -5
0.01/0.09	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 179.914 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        27 |    2924     5656    22592 |     5000       27    385 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: -6
0.01/0.09	o -6
0.01/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 179.911 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        27 |    2924     5657    22792 |     5000       27    385 |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: -7
0.01/0.09	o -7
0.01/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 179.909 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        28 |    2924     5658    22992 |     5000       28    371 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -8
0.09/0.10	o -8
0.09/0.10	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 179.906 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        29 |    2924     5659    23192 |     5000       29    359 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -9
0.09/0.10	o -9
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        29 |    2924     5660    23392 |     5000       29    359 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -10
0.09/0.10	o -10
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 179.9 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        30 |    2924     5661    23592 |     5000       30    347 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -11
0.09/0.11	o -11
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 179.892 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        70 |    2924     5662    23792 |     5000       70    302 |  0.000 % |
0.09/0.13	c |       170 |    2924     5662    23792 |     5500      170    348 |  0.000 % |
0.09/0.15	c |       320 |    2924     5662    23792 |     6050      320    362 |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: -12
0.09/0.17	o -12
0.09/0.17	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 179.833 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |       405 |    2924     5663    23992 |     5000      405    361 |  0.000 % |
0.09/0.19	c |       505 |    2924     5663    23992 |     5500      505    365 |  0.000 % |
0.19/0.22	c |       655 |    2924     5663    23992 |     6050      655    369 |  0.000 % |
0.19/0.25	c |       880 |    2924     5663    23992 |     6655      880    372 |  0.000 % |
0.29/0.31	c |      1217 |    2924     5663    23992 |     7320     1217    375 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -13
0.29/0.31	o -13
0.29/0.31	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 179.694 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |      1222 |    2924     5664    24192 |     5000     1222    374 |  0.000 % |
0.29/0.33	c |      1322 |    2924     5664    24192 |     5500     1322    374 |  0.000 % |
0.29/0.36	c |      1472 |    2924     5664    24192 |     6050     1472    374 |  0.000 % |
0.39/0.40	c |      1698 |    2924     5664    24192 |     6655     1698    374 |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -14
0.39/0.44	o -14
0.39/0.44	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 179.574 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |      1840 |    2924     5665    24392 |     5000     1840    372 |  0.000 % |
0.39/0.46	c |      1940 |    2924     5665    24392 |     5500     1940    372 |  0.000 % |
0.39/0.48	c |      2090 |    2924     5665    24392 |     6050     2090    372 |  0.000 % |
0.49/0.52	c |      2315 |    2924     5665    24392 |     6655     2315    373 |  0.000 % |
0.49/0.58	c |      2652 |    2924     5665    24392 |     7320     2652    373 |  0.000 % |
0.59/0.69	c |      3158 |    2924     5665    24392 |     8052     3158    372 |  0.000 % |
0.79/0.84	c |      3917 |    2924     5665    24392 |     8857     3917    373 |  0.000 % |
0.99/1.07	c |      5056 |    2924     5665    24392 |     9743     5056    374 |  0.000 % |
0.99/1.09	c ===============================================================================
0.99/1.09	c New solution: -15
0.99/1.09	o -15
0.99/1.09	c Elapsed CPU time: 1.06384 s	Remaining CPU time: 178.936 s
0.99/1.09	c ===============================================================================
0.99/1.09	c |      5095 |    2924     5666    24592 |     5000     5095    373 |  0.000 % |
1.09/1.12	c |      5195 |    2924     5666    24592 |     5500     2648    372 |  0.000 % |
1.09/1.14	c |      5345 |    2924     5666    24592 |     6050     2798    372 |  0.000 % |
1.09/1.18	c |      5570 |    2924     5666    24592 |     6655     3023    373 |  0.000 % |
1.19/1.24	c |      5909 |    2924     5666    24592 |     7320     3362    373 |  0.000 % |
1.29/1.33	c |      6415 |    2924     5666    24592 |     8052     3868    373 |  0.000 % |
1.39/1.48	c |      7174 |    2924     5666    24592 |     8857     4627    373 |  0.000 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: -16
1.39/1.49	o -16
1.39/1.49	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 178.543 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |      7194 |    2924     5667    24792 |     5000     4647    372 |  0.000 % |
1.50/1.52	c |      7294 |    2924     5667    24792 |     5500     4747    372 |  0.000 % |
1.50/1.56	c |      7444 |    2924     5667    24792 |     6050     4897    372 |  0.000 % |
1.50/1.59	c |      7669 |    2924     5667    24792 |     6655     5122    372 |  0.000 % |
1.59/1.66	c |      8006 |    2924     5667    24792 |     7320     5459    373 |  0.000 % |
1.69/1.76	c |      8512 |    2924     5667    24792 |     8052     5965    373 |  0.000 % |
1.69/1.78	c ===============================================================================
1.69/1.78	c New solution: -17
1.69/1.78	o -17
1.69/1.78	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 178.263 s
1.69/1.78	c ===============================================================================
1.69/1.78	c |      8620 |    2924     5668    24992 |     5000     6073    369 |  0.000 % |
1.79/1.82	c |      8720 |    2924     5668    24992 |     5500     3137    365 |  0.000 % |
1.79/1.84	c |      8870 |    2924     5668    24992 |     6050     3287    365 |  0.000 % |
1.79/1.89	c |      9095 |    2924     5668    24992 |     6655     3512    366 |  0.000 % |
1.89/1.95	c |      9432 |    2924     5668    24992 |     7320     3849    365 |  0.000 % |
1.99/2.03	c |      9938 |    2924     5668    24992 |     8052     4355    366 |  0.000 % |
2.09/2.18	c |     10697 |    2924     5668    24992 |     8857     5114    367 |  0.000 % |
2.39/2.41	c |     11836 |    2924     5668    24992 |     9743     6253    369 |  0.000 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: -18
2.39/2.42	o -18
2.39/2.42	c Elapsed CPU time: 2.36064 s	Remaining CPU time: 177.639 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |     11842 |    2924     5669    25192 |     5000     6259    369 |  0.000 % |
2.39/2.45	c |     11942 |    2924     5669    25192 |     5500     3230    371 |  0.000 % |
2.39/2.47	c |     12092 |    2924     5669    25192 |     6050     3380    371 |  0.000 % |
2.49/2.52	c |     12317 |    2924     5669    25192 |     6655     3605    371 |  0.000 % |
2.49/2.58	c |     12654 |    2924     5669    25192 |     7320     3942    371 |  0.000 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: -19
2.49/2.59	o -19
2.49/2.59	c Elapsed CPU time: 2.52462 s	Remaining CPU time: 177.475 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |     12665 |    2924     5670    25392 |     5000     3953    371 |  0.000 % |
2.59/2.62	c |     12765 |    2924     5670    25392 |     5500     4053    370 |  0.000 % |
2.59/2.65	c |     12916 |    2924     5670    25392 |     6050     4204    370 |  0.000 % |
2.59/2.69	c |     13141 |    2924     5670    25392 |     6655     4429    370 |  0.000 % |
2.69/2.76	c |     13478 |    2924     5670    25392 |     7320     4766    369 |  0.000 % |
2.80/2.86	c |     13984 |    2924     5670    25392 |     8052     5272    369 |  0.000 % |
2.99/3.02	c |     14743 |    2924     5670    25392 |     8857     6031    369 |  0.000 % |
3.20/3.24	c |     15882 |    2924     5670    25392 |     9743     7170    370 |  0.000 % |
3.59/3.65	c |     17590 |    2924     5670    25392 |    10717     8878    370 |  0.000 % |
4.29/4.31	c |     20153 |    2924     5670    25392 |    11789    11441    366 |  0.000 % |
5.39/5.44	c |     23997 |    2924     5670    25392 |    12968     7962    366 |  0.000 % |
7.19/7.20	c |     29763 |    2924     5670    25392 |    14265    13728    361 |  0.000 % |
10.09/10.10	c |     38412 |    2924     5670    25392 |    15692    13805    354 |  0.000 % |
15.29/15.40	c |     51386 |    2924     5670    25392 |    17261    17499    365 |  0.000 % |
23.69/23.78	c |     70847 |    2924     5670    25392 |    18987    18144    349 |  0.000 % |
38.98/39.04	c |    100039 |    2924     5670    25392 |    20886    13930    360 |  0.000 % |
62.57/62.62	c |    143828 |    2924     5670    25392 |    22974    18961    357 |  0.000 % |
100.46/100.57	c |    209512 |    2924     5670    25392 |    25272    24784    371 |  0.000 % |
158.25/158.33	c |    308039 |    2924     5670    25392 |    27799    20420    369 |  0.000 % |
181.54/181.65	c There are 0 assigned variables. 0 in cost function.
181.94/182.09	c core #1
181.94/182.09	c 
181.94/182.09	c 
181.94/182.09	c Core size: 401	Core Weight: 1	Total Weight: -199
181.94/182.09	c
181.94/182.09	c
181.94/182.09	c ============================[ Search Statistics ]==============================
181.94/182.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.09	c ===============================================================================
181.94/182.09	c |         0 |    3124     5876    26004 |     5000        0    nan |  0.000 % |
182.04/182.16	c |       101 |    3124     5876    26004 |     5500      101    103 |  1.185 % |
182.14/182.24	c ===============================================================================
182.14/182.27	c core #2
182.14/182.27	c 
182.14/182.27	c 
182.14/182.27	c Core size: 184	Core Weight: 1	Total Weight: -198
182.14/182.27	c
182.14/182.27	c
182.14/182.27	c ============================[ Search Statistics ]==============================
182.14/182.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.27	c ===============================================================================
182.14/182.27	c |         0 |    3297     5889    26384 |     5000        0    nan |  0.000 % |
182.24/182.33	c |       100 |    3297     5889    26384 |     5500      100    170 |  0.000 % |
182.34/182.44	c |       250 |    3297     5889    26384 |     6050      250    148 |  0.002 % |
182.44/182.60	c |       491 |    3297     5889    26384 |     6655      491    160 |  0.000 % |
182.75/182.84	c |       828 |    3285     5889    26384 |     7320      796    171 |  0.364 % |
183.04/183.14	c |      1334 |    3281     5889    26384 |     8052     1302    158 |  1.122 % |
183.54/183.61	c |      2093 |    3234     5889    26384 |     8857     1903    174 |  1.911 % |
184.24/184.36	c |      3232 |    3232     5889    26384 |     9743     3042    167 |  2.305 % |
185.35/185.47	c |      4940 |    3195     5889    26384 |    10717     4717    167 |  8.917 % |
187.04/187.17	c |      7512 |    2978     5889    26384 |    11789     6495    175 | 11.677 % |
189.74/189.88	c ===============================================================================
189.94/190.09	c core #3
189.94/190.09	c 
189.94/190.09	c 
189.94/190.09	c Core size: 218	Core Weight: 1	Total Weight: -197
189.94/190.09	c
189.94/190.09	c
189.94/190.09	c ============================[ Search Statistics ]==============================
189.94/190.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.09	c ===============================================================================
189.94/190.09	c |         0 |    3496     5966    27002 |     5000        0    nan |  0.000 % |
190.04/190.17	c |       100 |    3496     5966    27002 |     5500      100    239 |  0.000 % |
190.14/190.29	c |       289 |    3496     5966    27002 |     6050      289    252 |  0.000 % |
190.35/190.40	c |       515 |    3496     5966    27002 |     6655      515    191 |  0.000 % |
190.54/190.63	c |       852 |    3496     5966    27002 |     7320      852    180 |  0.000 % |
190.84/190.95	c |      1358 |    3496     5966    27002 |     8052     1358    190 |  0.000 % |
191.35/191.48	c |      2117 |    3496     5966    27002 |     8857     2117    205 |  0.000 % |
192.24/192.39	c |      3256 |    3496     5966    27002 |     9743     3256    206 |  0.000 % |
193.55/193.66	c |      4964 |    3496     5966    27002 |    10717     4964    209 |  0.000 % |
195.54/195.62	c |      7561 |    3496     5966    27002 |    11789     7561    214 |  0.000 % |
198.54/198.65	c |     11422 |    3496     5966    27002 |    12968    11422    212 |  0.000 % |
202.83/202.98	c |     17188 |    3496     5966    27002 |    14265    10513    209 |  0.001 % |
209.43/209.58	c |     25837 |    3496     5966    27002 |    15692    11825    209 |  0.000 % |
219.13/219.29	c |     38819 |    3496     5966    27002 |    17261     8440    221 |  0.001 % |
234.43/234.51	c |     58280 |    3483     5966    27002 |    18987    15194    218 |  0.372 % |
257.22/257.40	c |     87482 |    3469     5966    27002 |    20886    10166    193 |  0.772 % |
292.91/293.03	c |    131272 |    3442     5966    27002 |    22974    15376    181 |  1.545 % |
342.40/342.51	c ===============================================================================
347.70/347.81	c core #4
347.70/347.81	c 
347.70/347.81	c 
347.70/347.81	c Core size: 232	Core Weight: 1	Total Weight: -196
347.70/347.81	c
347.70/347.81	c
347.70/347.81	c ============================[ Search Statistics ]==============================
347.70/347.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
347.70/347.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
347.70/347.81	c ===============================================================================
347.70/347.81	c |         0 |    3696     6298    28325 |     5000        0    nan |  0.000 % |
347.80/347.98	c |       101 |    3696     6298    28325 |     5500      101    341 |  0.000 % |
347.90/348.01	c |       251 |    3696     6298    28325 |     6050      251    143 |  0.000 % |
348.10/348.24	c |       477 |    3696     6298    28325 |     6655      477    214 |  0.000 % |
348.40/348.59	c |       816 |    3696     6298    28325 |     7320      816    155 |  0.000 % |
348.90/349.03	c |      1322 |    3696     6298    28325 |     8052     1322    220 |  0.000 % |
349.60/349.74	c |      2081 |    3696     6298    28325 |     8857     2081    232 |  0.000 % |
350.50/350.62	c |      3222 |    3696     6298    28325 |     9743     3222    216 |  0.000 % |
352.20/352.33	c |      4932 |    3696     6298    28325 |    10717     4932    244 |  0.000 % |
354.60/354.77	c |      7494 |    3696     6298    28325 |    11789     7494    263 |  0.000 % |
358.59/358.70	c |     11338 |    3696     6298    28325 |    12968    11338    259 |  0.000 % |
363.80/363.96	c |     17104 |    3696     6298    28325 |    14265    10361    260 |  0.000 % |
372.29/372.48	c |     25753 |    3696     6298    28325 |    15692    11705    253 |  0.000 % |
389.49/389.61	c |     38727 |    3696     6298    28325 |    17261    16398    266 |  0.000 % |
408.89/409.06	c |     58188 |    3696     6298    28325 |    18987    17618    318 |  0.000 % |
432.68/432.89	c |     87380 |    3696     6298    28325 |    20886    17549    223 |  0.000 % |
479.47/479.68	c |    131170 |    3696     6298    28325 |    22974    17900    232 |  0.000 % |
545.25/545.41	c |    196854 |    3696     6298    28325 |    25272    23567    204 |  0.000 % |
639.52/639.74	c |    295382 |    3696     6298    28325 |    27799    16369    127 |  0.000 % |
780.58/780.87	c |    443171 |    3696     6298    28325 |    30579    19326    179 |  0.000 % |
992.44/992.73	c |    664856 |    3681     6298    28325 |    33637    21945    138 |  0.406 % |

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-2702611-1278572891/watcher-2702611-1278572891 -o /tmp/evaluation-result-2702611-1278572891/solver-2702611-1278572891 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702611-1278572891.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: 0.00 0.07 0.41 2/105 339
/proc/meminfo: memFree=1886632/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=2800 CPUtime=0
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 291 0 0 0 0 0 0 0 21 0 1 0 25497300 2867200 209 1992294400 134512640 135752675 4293353968 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 700 211 131 303 0 340 0

[startup+0.0203989 s]
/proc/loadavg: 0.00 0.07 0.41 2/105 339
/proc/meminfo: memFree=1886632/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=3508 CPUtime=0.01
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 466 0 0 0 1 0 0 0 21 0 1 0 25497300 3592192 384 1992294400 134512640 135752675 4293353968 18446744073709551615 135379946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 877 384 157 303 0 517 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3508

[startup+0.101407 s]
/proc/loadavg: 0.00 0.07 0.41 2/105 339
/proc/meminfo: memFree=1886632/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=4496 CPUtime=0.09
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 800 0 0 0 9 0 0 0 24 0 1 0 25497300 4603904 663 1992294400 134512640 135752675 4293353968 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 1124 663 144 303 0 819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4496

[startup+0.301428 s]
/proc/loadavg: 0.00 0.07 0.41 2/105 339
/proc/meminfo: memFree=1886632/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=5680 CPUtime=0.29
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 1108 0 0 0 28 1 0 0 25 0 1 0 25497300 5816320 971 1992294400 134512640 135752675 4293353968 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 1420 971 145 303 0 1115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5680

[startup+0.70147 s]
/proc/loadavg: 0.00 0.07 0.41 2/105 339
/proc/meminfo: memFree=1886632/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=8952 CPUtime=0.7
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 1929 0 0 0 68 2 0 0 25 0 1 0 25497300 9166848 1792 1992294400 134512640 135752675 4293353968 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 2238 1792 145 303 0 1933 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 8952

[startup+1.50155 s]
/proc/loadavg: 0.00 0.07 0.41 2/106 340
/proc/meminfo: memFree=1877944/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=15440 CPUtime=1.5
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 3543 0 0 0 146 4 0 0 25 0 1 0 25497300 15810560 3406 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 3860 3406 145 303 0 3555 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15440

[startup+3.10172 s]
/proc/loadavg: 0.00 0.07 0.41 2/106 340
/proc/meminfo: memFree=1868768/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=28060 CPUtime=3.09
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 6703 0 0 0 301 8 0 0 25 0 1 0 25497300 28733440 6566 1992294400 134512640 135752675 4293353968 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 7015 6566 145 303 0 6710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28060

[startup+6.30106 s]
/proc/loadavg: 0.08 0.08 0.42 2/106 341
/proc/meminfo: memFree=1847192/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=46924 CPUtime=6.29
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 11428 0 0 0 615 14 0 0 25 0 1 0 25497300 48050176 11291 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 11731 11291 145 303 0 11426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46924

[startup+12.7017 s]
/proc/loadavg: 0.15 0.10 0.42 2/106 341
/proc/meminfo: memFree=1817184/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=74664 CPUtime=12.69
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 18338 0 0 0 1248 21 0 0 25 0 1 0 25497300 76455936 18201 1992294400 134512640 135752675 4293353968 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 18666 18201 145 303 0 18361 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74664

[startup+25.5011 s]
/proc/loadavg: 0.34 0.14 0.43 2/106 341
/proc/meminfo: memFree=1769196/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=121088 CPUtime=25.49
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 29954 0 0 0 2517 32 0 0 25 0 1 0 25497300 123994112 29817 1992294400 134512640 135752675 4293353968 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 30272 29817 145 303 0 29967 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121088

[startup+51.1008 s]
/proc/loadavg: 0.56 0.21 0.44 2/106 341
/proc/meminfo: memFree=1696532/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=193140 CPUtime=51.08
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 47945 0 0 0 5056 52 0 0 25 0 1 0 25497300 197775360 47808 1992294400 134512640 135752675 4293353968 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 48285 47808 145 303 0 47980 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 193140

[startup+102.308 s]
/proc/loadavg: 0.81 0.33 0.47 2/106 343
/proc/meminfo: memFree=1558024/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=330408 CPUtime=102.27
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 82249 0 0 0 10133 94 0 0 25 0 1 0 25497300 338337792 82112 1992294400 134512640 135752675 4293353968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 82602 82112 145 303 0 82297 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 330408

[startup+162.301 s]
/proc/loadavg: 0.93 0.45 0.50 2/106 345
/proc/meminfo: memFree=1396452/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=493468 CPUtime=162.25
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 122991 0 0 0 16081 144 0 0 25 0 1 0 25497300 505311232 122854 1992294400 134512640 135752675 4293353968 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 123367 122854 145 303 0 123062 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 493468

[startup+222.301 s]
/proc/loadavg: 0.97 0.55 0.53 2/106 346
/proc/meminfo: memFree=1328872/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=558912 CPUtime=222.24
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 139478 0 0 0 22034 190 0 0 25 0 1 0 25497300 572325888 139311 1992294400 134512640 135752675 4293353968 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 139728 139311 146 303 0 139423 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 558912

[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.56 2/106 347
/proc/meminfo: memFree=1234260/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=654244 CPUtime=282.22
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 163298 0 0 0 27985 237 0 0 25 0 1 0 25497300 669945856 163131 1992294400 134512640 135752675 4293353968 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 163561 163131 146 303 0 163256 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 654244

[startup+342.3 s]
/proc/loadavg: 0.99 0.69 0.58 2/106 349
/proc/meminfo: memFree=1147708/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=739572 CPUtime=342.21
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 184614 0 0 0 33940 281 0 0 25 0 1 0 25497300 757321728 184447 1992294400 134512640 135752675 4293353968 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 184893 184447 146 303 0 184588 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 739572

[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.60 2/106 351
/proc/meminfo: memFree=1113732/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=774516 CPUtime=402.18
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 193345 0 0 0 39909 309 0 0 25 0 1 0 25497300 793104384 193178 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 193629 193178 146 303 0 193324 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 774516

[startup+462.301 s]
/proc/loadavg: 0.99 0.79 0.63 2/106 353
/proc/meminfo: memFree=1036480/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=850832 CPUtime=462.17
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 212417 0 0 0 45862 355 0 0 25 0 1 0 25497300 871251968 212250 1992294400 134512640 135752675 4293353968 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 212708 212250 146 303 0 212403 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 850832

[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.65 2/106 354
/proc/meminfo: memFree=976340/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=910932 CPUtime=522.16
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 227473 0 0 0 51821 395 0 0 25 0 1 0 25497300 932794368 227306 1992294400 134512640 135752675 4293353968 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 227733 227306 146 303 0 227428 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 910932

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.66 2/106 355
/proc/meminfo: memFree=913596/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=973372 CPUtime=582.14
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 243058 0 0 0 57770 444 0 0 25 0 1 0 25497300 996732928 242891 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 243343 242891 146 303 0 243038 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 973372

[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.68 3/106 357
/proc/meminfo: memFree=858540/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1027628 CPUtime=642.13
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 256633 0 0 0 63731 482 0 0 25 0 1 0 25497300 1052291072 256466 1992294400 134512640 135752675 4293353968 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 256907 256466 146 303 0 256602 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1027628

[startup+702.301 s]
/proc/loadavg: 0.99 0.90 0.70 2/106 362
/proc/meminfo: memFree=793068/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1092868 CPUtime=702.11
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 272916 0 0 0 69685 526 0 0 25 0 1 0 25497300 1119096832 272749 1992294400 134512640 135752675 4293353968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 273217 272749 146 303 0 272912 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1092868

[startup+762.308 s]
/proc/loadavg: 0.99 0.91 0.72 2/106 364
/proc/meminfo: memFree=737640/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1147852 CPUtime=762.1
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 286672 0 0 0 75647 563 0 0 25 0 1 0 25497300 1175400448 286505 1992294400 134512640 135752675 4293353968 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 286963 286505 146 303 0 286658 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1147852

[startup+822.301 s]
/proc/loadavg: 0.99 0.93 0.73 2/106 368
/proc/meminfo: memFree=654436/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1231980 CPUtime=822.08
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 307693 0 0 0 81596 612 0 0 25 0 1 0 25497300 1261547520 307526 1992294400 134512640 135752675 4293353968 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 307995 307526 146 303 0 307690 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1231980

[startup+882.301 s]
/proc/loadavg: 0.99 0.94 0.74 2/106 369
/proc/meminfo: memFree=563420/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1322164 CPUtime=882.07
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 330251 0 0 0 87546 661 0 0 25 0 1 0 25497300 1353895936 330084 1992294400 134512640 135752675 4293353968 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 330541 330085 146 303 0 330236 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1322164

[startup+942.301 s]
/proc/loadavg: 0.99 0.95 0.76 2/106 373
/proc/meminfo: memFree=490384/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1395308 CPUtime=942.04
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 348535 0 0 0 93496 708 0 0 25 0 1 0 25497300 1428795392 348368 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 348827 348368 146 303 0 348522 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1395308

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.77 2/106 375
/proc/meminfo: memFree=427764/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1457752 CPUtime=1002.03
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 364130 0 0 0 99451 752 0 0 25 0 1 0 25497300 1492738048 363963 1992294400 134512640 135752675 4293353968 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 364438 363963 146 303 0 364133 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1457752

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.78 2/106 377
/proc/meminfo: memFree=356960/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1528248 CPUtime=1062.01
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 381784 0 0 0 105402 799 0 0 25 0 1 0 25497300 1564925952 381617 1992294400 134512640 135752675 4293353968 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 382062 381617 146 303 0 381757 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1528248

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.79 2/106 378
/proc/meminfo: memFree=322488/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1562384 CPUtime=1122
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 390289 0 0 0 111373 827 0 0 25 0 1 0 25497300 1599881216 390122 1992294400 134512640 135752675 4293353968 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 390596 390122 146 303 0 390291 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1562384

[startup+1182.3 s]
/proc/loadavg: 1.06 0.98 0.81 2/106 380
/proc/meminfo: memFree=248336/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1637532 CPUtime=1181.99
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 409067 0 0 0 117335 864 0 0 25 0 1 0 25497300 1676832768 408900 1992294400 134512640 135752675 4293353968 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 409383 408900 146 303 0 409078 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1637532

[startup+1242.3 s]
/proc/loadavg: 1.02 0.98 0.82 2/106 382
/proc/meminfo: memFree=181004/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1703456 CPUtime=1241.97
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 425576 0 0 0 123292 905 0 0 25 0 1 0 25497300 1744338944 425409 1992294400 134512640 135752675 4293353968 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 425864 425409 146 303 0 425559 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1703456

[startup+1302.3 s]
/proc/loadavg: 1.09 1.00 0.83 2/106 384
/proc/meminfo: memFree=109952/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1774340 CPUtime=1301.96
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 443286 0 0 0 129251 945 0 0 25 0 1 0 25497300 1816924160 443119 1992294400 134512640 135752675 4293353968 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 443585 443119 146 303 0 443280 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1774340

[startup+1362.3 s]
/proc/loadavg: 1.10 1.02 0.84 2/106 386
/proc/meminfo: memFree=53656/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1830592 CPUtime=1361.94
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 457335 0 0 0 135216 978 0 0 25 0 1 0 25497300 1874526208 457168 1992294400 134512640 135752675 4293353968 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 457648 457168 146 303 0 457343 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1830592



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1395.91 s]
/proc/loadavg: 1.06 1.01 0.84 2/106 386
/proc/meminfo: memFree=40884/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=1843264 CPUtime=1395.54
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4202496 460497 0 0 0 138566 988 0 0 25 0 1 0 25497300 1887502336 460330 1992294400 134512640 135752675 4293353968 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/339/statm: 460816 460330 146 303 0 460511 0
Current children cumulated CPU time (s) 1395.54
Current children cumulated vsize (KiB) 1843264

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

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

[startup+1396.01 s]
/proc/loadavg: 1.06 1.01 0.84 2/106 386
/proc/meminfo: memFree=40884/2059040 swapFree=4136936/4192956
[pid=339] ppid=337 vsize=0 CPUtime=1395.64
/proc/339/stat : 339 (wbo1.4b) R 337 339 304 0 -1 4203524 460497 0 0 0 138567 997 0 0 25 0 1 0 25497300 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/339/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1395.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1396.07
CPU time (s): 1395.71
CPU user time (s): 1385.67
CPU system time (s): 10.0395
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1843264

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

runsolver used 2.17467 second user time and 6.73198 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-08 09:08:11
IDJOB=2702611
IDBENCH=48240
IDSOLVER=1190
FILE ID=node082/2702611-1278572891
PBS_JOBID= 11240066
Free space on /tmp= 62400 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702611-1278572891/watcher-2702611-1278572891 -o /tmp/evaluation-result-2702611-1278572891/solver-2702611-1278572891 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702611-1278572891.opb

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=479633036

node082.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.260
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.52
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.260
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1887780 kB
Buffers:         13800 kB
Cached:          81404 kB
SwapCached:       9316 kB
Active:          85384 kB
Inactive:        22964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1887780 kB
SwapTotal:     4192956 kB
SwapFree:      4136936 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:       11524 kB
Mapped:           8372 kB
Slab:            41148 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702611-1278572891.opb

Free space on /tmp at the end= 62396 MiB
End job on node082 at 2010-07-08 09:31:29