Trace number 2655816

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) 1681.43 1681.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
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-2655816-1276641910.opb.
0.00/0.00	c Instance file HOME/instance-2655816-1276641910.opb
0.00/0.00	c File size is 560274 bytes.
0.05/0.08	c Highest Coefficient sum: 643
0.05/0.08	c ============================[ Problem Statistics ]=============================
0.05/0.08	c |                                                                             |
0.05/0.08	c |  Parsing time:          0.08         s                                      |
0.05/0.08	c |  Number Variables:      5499                                                |
0.05/0.08	c |  Number Clauses:        19312                                               |
0.05/0.08	c |  Number Cardinality:    1                                                   |
0.05/0.08	c |  Number PB Constraints: 6                                                   |
0.89/0.98	c ============================[ Search Statistics ]==============================
0.89/0.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |    5417    19396    49082 |     6439        0    nan |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: 25
0.89/0.99	o 25
0.89/0.99	c Elapsed CPU time: 0.976851 s	Remaining CPU time: 179.023 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |         6 |    5417    19397    49695 |     6465        6    242 |  0.000 % |
1.00/1.00	c |       106 |    5417    19397    49695 |     7112      106     78 |  1.491 % |
1.00/1.04	c |       258 |    5417    19397    49695 |     7823      258     55 |  1.491 % |
1.10/1.12	c |       484 |    5417    19397    49695 |     8605      484    151 |  1.491 % |
1.10/1.18	c |       821 |    5417    19397    49695 |     9466      821    143 |  1.491 % |
1.19/1.27	c |      1329 |    5417    19397    49695 |    10413     1329    139 |  1.491 % |
1.29/1.39	c |      2088 |    5417    19397    49695 |    11454     2088    124 |  1.491 % |
1.49/1.56	c |      3230 |    5417    19397    49695 |    12599     3230    135 |  1.491 % |
1.79/1.88	c |      4938 |    5417    19397    49695 |    13859     4938    156 |  1.491 % |
2.49/2.51	c |      7504 |    5417    19397    49695 |    15245     7504    238 |  1.491 % |
3.39/3.47	c |     11349 |    5417    19397    49695 |    16770    11349    245 |  1.491 % |
4.99/5.00	c |     17115 |    5417    19397    49695 |    18447    17115    252 |  1.491 % |
10.09/10.17	c |     25764 |    5417    19397    49695 |    20292    14090    591 |  1.491 % |
13.89/13.96	c |     38739 |    5417    19397    49695 |    22321    13303    253 |  1.491 % |
25.69/25.71	c |     58201 |    5417    19397    49695 |    24553    17550    737 |  1.491 % |
34.68/34.79	c |     87393 |    5417    19397    49695 |    27008    28438    323 |  1.491 % |
59.47/59.51	c |    131183 |    5417    19397    49695 |    29709    18788    368 |  1.491 % |
86.07/86.18	c |    196867 |    5417    19397    49695 |    32680    17074    307 |  1.491 % |
127.56/127.67	c |    295395 |    5417    19397    49695 |    35948    13627    561 |  1.491 % |
178.15/178.29	c |    443184 |    5417    19397    49695 |    39543    17751    303 |  1.491 % |
182.45/182.54	c There are 82 assigned variables. 5 in cost function.
183.24/183.30	c core #1
183.24/183.30	c core #2
183.24/183.30	c core #3
183.24/183.30	c core #4
183.24/183.30	c core #5
183.24/183.30	c ============================[ Search Statistics ]==============================
183.24/183.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.30	c ===============================================================================
183.24/183.30	c |         0 |    4139    19996    49468 |     6665        0    nan |  0.000 % |
183.24/183.32	c ===============================================================================
183.24/183.36	c core #6
183.24/183.36	c ============================[ Search Statistics ]==============================
183.24/183.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.36	c ===============================================================================
183.24/183.36	c |         0 |    4503    19997    50098 |     6665        0    nan |  0.000 % |
183.24/183.39	c |       100 |    4495    19997    50098 |     7332      100     59 | 24.394 % |
183.35/183.43	c |       250 |    4462    19997    50098 |     8065      243     67 | 24.950 % |
183.44/183.50	c |       475 |    4378    19997    50098 |     8872      448    140 | 26.264 % |
183.55/183.61	c |       814 |    4346    19997    50098 |     9759      745    194 | 26.786 % |
183.55/183.67	c ===============================================================================
183.65/183.72	c core #7
183.65/183.72	c ============================[ Search Statistics ]==============================
183.65/183.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.72	c ===============================================================================
183.65/183.72	c |         0 |    4622    19998    50336 |     6666        0    nan |  0.000 % |
183.65/183.75	c |       101 |    4622    19998    50336 |     7332      101    115 | 23.666 % |
183.65/183.78	c |       255 |    4622    19998    50336 |     8065      255    108 | 23.666 % |
183.74/183.84	c |       481 |    4622    19998    50336 |     8872      481    136 | 23.666 % |
183.84/183.94	c |       820 |    4621    19998    50336 |     9759      819    159 | 23.683 % |
184.04/184.10	c |      1327 |    4621    19998    50336 |    10735     1326    158 | 23.683 % |
184.24/184.31	c |      2086 |    4621    19998    50336 |    11809     2085    156 | 23.683 % |
184.75/184.83	c |      3225 |    4621    19998    50336 |    12990     3224    189 | 23.683 % |
185.75/185.86	c |      4937 |    4621    19998    50336 |    14289     4936    209 | 23.683 % |
187.44/187.52	c |      7499 |    4621    19998    50336 |    15718     7498    222 | 23.683 % |
190.64/190.76	c |     11343 |    4621    19998    50336 |    17289    11342    214 | 23.683 % |
195.83/195.94	c |     17112 |    4620    19998    50336 |    19018    17110    197 | 23.700 % |
202.54/202.62	c ===============================================================================
203.14/203.21	c core #8
203.14/203.21	c ============================[ Search Statistics ]==============================
203.14/203.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.14/203.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.14/203.21	c ===============================================================================
203.14/203.21	c |         0 |    4741    19999    50574 |     6666        0    nan |  0.000 % |
203.14/203.25	c |       100 |    4741    19999    50574 |     7332      100    116 | 23.210 % |
203.14/203.28	c |       250 |    4741    19999    50574 |     8066      250    118 | 23.210 % |
203.23/203.32	c |       475 |    4741    19999    50574 |     8872      475    128 | 23.210 % |
203.35/203.40	c |       812 |    4741    19999    50574 |     9760      812    132 | 23.210 % |
203.44/203.51	c |      1318 |    4741    19999    50574 |    10736     1318    123 | 23.210 % |
203.53/203.63	c |      2080 |    4741    19999    50574 |    11809     2080     98 | 23.210 % |
203.73/203.89	c |      3220 |    4741    19999    50574 |    12990     3220    104 | 23.210 % |
204.13/204.25	c |      4930 |    4741    19999    50574 |    14289     4930    127 | 23.210 % |
205.13/205.25	c |      7493 |    4741    19999    50574 |    15718     7493    165 | 23.210 % |
207.23/207.37	c |     11339 |    4741    19999    50574 |    17290    11339    167 | 23.210 % |
211.63/211.73	c |     17105 |    4741    19999    50574 |    19019    17105    183 | 23.210 % |
219.64/219.70	c |     25757 |    4741    19999    50574 |    20921    15295    217 | 23.210 % |
235.23/235.34	c |     38733 |    4741    19999    50574 |    23013    16838    252 | 23.210 % |
262.12/262.22	c |     58194 |    4741    19999    50574 |    25315    23853    218 | 23.210 % |
262.73/262.86	c ===============================================================================
262.83/262.99	c core #9
262.83/262.99	c ============================[ Search Statistics ]==============================
262.83/262.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
262.83/262.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
262.83/262.99	c ===============================================================================
262.83/262.99	c |         0 |    6119    20019    52548 |     6673        0    nan |  0.000 % |
262.92/263.04	c |       101 |    6119    20019    52548 |     7340      101     86 |  5.410 % |
262.92/263.07	c |       251 |    6119    20019    52548 |     8074      251     66 |  5.410 % |
262.92/263.09	c |       477 |    6119    20019    52548 |     8881      477     54 |  5.410 % |
263.02/263.14	c |       814 |    6119    20019    52548 |     9769      814     83 |  5.410 % |
263.12/263.21	c |      1322 |    6119    20019    52548 |    10746     1322     77 |  5.410 % |
263.22/263.36	c |      2081 |    6119    20019    52548 |    11821     2081    102 |  5.410 % |
263.52/263.61	c |      3225 |    6119    20019    52548 |    13003     3225    126 |  5.410 % |
264.02/264.16	c |      4938 |    6119    20019    52548 |    14304     4938    137 |  5.410 % |
265.22/265.36	c |      7502 |    6119    20019    52548 |    15734     7502    137 |  5.410 % |
267.52/267.66	c |     11346 |    6119    20019    52548 |    17308    11346    159 |  5.410 % |
270.01/270.10	c |     17113 |    6119    20019    52548 |    19038    17113    135 |  5.410 % |
276.22/276.36	c |     25762 |    6119    20019    52548 |    20942    15271    230 |  5.411 % |
287.22/287.33	c |     38737 |    6119    20019    52548 |    23037    17171    247 |  5.410 % |
311.71/311.86	c |     58198 |    6119    20019    52548 |    25340    24272    354 |  5.411 % |
353.60/353.75	c |     87393 |    6119    20019    52548 |    27874    25791    384 |  5.410 % |
405.48/405.69	c |    131182 |    6119    20019    52548 |    30662    21978    395 |  5.410 % |
533.55/533.70	c |    196869 |    6119    20019    52548 |    33728    19953    191 |  5.410 % |
748.59/748.89	c |    295396 |    6119    20019    52548 |    37101    19544    362 |  5.410 % |
1091.39/1091.79	c |    443186 |    6119    20019    52548 |    40811    24740    294 |  5.410 % |
1405.41/1405.88	c ===============================================================================
1429.89/1430.36	c core #10
1429.89/1430.36	c ============================[ Search Statistics ]==============================
1429.89/1430.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1429.89/1430.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1429.89/1430.36	c ===============================================================================
1429.89/1430.36	c |         0 |    6238    20020    52786 |     6673        0    nan |  0.000 % |
1430.09/1430.50	c |       105 |    6238    20020    52786 |     7340      105     91 |  5.313 % |
1430.09/1430.55	c |       256 |    6164    20020    52786 |     8074      253     57 |  6.436 % |
1430.20/1430.64	c |       481 |    6130    20020    52786 |     8882      443     73 |  6.952 % |
1430.30/1430.74	c |       821 |    5992    20020    52786 |     9770      738     92 |  9.123 % |
1430.30/1430.77	c ===============================================================================
1430.39/1430.82	c core #11
1430.39/1430.82	c ============================[ Search Statistics ]==============================
1430.39/1430.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1430.39/1430.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1430.39/1430.82	c ===============================================================================
1430.39/1430.82	c |         0 |    6807    20045    53908 |     6681        0    nan |  0.000 % |
1430.39/1430.85	c |       102 |    6807    20045    53908 |     7349      102    157 |  2.001 % |
1430.39/1430.88	c |       254 |    6802    20045    53908 |     8084      254     98 |  2.073 % |
1430.60/1431.01	c |       479 |    6802    20045    53908 |     8893      476     73 |  2.073 % |
1430.71/1431.11	c |       818 |    6802    20045    53908 |     9782      815     83 |  2.073 % |
1430.80/1431.24	c |      1325 |    6802    20045    53908 |    10760     1322    101 |  2.073 % |
1431.09/1431.51	c |      2085 |    6802    20045    53908 |    11836     2082    152 |  2.073 % |
1431.50/1431.99	c |      3232 |    6802    20045    53908 |    13020     3229    154 |  2.073 % |
1432.70/1433.14	c |      4942 |    6802    20045    53908 |    14322     4939    166 |  2.073 % |
1434.70/1435.19	c |      7504 |    6802    20045    53908 |    15755     7501    186 |  2.073 % |
1439.19/1439.66	c |     11349 |    6801    20045    53908 |    17330    11343    252 |  2.088 % |
1445.19/1445.68	c |     17116 |    6800    20045    53908 |    19063    17108    273 |  2.102 % |
1455.39/1455.88	c |     25766 |    6800    20045    53908 |    20969    15649    337 |  2.102 % |
1468.38/1468.85	c ===============================================================================
1469.28/1469.78	c core #12
1469.28/1469.78	c ============================[ Search Statistics ]==============================
1469.28/1469.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1469.28/1469.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1469.28/1469.78	c ===============================================================================
1469.28/1469.78	c |         0 |    7334    20176    55527 |     6725        0    nan |  0.000 % |
1469.38/1469.85	c |       102 |    7334    20176    55527 |     7397      102     94 |  1.860 % |
1469.38/1469.87	c |       254 |    7333    20176    55527 |     8137      254     68 |  1.873 % |
1469.49/1469.96	c |       479 |    7332    20176    55527 |     8951      478     54 |  1.887 % |
1469.58/1470.08	c |       817 |    7332    20176    55527 |     9846      815     92 |  1.887 % |
1470.08/1470.50	c |      1323 |    7332    20176    55527 |    10831     1321    146 |  1.887 % |
1470.49/1470.97	c |      2085 |    7332    20176    55527 |    11914     2083    216 |  1.887 % |
1471.49/1471.94	c |      3224 |    7332    20176    55527 |    13105     3222    263 |  1.887 % |
1473.28/1473.71	c |      4934 |    7332    20176    55527 |    14416     4932    289 |  1.887 % |
1475.49/1475.98	c |      7498 |    7332    20176    55527 |    15857     7496    353 |  1.887 % |
1480.99/1481.41	c |     11342 |    7332    20176    55527 |    17443    11340    475 |  1.887 % |
1489.28/1489.77	c |     17111 |    7332    20176    55527 |    19188    17109    465 |  1.887 % |
1503.28/1503.72	c |     25764 |    7332    20176    55527 |    21106    15518    568 |  1.887 % |
1529.87/1530.38	c |     38740 |    7332    20176    55527 |    23217    16696    996 |  1.887 % |
1579.06/1579.59	c |     58204 |    7332    20176    55527 |    25539    23665    918 |  1.887 % |
1655.74/1656.25	c |     87396 |    7332    20176    55527 |    28093    23434   1002 |  1.887 % |

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-2655816-1276641910/watcher-2655816-1276641910 -o /tmp/evaluation-result-2655816-1276641910/solver-2655816-1276641910 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655816-1276641910.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: 1.00 1.00 1.00 3/106 4958
/proc/meminfo: memFree=1615596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=3260 CPUtime=0
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 337 0 0 0 0 0 0 0 18 0 1 0 39792816 3338240 255 1992294400 134512640 135751879 4292799232 18446744073709551615 134560564 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 815 256 145 303 0 373 0

[startup+0.0543171 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4958
/proc/meminfo: memFree=1615596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=4316 CPUtime=0.05
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 645 0 0 0 5 0 0 0 20 0 1 0 39792816 4419584 563 1992294400 134512640 135751879 4292799232 18446744073709551615 134560602 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 1079 563 223 303 0 637 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4316

[startup+0.101322 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4958
/proc/meminfo: memFree=1615596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=6276 CPUtime=0.09
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 1306 0 0 0 9 0 0 0 20 0 1 0 39792816 6426624 1087 1992294400 134512640 135751879 4292799232 18446744073709551615 134579967 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 1569 1087 145 303 0 1264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6276

[startup+0.300343 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4958
/proc/meminfo: memFree=1615596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=6408 CPUtime=0.29
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 1362 0 0 0 29 0 0 0 20 0 1 0 39792816 6561792 1143 1992294400 134512640 135751879 4292799232 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 1602 1143 146 303 0 1297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6408

[startup+0.700387 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4958
/proc/meminfo: memFree=1615596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=7332 CPUtime=0.69
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 1575 0 0 0 69 0 0 0 20 0 1 0 39792816 7507968 1356 1992294400 134512640 135751879 4292799232 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 1833 1356 146 303 0 1528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332

[startup+1.50048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1610132/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=7728 CPUtime=1.49
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 1699 0 0 0 147 2 0 0 23 0 1 0 39792816 7913472 1480 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 1932 1480 147 303 0 1627 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7728

[startup+3.10065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1608024/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=15440 CPUtime=3.09
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 3604 0 0 0 304 5 0 0 25 0 1 0 39792816 15810560 3385 1992294400 134512640 135751879 4292799232 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 3860 3386 147 303 0 3555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15440

[startup+6.30101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1591904/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=31824 CPUtime=6.29
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 7695 0 0 0 619 10 0 0 25 0 1 0 39792816 32587776 7476 1992294400 134512640 135751879 4292799232 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 7956 7476 147 303 0 7651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31824

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1557680/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=62256 CPUtime=12.69
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 15319 0 0 0 1249 20 0 0 25 0 1 0 39792816 63750144 15100 1992294400 134512640 135751879 4292799232 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 15564 15100 148 303 0 15259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62256

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1496300/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=122452 CPUtime=25.48
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 30362 0 0 0 2513 35 0 0 25 0 1 0 39792816 125390848 30143 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 30613 30143 148 303 0 30308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122452

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=1398340/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=220816 CPUtime=51.08
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 54943 0 0 0 5038 70 0 0 25 0 1 0 39792816 226115584 54724 1992294400 134512640 135751879 4292799232 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 55204 54724 148 303 0 54899 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 220816

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4961
/proc/meminfo: memFree=1230072/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=387036 CPUtime=102.27
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 96483 0 0 0 10090 137 0 0 25 0 1 0 39792816 396324864 96264 1992294400 134512640 135751879 4292799232 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 96759 96264 148 303 0 96454 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 387036

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4963
/proc/meminfo: memFree=1005756/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=612584 CPUtime=162.24
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 152886 0 0 0 16000 224 0 0 25 0 1 0 39792816 627286016 152667 1992294400 134512640 135751879 4292799232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 153146 152667 148 303 0 152841 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 612584

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4965
/proc/meminfo: memFree=928504/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=687004 CPUtime=222.23
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 171677 0 0 0 21951 272 0 0 25 0 1 0 39792816 703492096 171319 1992294400 134512640 135751879 4292799232 18446744073709551615 134607814 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 171751 171319 151 303 0 171446 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 687004

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4967
/proc/meminfo: memFree=918956/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=697996 CPUtime=282.22
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 174374 0 0 0 27920 302 0 0 25 0 1 0 39792816 714747904 174016 1992294400 134512640 135751879 4292799232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 174499 174016 151 303 0 174194 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 697996

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4967
/proc/meminfo: memFree=853112/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=763136 CPUtime=342.2
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 190661 0 0 0 33888 332 0 0 25 0 1 0 39792816 781451264 190303 1992294400 134512640 135751879 4292799232 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 190784 190303 151 303 0 190479 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 763136

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4969
/proc/meminfo: memFree=772016/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=844976 CPUtime=402.18
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 211090 0 0 0 39853 365 0 0 25 0 1 0 39792816 865255424 210732 1992294400 134512640 135751879 4292799232 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 211244 210732 151 303 0 210939 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 844976

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4971
/proc/meminfo: memFree=730228/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=885664 CPUtime=462.17
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 221252 0 0 0 45825 392 0 0 25 0 1 0 39792816 906919936 220894 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 221416 220894 151 303 0 221111 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 885664

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4973
/proc/meminfo: memFree=704188/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=911756 CPUtime=522.15
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 227771 0 0 0 51806 409 0 0 25 0 1 0 39792816 933638144 227413 1992294400 134512640 135751879 4292799232 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 227939 227413 151 303 0 227634 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 911756

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4975
/proc/meminfo: memFree=672816/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=943360 CPUtime=582.14
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 235628 0 0 0 57782 432 0 0 25 0 1 0 39792816 966000640 235270 1992294400 134512640 135751879 4292799232 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 235840 235270 151 303 0 235535 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 943360

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4975
/proc/meminfo: memFree=618132/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=997352 CPUtime=642.13
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 249133 0 0 0 63759 454 0 0 25 0 1 0 39792816 1021288448 248775 1992294400 134512640 135751879 4292799232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 249338 248775 151 303 0 249033 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 997352

[startup+702.301 s]

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

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4979
/proc/meminfo: memFree=511740/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1103540 CPUtime=762.09
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 275662 0 0 0 75702 507 0 0 25 0 1 0 39792816 1130024960 275304 1992294400 134512640 135751879 4292799232 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 275885 275304 151 303 0 275580 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1103540

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4981
/proc/meminfo: memFree=478384/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1137260 CPUtime=822.07
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 284069 0 0 0 81682 525 0 0 25 0 1 0 39792816 1164554240 283711 1992294400 134512640 135751879 4292799232 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 284315 283711 151 303 0 284010 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1137260

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4983
/proc/meminfo: memFree=449492/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1165664 CPUtime=882.06
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 291187 0 0 0 87662 544 0 0 25 0 1 0 39792816 1193639936 290829 1992294400 134512640 135751879 4292799232 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 291416 290829 151 303 0 291111 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1165664

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4983
/proc/meminfo: memFree=411796/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1204340 CPUtime=942.04
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 300808 0 0 0 93641 563 0 0 25 0 1 0 39792816 1233244160 300450 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 301085 300450 151 303 0 300780 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1204340

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4994
/proc/meminfo: memFree=349300/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1265760 CPUtime=1002.01
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 316160 0 0 0 99609 592 0 0 25 0 1 0 39792816 1296138240 315802 1992294400 134512640 135751879 4292799232 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 316440 315802 151 303 0 316135 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1265760

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4996
/proc/meminfo: memFree=318424/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1296336 CPUtime=1062
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 323786 0 0 0 105590 610 0 0 25 0 1 0 39792816 1327448064 323428 1992294400 134512640 135751879 4292799232 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 324084 323428 151 303 0 323779 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1296336

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4998
/proc/meminfo: memFree=262748/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1351996 CPUtime=1121.98
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 337669 0 0 0 111563 635 0 0 25 0 1 0 39792816 1384443904 337311 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 337999 337311 151 303 0 337694 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1351996

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5000
/proc/meminfo: memFree=228524/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1387180 CPUtime=1181.96
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 346464 0 0 0 117542 654 0 0 25 0 1 0 39792816 1420472320 346106 1992294400 134512640 135751879 4292799232 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 346795 346106 151 303 0 346490 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1387180

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5000
/proc/meminfo: memFree=188596/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1425868 CPUtime=1241.95
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 356120 0 0 0 123515 680 0 0 25 0 1 0 39792816 1460088832 355762 1992294400 134512640 135751879 4292799232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 356467 355762 151 303 0 356162 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1425868

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5002
/proc/meminfo: memFree=162308/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1452148 CPUtime=1301.94
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 362642 0 0 0 129491 703 0 0 25 0 1 0 39792816 1486999552 362284 1992294400 134512640 135751879 4292799232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 363037 362284 151 303 0 362732 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1452148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5004
/proc/meminfo: memFree=118412/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1496080 CPUtime=1361.91
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 373632 0 0 0 135460 731 0 0 25 0 1 0 39792816 1531985920 373274 1992294400 134512640 135751879 4292799232 18446744073709551615 134608098 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 374020 373274 151 303 0 373715 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1496080

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5006
/proc/meminfo: memFree=77244/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1536924 CPUtime=1421.9
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 383833 0 0 0 141439 751 0 0 25 0 1 0 39792816 1573810176 383475 1992294400 134512640 135751879 4292799232 18446744073709551615 134618389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 384231 383475 151 303 0 383926 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1536924

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5008
/proc/meminfo: memFree=75012/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1537940 CPUtime=1481.88
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 384511 0 0 0 147392 796 0 0 25 0 1 0 39792816 1574850560 384035 1992294400 134512640 135751879 4292799232 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 384485 384035 151 303 0 384180 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1537940

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5008
/proc/meminfo: memFree=10436/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1627968 CPUtime=1541.87
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 407015 0 0 0 153342 845 0 0 25 0 1 0 39792816 1667039232 406539 1992294400 134512640 135751879 4292799232 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 406992 406539 151 303 0 406687 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1627968

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5010
/proc/meminfo: memFree=9624/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1723740 CPUtime=1601.85
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 430957 0 0 0 159306 879 0 0 25 0 1 0 39792816 1765109760 430481 1992294400 134512640 135751879 4292799232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 430935 430481 151 303 0 430630 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1723740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5012
/proc/meminfo: memFree=9416/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1820656 CPUtime=1661.83
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 455197 0 0 0 165272 911 0 0 25 0 1 0 39792816 1864351744 454721 1992294400 134512640 135751879 4292799232 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 455164 454721 151 303 0 454859 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1820656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1681.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5012
/proc/meminfo: memFree=10004/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=1843328 CPUtime=1681.24
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4202496 460849 0 0 0 167205 919 0 0 25 0 1 0 39792816 1887567872 460373 1992294400 134512640 135751879 4292799232 18446744073709551615 134616873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4958/statm: 460832 460373 151 303 0 460527 0
Current children cumulated CPU time (s) 1681.24
Current children cumulated vsize (KiB) 1843328

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

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

[startup+1681.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5013
/proc/meminfo: memFree=1065396/2059040 swapFree=4140260/4192956
[pid=4958] ppid=4956 vsize=0 CPUtime=1681.35
/proc/4958/stat : 4958 (wbo1.4b) R 4956 4958 4680 0 -1 4203524 460849 0 0 0 167205 930 0 0 25 0 1 0 39792816 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/4958/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1681.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1681.89
CPU time (s): 1681.43
CPU user time (s): 1672.05
CPU system time (s): 9.37757
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1843328

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

runsolver used 2.72358 second user time and 8.01278 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 00:45:11
IDJOB=2655816
IDBENCH=25021
IDSOLVER=1161
FILE ID=node009/2655816-1276641910
PBS_JOBID= 11172400
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1724759188

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1616124 kB
Buffers:        138176 kB
Cached:         221028 kB
SwapCached:       6532 kB
Active:         122752 kB
Inactive:       250356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1616124 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3120 kB
Writeback:           0 kB
AnonPages:       11904 kB
Mapped:          13096 kB
Slab:            48036 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181524 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= 62552 MiB
End job on node009 at 2010-06-16 01:13:14