Trace number 2655773

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? (TO) 1800.12 1800.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
MD5SUM11f76d5c4a01da95c686f09380ec8e85
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark18.2202
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables9709
Total number of constraints29891
Number of constraints which are clauses29891
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 4768
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 4768
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4768
Number of bits of the biggest sum of numbers13
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-2655773-1276631439.opb.
0.00/0.00	c Instance file HOME/instance-2655773-1276631439.opb
0.00/0.00	c File size is 874504 bytes.
0.09/0.13	c Highest Coefficient sum: 128
0.09/0.13	c ============================[ Problem Statistics ]=============================
0.09/0.13	c |                                                                             |
0.09/0.13	c |  Parsing time:          0.13         s                                      |
0.09/0.13	c |  Number Variables:      9709                                                |
0.09/0.13	c |  Number Clauses:        29891                                               |
0.09/0.13	c |  Number Cardinality:    0                                                   |
0.09/0.13	c |  Number PB Constraints: 0                                                   |
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |    7846    29899    69955 |     9963        0    nan |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 34
0.19/0.26	o 34
0.19/0.26	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 179.747 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    7846    29900    74723 |     9966        0    nan |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 33
0.19/0.30	o 33
0.19/0.30	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 179.716 s
0.19/0.30	c ===============================================================================
0.19/0.30	c |        35 |    7846    29901    79491 |     9967       35     77 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 32
0.29/0.32	o 32
0.29/0.32	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 179.698 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        66 |    7846    29902    84259 |     9967       66     45 |  0.000 % |
0.29/0.39	c |       166 |    7846    29902    84259 |    10964      166     44 | 19.189 % |
0.49/0.50	c |       316 |    7846    29902    84259 |    12060      316     45 | 19.189 % |
0.69/0.72	c |       541 |    7846    29902    84259 |    13266      541     68 | 19.189 % |
0.89/0.97	c |       878 |    7846    29902    84259 |    14593      878     55 | 19.189 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: 31
1.10/1.14	o 31
1.10/1.14	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 178.905 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |      1122 |    7846    29903    89027 |     9967     1122     49 | 19.189 % |
1.19/1.21	c |      1222 |    7846    29903    89027 |    10964     1222     48 | 19.189 % |
1.29/1.35	c |      1372 |    7846    29903    89027 |    12060     1372     48 | 19.188 % |
1.49/1.52	c |      1598 |    7846    29903    89027 |    13266     1598     47 | 19.189 % |
1.80/1.81	c |      1936 |    7846    29903    89027 |    14593     1936     49 | 19.189 % |
2.20/2.27	c |      2442 |    7846    29903    89027 |    16053     2442     47 | 19.189 % |
2.79/2.83	c |      3202 |    7846    29903    89027 |    17658     3202     55 | 19.188 % |
3.79/3.81	c |      4341 |    7846    29903    89027 |    19424     4341     56 | 19.189 % |
5.69/5.75	c |      6051 |    7846    29903    89027 |    21366     6051     55 | 19.188 % |
7.89/7.92	c |      8614 |    7846    29903    89027 |    23503     8614     56 | 19.188 % |
11.49/11.58	c |     12458 |    7846    29903    89027 |    25853    12458     52 | 19.188 % |
15.79/15.89	c |     18225 |    7846    29903    89027 |    28438    18225     73 | 19.188 % |
23.78/23.83	c |     26874 |    7846    29903    89027 |    31282    26874     73 | 19.188 % |
32.38/32.46	c ===============================================================================
32.38/32.46	c New solution: 30
32.38/32.46	o 30
32.38/32.46	c Elapsed CPU time: 32.2031 s	Remaining CPU time: 147.797 s
32.38/32.46	c ===============================================================================
32.38/32.46	c |     36460 |    7846    29904    93795 |     9968    12099     63 | 19.188 % |
32.58/32.60	c |     36560 |    7846    29904    93795 |    10964     6150     61 | 19.188 % |
32.67/32.71	c |     36710 |    7846    29904    93795 |    12061     6300     61 | 19.188 % |
32.78/32.87	c |     36935 |    7846    29904    93795 |    13267     6525     59 | 19.189 % |
33.08/33.14	c |     37272 |    7846    29904    93795 |    14594     6862     59 | 19.189 % |
33.47/33.59	c |     37779 |    7846    29904    93795 |    16053     7369     58 | 19.188 % |
34.17/34.26	c |     38538 |    7846    29904    93795 |    17658     8128     58 | 19.188 % |
35.08/35.20	c |     39677 |    7846    29904    93795 |    19424     9267     60 | 19.189 % |
36.58/36.60	c |     41385 |    7846    29904    93795 |    21367    10975     59 | 19.188 % |
38.88/38.91	c |     43948 |    7846    29904    93795 |    23504    13538     60 | 19.188 % |
42.17/42.29	c |     47792 |    7846    29904    93795 |    25854    17382     60 | 19.188 % |
47.07/47.17	c |     53558 |    7846    29904    93795 |    28439    23148     60 | 19.188 % |
54.37/54.49	c |     62207 |    7846    29904    93795 |    31283    31797     66 | 19.188 % |
66.47/66.54	c |     75181 |    7846    29904    93795 |    34412    21100     72 | 19.188 % |
66.77/66.83	c ===============================================================================
66.77/66.83	c New solution: 29
66.77/66.83	o 29
66.77/66.83	c Elapsed CPU time: 66.3029 s	Remaining CPU time: 113.697 s
66.77/66.83	c ===============================================================================
66.77/66.83	c |     75511 |    7846    29905    98563 |     9968    21430     71 | 19.188 % |
66.86/66.99	c |     75612 |    7846    29905    98563 |    10965    10816     67 | 19.189 % |
66.97/67.10	c |     75763 |    7846    29905    98563 |    12061    10967     67 | 19.188 % |
67.17/67.28	c |     75988 |    7846    29905    98563 |    13267    11192     67 | 19.189 % |
67.47/67.57	c |     76325 |    7846    29905    98563 |    14594    11529     66 | 19.188 % |
67.97/68.04	c |     76831 |    7846    29905    98563 |    16054    12035     65 | 19.189 % |
68.77/68.85	c |     77590 |    7846    29905    98563 |    17659    12794     65 | 19.189 % |
69.66/69.75	c |     78729 |    7846    29905    98563 |    19425    13933     65 | 19.188 % |
71.16/71.26	c |     80437 |    7846    29905    98563 |    21368    15641     65 | 19.188 % |
73.47/73.59	c |     82999 |    7846    29905    98563 |    23504    18203     63 | 19.188 % |
77.17/77.23	c |     86843 |    7846    29905    98563 |    25855    22047     66 | 19.189 % |
81.87/81.93	c |     92609 |    7846    29905    98563 |    28440    27813     67 | 19.188 % |
89.66/89.76	c |    101259 |    7846    29905    98563 |    31284    15075     72 | 19.188 % |
102.45/102.54	c |    114233 |    7846    29905    98563 |    34413    28049     75 | 19.188 % |
119.55/119.65	c |    133694 |    7846    29905    98563 |    37854    20671     68 | 19.188 % |
145.64/145.77	c |    162886 |    7846    29905    98563 |    41640    19835     78 | 19.188 % |
181.13/181.25	c There are 1863 assigned variables. 944 in cost function.
182.54/182.63	c core #1
182.54/182.63	c core #2
182.54/182.63	c core #3
182.54/182.63	c core #4
182.54/182.63	c core #5
182.54/182.63	c core #6
182.54/182.63	c core #7
182.54/182.63	c core #8
182.54/182.63	c core #9
182.54/182.63	c core #10
182.54/182.63	c core #11
182.54/182.63	c core #12
182.54/182.63	c core #13
182.54/182.63	c core #14
182.54/182.63	c core #15
182.54/182.63	c core #16
182.54/182.63	c core #17
182.54/182.63	c core #18
182.54/182.63	c core #19
182.54/182.63	c ============================[ Search Statistics ]==============================
182.54/182.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.54/182.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.54/182.63	c ===============================================================================
182.54/182.63	c |         0 |    1944    30818    57600 |    10272        0    nan |  0.000 % |
182.54/182.64	c ===============================================================================
182.63/182.71	c core #20
182.63/182.71	c ============================[ Search Statistics ]==============================
182.63/182.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.63/182.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.63/182.71	c ===============================================================================
182.63/182.71	c |         0 |    2194    30831    58119 |    10277        0    nan |  0.000 % |
182.63/182.74	c ===============================================================================
182.73/182.82	c core #21
182.73/182.82	c ============================[ Search Statistics ]==============================
182.73/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.82	c ===============================================================================
182.73/182.82	c |         0 |    3015    30959    60597 |    10319        0    nan |  0.000 % |
182.73/182.86	c |       100 |    3015    30959    60597 |    11351      100     60 | 72.393 % |
182.83/182.93	c |       251 |    3015    30959    60597 |    12486      251     66 | 72.393 % |
182.93/183.00	c |       478 |    3015    30959    60597 |    13735      478     72 | 72.393 % |
183.03/183.12	c |       816 |    3015    30959    60597 |    15109      816     58 | 72.393 % |
183.13/183.28	c |      1323 |    3015    30959    60597 |    16619     1323     53 | 72.393 % |
183.43/183.54	c |      2082 |    3015    30959    60597 |    18281     2082     54 | 72.393 % |
183.63/183.79	c ===============================================================================
183.73/183.89	c core #22
183.73/183.89	c ============================[ Search Statistics ]==============================
183.73/183.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.89	c ===============================================================================
183.73/183.89	c |         0 |    4072    31353    63712 |    10451        0    nan |  0.000 % |
183.83/183.93	c |       101 |    4072    31353    63712 |    11496      101     99 | 65.614 % |
183.93/184.01	c |       251 |    4072    31353    63712 |    12645      251     70 | 65.614 % |
184.03/184.12	c |       477 |    4072    31353    63712 |    13910      477     78 | 65.614 % |
184.13/184.29	c |       814 |    4072    31353    63712 |    15301      814     73 | 65.614 % |
184.43/184.50	c |      1322 |    4072    31353    63712 |    16831     1322     63 | 65.614 % |
184.93/185.00	c |      2081 |    4072    31353    63712 |    18514     2081     73 | 65.614 % |
185.74/185.83	c |      3221 |    4072    31353    63712 |    20366     3221     68 | 65.614 % |
186.83/186.92	c |      4930 |    4072    31353    63712 |    22402     4930     69 | 65.614 % |
188.53/188.64	c |      7502 |    4072    31353    63712 |    24642     7502     85 | 65.614 % |
191.92/192.02	c |     11348 |    4072    31353    63712 |    27107    11348     97 | 65.614 % |
198.33/198.46	c |     17116 |    4072    31353    63712 |    29817    17116    115 | 65.614 % |
210.12/210.24	c |     25766 |    4072    31353    63712 |    32799    25766    114 | 65.614 % |
214.43/214.54	c ===============================================================================
215.12/215.23	c core #23
215.12/215.23	c ============================[ Search Statistics ]==============================
215.12/215.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.12/215.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.12/215.23	c ===============================================================================
215.12/215.23	c |         0 |    5270    31855    67136 |    10618        0    nan |  0.000 % |
215.12/215.28	c |       102 |    5270    31855    67136 |    11680      102     83 | 59.539 % |
215.22/215.34	c |       253 |    5270    31855    67136 |    12848      253     60 | 59.539 % |
215.33/215.47	c |       479 |    5270    31855    67136 |    14133      479     73 | 59.539 % |
215.73/215.85	c |       816 |    5270    31855    67136 |    15546      816    134 | 59.539 % |
216.12/216.25	c |      1322 |    5270    31855    67136 |    17100     1322    133 | 59.539 % |
216.72/216.81	c |      2082 |    5270    31855    67136 |    18811     2082    166 | 59.539 % |
217.42/217.58	c |      3223 |    5270    31855    67136 |    20692     3223    138 | 59.539 % |
218.73/218.83	c |      4932 |    5270    31855    67136 |    22761     4932    120 | 59.539 % |
220.82/220.94	c |      7496 |    5270    31855    67136 |    25037     7496    128 | 59.539 % |
225.02/225.14	c |     11346 |    5270    31855    67136 |    27541    11346    144 | 59.539 % |
233.12/233.26	c |     17114 |    5270    31855    67136 |    30295    17114    158 | 59.539 % |
246.22/246.37	c |     25765 |    5270    31855    67136 |    33324    25765    156 | 59.539 % |
269.61/269.75	c |     38740 |    5270    31855    67136 |    36657    38740    149 | 59.539 % |
301.20/301.33	c |     58203 |    5270    31855    67136 |    40323    27737    235 | 59.539 % |
356.98/357.17	c |     87396 |    5270    31855    67136 |    44355    23681    206 | 59.539 % |
434.16/434.37	c |    131185 |    5270    31855    67136 |    48790    27994    209 | 59.539 % |
532.33/532.52	c |    196871 |    5270    31855    67136 |    53670    52094    197 | 59.539 % |
687.95/688.22	c |    295397 |    5270    31855    67136 |    59037    57670    167 | 59.539 % |
921.99/922.30	c |    443187 |    5270    31855    67136 |    64940    48098    176 | 59.539 % |
1379.75/1380.22	c |    664870 |    5270    31855    67136 |    71434    48398    179 | 59.539 % |

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-2655773-1276631439/watcher-2655773-1276631439 -o /tmp/evaluation-result-2655773-1276631439/solver-2655773-1276631439 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655773-1276631439.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.98 0.99 3/105 14029
/proc/meminfo: memFree=1873436/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=4300 CPUtime=0
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 464 0 0 0 0 0 0 0 20 0 1 0 4435324 4403200 383 1992294400 134512640 135751879 4291886816 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 1075 383 140 303 0 556 0

[startup+0.015659 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 14029
/proc/meminfo: memFree=1873436/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=4620 CPUtime=0.01
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 534 0 0 0 1 0 0 0 20 0 1 0 4435324 4730880 453 1992294400 134512640 135751879 4291886816 18446744073709551615 135225266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 1155 453 153 303 0 636 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4620

[startup+0.101671 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 14029
/proc/meminfo: memFree=1873436/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=6160 CPUtime=0.09
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 1034 0 0 0 9 0 0 0 20 0 1 0 4435324 6307840 953 1992294400 134512640 135751879 4291886816 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 1540 953 289 303 0 1021 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6160

[startup+0.301695 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 14029
/proc/meminfo: memFree=1873436/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=8724 CPUtime=0.29
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 1971 0 0 0 28 1 0 0 20 0 1 0 4435324 8933376 1676 1992294400 134512640 135751879 4291886816 18446744073709551615 134620836 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2181 1676 146 303 0 1876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8724

[startup+0.701744 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 14029
/proc/meminfo: memFree=1873436/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=8724 CPUtime=0.69
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 1972 0 0 0 67 2 0 0 20 0 1 0 4435324 8933376 1677 1992294400 134512640 135751879 4291886816 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2181 1677 147 303 0 1876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8724

[startup+1.50184 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14030
/proc/meminfo: memFree=1866980/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=8724 CPUtime=1.49
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 1972 0 0 0 144 5 0 0 22 0 1 0 4435324 8933376 1677 1992294400 134512640 135751879 4291886816 18446744073709551615 134610803 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2181 1677 147 303 0 1876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8724

[startup+3.10105 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14030
/proc/meminfo: memFree=1866856/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=8724 CPUtime=3.09
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 1972 0 0 0 302 7 0 0 25 0 1 0 4435324 8933376 1677 1992294400 134512640 135751879 4291886816 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2181 1677 147 303 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8724

[startup+6.30145 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14030
/proc/meminfo: memFree=1866732/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=8980 CPUtime=6.29
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 2020 0 0 0 621 8 0 0 25 0 1 0 4435324 9195520 1725 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2245 1725 147 303 0 1940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8980

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14030
/proc/meminfo: memFree=1864376/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=11544 CPUtime=12.68
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 2674 0 0 0 1256 12 0 0 25 0 1 0 4435324 11821056 2379 1992294400 134512640 135751879 4291886816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 2886 2379 147 303 0 2581 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11544

[startup+25.5008 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14030
/proc/meminfo: memFree=1857308/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=18416 CPUtime=25.48
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 4382 0 0 0 2527 21 0 0 25 0 1 0 4435324 18857984 4087 1992294400 134512640 135751879 4291886816 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 4604 4087 147 303 0 4299 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18416

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1846644/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=29220 CPUtime=51.08
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 7069 0 0 0 5069 39 0 0 25 0 1 0 4435324 29921280 6774 1992294400 134512640 135751879 4291886816 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 7305 6774 148 303 0 7000 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29220

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1823952/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=51176 CPUtime=102.26
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 12582 0 0 0 10153 73 0 0 25 0 1 0 4435324 52404224 12287 1992294400 134512640 135751879 4291886816 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 12794 12287 148 303 0 12489 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51176

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14034
/proc/meminfo: memFree=1799400/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=75940 CPUtime=162.24
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 18740 0 0 0 16114 110 0 0 25 0 1 0 4435324 77762560 18445 1992294400 134512640 135751879 4291886816 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 18985 18445 148 303 0 18680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75940

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14036
/proc/meminfo: memFree=1784520/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=90296 CPUtime=222.22
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 22826 0 0 0 22081 141 0 0 25 0 1 0 4435324 92463104 22113 1992294400 134512640 135751879 4291886816 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 22574 22113 151 303 0 22269 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 90296

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14038
/proc/meminfo: memFree=1763192/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=112612 CPUtime=282.2
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 28396 0 0 0 28055 165 0 0 25 0 1 0 4435324 115314688 27683 1992294400 134512640 135751879 4291886816 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 28153 27683 151 303 0 27848 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 112612

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14038
/proc/meminfo: memFree=1726240/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=148564 CPUtime=342.18
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 37381 0 0 0 34030 188 0 0 25 0 1 0 4435324 152129536 36668 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 37141 36668 151 303 0 36836 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 148564

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14040
/proc/meminfo: memFree=1693256/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=181860 CPUtime=402.16
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 45688 0 0 0 40003 213 0 0 25 0 1 0 4435324 186224640 44975 1992294400 134512640 135751879 4291886816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 45465 44975 151 303 0 45160 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 181860

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14042
/proc/meminfo: memFree=1654444/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=220156 CPUtime=462.14
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 55274 0 0 0 45975 239 0 0 25 0 1 0 4435324 225439744 54561 1992294400 134512640 135751879 4291886816 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 55039 54561 151 303 0 54734 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 220156

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14044
/proc/meminfo: memFree=1614144/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=260896 CPUtime=522.12
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 65465 0 0 0 51944 268 0 0 25 0 1 0 4435324 267157504 64752 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 65224 64752 151 303 0 64919 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 260896

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14046
/proc/meminfo: memFree=1581036/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=293564 CPUtime=582.1
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 73577 0 0 0 57915 295 0 0 25 0 1 0 4435324 300609536 72864 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 73391 72864 151 303 0 73086 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 293564

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14057
/proc/meminfo: memFree=1549416/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=324860 CPUtime=642.08
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 81395 0 0 0 63889 319 0 0 25 0 1 0 4435324 332656640 80682 1992294400 134512640 135751879 4291886816 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 81215 80682 151 303 0 80910 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 324860

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14061
/proc/meminfo: memFree=1450712/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=423664 CPUtime=822.01
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 106041 0 0 0 81808 393 0 0 25 0 1 0 4435324 433831936 105328 1992294400 134512640 135751879 4291886816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 105916 105328 151 303 0 105611 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 423664

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14063
/proc/meminfo: memFree=1416736/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=457436 CPUtime=882
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 114475 0 0 0 87781 419 0 0 25 0 1 0 4435324 468414464 113762 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 114359 113762 151 303 0 114054 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 457436

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14063
/proc/meminfo: memFree=1385736/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=488516 CPUtime=941.98
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 122263 0 0 0 93755 443 0 0 25 0 1 0 4435324 500240384 121550 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 122129 121550 151 303 0 121824 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 488516

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14065
/proc/meminfo: memFree=1357588/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=516524 CPUtime=1001.96
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 129238 0 0 0 99729 467 0 0 25 0 1 0 4435324 528920576 128525 1992294400 134512640 135751879 4291886816 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 129131 128525 151 303 0 128826 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 516524

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14067
/proc/meminfo: memFree=1327828/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=546540 CPUtime=1061.95
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 136751 0 0 0 105704 491 0 0 25 0 1 0 4435324 559656960 136038 1992294400 134512640 135751879 4291886816 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 136635 136038 151 303 0 136330 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 546540

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14069
/proc/meminfo: memFree=1302532/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=571504 CPUtime=1121.93
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 142972 0 0 0 111684 509 0 0 25 0 1 0 4435324 585220096 142259 1992294400 134512640 135751879 4291886816 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 142876 142259 151 303 0 142571 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 571504

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14071
/proc/meminfo: memFree=1273144/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=601224 CPUtime=1181.91
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 150389 0 0 0 117661 530 0 0 25 0 1 0 4435324 615653376 149676 1992294400 134512640 135751879 4291886816 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 150306 149676 151 303 0 150001 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 601224

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14071
/proc/meminfo: memFree=1244128/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=629744 CPUtime=1241.89
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 157527 0 0 0 123638 551 0 0 25 0 1 0 4435324 644857856 156814 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 157436 156814 151 303 0 157131 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 629744

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14073
/proc/meminfo: memFree=1216600/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=656724 CPUtime=1301.87
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 164267 0 0 0 129614 573 0 0 25 0 1 0 4435324 672485376 163554 1992294400 134512640 135751879 4291886816 18446744073709551615 134610830 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 164181 163554 151 303 0 163876 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 656724

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14075
/proc/meminfo: memFree=1186716/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=687104 CPUtime=1361.85
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 171847 0 0 0 135589 596 0 0 25 0 1 0 4435324 703594496 171134 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 171776 171134 151 303 0 171471 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 687104

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14077
/proc/meminfo: memFree=1156584/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=716860 CPUtime=1421.85
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 179263 0 0 0 141565 620 0 0 25 0 1 0 4435324 734064640 178550 1992294400 134512640 135751879 4291886816 18446744073709551615 134610803 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 179215 178550 151 303 0 178910 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 716860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14079
/proc/meminfo: memFree=1119756/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=753840 CPUtime=1481.81
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 188538 0 0 0 147532 649 0 0 25 0 1 0 4435324 771932160 187825 1992294400 134512640 135751879 4291886816 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 188460 187825 151 303 0 188155 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 753840

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14079
/proc/meminfo: memFree=1092352/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=780976 CPUtime=1541.8
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 195301 0 0 0 153511 669 0 0 25 0 1 0 4435324 799719424 194588 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 195244 194588 151 303 0 194939 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 780976

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14081
/proc/meminfo: memFree=1057384/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=816104 CPUtime=1601.77
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 204085 0 0 0 159484 693 0 0 25 0 1 0 4435324 835690496 203372 1992294400 134512640 135751879 4291886816 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 204026 203372 151 303 0 203721 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 816104

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14083
/proc/meminfo: memFree=1022912/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=850216 CPUtime=1661.75
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 212584 0 0 0 165456 719 0 0 25 0 1 0 4435324 870621184 211871 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 212554 211871 151 303 0 212249 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 850216

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14085
/proc/meminfo: memFree=994516/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=878972 CPUtime=1721.74
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 219765 0 0 0 171432 742 0 0 25 0 1 0 4435324 900067328 219052 1992294400 134512640 135751879 4291886816 18446744073709551615 134616418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 219743 219052 151 303 0 219438 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 878972

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14087
/proc/meminfo: memFree=961904/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=910964 CPUtime=1781.71
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 227777 0 0 0 177409 762 0 0 25 0 1 0 4435324 932827136 227064 1992294400 134512640 135751879 4291886816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 227741 227064 151 303 0 227436 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 910964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14087
/proc/meminfo: memFree=952728/2059040 swapFree=4140536/4192956
[pid=14029] ppid=14027 vsize=920044 CPUtime=1800.03
/proc/14029/stat : 14029 (wbo1.4b) R 14027 14029 13072 0 -1 4202496 230028 0 0 0 179233 770 0 0 25 0 1 0 4435324 942125056 229315 1992294400 134512640 135751879 4291886816 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14029/statm: 230011 229315 151 303 0 229706 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 920044

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.12
CPU user time (s): 1792.33
CPU system time (s): 7.79181
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 920044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.33
system time used= 7.79181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3015

runsolver used 2.85956 second user time and 8.62369 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-15 21:50:39
IDJOB=2655773
IDBENCH=24978
IDSOLVER=1161
FILE ID=node054/2655773-1276631439
PBS_JOBID= 11172332
Free space on /tmp= 62480 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655773-1276631439/watcher-2655773-1276631439 -o /tmp/evaluation-result-2655773-1276631439/solver-2655773-1276631439 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655773-1276631439.opb

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=707790950

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1873964 kB
Buffers:         19188 kB
Cached:          87512 kB
SwapCached:       6676 kB
Active:          73744 kB
Inactive:        46668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1873964 kB
SwapTotal:     4192956 kB
SwapFree:      4140536 kB
Dirty:            3464 kB
Writeback:           0 kB
AnonPages:       11108 kB
Mapped:          12900 kB
Slab:            43144 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-15 22:20:42