Trace number 2702661

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.19 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1789.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

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-2702661-1278573277.opb.
0.00/0.00	c Instance file HOME/instance-2702661-1278573277.opb
0.00/0.00	c File size is 106976 bytes.
0.00/0.02	c Highest Coefficient sum: 200
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      1452                                                |
0.00/0.02	c |  Number Clauses:        1352                                                |
0.00/0.02	c |  Number Cardinality:    202                                                 |
0.00/0.02	c |  Number PB Constraints: 1252                                                |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1452     2806    10616 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 0
0.00/0.03	o 0
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1452     2807    10716 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: -1
0.00/0.03	o -1
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 179.966 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1452     2808    10816 |     5000        1    101 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: -2
0.00/0.04	o -2
0.00/0.04	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         2 |    1452     2809    10916 |     5000        2    100 |  0.000 % |
0.09/0.11	c |       104 |    1452     2809    10916 |     5500      104    150 |  0.001 % |
0.09/0.14	c |       264 |    1452     2809    10916 |     6050      264    174 |  0.001 % |
0.19/0.20	c |       511 |    1452     2809    10916 |     6655      511    179 |  0.001 % |
0.29/0.32	c |       874 |    1452     2809    10916 |     7320      874    181 |  0.001 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -3
0.29/0.32	o -3
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 179.68 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |       878 |    1452     2810    11016 |     5000      878    181 |  0.001 % |
0.29/0.36	c |       997 |    1452     2810    11016 |     5500      997    181 |  0.001 % |
0.29/0.38	c |      1147 |    1452     2810    11016 |     6050     1147    183 |  0.001 % |
0.39/0.42	c |      1380 |    1452     2810    11016 |     6655     1380    184 |  0.001 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -4
0.39/0.42	o -4
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 179.582 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |      1381 |    1452     2811    11116 |     5000     1381    184 |  0.001 % |
0.39/0.43	c |      1481 |    1452     2811    11116 |     5500     1481    185 |  0.001 % |
0.39/0.45	c |      1632 |    1452     2811    11116 |     6050     1632    186 |  0.001 % |
0.39/0.48	c |      1857 |    1452     2811    11116 |     6655     1857    186 |  0.001 % |
0.50/0.54	c |      2198 |    1452     2811    11116 |     7320     2198    187 |  0.001 % |
0.50/0.54	c ===============================================================================
0.50/0.54	c New solution: -5
0.50/0.54	o -5
0.50/0.54	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 179.464 s
0.50/0.54	c ===============================================================================
0.50/0.54	c |      2208 |    1452     2812    11216 |     5000     2208    187 |  0.001 % |
0.50/0.56	c ===============================================================================
0.50/0.56	c New solution: -6
0.50/0.56	o -6
0.50/0.56	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 179.452 s
0.50/0.56	c ===============================================================================
0.50/0.56	c |      2278 |    1452     2813    11316 |     5000     2278    187 |  0.001 % |
0.50/0.56	c ===============================================================================
0.50/0.56	c New solution: -7
0.50/0.56	o -7
0.50/0.56	c Elapsed CPU time: 0.548916 s	Remaining CPU time: 179.451 s
0.50/0.56	c ===============================================================================
0.50/0.56	c |      2278 |    1452     2814    11416 |     5000     2278    187 |  0.001 % |
0.50/0.56	c ===============================================================================
0.50/0.56	c New solution: -8
0.50/0.56	o -8
0.50/0.56	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 179.447 s
0.50/0.56	c ===============================================================================
0.50/0.56	c |      2293 |    1452     2815    11516 |     5000     2293    187 |  0.001 % |
0.50/0.57	c ===============================================================================
0.50/0.57	c New solution: -9
0.50/0.57	o -9
0.50/0.57	c Elapsed CPU time: 0.554915 s	Remaining CPU time: 179.445 s
0.50/0.57	c ===============================================================================
0.50/0.57	c |      2300 |    1452     2816    11616 |     5000     2300    187 |  0.001 % |
0.50/0.57	c ===============================================================================
0.50/0.57	c New solution: -10
0.50/0.57	o -10
0.50/0.57	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 179.443 s
0.50/0.57	c ===============================================================================
0.50/0.57	c |      2301 |    1452     2817    11716 |     5000     2301    187 |  0.001 % |
0.50/0.59	c |      2401 |    1452     2817    11716 |     5500     2401    187 |  0.001 % |
0.59/0.62	c |      2551 |    1452     2817    11716 |     6050     2551    187 |  0.001 % |
0.59/0.65	c |      2776 |    1452     2817    11716 |     6655     2776    186 |  0.001 % |
0.69/0.71	c |      3113 |    1452     2817    11716 |     7320     3113    186 |  0.001 % |
0.69/0.79	c |      3619 |    1452     2817    11716 |     8052     3619    186 |  0.001 % |
0.89/0.92	c |      4378 |    1452     2817    11716 |     8857     4378    184 |  0.001 % |
1.00/1.10	c |      5518 |    1452     2817    11716 |     9743     5518    181 |  0.001 % |
1.39/1.41	c |      7226 |    1452     2817    11716 |    10717     7226    181 |  0.001 % |
1.89/1.90	c |      9788 |    1452     2817    11716 |    11789     9788    182 |  0.001 % |
2.89/2.94	c |     13632 |    1452     2817    11716 |    12968     7029    180 |  0.001 % |
4.09/4.10	c |     19398 |    1452     2817    11716 |    14265    12795    182 |  0.001 % |
6.19/6.21	c |     28048 |    1452     2817    11716 |    15692    13608    183 |  0.001 % |
9.69/9.71	c |     41022 |    1452     2817    11716 |    17261     9467    186 |  0.001 % |
15.59/15.62	c |     60483 |    1452     2817    11716 |    18987    10252    183 |  0.001 % |
24.59/24.65	c |     89679 |    1452     2817    11716 |    20886    19047    185 |  0.001 % |
43.08/43.11	c |    133470 |    1452     2817    11716 |    22974    16646    186 |  0.001 % |
43.08/43.15	c ===============================================================================
43.08/43.15	c New solution: -11
43.08/43.15	o -11
43.08/43.15	c Elapsed CPU time: 42.6275 s	Remaining CPU time: 137.372 s
43.08/43.15	c ===============================================================================
43.08/43.15	c |    133475 |    1452     2818    11816 |     5000    16651    186 |  0.001 % |
43.28/43.35	c |    133577 |    1452     2818    11816 |     5500     4265    185 |  0.001 % |
43.28/43.38	c |    133728 |    1452     2818    11816 |     6050     4416    184 |  0.001 % |
43.38/43.44	c |    133953 |    1452     2818    11816 |     6655     4641    184 |  0.001 % |
43.48/43.52	c |    134291 |    1452     2818    11816 |     7320     4979    183 |  0.001 % |
43.58/43.62	c |    134797 |    1452     2818    11816 |     8052     5485    183 |  0.001 % |
43.68/43.73	c |    135557 |    1452     2818    11816 |     8857     6245    181 |  0.001 % |
43.89/43.98	c |    136697 |    1452     2818    11816 |     9743     7385    182 |  0.001 % |
43.99/44.05	c ===============================================================================
43.99/44.05	c New solution: -12
43.99/44.05	o -12
43.99/44.05	c Elapsed CPU time: 43.5214 s	Remaining CPU time: 136.479 s
43.99/44.05	c ===============================================================================
43.99/44.05	c |    137091 |    1452     2819    11916 |     5000     7779    181 |  0.001 % |
43.99/44.09	c |    137191 |    1452     2819    11916 |     5500     3990    177 |  0.001 % |
44.08/44.11	c |    137342 |    1452     2819    11916 |     6050     4141    177 |  0.001 % |
44.08/44.14	c |    137567 |    1452     2819    11916 |     6655     4366    177 |  0.001 % |
44.08/44.19	c |    137904 |    1452     2819    11916 |     7320     4703    177 |  0.001 % |
44.18/44.25	c |    138410 |    1452     2819    11916 |     8052     5209    176 |  0.001 % |
44.28/44.39	c |    139169 |    1452     2819    11916 |     8857     5968    177 |  0.001 % |
44.48/44.57	c |    140308 |    1452     2819    11916 |     9743     7107    177 |  0.001 % |
44.78/44.86	c |    142016 |    1452     2819    11916 |    10717     8815    178 |  0.001 % |
45.38/45.43	c |    144578 |    1452     2819    11916 |    11789    11377    179 |  0.001 % |
46.18/46.27	c |    148422 |    1452     2819    11916 |    12968     8617    179 |  0.001 % |
47.58/47.60	c |    154188 |    1452     2819    11916 |    14265     7192    178 |  0.001 % |
49.58/49.60	c |    162838 |    1452     2819    11916 |    15692     8001    178 |  0.001 % |
52.68/52.72	c |    175813 |    1452     2819    11916 |    17261    12419    179 |  0.001 % |
58.07/58.14	c |    195274 |    1452     2819    11916 |    18987    13208    182 |  0.001 % |
69.28/69.38	c |    224467 |    1452     2819    11916 |    20886    11802    184 |  0.001 % |
85.77/85.89	c |    268257 |    1452     2819    11916 |    22974    21017    178 |  0.001 % |
109.16/109.20	c |    333942 |    1452     2819    11916 |    25272    19025    180 |  0.001 % |
153.26/153.31	c |    432468 |    1452     2819    11916 |    27799    22948    181 |  0.001 % |
159.75/159.89	c ===============================================================================
159.75/159.89	c New solution: -13
159.75/159.89	o -13
159.75/159.89	c Elapsed CPU time: 158.143 s	Remaining CPU time: 21.857 s
159.75/159.89	c ===============================================================================
159.75/159.89	c |    448698 |    1452     2820    12016 |     5000    20983    174 |  0.001 % |
159.95/160.04	c |    448798 |    1452     2820    12016 |     5500     2723    168 |  0.001 % |
159.95/160.06	c |    448948 |    1452     2820    12016 |     6050     2873    168 |  0.001 % |
159.95/160.09	c |    449174 |    1452     2820    12016 |     6655     3099    169 |  0.001 % |
160.05/160.12	c |    449512 |    1452     2820    12016 |     7320     3437    170 |  0.001 % |
160.05/160.18	c |    450018 |    1452     2820    12016 |     8052     3943    170 |  0.001 % |
160.15/160.27	c |    450778 |    1452     2820    12016 |     8857     4703    170 |  0.000 % |
160.35/160.42	c |    451917 |    1452     2820    12016 |     9743     5842    171 |  0.001 % |
160.65/160.70	c |    453625 |    1452     2820    12016 |    10717     7550    172 |  0.001 % |
161.05/161.12	c |    456187 |    1452     2820    12016 |    11789    10112    171 |  0.001 % |
161.75/161.84	c |    460031 |    1452     2820    12016 |    12968     7363    166 |  0.001 % |
162.95/163.01	c |    465798 |    1452     2820    12016 |    14265    13130    169 |  0.001 % |
165.15/165.23	c |    474448 |    1452     2820    12016 |    15692    13948    168 |  0.001 % |
168.25/168.33	c |    487423 |    1452     2820    12016 |    17261     9823    177 |  0.001 % |
173.85/173.94	c |    506884 |    1452     2820    12016 |    18987    10618    174 |  0.001 % |
181.95/182.05	c There are 0 assigned variables. 0 in cost function.
182.55/182.69	c core #1
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 201	Core Weight: 1	Total Weight: -99
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c ============================[ Search Statistics ]==============================
182.55/182.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.69	c ===============================================================================
182.55/182.69	c |         0 |    1552     2942    12362 |     5000        0    nan |  0.000 % |
182.64/182.71	c ===============================================================================
182.64/182.73	c core #2
182.64/182.73	c 
182.64/182.73	c 
182.64/182.73	c Core size: 177	Core Weight: 1	Total Weight: -98
182.64/182.73	c
182.64/182.73	c
182.64/182.73	c ============================[ Search Statistics ]==============================
182.64/182.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.73	c ===============================================================================
182.64/182.73	c |         0 |    1652     2946    12570 |     5000        0    nan |  0.000 % |
182.64/182.76	c |       102 |    1652     2946    12570 |     5500      102     75 |  0.001 % |
182.64/182.79	c |       252 |    1638     2946    12570 |     6050      236     74 |  0.848 % |
182.74/182.85	c |       477 |    1638     2946    12570 |     6655      461     68 |  0.909 % |
182.84/182.93	c |       814 |    1635     2946    12570 |     7320      797     64 |  1.756 % |
182.95/183.06	c |      1320 |    1570     2946    12570 |     8052     1075     73 |  5.691 % |
183.14/183.28	c |      2079 |    1493     2946    12570 |     8857     1650     77 | 16.536 % |
183.65/183.71	c |      3218 |    1349     2946    12570 |     9743     2471     82 | 20.530 % |
183.74/183.86	c ===============================================================================
183.85/183.91	c core #3
183.85/183.91	c 
183.85/183.91	c 
183.85/183.91	c Core size: 132	Core Weight: 1	Total Weight: -97
183.85/183.91	c
183.85/183.91	c
183.85/183.91	c ============================[ Search Statistics ]==============================
183.85/183.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.85/183.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.85/183.91	c ===============================================================================
183.85/183.91	c |         0 |    1752     2961    12812 |     5000        0    nan |  0.000 % |
183.85/183.94	c |       100 |    1752     2961    12812 |     5500      100    121 |  0.001 % |
183.85/183.98	c |       250 |    1752     2961    12812 |     6050      250     76 |  0.000 % |
183.94/184.04	c |       475 |    1752     2961    12812 |     6655      475     61 |  0.000 % |
184.04/184.13	c |       815 |    1752     2961    12812 |     7320      815     66 |  0.000 % |
184.14/184.27	c |      1321 |    1752     2961    12812 |     8052     1321     79 |  0.000 % |
184.35/184.49	c |      2080 |    1752     2961    12812 |     8857     2080     83 |  0.000 % |
184.75/184.81	c |      3219 |    1752     2961    12812 |     9743     3219     84 |  0.000 % |
185.24/185.38	c |      4927 |    1752     2961    12812 |    10717     4927     85 |  0.001 % |
186.15/186.29	c |      7490 |    1752     2961    12812 |    11789     7490     83 |  0.002 % |
187.74/187.88	c |     11334 |    1752     2961    12812 |    12968    11334     82 |  0.000 % |
190.55/190.60	c |     17100 |    1737     2961    12812 |    14265     5829     75 |  0.857 % |
194.24/194.35	c |     25749 |    1722     2961    12812 |    15692    10424     79 |  1.713 % |
201.34/201.45	c |     38723 |    1691     2961    12812 |    17261    11678     69 |  4.968 % |
212.74/212.80	c |     58184 |    1625     2961    12812 |    18987     9772     62 |  7.254 % |
231.13/231.20	c |     87376 |    1533     2961    12812 |    20886    11127     67 | 12.502 % |
252.94/253.06	c ===============================================================================
255.93/256.07	c core #4
255.93/256.07	c 
255.93/256.07	c 
255.93/256.07	c Core size: 133	Core Weight: 1	Total Weight: -96
255.93/256.07	c
255.93/256.07	c
255.93/256.07	c ============================[ Search Statistics ]==============================
255.93/256.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
255.93/256.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
255.93/256.07	c ===============================================================================
255.93/256.07	c |         0 |    1852     3225    13784 |     5000        0    nan |  0.000 % |
256.03/256.15	c |       126 |    1852     3225    13784 |     5500      126    141 |  0.001 % |
256.03/256.19	c |       277 |    1852     3225    13784 |     6050      277     94 |  0.000 % |
256.14/256.25	c |       502 |    1852     3225    13784 |     6655      502    117 |  0.000 % |
256.23/256.38	c |       839 |    1852     3225    13784 |     7320      839    110 |  0.000 % |
256.43/256.54	c |      1347 |    1852     3225    13784 |     8052     1347    131 |  0.000 % |
256.62/256.79	c |      2137 |    1852     3225    13784 |     8857     2137    113 |  0.000 % |
257.02/257.19	c |      3276 |    1852     3225    13784 |     9743     3276    109 |  0.000 % |
257.73/257.88	c |      4985 |    1852     3225    13784 |    10717     4985    112 |  0.000 % |
258.83/258.98	c |      7549 |    1852     3225    13784 |    11789     7549    109 |  0.000 % |
260.63/260.71	c |     11393 |    1852     3225    13784 |    12968    11393    115 |  0.000 % |
263.32/263.44	c |     17159 |    1852     3225    13784 |    14265    10547    115 |  0.000 % |
267.82/267.94	c |     25809 |    1852     3225    13784 |    15692    11728    105 |  0.000 % |
276.42/276.50	c |     38783 |    1852     3225    13784 |    17261     8211     62 |  0.000 % |
290.72/290.85	c |     58244 |    1852     3225    13784 |    18987     9478     58 |  0.000 % |
317.01/317.19	c |     87438 |    1852     3225    13784 |    20886    18790     65 |  0.000 % |
351.30/351.47	c |    131228 |    1852     3225    13784 |    22974    19209     99 |  0.000 % |
409.18/409.34	c |    196912 |    1852     3225    13784 |    25272    13610     96 |  0.000 % |
496.26/496.40	c |    295438 |    1852     3225    13784 |    27799    14321    100 |  0.000 % |
655.52/655.71	c |    443227 |    1852     3225    13784 |    30579    13784    103 |  0.000 % |
861.26/861.50	c |    664910 |    1852     3225    13784 |    33637    27717     90 |  0.000 % |
1147.79/1148.13	c |    997438 |    1852     3225    13784 |    37001    12653    170 |  0.000 % |
1445.71/1446.19	c |   1496230 |    1852     3225    13784 |    40701    25741    166 |  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-2702661-1278573277/watcher-2702661-1278573277 -o /tmp/evaluation-result-2702661-1278573277/solver-2702661-1278573277 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702661-1278573277.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.73 0.61 3/106 30278
/proc/meminfo: memFree=1717812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=2960 CPUtime=0
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 337 0 0 0 0 0 0 0 17 0 1 0 25535325 3031040 255 1992294400 134512640 135752675 4287492112 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 740 255 140 303 0 408 0

[startup+0.0821541 s]
/proc/loadavg: 1.00 0.73 0.61 3/106 30278
/proc/meminfo: memFree=1717812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=3384 CPUtime=0.07
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 530 0 0 0 7 0 0 0 17 0 1 0 25535325 3465216 421 1992294400 134512640 135752675 4287492112 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 846 421 144 303 0 541 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3384

[startup+0.101155 s]
/proc/loadavg: 1.00 0.73 0.61 3/106 30278
/proc/meminfo: memFree=1717812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=3384 CPUtime=0.09
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 530 0 0 0 9 0 0 0 17 0 1 0 25535325 3465216 421 1992294400 134512640 135752675 4287492112 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 846 421 144 303 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3384

[startup+0.301177 s]
/proc/loadavg: 1.00 0.73 0.61 3/106 30278
/proc/meminfo: memFree=1717812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=3772 CPUtime=0.29
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 627 0 0 0 29 0 0 0 17 0 1 0 25535325 3862528 518 1992294400 134512640 135752675 4287492112 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 943 519 145 303 0 638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3772

[startup+0.701221 s]
/proc/loadavg: 1.00 0.73 0.61 3/106 30278
/proc/meminfo: memFree=1717812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=5732 CPUtime=0.69
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 1123 0 0 0 68 1 0 0 17 0 1 0 25535325 5869568 1014 1992294400 134512640 135752675 4287492112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 1433 1014 145 303 0 1128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5732

[startup+1.50131 s]
/proc/loadavg: 1.00 0.73 0.61 2/107 30279
/proc/meminfo: memFree=1712844/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=9636 CPUtime=1.49
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 2075 0 0 0 146 3 0 0 18 0 1 0 25535325 9867264 1966 1992294400 134512640 135752675 4287492112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 2409 1966 145 303 0 2104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9636

[startup+3.10149 s]
/proc/loadavg: 1.00 0.73 0.61 2/107 30279
/proc/meminfo: memFree=1708008/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=15212 CPUtime=3.1
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 3487 0 0 0 305 5 0 0 21 0 1 0 25535325 15577088 3378 1992294400 134512640 135752675 4287492112 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 3803 3378 145 303 0 3498 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15212

[startup+6.30084 s]
/proc/loadavg: 1.00 0.74 0.61 2/107 30279
/proc/meminfo: memFree=1696104/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=26760 CPUtime=6.29
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 6363 0 0 0 619 10 0 0 25 0 1 0 25535325 27402240 6254 1992294400 134512640 135752675 4287492112 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 6690 6254 145 303 0 6385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26760

[startup+12.7005 s]
/proc/loadavg: 1.00 0.74 0.61 2/107 30279
/proc/meminfo: memFree=1675148/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=46348 CPUtime=12.68
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 11260 0 0 0 1251 17 0 0 25 0 1 0 25535325 47460352 11151 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 11587 11151 145 303 0 11282 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46348

[startup+25.5009 s]
/proc/loadavg: 1.00 0.75 0.62 2/107 30279
/proc/meminfo: memFree=1641172/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=78936 CPUtime=25.48
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 19369 0 0 0 2517 31 0 0 25 0 1 0 25535325 80830464 19260 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 19734 19260 145 303 0 19429 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78936

[startup+51.1007 s]
/proc/loadavg: 1.00 0.77 0.63 2/107 30281
/proc/meminfo: memFree=1577684/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=144004 CPUtime=51.07
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 35622 0 0 0 5042 65 0 0 25 0 1 0 25535325 147460096 35513 1992294400 134512640 135752675 4287492112 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 36001 35513 145 303 0 35696 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144004

[startup+102.308 s]
/proc/loadavg: 1.00 0.80 0.64 2/107 30283
/proc/meminfo: memFree=1456660/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=262868 CPUtime=102.27
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 65323 0 0 0 10107 120 0 0 25 0 1 0 25535325 269176832 65214 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 65717 65214 145 303 0 65412 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 262868

[startup+162.301 s]
/proc/loadavg: 1.00 0.84 0.66 2/107 30283
/proc/meminfo: memFree=1341588/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=380400 CPUtime=162.25
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 94686 0 0 0 16051 174 0 0 25 0 1 0 25535325 389529600 94577 1992294400 134512640 135752675 4287492112 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 95100 94577 145 303 0 94795 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 380400

[startup+222.301 s]
/proc/loadavg: 1.00 0.86 0.68 2/107 30285
/proc/meminfo: memFree=1269296/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=449432 CPUtime=222.24
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 112053 0 0 0 21991 233 0 0 25 0 1 0 25535325 460218368 111915 1992294400 134512640 135752675 4287492112 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 112358 111915 146 303 0 112053 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 449432

[startup+282.301 s]
/proc/loadavg: 1.00 0.89 0.70 2/107 30287
/proc/meminfo: memFree=1235444/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=483256 CPUtime=282.21
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 120500 0 0 0 27946 275 0 0 25 0 1 0 25535325 494854144 120362 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 120814 120362 146 303 0 120509 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 483256

[startup+342.302 s]
/proc/loadavg: 1.04 0.92 0.72 2/107 30292
/proc/meminfo: memFree=1207048/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=510844 CPUtime=342.21
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 127406 0 0 0 33910 311 0 0 25 0 1 0 25535325 523104256 127268 1992294400 134512640 135752675 4287492112 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 127711 127268 146 303 0 127406 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 510844

[startup+402.301 s]
/proc/loadavg: 1.01 0.93 0.73 2/107 30294
/proc/meminfo: memFree=1176172/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=542184 CPUtime=402.18
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 135216 0 0 0 39872 346 0 0 25 0 1 0 25535325 555196416 135078 1992294400 134512640 135752675 4287492112 18446744073709551615 134639393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 135546 135078 146 303 0 135241 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 542184

[startup+462.302 s]
/proc/loadavg: 1.00 0.94 0.75 2/107 30294
/proc/meminfo: memFree=1144924/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=573084 CPUtime=462.17
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 142961 0 0 0 45836 381 0 0 25 0 1 0 25535325 586838016 142823 1992294400 134512640 135752675 4287492112 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 143271 142823 146 303 0 142966 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 573084

[startup+522.301 s]
/proc/loadavg: 1.00 0.95 0.76 2/107 30296
/proc/meminfo: memFree=1113428/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=604856 CPUtime=522.16
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 150870 0 0 0 51804 412 0 0 25 0 1 0 25535325 619372544 150732 1992294400 134512640 135752675 4287492112 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 151214 150732 146 303 0 150909 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 604856

[startup+582.301 s]
/proc/loadavg: 1.00 0.95 0.77 2/107 30298
/proc/meminfo: memFree=1090488/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=627356 CPUtime=582.13
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 156493 0 0 0 57774 439 0 0 25 0 1 0 25535325 642412544 156355 1992294400 134512640 135752675 4287492112 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 156839 156355 146 303 0 156534 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 627356

[startup+642.301 s]
/proc/loadavg: 1.00 0.96 0.78 2/107 30300
/proc/meminfo: memFree=1072880/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=644852 CPUtime=642.13
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 160855 0 0 0 63754 459 0 0 25 0 1 0 25535325 660328448 160717 1992294400 134512640 135752675 4287492112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 161213 160717 146 303 0 160908 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 644852

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 30306
/proc/meminfo: memFree=951732/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=765728 CPUtime=882.06
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 191086 0 0 0 87620 586 0 0 25 0 1 0 25535325 784105472 190948 1992294400 134512640 135752675 4287492112 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 191432 190948 146 303 0 191127 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 765728

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 30308
/proc/meminfo: memFree=926312/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=791416 CPUtime=942.04
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 197483 0 0 0 93590 614 0 0 25 0 1 0 25535325 810409984 197345 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 197854 197345 146 303 0 197549 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 791416

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 30310
/proc/meminfo: memFree=905232/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=812328 CPUtime=1002.02
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 202701 0 0 0 99566 636 0 0 25 0 1 0 25535325 831823872 202563 1992294400 134512640 135752675 4287492112 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 203082 202563 146 303 0 202777 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 812328

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 30310
/proc/meminfo: memFree=877828/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=839796 CPUtime=1062.01
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 209567 0 0 0 105537 664 0 0 25 0 1 0 25535325 859951104 209429 1992294400 134512640 135752675 4287492112 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 209949 209429 146 303 0 209644 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 839796

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 30312
/proc/meminfo: memFree=810868/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=906856 CPUtime=1122
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 226299 0 0 0 111496 704 0 0 25 0 1 0 25535325 928620544 226161 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 226714 226161 146 303 0 226409 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 906856

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 30314
/proc/meminfo: memFree=716132/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1002300 CPUtime=1181.98
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 250125 0 0 0 117441 757 0 0 25 0 1 0 25535325 1026355200 249987 1992294400 134512640 135752675 4287492112 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 250575 249987 146 303 0 250270 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1002300

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 30316
/proc/meminfo: memFree=639252/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1078324 CPUtime=1241.96
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 269125 0 0 0 123393 803 0 0 25 0 1 0 25535325 1104203776 268987 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 269581 268987 146 303 0 269276 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1078324

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 30318
/proc/meminfo: memFree=567828/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1149048 CPUtime=1301.96
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 286776 0 0 0 129352 844 0 0 25 0 1 0 25535325 1176625152 286638 1992294400 134512640 135752675 4287492112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 287262 286638 146 303 0 286957 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1149048

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 30318
/proc/meminfo: memFree=498760/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1218708 CPUtime=1361.93
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 304192 0 0 0 135305 888 0 0 25 0 1 0 25535325 1247956992 304054 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 304677 304054 146 303 0 304372 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1218708

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 30320
/proc/meminfo: memFree=429444/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1287488 CPUtime=1421.93
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 321358 0 0 0 141265 928 0 0 25 0 1 0 25535325 1318387712 321220 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 321872 321220 146 303 0 321567 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1287488

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/107 30322
/proc/meminfo: memFree=377612/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1340008 CPUtime=1481.9
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 334463 0 0 0 147229 961 0 0 25 0 1 0 25535325 1372168192 334325 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 335002 334325 146 303 0 334697 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1340008

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 30324
/proc/meminfo: memFree=302096/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1414724 CPUtime=1541.89
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 353119 0 0 0 153178 1011 0 0 25 0 1 0 25535325 1448677376 352981 1992294400 134512640 135752675 4287492112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 353681 352981 146 303 0 353376 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1414724

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/107 30326
/proc/meminfo: memFree=221496/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1496068 CPUtime=1601.88
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 373465 0 0 0 159134 1054 0 0 25 0 1 0 25535325 1531973632 373327 1992294400 134512640 135752675 4287492112 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 374017 373327 146 303 0 373712 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1496068

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.90 2/107 30326
/proc/meminfo: memFree=154412/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1562256 CPUtime=1661.86
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 389985 0 0 0 165088 1098 0 0 25 0 1 0 25535325 1599750144 389847 1992294400 134512640 135752675 4287492112 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 390564 389847 146 303 0 390259 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1562256

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30328
/proc/meminfo: memFree=84972/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1632060 CPUtime=1721.84
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 407428 0 0 0 171040 1144 0 0 25 0 1 0 25535325 1671229440 407290 1992294400 134512640 135752675 4287492112 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 408015 407290 146 303 0 407710 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1632060

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30330
/proc/meminfo: memFree=11812/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1704148 CPUtime=1781.82
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 425434 0 0 0 176992 1190 0 0 25 0 1 0 25535325 1745047552 425296 1992294400 134512640 135752675 4287492112 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 426037 425296 146 303 0 425732 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1704148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/107 30330
/proc/meminfo: memFree=9576/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=1730608 CPUtime=1800.03
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4202496 432048 0 0 0 178798 1205 0 0 25 0 1 0 25535325 1772142592 431910 1992294400 134512640 135752675 4287492112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30278/statm: 432652 431910 146 303 0 432347 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1730608

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.97 0.91 2/108 30331
/proc/meminfo: memFree=1106100/2059040 swapFree=4135624/4192956
[pid=30278] ppid=30276 vsize=0 CPUtime=1800.14
/proc/30278/stat : 30278 (wbo1.4b) R 30276 30278 30157 0 -1 4203524 432048 0 0 0 178798 1216 0 0 25 0 1 0 25535325 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30278/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.19
CPU user time (s): 1787.98
CPU system time (s): 12.2101
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1730608

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

runsolver used 3.00854 second user time and 8.47971 second system time

The end

Launcher Data 

Begin job on node038 at 2010-07-08 09:14:37
IDJOB=2702661
IDBENCH=48265
IDSOLVER=1190
FILE ID=node038/2702661-1278573277
PBS_JOBID= 11240086
Free space on /tmp= 62540 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.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-2702661-1278573277/watcher-2702661-1278573277 -o /tmp/evaluation-result-2702661-1278573277/solver-2702661-1278573277 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702661-1278573277.opb

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

MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a
RANDOM SEED=1241188834

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1718588 kB
Buffers:         36764 kB
Cached:         204464 kB
SwapCached:      11668 kB
Active:         114568 kB
Inactive:       141044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1718588 kB
SwapTotal:     4192956 kB
SwapFree:      4135624 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       11684 kB
Mapped:           8464 kB
Slab:            62936 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181420 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-2702661-1278573277.opb

Free space on /tmp at the end= 62536 MiB
End job on node038 at 2010-07-08 09:44:39