Trace number 2655906

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? (MO) 1449.61 1449.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark122.753
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
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 225
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 225
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655906-1276475397.opb.
0.00/0.00	c Instance file HOME/instance-2655906-1276475397.opb
0.00/0.00	c File size is 11487 bytes.
0.00/0.00	c Highest Coefficient sum: 6
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      225                                                 |
0.00/0.00	c |  Number Clauses:        225                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     225      225     1065 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 75
0.00/0.00	o 75
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     225      226     1290 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 71
0.00/0.00	o 71
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     225      227     1515 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 70
0.00/0.00	o 70
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        10 |     225      228     1740 |     5000       10     74 |  0.000 % |
0.00/0.01	c |       111 |     225      228     1740 |     5500      111     77 |  0.002 % |
0.00/0.01	c |       261 |     225      228     1740 |     6050      261     75 |  0.002 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 69
0.00/0.01	o 69
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       261 |     225      229     1965 |     5000      261     75 |  0.002 % |
0.01/0.02	c |       361 |     225      229     1965 |     5500      361     75 |  0.002 % |
0.01/0.03	c |       512 |     225      229     1965 |     6050      512     75 |  0.002 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 68
0.01/0.03	o 68
0.01/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |       512 |     225      230     2190 |     5000      512     75 |  0.002 % |
0.01/0.03	c |       613 |     225      230     2190 |     5500      613     75 |  0.002 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 65
0.01/0.03	o 65
0.01/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |       613 |     225      231     2415 |     5000      613     75 |  0.002 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 64
0.01/0.03	o 64
0.01/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |       615 |     225      232     2640 |     5000      615     75 |  0.002 % |
0.01/0.04	c |       715 |     225      232     2640 |     5500      715     74 |  0.002 % |
0.01/0.04	c |       865 |     225      232     2640 |     6050      865     74 |  0.002 % |
0.01/0.06	c |      1092 |     225      232     2640 |     6655     1092     73 |  0.002 % |
0.01/0.08	c |      1429 |     225      232     2640 |     7320     1429     72 |  0.002 % |
0.09/0.11	c |      1935 |     225      232     2640 |     8052     1935     72 |  0.002 % |
0.09/0.16	c |      2694 |     225      232     2640 |     8857     2694     72 |  0.002 % |
0.19/0.24	c |      3834 |     225      232     2640 |     9743     3834     72 |  0.002 % |
0.30/0.35	c |      5543 |     225      232     2640 |    10717     5543     71 |  0.002 % |
0.30/0.36	c ===============================================================================
0.30/0.36	c New solution: 63
0.30/0.36	o 63
0.30/0.36	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 179.645 s
0.30/0.36	c ===============================================================================
0.30/0.36	c |      5749 |     225      233     2865 |     5000     5749     71 |  0.002 % |
0.30/0.38	c |      5850 |     225      233     2865 |     5500     2976     71 |  0.002 % |
0.30/0.38	c ===============================================================================
0.30/0.38	c New solution: 62
0.30/0.38	o 62
0.30/0.38	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 179.63 s
0.30/0.38	c ===============================================================================
0.30/0.38	c |      5855 |     225      234     3090 |     5000     2981     71 |  0.002 % |
0.30/0.38	c |      5955 |     225      234     3090 |     5500     3081     71 |  0.002 % |
0.30/0.39	c |      6105 |     225      234     3090 |     6050     3231     71 |  0.002 % |
0.39/0.41	c |      6331 |     225      234     3090 |     6655     3457     70 |  0.002 % |
0.39/0.43	c |      6669 |     225      234     3090 |     7320     3795     70 |  0.002 % |
0.39/0.46	c |      7175 |     225      234     3090 |     8052     4301     70 |  0.002 % |
0.49/0.52	c |      7934 |     225      234     3090 |     8857     5060     70 |  0.002 % |
0.49/0.59	c |      9075 |     225      234     3090 |     9743     6201     70 |  0.002 % |
0.69/0.72	c |     10783 |     225      234     3090 |    10717     7909     69 |  0.002 % |
0.89/0.90	c |     13346 |     225      234     3090 |    11789    10472     69 |  0.002 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: 61
0.89/0.96	o 61
0.89/0.96	c Elapsed CPU time: 0.935857 s	Remaining CPU time: 179.064 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |     14111 |     225      235     3315 |     5000    11237     69 |  0.002 % |
0.89/1.00	c |     14211 |     225      235     3315 |     5500     2910     67 |  0.002 % |
0.99/1.01	c |     14361 |     225      235     3315 |     6050     3060     67 |  0.002 % |
0.99/1.02	c |     14586 |     225      235     3315 |     6655     3285     67 |  0.002 % |
0.99/1.05	c |     14923 |     225      235     3315 |     7320     3622     67 |  0.002 % |
0.99/1.07	c |     15429 |     225      235     3315 |     8052     4128     67 |  0.002 % |
1.10/1.13	c |     16188 |     225      235     3315 |     8857     4887     67 |  0.002 % |
1.19/1.21	c |     17328 |     225      235     3315 |     9743     6027     67 |  0.002 % |
1.29/1.35	c |     19037 |     225      235     3315 |    10717     7736     67 |  0.002 % |
1.49/1.56	c |     21599 |     225      235     3315 |    11789    10298     67 |  0.002 % |
1.99/2.01	c |     25443 |     225      235     3315 |    12968     8155     68 |  0.002 % |
2.39/2.49	c |     31209 |     225      235     3315 |    14265     7344     68 |  0.002 % |
3.59/3.60	c |     39858 |     225      235     3315 |    15692     8766     68 |  0.002 % |
4.89/4.99	c |     52832 |     225      235     3315 |    17261    13796     69 |  0.002 % |
8.80/8.84	c |     72295 |     225      235     3315 |    18987    15811     70 |  0.002 % |
13.38/13.44	c |    101489 |     225      235     3315 |    20886    16231     70 |  0.002 % |
22.88/22.92	c |    145279 |     225      235     3315 |    22974    17875     68 |  0.002 % |
32.38/32.44	c |    210964 |     225      235     3315 |    25272    22297     69 |  0.002 % |
61.28/61.32	c |    309490 |     225      235     3315 |    27799    21335     68 |  0.002 % |
89.77/89.82	c |    457280 |     225      235     3315 |    30579    19641     68 |  0.002 % |
157.16/157.22	c |    678964 |     225      235     3315 |    33637    28823     68 |  0.002 % |
182.35/182.45	c There are 0 assigned variables. 0 in cost function.
183.35/183.41	c core #1
183.35/183.41	c core #2
183.35/183.41	c core #3
183.35/183.41	c core #4
183.35/183.41	c core #5
183.35/183.41	c core #6
183.35/183.41	c core #7
183.35/183.41	c core #8
183.35/183.41	c core #9
183.35/183.41	c core #10
183.35/183.41	c core #11
183.35/183.41	c core #12
183.35/183.41	c core #13
183.35/183.41	c core #14
183.35/183.41	c core #15
183.35/183.41	c core #16
183.35/183.41	c core #17
183.35/183.41	c core #18
183.35/183.41	c core #19
183.35/183.41	c core #20
183.35/183.41	c core #21
183.35/183.41	c core #22
183.35/183.41	c core #23
183.35/183.41	c core #24
183.35/183.41	c core #25
183.35/183.41	c core #26
183.35/183.41	c core #27
183.35/183.41	c core #28
183.35/183.41	c core #29
183.35/183.41	c core #30
183.35/183.41	c core #31
183.35/183.41	c core #32
183.35/183.41	c core #33
183.35/183.41	c core #34
183.35/183.41	c core #35
183.35/183.41	c core #36
183.35/183.41	c core #37
183.35/183.41	c core #38
183.35/183.41	c core #39
183.35/183.41	c core #40
183.35/183.41	c core #41
183.35/183.41	c core #42
183.35/183.41	c core #43
183.35/183.41	c ============================[ Search Statistics ]==============================
183.35/183.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.41	c ===============================================================================
183.35/183.41	c |         0 |     396      504     4134 |     5000        0    nan |  0.000 % |
183.35/183.41	c ===============================================================================
183.35/183.42	c core #44
183.35/183.42	c ============================[ Search Statistics ]==============================
183.35/183.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.42	c ===============================================================================
183.35/183.42	c |         0 |     449      505     4231 |     5000        0    nan |  0.000 % |
183.35/183.42	c ===============================================================================
183.35/183.43	c core #45
183.35/183.43	c ============================[ Search Statistics ]==============================
183.35/183.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.43	c ===============================================================================
183.35/183.43	c |         0 |     526      506     4381 |     5000        0    nan |  0.000 % |
183.35/183.43	c |       102 |     526      506     4381 |     5500      102     18 |  2.593 % |
183.35/183.44	c |       252 |     526      506     4381 |     6050      252     17 |  2.593 % |
183.35/183.46	c |       479 |     526      506     4381 |     6655      479     19 |  2.593 % |
183.35/183.48	c |       817 |     526      506     4381 |     7320      817     23 |  2.593 % |
183.44/183.53	c |      1330 |     526      506     4381 |     8052     1330     26 |  2.593 % |
183.55/183.60	c |      2089 |     525      506     4381 |     8857     2069     27 |  2.778 % |
183.55/183.65	c ===============================================================================
183.55/183.67	c core #46
183.55/183.67	c ============================[ Search Statistics ]==============================
183.55/183.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.67	c ===============================================================================
183.55/183.67	c |         0 |     639      507     4604 |     5000        0    nan |  0.000 % |
183.55/183.68	c |       101 |     639      507     4604 |     5500      101     49 |  1.693 % |
183.55/183.69	c |       252 |     639      507     4604 |     6050      252     36 |  1.693 % |
183.65/183.71	c |       477 |     639      507     4604 |     6655      477     34 |  1.693 % |
183.65/183.74	c |       814 |     639      507     4604 |     7320      814     40 |  1.693 % |
183.65/183.79	c |      1321 |     639      507     4604 |     8052     1321     42 |  1.693 % |
183.74/183.87	c |      2081 |     639      507     4604 |     8857     2081     47 |  1.693 % |
183.85/183.99	c |      3222 |     635      507     4604 |     9743     3219     50 |  2.308 % |
184.14/184.20	c |      4930 |     635      507     4604 |    10717     4927     49 |  2.308 % |
184.44/184.59	c |      7497 |     627      507     4604 |    11789     7488     52 |  3.539 % |
185.34/185.47	c |     11346 |     627      507     4604 |    12968    11337     63 |  3.539 % |
186.95/187.01	c |     17112 |     627      507     4604 |    14265    10542     82 |  3.539 % |
187.24/187.30	c ===============================================================================
187.44/187.53	c core #47
187.44/187.53	c ============================[ Search Statistics ]==============================
187.44/187.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.44/187.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.44/187.53	c ===============================================================================
187.44/187.53	c |         0 |     815      508     4948 |     5000        0    nan |  0.000 % |
187.44/187.55	c |       103 |     815      508     4948 |     5500      103     64 |  0.367 % |
187.44/187.56	c |       254 |     815      508     4948 |     6050      254     69 |  0.367 % |
187.44/187.59	c |       479 |     815      508     4948 |     6655      479     70 |  0.367 % |
187.55/187.64	c |       819 |     815      508     4948 |     7320      819     72 |  0.367 % |
187.64/187.72	c |      1329 |     815      508     4948 |     8052     1329     75 |  0.367 % |
187.74/187.86	c |      2090 |     815      508     4948 |     8857     2090     83 |  0.367 % |
187.95/188.07	c |      3230 |     815      508     4948 |     9743     3230     85 |  0.367 % |
188.24/188.35	c |      4940 |     815      508     4948 |    10717     4940     84 |  0.367 % |
188.74/188.85	c |      7503 |     813      508     4948 |    11789     7502     86 |  0.611 % |
189.74/189.82	c |     11352 |     622      508     4948 |    12968     7115    113 | 23.961 % |
190.54/190.60	c ===============================================================================
190.54/190.69	c core #48
190.54/190.69	c ============================[ Search Statistics ]==============================
190.54/190.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.54/190.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.54/190.69	c ===============================================================================
190.54/190.69	c |         0 |    1021      509     5357 |     5000        0    nan |  0.000 % |
190.64/190.71	c |       101 |    1021      509     5357 |     5500      101     68 |  0.000 % |
190.64/190.73	c |       252 |    1021      509     5357 |     6050      252     71 |  0.000 % |
190.64/190.74	c |       477 |    1021      509     5357 |     6655      477     53 |  0.000 % |
190.64/190.78	c |       816 |    1021      509     5357 |     7320      816     80 |  0.000 % |
190.74/190.85	c |      1323 |    1021      509     5357 |     8052     1323     94 |  0.000 % |
190.84/191.00	c |      2084 |    1021      509     5357 |     8857     2084    114 |  0.000 % |
191.15/191.21	c |      3223 |    1021      509     5357 |     9743     3223    111 |  0.000 % |
191.45/191.50	c |      4931 |    1021      509     5357 |    10717     4931    112 |  0.000 % |
191.94/192.06	c |      7494 |    1021      509     5357 |    11789     7494    129 |  0.000 % |
193.34/193.46	c |     11338 |    1021      509     5357 |    12968    11338    142 |  0.000 % |
195.34/195.49	c |     17105 |    1021      509     5357 |    14265    10512    147 |  0.000 % |
199.84/199.96	c |     25755 |    1021      509     5357 |    15692    11923    146 |  0.000 % |
205.14/205.28	c |     38729 |    1021      509     5357 |    17261     8998    164 |  0.000 % |
207.24/207.38	c ===============================================================================
207.34/207.49	c core #49
207.34/207.49	c ============================[ Search Statistics ]==============================
207.34/207.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.34/207.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.34/207.49	c ===============================================================================
207.34/207.49	c |         0 |    1210      510     5735 |     5000        0    nan |  0.000 % |
207.44/207.52	c |       101 |    1210      510     5735 |     5500      101    135 |  0.000 % |
207.44/207.54	c |       252 |    1210      510     5735 |     6050      252     77 |  0.000 % |
207.44/207.57	c |       477 |    1210      510     5735 |     6655      477    109 |  0.000 % |
207.54/207.63	c |       814 |    1210      510     5735 |     7320      814    122 |  0.000 % |
207.54/207.68	c |      1320 |    1210      510     5735 |     8052     1320     98 |  0.000 % |
207.64/207.79	c |      2087 |    1210      510     5735 |     8857     2087     87 |  0.000 % |
207.84/207.95	c |      3228 |    1210      510     5735 |     9743     3228     72 |  0.000 % |
208.14/208.23	c |      4940 |    1210      510     5735 |    10717     4940     66 |  0.000 % |
208.54/208.69	c |      7503 |    1210      510     5735 |    11789     7503     64 |  0.000 % |
209.34/209.49	c |     11349 |    1210      510     5735 |    12968    11349     72 |  0.000 % |
210.84/210.98	c |     17117 |    1210      510     5735 |    14265    10472     99 |  0.000 % |
213.74/213.80	c |     25767 |    1210      510     5735 |    15692    11877     92 |  0.000 % |
218.84/218.94	c |     38745 |    1210      510     5735 |    17261     8880     82 |  0.000 % |
227.03/227.11	c |     58207 |    1210      510     5735 |    18987    10688    128 |  0.000 % |
245.73/245.84	c |     87400 |    1210      510     5735 |    20886    11003    141 |  0.000 % |
266.62/266.75	c |    131193 |    1210      510     5735 |    22974    12484     98 |  0.000 % |
307.71/307.82	c |    196882 |    1210      510     5735 |    25272    20220    123 |  0.000 % |
398.69/398.87	c |    295408 |    1210      510     5735 |    27799    16124    145 |  0.000 % |
496.37/496.54	c ===============================================================================
508.46/508.64	c core #50
508.46/508.64	c ============================[ Search Statistics ]==============================
508.46/508.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
508.46/508.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
508.46/508.64	c ===============================================================================
508.46/508.64	c |         0 |    1430      511     6175 |     5000        0    nan |  0.000 % |
508.56/508.72	c |       100 |    1430      511     6175 |     5500      100     81 |  0.000 % |
508.56/508.74	c |       250 |    1430      511     6175 |     6050      250     55 |  0.000 % |
508.66/508.83	c |       476 |    1430      511     6175 |     6655      476     79 |  0.000 % |
508.66/508.86	c |       814 |    1430      511     6175 |     7320      814     66 |  0.000 % |
508.76/508.95	c |      1321 |    1430      511     6175 |     8052     1321    114 |  0.000 % |
508.86/509.05	c |      2080 |    1430      511     6175 |     8857     2080    112 |  0.000 % |
509.07/509.28	c |      3221 |    1430      511     6175 |     9743     3221    125 |  0.000 % |
509.36/509.57	c |      4930 |    1430      511     6175 |    10717     4930    113 |  0.000 % |
510.06/510.20	c |      7494 |    1430      511     6175 |    11789     7494    129 |  0.000 % |
511.06/511.21	c |     11338 |    1430      511     6175 |    12968    11338    148 |  0.000 % |
513.66/513.87	c |     17108 |    1430      511     6175 |    14265    10274    250 |  0.000 % |
517.65/517.86	c |     25758 |    1430      511     6175 |    15692    11362    279 |  0.000 % |
524.56/524.72	c |     38736 |    1430      511     6175 |    17261    16212    285 |  0.000 % |
537.16/537.34	c |     58201 |    1430      511     6175 |    18987     9106    212 |  0.000 % |
551.35/551.55	c |     87393 |    1430      511     6175 |    20886    18866    171 |  0.000 % |
578.35/578.56	c |    131182 |    1430      511     6175 |    22974    20201    202 |  0.000 % |
633.02/633.20	c |    196868 |    1430      511     6175 |    25272    15295    277 |  0.000 % |
720.70/720.94	c |    295395 |    1430      511     6175 |    27799    22790    361 |  0.000 % |
905.76/906.09	c |    443187 |    1430      511     6175 |    30579    14557    347 |  0.000 % |
1192.28/1192.65	c |    664877 |    1430      511     6175 |    33637    20341    276 |  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-2655906-1276475397/watcher-2655906-1276475397 -o /tmp/evaluation-result-2655906-1276475397/solver-2655906-1276475397 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655906-1276475397.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: 2.20 2.06 1.67 3/106 29564
/proc/meminfo: memFree=1819960/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=2572 CPUtime=0
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 290 0 0 0 0 0 0 0 20 0 1 0 23143709 2633728 206 1992294400 134512640 135751879 4293351728 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 643 206 146 303 0 338 0

[startup+0.0206819 s]
/proc/loadavg: 2.20 2.06 1.67 3/106 29564
/proc/meminfo: memFree=1819960/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=2704 CPUtime=0.01
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 318 0 0 0 1 0 0 0 20 0 1 0 23143709 2768896 234 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 676 234 147 303 0 371 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2704

[startup+0.10169 s]
/proc/loadavg: 2.20 2.06 1.67 3/106 29564
/proc/meminfo: memFree=1819960/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=3216 CPUtime=0.09
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 466 0 0 0 9 0 0 0 20 0 1 0 23143709 3293184 382 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 804 382 147 303 0 499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.30171 s]
/proc/loadavg: 2.20 2.06 1.67 3/106 29564
/proc/meminfo: memFree=1819960/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=4508 CPUtime=0.3
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 773 0 0 0 29 1 0 0 20 0 1 0 23143709 4616192 689 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 1127 689 147 303 0 822 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4508

[startup+0.701751 s]
/proc/loadavg: 2.20 2.06 1.67 3/106 29564
/proc/meminfo: memFree=1819960/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=6692 CPUtime=0.69
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 1323 0 0 0 68 1 0 0 21 0 1 0 23143709 6852608 1239 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 1673 1239 148 303 0 1368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6692

[startup+1.50183 s]
/proc/loadavg: 2.20 2.06 1.67 2/107 29565
/proc/meminfo: memFree=1814124/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=10612 CPUtime=1.49
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 2295 0 0 0 145 4 0 0 23 0 1 0 23143709 10866688 2211 1992294400 134512640 135751879 4293351728 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 2653 2212 148 303 0 2348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10612

[startup+3.102 s]
/proc/loadavg: 2.20 2.06 1.67 2/107 29565
/proc/meminfo: memFree=1809164/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=16524 CPUtime=3.09
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 3767 0 0 0 301 8 0 0 25 0 1 0 23143709 16920576 3683 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 4131 3683 148 303 0 3826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16524

[startup+6.30132 s]
/proc/loadavg: 2.10 2.04 1.66 2/107 29565
/proc/meminfo: memFree=1797756/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=25848 CPUtime=6.29
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 6109 0 0 0 614 15 0 0 25 0 1 0 23143709 26468352 6025 1992294400 134512640 135751879 4293351728 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 6462 6025 148 303 0 6157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25848

[startup+12.701 s]
/proc/loadavg: 2.02 2.02 1.66 2/107 29565
/proc/meminfo: memFree=1783124/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=39752 CPUtime=12.69
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 9575 0 0 0 1245 24 0 0 25 0 1 0 23143709 40706048 9491 1992294400 134512640 135751879 4293351728 18446744073709551615 134616477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 9938 9491 148 303 0 9633 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39752

[startup+25.5013 s]
/proc/loadavg: 1.79 1.97 1.65 2/107 29565
/proc/meminfo: memFree=1756588/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=66028 CPUtime=25.49
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 16132 0 0 0 2507 42 0 0 25 0 1 0 23143709 67612672 16048 1992294400 134512640 135751879 4293351728 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 16507 16048 148 303 0 16202 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66028

[startup+51.1009 s]
/proc/loadavg: 1.52 1.89 1.63 2/107 29567
/proc/meminfo: memFree=1714924/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=107692 CPUtime=51.08
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 26552 0 0 0 5034 74 0 0 25 0 1 0 23143709 110276608 26468 1992294400 134512640 135751879 4293351728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 26923 26468 148 303 0 26618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 107692

[startup+102.308 s]
/proc/loadavg: 1.22 1.75 1.60 2/107 29567
/proc/meminfo: memFree=1632836/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=188932 CPUtime=102.28
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 46809 0 0 0 10085 143 0 0 25 0 1 0 23143709 193466368 46725 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 47233 46725 148 303 0 46928 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 188932

[startup+162.301 s]
/proc/loadavg: 1.08 1.61 1.55 2/107 29569
/proc/meminfo: memFree=1555212/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=267060 CPUtime=162.25
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 66306 0 0 0 16016 209 0 0 25 0 1 0 23143709 273469440 66222 1992294400 134512640 135751879 4293351728 18446744073709551615 134603009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 66765 66222 148 303 0 66460 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 267060

[startup+222.301 s]
/proc/loadavg: 1.03 1.50 1.52 2/107 29571
/proc/meminfo: memFree=1479572/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=341684 CPUtime=222.23
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 85094 0 0 0 21930 293 0 0 25 0 1 0 23143709 349884416 84976 1992294400 134512640 135751879 4293351728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 85421 84976 151 303 0 85116 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 341684

[startup+282.302 s]
/proc/loadavg: 1.01 1.41 1.48 2/107 29573
/proc/meminfo: memFree=1414348/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=407152 CPUtime=282.22
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 101442 0 0 0 27881 341 0 0 25 0 1 0 23143709 416923648 101324 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 101788 101324 151 303 0 101483 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 407152

[startup+342.302 s]
/proc/loadavg: 1.00 1.33 1.45 2/107 29575
/proc/meminfo: memFree=1354084/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=467104 CPUtime=342.2
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 116376 0 0 0 33840 380 0 0 25 0 1 0 23143709 478314496 116258 1992294400 134512640 135751879 4293351728 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 116776 116258 151 303 0 116471 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 467104

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.42 2/107 29575
/proc/meminfo: memFree=1301632/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=519920 CPUtime=402.19
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 129523 0 0 0 39808 411 0 0 25 0 1 0 23143709 532398080 129405 1992294400 134512640 135751879 4293351728 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 129980 129405 151 303 0 129675 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 519920

[startup+462.301 s]
/proc/loadavg: 1.00 1.22 1.39 2/107 29577
/proc/meminfo: memFree=1246948/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=574436 CPUtime=462.17
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 143128 0 0 0 45771 446 0 0 25 0 1 0 23143709 588222464 143010 1992294400 134512640 135751879 4293351728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 143609 143010 151 303 0 143304 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 574436

[startup+522.301 s]
/proc/loadavg: 1.00 1.17 1.36 2/107 29579
/proc/meminfo: memFree=1189784/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=633484 CPUtime=522.16
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 158054 0 0 0 51725 491 0 0 25 0 1 0 23143709 648687616 157936 1992294400 134512640 135751879 4293351728 18446744073709551615 134607834 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 158371 157936 151 303 0 158066 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 633484

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.34 2/107 29581
/proc/meminfo: memFree=1103480/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=717172 CPUtime=582.15
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 178954 0 0 0 57662 553 0 0 25 0 1 0 23143709 734384128 178836 1992294400 134512640 135751879 4293351728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 179293 178836 151 303 0 178988 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 717172

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.31 2/107 29583
/proc/meminfo: memFree=1009116/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=810768 CPUtime=642.13
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 202333 0 0 0 63612 601 0 0 25 0 1 0 23143709 830226432 202215 1992294400 134512640 135751879 4293351728 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 202692 202215 151 303 0 202387 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 810768

[startup+702.301 s]
/proc/loadavg: 1.00 1.09 1.29 2/107 29583
/proc/meminfo: memFree=908428/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=912092 CPUtime=702.11
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 227659 0 0 0 69561 650 0 0 25 0 1 0 23143709 933982208 227541 1992294400 134512640 135751879 4293351728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 228023 227541 151 303 0 227718 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 912092

[startup+762.309 s]
/proc/loadavg: 1.00 1.07 1.27 2/107 29585
/proc/meminfo: memFree=829440/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=990124 CPUtime=762.11
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 247133 0 0 0 75531 680 0 0 25 0 1 0 23143709 1013886976 247015 1992294400 134512640 135751879 4293351728 18446744073709551615 134607728 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 247531 247016 151 303 0 247226 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 990124

[startup+822.302 s]
/proc/loadavg: 1.00 1.05 1.25 2/107 29587
/proc/meminfo: memFree=766820/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1053608 CPUtime=822.08
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 262973 0 0 0 81499 709 0 0 25 0 1 0 23143709 1078894592 262855 1992294400 134512640 135751879 4293351728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 263402 262855 151 303 0 263097 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1053608

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.23 2/107 29589
/proc/meminfo: memFree=678780/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1140772 CPUtime=882.06
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 284764 0 0 0 87454 752 0 0 25 0 1 0 23143709 1168150528 284646 1992294400 134512640 135751879 4293351728 18446744073709551615 134616769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 285193 284646 151 303 0 284888 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1140772

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 29591
/proc/meminfo: memFree=602644/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1217244 CPUtime=942.05
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 303896 0 0 0 93417 788 0 0 25 0 1 0 23143709 1246457856 303778 1992294400 134512640 135751879 4293351728 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 304311 303778 151 303 0 304006 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1217244

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 29591
/proc/meminfo: memFree=541760/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1277744 CPUtime=1002.03
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 318986 0 0 0 99390 813 0 0 25 0 1 0 23143709 1308409856 318868 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 319436 318868 151 303 0 319131 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1277744

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 29593
/proc/meminfo: memFree=464384/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1355764 CPUtime=1062.02
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 338479 0 0 0 105357 845 0 0 25 0 1 0 23143709 1388302336 338361 1992294400 134512640 135751879 4293351728 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 338941 338361 151 303 0 338636 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1355764

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 29595
/proc/meminfo: memFree=408832/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1410032 CPUtime=1122
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 352049 0 0 0 111328 872 0 0 25 0 1 0 23143709 1443872768 351931 1992294400 134512640 135751879 4293351728 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 352508 351931 151 303 0 352203 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1410032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 29597
/proc/meminfo: memFree=339144/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1480500 CPUtime=1181.99
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 369637 0 0 0 117295 904 0 0 25 0 1 0 23143709 1516032000 369519 1992294400 134512640 135751879 4293351728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 370125 369519 151 303 0 369820 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1480500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 29599
/proc/meminfo: memFree=254080/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1564844 CPUtime=1241.98
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 390681 0 0 0 123256 942 0 0 25 0 1 0 23143709 1602400256 390563 1992294400 134512640 135751879 4293351728 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 391211 390563 151 303 0 390906 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1564844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 29599
/proc/meminfo: memFree=170132/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1648120 CPUtime=1301.97
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 411479 0 0 0 129214 983 0 0 25 0 1 0 23143709 1687674880 411361 1992294400 134512640 135751879 4293351728 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 412030 411361 151 303 0 411725 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1648120

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 29601
/proc/meminfo: memFree=80108/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1738712 CPUtime=1361.94
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 434132 0 0 0 135166 1028 0 0 25 0 1 0 23143709 1780441088 434014 1992294400 134512640 135751879 4293351728 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 434678 434014 151 303 0 434373 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1738712

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 29603
/proc/meminfo: memFree=10544/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1807604 CPUtime=1421.93
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 451340 0 0 0 141136 1057 0 0 25 0 1 0 23143709 1850986496 451222 1992294400 134512640 135751879 4293351728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 451901 451222 151 303 0 451596 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1807604



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1449.81 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29603
/proc/meminfo: memFree=10232/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=1843324 CPUtime=1449.43
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4202496 460229 0 0 0 143869 1074 0 0 25 0 1 0 23143709 1887563776 460111 1992294400 134512640 135751879 4293351728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29564/statm: 460831 460111 151 303 0 460526 0
Current children cumulated CPU time (s) 1449.43
Current children cumulated vsize (KiB) 1843324

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

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

[startup+1449.91 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 29603
/proc/meminfo: memFree=10232/2059040 swapFree=4135652/4192956
[pid=29564] ppid=29562 vsize=0 CPUtime=1449.53
/proc/29564/stat : 29564 (wbo1.4b) R 29562 29564 29366 0 -1 4203524 460229 0 0 0 143869 1084 0 0 25 0 1 0 23143709 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1449.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1449.99
CPU time (s): 1449.61
CPU user time (s): 1438.69
CPU system time (s): 10.9193
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1843324

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

runsolver used 2.42263 second user time and 6.83196 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-14 02:29:57
IDJOB=2655906
IDBENCH=2214
IDSOLVER=1161
FILE ID=node002/2655906-1276475397
PBS_JOBID= 11173373
Free space on /tmp= 62400 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655906-1276475397/watcher-2655906-1276475397 -o /tmp/evaluation-result-2655906-1276475397/solver-2655906-1276475397 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655906-1276475397.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=1480851262

node002.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.242
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.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1820488 kB
Buffers:         57044 kB
Cached:         105164 kB
SwapCached:       9900 kB
Active:          80948 kB
Inactive:        93396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820488 kB
SwapTotal:     4192956 kB
SwapFree:      4135652 kB
Dirty:            2700 kB
Writeback:           0 kB
AnonPages:       10880 kB
Mapped:           9156 kB
Slab:            42404 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180592 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62396 MiB
End job on node002 at 2010-06-14 02:54:09