Trace number 2680459

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 (fixed)? (MO) 1761.18 1761.88

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680459-1277460119.opb.
0.00/0.00	c Instance file HOME/instance-2680459-1277460119.opb
0.00/0.00	c File size is 560274 bytes.
0.02/0.09	c Highest Coefficient sum: 643
0.02/0.09	c ============================[ Problem Statistics ]=============================
0.02/0.09	c |                                                                             |
0.02/0.09	c |  Parsing time:          0.09         s                                      |
0.02/0.09	c |  Number Variables:      5499                                                |
0.02/0.09	c |  Number Clauses:        19312                                               |
0.02/0.09	c |  Number Cardinality:    1                                                   |
0.02/0.09	c |  Number PB Constraints: 6                                                   |
1.00/1.00	c ============================[ Search Statistics ]==============================
1.00/1.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.00	c ===============================================================================
1.00/1.00	c |         0 |    5417    19396    49082 |     6439        0    nan |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: 25
1.00/1.01	o 25
1.00/1.01	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 179 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |         6 |    5417    19397    49695 |     6465        6    242 |  0.000 % |
1.00/1.03	c |       106 |    5417    19397    49695 |     7112      106     78 |  1.491 % |
1.00/1.07	c |       258 |    5417    19397    49695 |     7823      258     55 |  1.491 % |
1.10/1.15	c |       484 |    5417    19397    49695 |     8605      484    151 |  1.491 % |
1.19/1.21	c |       821 |    5417    19397    49695 |     9466      821    143 |  1.491 % |
1.19/1.29	c |      1329 |    5417    19397    49695 |    10413     1329    139 |  1.491 % |
1.39/1.42	c |      2088 |    5417    19397    49695 |    11454     2088    124 |  1.491 % |
1.49/1.59	c |      3230 |    5417    19397    49695 |    12599     3230    135 |  1.491 % |
1.89/1.91	c |      4938 |    5417    19397    49695 |    13859     4938    156 |  1.491 % |
2.49/2.54	c |      7504 |    5417    19397    49695 |    15245     7504    238 |  1.491 % |
3.49/3.51	c |     11349 |    5417    19397    49695 |    16770    11349    245 |  1.491 % |
4.99/5.04	c |     17115 |    5417    19397    49695 |    18447    17115    252 |  1.491 % |
10.19/10.22	c |     25764 |    5417    19397    49695 |    20292    14090    591 |  1.491 % |
13.99/14.03	c |     38739 |    5417    19397    49695 |    22321    13303    253 |  1.491 % |
25.67/25.77	c |     58201 |    5417    19397    49695 |    24553    17550    737 |  1.491 % |
34.77/34.82	c |     87393 |    5417    19397    49695 |    27008    28438    323 |  1.491 % |
59.46/59.56	c |    131183 |    5417    19397    49695 |    29709    18788    368 |  1.491 % |
86.05/86.10	c |    196867 |    5417    19397    49695 |    32680    17074    307 |  1.491 % |
127.33/127.42	c |    295395 |    5417    19397    49695 |    35948    13627    561 |  1.491 % |
177.51/177.64	c |    443184 |    5417    19397    49695 |    39543    17751    303 |  1.491 % |
182.52/182.66	c There are 82 assigned variables. 5 in cost function.
183.21/183.37	c core #1
183.21/183.37	c 
183.21/183.37	c 
183.21/183.37	c Core size: 162	Core Weight: 1	Total Weight: 6
183.21/183.37	c
183.21/183.37	c
183.21/183.37	c core #2
183.21/183.37	c 
183.21/183.37	c 
183.21/183.37	c Core size: 163	Core Weight: 1	Total Weight: 7
183.21/183.37	c
183.21/183.37	c
183.21/183.37	c core #3
183.21/183.37	c 
183.21/183.37	c 
183.21/183.37	c Core size: 358	Core Weight: 1	Total Weight: 8
183.21/183.37	c
183.21/183.37	c
183.21/183.37	c core #4
183.21/183.37	c 
183.21/183.37	c 
183.21/183.37	c Core size: 175	Core Weight: 1	Total Weight: 9
183.21/183.37	c
183.21/183.37	c
183.21/183.37	c core #5
183.21/183.37	c 
183.21/183.37	c 
183.21/183.37	c Core size: 83	Core Weight: 1	Total Weight: 10
183.21/183.37	c
183.21/183.37	c
183.21/183.37	c ============================[ Search Statistics ]==============================
183.21/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.21/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.21/183.37	c ===============================================================================
183.21/183.37	c |         0 |    4138    19992    48859 |     6664        0    nan |  0.000 % |
183.21/183.39	c ===============================================================================
183.31/183.43	c core #6
183.31/183.43	c 
183.31/183.43	c 
183.31/183.43	c Core size: 314	Core Weight: 1	Total Weight: 11
183.31/183.43	c
183.31/183.43	c
183.31/183.43	c ============================[ Search Statistics ]==============================
183.31/183.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.31/183.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.31/183.43	c ===============================================================================
183.31/183.43	c |         0 |    4502    19993    49489 |     6664        0    nan |  0.000 % |
183.31/183.45	c |       101 |    4502    19993    49489 |     7330      101     50 | 24.145 % |
183.31/183.49	c |       253 |    4476    19993    49489 |     8063      247    103 | 24.583 % |
183.41/183.56	c |       479 |    4458    19993    49489 |     8870      459    117 | 24.903 % |
183.52/183.68	c |       820 |    4418    19993    49489 |     9757      778    154 | 25.577 % |
183.62/183.77	c ===============================================================================
183.71/183.82	c core #7
183.71/183.82	c 
183.71/183.82	c 
183.71/183.82	c Core size: 273	Core Weight: 1	Total Weight: 12
183.71/183.82	c
183.71/183.82	c
183.71/183.82	c ============================[ Search Statistics ]==============================
183.71/183.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.71/183.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.71/183.82	c ===============================================================================
183.71/183.82	c |         0 |    4621    19994    49727 |     6664        0    nan |  0.000 % |
183.71/183.85	c |       102 |    4621    19994    49727 |     7331      102     57 | 23.670 % |
183.71/183.87	c |       253 |    4621    19994    49727 |     8064      253     65 | 23.670 % |
183.81/183.91	c |       481 |    4621    19994    49727 |     8870      481     84 | 23.670 % |
183.81/183.99	c |       818 |    4621    19994    49727 |     9757      818    118 | 23.670 % |
184.01/184.13	c |      1325 |    4621    19994    49727 |    10733     1325    118 | 23.670 % |
184.31/184.40	c |      2085 |    4621    19994    49727 |    11806     2085    113 | 23.670 % |
184.61/184.78	c |      3224 |    4621    19994    49727 |    12987     3224    150 | 23.670 % |
185.71/185.84	c |      4934 |    4621    19994    49727 |    14286     4934    179 | 23.670 % |
187.92/188.02	c |      7496 |    4621    19994    49727 |    15714     7496    227 | 23.670 % |
192.20/192.34	c |     11341 |    4620    19994    49727 |    17286    11334    246 | 23.687 % |
198.80/198.94	c |     17108 |    4620    19994    49727 |    19015    17101    261 | 23.687 % |
205.10/205.26	c ===============================================================================
205.70/205.81	c core #8
205.70/205.81	c 
205.70/205.81	c 
205.70/205.81	c Core size: 121	Core Weight: 1	Total Weight: 13
205.70/205.81	c
205.70/205.81	c
205.70/205.81	c ============================[ Search Statistics ]==============================
205.70/205.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.70/205.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.70/205.81	c ===============================================================================
205.70/205.81	c |         0 |    4740    19995    49965 |     6665        0    nan |  0.000 % |
205.70/205.86	c |       100 |    4740    19995    49965 |     7331      100     46 | 23.214 % |
205.70/205.88	c |       251 |    4740    19995    49965 |     8064      251     35 | 23.214 % |
205.80/205.90	c |       478 |    4740    19995    49965 |     8871      478     42 | 23.214 % |
205.80/205.94	c |       815 |    4740    19995    49965 |     9758      815     61 | 23.214 % |
205.90/206.04	c |      1321 |    4740    19995    49965 |    10734     1321     87 | 23.214 % |
206.10/206.25	c |      2083 |    4740    19995    49965 |    11807     2083     92 | 23.214 % |
206.30/206.47	c |      3224 |    4740    19995    49965 |    12988     3224    120 | 23.214 % |
206.80/206.91	c |      4936 |    4740    19995    49965 |    14287     4936    131 | 23.214 % |
207.80/207.92	c |      7498 |    4740    19995    49965 |    15715     7498    146 | 23.214 % |
210.10/210.26	c |     11343 |    4740    19995    49965 |    17287    11343    175 | 23.214 % |
215.51/215.61	c |     17110 |    4740    19995    49965 |    19016    17110    190 | 23.214 % |
223.70/223.86	c |     25759 |    4740    19995    49965 |    20917    15264    173 | 23.214 % |
238.89/239.02	c |     38736 |    4740    19995    49965 |    23009    16363    354 | 23.214 % |
276.28/276.41	c |     58198 |    4740    19995    49965 |    25310    23023    388 | 23.214 % |
310.46/310.67	c |     87390 |    4740    19995    49965 |    27841    23331    348 | 23.214 % |
370.33/370.56	c |    131180 |    4740    19995    49965 |    30625    17866    187 | 23.214 % |
508.48/508.75	c |    196866 |    4740    19995    49965 |    33688    29130    380 | 23.214 % |
708.00/708.34	c |    295394 |    4740    19995    49965 |    37056    28112    332 | 23.214 % |
1059.26/1059.71	c |    443184 |    4740    19995    49965 |    40762    22841    269 | 23.214 % |
1580.07/1580.73	c |    664870 |    4740    19995    49965 |    44838    26002    251 | 23.214 % |
1598.45/1599.19	c ===============================================================================
1631.84/1632.56	c core #9
1631.84/1632.56	c 
1631.84/1632.56	c 
1631.84/1632.56	c Core size: 277	Core Weight: 1	Total Weight: 14
1631.84/1632.56	c
1631.84/1632.56	c
1631.84/1632.56	c ============================[ Search Statistics ]==============================
1631.84/1632.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1631.84/1632.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1631.84/1632.56	c ===============================================================================
1631.84/1632.56	c |         0 |    5130    19996    50635 |     6665        0    nan |  0.000 % |
1632.04/1632.74	c ===============================================================================
1632.14/1632.81	c core #10
1632.14/1632.81	c 
1632.14/1632.81	c 
1632.14/1632.81	c Core size: 984	Core Weight: 1	Total Weight: 15
1632.14/1632.81	c
1632.14/1632.81	c
1632.14/1632.81	c ============================[ Search Statistics ]==============================
1632.14/1632.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1632.14/1632.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1632.14/1632.81	c ===============================================================================
1632.14/1632.81	c |         0 |    6495    19997    52455 |     6665        0    nan |  0.000 % |
1632.14/1632.85	c |       100 |    6495    19997    52455 |     7332      100     58 |  2.095 % |
1632.24/1632.90	c |       252 |    6429    19997    52455 |     8065      250     65 |  3.090 % |
1632.24/1632.98	c |       480 |    6404    19997    52455 |     8872      446     62 |  3.467 % |
1632.43/1633.15	c |       817 |    6369    19997    52455 |     9759      747     83 |  3.995 % |
1632.74/1633.45	c |      1323 |    6369    19997    52455 |    10735     1253    163 |  3.995 % |
1633.54/1634.24	c |      2083 |    6369    19997    52455 |    11808     2013    252 |  3.995 % |
1634.04/1634.75	c ===============================================================================
1634.14/1634.81	c core #11
1634.14/1634.81	c 
1634.14/1634.81	c 
1634.14/1634.81	c Core size: 555	Core Weight: 1	Total Weight: 16
1634.14/1634.81	c
1634.14/1634.81	c
1634.14/1634.81	c ============================[ Search Statistics ]==============================
1634.14/1634.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1634.14/1634.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1634.14/1634.81	c ===============================================================================
1634.14/1634.81	c |         0 |    6819    19998    53103 |     6666        0    nan |  0.000 % |
1634.14/1634.85	c |       101 |    6819    19998    53103 |     7332      101    115 |  1.998 % |
1634.14/1634.89	c |       251 |    6817    19998    53103 |     8065      251     92 |  2.026 % |
1634.23/1634.95	c |       476 |    6812    19998    53103 |     8872      474     89 |  2.098 % |
1634.33/1635.05	c |       817 |    6809    19998    53103 |     9759      810    112 |  2.141 % |
1634.44/1635.19	c |      1325 |    6803    19998    53103 |    10735     1314    115 |  2.228 % |
1634.64/1635.33	c |      2085 |    6799    19998    53103 |    11809     2062    125 |  2.285 % |
1634.95/1635.64	c |      3227 |    6799    19998    53103 |    12990     3204    110 |  2.285 % |
1635.63/1636.35	c |      4935 |    6798    19998    53103 |    14289     4911    224 |  2.314 % |
1637.14/1637.87	c |      7497 |    6792    19998    53103 |    15718     7470    224 |  2.386 % |
1640.24/1640.91	c |     11342 |    6790    19998    53103 |    17289    11315    305 |  2.414 % |
1646.04/1646.78	c |     17109 |    6790    19998    53103 |    19018    17082    327 |  2.415 % |
1654.42/1655.13	c |     25758 |    6789    19998    53103 |    20920    15782    325 |  2.429 % |
1666.33/1667.06	c |     38733 |    6773    19998    53103 |    23012    17529    263 |  2.688 % |
1696.52/1697.24	c |     58197 |    6762    19998    53103 |    25314    12832    501 |  3.090 % |
1750.40/1751.12	c |     87390 |    6734    19998    53103 |    27845    15597    409 |  3.219 % |

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-2680459-1277460119/watcher-2680459-1277460119 -o /tmp/evaluation-result-2680459-1277460119/solver-2680459-1277460119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680459-1277460119.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.95 3/106 21185
/proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=3256 CPUtime=0
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 119668229 3334144 249 1992294400 134512640 135752675 4294231168 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 814 249 141 303 0 372 0

[startup+0.0267541 s]
/proc/loadavg: 0.99 0.98 0.95 3/106 21185
/proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=3572 CPUtime=0.02
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 427 0 0 0 2 0 0 0 20 0 1 0 119668229 3657728 346 1992294400 134512640 135752675 4294231168 18446744073709551615 134634060 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 893 346 167 303 0 451 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3572

[startup+0.100769 s]
/proc/loadavg: 0.99 0.98 0.95 3/106 21185
/proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=5612 CPUtime=0.09
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1142 0 0 0 9 0 0 0 20 0 1 0 119668229 5746688 924 1992294400 134512640 135752675 4294231168 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 1403 925 142 303 0 1098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5612

[startup+0.300806 s]
/proc/loadavg: 0.99 0.98 0.95 3/106 21185
/proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=6404 CPUtime=0.29
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1354 0 0 0 29 0 0 0 20 0 1 0 119668229 6557696 1136 1992294400 134512640 135752675 4294231168 18446744073709551615 134580151 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 1601 1136 142 303 0 1296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6404

[startup+0.70088 s]
/proc/loadavg: 0.99 0.98 0.95 3/106 21185
/proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=7328 CPUtime=0.69
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1564 0 0 0 68 1 0 0 21 0 1 0 119668229 7503872 1346 1992294400 134512640 135752675 4294231168 18446744073709551615 135211777 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 1832 1346 142 303 0 1527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7328

[startup+1.50103 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21186
/proc/meminfo: memFree=1847656/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=7724 CPUtime=1.49
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1694 0 0 0 147 2 0 0 23 0 1 0 119668229 7909376 1476 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 1931 1476 145 303 0 1626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7724

[startup+3.10033 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21186
/proc/meminfo: memFree=1845672/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=15252 CPUtime=3.08
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 3563 0 0 0 303 5 0 0 25 0 1 0 119668229 15618048 3345 1992294400 134512640 135752675 4294231168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 3813 3345 145 303 0 3508 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15252

[startup+6.30093 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21186
/proc/meminfo: memFree=1829676/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=31416 CPUtime=6.29
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 7613 0 0 0 618 11 0 0 25 0 1 0 119668229 32169984 7395 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 7854 7395 145 303 0 7549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31416

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21188
/proc/meminfo: memFree=1795328/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=62096 CPUtime=12.68
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 15258 0 0 0 1248 20 0 0 25 0 1 0 119668229 63586304 15040 1992294400 134512640 135752675 4294231168 18446744073709551615 134639387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 15524 15040 145 303 0 15219 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62096

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21188
/proc/meminfo: memFree=1733948/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=122188 CPUtime=25.48
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 30296 0 0 0 2511 37 0 0 25 0 1 0 119668229 125120512 30078 1992294400 134512640 135752675 4294231168 18446744073709551615 134637659 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 30547 30078 145 303 0 30242 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122188

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21188
/proc/meminfo: memFree=1635864/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=220652 CPUtime=51.06
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 54909 0 0 0 5035 71 0 0 25 0 1 0 119668229 225947648 54691 1992294400 134512640 135752675 4294231168 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 55163 54691 145 303 0 54858 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 220652

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21190
/proc/meminfo: memFree=1466852/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=387628 CPUtime=102.25
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 96654 0 0 0 10083 142 0 0 25 0 1 0 119668229 396931072 96436 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 96907 96436 145 303 0 96602 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 387628

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21192
/proc/meminfo: memFree=1241916/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=613944 CPUtime=162.21
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 153195 0 0 0 15986 235 0 0 25 0 1 0 119668229 628678656 152977 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 153486 152977 145 303 0 153181 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 613944

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21192
/proc/meminfo: memFree=1162184/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=690780 CPUtime=222.19
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 172615 0 0 0 21939 280 0 0 25 0 1 0 119668229 707358720 172258 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 172695 172258 146 303 0 172390 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 690780

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21194
/proc/meminfo: memFree=1129076/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=725144 CPUtime=282.17
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 181175 0 0 0 27916 301 0 0 25 0 1 0 119668229 742547456 180818 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 181286 180818 146 303 0 180981 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 725144

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21196
/proc/meminfo: memFree=1065960/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=787420 CPUtime=342.15
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 196740 0 0 0 33885 330 0 0 25 0 1 0 119668229 806318080 196383 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 196855 196383 146 303 0 196550 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 787420

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21198
/proc/meminfo: memFree=1026900/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=826960 CPUtime=402.12
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 206602 0 0 0 39855 357 0 0 25 0 1 0 119668229 846807040 206245 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 206740 206245 146 303 0 206435 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 826960

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21200
/proc/meminfo: memFree=987220/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=866164 CPUtime=462.1
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 216368 0 0 0 45824 386 0 0 25 0 1 0 119668229 886951936 216011 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 216541 216011 146 303 0 216236 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 866164

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21200
/proc/meminfo: memFree=949648/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=903984 CPUtime=522.08
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 225807 0 0 0 51804 404 0 0 25 0 1 0 119668229 925679616 225450 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 225996 225450 146 303 0 225691 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 903984

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21202
/proc/meminfo: memFree=905504/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=947876 CPUtime=582.05
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 236795 0 0 0 57781 424 0 0 25 0 1 0 119668229 970625024 236438 1992294400 134512640 135752675 4294231168 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 236969 236438 146 303 0 236664 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 947876

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21204
/proc/meminfo: memFree=846976/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1005752 CPUtime=642.04
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 251255 0 0 0 63751 453 0 0 25 0 1 0 119668229 1029890048 250898 1992294400 134512640 135752675 4294231168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 251438 250898 146 303 0 251133 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1005752

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21208
/proc/meminfo: memFree=713552/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1139712 CPUtime=821.96
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 284668 0 0 0 81669 527 0 0 25 0 1 0 119668229 1167065088 284311 1992294400 134512640 135752675 4294231168 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 284928 284311 146 303 0 284623 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1139712

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21210
/proc/meminfo: memFree=659860/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1192800 CPUtime=881.93
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 297938 0 0 0 87639 554 0 0 25 0 1 0 119668229 1221427200 297581 1992294400 134512640 135752675 4294231168 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 298200 297581 146 303 0 297895 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1192800

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21212
/proc/meminfo: memFree=610632/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1242452 CPUtime=941.91
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 310312 0 0 0 93612 579 0 0 25 0 1 0 119668229 1272270848 309955 1992294400 134512640 135752675 4294231168 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 310613 309955 146 303 0 310308 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1242452

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21214
/proc/meminfo: memFree=565124/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1287396 CPUtime=1001.88
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 321549 0 0 0 99585 603 0 0 25 0 1 0 119668229 1318293504 321192 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 321849 321192 146 303 0 321544 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 1287396

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21216
/proc/meminfo: memFree=518252/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1334736 CPUtime=1061.85
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 333366 0 0 0 105554 631 0 0 25 0 1 0 119668229 1366769664 333009 1992294400 134512640 135752675 4294231168 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 333684 333009 146 303 0 333379 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1334736

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21216
/proc/meminfo: memFree=465676/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1386976 CPUtime=1121.83
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 346406 0 0 0 111522 661 0 0 25 0 1 0 119668229 1420263424 346049 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 346744 346049 146 303 0 346439 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 1386976

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21218
/proc/meminfo: memFree=419176/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1433856 CPUtime=1181.82
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 358098 0 0 0 117497 685 0 0 25 0 1 0 119668229 1468268544 357741 1992294400 134512640 135752675 4294231168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 358464 357741 146 303 0 358159 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1433856

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21220
/proc/meminfo: memFree=370444/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1481956 CPUtime=1241.79
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 370135 0 0 0 123467 712 0 0 25 0 1 0 119668229 1517522944 369778 1992294400 134512640 135752675 4294231168 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 370489 369778 146 303 0 370184 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1481956

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21222
/proc/meminfo: memFree=330764/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1521268 CPUtime=1301.78
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 379935 0 0 0 129442 736 0 0 25 0 1 0 119668229 1557778432 379578 1992294400 134512640 135752675 4294231168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 380317 379578 146 303 0 380012 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1521268

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21224
/proc/meminfo: memFree=300012/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1552504 CPUtime=1361.74
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 387664 0 0 0 135419 755 0 0 25 0 1 0 119668229 1589764096 387307 1992294400 134512640 135752675 4294231168 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 388126 387307 146 303 0 387821 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1552504

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21224
/proc/meminfo: memFree=255124/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1597012 CPUtime=1421.73
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 398813 0 0 0 141390 783 0 0 25 0 1 0 119668229 1635340288 398456 1992294400 134512640 135752675 4294231168 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 399253 398456 146 303 0 398948 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1597012

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21226
/proc/meminfo: memFree=210856/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1641552 CPUtime=1481.7
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 409935 0 0 0 147362 808 0 0 25 0 1 0 119668229 1680949248 409578 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 410388 409578 146 303 0 410083 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1641552

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21228
/proc/meminfo: memFree=168448/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1683564 CPUtime=1541.67
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 420429 0 0 0 153336 831 0 0 25 0 1 0 119668229 1723969536 420072 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 420891 420072 146 303 0 420586 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1683564

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21230
/proc/meminfo: memFree=127776/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1724960 CPUtime=1601.65
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 430761 0 0 0 159307 858 0 0 25 0 1 0 119668229 1766359040 430404 1992294400 134512640 135752675 4294231168 18446744073709551615 134516340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 431240 430404 146 303 0 430935 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1724960

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21232
/proc/meminfo: memFree=109548/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1740808 CPUtime=1661.63
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 435164 0 0 0 165276 887 0 0 25 0 1 0 119668229 1782587392 434726 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 435202 434726 146 303 0 434897 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1740808

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21232
/proc/meminfo: memFree=54368/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1797128 CPUtime=1721.6
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 449237 0 0 0 171237 923 0 0 25 0 1 0 119668229 1840259072 448799 1992294400 134512640 135752675 4294231168 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 449282 448799 146 303 0 448977 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1797128



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1761.7 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21234
/proc/meminfo: memFree=10236/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=1843272 CPUtime=1760.99
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 460767 0 0 0 175153 946 0 0 25 0 1 0 119668229 1887510528 460329 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21185/statm: 460818 460329 146 303 0 460513 0
Current children cumulated CPU time (s) 1760.99
Current children cumulated vsize (KiB) 1843272

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

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

[startup+1761.81 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 21234
/proc/meminfo: memFree=10236/2059040 swapFree=4140004/4192956
[pid=21185] ppid=21183 vsize=0 CPUtime=1761.09
/proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4203524 460768 0 0 0 175153 956 0 0 25 0 1 0 119668229 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/21185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1761.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1761.88
CPU time (s): 1761.18
CPU user time (s): 1751.54
CPU system time (s): 9.63953
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 1843272

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

runsolver used 3.18252 second user time and 8.05177 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-25 12:01:59
IDJOB=2680459
IDBENCH=25021
IDSOLVER=1190
FILE ID=node019/2680459-1277460119
PBS_JOBID= 11188140
Free space on /tmp= 62276 MiB

SOLVER NAME= wbo 1.4b (fixed)
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-2680459-1277460119/watcher-2680459-1277460119 -o /tmp/evaluation-result-2680459-1277460119/solver-2680459-1277460119 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680459-1277460119.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=786188696

node019.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.264
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.52
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.264
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:       1853400 kB
Buffers:         18200 kB
Cached:         101280 kB
SwapCached:       5532 kB
Active:          61956 kB
Inactive:        70612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853400 kB
SwapTotal:     4192956 kB
SwapFree:      4140004 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:       11664 kB
Mapped:          11972 kB
Slab:            50984 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182808 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= 62276 MiB
End job on node019 at 2010-06-25 12:31:23