Trace number 2702609

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.2 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
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-27
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
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)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

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-2702609-1278572881.opb.
0.00/0.00	c Instance file HOME/instance-2702609-1278572881.opb
0.00/0.00	c File size is 530657 bytes.
0.05/0.09	c Highest Coefficient sum: 400
0.05/0.09	c ============================[ Problem Statistics ]=============================
0.05/0.09	c |                                                                             |
0.05/0.09	c |  Parsing time:          0.09         s                                      |
0.05/0.09	c |  Number Variables:      6604                                                |
0.05/0.09	c |  Number Clauses:        6404                                                |
0.05/0.09	c |  Number Cardinality:    402                                                 |
0.05/0.09	c |  Number PB Constraints: 6204                                                |
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    6604    13010    50832 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 0
0.09/0.19	o 0
0.09/0.19	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 179.814 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    6604    13011    51032 |     5000        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: -1
0.19/0.20	o -1
0.19/0.20	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 179.803 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         1 |    6604    13012    51232 |     5000        1    201 |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -2
0.19/0.21	o -2
0.19/0.21	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 179.797 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         1 |    6604    13013    51432 |     5000        1    201 |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -3
0.19/0.21	o -3
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         1 |    6604    13014    51632 |     5000        1    201 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: -4
0.19/0.22	o -4
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 179.782 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |        20 |    6604    13015    51832 |     5000       20    227 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -5
0.19/0.23	o -5
0.19/0.23	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 179.775 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |        23 |    6604    13016    52032 |     5000       23    223 |  0.000 % |
0.19/0.25	c |       123 |    6604    13016    52032 |     5500      123    358 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -6
0.19/0.26	o -6
0.19/0.26	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 179.744 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |       141 |    6604    13017    52232 |     5000      141    359 |  0.000 % |
0.19/0.28	c |       241 |    6604    13017    52232 |     5500      241    372 |  0.000 % |
0.29/0.31	c |       391 |    6604    13017    52232 |     6050      391    379 |  0.000 % |
0.29/0.35	c |       616 |    6604    13017    52232 |     6655      616    383 |  0.000 % |
0.39/0.42	c |       953 |    6604    13017    52232 |     7320      953    386 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -7
0.39/0.43	o -7
0.39/0.43	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 179.576 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       967 |    6604    13018    52432 |     5000      967    381 |  0.000 % |
0.39/0.45	c |      1067 |    6604    13018    52432 |     5500     1067    382 |  0.000 % |
0.39/0.49	c |      1217 |    6604    13018    52432 |     6050     1217    381 |  0.000 % |
0.49/0.54	c |      1442 |    6604    13018    52432 |     6655     1442    381 |  0.000 % |
0.59/0.61	c |      1780 |    6604    13018    52432 |     7320     1780    378 |  0.000 % |
0.69/0.70	c |      2287 |    6604    13018    52432 |     8052     2287    377 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -8
0.79/0.83	o -8
0.79/0.83	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 179.185 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |      2762 |    6604    13019    52632 |     5000     2762    377 |  0.000 % |
0.79/0.87	c |      2862 |    6604    13019    52632 |     5500     2862    378 |  0.000 % |
0.89/0.90	c |      3012 |    6604    13019    52632 |     6050     3012    378 |  0.000 % |
0.89/0.96	c |      3238 |    6604    13019    52632 |     6655     3238    379 |  0.000 % |
0.99/1.05	c |      3575 |    6604    13019    52632 |     7320     3575    380 |  0.000 % |
1.19/1.22	c |      4084 |    6604    13019    52632 |     8052     4084    380 |  0.000 % |
1.39/1.48	c |      4843 |    6604    13019    52632 |     8857     4843    379 |  0.000 % |
1.79/1.81	c |      5983 |    6604    13019    52632 |     9743     5983    379 |  0.000 % |
1.79/1.82	c ===============================================================================
1.79/1.82	c New solution: -9
1.79/1.82	o -9
1.79/1.82	c Elapsed CPU time: 1.78573 s	Remaining CPU time: 178.214 s
1.79/1.82	c ===============================================================================
1.79/1.82	c |      5988 |    6604    13020    52832 |     5000     5988    379 |  0.000 % |
1.79/1.87	c |      6088 |    6604    13020    52832 |     5500     3094    377 |  0.000 % |
1.89/1.90	c |      6238 |    6604    13020    52832 |     6050     3244    377 |  0.000 % |
1.89/1.96	c |      6463 |    6604    13020    52832 |     6655     3469    376 |  0.000 % |
1.99/2.03	c |      6801 |    6604    13020    52832 |     7320     3807    375 |  0.000 % |
2.10/2.16	c |      7307 |    6604    13020    52832 |     8052     4313    376 |  0.000 % |
2.29/2.34	c |      8067 |    6604    13020    52832 |     8857     5073    377 |  0.000 % |
2.59/2.69	c |      9206 |    6604    13020    52832 |     9743     6212    375 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: -10
2.99/3.04	o -10
2.99/3.04	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 177.015 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |     10238 |    6604    13021    53032 |     5000     7244    374 |  0.000 % |
2.99/3.08	c |     10338 |    6604    13021    53032 |     5500     3722    369 |  0.000 % |
3.09/3.13	c |     10488 |    6604    13021    53032 |     6050     3872    369 |  0.000 % |
3.09/3.19	c |     10715 |    6604    13021    53032 |     6655     4099    369 |  0.000 % |
3.19/3.27	c |     11052 |    6604    13021    53032 |     7320     4436    370 |  0.000 % |
3.39/3.41	c |     11558 |    6604    13021    53032 |     8052     4942    370 |  0.000 % |
3.59/3.62	c |     12318 |    6604    13021    53032 |     8857     5702    372 |  0.000 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c New solution: -11
3.59/3.64	o -11
3.59/3.64	c Elapsed CPU time: 3.58245 s	Remaining CPU time: 176.418 s
3.59/3.64	c ===============================================================================
3.59/3.64	c |     12341 |    6604    13022    53232 |     5000     5725    371 |  0.000 % |
3.59/3.69	c |     12441 |    6604    13022    53232 |     5500     2963    371 |  0.000 % |
3.69/3.73	c |     12591 |    6604    13022    53232 |     6050     3113    371 |  0.000 % |
3.69/3.78	c |     12816 |    6604    13022    53232 |     6655     3338    372 |  0.000 % |
3.79/3.85	c |     13154 |    6604    13022    53232 |     7320     3676    373 |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: -12
3.79/3.89	o -12
3.79/3.89	c Elapsed CPU time: 3.82142 s	Remaining CPU time: 176.179 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |     13296 |    6604    13023    53432 |     5000     3818    365 |  0.000 % |
3.89/3.97	c |     13401 |    6604    13023    53432 |     5500     3923    366 |  0.000 % |
3.99/4.02	c |     13551 |    6604    13023    53432 |     6050     4073    366 |  0.000 % |
3.99/4.08	c |     13777 |    6604    13023    53432 |     6655     4299    367 |  0.000 % |
4.09/4.15	c |     14116 |    6604    13023    53432 |     7320     4638    368 |  0.000 % |
4.19/4.26	c |     14622 |    6604    13023    53432 |     8052     5144    369 |  0.000 % |
4.40/4.48	c |     15381 |    6604    13023    53432 |     8857     5903    370 |  0.000 % |
4.69/4.76	c |     16520 |    6604    13023    53432 |     9743     7042    372 |  0.000 % |
4.69/4.79	c ===============================================================================
4.69/4.79	c New solution: -13
4.69/4.79	o -13
4.69/4.79	c Elapsed CPU time: 4.69928 s	Remaining CPU time: 175.301 s
4.69/4.79	c ===============================================================================
4.69/4.79	c |     16564 |    6604    13024    53632 |     5000     7086    370 |  0.000 % |
4.79/4.85	c |     16664 |    6604    13024    53632 |     5500     3643    367 |  0.000 % |
4.89/4.90	c |     16814 |    6604    13024    53632 |     6050     3793    368 |  0.000 % |
4.89/4.95	c |     17039 |    6604    13024    53632 |     6655     4018    368 |  0.000 % |
4.99/5.02	c |     17376 |    6604    13024    53632 |     7320     4355    369 |  0.000 % |
5.09/5.16	c |     17883 |    6604    13024    53632 |     8052     4862    370 |  0.000 % |
5.29/5.36	c |     18642 |    6604    13024    53632 |     8857     5621    371 |  0.000 % |
5.69/5.75	c |     19781 |    6604    13024    53632 |     9743     6760    372 |  0.000 % |
6.19/6.23	c |     21489 |    6604    13024    53632 |    10717     8468    374 |  0.000 % |
6.99/7.08	c |     24051 |    6604    13024    53632 |    11789    11030    375 |  0.000 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c New solution: -14
7.09/7.18	o -14
7.09/7.18	c Elapsed CPU time: 7.05493 s	Remaining CPU time: 172.945 s
7.09/7.18	c ===============================================================================
7.09/7.18	c |     24226 |    6604    13025    53832 |     5000    11205    374 |  0.000 % |
7.18/7.25	c |     24327 |    6604    13025    53832 |     5500     2903    372 |  0.000 % |
7.18/7.29	c |     24478 |    6604    13025    53832 |     6050     3054    372 |  0.000 % |
7.29/7.34	c |     24703 |    6604    13025    53832 |     6655     3279    372 |  0.000 % |
7.39/7.43	c |     25040 |    6604    13025    53832 |     7320     3616    372 |  0.000 % |
7.49/7.54	c |     25547 |    6604    13025    53832 |     8052     4123    373 |  0.000 % |
7.69/7.72	c |     26306 |    6604    13025    53832 |     8857     4882    373 |  0.000 % |
7.79/7.85	c ===============================================================================
7.79/7.85	c New solution: -15
7.79/7.85	o -15
7.79/7.85	c Elapsed CPU time: 7.69883 s	Remaining CPU time: 172.301 s
7.79/7.85	c ===============================================================================
7.79/7.85	c |     26748 |    6604    13026    54032 |     5000     5324    349 |  0.000 % |
8.19/8.20	c |     26852 |    6604    13026    54032 |     5500     2766    321 |  0.000 % |
8.58/8.60	c |     27002 |    6604    13026    54032 |     6050     2916    322 |  0.000 % |
8.89/8.98	c |     27227 |    6604    13026    54032 |     6655     3141    319 |  0.000 % |
9.49/9.52	c |     27572 |    6604    13026    54032 |     7320     3486    320 |  0.000 % |
9.69/9.71	c |     28081 |    6604    13026    54032 |     8052     3995    327 |  0.000 % |
9.79/9.89	c |     28840 |    6604    13026    54032 |     8857     4754    335 |  0.000 % |
10.09/10.12	c |     29979 |    6604    13026    54032 |     9743     5893    340 |  0.000 % |
10.49/10.51	c |     31687 |    6604    13026    54032 |    10717     7601    348 |  0.000 % |
11.00/11.07	c |     34249 |    6604    13026    54032 |    11789    10163    354 |  0.000 % |
12.09/12.13	c |     38093 |    6604    13026    54032 |    12968    14007    361 |  0.000 % |
13.68/13.72	c |     43859 |    6604    13026    54032 |    14265    12770    374 |  0.000 % |
16.40/16.46	c |     52508 |    6604    13026    54032 |    15692    11020    373 |  0.000 % |
21.69/21.78	c |     65484 |    6604    13026    54032 |    17261    12476    376 |  0.000 % |
31.28/31.33	c |     84945 |    6604    13026    54032 |    18987    18917    375 |  0.000 % |
45.38/45.41	c |    114138 |    6604    13026    54032 |    20886    18762    378 |  0.000 % |
70.67/70.71	c |    157927 |    6604    13026    54032 |    22974    13102    370 |  0.000 % |
104.96/105.05	c |    223613 |    6604    13026    54032 |    25272    23332    369 |  0.000 % |
173.33/173.42	c |    322139 |    6604    13026    54032 |    27799    18625    367 |  0.000 % |
181.63/181.71	c There are 0 assigned variables. 0 in cost function.
182.03/182.17	c core #1
182.03/182.17	c 
182.03/182.17	c 
182.03/182.17	c Core size: 401	Core Weight: 1	Total Weight: -199
182.03/182.17	c
182.03/182.17	c
182.03/182.17	c ============================[ Search Statistics ]==============================
182.03/182.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.17	c ===============================================================================
182.03/182.17	c |         0 |    6804    13247    54690 |     5000        0    nan |  0.000 % |
182.13/182.25	c |       101 |    6804    13247    54690 |     5500      101    102 |  1.235 % |
182.23/182.30	c ===============================================================================
182.23/182.36	c core #2
182.23/182.36	c 
182.23/182.36	c 
182.23/182.36	c Core size: 174	Core Weight: 1	Total Weight: -198
182.23/182.36	c
182.23/182.36	c
182.23/182.36	c ============================[ Search Statistics ]==============================
182.23/182.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.36	c ===============================================================================
182.23/182.36	c |         0 |    6971    13275    55105 |     5000        0    nan |  0.000 % |
182.33/182.44	c |       100 |    6971    13275    55105 |     5500      100    172 |  0.000 % |
182.44/182.53	c |       250 |    6971    13275    55105 |     6050      250    116 |  0.000 % |
182.54/182.67	c |       485 |    6971    13275    55105 |     6655      485    112 |  0.001 % |
182.83/182.91	c |       831 |    6971    13275    55105 |     7320      831    118 |  0.000 % |
183.23/183.31	c |      1353 |    6898    13275    55105 |     8052     1332    135 |  1.048 % |
183.73/183.88	c |      2112 |    6841    13275    55105 |     8857     1850    147 |  2.224 % |
184.64/184.77	c |      3251 |    6582    13275    55105 |     9743     2619    159 |  7.291 % |
186.03/186.19	c |      4959 |    6249    13275    55105 |    10717     3984    164 | 12.653 % |
187.93/188.03	c |      7521 |    6011    13275    55105 |    11789     6203    163 | 19.740 % |
188.92/189.02	c ===============================================================================
189.13/189.22	c core #3
189.13/189.22	c 
189.13/189.22	c 
189.13/189.22	c Core size: 281	Core Weight: 1	Total Weight: -197
189.13/189.22	c
189.13/189.22	c
189.13/189.22	c ============================[ Search Statistics ]==============================
189.13/189.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.13/189.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.13/189.22	c ===============================================================================
189.13/189.22	c |         0 |    7171    13312    55610 |     5000        0    nan |  0.000 % |
189.22/189.30	c |       100 |    7171    13312    55610 |     5500      100    240 |  0.000 % |
189.22/189.35	c |       251 |    7171    13312    55610 |     6050      251    101 |  0.000 % |
189.43/189.51	c |       476 |    7171    13312    55610 |     6655      476    168 |  0.000 % |
189.72/189.80	c |       813 |    7171    13312    55610 |     7320      813    169 |  0.000 % |
190.13/190.26	c |      1319 |    7171    13312    55610 |     8052     1319    165 |  0.000 % |
190.72/190.85	c |      2079 |    7171    13312    55610 |     8857     2079    173 |  0.000 % |
191.72/191.85	c |      3224 |    7171    13312    55610 |     9743     3224    184 |  0.000 % |
193.12/193.29	c |      4932 |    7171    13312    55610 |    10717     4932    186 |  0.000 % |
195.53/195.68	c |      7494 |    7171    13312    55610 |    11789     7494    187 |  0.000 % |
199.62/199.73	c |     11348 |    7171    13312    55610 |    12968    11348    194 |  0.001 % |
205.32/205.40	c |     17115 |    7171    13312    55610 |    14265    10401    194 |  0.000 % |
213.41/213.51	c |     25766 |    7171    13312    55610 |    15692    11416    221 |  0.001 % |
226.71/226.86	c |     38755 |    7144    13312    55610 |    17261     7189    190 |  0.377 % |
247.01/247.11	c |     58223 |    7144    13312    55610 |    18987    17495    218 |  0.391 % |
275.91/276.04	c |     87415 |    7109    13312    55610 |    20886    18266    176 |  1.244 % |
317.49/317.60	c |    131204 |    6362    13312    55610 |    22974    18045    135 | 24.585 % |
320.38/320.52	c ===============================================================================
323.68/323.83	c core #4
323.68/323.83	c 
323.68/323.83	c 
323.68/323.83	c Core size: 236	Core Weight: 1	Total Weight: -196
323.68/323.83	c
323.68/323.83	c
323.68/323.83	c ============================[ Search Statistics ]==============================
323.68/323.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
323.68/323.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
323.68/323.83	c ===============================================================================
323.68/323.83	c |         0 |    7371    14427    59250 |     5000        0    nan |  0.000 % |
323.88/324.01	c |       100 |    7371    14427    59250 |     5500      100    324 |  0.000 % |
324.18/324.34	c |       250 |    7371    14427    59250 |     6050      250    247 |  0.000 % |
324.18/324.38	c |       476 |    7371    14427    59250 |     6655      476    134 |  0.000 % |
324.58/324.72	c |       816 |    7371    14427    59250 |     7320      816    204 |  0.000 % |
325.28/325.45	c |      1322 |    7371    14427    59250 |     8052     1322    211 |  0.000 % |
326.08/326.24	c |      2081 |    7371    14427    59250 |     8857     2081    170 |  0.000 % |
327.68/327.83	c |      3220 |    7371    14427    59250 |     9743     3220    202 |  0.000 % |
330.38/330.54	c |      4928 |    7371    14427    59250 |    10717     4928    198 |  0.000 % |
333.38/333.56	c |      7491 |    7371    14427    59250 |    11789     7491    214 |  0.000 % |
338.08/338.21	c |     11335 |    7371    14427    59250 |    12968    11335    220 |  0.000 % |
345.87/346.09	c |     17103 |    7371    14427    59250 |    14265    10407    224 |  0.000 % |
356.97/357.18	c |     25756 |    7371    14427    59250 |    15692    11806    245 |  0.000 % |
373.16/373.38	c |     38730 |    7371    14427    59250 |    17261    16348    175 |  0.000 % |
400.46/400.61	c |     58191 |    7371    14427    59250 |    18987    18118    130 |  0.000 % |
453.93/454.12	c |     87384 |    7371    14427    59250 |    20886    15480    110 |  0.000 % |
529.92/530.15	c |    131175 |    7371    14427    59250 |    22974    13808    216 |  0.000 % |
620.09/620.30	c |    196862 |    7371    14427    59250 |    25272    18449    226 |  0.000 % |
799.22/799.53	c |    295389 |    7371    14427    59250 |    27799    17998    132 |  0.000 % |
1110.21/1110.66	c |    443180 |    7371    14427    59250 |    30579    26430    171 |  0.000 % |

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-2702609-1278572881/watcher-2702609-1278572881 -o /tmp/evaluation-result-2702609-1278572881/solver-2702609-1278572881 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702609-1278572881.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.08 0.45 2/105 29542
/proc/meminfo: memFree=1811160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=3720 CPUtime=0
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 415 0 0 0 0 0 0 0 22 0 1 0 25496656 3809280 333 1992294400 134512640 135752675 4289499120 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 930 333 137 303 0 495 0

[startup+0.055472 s]
/proc/loadavg: 0.00 0.08 0.45 2/105 29542
/proc/meminfo: memFree=1811160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=5020 CPUtime=0.05
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 795 0 0 0 5 0 0 0 22 0 1 0 25496656 5140480 713 1992294400 134512640 135752675 4289499120 18446744073709551615 135194352 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 1255 713 204 303 0 820 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5020

[startup+0.10148 s]
/proc/loadavg: 0.00 0.08 0.45 2/105 29542
/proc/meminfo: memFree=1811160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=6168 CPUtime=0.09
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 1283 0 0 0 9 0 0 0 18 0 1 0 25496656 6316032 1071 1992294400 134512640 135752675 4289499120 18446744073709551615 134697718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 1542 1071 142 303 0 1237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6168

[startup+0.301518 s]
/proc/loadavg: 0.00 0.08 0.45 2/105 29542
/proc/meminfo: memFree=1811160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=7132 CPUtime=0.29
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 1508 0 0 0 29 0 0 0 18 0 1 0 25496656 7303168 1296 1992294400 134512640 135752675 4289499120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 1783 1296 145 303 0 1478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7132

[startup+0.701595 s]
/proc/loadavg: 0.00 0.08 0.45 2/105 29542
/proc/meminfo: memFree=1811160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=9204 CPUtime=0.69
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 2022 0 0 0 68 1 0 0 18 0 1 0 25496656 9424896 1810 1992294400 134512640 135752675 4289499120 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 2301 1810 145 303 0 1996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9204

[startup+1.50075 s]
/proc/loadavg: 0.00 0.08 0.45 2/106 29543
/proc/meminfo: memFree=1803092/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=13392 CPUtime=1.49
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 3091 0 0 0 146 3 0 0 18 0 1 0 25496656 13713408 2879 1992294400 134512640 135752675 4289499120 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 3348 2879 145 303 0 3043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13392

[startup+3.10105 s]
/proc/loadavg: 0.08 0.10 0.45 2/106 29543
/proc/meminfo: memFree=1796892/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=22256 CPUtime=3.09
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 5287 0 0 0 304 5 0 0 18 0 1 0 25496656 22790144 5075 1992294400 134512640 135752675 4289499120 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 5564 5075 145 303 0 5259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22256

[startup+6.30066 s]
/proc/loadavg: 0.08 0.10 0.45 2/106 29543
/proc/meminfo: memFree=1778044/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=40208 CPUtime=6.29
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 9784 0 0 0 618 11 0 0 25 0 1 0 25496656 41172992 9572 1992294400 134512640 135752675 4289499120 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 10052 9572 145 303 0 9747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40208

[startup+12.7009 s]
/proc/loadavg: 0.22 0.13 0.46 2/106 29543
/proc/meminfo: memFree=1748160/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=69184 CPUtime=12.69
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 17022 0 0 0 1248 21 0 0 25 0 1 0 25496656 70844416 16810 1992294400 134512640 135752675 4289499120 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 17296 16810 145 303 0 16991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69184

[startup+25.5013 s]
/proc/loadavg: 0.34 0.16 0.46 2/106 29543
/proc/meminfo: memFree=1691864/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=122384 CPUtime=25.48
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 30335 0 0 0 2514 34 0 0 25 0 1 0 25496656 125321216 30123 1992294400 134512640 135752675 4289499120 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 30596 30123 145 303 0 30291 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122384

[startup+51.1012 s]
/proc/loadavg: 0.56 0.22 0.47 2/106 29543
/proc/meminfo: memFree=1611016/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=204516 CPUtime=51.07
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 50843 0 0 0 5049 58 0 0 25 0 1 0 25496656 209424384 50631 1992294400 134512640 135752675 4289499120 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 51129 50631 145 303 0 50824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 204516

[startup+102.309 s]
/proc/loadavg: 0.82 0.35 0.50 2/106 29545
/proc/meminfo: memFree=1464076/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=349228 CPUtime=102.26
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 87002 0 0 0 10122 104 0 0 25 0 1 0 25496656 357609472 86790 1992294400 134512640 135752675 4289499120 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 87307 86790 145 303 0 87002 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 349228

[startup+162.301 s]
/proc/loadavg: 0.93 0.46 0.53 2/106 29547
/proc/meminfo: memFree=1328048/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=486464 CPUtime=162.24
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 121285 0 0 0 16074 150 0 0 25 0 1 0 25496656 498139136 121073 1992294400 134512640 135752675 4289499120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 121616 121073 145 303 0 121311 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 486464

[startup+222.301 s]
/proc/loadavg: 0.97 0.56 0.56 2/106 29549
/proc/meminfo: memFree=1279316/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=532588 CPUtime=222.21
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 133098 0 0 0 22030 191 0 0 25 0 1 0 25496656 545370112 132698 1992294400 134512640 135752675 4289499120 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 133147 132698 146 303 0 132842 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 532588

[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.58 2/106 29551
/proc/meminfo: memFree=1218680/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=594036 CPUtime=282.2
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 148486 0 0 0 27984 236 0 0 25 0 1 0 25496656 608292864 148086 1992294400 134512640 135752675 4289499120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 148509 148086 146 303 0 148204 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 594036

[startup+342.301 s]
/proc/loadavg: 0.99 0.70 0.60 2/106 29551
/proc/meminfo: memFree=1182844/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=629004 CPUtime=342.18
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 157201 0 0 0 33945 273 0 0 25 0 1 0 25496656 644100096 156801 1992294400 134512640 135752675 4289499120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 157251 156801 146 303 0 156946 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 629004

[startup+402.3 s]
/proc/loadavg: 0.99 0.75 0.62 2/106 29553
/proc/meminfo: memFree=1163252/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=648744 CPUtime=402.15
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 162120 0 0 0 39911 304 0 0 25 0 1 0 25496656 664313856 161720 1992294400 134512640 135752675 4289499120 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 162186 161720 146 303 0 161881 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 648744

[startup+462.302 s]
/proc/loadavg: 0.99 0.80 0.65 2/106 29555
/proc/meminfo: memFree=1145768/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=666044 CPUtime=462.13
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 166439 0 0 0 45885 328 0 0 25 0 1 0 25496656 682029056 166039 1992294400 134512640 135752675 4289499120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 166511 166039 146 303 0 166206 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 666044

[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/106 29557
/proc/meminfo: memFree=1115636/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=696808 CPUtime=522.11
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 174159 0 0 0 51855 356 0 0 25 0 1 0 25496656 713531392 173759 1992294400 134512640 135752675 4289499120 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 174202 173759 146 303 0 173897 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 696808

[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.68 2/106 29559
/proc/meminfo: memFree=1062564/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=749212 CPUtime=582.09
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 187239 0 0 0 57814 395 0 0 25 0 1 0 25496656 767193088 186839 1992294400 134512640 135752675 4289499120 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 187303 186839 146 303 0 186998 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 749212

[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.70 2/106 29559
/proc/meminfo: memFree=1013832/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=797524 CPUtime=642.08
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 199315 0 0 0 63771 437 0 0 25 0 1 0 25496656 816664576 198915 1992294400 134512640 135752675 4289499120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 199381 198915 146 303 0 199076 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 797524

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.95 0.76 2/106 29570
/proc/meminfo: memFree=918228/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=892508 CPUtime=881.99
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 223059 0 0 0 87653 546 0 0 25 0 1 0 25496656 913928192 222659 1992294400 134512640 135752675 4289499120 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 223127 222659 146 303 0 222822 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 892508

[startup+942.301 s]
/proc/loadavg: 1.00 0.95 0.77 2/106 29570
/proc/meminfo: memFree=894172/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=916960 CPUtime=941.96
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 229156 0 0 0 93621 575 0 0 25 0 1 0 25496656 938967040 228756 1992294400 134512640 135752675 4289499120 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 229240 228756 146 303 0 228935 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 916960

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.78 2/106 29572
/proc/meminfo: memFree=877680/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=932960 CPUtime=1001.95
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 233176 0 0 0 99602 593 0 0 25 0 1 0 25496656 955351040 232776 1992294400 134512640 135752675 4289499120 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 233240 232776 146 303 0 232935 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 932960

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.79 2/106 29574
/proc/meminfo: memFree=852012/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=958908 CPUtime=1061.93
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 239630 0 0 0 105579 614 0 0 25 0 1 0 25496656 981921792 239230 1992294400 134512640 135752675 4289499120 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 239727 239230 146 303 0 239422 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 958908

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/106 29576
/proc/meminfo: memFree=829816/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=980924 CPUtime=1121.9
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 245147 0 0 0 111556 634 0 0 25 0 1 0 25496656 1004466176 244747 1992294400 134512640 135752675 4289499120 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 245231 244747 146 303 0 244926 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 980924

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29578
/proc/meminfo: memFree=806380/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1004572 CPUtime=1181.88
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 251063 0 0 0 117530 658 0 0 25 0 1 0 25496656 1028681728 250663 1992294400 134512640 135752675 4289499120 18446744073709551615 134637639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 251143 250663 146 303 0 250838 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1004572

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29578
/proc/meminfo: memFree=783688/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1026896 CPUtime=1241.86
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 256617 0 0 0 123507 679 0 0 25 0 1 0 25496656 1051541504 256217 1992294400 134512640 135752675 4289499120 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 256724 256217 146 303 0 256419 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1026896

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 29580
/proc/meminfo: memFree=755416/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1054684 CPUtime=1301.85
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 263590 0 0 0 129485 700 0 0 25 0 1 0 25496656 1079996416 263190 1992294400 134512640 135752675 4289499120 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 263671 263190 146 303 0 263366 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1054684

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 29582
/proc/meminfo: memFree=736568/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1073596 CPUtime=1361.83
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 268304 0 0 0 135469 714 0 0 25 0 1 0 25496656 1099362304 267904 1992294400 134512640 135752675 4289499120 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 268399 267904 146 303 0 268094 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1073596

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 29584
/proc/meminfo: memFree=725408/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1084744 CPUtime=1421.81
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 271089 0 0 0 141456 725 0 0 25 0 1 0 25496656 1110777856 270689 1992294400 134512640 135752675 4289499120 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 271186 270689 146 303 0 270881 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1084744

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 29586
/proc/meminfo: memFree=689324/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1120944 CPUtime=1481.79
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 280120 0 0 0 147424 755 0 0 25 0 1 0 25496656 1147846656 279720 1992294400 134512640 135752675 4289499120 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 280236 279720 146 303 0 279931 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1120944

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 29586
/proc/meminfo: memFree=673204/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1137112 CPUtime=1541.77
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 284092 0 0 0 153409 768 0 0 25 0 1 0 25496656 1164402688 283692 1992294400 134512640 135752675 4289499120 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 284278 283692 146 303 0 283973 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1137112

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/106 29588
/proc/meminfo: memFree=658448/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1151776 CPUtime=1601.74
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 287762 0 0 0 159396 778 0 0 25 0 1 0 25496656 1179418624 287362 1992294400 134512640 135752675 4289499120 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 287944 287362 146 303 0 287639 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1151776

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 29590
/proc/meminfo: memFree=646544/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1163940 CPUtime=1661.72
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 290751 0 0 0 165384 788 0 0 25 0 1 0 25496656 1191874560 290351 1992294400 134512640 135752675 4289499120 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 290985 290351 146 303 0 290680 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1163940

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 29592
/proc/meminfo: memFree=633028/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1177580 CPUtime=1721.7
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 294133 0 0 0 171373 797 0 0 25 0 1 0 25496656 1205841920 293733 1992294400 134512640 135752675 4289499120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 294395 293733 146 303 0 294090 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1177580

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 29594
/proc/meminfo: memFree=621868/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1188504 CPUtime=1781.68
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 296813 0 0 0 177364 804 0 0 25 0 1 0 25496656 1217028096 296413 1992294400 134512640 135752675 4289499120 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 297126 296413 146 303 0 296821 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1188504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 29594
/proc/meminfo: memFree=616288/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=1194048 CPUtime=1800.09
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4202496 298194 0 0 0 179200 809 0 0 25 0 1 0 25496656 1222705152 297794 1992294400 134512640 135752675 4289499120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29542/statm: 298512 297794 146 303 0 298207 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1194048

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 29594
/proc/meminfo: memFree=616288/2059040 swapFree=4139832/4192956
[pid=29542] ppid=29540 vsize=0 CPUtime=1800.18
/proc/29542/stat : 29542 (wbo1.4b) R 29540 29542 29507 0 -1 4203524 298194 0 0 0 179200 818 0 0 25 0 1 0 25496656 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29542/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.2
CPU user time (s): 1792.01
CPU system time (s): 8.19475
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 1194048

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

runsolver used 2.87056 second user time and 8.61669 second system time

The end

Launcher Data 

Begin job on node086 at 2010-07-08 09:08:02
IDJOB=2702609
IDBENCH=48239
IDSOLVER=1190
FILE ID=node086/2702609-1278572881
PBS_JOBID= 11240062
Free space on /tmp= 62436 MiB

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

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=479633036

node086.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.262
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.262
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.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812556 kB
Buffers:         38020 kB
Cached:         116164 kB
SwapCached:       6840 kB
Active:         103960 kB
Inactive:        63764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812556 kB
SwapTotal:     4192956 kB
SwapFree:      4139832 kB
Dirty:            2888 kB
Writeback:           0 kB
AnonPages:       11684 kB
Mapped:          12016 kB
Slab:            56928 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182152 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-2702609-1278572881.opb

Free space on /tmp at the end= 62436 MiB
End job on node086 at 2010-07-08 09:38:05