Trace number 1876135

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.18 1801.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
MD5SUM24a04ed274dd43d443428abf078e95f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark214
Best CPU time to get the best result obtained on this benchmark13.9549
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 214
Optimality of the best value was proved YES
Number of variables147395
Total number of constraints26533
Number of constraints which are clauses12
Number of constraints which are cardinality constraints (but not clauses)391
Number of constraints which are nor clauses,nor cardinality constraints26130
Minimum length of a constraint2
Maximum length of a constraint292
Number of terms in the objective function 39
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 337
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12288
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 137193
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1876135-1245135285.opb.
0.00/0.00	c Instance file HOME/instance-1876135-1245135285.opb
0.00/0.00	c File size is 5998765 bytes.
0.89/0.95	c Highest Coefficient sum: 137193
0.89/0.95	c ============================[ Problem Statistics ]=============================
0.89/0.95	c |                                                                             |
0.89/0.95	c |  Parsing time:          0.92         s                                      |
0.89/0.95	c |  Number Variables:      147395                                              |
0.89/0.95	c |  Number Clauses:        67                                                  |
0.89/0.95	c |  Number Cardinality:    1489                                                |
0.89/0.95	c |  Number PB Constraints: 25568                                               |
0.89/0.95	c core #1
0.89/0.95	c Core size: 5	Core Weight: 1	Total Weight: 1
0.89/0.95	c Elapsed CPU time: 0.91586 s	Remaining CPU time: 1799.08 s
1.09/1.14	c core #2
1.09/1.14	c Core size: 11	Core Weight: 1	Total Weight: 2
1.09/1.14	c Elapsed CPU time: 1.07684 s	Remaining CPU time: 1798.92 s
1.29/1.36	c core #3
1.29/1.36	c Core size: 7	Core Weight: 1	Total Weight: 3
1.29/1.36	c Elapsed CPU time: 1.26281 s	Remaining CPU time: 1798.74 s
1.49/1.58	c core #4
1.49/1.58	c Core size: 7	Core Weight: 1	Total Weight: 4
1.49/1.58	c Elapsed CPU time: 1.46678 s	Remaining CPU time: 1798.53 s
1.79/1.83	c core #5
1.79/1.83	c Core size: 11	Core Weight: 1	Total Weight: 5
1.79/1.83	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.99/2.09	c core #6
1.99/2.09	c Core size: 16	Core Weight: 1	Total Weight: 6
1.99/2.09	c Elapsed CPU time: 1.92871 s	Remaining CPU time: 1798.07 s
2.29/2.36	c ============================[ Search Statistics ]==============================
2.29/2.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.36	c ===============================================================================
2.29/2.36	c |         0 |  121522    27134   473306 |     9044        0    nan |  0.000 % |
2.29/2.39	c ===============================================================================
2.29/2.39	c core #7
2.29/2.39	c Core size: 11	Core Weight: 1	Total Weight: 7
2.29/2.39	c Elapsed CPU time: 2.19567 s	Remaining CPU time: 1797.8 s
2.60/2.65	c Learning 1 hard constraints
2.60/2.65	c ============================[ Search Statistics ]==============================
2.60/2.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.60/2.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.60/2.65	c ===============================================================================
2.60/2.65	c |         0 |  138770    27136   488485 |     9045        0    nan |  0.000 % |
2.60/2.68	c ===============================================================================
2.60/2.69	c core #8
2.60/2.69	c Core size: 14	Core Weight: 10	Total Weight: 17
2.60/2.69	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.89/2.96	c Learning 1 hard constraints
2.89/2.96	c core #9
2.89/2.96	c Core size: 9	Core Weight: 1	Total Weight: 18
2.89/2.96	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 1797.29 s
3.20/3.25	c ============================[ Search Statistics ]==============================
3.20/3.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.20/3.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.20/3.25	c ===============================================================================
3.20/3.25	c |         0 |  138776    27140   488496 |     9046        0    nan |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c core #10
3.20/3.28	c Core size: 14	Core Weight: 10	Total Weight: 28
3.20/3.28	c Elapsed CPU time: 3.01354 s	Remaining CPU time: 1796.99 s
3.49/3.56	c Learning 1 hard constraints
3.49/3.56	c core #11
3.49/3.56	c Core size: 15	Core Weight: 10	Total Weight: 38
3.49/3.56	c Elapsed CPU time: 3.2605 s	Remaining CPU time: 1796.74 s
3.79/3.85	c ============================[ Search Statistics ]==============================
3.79/3.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.85	c ===============================================================================
3.79/3.85	c |         0 |  138781    27144   488511 |     9048        0    nan |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.90	c core #12
3.79/3.90	c Core size: 22	Core Weight: 1	Total Weight: 39
3.79/3.90	c Elapsed CPU time: 3.57646 s	Remaining CPU time: 1796.42 s
4.09/4.17	c Learning 2 hard constraints
4.09/4.17	c ============================[ Search Statistics ]==============================
4.09/4.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.17	c ===============================================================================
4.09/4.17	c |         0 |  147409    27151   495943 |     9050        0    nan |  0.000 % |
4.19/4.23	c ===============================================================================
4.19/4.23	c core #13
4.19/4.23	c Core size: 45	Core Weight: 9	Total Weight: 48
4.19/4.23	c Elapsed CPU time: 3.88741 s	Remaining CPU time: 1796.11 s
4.49/4.50	c Learning 4 hard constraints
4.49/4.50	c ============================[ Search Statistics ]==============================
4.49/4.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.50	c ===============================================================================
4.49/4.50	c |         0 |  147421    27164   495987 |     9054        0    nan |  0.000 % |
4.49/4.55	c ===============================================================================
4.49/4.55	c core #14
4.49/4.55	c Core size: 34	Core Weight: 1	Total Weight: 49
4.49/4.55	c Elapsed CPU time: 4.17736 s	Remaining CPU time: 1795.82 s
4.79/4.82	c Learning 1 hard constraints
4.79/4.82	c ============================[ Search Statistics ]==============================
4.79/4.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.82	c ===============================================================================
4.79/4.82	c |         0 |  147428    27169   496001 |     9056        0    nan |  0.000 % |
4.79/4.87	c ===============================================================================
4.79/4.88	c core #15
4.79/4.88	c Core size: 41	Core Weight: 8	Total Weight: 57
4.79/4.88	c Elapsed CPU time: 4.47932 s	Remaining CPU time: 1795.52 s
5.09/5.15	c Learning 2 hard constraints
5.09/5.15	c core #16
5.09/5.15	c Core size: 25	Core Weight: 1	Total Weight: 58
5.09/5.15	c Elapsed CPU time: 4.73728 s	Remaining CPU time: 1795.26 s
5.40/5.45	c ============================[ Search Statistics ]==============================
5.40/5.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.40/5.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.40/5.45	c ===============================================================================
5.40/5.45	c |         0 |  147440    27183   496048 |     9061        0    nan |  0.000 % |
5.40/5.49	c ===============================================================================
5.40/5.49	c core #17
5.40/5.49	c Core size: 41	Core Weight: 1	Total Weight: 59
5.40/5.49	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 1794.96 s
5.69/5.76	c Learning 1 hard constraints
5.69/5.76	c ============================[ Search Statistics ]==============================
5.69/5.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.69/5.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.69/5.76	c ===============================================================================
5.69/5.76	c |         0 |  147460    27187   496093 |     9062        0    nan |  0.000 % |
5.79/5.82	c ===============================================================================
5.79/5.82	c core #18
5.79/5.82	c Core size: 19	Core Weight: 1	Total Weight: 60
5.79/5.82	c Elapsed CPU time: 5.34219 s	Remaining CPU time: 1794.66 s
5.99/6.09	c Learning 5 hard constraints
5.99/6.09	c ============================[ Search Statistics ]==============================
5.99/6.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.09	c ===============================================================================
5.99/6.09	c |         0 |  147465    27195   496119 |     9065        0    nan |  0.000 % |
6.09/6.13	c ===============================================================================
6.09/6.13	c core #19
6.09/6.13	c Core size: 30	Core Weight: 1	Total Weight: 61
6.09/6.13	c Elapsed CPU time: 5.62415 s	Remaining CPU time: 1794.38 s
6.39/6.40	c Learning 2 hard constraints
6.39/6.40	c ============================[ Search Statistics ]==============================
6.39/6.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.40	c ===============================================================================
6.39/6.40	c |         0 |  147472    27203   496144 |     9067        0    nan |  0.000 % |
6.39/6.43	c ===============================================================================
6.39/6.43	c core #20
6.39/6.43	c Core size: 21	Core Weight: 8	Total Weight: 69
6.39/6.43	c Elapsed CPU time: 5.9051 s	Remaining CPU time: 1794.09 s
6.69/6.71	c ============================[ Search Statistics ]==============================
6.69/6.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.71	c ===============================================================================
6.69/6.71	c |         0 |  147479    27206   496156 |     9068        0    nan |  0.000 % |
6.69/6.79	c ===============================================================================
6.69/6.79	c core #21
6.69/6.79	c Core size: 34	Core Weight: 1	Total Weight: 70
6.69/6.79	c Elapsed CPU time: 6.24605 s	Remaining CPU time: 1793.75 s
6.99/7.06	c Learning 7 hard constraints
6.99/7.06	c ============================[ Search Statistics ]==============================
6.99/7.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.99/7.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.99/7.06	c ===============================================================================
6.99/7.06	c |         0 |  147487    27215   496214 |     9071        0    nan |  0.000 % |
7.09/7.15	c ===============================================================================
7.09/7.15	c core #22
7.09/7.15	c Core size: 72	Core Weight: 1	Total Weight: 71
7.09/7.15	c Elapsed CPU time: 6.578 s	Remaining CPU time: 1793.42 s
7.39/7.42	c Learning 7 hard constraints
7.39/7.42	c ============================[ Search Statistics ]==============================
7.39/7.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.39/7.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.39/7.42	c ===============================================================================
7.39/7.42	c |         0 |  147501    27232   496296 |     9077        0    nan |  0.000 % |
7.39/7.48	c ===============================================================================
7.39/7.48	c core #23
7.39/7.48	c Core size: 34	Core Weight: 7	Total Weight: 78
7.39/7.48	c Elapsed CPU time: 6.88695 s	Remaining CPU time: 1793.11 s
7.69/7.76	c Learning 2 hard constraints
7.69/7.76	c ============================[ Search Statistics ]==============================
7.69/7.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.69/7.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.69/7.76	c ===============================================================================
7.69/7.76	c |         0 |  147512    27242   496332 |     9080        0    nan |  0.000 % |
7.69/7.79	c ===============================================================================
7.69/7.79	c core #24
7.69/7.79	c Core size: 24	Core Weight: 1	Total Weight: 79
7.69/7.79	c Elapsed CPU time: 7.17791 s	Remaining CPU time: 1792.82 s
7.99/8.07	c ============================[ Search Statistics ]==============================
7.99/8.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.99/8.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.99/8.07	c ===============================================================================
7.99/8.07	c |         0 |  147524    27248   496362 |     9082        0    nan |  0.000 % |
8.08/8.11	c ===============================================================================
8.08/8.11	c core #25
8.08/8.11	c Core size: 12	Core Weight: 1	Total Weight: 80
8.08/8.11	c Elapsed CPU time: 7.47786 s	Remaining CPU time: 1792.52 s
8.29/8.39	c Learning 1 hard constraints
8.29/8.39	c ============================[ Search Statistics ]==============================
8.29/8.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.29/8.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.29/8.39	c ===============================================================================
8.29/8.39	c |         0 |  147521    27250   496370 |     9083        0    nan |  0.000 % |
8.39/8.42	c ===============================================================================
8.39/8.42	c core #26
8.39/8.42	c Core size: 21	Core Weight: 1	Total Weight: 81
8.39/8.42	c Elapsed CPU time: 7.76082 s	Remaining CPU time: 1792.24 s
8.59/8.70	c Learning 1 hard constraints
8.59/8.70	c core #27
8.59/8.70	c Core size: 14	Core Weight: 1	Total Weight: 82
8.59/8.70	c Elapsed CPU time: 8.00378 s	Remaining CPU time: 1792 s
8.99/9.00	c core #28
8.99/9.00	c Core size: 17	Core Weight: 1	Total Weight: 83
8.99/9.00	c Elapsed CPU time: 8.28274 s	Remaining CPU time: 1791.72 s
9.29/9.30	c core #29
9.29/9.30	c Core size: 17	Core Weight: 7	Total Weight: 90
9.29/9.30	c Elapsed CPU time: 8.5597 s	Remaining CPU time: 1791.44 s
9.59/9.60	c core #30
9.59/9.60	c Core size: 17	Core Weight: 1	Total Weight: 91
9.59/9.60	c Elapsed CPU time: 8.83766 s	Remaining CPU time: 1791.16 s
9.79/9.90	c ============================[ Search Statistics ]==============================
9.79/9.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.79/9.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.79/9.90	c ===============================================================================
9.79/9.90	c |         0 |  147538    27259   496414 |     9086        0    nan |  0.000 % |
9.89/9.98	c ===============================================================================
9.89/9.98	c core #31
9.89/9.98	c Core size: 49	Core Weight: 1	Total Weight: 92
9.89/9.98	c Elapsed CPU time: 9.1946 s	Remaining CPU time: 1790.81 s
10.19/10.26	c Learning 7 hard constraints
10.19/10.26	c ============================[ Search Statistics ]==============================
10.19/10.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.19/10.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.19/10.26	c ===============================================================================
10.19/10.26	c |         0 |  147551    27276   496519 |     9092        0    nan |  0.000 % |
10.29/10.32	c ===============================================================================
10.29/10.32	c core #32
10.29/10.32	c Core size: 46	Core Weight: 1	Total Weight: 93
10.29/10.32	c Elapsed CPU time: 9.51055 s	Remaining CPU time: 1790.49 s
10.49/10.59	c Learning 5 hard constraints
10.49/10.59	c ============================[ Search Statistics ]==============================
10.49/10.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.49/10.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.49/10.59	c ===============================================================================
10.49/10.59	c |         0 |  147569    27292   496602 |     9097        0    nan |  0.000 % |
10.59/10.65	c ===============================================================================
10.59/10.66	c core #33
10.59/10.66	c Core size: 67	Core Weight: 1	Total Weight: 94
10.59/10.66	c Elapsed CPU time: 9.82451 s	Remaining CPU time: 1790.18 s
10.89/10.93	c Learning 3 hard constraints
10.89/10.93	c ============================[ Search Statistics ]==============================
10.89/10.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.89/10.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.89/10.93	c ===============================================================================
10.89/10.93	c |         0 |  147589    27308   496695 |     9102        0    nan |  0.000 % |
10.89/10.99	c ===============================================================================
10.89/10.99	c core #34
10.89/10.99	c Core size: 48	Core Weight: 1	Total Weight: 95
10.89/10.99	c Elapsed CPU time: 10.1295 s	Remaining CPU time: 1789.87 s
11.19/11.27	c Learning 2 hard constraints
11.19/11.27	c ============================[ Search Statistics ]==============================
11.19/11.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.19/11.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.19/11.27	c ===============================================================================
11.19/11.27	c |         0 |  147599    27312   496723 |     9104        0    nan |  0.000 % |
11.29/11.31	c ===============================================================================
11.29/11.31	c core #35
11.29/11.31	c Core size: 32	Core Weight: 4	Total Weight: 99
11.29/11.31	c Elapsed CPU time: 10.4294 s	Remaining CPU time: 1789.57 s
11.49/11.59	c Learning 1 hard constraints
11.49/11.59	c ============================[ Search Statistics ]==============================
11.49/11.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.49/11.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.49/11.59	c ===============================================================================
11.49/11.59	c |         0 |  147606    27316   496744 |     9105        0    nan |  0.000 % |
11.58/11.66	c ===============================================================================
11.58/11.66	c core #36
11.58/11.66	c Core size: 62	Core Weight: 1	Total Weight: 100
11.58/11.66	c Elapsed CPU time: 10.7484 s	Remaining CPU time: 1789.25 s
11.88/11.94	c ============================[ Search Statistics ]==============================
11.88/11.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.88/11.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.88/11.94	c ===============================================================================
11.88/11.94	c |         0 |  147628    27333   496828 |     9111        0    nan |  0.000 % |
11.99/12.04	c ===============================================================================
11.99/12.04	c core #37
11.99/12.04	c Core size: 62	Core Weight: 1	Total Weight: 101
11.99/12.04	c Elapsed CPU time: 11.1153 s	Remaining CPU time: 1788.88 s
12.29/12.32	c Learning 1 hard constraints
12.29/12.32	c ============================[ Search Statistics ]==============================
12.29/12.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.29/12.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.29/12.32	c ===============================================================================
12.29/12.32	c |         0 |  139004    27355   496916 |     9118        0    nan |  0.000 % |
12.29/12.36	c ===============================================================================
12.29/12.36	c core #38
12.29/12.36	c Core size: 44	Core Weight: 1	Total Weight: 102
12.29/12.36	c Elapsed CPU time: 11.4053 s	Remaining CPU time: 1788.59 s
12.59/12.64	c ============================[ Search Statistics ]==============================
12.59/12.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.59/12.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.59/12.64	c ===============================================================================
12.59/12.64	c |         0 |  139033    27371   496986 |     9123        0    nan |  0.000 % |
12.59/12.68	c ===============================================================================
12.59/12.68	c core #39
12.59/12.68	c Core size: 41	Core Weight: 1	Total Weight: 103
12.59/12.68	c Elapsed CPU time: 11.7082 s	Remaining CPU time: 1788.29 s
12.89/12.96	c ============================[ Search Statistics ]==============================
12.89/12.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.89/12.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.89/12.96	c ===============================================================================
12.89/12.96	c |         0 |  147685    27382   497046 |     9127        0    nan |  0.000 % |
12.98/13.02	c |       101 |  147685    27382   497046 |    10040      101     13 |  0.012 % |
12.98/13.06	c ===============================================================================
12.98/13.06	c core #40
12.98/13.06	c Core size: 98	Core Weight: 1	Total Weight: 104
12.98/13.06	c Elapsed CPU time: 12.0592 s	Remaining CPU time: 1787.94 s
13.29/13.33	c ============================[ Search Statistics ]==============================
13.29/13.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.29/13.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.29/13.34	c ===============================================================================
13.29/13.34	c |         0 |  147748    27393   497209 |     9131        0    nan |  0.000 % |
13.29/13.39	c |       101 |  147748    27393   497209 |    10044      101     21 |  0.011 % |
13.48/13.53	c ===============================================================================
13.48/13.53	c core #41
13.48/13.53	c Core size: 106	Core Weight: 1	Total Weight: 105
13.48/13.53	c Elapsed CPU time: 12.4971 s	Remaining CPU time: 1787.5 s
13.78/13.80	c ============================[ Search Statistics ]==============================
13.78/13.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.78/13.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.78/13.80	c ===============================================================================
13.78/13.80	c |         0 |  147816    27405   497363 |     9135        0    nan |  0.000 % |
13.78/13.86	c |       101 |  147816    27405   497363 |    10048      101     29 |  0.011 % |
13.88/13.98	c |       252 |  147816    27405   497363 |    11053      252     20 |  0.011 % |
14.08/14.12	c |       477 |  147815    27405   497363 |    12158      476     17 |  0.012 % |
14.19/14.20	c ===============================================================================
14.19/14.21	c core #42
14.19/14.21	c Core size: 151	Core Weight: 1	Total Weight: 106
14.19/14.21	c Elapsed CPU time: 13.155 s	Remaining CPU time: 1786.85 s
14.39/14.49	c Learning 2 hard constraints
14.39/14.49	c ============================[ Search Statistics ]==============================
14.39/14.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.39/14.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.39/14.49	c ===============================================================================
14.39/14.49	c |         0 |  147902    27420   497562 |     9140        0    nan |  0.000 % |
14.48/14.54	c |       101 |  147902    27420   497562 |    10054      101     38 |  0.011 % |
14.48/14.56	c |       251 |  147902    27420   497562 |    11059      251     30 |  0.011 % |
14.58/14.64	c |       476 |  147901    27420   497562 |    12165      476     24 |  0.011 % |
14.78/14.85	c |       813 |  147901    27420   497562 |    13381      813     22 |  0.011 % |
15.08/15.12	c |      1322 |  147901    27420   497562 |    14720     1321     23 |  0.011 % |
15.48/15.52	c |      2081 |  147901    27420   497562 |    16192     2080     22 |  0.011 % |
15.69/15.78	c |      3221 |  147901    27420   497562 |    17811     3220     22 |  0.011 % |
16.49/16.59	c |      4929 |  147901    27420   497562 |    19592     4928     21 |  0.011 % |
17.08/17.18	c ===============================================================================
17.18/17.24	c core #43
17.18/17.24	c Core size: 151	Core Weight: 1	Total Weight: 107
17.18/17.24	c Elapsed CPU time: 16.1415 s	Remaining CPU time: 1783.86 s
17.48/17.52	c ============================[ Search Statistics ]==============================
17.48/17.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.48/17.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.48/17.52	c ===============================================================================
17.48/17.52	c |         0 |  148000    27434   497781 |     9144        0    nan |  0.000 % |
17.48/17.58	c |       101 |  148000    27434   497781 |    10059      101     47 |  0.011 % |
17.58/17.63	c |       252 |  148000    27434   497781 |    11065      252     32 |  0.011 % |
17.58/17.69	c |       479 |  148000    27434   497781 |    12171      479     28 |  0.011 % |
17.68/17.74	c |       816 |  148000    27434   497781 |    13388      816     28 |  0.011 % |
17.78/17.85	c |      1324 |  148000    27434   497781 |    14727     1324     27 |  0.011 % |
17.98/18.00	c |      2084 |  148000    27434   497781 |    16200     2084     27 |  0.011 % |
18.08/18.16	c |      3226 |  148000    27434   497781 |    17820     3226     28 |  0.011 % |
18.38/18.44	c |      4936 |  147999    27434   497781 |    19602     4935     30 |  0.011 % |
18.88/18.93	c |      7499 |  147999    27434   497781 |    21562     7498     31 |  0.011 % |
20.28/20.30	c |     11344 |  147999    27434   497781 |    23718    11343     35 |  0.011 % |
24.27/24.31	c |     17111 |  147999    27434   497781 |    26090    17110     39 |  0.011 % |
30.98/31.00	c |     25761 |  147999    27434   497781 |    28699    25760     42 |  0.011 % |
38.88/38.92	c |     38736 |  147999    27434   497781 |    31569    23054     61 |  0.011 % |
54.87/55.00	c |     58197 |  147998    27434   497781 |    34726    21732     65 |  0.012 % |
60.66/60.77	c ===============================================================================
61.66/61.78	c core #44
61.66/61.78	c Core size: 177	Core Weight: 1	Total Weight: 108
61.66/61.78	c Elapsed CPU time: 60.4618 s	Remaining CPU time: 1739.54 s
62.07/62.12	c Learning 2 hard constraints
62.07/62.12	c ============================[ Search Statistics ]==============================
62.07/62.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
62.07/62.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
62.07/62.12	c ===============================================================================
62.07/62.12	c |         0 |  148123    27445   498092 |     9148        0    nan |  0.000 % |
62.07/62.18	c |       101 |  148123    27445   498092 |    10063      101     55 |  0.007 % |
62.16/62.27	c |       252 |  148121    27445   498092 |    11069      252     38 |  0.009 % |
62.16/62.28	c |       478 |  148121    27445   498092 |    12176      478     35 |  0.009 % |
62.26/62.31	c |       815 |  148121    27445   498092 |    13394      815     34 |  0.009 % |
62.26/62.37	c |      1322 |  148121    27445   498092 |    14733     1320     33 |  0.009 % |
62.46/62.55	c |      2083 |  148121    27445   498092 |    16206     2081     35 |  0.009 % |
63.77/63.83	c |      3224 |  148121    27445   498092 |    17827     3222     43 |  0.009 % |
64.16/64.26	c |      4933 |  148117    27445   498092 |    19610     4928     44 |  0.011 % |
65.26/65.37	c |      7497 |  148117    27445   498092 |    21571     7492     48 |  0.011 % |
66.97/67.02	c |     11345 |  148117    27445   498092 |    23728    11340     48 |  0.011 % |
73.06/73.18	c |     17114 |  148117    27445   498092 |    26101    17109     55 |  0.011 % |
82.56/82.67	c |     25763 |  148117    27445   498092 |    28711    25758     62 |  0.011 % |
96.24/96.34	c |     38738 |  148117    27445   498092 |    31582    22981     69 |  0.011 % |
120.24/120.38	c |     58200 |  148117    27445   498092 |    34740    23135     49 |  0.011 % |
146.24/146.37	c |     87393 |  148112    27445   498092 |    38214    29638     44 |  0.015 % |
152.02/152.18	c ===============================================================================
152.92/153.07	c core #45
152.92/153.07	c Core size: 275	Core Weight: 1	Total Weight: 109
152.92/153.07	c Elapsed CPU time: 151.418 s	Remaining CPU time: 1648.58 s
153.32/153.43	c Learning 7 hard constraints
153.32/153.43	c ============================[ Search Statistics ]==============================
153.32/153.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
153.32/153.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
153.32/153.43	c ===============================================================================
153.32/153.43	c |         0 |  148248    27457   498380 |     9152        0    nan |  0.000 % |
153.42/153.51	c |       105 |  148248    27457   498380 |    10067      105     38 |  0.007 % |
153.42/153.58	c |       255 |  148247    27457   498380 |    11074      255     49 |  0.008 % |
153.52/153.60	c |       480 |  148247    27457   498380 |    12181      480     71 |  0.008 % |
153.52/153.65	c |       817 |  148247    27457   498380 |    13399      817     79 |  0.008 % |
153.62/153.72	c |      1324 |  148247    27457   498380 |    14739     1324     81 |  0.008 % |
153.93/154.02	c |      2083 |  148239    27457   498380 |    16213     2080     75 |  0.013 % |
154.21/154.37	c |      3224 |  148239    27457   498380 |    17835     3221     72 |  0.013 % |
154.71/154.89	c |      4936 |  148239    27457   498380 |    19618     4925     70 |  0.013 % |
155.72/155.88	c |      7498 |  148239    27457   498380 |    21580     7487     66 |  0.013 % |
157.42/157.57	c |     11347 |  148239    27457   498380 |    23738    11336     67 |  0.013 % |
161.12/161.20	c |     17115 |  148239    27457   498380 |    26112    17104     67 |  0.013 % |
167.42/167.57	c |     25767 |  148239    27457   498380 |    28723    25756     69 |  0.013 % |
180.51/180.65	c |     38743 |  148239    27457   498380 |    31596    21731     74 |  0.013 % |
206.40/206.51	c |     58204 |  148239    27457   498380 |    34755    22245     71 |  0.013 % |
229.59/229.76	c |     87401 |  148239    27457   498380 |    38231    30324     58 |  0.013 % |
262.27/262.48	c |    131191 |  148239    27457   498380 |    42054    24062     51 |  0.013 % |
307.96/308.11	c |    196876 |  148239    27457   498380 |    46260    31109     58 |  0.013 % |
333.24/333.45	c ===============================================================================
336.24/336.46	c core #46
336.24/336.46	c Core size: 171	Core Weight: 1	Total Weight: 110
336.24/336.46	c Elapsed CPU time: 334.113 s	Remaining CPU time: 1465.89 s
336.74/336.95	c ============================[ Search Statistics ]==============================
336.74/336.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
336.74/336.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
336.74/336.95	c ===============================================================================
336.74/336.95	c |         0 |  148336    27461   498563 |     9153        0    nan |  0.000 % |
336.84/337.06	c |       105 |  148336    27461   498563 |    10069      105     45 |  0.007 % |
336.94/337.10	c |       258 |  148335    27461   498563 |    11075      258     51 |  0.008 % |
336.94/337.13	c |       484 |  148335    27461   498563 |    12183      484     53 |  0.008 % |
336.94/337.16	c |       825 |  148335    27461   498563 |    13401      825     53 |  0.008 % |
337.04/337.23	c |      1332 |  148335    27461   498563 |    14742     1332     53 |  0.008 % |
337.14/337.38	c |      2091 |  148335    27461   498563 |    16216     2091     53 |  0.008 % |
337.34/337.60	c |      3230 |  148335    27461   498563 |    17837     3229     52 |  0.008 % |
337.84/338.08	c |      4938 |  148335    27461   498563 |    19621     4937     52 |  0.008 % |
338.74/338.95	c |      7502 |  148335    27461   498563 |    21583     7501     50 |  0.008 % |
340.33/340.54	c |     11347 |  148335    27461   498563 |    23742    11346     49 |  0.008 % |
344.04/344.29	c |     17114 |  148335    27461   498563 |    26116    17113     49 |  0.008 % |
352.94/353.16	c |     25767 |  148335    27461   498563 |    28728    25766     49 |  0.008 % |
366.13/366.39	c |     38741 |  148335    27461   498563 |    31600    23069     48 |  0.008 % |
387.32/387.54	c ===============================================================================
387.32/387.54	c core #47
387.32/387.54	c Core size: 49	Core Weight: 1	Total Weight: 111
387.32/387.54	c Elapsed CPU time: 385.014 s	Remaining CPU time: 1414.99 s
387.73/387.92	c Learning 2 hard constraints
387.73/387.92	c ============================[ Search Statistics ]==============================
387.73/387.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
387.73/387.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
387.73/387.92	c ===============================================================================
387.73/387.92	c |         0 |  148347    27464   498589 |     9154        0    nan |  0.000 % |
387.73/388.00	c |       103 |  148347    27464   498589 |    10070      103     80 |  0.007 % |
387.82/388.01	c |       255 |  148346    27464   498589 |    11077      255     74 |  0.008 % |
387.82/388.04	c |       480 |  148346    27464   498589 |    12184      480     80 |  0.008 % |
387.82/388.09	c |       819 |  148346    27464   498589 |    13403      819     81 |  0.008 % |
388.02/388.27	c |      1325 |  148344    27464   498589 |    14743     1325     70 |  0.009 % |
388.22/388.41	c |      2086 |  148344    27464   498589 |    16218     2077     62 |  0.009 % |
388.52/388.74	c |      3226 |  148344    27464   498589 |    17839     3217     58 |  0.009 % |
388.92/389.13	c |      4934 |  148344    27464   498589 |    19623     4925     55 |  0.009 % |
389.71/389.93	c |      7496 |  148344    27464   498589 |    21586     7487     53 |  0.009 % |
391.51/391.72	c |     11341 |  148344    27464   498589 |    23744    11332     52 |  0.009 % |
395.31/395.56	c |     17109 |  148344    27464   498589 |    26119    17100     51 |  0.009 % |
407.12/407.32	c |     25763 |  148344    27464   498589 |    28731    25754     51 |  0.009 % |
419.92/420.19	c |     38739 |  148343    27464   498589 |    31604    22709     50 |  0.010 % |
443.09/443.32	c |     58214 |  148342    27464   498589 |    34764    22209     93 |  0.011 % |
485.98/486.22	c |     87407 |  148332    27464   498589 |    38241     5684     61 |  0.018 % |
512.06/512.35	c |    131197 |  148332    27464   498589 |    42065    23098     60 |  0.018 % |
587.03/587.31	c |    196882 |  148332    27464   498589 |    46271    29633     72 |  0.018 % |
723.82/724.24	c |    295408 |  148332    27464   498589 |    50899    14939     85 |  0.018 % |
927.24/927.73	c |    443201 |  148332    27464   498589 |    55989    27445     98 |  0.018 % |
1345.02/1345.72	c |    664885 |  148332    27464   498589 |    61588    28803     86 |  0.018 % |

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-1876135-1245135285/watcher-1876135-1245135285 -o /tmp/evaluation-result-1876135-1245135285/solver-1876135-1245135285 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876135-1245135285.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.99 0.97 0.97 3/64 3293
/proc/meminfo: memFree=1402808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=8656 CPUtime=0
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 181129645 8863744 266 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 2164 267 128 292 0 404 0

[startup+0.0686589 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 3293
/proc/meminfo: memFree=1402808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=14620 CPUtime=0.06
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 1633 0 0 0 6 0 0 0 18 0 1 0 181129645 14970880 1617 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 3655 1617 215 292 0 1895 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14620

[startup+0.101661 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 3293
/proc/meminfo: memFree=1402808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=17336 CPUtime=0.09
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 2344 0 0 0 8 1 0 0 18 0 1 0 181129645 17752064 2255 1992294400 134512640 135709839 4294956240 18446744073709551615 135239454 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 4469 2255 259 292 0 2709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17336

[startup+0.301684 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 3293
/proc/meminfo: memFree=1402808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=32808 CPUtime=0.29
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 6765 0 0 0 27 2 0 0 19 0 1 0 181129645 33595392 6257 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 8202 6257 526 292 0 6442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32808

[startup+0.701731 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 3293
/proc/meminfo: memFree=1402808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=39860 CPUtime=0.69
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 8860 0 0 0 67 2 0 0 23 0 1 0 181129645 40816640 8352 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 9965 8352 1162 292 0 8205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39860

[startup+1.50283 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=1355824/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=78408 CPUtime=1.49
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 26091 0 0 0 138 11 0 0 25 0 1 0 181129645 80289792 17974 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 19602 17974 134 292 0 19307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78408

[startup+3.10202 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=1320176/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=132152 CPUtime=3.09
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 57559 0 0 0 283 26 0 0 25 0 1 0 181129645 135323648 31533 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 33038 31533 135 292 0 32743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132152

[startup+6.30139 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=1200304/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=235224 CPUtime=6.29
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 111493 0 0 0 577 52 0 0 25 0 1 0 181129645 240869376 57400 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 58806 57401 135 292 0 58511 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 235224

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=1009072/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=419540 CPUtime=12.68
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 213915 0 0 0 1171 97 0 0 25 0 1 0 181129645 429608960 103713 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 104885 103715 135 292 0 104590 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 419540

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=936752/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=469804 CPUtime=25.48
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 240975 0 0 0 2432 116 0 0 25 0 1 0 181129645 481079296 116423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 117451 116423 136 292 0 117156 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 469804

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=921008/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=485712 CPUtime=51.07
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 244924 0 0 0 4984 123 0 0 25 0 1 0 181129645 497369088 120372 1992294400 134512640 135709839 4294956240 18446744073709551615 134587989 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 121428 120372 136 292 0 121133 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 485712

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=898160/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=508088 CPUtime=102.25
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 253300 0 0 0 10084 141 0 0 25 0 1 0 181129645 520282112 125999 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 127022 125999 136 292 0 126727 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 508088

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=864368/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=541808 CPUtime=162.22
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 264436 0 0 0 16056 166 0 0 25 0 1 0 181129645 554811392 134386 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 135452 134386 136 292 0 135157 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 541808

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=854640/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=551628 CPUtime=222.19
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 266916 0 0 0 22039 180 0 0 25 0 1 0 181129645 564867072 136866 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 137907 136866 136 292 0 137612 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 551628

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=819888/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=586980 CPUtime=282.17
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 275698 0 0 0 28013 204 0 0 25 0 1 0 181129645 601067520 145648 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 146745 145648 136 292 0 146450 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 586980

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3294
/proc/meminfo: memFree=777712/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=628588 CPUtime=342.14
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 288790 0 0 0 33988 226 0 0 25 0 1 0 181129645 643674112 155989 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 157147 155989 136 292 0 156852 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 628588

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=778928/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=626152 CPUtime=402.12
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 291060 0 0 0 39970 242 0 0 25 0 1 0 181129645 641179648 155649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 156538 155649 136 292 0 156243 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 626152

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=769008/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=636220 CPUtime=462.08
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 293624 0 0 0 45953 255 0 0 25 0 1 0 181129645 651489280 158213 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 159055 158213 136 292 0 158760 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 636220

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=737904/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=668288 CPUtime=522.04
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 301605 0 0 0 51928 276 0 0 25 0 1 0 181129645 684326912 166194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 167072 166194 136 292 0 166777 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 668288

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=713136/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=692816 CPUtime=582.02
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 307678 0 0 0 57911 291 0 0 25 0 1 0 181129645 709443584 172267 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 173204 172267 136 292 0 172909 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 692816

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=688112/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=717456 CPUtime=642
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 313812 0 0 0 63890 310 0 0 25 0 1 0 181129645 734674944 178401 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 179364 178401 136 292 0 179069 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 717456

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=584752/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=821276 CPUtime=881.87
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 339632 0 0 0 87813 374 0 0 25 0 1 0 181129645 840986624 204221 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 205319 204221 136 292 0 205024 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 821276

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=566320/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=839888 CPUtime=941.84
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 344267 0 0 0 93798 386 0 0 25 0 1 0 181129645 860045312 208856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 209972 208856 136 292 0 209677 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 839888

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=552048/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=854048 CPUtime=1001.82
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 347780 0 0 0 99785 397 0 0 25 0 1 0 181129645 874545152 212369 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 213512 212369 136 292 0 213217 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 854048

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=530416/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=875848 CPUtime=1061.78
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 353230 0 0 0 105767 411 0 0 25 0 1 0 181129645 896868352 217819 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 218962 217819 136 292 0 218667 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 875848

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=514160/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=892192 CPUtime=1121.76
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 357291 0 0 0 111753 423 0 0 25 0 1 0 181129645 913604608 221880 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 223048 221880 136 292 0 222753 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 892192

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=500144/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=906120 CPUtime=1181.73
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 360742 0 0 0 117739 434 0 0 25 0 1 0 181129645 927866880 225331 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 226530 225331 136 292 0 226235 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 906120

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=478192/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=927992 CPUtime=1241.69
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 366211 0 0 0 123720 449 0 0 25 0 1 0 181129645 950263808 230800 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 231998 230800 136 292 0 231703 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 927992

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=459312/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=946712 CPUtime=1301.67
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 370861 0 0 0 129705 462 0 0 25 0 1 0 181129645 969433088 235450 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 236678 235450 136 292 0 236383 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 946712

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=443824/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=962292 CPUtime=1361.63
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 374760 0 0 0 135689 474 0 0 25 0 1 0 181129645 985387008 239349 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 240573 239349 136 292 0 240278 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 962292

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=429808/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=976228 CPUtime=1421.58
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 378252 0 0 0 141675 483 0 0 25 0 1 0 181129645 999657472 242841 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 244057 242841 136 292 0 243762 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 976228

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=414000/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=992096 CPUtime=1481.55
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 382214 0 0 0 147661 494 0 0 25 0 1 0 181129645 1015906304 246803 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 248024 246803 136 292 0 247729 0
Current children cumulated CPU time (s) 1481.55
Current children cumulated vsize (KiB) 992096

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=398192/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1007700 CPUtime=1541.53
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 386127 0 0 0 153648 505 0 0 25 0 1 0 181129645 1031884800 250716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 251925 250716 136 292 0 251630 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 1007700

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=378416/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1027892 CPUtime=1601.5
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 391144 0 0 0 159631 519 0 0 25 0 1 0 181129645 1052561408 255733 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 256973 255733 136 292 0 256678 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 1027892

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=363376/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1042824 CPUtime=1661.47
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 394862 0 0 0 165616 531 0 0 25 0 1 0 181129645 1067851776 259451 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 260706 259451 136 292 0 260411 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 1042824

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=348656/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1057476 CPUtime=1721.45
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 398532 0 0 0 171605 540 0 0 25 0 1 0 181129645 1082855424 263121 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 264369 263121 136 292 0 264074 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 1057476

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=336944/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1068940 CPUtime=1781.42
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 401408 0 0 0 177593 549 0 0 25 0 1 0 181129645 1094594560 265997 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 267235 265997 136 292 0 266940 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 1068940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=331760/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=1074104 CPUtime=1800.02
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4194304 402684 0 0 0 179449 553 0 0 25 0 1 0 181129645 1099882496 267273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 268526 267273 136 292 0 268231 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1074104

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

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

[startup+1801.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3300
/proc/meminfo: memFree=331760/2055920 swapFree=4191900/4192956
[pid=3293] ppid=3291 vsize=0 CPUtime=1800.12
/proc/3293/stat : 3293 (wbo) R 3291 3293 2747 0 -1 4195332 402684 0 0 0 179449 563 0 0 25 0 1 0 181129645 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3293/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.06
CPU time (s): 1800.18
CPU user time (s): 1794.5
CPU system time (s): 5.68713
CPU usage (%): 99.9512
Max. virtual memory (cumulated for all children) (KiB): 1074104

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

runsolver used 1.75073 second user time and 4.82527 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 08:54:46
IDJOB=1876135
IDBENCH=1876
IDSOLVER=698
FILE ID=node1/1876135-1245135285
PBS_JOBID= 9363693
Free space on /tmp= 66216 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876135-1245135285/watcher-1876135-1245135285 -o /tmp/evaluation-result-1876135-1245135285/solver-1876135-1245135285 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876135-1245135285.opb

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

MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9
RANDOM SEED=1117083403

node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.245
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.245
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1403288 kB
Buffers:         65088 kB
Cached:         492792 kB
SwapCached:        400 kB
Active:          95064 kB
Inactive:       476264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1403288 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            8232 kB
Writeback:           0 kB
Mapped:          22528 kB
Slab:            67252 kB
Committed_AS:   146864 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876135-1245135285.opb

Free space on /tmp at the end= 66212 MiB
End job on node1 at 2009-06-16 09:24:49