Trace number 2656126

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) 1308.7 1309.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUMdf1c0055bf82833faa95d352e28c6731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark2.80357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
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 constraint2
Maximum length of a constraint80
Number of terms in the objective function 4676
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 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656126-1276411933.opb.
0.00/0.00	c Instance file HOME/instance-2656126-1276411933.opb
0.00/0.00	c File size is 127509 bytes.
0.00/0.02	c Highest Coefficient sum: 81
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      4676                                                |
0.00/0.02	c |  Number Clauses:        398                                                 |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.02/0.02	c ============================[ Search Statistics ]==============================
0.02/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.02	c ===============================================================================
0.02/0.02	c |         0 |    4676      398     9563 |     5000        0    nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 173
0.02/0.03	o 173
0.02/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |    4676      399    14239 |     5000        0    nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: 172
0.02/0.04	o 172
0.02/0.04	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |    4676      400    18915 |     5000        0    nan |  0.000 % |
0.02/0.09	c |       100 |    4676      400    18915 |     5500      100    216 |  0.000 % |
0.09/0.19	c |       253 |    4676      400    18915 |     6050      253    206 |  0.000 % |
0.29/0.32	c |       478 |    4676      400    18915 |     6655      478    210 |  0.000 % |
0.39/0.46	c |       815 |    4676      400    18915 |     7320      815    210 |  0.000 % |
0.59/0.67	c |      1321 |    4676      400    18915 |     8052     1321    218 |  0.000 % |
1.00/1.03	c |      2081 |    4676      400    18915 |     8857     2081    219 |  0.000 % |
1.39/1.49	c |      3220 |    4676      400    18915 |     9743     3220    217 |  0.000 % |
2.39/2.43	c |      4929 |    4676      400    18915 |    10717     4929    221 |  0.000 % |
3.89/3.98	c |      7494 |    4676      400    18915 |    11789     7494    220 |  0.000 % |
6.29/6.31	c |     11338 |    4676      400    18915 |    12968    11338    218 |  0.000 % |
10.59/10.65	c |     17104 |    4676      400    18915 |    14265     9026    217 |  0.000 % |
16.98/17.00	c |     25755 |    4676      400    18915 |    15692     8939    216 |  0.000 % |
22.79/22.83	c |     38730 |    4676      400    18915 |    17261    11928    224 |  0.000 % |
34.18/34.23	c |     58191 |    4676      400    18915 |    18987    20473    215 |  0.000 % |
51.28/51.35	c |     87384 |    4676      400    18915 |    20886    14857    220 |  0.000 % |
76.77/76.82	c |    131173 |    4676      400    18915 |    22974    15445    226 |  0.000 % |
123.07/123.18	c |    196857 |    4676      400    18915 |    25272    15991    218 |  0.000 % |
178.55/178.60	c |    295384 |    4676      400    18915 |    27799    21409    225 |  0.000 % |
181.14/181.24	c There are 0 assigned variables. 0 in cost function.
183.04/183.18	c core #1
183.04/183.18	c core #2
183.04/183.18	c core #3
183.04/183.18	c core #4
183.04/183.18	c core #5
183.04/183.18	c core #6
183.04/183.18	c core #7
183.04/183.18	c core #8
183.04/183.18	c core #9
183.04/183.18	c core #10
183.04/183.18	c core #11
183.04/183.18	c core #12
183.04/183.18	c core #13
183.04/183.18	c core #14
183.04/183.18	c core #15
183.04/183.18	c core #16
183.04/183.18	c core #17
183.04/183.18	c core #18
183.04/183.18	c core #19
183.04/183.18	c core #20
183.04/183.18	c core #21
183.04/183.18	c core #22
183.04/183.18	c core #23
183.04/183.18	c core #24
183.04/183.18	c core #25
183.04/183.18	c core #26
183.04/183.18	c core #27
183.04/183.18	c core #28
183.04/183.18	c core #29
183.04/183.18	c core #30
183.04/183.18	c core #31
183.04/183.18	c core #32
183.04/183.18	c core #33
183.04/183.18	c core #34
183.04/183.18	c core #35
183.04/183.18	c core #36
183.04/183.18	c core #37
183.04/183.18	c core #38
183.04/183.18	c core #39
183.04/183.18	c core #40
183.04/183.18	c core #41
183.04/183.18	c core #42
183.04/183.18	c core #43
183.04/183.18	c core #44
183.04/183.18	c core #45
183.04/183.18	c core #46
183.04/183.18	c core #47
183.04/183.18	c core #48
183.04/183.18	c core #49
183.04/183.18	c core #50
183.04/183.18	c core #51
183.04/183.18	c core #52
183.04/183.18	c core #53
183.04/183.18	c core #54
183.04/183.18	c core #55
183.04/183.18	c core #56
183.04/183.18	c core #57
183.04/183.18	c core #58
183.04/183.18	c core #59
183.04/183.18	c core #60
183.04/183.18	c core #61
183.04/183.18	c core #62
183.04/183.18	c core #63
183.04/183.18	c core #64
183.04/183.18	c core #65
183.04/183.18	c core #66
183.04/183.18	c core #67
183.04/183.18	c core #68
183.04/183.18	c core #69
183.04/183.18	c core #70
183.04/183.18	c core #71
183.04/183.18	c core #72
183.04/183.18	c core #73
183.04/183.18	c core #74
183.04/183.18	c core #75
183.04/183.18	c core #76
183.04/183.18	c core #77
183.04/183.18	c core #78
183.04/183.18	c core #79
183.04/183.18	c core #80
183.04/183.18	c core #81
183.04/183.18	c core #82
183.04/183.18	c core #83
183.04/183.18	c core #84
183.04/183.18	c core #85
183.04/183.18	c core #86
183.04/183.18	c core #87
183.04/183.18	c core #88
183.04/183.18	c core #89
183.04/183.18	c core #90
183.04/183.18	c core #91
183.04/183.18	c core #92
183.04/183.18	c core #93
183.04/183.18	c core #94
183.04/183.18	c core #95
183.04/183.18	c core #96
183.04/183.18	c core #97
183.04/183.18	c core #98
183.04/183.18	c core #99
183.04/183.18	c core #100
183.04/183.18	c core #101
183.04/183.18	c core #102
183.04/183.18	c core #103
183.04/183.18	c core #104
183.04/183.18	c ============================[ Search Statistics ]==============================
183.04/183.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.18	c ===============================================================================
183.04/183.18	c |         0 |    3247     5181    28932 |     5000        0    nan |  0.000 % |
183.04/183.19	c ===============================================================================
183.14/183.21	c core #105
183.14/183.21	c ============================[ Search Statistics ]==============================
183.14/183.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.21	c ===============================================================================
183.14/183.21	c |         0 |    3461     5182    29139 |     5000        0    nan |  0.000 % |
183.14/183.21	c ===============================================================================
183.14/183.23	c core #106
183.14/183.23	c ============================[ Search Statistics ]==============================
183.14/183.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.23	c ===============================================================================
183.14/183.23	c |         0 |    3627     5183    29329 |     5000        0    nan |  0.000 % |
183.14/183.25	c |       100 |    3623     5183    29329 |     5500      100     15 | 45.445 % |
183.14/183.25	c ===============================================================================
183.14/183.28	c core #107
183.14/183.28	c ============================[ Search Statistics ]==============================
183.14/183.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.28	c ===============================================================================
183.14/183.28	c |         0 |    4265     5184    30248 |     5000        0    nan |  0.000 % |
183.25/183.31	c |       101 |    4257     5184    30248 |     5500      101     12 | 39.637 % |
183.25/183.34	c |       257 |    4222     5184    30248 |     6050      178     19 | 42.578 % |
183.25/183.34	c ===============================================================================
183.25/183.37	c core #108
183.25/183.37	c ============================[ Search Statistics ]==============================
183.25/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.25/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.25/183.37	c ===============================================================================
183.25/183.37	c |         0 |    4573     5185    30786 |     5000        0    nan |  0.000 % |
183.25/183.38	c |       100 |    4573     5185    30786 |     5500      100     33 | 36.802 % |
183.34/183.41	c |       250 |    4566     5185    30786 |     6050      250     41 | 36.899 % |
183.34/183.46	c |       475 |    4553     5185    30786 |     6655      468     44 | 37.078 % |
183.44/183.55	c |       812 |    4538     5185    30786 |     7320      762     49 | 37.341 % |
183.56/183.69	c |      1318 |    4523     5185    30786 |     8052     1246     99 | 37.493 % |
183.65/183.76	c ===============================================================================
183.65/183.79	c core #109
183.65/183.79	c ============================[ Search Statistics ]==============================
183.65/183.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.79	c ===============================================================================
183.65/183.79	c |         0 |    5044     5186    31654 |     5000        0    nan |  0.000 % |
183.75/183.82	c |       102 |    5044     5186    31654 |     5500      102     69 | 33.919 % |
183.75/183.85	c |       254 |    5042     5186    31654 |     6050      253     78 | 33.945 % |
183.75/183.89	c |       479 |    5042     5186    31654 |     6655      478     73 | 33.945 % |
183.94/184.01	c |       816 |    5040     5186    31654 |     7320      814     76 | 33.971 % |
184.05/184.14	c |      1322 |    5038     5186    31654 |     8052     1318    114 | 33.997 % |
184.55/184.65	c |      2081 |    5038     5186    31654 |     8857     2077    171 | 33.997 % |
184.84/184.96	c |      3222 |    5038     5186    31654 |     9743     3218    158 | 33.997 % |
185.86/185.98	c |      4930 |    5036     5186    31654 |    10717     4925    187 | 34.023 % |
186.85/186.97	c |      7494 |    5031     5186    31654 |    11789     7489    190 | 35.124 % |
187.04/187.17	c ===============================================================================
187.14/187.21	c core #110
187.14/187.21	c ============================[ Search Statistics ]==============================
187.14/187.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.14/187.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.14/187.21	c ===============================================================================
187.14/187.21	c |         0 |    5165     5187    31826 |     5000        0    nan |  0.000 % |
187.14/187.26	c |       100 |    5165     5187    31826 |     5500      100     77 | 32.931 % |
187.14/187.29	c |       252 |    5165     5187    31826 |     6050      252     55 | 32.931 % |
187.25/187.35	c |       478 |    5165     5187    31826 |     6655      478     66 | 32.931 % |
187.34/187.48	c |       815 |    5163     5187    31826 |     7320      814     82 | 32.957 % |
187.54/187.64	c |      1324 |    5161     5187    31826 |     8052     1322    147 | 33.009 % |
187.84/187.92	c |      2088 |    5160     5187    31826 |     8857     2086    171 | 33.009 % |
188.35/188.44	c |      3228 |    5159     5187    31826 |     9743     3225    213 | 33.009 % |
189.24/189.36	c |      4936 |    5159     5187    31826 |    10717     4933    258 | 33.009 % |
190.74/190.87	c |      7502 |    5159     5187    31826 |    11789     7499    305 | 33.009 % |
193.14/193.28	c |     11346 |    5159     5187    31826 |    12968    11343    314 | 33.009 % |
197.44/197.59	c |     17112 |    5159     5187    31826 |    14265     9172    329 | 33.009 % |
204.14/204.23	c |     25761 |    5159     5187    31826 |    15692     9064    352 | 33.009 % |
206.04/206.18	c ===============================================================================
206.44/206.58	c core #111
206.44/206.58	c ============================[ Search Statistics ]==============================
206.44/206.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.44/206.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.44/206.58	c ===============================================================================
206.44/206.58	c |         0 |    6471     5188    34020 |     5000        0    nan |  0.000 % |
206.54/206.60	c |       105 |    6471     5188    34020 |     5500      105     67 | 24.965 % |
206.54/206.62	c |       258 |    6471     5188    34020 |     6050      258     44 | 24.965 % |
206.54/206.68	c |       486 |    6471     5188    34020 |     6655      486    110 | 24.965 % |
206.64/206.73	c |       824 |    6471     5188    34020 |     7320      824    100 | 24.965 % |
206.75/206.86	c |      1330 |    6471     5188    34020 |     8052     1330    146 | 24.965 % |
206.94/207.02	c |      2092 |    6467     5188    34020 |     8857     2091    132 | 25.012 % |
207.63/207.71	c |      3231 |    6466     5188    34020 |     9743     3230    236 | 25.035 % |
208.74/208.87	c |      4940 |    6465     5188    34020 |    10717     4937    350 | 25.035 % |
210.54/210.69	c |      7502 |    6464     5188    34020 |    11789     7499    362 | 25.058 % |
213.04/213.18	c |     11346 |    6461     5188    34020 |    12968    11342    345 | 25.081 % |
218.43/218.59	c |     17112 |    6461     5188    34020 |    14265     9339    388 | 25.081 % |
225.23/225.36	c |     25761 |    6461     5188    34020 |    15692     9579    382 | 25.081 % |
242.53/242.67	c |     38735 |    6461     5188    34020 |    17261    13534    439 | 25.081 % |
274.73/274.86	c |     58202 |    6458     5188    34020 |    18987    12764    430 | 25.151 % |
310.03/310.14	c ===============================================================================
310.12/310.26	c core #112
310.12/310.26	c ============================[ Search Statistics ]==============================
310.12/310.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
310.12/310.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
310.12/310.26	c ===============================================================================
310.12/310.26	c |         0 |    6513     5189    34088 |     5000        0    nan |  0.000 % |
310.21/310.31	c |       100 |    6513     5189    34088 |     5500      100    108 | 24.705 % |
310.21/310.34	c |       250 |    6513     5189    34088 |     6050      250     76 | 24.705 % |
310.32/310.40	c |       477 |    6513     5189    34088 |     6655      477     98 | 24.705 % |
310.42/310.56	c |       814 |    6513     5189    34088 |     7320      814     98 | 24.705 % |
310.61/310.73	c |      1325 |    6513     5189    34088 |     8052     1325    172 | 24.705 % |
311.02/311.19	c |      2084 |    6513     5189    34088 |     8857     2084    289 | 24.705 % |
311.82/311.97	c |      3223 |    6513     5189    34088 |     9743     3223    369 | 24.705 % |
313.01/313.18	c |      4933 |    6513     5189    34088 |    10717     4933    339 | 24.705 % |
315.01/315.11	c |      7495 |    6513     5189    34088 |    11789     7495    378 | 24.705 % |
318.51/318.60	c |     11339 |    6513     5189    34088 |    12968    11339    422 | 24.705 % |
323.22/323.38	c |     17105 |    6513     5189    34088 |    14265     8767    501 | 24.705 % |
329.91/330.07	c |     25756 |    6511     5189    34088 |    15692     8850    409 | 24.728 % |
341.81/341.96	c |     38738 |    6511     5189    34088 |    17261    12721    417 | 24.728 % |
359.40/359.59	c |     58199 |    6511     5189    34088 |    18987    12461    496 | 24.728 % |
391.59/391.74	c |     87391 |    6509     5189    34088 |    20886    19517    348 | 24.751 % |
429.58/429.70	c |    131180 |    6504     5189    34088 |    22974    16463    316 | 24.821 % |
502.16/502.31	c |    196865 |    6501     5189    34088 |    25272    14838    208 | 24.844 % |
588.03/588.22	c |    295392 |    6501     5189    34088 |    27799    20742    361 | 24.844 % |
756.09/756.37	c |    443181 |    6493     5189    34088 |    30579    14224    243 | 24.936 % |
1107.80/1108.10	c |    664865 |    6491     5189    34088 |    33637    26376    507 | 24.960 % |

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-2656126-1276411933/watcher-2656126-1276411933 -o /tmp/evaluation-result-2656126-1276411933/solver-2656126-1276411933 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656126-1276411933.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.28 2.63 2.16 3/106 23018
/proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=3572 CPUtime=0
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 1 0 16794663 3657728 382 1992294400 134512640 135751879 4292436304 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 893 382 140 303 0 556 0

[startup+0.026696 s]
/proc/loadavg: 2.28 2.63 2.16 3/106 23018
/proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=4008 CPUtime=0.02
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 661 0 0 0 2 0 0 0 20 0 1 0 16794663 4104192 548 1992294400 134512640 135751879 4292436304 18446744073709551615 135010149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 1002 548 143 303 0 697 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4008

[startup+0.100703 s]
/proc/loadavg: 2.28 2.63 2.16 3/106 23018
/proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=4148 CPUtime=0.09
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 684 0 0 0 8 1 0 0 20 0 1 0 16794663 4247552 571 1992294400 134512640 135751879 4292436304 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 1037 571 147 303 0 732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.300721 s]
/proc/loadavg: 2.28 2.63 2.16 3/106 23018
/proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=4148 CPUtime=0.29
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 712 0 0 0 27 2 0 0 20 0 1 0 16794663 4247552 599 1992294400 134512640 135751879 4292436304 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 1037 599 147 303 0 732 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4148

[startup+0.700759 s]
/proc/loadavg: 2.28 2.63 2.16 3/106 23018
/proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=5180 CPUtime=0.69
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 946 0 0 0 66 3 0 0 20 0 1 0 16794663 5304320 833 1992294400 134512640 135751879 4292436304 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 1295 833 147 303 0 990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5180

[startup+1.50084 s]
/proc/loadavg: 2.28 2.63 2.16 2/107 23019
/proc/meminfo: memFree=1832128/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=6992 CPUtime=1.49
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 1399 0 0 0 145 4 0 0 22 0 1 0 16794663 7159808 1286 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 1748 1286 147 303 0 1443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6992

[startup+3.10099 s]
/proc/loadavg: 2.28 2.63 2.16 2/107 23019
/proc/meminfo: memFree=1829772/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=9828 CPUtime=3.09
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 2127 0 0 0 303 6 0 0 25 0 1 0 16794663 10063872 2014 1992294400 134512640 135751879 4292436304 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 2457 2014 147 303 0 2152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9828

[startup+6.30129 s]
/proc/loadavg: 2.17 2.60 2.15 2/107 23021
/proc/meminfo: memFree=1824192/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=14984 CPUtime=6.29
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 3407 0 0 0 622 7 0 0 25 0 1 0 16794663 15343616 3294 1992294400 134512640 135751879 4292436304 18446744073709551615 134607697 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 3746 3294 147 303 0 3441 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14984

[startup+12.7009 s]
/proc/loadavg: 2.08 2.57 2.15 2/107 23021
/proc/meminfo: memFree=1815016/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=23516 CPUtime=12.69
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 5556 0 0 0 1256 13 0 0 25 0 1 0 16794663 24080384 5443 1992294400 134512640 135751879 4292436304 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 5879 5443 148 303 0 5574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23516

[startup+25.5011 s]
/proc/loadavg: 1.84 2.50 2.13 2/107 23021
/proc/meminfo: memFree=1790960/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=47152 CPUtime=25.49
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 11453 0 0 0 2527 22 0 0 25 0 1 0 16794663 48283648 11340 1992294400 134512640 135751879 4292436304 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 11788 11340 148 303 0 11483 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47152

[startup+51.1005 s]
/proc/loadavg: 1.55 2.37 2.10 2/107 23021
/proc/meminfo: memFree=1749668/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=88884 CPUtime=51.08
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 21882 0 0 0 5070 38 0 0 25 0 1 0 16794663 91017216 21769 1992294400 134512640 135751879 4292436304 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 22221 21769 148 303 0 21916 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88884

[startup+102.308 s]
/proc/loadavg: 1.24 2.16 2.04 2/107 23023
/proc/meminfo: memFree=1667208/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=170392 CPUtime=102.27
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 42215 0 0 0 10159 68 0 0 25 0 1 0 16794663 174481408 42102 1992294400 134512640 135751879 4292436304 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 42598 42102 148 303 0 42293 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 170392

[startup+162.301 s]
/proc/loadavg: 1.09 1.95 1.97 2/107 23025
/proc/meminfo: memFree=1568256/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=270384 CPUtime=162.25
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 67212 0 0 0 16120 105 0 0 25 0 1 0 16794663 276873216 67099 1992294400 134512640 135751879 4292436304 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 67596 67099 148 303 0 67291 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 270384

[startup+222.301 s]
/proc/loadavg: 1.03 1.77 1.91 2/107 23025
/proc/meminfo: memFree=1502784/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=334120 CPUtime=222.23
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 83326 0 0 0 22037 186 0 0 25 0 1 0 16794663 342138880 83099 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 83530 83099 151 303 0 83225 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 334120

[startup+282.3 s]
/proc/loadavg: 1.01 1.63 1.85 2/107 23027
/proc/meminfo: memFree=1424788/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=412464 CPUtime=282.22
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 102910 0 0 0 27994 228 0 0 25 0 1 0 16794663 422363136 102683 1992294400 134512640 135751879 4292436304 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 103116 102683 151 303 0 102811 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 412464

[startup+342.301 s]
/proc/loadavg: 1.00 1.51 1.79 2/107 23029
/proc/meminfo: memFree=1344064/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=492588 CPUtime=342.2
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 122981 0 0 0 33917 303 0 0 25 0 1 0 16794663 504410112 122703 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 123147 122703 151 303 0 122842 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 492588

[startup+402.301 s]
/proc/loadavg: 1.00 1.42 1.74 2/107 23031
/proc/meminfo: memFree=1231720/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=605684 CPUtime=402.19
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 151253 0 0 0 39850 369 0 0 25 0 1 0 16794663 620220416 150975 1992294400 134512640 135751879 4292436304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 151421 150975 151 303 0 151116 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 605684

[startup+462.301 s]
/proc/loadavg: 1.00 1.34 1.69 2/107 23033
/proc/meminfo: memFree=1137356/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=699072 CPUtime=462.17
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 174603 0 0 0 45790 427 0 0 25 0 1 0 16794663 715849728 174325 1992294400 134512640 135751879 4292436304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 174768 174325 151 303 0 174463 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 699072

[startup+522.301 s]
/proc/loadavg: 1.00 1.27 1.64 2/107 23033
/proc/meminfo: memFree=1050432/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=786080 CPUtime=522.17
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 196349 0 0 0 51726 491 0 0 25 0 1 0 16794663 804945920 196071 1992294400 134512640 135751879 4292436304 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 196520 196071 151 303 0 196215 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 786080

[startup+582.301 s]
/proc/loadavg: 1.00 1.22 1.60 2/107 23044
/proc/meminfo: memFree=965492/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=870772 CPUtime=582.13
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 217496 0 0 0 57667 546 0 0 25 0 1 0 16794663 891670528 217218 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 217693 217218 151 303 0 217388 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 870772

[startup+642.301 s]
/proc/loadavg: 1.00 1.18 1.56 2/107 23046
/proc/meminfo: memFree=874104/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=960992 CPUtime=642.12
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 240068 0 0 0 63602 610 0 0 25 0 1 0 16794663 984055808 239790 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 240248 239790 151 303 0 239943 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 960992

[startup+702.301 s]
/proc/loadavg: 1.00 1.14 1.52 2/107 23048
/proc/meminfo: memFree=799704/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1036056 CPUtime=702.1
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 258823 0 0 0 69558 652 0 0 25 0 1 0 16794663 1060921344 258545 1992294400 134512640 135751879 4292436304 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 259014 258545 151 303 0 258709 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1036056

[startup+762.308 s]
/proc/loadavg: 1.00 1.11 1.49 2/107 23050
/proc/meminfo: memFree=716996/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1118080 CPUtime=762.1
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 279297 0 0 0 75511 699 0 0 25 0 1 0 16794663 1144913920 279019 1992294400 134512640 135751879 4292436304 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 279520 279019 151 303 0 279215 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1118080

[startup+822.301 s]
/proc/loadavg: 1.08 1.11 1.46 2/107 23050
/proc/meminfo: memFree=631560/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1203928 CPUtime=822.07
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 300771 0 0 0 81454 753 0 0 25 0 1 0 16794663 1232822272 300493 1992294400 134512640 135751879 4292436304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 300982 300493 151 303 0 300677 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1203928

[startup+882.301 s]
/proc/loadavg: 1.03 1.08 1.43 2/107 23052
/proc/meminfo: memFree=546992/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1287708 CPUtime=882.06
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 321704 0 0 0 87417 789 0 0 25 0 1 0 16794663 1318612992 321426 1992294400 134512640 135751879 4292436304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 321927 321426 151 303 0 321622 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1287708

[startup+942.301 s]
/proc/loadavg: 1.01 1.07 1.40 2/107 23054
/proc/meminfo: memFree=473584/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1361876 CPUtime=942.05
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 340244 0 0 0 93377 828 0 0 25 0 1 0 16794663 1394561024 339966 1992294400 134512640 135751879 4292436304 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 340469 339966 151 303 0 340164 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1361876

[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/107 23056
/proc/meminfo: memFree=393356/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1441484 CPUtime=1002.03
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 360135 0 0 0 99336 867 0 0 25 0 1 0 16794663 1476079616 359857 1992294400 134512640 135751879 4292436304 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 360371 359857 151 303 0 360066 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1441484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/107 23058
/proc/meminfo: memFree=311640/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1523104 CPUtime=1062.01
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 380551 0 0 0 105303 898 0 0 25 0 1 0 16794663 1559658496 380273 1992294400 134512640 135751879 4292436304 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 380776 380273 151 303 0 380471 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1523104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/107 23058
/proc/meminfo: memFree=251748/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1582556 CPUtime=1122
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 395403 0 0 0 111270 930 0 0 25 0 1 0 16794663 1620537344 395125 1992294400 134512640 135751879 4292436304 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 395639 395126 151 303 0 395334 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1582556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/107 23060
/proc/meminfo: memFree=165568/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1669992 CPUtime=1181.98
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 417245 0 0 0 117229 969 0 0 25 0 1 0 16794663 1710071808 416967 1992294400 134512640 135751879 4292436304 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 417498 416967 151 303 0 417193 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1669992

[startup+1242.3 s]
/proc/loadavg: 1.04 1.03 1.28 2/107 23062
/proc/meminfo: memFree=80628/2059040 swapFree=4100916/4192956
[pid=23018] ppid=23016 vsize=1753652 CPUtime=1241.97
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 438151 0 0 0 123186 1011 0 0 25 0 1 0 16794663 1795739648 437873 1992294400 134512640 135751879 4292436304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 438413 437873 151 303 0 438108 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1753652

[startup+1302.3 s]
/proc/loadavg: 1.05 1.04 1.26 2/107 23064
/proc/meminfo: memFree=9424/2059040 swapFree=4109364/4192956
[pid=23018] ppid=23016 vsize=1832008 CPUtime=1301.93
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 457753 0 0 0 129142 1051 0 0 25 0 1 0 16794663 1875976192 457475 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 458002 457475 151 303 0 457697 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1832008



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1309.01 s]
/proc/loadavg: 1.12 1.05 1.27 2/107 23067
/proc/meminfo: memFree=44328/2059040 swapFree=4134900/4192956
[pid=23018] ppid=23016 vsize=1843360 CPUtime=1308.52
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 460569 0 0 0 129795 1057 0 0 25 0 1 0 16794663 1887600640 460291 1992294400 134512640 135751879 4292436304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23018/statm: 460840 460291 151 303 0 460535 0
Current children cumulated CPU time (s) 1308.52
Current children cumulated vsize (KiB) 1843360

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

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

[startup+1309.11 s]
/proc/loadavg: 1.12 1.05 1.27 2/107 23067
/proc/meminfo: memFree=44328/2059040 swapFree=4134900/4192956
[pid=23018] ppid=23016 vsize=0 CPUtime=1308.62
/proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4203524 460569 0 0 0 129795 1067 0 0 25 0 1 0 16794663 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/23018/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1308.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1309.18
CPU time (s): 1308.7
CPU user time (s): 1297.95
CPU system time (s): 10.7484
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 1843360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.95
system time used= 10.7484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460569
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= 4662

runsolver used 2.21766 second user time and 6.13707 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-13 08:52:13
IDJOB=2656126
IDBENCH=2048
IDSOLVER=1161
FILE ID=node015/2656126-1276411933
PBS_JOBID= 11173274
Free space on /tmp= 62548 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656126-1276411933/watcher-2656126-1276411933 -o /tmp/evaluation-result-2656126-1276411933/solver-2656126-1276411933 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656126-1276411933.opb

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

MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=628565148

node015.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.244
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.244
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:       1836136 kB
Buffers:         18684 kB
Cached:         100596 kB
SwapCached:      51776 kB
Active:          97072 kB
Inactive:        75724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1836136 kB
SwapTotal:     4192956 kB
SwapFree:      4100916 kB
Dirty:            3012 kB
Writeback:           0 kB
AnonPages:       10788 kB
Mapped:           7124 kB
Slab:            28300 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180936 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= 62544 MiB
End job on node015 at 2010-06-13 09:14:04