Trace number 2702543

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.14 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_4.opb
MD5SUMd0c1e6f66b584092ef8bd8f37f3a4db9
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-25
Best CPU time to get the best result obtained on this benchmark1789.58
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products629
Sum of products size1258

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-2702543-1278569519.opb.
0.00/0.00	c Instance file HOME/instance-2702543-1278569519.opb
0.00/0.00	c File size is 49681 bytes.
0.00/0.01	c Highest Coefficient sum: 18
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      729                                                 |
0.00/0.01	c |  Number Clauses:        629                                                 |
0.00/0.01	c |  Number Cardinality:    200                                                 |
0.00/0.01	c |  Number PB Constraints: 629                                                 |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1458     3025 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 0
0.00/0.01	o 0
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1459     3125 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -1
0.00/0.01	o -1
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1460     3225 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -2
0.00/0.01	o -2
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1461     3325 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -3
0.00/0.01	o -3
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         2 |     100     1462     3425 |     5000        2     98 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -4
0.00/0.01	o -4
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         5 |     100     1463     3525 |     5000        5     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -5
0.00/0.01	o -5
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         5 |     100     1464     3625 |     5000        5     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -6
0.00/0.01	o -6
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         6 |     100     1465     3725 |     5000        6     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -7
0.00/0.01	o -7
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         9 |     100     1466     3825 |     5000        9     96 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -8
0.00/0.01	o -8
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        10 |     100     1467     3925 |     5000       10     96 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -9
0.00/0.01	o -9
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        41 |     100     1468     4025 |     5000       41     94 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -10
0.00/0.02	o -10
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        58 |     100     1469     4125 |     5000       58     93 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -11
0.00/0.02	o -11
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        70 |     100     1470     4225 |     5000       70     93 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -12
0.00/0.02	o -12
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 |       125 |     100     1471     4325 |     5000      125     92 |  0.000 % |
0.00/0.02	c |       227 |     100     1471     4325 |     5500      227     91 | 86.283 % |
0.03/0.03	c ===============================================================================
0.03/0.03	c New solution: -13
0.03/0.03	o -13
0.03/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 179.962 s
0.03/0.03	c ===============================================================================
0.03/0.03	c |       364 |     100     1472     4425 |     5000      364     91 | 86.283 % |
0.03/0.04	c |       465 |     100     1472     4425 |     5500      465     91 | 86.283 % |
0.03/0.06	c |       616 |     100     1472     4425 |     6050      616     91 | 86.283 % |
0.03/0.08	c |       841 |     100     1472     4425 |     6655      841     90 | 86.283 % |
0.03/0.09	c ===============================================================================
0.03/0.09	c New solution: -14
0.03/0.09	o -14
0.03/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 179.91 s
0.03/0.09	c ===============================================================================
0.03/0.09	c |       901 |     100     1473     4525 |     5000      901     90 | 86.283 % |
0.03/0.09	c |      1002 |     100     1473     4525 |     5500     1002     90 | 86.283 % |
0.09/0.11	c |      1152 |     100     1473     4525 |     6050     1152     90 | 86.283 % |
0.09/0.13	c |      1378 |     100     1473     4525 |     6655     1378     89 | 86.283 % |
0.09/0.17	c |      1716 |     100     1473     4525 |     7320     1716     89 | 86.283 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: -15
0.09/0.17	o -15
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 179.829 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |      1739 |     100     1474     4625 |     5000     1739     89 | 86.283 % |
0.09/0.18	c |      1841 |     100     1474     4625 |     5500     1841     89 | 86.283 % |
0.19/0.20	c |      1991 |     100     1474     4625 |     6050     1991     90 | 86.283 % |
0.19/0.22	c |      2218 |     100     1474     4625 |     6655     2218     90 | 86.283 % |
0.19/0.28	c |      2556 |     100     1474     4625 |     7320     2556     90 | 86.283 % |
0.29/0.37	c |      3064 |     100     1474     4625 |     8052     3064     89 | 86.283 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -16
0.39/0.47	o -16
0.39/0.47	c Elapsed CPU time: 0.463929 s	Remaining CPU time: 179.536 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |      3569 |     100     1475     4725 |     5000     3569     89 | 86.283 % |
0.39/0.49	c |      3669 |     100     1475     4725 |     5500     3669     89 | 86.283 % |
0.49/0.52	c |      3820 |     100     1475     4725 |     6050     3820     89 | 86.283 % |
0.49/0.56	c |      4047 |     100     1475     4725 |     6655     4047     89 | 86.283 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -17
0.49/0.56	o -17
0.49/0.56	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 179.44 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |      4097 |     100     1476     4825 |     5000     4097     89 | 86.283 % |
0.49/0.58	c |      4198 |     100     1476     4825 |     5500     4198     89 | 86.283 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -18
0.49/0.59	o -18
0.49/0.59	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 179.417 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |      4239 |     100     1477     4925 |     5000     4239     89 | 86.283 % |
0.59/0.61	c |      4341 |     100     1477     4925 |     5500     4341     89 | 86.283 % |
0.59/0.66	c |      4491 |     100     1477     4925 |     6050     4491     89 | 86.283 % |
0.69/0.73	c |      4719 |     100     1477     4925 |     6655     4719     89 | 86.283 % |
0.69/0.79	c |      5056 |     100     1477     4925 |     7320     5056     89 | 86.283 % |
0.89/1.00	c |      5563 |     100     1477     4925 |     8052     5563     89 | 86.283 % |
1.09/1.16	c |      6323 |     100     1477     4925 |     8857     6323     89 | 86.283 % |
1.39/1.43	c |      7464 |     100     1477     4925 |     9743     7464     88 | 86.283 % |
1.79/1.85	c |      9172 |     100     1477     4925 |    10717     9172     88 | 86.283 % |
2.10/2.19	c ===============================================================================
2.10/2.19	c New solution: -19
2.10/2.19	o -19
2.10/2.19	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 177.839 s
2.10/2.19	c ===============================================================================
2.10/2.19	c |     10349 |     100     1478     5025 |     5000    10349     88 | 86.283 % |
2.20/2.28	c |     10450 |     100     1478     5025 |     5500     5276     86 | 86.283 % |
2.29/2.33	c |     10600 |     100     1478     5025 |     6050     5426     86 | 86.283 % |
2.29/2.37	c |     10827 |     100     1478     5025 |     6655     5653     86 | 86.283 % |
2.39/2.43	c |     11165 |     100     1478     5025 |     7320     5991     86 | 86.283 % |
2.59/2.61	c |     11671 |     100     1478     5025 |     8052     6497     86 | 86.283 % |
2.69/2.77	c |     12430 |     100     1478     5025 |     8857     7256     86 | 86.283 % |
3.09/3.17	c |     13569 |     100     1478     5025 |     9743     8395     85 | 86.283 % |
3.89/3.97	c |     15277 |     100     1478     5025 |    10717    10103     85 | 86.283 % |
4.49/4.56	c ===============================================================================
4.49/4.56	c New solution: -20
4.49/4.56	o -20
4.49/4.56	c Elapsed CPU time: 4.51231 s	Remaining CPU time: 175.488 s
4.49/4.56	c ===============================================================================
4.49/4.56	c |     16567 |     100     1479     5125 |     5000    11393     85 | 86.283 % |
4.59/4.66	c |     16669 |     100     1479     5125 |     5500     2951     83 | 86.283 % |
4.59/4.67	c |     16821 |     100     1479     5125 |     6050     3103     84 | 86.283 % |
4.69/4.71	c |     17046 |     100     1479     5125 |     6655     3328     85 | 86.283 % |
4.69/4.77	c |     17383 |     100     1479     5125 |     7320     3665     88 | 86.283 % |
4.89/4.90	c |     17891 |     100     1479     5125 |     8052     4173     90 | 86.283 % |
5.09/5.12	c |     18653 |     100     1479     5125 |     8857     4935     90 | 86.283 % |
5.40/5.42	c |     19792 |     100     1479     5125 |     9743     6074     89 | 86.283 % |
5.89/5.90	c |     21502 |     100     1479     5125 |    10717     7784     88 | 86.283 % |
6.99/7.04	c |     24065 |     100     1479     5125 |    11789    10347     87 | 86.283 % |
8.39/8.47	c |     27910 |     100     1479     5125 |    12968     7946     85 | 86.283 % |
10.48/10.59	c |     33677 |     100     1479     5125 |    14265     6879     84 | 86.283 % |
14.20/14.28	c |     42327 |     100     1479     5125 |    15692     8041     86 | 86.283 % |
19.19/19.24	c |     55302 |     100     1479     5125 |    17261    12819     84 | 86.283 % |
27.18/27.29	c |     74764 |     100     1479     5125 |    18987    14313    101 | 86.283 % |
41.28/41.34	c |    103957 |     100     1479     5125 |    20886    13965     92 | 86.283 % |
63.16/63.24	c |    147747 |     100     1479     5125 |    22974    14044    122 | 86.283 % |
106.95/107.02	c |    213432 |     100     1479     5125 |    25272    15087     95 | 86.283 % |
139.94/140.06	c ===============================================================================
139.94/140.06	c New solution: -21
139.94/140.06	o -21
139.94/140.06	c Elapsed CPU time: 139.091 s	Remaining CPU time: 40.9091 s
139.94/140.06	c ===============================================================================
139.94/140.06	c |    269301 |     100     1480     5225 |     5000    25531     83 | 86.283 % |
140.34/140.47	c |    269403 |     100     1480     5225 |     5500     5514     83 | 86.283 % |
140.44/140.53	c |    269557 |     100     1480     5225 |     6050     5668     83 | 86.283 % |
140.54/140.61	c |    269784 |     100     1480     5225 |     6655     5895     83 | 86.283 % |
140.65/140.72	c |    270122 |     100     1480     5225 |     7320     6233     83 | 86.283 % |
140.75/140.89	c |    270628 |     100     1480     5225 |     8052     6739     83 | 86.283 % |
140.94/141.09	c |    271387 |     100     1480     5225 |     8857     7498     83 | 86.283 % |
141.34/141.46	c |    272527 |     100     1480     5225 |     9743     8638     83 | 86.283 % |
141.94/142.08	c |    274235 |     100     1480     5225 |    10717    10346     83 | 86.283 % |
142.85/142.94	c |    276797 |     100     1480     5225 |    11789     7196     84 | 86.283 % |
144.34/144.49	c |    280641 |     100     1480     5225 |    12968    11040     84 | 86.283 % |
147.24/147.31	c |    286408 |     100     1480     5225 |    14265     9968     85 | 86.283 % |
150.94/151.05	c |    295059 |     100     1480     5225 |    15692    11131     85 | 86.283 % |
158.43/158.55	c |    308033 |     100     1480     5225 |    17261    15904     84 | 86.283 % |
169.04/169.16	c |    327496 |     100     1480     5225 |    18987    17395     93 | 86.283 % |
181.13/181.25	c There are 629 assigned variables. 0 in cost function.
181.63/181.72	c core #1
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -99
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #2
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -98
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #3
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -97
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #4
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -96
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #5
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -95
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #6
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -94
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #7
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -93
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #8
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -92
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #9
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -91
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #10
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -90
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #11
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -89
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #12
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -88
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #13
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -87
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #14
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -86
181.63/181.72	c
181.63/181.72	c
181.63/181.72	c core #15
181.63/181.72	c 
181.63/181.72	c 
181.63/181.72	c Core size: 3	Core Weight: 1	Total Weight: -85
181.63/181.72	c
181.63/181.73	c
181.63/181.73	c core #16
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -84
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #17
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -83
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #18
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -82
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #19
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -81
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #20
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -80
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #21
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -79
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #22
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -78
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #23
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -77
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #24
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -76
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #25
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -75
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #26
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -74
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #27
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -73
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #28
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -72
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #29
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -71
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #30
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -70
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #31
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -69
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #32
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -68
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #33
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -67
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #34
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -66
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #35
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -65
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #36
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -64
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #37
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -63
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #38
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -62
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #39
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -61
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #40
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -60
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #41
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -59
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #42
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -58
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #43
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -57
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #44
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -56
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #45
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -55
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #46
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 3	Core Weight: 1	Total Weight: -54
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #47
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 11	Core Weight: 1	Total Weight: -53
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #48
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 7	Core Weight: 1	Total Weight: -52
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #49
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 11	Core Weight: 1	Total Weight: -51
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c core #50
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 15	Core Weight: 1	Total Weight: -50
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c ============================[ Search Statistics ]==============================
181.63/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.73	c ===============================================================================
181.63/181.73	c |         0 |     216     1430     3790 |     5000        0    nan |  0.000 % |
181.63/181.73	c ===============================================================================
181.63/181.73	c core #51
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 10	Core Weight: 1	Total Weight: -49
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c ============================[ Search Statistics ]==============================
181.63/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.73	c ===============================================================================
181.63/181.73	c |         0 |     222     1431     3802 |     5000        0    nan |  0.000 % |
181.63/181.73	c ===============================================================================
181.63/181.73	c core #52
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 14	Core Weight: 1	Total Weight: -48
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c ============================[ Search Statistics ]==============================
181.63/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.73	c ===============================================================================
181.63/181.73	c |         0 |     230     1432     3818 |     5000        0    nan |  0.000 % |
181.63/181.73	c ===============================================================================
181.63/181.73	c core #53
181.63/181.73	c 
181.63/181.73	c 
181.63/181.73	c Core size: 14	Core Weight: 1	Total Weight: -47
181.63/181.73	c
181.63/181.73	c
181.63/181.73	c ============================[ Search Statistics ]==============================
181.63/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.73	c ===============================================================================
181.63/181.73	c |         0 |     238     1433     3834 |     5000        0    nan |  0.000 % |
181.63/181.74	c ===============================================================================
181.63/181.74	c core #54
181.63/181.74	c 
181.63/181.74	c 
181.63/181.74	c Core size: 14	Core Weight: 1	Total Weight: -46
181.63/181.74	c
181.63/181.74	c
181.63/181.74	c ============================[ Search Statistics ]==============================
181.63/181.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.74	c ===============================================================================
181.63/181.74	c |         0 |     246     1434     3850 |     5000        0    nan |  0.000 % |
181.63/181.74	c ===============================================================================
181.63/181.74	c core #55
181.63/181.74	c 
181.63/181.74	c 
181.63/181.74	c Core size: 10	Core Weight: 1	Total Weight: -45
181.63/181.74	c
181.63/181.74	c
181.63/181.74	c ============================[ Search Statistics ]==============================
181.63/181.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.74	c ===============================================================================
181.63/181.74	c |         0 |     252     1435     3862 |     5000        0    nan |  0.000 % |
181.63/181.74	c ===============================================================================
181.63/181.75	c core #56
181.63/181.75	c 
181.63/181.75	c 
181.63/181.75	c Core size: 17	Core Weight: 1	Total Weight: -44
181.63/181.75	c
181.63/181.75	c
181.63/181.75	c ============================[ Search Statistics ]==============================
181.63/181.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.75	c ===============================================================================
181.63/181.75	c |         0 |     261     1436     3880 |     5000        0    nan |  0.000 % |
181.63/181.75	c ===============================================================================
181.63/181.75	c core #57
181.63/181.75	c 
181.63/181.75	c 
181.63/181.75	c Core size: 13	Core Weight: 1	Total Weight: -43
181.63/181.75	c
181.63/181.75	c
181.63/181.75	c ============================[ Search Statistics ]==============================
181.63/181.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.75	c ===============================================================================
181.63/181.75	c |         0 |     270     1437     3898 |     5000        0    nan |  0.000 % |
181.63/181.75	c ===============================================================================
181.63/181.76	c core #58
181.63/181.76	c 
181.63/181.76	c 
181.63/181.76	c Core size: 16	Core Weight: 1	Total Weight: -42
181.63/181.76	c
181.63/181.76	c
181.63/181.76	c ============================[ Search Statistics ]==============================
181.63/181.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.76	c ===============================================================================
181.63/181.76	c |         0 |     280     1438     3918 |     5000        0    nan |  0.000 % |
181.63/181.76	c ===============================================================================
181.63/181.76	c core #59
181.63/181.76	c 
181.63/181.76	c 
181.63/181.76	c Core size: 43	Core Weight: 1	Total Weight: -41
181.63/181.76	c
181.63/181.76	c
181.63/181.76	c ============================[ Search Statistics ]==============================
181.63/181.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.76	c ===============================================================================
181.63/181.76	c |         0 |     306     1439     3970 |     5000        0    nan |  0.000 % |
181.63/181.77	c ===============================================================================
181.63/181.77	c core #60
181.63/181.77	c 
181.63/181.77	c 
181.63/181.77	c Core size: 57	Core Weight: 1	Total Weight: -40
181.63/181.77	c
181.63/181.77	c
181.63/181.77	c ============================[ Search Statistics ]==============================
181.63/181.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.77	c ===============================================================================
181.63/181.77	c |         0 |     344     1440     4046 |     5000        0    nan |  0.000 % |
181.63/181.79	c |       103 |     344     1440     4046 |     5500      103     25 | 64.646 % |
181.73/181.80	c |       253 |     344     1440     4046 |     6050      253     23 | 64.646 % |
181.73/181.82	c ===============================================================================
181.73/181.82	c core #61
181.73/181.82	c 
181.73/181.82	c 
181.73/181.82	c Core size: 61	Core Weight: 1	Total Weight: -39
181.73/181.82	c
181.73/181.82	c
181.73/181.82	c ============================[ Search Statistics ]==============================
181.73/181.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.82	c ===============================================================================
181.73/181.82	c |         0 |     402     1441     4162 |     5000        0    nan |  0.000 % |
181.73/181.83	c |       100 |     402     1441     4162 |     5500      100     15 | 61.009 % |
181.73/181.85	c |       256 |     402     1441     4162 |     6050      256     18 | 61.009 % |
181.73/181.87	c |       481 |     402     1441     4162 |     6655      481     22 | 61.009 % |
181.83/181.91	c |       820 |     402     1441     4162 |     7320      820     22 | 61.009 % |
181.83/181.95	c ===============================================================================
181.83/181.96	c core #62
181.83/181.96	c 
181.83/181.96	c 
181.83/181.96	c Core size: 90	Core Weight: 1	Total Weight: -38
181.83/181.96	c
181.83/181.96	c
181.83/181.96	c ============================[ Search Statistics ]==============================
181.83/181.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.83/181.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.83/181.96	c ===============================================================================
181.83/181.96	c |         0 |     472     1442     4302 |     5000        0    nan |  0.000 % |
181.83/181.97	c |       102 |     472     1442     4302 |     5500      102     21 | 57.130 % |
181.83/181.98	c |       253 |     472     1442     4302 |     6050      253     20 | 57.130 % |
181.93/182.00	c |       481 |     472     1442     4302 |     6655      481     35 | 57.130 % |
181.93/182.03	c |       818 |     472     1442     4302 |     7320      818     49 | 57.130 % |
181.93/182.08	c |      1326 |     472     1442     4302 |     8052     1326     55 | 57.130 % |
182.02/182.15	c |      2089 |     472     1442     4302 |     8857     2089     58 | 57.130 % |
182.13/182.26	c |      3229 |     472     1442     4302 |     9743     3229     60 | 57.130 % |
182.43/182.50	c |      4937 |     472     1442     4302 |    10717     4937     61 | 57.130 % |
182.73/182.82	c |      7499 |     472     1442     4302 |    11789     7499     61 | 57.130 % |
183.43/183.53	c |     11343 |     472     1442     4302 |    12968    11343     62 | 57.130 % |
184.83/184.90	c |     17111 |     472     1442     4302 |    14265    10274     70 | 57.130 % |
187.82/187.92	c |     25763 |     472     1442     4302 |    15692    11439     73 | 57.130 % |
191.63/191.77	c |     38738 |     472     1442     4302 |    17261    16213     73 | 57.130 % |
202.53/202.61	c |     58199 |     472     1442     4302 |    18987    17701     74 | 57.130 % |
216.12/216.24	c |     87392 |     472     1442     4302 |    20886    17357     73 | 57.130 % |
237.91/238.03	c |    131183 |     472     1442     4302 |    22974    17484     74 | 57.130 % |
271.20/271.36	c |    196867 |     472     1442     4302 |    25272    18699     73 | 57.130 % |
328.48/328.69	c |    295393 |     472     1442     4302 |    27799    11495     74 | 57.130 % |
346.47/346.67	c ===============================================================================
346.77/346.98	c core #63
346.77/346.98	c 
346.77/346.98	c 
346.77/346.98	c Core size: 103	Core Weight: 1	Total Weight: -37
346.77/346.98	c
346.77/346.98	c
346.77/346.98	c ============================[ Search Statistics ]==============================
346.77/346.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
346.77/346.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
346.77/346.98	c ===============================================================================
346.77/346.98	c |         0 |     539     1443     4436 |     5000        0    nan |  0.000 % |
346.87/347.05	c |       100 |     539     1443     4436 |     5500      100     64 | 53.853 % |
346.87/347.06	c |       251 |     539     1443     4436 |     6050      251     40 | 53.853 % |
346.87/347.08	c |       476 |     539     1443     4436 |     6655      476     39 | 53.853 % |
346.97/347.11	c |       814 |     539     1443     4436 |     7320      814     39 | 53.853 % |
346.97/347.16	c |      1323 |     539     1443     4436 |     8052     1323     47 | 53.853 % |
347.07/347.22	c |      2083 |     539     1443     4436 |     8857     2083     54 | 53.853 % |
347.18/347.34	c |      3226 |     539     1443     4436 |     9743     3226     58 | 53.853 % |
347.38/347.50	c |      4936 |     539     1443     4436 |    10717     4936     59 | 53.853 % |
347.77/347.91	c |      7499 |     539     1443     4436 |    11789     7499     60 | 53.853 % |
348.27/348.42	c |     11343 |     539     1443     4436 |    12968    11343     60 | 53.853 % |
349.77/349.99	c |     17111 |     539     1443     4436 |    14265    10272     61 | 53.853 % |
352.47/352.64	c |     25760 |     539     1443     4436 |    15692    11436     60 | 53.853 % |
355.78/355.95	c |     38735 |     539     1443     4436 |    17261    16211     60 | 53.853 % |
360.37/360.59	c |     58196 |     539     1443     4436 |    18987    17708     58 | 53.853 % |
368.67/368.86	c |     87389 |     539     1443     4436 |    20886    17360     73 | 53.853 % |
392.76/392.90	c |    131179 |     539     1443     4436 |    22974    17577     74 | 53.853 % |
426.85/427.02	c |    196864 |     539     1443     4436 |    25272    18719     69 | 53.853 % |
475.93/476.11	c |    295392 |     539     1443     4436 |    27799    11406     74 | 53.853 % |
559.50/559.79	c |    443183 |     539     1443     4436 |    30579    18826     72 | 53.853 % |
724.06/724.39	c |    664866 |     539     1443     4436 |    33637    18059     73 | 53.853 % |
894.40/894.76	c |    997393 |     539     1443     4436 |    37001    25571     56 | 53.853 % |
1103.03/1103.43	c |   1496182 |     539     1443     4436 |    40701    21042     67 | 53.853 % |
1494.42/1494.93	c |   2244365 |     539     1443     4436 |    44771    17711     73 | 53.853 % |

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-2702543-1278569519/watcher-2702543-1278569519 -o /tmp/evaluation-result-2702543-1278569519/solver-2702543-1278569519 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702543-1278569519.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.92 0.98 0.99 3/106 29994
/proc/meminfo: memFree=1843276/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=2760 CPUtime=0
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 25159341 2826240 228 1992294400 134512640 135752675 4291958400 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 690 230 141 303 0 372 0

[startup+0.0358109 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29994
/proc/meminfo: memFree=1843276/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=2924 CPUtime=0.03
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 391 0 0 0 3 0 0 0 20 0 1 0 25159341 2994176 295 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 731 295 145 303 0 426 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2924

[startup+0.100817 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29994
/proc/meminfo: memFree=1843276/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=3308 CPUtime=0.09
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 474 0 0 0 9 0 0 0 20 0 1 0 25159341 3387392 378 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 827 378 145 303 0 522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3308

[startup+0.300853 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29994
/proc/meminfo: memFree=1843276/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=4088 CPUtime=0.29
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 673 0 0 0 29 0 0 0 20 0 1 0 25159341 4186112 577 1992294400 134512640 135752675 4291958400 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 1022 577 145 303 0 717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4088

[startup+0.700883 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29994
/proc/meminfo: memFree=1843276/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=4992 CPUtime=0.69
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 919 0 0 0 68 1 0 0 21 0 1 0 25159341 5111808 823 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 1248 823 145 303 0 943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4992

[startup+1.50097 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29995
/proc/meminfo: memFree=1840416/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=6564 CPUtime=1.49
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 1300 0 0 0 147 2 0 0 23 0 1 0 25159341 6721536 1204 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 1641 1204 145 303 0 1336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6564

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29995
/proc/meminfo: memFree=1838060/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=9148 CPUtime=3.09
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 1949 0 0 0 305 4 0 0 25 0 1 0 25159341 9367552 1853 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 2287 1853 145 303 0 1982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9148

[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29995
/proc/meminfo: memFree=1833348/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=13728 CPUtime=6.29
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 3085 0 0 0 622 7 0 0 25 0 1 0 25159341 14057472 2989 1992294400 134512640 135752675 4291958400 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 3432 2989 145 303 0 3127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13728

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29995
/proc/meminfo: memFree=1824800/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=21408 CPUtime=12.69
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 4981 0 0 0 1257 12 0 0 25 0 1 0 25159341 21921792 4885 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 5352 4885 145 303 0 5047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21408

[startup+25.5006 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 29995
/proc/meminfo: memFree=1811284/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=34680 CPUtime=25.49
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 8290 0 0 0 2527 22 0 0 25 0 1 0 25159341 35512320 8194 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 8670 8194 145 303 0 8365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34680

[startup+51.1004 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 29997
/proc/meminfo: memFree=1784748/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=62024 CPUtime=51.07
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 15088 0 0 0 5068 39 0 0 25 0 1 0 25159341 63512576 14992 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 15506 14993 145 303 0 15201 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62024

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 29997
/proc/meminfo: memFree=1743084/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=102432 CPUtime=102.26
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 25193 0 0 0 10155 71 0 0 25 0 1 0 25159341 104890368 25097 1992294400 134512640 135752675 4291958400 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 25608 25097 145 303 0 25303 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102432

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29999
/proc/meminfo: memFree=1694476/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=151388 CPUtime=162.23
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 37422 0 0 0 16116 107 0 0 25 0 1 0 25159341 155021312 37326 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 37847 37326 145 303 0 37542 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151388

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30001
/proc/meminfo: memFree=1655664/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=189520 CPUtime=222.21
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 46981 0 0 0 22074 147 0 0 25 0 1 0 25159341 194068480 46885 1992294400 134512640 135752675 4291958400 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 47380 46885 146 303 0 47075 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 189520

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30003
/proc/meminfo: memFree=1619828/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=225684 CPUtime=282.2
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 56002 0 0 0 28039 181 0 0 25 0 1 0 25159341 231100416 55906 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 56421 55906 146 303 0 56116 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 225684

[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30003
/proc/meminfo: memFree=1584364/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=261216 CPUtime=342.18
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 64843 0 0 0 34002 216 0 0 25 0 1 0 25159341 267485184 64747 1992294400 134512640 135752675 4291958400 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 65304 64747 146 303 0 64999 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 261216

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30005
/proc/meminfo: memFree=1540964/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=304136 CPUtime=402.16
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 75645 0 0 0 39956 260 0 0 25 0 1 0 25159341 311435264 75521 1992294400 134512640 135752675 4291958400 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 76034 75521 146 303 0 75729 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 304136

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30009
/proc/meminfo: memFree=1500540/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=343972 CPUtime=462.14
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 85570 0 0 0 45915 299 0 0 25 0 1 0 25159341 352227328 85446 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 85993 85446 146 303 0 85688 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 343972

[startup+522.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 30012
/proc/meminfo: memFree=1473012/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=371656 CPUtime=522.11
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 92450 0 0 0 51885 326 0 0 25 0 1 0 25159341 380575744 92327 1992294400 134512640 135752675 4291958400 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 92914 92327 146 303 0 92609 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 371656

[startup+582.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 30014
/proc/meminfo: memFree=1438664/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=405528 CPUtime=582.09
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 100954 0 0 0 57849 360 0 0 25 0 1 0 25159341 415260672 100830 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 101382 100830 146 303 0 101077 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 405528

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30014
/proc/meminfo: memFree=1407912/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=436176 CPUtime=642.08
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 108596 0 0 0 63817 391 0 0 25 0 1 0 25159341 446644224 108472 1992294400 134512640 135752675 4291958400 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 109044 108472 146 303 0 108739 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 436176

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30022
/proc/meminfo: memFree=1273248/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=571044 CPUtime=882.01
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 142246 0 0 0 87670 531 0 0 25 0 1 0 25159341 584749056 142122 1992294400 134512640 135752675 4291958400 18446744073709551615 134612072 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 142761 142122 146 303 0 142456 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 571044

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30022
/proc/meminfo: memFree=1235304/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=608932 CPUtime=941.99
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 151720 0 0 0 93630 569 0 0 25 0 1 0 25159341 623546368 151596 1992294400 134512640 135752675 4291958400 18446744073709551615 134612107 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 152233 151596 146 303 0 151928 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 608932

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30024
/proc/meminfo: memFree=1198972/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=645340 CPUtime=1001.96
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 160804 0 0 0 99598 598 0 0 25 0 1 0 25159341 660828160 160680 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 161335 160680 146 303 0 161030 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 645340

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30026
/proc/meminfo: memFree=1147140/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=698912 CPUtime=1061.95
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 174116 0 0 0 105539 656 0 0 25 0 1 0 25159341 715685888 173992 1992294400 134512640 135752675 4291958400 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 174728 173992 146 303 0 174423 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 698912

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30028
/proc/meminfo: memFree=1101508/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=742852 CPUtime=1121.93
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 185070 0 0 0 111495 698 0 0 25 0 1 0 25159341 760680448 184946 1992294400 134512640 135752675 4291958400 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 185713 184946 146 303 0 185408 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 742852

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1075468/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=769424 CPUtime=1181.91
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 191689 0 0 0 117468 723 0 0 25 0 1 0 25159341 787890176 191565 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 192356 191565 146 303 0 192051 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 769424

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30030
/proc/meminfo: memFree=1035788/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=809116 CPUtime=1241.9
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 201606 0 0 0 123432 758 0 0 25 0 1 0 25159341 828534784 201482 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 202279 201482 146 303 0 201974 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 809116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30032
/proc/meminfo: memFree=1007764/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=836308 CPUtime=1301.88
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 208411 0 0 0 129400 788 0 0 25 0 1 0 25159341 856379392 208287 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 209077 208287 146 303 0 208772 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 836308

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30034
/proc/meminfo: memFree=965480/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=878948 CPUtime=1361.86
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 219077 0 0 0 135359 827 0 0 25 0 1 0 25159341 900042752 218953 1992294400 134512640 135752675 4291958400 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 219737 218953 146 303 0 219432 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 878948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30036
/proc/meminfo: memFree=915632/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=928720 CPUtime=1421.85
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 231478 0 0 0 141309 876 0 0 25 0 1 0 25159341 951009280 231354 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 232180 231354 146 303 0 231875 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 928720

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30038
/proc/meminfo: memFree=876200/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=969116 CPUtime=1481.81
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 241571 0 0 0 147266 915 0 0 25 0 1 0 25159341 992374784 241447 1992294400 134512640 135752675 4291958400 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 242279 241447 146 303 0 241974 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 969116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30038
/proc/meminfo: memFree=832180/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1012048 CPUtime=1541.79
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 252304 0 0 0 153230 949 0 0 25 0 1 0 25159341 1036337152 252180 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 253012 252180 146 303 0 252707 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1012048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30040
/proc/meminfo: memFree=806884/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1037124 CPUtime=1601.77
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 258561 0 0 0 159201 976 0 0 25 0 1 0 25159341 1062014976 258437 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 259281 258437 146 303 0 258976 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1037124

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30042
/proc/meminfo: memFree=778860/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1065172 CPUtime=1661.76
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 265553 0 0 0 165173 1003 0 0 25 0 1 0 25159341 1090736128 265429 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 266293 265429 146 303 0 265988 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1065172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30044
/proc/meminfo: memFree=739924/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1104224 CPUtime=1721.73
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 275303 0 0 0 171130 1043 0 0 25 0 1 0 25159341 1130725376 275179 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 276056 275179 146 303 0 275751 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1104224

[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 30046
/proc/meminfo: memFree=710040/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1133568 CPUtime=1781.72
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 282652 0 0 0 177103 1069 0 0 25 0 1 0 25159341 1160773632 282528 1992294400 134512640 135752675 4291958400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 283392 282528 146 303 0 283087 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1133568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 30046
/proc/meminfo: memFree=702476/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=1141144 CPUtime=1800.03
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4202496 284525 0 0 0 178925 1078 0 0 25 0 1 0 25159341 1168531456 284401 1992294400 134512640 135752675 4291958400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29994/statm: 285286 284401 146 303 0 284981 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1141144

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

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

[startup+1800.72 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 30046
/proc/meminfo: memFree=702476/2059040 swapFree=4139756/4192956
[pid=29994] ppid=29992 vsize=0 CPUtime=1800.13
/proc/29994/stat : 29994 (wbo1.4b) R 29992 29994 28610 0 -1 4203524 284525 0 0 0 178925 1088 0 0 25 0 1 0 25159341 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29994/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1789.25
CPU system time (s): 10.8903
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1141144

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

runsolver used 2.82357 second user time and 8.66468 second system time

The end

Launcher Data 

Begin job on node042 at 2010-07-08 08:11:59
IDJOB=2702543
IDBENCH=48206
IDSOLVER=1190
FILE ID=node042/2702543-1278569519
PBS_JOBID= 11239532
Free space on /tmp= 62512 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_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-2702543-1278569519/watcher-2702543-1278569519 -o /tmp/evaluation-result-2702543-1278569519/solver-2702543-1278569519 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702543-1278569519.opb

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

MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9
RANDOM SEED=1828399153

node042.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.213
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.42
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.213
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844176 kB
Buffers:         12316 kB
Cached:         107464 kB
SwapCached:       6336 kB
Active:          97116 kB
Inactive:        48724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844176 kB
SwapTotal:     4192956 kB
SwapFree:      4139756 kB
Dirty:            2744 kB
Writeback:           0 kB
AnonPages:       24708 kB
Mapped:          12088 kB
Slab:            46912 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   197772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702543-1278569519.opb

Free space on /tmp at the end= 62508 MiB
End job on node042 at 2010-07-08 08:42:02