Trace number 2702371

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)? (TO) 1800.15 1800.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
MD5SUM7931a71f4daac58a32a56f6c89bc3525
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint104
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products37366
Sum of products size74732

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702371-1278564823.opb.
0.00/0.00	c Instance file HOME/instance-2702371-1278564823.opb
0.00/0.00	c File size is 2895131 bytes.
0.49/0.52	c Highest Coefficient sum: 105
0.49/0.52	c ============================[ Problem Statistics ]=============================
0.49/0.52	c |                                                                             |
0.49/0.52	c |  Parsing time:          0.50         s                                      |
0.49/0.52	c |  Number Variables:      37866                                               |
0.49/0.52	c |  Number Clauses:        37866                                               |
0.49/0.52	c |  Number Cardinality:    0                                                   |
0.49/0.52	c |  Number PB Constraints: 37366                                               |
0.49/0.57	c ============================[ Search Statistics ]==============================
0.49/0.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.57	c ===============================================================================
0.49/0.58	c |         0 |   37866    75232   262062 |    25077        0    nan |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 498
0.59/0.62	o 498
0.59/0.62	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 179.405 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |   37866    75233   262562 |    25077        0    nan |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: 287
0.59/0.66	o 287
0.59/0.66	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 179.363 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |         0 |   37866    75234   263062 |    25078        0    nan |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: 65
0.69/0.73	o 65
0.69/0.73	c Elapsed CPU time: 0.695894 s	Remaining CPU time: 179.304 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |         0 |   37866    75235   263562 |    25078        0    nan |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 64
0.69/0.78	o 64
0.69/0.78	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 179.253 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         0 |   37866    75236   264062 |    25078        0    nan |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: 63
0.79/0.83	o 63
0.79/0.83	c Elapsed CPU time: 0.795879 s	Remaining CPU time: 179.204 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |         0 |   37866    75237   264562 |    25079        0    nan |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: 62
0.79/0.88	o 62
0.79/0.88	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 179.152 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |         0 |   37866    75238   265062 |    25079        0    nan |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 61
0.89/0.93	o 61
0.89/0.93	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 179.101 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |         0 |   37866    75239   265562 |    25079        0    nan |  0.000 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: 60
0.89/0.98	o 60
0.89/0.98	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 179.051 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |   37866    75240   266062 |    25080        0    nan |  0.000 % |
0.99/1.03	c ===============================================================================
0.99/1.03	c New solution: 59
0.99/1.03	o 59
0.99/1.03	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 179 s
0.99/1.03	c ===============================================================================
0.99/1.03	c |         0 |   37866    75241   266562 |    25080        0    nan |  0.000 % |
0.99/1.08	c ===============================================================================
0.99/1.09	c New solution: 58
0.99/1.09	o 58
0.99/1.09	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 178.949 s
0.99/1.09	c ===============================================================================
0.99/1.09	c |         0 |   37866    75242   267062 |    25080        0    nan |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c New solution: 57
1.09/1.14	o 57
1.09/1.14	c Elapsed CPU time: 1.10083 s	Remaining CPU time: 178.899 s
1.09/1.14	c ===============================================================================
1.09/1.14	c |         0 |   37866    75243   267562 |    25081        0    nan |  0.000 % |
1.09/1.19	c ===============================================================================
1.09/1.19	c New solution: 56
1.09/1.19	o 56
1.09/1.19	c Elapsed CPU time: 1.15182 s	Remaining CPU time: 178.848 s
1.09/1.19	c ===============================================================================
1.09/1.19	c |         0 |   37866    75244   268062 |    25081        0    nan |  0.000 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: 54
1.19/1.26	o 54
1.19/1.26	c Elapsed CPU time: 1.21881 s	Remaining CPU time: 178.781 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |         2 |   37866    75245   268562 |    25081        2     56 |  0.000 % |
1.29/1.32	c ===============================================================================
1.29/1.32	c New solution: 24
1.29/1.32	o 24
1.29/1.32	c Elapsed CPU time: 1.28181 s	Remaining CPU time: 178.718 s
1.29/1.32	c ===============================================================================
1.29/1.32	c |         2 |   37866    75246   269062 |    25082        2     56 |  0.000 % |
1.59/1.67	c |       102 |   37866    75246   269062 |    27590      102    160 |  0.000 % |
1.79/1.86	c |       252 |   37866    75246   269062 |    30349      252    208 |  0.000 % |
1.99/2.05	c |       477 |   37866    75246   269062 |    33384      477    241 |  0.000 % |
2.20/2.28	c |       814 |   37866    75246   269062 |    36722      814    282 |  0.000 % |
2.59/2.64	c |      1322 |   37866    75246   269062 |    40394     1322    302 |  0.000 % |
3.09/3.19	c |      2081 |   37866    75246   269062 |    44434     2081    324 |  0.000 % |
3.89/3.98	c |      3220 |   37866    75246   269062 |    48877     3220    358 |  0.000 % |
5.09/5.12	c |      4928 |   37866    75246   269062 |    53765     4928    371 |  0.000 % |
7.09/7.14	c |      7491 |   37866    75246   269062 |    59142     7491    359 |  0.000 % |
7.19/7.22	c ===============================================================================
7.19/7.22	c New solution: 23
7.19/7.22	o 23
7.19/7.22	c Elapsed CPU time: 7.15191 s	Remaining CPU time: 172.848 s
7.19/7.22	c ===============================================================================
7.19/7.22	c |      7491 |   37866    75247   269562 |    25082     7491    359 |  0.000 % |
7.29/7.32	c |      7591 |   37866    75247   269562 |    27590     7591    360 |  0.000 % |
7.39/7.47	c |      7742 |   37866    75247   269562 |    30349     7742    359 |  0.000 % |
7.59/7.69	c |      7967 |   37866    75247   269562 |    33384     7967    357 |  0.000 % |
7.88/7.95	c |      8305 |   37866    75247   269562 |    36723     8305    356 |  0.000 % |
8.29/8.36	c |      8812 |   37866    75247   269562 |    40395     8812    352 |  0.000 % |
8.79/8.80	c ===============================================================================
8.79/8.80	c New solution: 22
8.79/8.80	o 22
8.79/8.80	c Elapsed CPU time: 8.72967 s	Remaining CPU time: 171.27 s
8.79/8.80	c ===============================================================================
8.79/8.80	c |      9354 |   37866    75248   270062 |    25082     9354    354 |  0.000 % |
8.89/8.92	c |      9455 |   37866    75248   270062 |    27590     9455    354 |  0.000 % |
8.99/9.09	c |      9606 |   37866    75248   270062 |    30350     9606    353 |  0.000 % |
9.29/9.30	c |      9832 |   37866    75248   270062 |    33385     9832    351 |  0.000 % |
9.59/9.61	c |     10169 |   37866    75248   270062 |    36723    10169    348 |  0.000 % |
9.99/10.02	c |     10676 |   37866    75248   270062 |    40395    10676    345 |  0.000 % |
10.19/10.26	c ===============================================================================
10.19/10.26	c New solution: 21
10.19/10.26	o 21
10.19/10.26	c Elapsed CPU time: 10.1735 s	Remaining CPU time: 169.827 s
10.19/10.26	c ===============================================================================
10.19/10.26	c |     10901 |   37866    75249   270562 |    25083    10901    345 |  0.000 % |
10.29/10.39	c |     11001 |   37866    75249   270562 |    27591    11001    345 |  0.000 % |
10.48/10.56	c |     11153 |   37866    75249   270562 |    30350    11153    346 |  0.000 % |
10.69/10.79	c |     11379 |   37866    75249   270562 |    33385    11379    344 |  0.000 % |
11.09/11.16	c |     11717 |   37866    75249   270562 |    36724    11717    344 |  0.000 % |
11.58/11.65	c |     12224 |   37866    75249   270562 |    40396    12224    341 |  0.000 % |
12.29/12.36	c |     12983 |   37866    75249   270562 |    44436    12983    342 |  0.000 % |
13.39/13.47	c |     14122 |   37866    75249   270562 |    48879    14122    337 |  0.000 % |
15.09/15.12	c |     15830 |   37866    75249   270562 |    53767    15830    334 |  0.000 % |
17.89/17.93	c |     18393 |   37866    75249   270562 |    59144    18393    328 |  0.000 % |
22.19/22.25	c |     22238 |   37866    75249   270562 |    65058    22238    332 |  0.000 % |
29.88/29.97	c |     28004 |   37866    75249   270562 |    71564    28004    345 |  0.000 % |
41.78/41.87	c |     36654 |   37866    75249   270562 |    78721    36654    358 |  0.000 % |
62.27/62.32	c |     49629 |   37866    75249   270562 |    86593    49629    350 |  0.000 % |
103.16/103.24	c |     69092 |   37866    75249   270562 |    95252    69092    343 |  0.000 % |
152.64/152.76	c |     98284 |   37866    75249   270562 |   104777    98284    375 |  0.000 % |
180.93/181.09	c There are 0 assigned variables. 0 in cost function.
181.62/181.77	c core #1
181.62/181.77	c 
181.62/181.77	c 
181.62/181.77	c Core size: 122	Core Weight: 1	Total Weight: 1
181.62/181.77	c
181.62/181.77	c
181.62/181.77	c core #2
181.62/181.77	c 
181.62/181.77	c 
181.62/181.77	c Core size: 252	Core Weight: 1	Total Weight: 2
181.62/181.77	c
181.62/181.77	c
181.62/181.77	c ============================[ Search Statistics ]==============================
181.62/181.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.77	c ===============================================================================
181.62/181.77	c |         0 |   13760    75751   198211 |    25250        0    nan |  0.000 % |
182.03/182.15	c |       100 |   13760    75751   198211 |    27775      100    438 | 63.834 % |
182.44/182.52	c ===============================================================================
182.63/182.73	c core #3
182.63/182.73	c 
182.63/182.73	c 
182.63/182.73	c Core size: 1193	Core Weight: 1	Total Weight: 3
182.63/182.73	c
182.63/182.73	c
182.63/182.73	c ============================[ Search Statistics ]==============================
182.63/182.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.63/182.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.63/182.73	c ===============================================================================
182.63/182.73	c |         0 |   36139    75752   264803 |    25250        0    nan |  0.000 % |
183.23/183.34	c |       102 |   36139    75752   264803 |    27775      102    434 |  6.157 % |
184.33/184.44	c |       257 |   36139    75752   264803 |    30553      257    410 |  6.157 % |
186.22/186.36	c |       482 |   36139    75752   264803 |    33608      482    481 |  6.157 % |
188.53/188.63	c |       819 |   36139    75752   264803 |    36969      819    567 |  6.157 % |
193.12/193.21	c |      1326 |   36139    75752   264803 |    40666     1326    546 |  6.157 % |
200.32/200.46	c |      2085 |   36139    75752   264803 |    44733     2085    564 |  6.157 % |
210.52/210.60	c |      3230 |   36139    75752   264803 |    49206     3230    644 |  6.157 % |
229.91/230.08	c |      4939 |   36139    75752   264803 |    54127     4939    651 |  6.157 % |
258.31/258.43	c |      7503 |   36139    75752   264803 |    59539     7503    588 |  6.157 % |
297.48/297.68	c |     11349 |   36139    75752   264803 |    65493    11349    664 |  6.157 % |
358.57/358.78	c |     17115 |   36139    75752   264803 |    72043    17115    679 |  6.157 % |
459.42/459.61	c |     25765 |   36139    75752   264803 |    79247    25765    651 |  6.157 % |
627.37/627.61	c |     38739 |   36139    75752   264803 |    87172    38739    847 |  6.157 % |
908.28/908.64	c |     58203 |   36139    75752   264803 |    95889    58203   1278 |  6.157 % |
1226.26/1226.74	c ===============================================================================
1228.46/1228.92	c core #4
1228.46/1228.92	c 
1228.46/1228.92	c 
1228.46/1228.92	c Core size: 2717	Core Weight: 1	Total Weight: 4
1228.46/1228.92	c
1228.46/1228.92	c
1228.46/1228.92	c ============================[ Search Statistics ]==============================
1228.46/1228.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1228.46/1228.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1228.46/1228.92	c ===============================================================================
1228.46/1228.92	c |         0 |   39010    75754   273353 |    25251        0    nan |  0.000 % |
1228.85/1229.34	c |       102 |   39010    75754   273353 |    27776      102    512 |  0.000 % |
1229.65/1230.12	c |       252 |   39010    75754   273353 |    30554      252    404 |  0.000 % |
1231.26/1231.70	c |       477 |   39010    75754   273353 |    33609      477    429 |  0.000 % |
1233.46/1233.92	c |       814 |   39010    75754   273353 |    36970      814    425 |  0.000 % |
1239.85/1240.31	c |      1321 |   39010    75754   273353 |    40667     1321    332 |  0.000 % |
1248.35/1248.84	c |      2080 |   39010    75754   273353 |    44734     2080    317 |  0.000 % |
1257.85/1258.30	c |      3220 |   39010    75754   273353 |    49207     3220    361 |  0.000 % |
1267.75/1268.30	c |      4928 |   39010    75754   273353 |    54128     4928    404 |  0.000 % |
1281.74/1282.23	c |      7493 |   39010    75754   273353 |    59541     7493    419 |  0.000 % |
1311.63/1312.10	c |     11342 |   39010    75754   273353 |    65495    11342    441 |  0.000 % |
1350.62/1351.14	c |     17111 |   39010    75754   273353 |    72045    17111    440 |  0.000 % |
1409.09/1409.62	c |     25760 |   39010    75754   273353 |    79249    25760    448 |  0.000 % |
1502.86/1503.45	c |     38735 |   39010    75754   273353 |    87174    38735    520 |  0.000 % |
1686.29/1686.90	c |     58196 |   39010    75754   273353 |    95891    58196    645 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702371-1278564823/watcher-2702371-1278564823 -o /tmp/evaluation-result-2702371-1278564823/solver-2702371-1278564823 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702371-1278564823.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.97 0.91 3/106 27458
/proc/meminfo: memFree=1677904/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=5976 CPUtime=0
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 406 0 0 0 0 0 0 0 15 0 1 0 24696056 6119424 325 1992294400 134512640 135752675 4289142208 18446744073709551615 134610315 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 1494 326 137 303 0 482 0

[startup+0.0241751 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27458
/proc/meminfo: memFree=1677904/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=7136 CPUtime=0.01
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 697 0 0 0 1 0 0 0 18 0 1 0 24696056 7307264 616 1992294400 134512640 135752675 4289142208 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 1784 626 157 303 0 772 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7136

[startup+0.10119 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27458
/proc/meminfo: memFree=1677904/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=11540 CPUtime=0.1
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 1821 0 0 0 9 1 0 0 18 0 1 0 24696056 11816960 1707 1992294400 134512640 135752675 4289142208 18446744073709551615 134563058 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 2885 1707 256 303 0 1873 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11540

[startup+0.301229 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27458
/proc/meminfo: memFree=1677904/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=14784 CPUtime=0.29
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 2895 0 0 0 28 1 0 0 18 0 1 0 24696056 15138816 2781 1992294400 134512640 135752675 4289142208 18446744073709551615 135378706 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 3696 2782 525 303 0 2684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14784

[startup+0.701308 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27458
/proc/meminfo: memFree=1677904/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=17656 CPUtime=0.69
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 5880 0 0 0 66 3 0 0 18 0 1 0 24696056 18079744 3749 1992294400 134512640 135752675 4289142208 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 4414 3749 143 303 0 4109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17656

[startup+1.50146 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27459
/proc/meminfo: memFree=1663512/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=18052 CPUtime=1.49
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 5963 0 0 0 145 4 0 0 18 0 1 0 24696056 18485248 3832 1992294400 134512640 135752675 4289142208 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 4513 3832 144 303 0 4208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18052

[startup+3.10078 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27459
/proc/meminfo: memFree=1662644/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=20696 CPUtime=3.09
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 6648 0 0 0 305 4 0 0 20 0 1 0 24696056 21192704 4517 1992294400 134512640 135752675 4289142208 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 5174 4517 145 303 0 4869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20696

[startup+6.30141 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27459
/proc/meminfo: memFree=1654708/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=28020 CPUtime=6.29
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 8478 0 0 0 623 6 0 0 25 0 1 0 24696056 28692480 6347 1992294400 134512640 135752675 4289142208 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 7005 6347 145 303 0 6700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28020

[startup+12.7007 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27459
/proc/meminfo: memFree=1644292/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=37704 CPUtime=12.68
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 10875 0 0 0 1258 10 0 0 25 0 1 0 24696056 38608896 8744 1992294400 134512640 135752675 4289142208 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 9426 8744 145 303 0 9121 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37704

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27459
/proc/meminfo: memFree=1626436/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=54740 CPUtime=25.48
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 15154 0 0 0 2528 20 0 0 25 0 1 0 24696056 56053760 13023 1992294400 134512640 135752675 4289142208 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 13685 13023 145 303 0 13380 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54740

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27461
/proc/meminfo: memFree=1598164/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=83316 CPUtime=51.07
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 22261 0 0 0 5072 35 0 0 25 0 1 0 24696056 85315584 20130 1992294400 134512640 135752675 4289142208 18446744073709551615 134641623 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 20829 20130 145 303 0 20524 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83316

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27461
/proc/meminfo: memFree=1561336/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=119632 CPUtime=102.27
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 31331 0 0 0 10166 61 0 0 25 0 1 0 24696056 122503168 29200 1992294400 134512640 135752675 4289142208 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 29908 29200 145 303 0 29603 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119632

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27463
/proc/meminfo: memFree=1497352/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=183784 CPUtime=162.23
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 47371 0 0 0 16130 93 0 0 25 0 1 0 24696056 188194816 45240 1992294400 134512640 135752675 4289142208 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 45946 45240 145 303 0 45641 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 183784

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27465
/proc/meminfo: memFree=1468336/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=222.21
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55931 0 0 0 22114 107 0 0 25 0 1 0 24696056 216133632 52247 1992294400 134512640 135752675 4289142208 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52247 146 303 0 52462 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 211068

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27467
/proc/meminfo: memFree=1468212/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=282.19
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55931 0 0 0 28105 114 0 0 25 0 1 0 24696056 216133632 52247 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52247 146 303 0 52462 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 211068

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27467
/proc/meminfo: memFree=1468212/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=342.18
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55933 0 0 0 34096 122 0 0 25 0 1 0 24696056 216133632 52249 1992294400 134512640 135752675 4289142208 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52249 146 303 0 52462 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 211068

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27469
/proc/meminfo: memFree=1468212/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=402.16
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55933 0 0 0 40088 128 0 0 25 0 1 0 24696056 216133632 52249 1992294400 134512640 135752675 4289142208 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52249 146 303 0 52462 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 211068

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27480
/proc/meminfo: memFree=1467964/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=462.12
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55933 0 0 0 46078 134 0 0 25 0 1 0 24696056 216133632 52249 1992294400 134512640 135752675 4289142208 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52249 146 303 0 52462 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 211068

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27482
/proc/meminfo: memFree=1467964/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=522.1
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55938 0 0 0 52070 140 0 0 25 0 1 0 24696056 216133632 52254 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52254 146 303 0 52462 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 211068

[startup+582.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27484
/proc/meminfo: memFree=1467964/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=582.08
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55944 0 0 0 58064 144 0 0 25 0 1 0 24696056 216133632 52260 1992294400 134512640 135752675 4289142208 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52260 146 303 0 52462 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 211068

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27484
/proc/meminfo: memFree=1467964/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=211068 CPUtime=642.07
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 55946 0 0 0 64058 149 0 0 25 0 1 0 24696056 216133632 52262 1992294400 134512640 135752675 4289142208 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 52767 52262 146 303 0 52462 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 211068

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27492
/proc/meminfo: memFree=1358844/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=320248 CPUtime=881.97
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 83236 0 0 0 88017 180 0 0 25 0 1 0 24696056 327933952 79552 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 80062 79552 146 303 0 79757 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 320248

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27492
/proc/meminfo: memFree=1318544/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=360952 CPUtime=941.96
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 93396 0 0 0 94005 191 0 0 25 0 1 0 24696056 369614848 89712 1992294400 134512640 135752675 4289142208 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 90238 89712 146 303 0 89933 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 360952

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27494
/proc/meminfo: memFree=1286180/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=392844 CPUtime=1001.94
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 101359 0 0 0 99994 200 0 0 25 0 1 0 24696056 402272256 97675 1992294400 134512640 135752675 4289142208 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 98211 97675 146 303 0 97906 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 392844

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27496
/proc/meminfo: memFree=1253072/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=426344 CPUtime=1061.92
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 109716 0 0 0 105982 210 0 0 25 0 1 0 24696056 436576256 106032 1992294400 134512640 135752675 4289142208 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 106586 106032 146 303 0 106281 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 426344

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27498
/proc/meminfo: memFree=1228396/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=450684 CPUtime=1121.9
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 115784 0 0 0 111972 218 0 0 25 0 1 0 24696056 461500416 112100 1992294400 134512640 135752675 4289142208 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 112671 112100 146 303 0 112366 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 450684

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27500
/proc/meminfo: memFree=1202604/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=476668 CPUtime=1181.87
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 122271 0 0 0 117964 223 0 0 25 0 1 0 24696056 488108032 118587 1992294400 134512640 135752675 4289142208 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 119167 118587 146 303 0 118862 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 476668

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27500
/proc/meminfo: memFree=1174332/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=504876 CPUtime=1241.85
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 129393 0 0 0 123953 232 0 0 25 0 1 0 24696056 516993024 125566 1992294400 134512640 135752675 4289142208 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 126219 125566 146 303 0 125914 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 504876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27502
/proc/meminfo: memFree=1174332/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=504876 CPUtime=1301.84
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 129395 0 0 0 129943 241 0 0 25 0 1 0 24696056 516993024 125568 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 126219 125568 146 303 0 125914 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 504876

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27504
/proc/meminfo: memFree=1174208/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=504876 CPUtime=1361.81
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 129408 0 0 0 135932 249 0 0 25 0 1 0 24696056 516993024 125581 1992294400 134512640 135752675 4289142208 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 126219 125581 146 303 0 125914 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 504876

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27506
/proc/meminfo: memFree=1173340/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=505800 CPUtime=1421.8
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 129648 0 0 0 141921 259 0 0 25 0 1 0 24696056 517939200 125821 1992294400 134512640 135752675 4289142208 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 126450 125821 146 303 0 126145 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 505800

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27508
/proc/meminfo: memFree=1155484/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=523792 CPUtime=1481.77
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 134137 0 0 0 147907 270 0 0 25 0 1 0 24696056 536363008 130310 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 130948 130310 146 303 0 130643 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 523792

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27511
/proc/meminfo: memFree=1131800/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=546788 CPUtime=1541.74
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 139863 0 0 0 153889 285 0 0 25 0 1 0 24696056 559910912 136036 1992294400 134512640 135752675 4289142208 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 136697 136036 146 303 0 136392 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 546788

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27513
/proc/meminfo: memFree=1099808/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=579044 CPUtime=1601.72
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 147921 0 0 0 159873 299 0 0 25 0 1 0 24696056 592941056 144094 1992294400 134512640 135752675 4289142208 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 144761 144094 146 303 0 144456 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 579044

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27515
/proc/meminfo: memFree=1077488/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=600992 CPUtime=1661.7
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 153422 0 0 0 165861 309 0 0 25 0 1 0 24696056 615415808 149595 1992294400 134512640 135752675 4289142208 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 150248 149595 146 303 0 149943 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 600992

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27517
/proc/meminfo: memFree=1055788/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=623032 CPUtime=1721.68
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 158912 0 0 0 171848 320 0 0 25 0 1 0 24696056 637984768 155085 1992294400 134512640 135752675 4289142208 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 155758 155085 146 303 0 155453 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 623032

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27519
/proc/meminfo: memFree=1024664/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=653864 CPUtime=1781.66
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 166627 0 0 0 177833 333 0 0 25 0 1 0 24696056 669556736 162800 1992294400 134512640 135752675 4289142208 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 163466 162800 146 303 0 163161 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 653864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27519
/proc/meminfo: memFree=1016604/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=661832 CPUtime=1800.07
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 168596 0 0 0 179670 337 0 0 25 0 1 0 24696056 677715968 164769 1992294400 134512640 135752675 4289142208 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 165458 164769 146 303 0 165153 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 661832

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27519
/proc/meminfo: memFree=1016604/2059040 swapFree=4147384/4192956
[pid=27458] ppid=27456 vsize=661832 CPUtime=1800.07
/proc/27458/stat : 27458 (wbo1.4b) R 27456 27458 27223 0 -1 4202496 168596 0 0 0 179670 337 0 0 25 0 1 0 24696056 677715968 164769 1992294400 134512640 135752675 4289142208 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27458/statm: 165458 164769 146 303 0 165153 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 661832

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.15
CPU user time (s): 1796.7
CPU system time (s): 3.44248
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 661832

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

runsolver used 2.88556 second user time and 8.59569 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 06:53:43
IDJOB=2702371
IDBENCH=48120
IDSOLVER=1190
FILE ID=node006/2702371-1278564823
PBS_JOBID= 11239552
Free space on /tmp= 62580 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702371-1278564823/watcher-2702371-1278564823 -o /tmp/evaluation-result-2702371-1278564823/solver-2702371-1278564823 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702371-1278564823.opb

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

MD5SUM BENCH= 7931a71f4daac58a32a56f6c89bc3525
RANDOM SEED=559493062

node006.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.269
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.53
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.269
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1681168 kB
Buffers:         69480 kB
Cached:         215428 kB
SwapCached:       4204 kB
Active:         140612 kB
Inactive:       163152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1681168 kB
SwapTotal:     4192956 kB
SwapFree:      4147384 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:       15900 kB
Mapped:          12224 kB
Slab:            52152 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178740 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702371-1278564823.opb

Free space on /tmp at the end= 62576 MiB
End job on node006 at 2010-07-08 07:23:48