Trace number 2702587

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.14 1800.59

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUM95a6f76009dbd8a204f015cb008300c0
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-111
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -146
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

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-2702587-1278578263.opb.
0.00/0.00	c Instance file HOME/instance-2702587-1278578263.opb
0.00/0.00	c File size is 2903147 bytes.
0.49/0.59	c Highest Coefficient sum: 2000
0.49/0.59	c ============================[ Problem Statistics ]=============================
0.49/0.59	c |                                                                             |
0.49/0.59	c |  Parsing time:          0.58         s                                      |
0.49/0.59	c |  Number Variables:      33592                                               |
0.49/0.59	c |  Number Clauses:        32592                                               |
0.49/0.59	c |  Number Cardinality:    2002                                                |
0.49/0.59	c |  Number PB Constraints: 31592                                               |
1.19/1.23	c ============================[ Search Statistics ]==============================
1.19/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |   33592    66186   258736 |    22062        0    nan |  0.000 % |
1.29/1.32	c ===============================================================================
1.29/1.32	c New solution: 0
1.29/1.32	o 0
1.29/1.32	c Elapsed CPU time: 1.2918 s	Remaining CPU time: 178.708 s
1.29/1.32	c ===============================================================================
1.29/1.32	c |         0 |   33592    66187   259736 |    22062        0    nan |  0.000 % |
1.39/1.47	c ===============================================================================
1.39/1.47	c New solution: -1
1.39/1.47	o -1
1.39/1.47	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 178.557 s
1.39/1.47	c ===============================================================================
1.39/1.47	c |         1 |   33592    66188   260736 |    22062        1   1006 |  0.000 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -2
1.49/1.53	o -2
1.49/1.53	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 178.499 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |         1 |   33592    66189   261736 |    22063        1   1006 |  0.000 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: -3
1.49/1.59	o -3
1.49/1.59	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 178.442 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |         1 |   33592    66190   262736 |    22063        1   1006 |  0.000 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: -4
1.59/1.65	o -4
1.59/1.65	c Elapsed CPU time: 1.61475 s	Remaining CPU time: 178.385 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |         1 |   33592    66191   263736 |    22063        1   1006 |  0.000 % |
1.69/1.71	c ===============================================================================
1.69/1.71	c New solution: -5
1.69/1.71	o -5
1.69/1.71	c Elapsed CPU time: 1.67274 s	Remaining CPU time: 178.327 s
1.69/1.71	c ===============================================================================
1.69/1.71	c |         1 |   33592    66192   264736 |    22064        1   1006 |  0.000 % |
1.69/1.77	c ===============================================================================
1.69/1.77	c New solution: -6
1.69/1.77	o -6
1.69/1.77	c Elapsed CPU time: 1.73274 s	Remaining CPU time: 178.267 s
1.69/1.77	c ===============================================================================
1.69/1.77	c |         7 |   33592    66193   265736 |    22064        7   1850 |  0.000 % |
1.79/1.83	c ===============================================================================
1.79/1.83	c New solution: -7
1.79/1.83	o -7
1.79/1.83	c Elapsed CPU time: 1.79073 s	Remaining CPU time: 178.209 s
1.79/1.83	c ===============================================================================
1.79/1.83	c |         7 |   33592    66194   266736 |    22064        7   1850 |  0.000 % |
1.79/1.89	c ===============================================================================
1.79/1.89	c New solution: -8
1.79/1.89	o -8
1.79/1.89	c Elapsed CPU time: 1.84972 s	Remaining CPU time: 178.15 s
1.79/1.89	c ===============================================================================
1.79/1.89	c |         7 |   33592    66195   267736 |    22065        7   1850 |  0.000 % |
1.89/1.95	c ===============================================================================
1.89/1.95	c New solution: -9
1.89/1.95	o -9
1.89/1.95	c Elapsed CPU time: 1.91171 s	Remaining CPU time: 178.088 s
1.89/1.95	c ===============================================================================
1.89/1.95	c |         9 |   33592    66196   268736 |    22065        9   1659 |  0.000 % |
1.99/2.01	c ===============================================================================
1.99/2.01	c New solution: -10
1.99/2.01	o -10
1.99/2.01	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 178.029 s
1.99/2.01	c ===============================================================================
1.99/2.01	c |         9 |   33592    66197   269736 |    22065        9   1659 |  0.000 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: -11
1.99/2.07	o -11
1.99/2.07	c Elapsed CPU time: 2.03169 s	Remaining CPU time: 177.968 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |         9 |   33592    66198   270736 |    22066        9   1659 |  0.000 % |
2.09/2.14	c ===============================================================================
2.09/2.14	c New solution: -12
2.09/2.14	o -12
2.09/2.14	c Elapsed CPU time: 2.09168 s	Remaining CPU time: 177.908 s
2.09/2.14	c ===============================================================================
2.09/2.14	c |         9 |   33592    66199   271736 |    22066        9   1659 |  0.000 % |
2.20/2.20	c ===============================================================================
2.20/2.20	c New solution: -13
2.20/2.20	o -13
2.20/2.20	c Elapsed CPU time: 2.14967 s	Remaining CPU time: 177.85 s
2.20/2.20	c ===============================================================================
2.20/2.20	c |         9 |   33592    66200   272736 |    22066        9   1659 |  0.000 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: -14
2.20/2.27	o -14
2.20/2.27	c Elapsed CPU time: 2.21466 s	Remaining CPU time: 177.785 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |        15 |   33592    66201   273736 |    22067       15   1329 |  0.000 % |
2.30/2.40	c |       115 |   33592    66201   273736 |    24273      115   1892 |  0.000 % |
2.49/2.54	c |       265 |   33592    66201   273736 |    26701      265   1941 |  0.000 % |
2.68/2.74	c |       490 |   33592    66201   273736 |    29371      490   1959 |  0.000 % |
2.99/3.02	c |       827 |   33592    66201   273736 |    32308      827   1942 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: -15
3.09/3.10	o -15
3.09/3.10	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 176.964 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       858 |   33592    66202   274736 |    22067      858   1940 |  0.000 % |
3.19/3.20	c ===============================================================================
3.19/3.20	c New solution: -16
3.19/3.20	o -16
3.19/3.20	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 176.869 s
3.19/3.20	c ===============================================================================
3.19/3.20	c |       892 |   33592    66203   275736 |    22067      892   1938 |  0.000 % |
3.29/3.32	c |       992 |   33592    66203   275736 |    24274      992   1942 |  0.000 % |
3.40/3.48	c |      1142 |   33592    66203   275736 |    26701     1142   1946 |  0.000 % |
3.69/3.71	c |      1367 |   33592    66203   275736 |    29372     1367   1951 |  0.000 % |
3.88/3.99	c |      1704 |   33592    66203   275736 |    32309     1704   1956 |  0.000 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c New solution: -17
3.99/4.07	o -17
3.99/4.07	c Elapsed CPU time: 3.98239 s	Remaining CPU time: 176.018 s
3.99/4.07	c ===============================================================================
3.99/4.07	c |      1718 |   33592    66204   276736 |    22068     1718   1947 |  0.000 % |
4.19/4.21	c |      1818 |   33592    66204   276736 |    24274     1818   1949 |  0.000 % |
4.29/4.36	c |      1968 |   33592    66204   276736 |    26702     1968   1951 |  0.000 % |
4.59/4.61	c |      2193 |   33592    66204   276736 |    29372     2193   1953 |  0.000 % |
4.89/4.93	c |      2530 |   33592    66204   276736 |    32309     2530   1955 |  0.000 % |
5.09/5.17	c ===============================================================================
5.09/5.17	c New solution: -18
5.09/5.17	o -18
5.09/5.17	c Elapsed CPU time: 5.06123 s	Remaining CPU time: 174.939 s
5.09/5.17	c ===============================================================================
5.09/5.17	c |      2725 |   33592    66205   277736 |    22068     2725   1955 |  0.000 % |
5.29/5.31	c |      2825 |   33592    66205   277736 |    24275     2825   1955 |  0.000 % |
5.39/5.46	c |      2975 |   33592    66205   277736 |    26702     2975   1956 |  0.000 % |
5.60/5.66	c |      3200 |   33592    66205   277736 |    29372     3200   1951 |  0.000 % |
5.89/5.90	c ===============================================================================
5.89/5.90	c New solution: -19
5.89/5.90	o -19
5.89/5.90	c Elapsed CPU time: 5.77812 s	Remaining CPU time: 174.222 s
5.89/5.90	c ===============================================================================
5.89/5.90	c |      3396 |   33592    66206   278736 |    22068     3396   1951 |  0.000 % |
5.99/6.03	c |      3496 |   33592    66206   278736 |    24275     3496   1952 |  0.000 % |
6.08/6.19	c |      3646 |   33592    66206   278736 |    26703     3646   1953 |  0.000 % |
6.29/6.39	c |      3871 |   33592    66206   278736 |    29373     3871   1951 |  0.000 % |
6.70/6.74	c |      4208 |   33592    66206   278736 |    32310     4208   1951 |  0.000 % |
7.18/7.21	c |      4714 |   33592    66206   278736 |    35541     4714   1949 |  0.000 % |
7.99/8.01	c |      5473 |   33592    66206   278736 |    39095     5473   1950 |  0.000 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c New solution: -20
8.09/8.10	o -20
8.09/8.10	c Elapsed CPU time: 7.94079 s	Remaining CPU time: 172.059 s
8.09/8.10	c ===============================================================================
8.09/8.10	c |      5495 |   33592    66207   279736 |    22069     5495   1950 |  0.000 % |
8.19/8.26	c |      5595 |   33592    66207   279736 |    24275     5595   1950 |  0.000 % |
8.39/8.45	c |      5745 |   33592    66207   279736 |    26703     5745   1950 |  0.000 % |
8.59/8.68	c |      5970 |   33592    66207   279736 |    29373     5970   1951 |  0.000 % |
8.99/9.00	c |      6307 |   33592    66207   279736 |    32311     6307   1948 |  0.000 % |
9.49/9.53	c |      6813 |   33592    66207   279736 |    35542     6813   1949 |  0.000 % |
10.29/10.37	c |      7572 |   33592    66207   279736 |    39096     7572   1951 |  0.000 % |
10.39/10.44	c ===============================================================================
10.39/10.44	c New solution: -21
10.39/10.44	o -21
10.39/10.44	c Elapsed CPU time: 10.2404 s	Remaining CPU time: 169.76 s
10.39/10.44	c ===============================================================================
10.39/10.44	c |      7576 |   33592    66208   280736 |    22069     7576   1950 |  0.000 % |
10.59/10.60	c |      7676 |   33592    66208   280736 |    24276     7676   1950 |  0.000 % |
10.69/10.79	c |      7826 |   33592    66208   280736 |    26703     7826   1951 |  0.000 % |
11.00/11.07	c |      8051 |   33592    66208   280736 |    29374     8051   1951 |  0.000 % |
11.29/11.39	c |      8388 |   33592    66208   280736 |    32311     8388   1951 |  0.000 % |
12.09/12.16	c |      8894 |   33592    66208   280736 |    35542     8894   1949 |  0.000 % |
12.79/12.88	c |      9653 |   33592    66208   280736 |    39097     9653   1946 |  0.000 % |
14.08/14.17	c |     10792 |   33592    66208   280736 |    43006    10792   1948 |  0.000 % |
16.39/16.40	c |     12500 |   33592    66208   280736 |    47307    12500   1951 |  0.000 % |
16.49/16.51	c ===============================================================================
16.49/16.51	c New solution: -22
16.49/16.51	o -22
16.49/16.51	c Elapsed CPU time: 16.2385 s	Remaining CPU time: 163.761 s
16.49/16.51	c ===============================================================================
16.49/16.51	c |     12526 |   33592    66209   281736 |    22069    12526   1949 |  0.000 % |
16.68/16.76	c |     12626 |   33592    66209   281736 |    24276    12626   1949 |  0.000 % |
16.89/16.96	c |     12776 |   33592    66209   281736 |    26704    12776   1949 |  0.000 % |
17.19/17.20	c |     13001 |   33592    66209   281736 |    29374    13001   1949 |  0.000 % |
17.48/17.58	c |     13338 |   33592    66209   281736 |    32312    13338   1950 |  0.000 % |
17.60/17.67	c ===============================================================================
17.60/17.67	c New solution: -23
17.60/17.67	o -23
17.60/17.67	c Elapsed CPU time: 17.3714 s	Remaining CPU time: 162.629 s
17.60/17.67	c ===============================================================================
17.60/17.67	c |     13353 |   33592    66210   282736 |    22070    13353   1948 |  0.000 % |
17.79/17.82	c |     13453 |   33592    66210   282736 |    24277    13453   1948 |  0.000 % |
17.99/18.00	c |     13603 |   33592    66210   282736 |    26704    13603   1949 |  0.000 % |
18.19/18.27	c |     13828 |   33592    66210   282736 |    29375    13828   1949 |  0.000 % |
18.58/18.60	c |     14165 |   33592    66210   282736 |    32312    14165   1949 |  0.000 % |
18.58/18.68	c ===============================================================================
18.58/18.68	c New solution: -24
18.58/18.68	o -24
18.58/18.68	c Elapsed CPU time: 18.3612 s	Remaining CPU time: 161.639 s
18.58/18.68	c ===============================================================================
18.58/18.68	c |     14169 |   33592    66211   283736 |    22070    14169   1949 |  0.000 % |
18.79/18.83	c |     14269 |   33592    66211   283736 |    24277    14269   1949 |  0.000 % |
18.98/19.03	c |     14419 |   33592    66211   283736 |    26705    14419   1949 |  0.000 % |
19.28/19.32	c |     14644 |   33592    66211   283736 |    29375    14644   1949 |  0.000 % |
19.59/19.68	c |     14981 |   33592    66211   283736 |    32313    14981   1950 |  0.000 % |
19.68/19.76	c ===============================================================================
19.68/19.76	c New solution: -25
19.68/19.76	o -25
19.68/19.76	c Elapsed CPU time: 19.421 s	Remaining CPU time: 160.579 s
19.68/19.76	c ===============================================================================
19.68/19.76	c |     14986 |   33592    66212   284736 |    22070    14986   1949 |  0.000 % |
19.90/19.93	c |     15087 |   33592    66212   284736 |    24277    15087   1942 |  0.000 % |
20.08/20.19	c |     15237 |   33592    66212   284736 |    26705    15237   1942 |  0.000 % |
20.39/20.49	c |     15462 |   33592    66212   284736 |    29376    15462   1942 |  0.000 % |
20.78/20.85	c |     15799 |   33592    66212   284736 |    32313    15799   1941 |  0.000 % |
21.28/21.32	c |     16305 |   33592    66212   284736 |    35545    16305   1941 |  0.000 % |
21.99/22.10	c |     17064 |   33592    66212   284736 |    39099    17064   1942 |  0.000 % |
23.19/23.24	c |     18203 |   33592    66212   284736 |    43009    18203   1943 |  0.000 % |
25.79/25.85	c |     19911 |   33592    66212   284736 |    47310    19911   1945 |  0.000 % |
28.48/28.58	c |     22473 |   33592    66212   284736 |    52041    22473   1937 |  0.000 % |
34.38/34.45	c |     26317 |   33592    66212   284736 |    57245    26317   1934 |  0.000 % |
41.38/41.41	c |     32083 |   33592    66212   284736 |    62970    32083   1929 |  0.000 % |
56.78/56.89	c |     40732 |   33592    66212   284736 |    69267    40732   1936 |  0.000 % |
80.07/80.10	c |     53706 |   33592    66212   284736 |    76193    53706   1943 |  0.000 % |
131.46/131.59	c |     73167 |   33592    66212   284736 |    83813    73167   1943 |  0.000 % |
181.35/181.40	c There are 0 assigned variables. 0 in cost function.
181.75/181.88	c core #1
181.75/181.88	c 
181.75/181.88	c 
181.75/181.88	c Core size: 2001	Core Weight: 1	Total Weight: -999
181.75/181.88	c
181.75/181.88	c
181.75/181.88	c ============================[ Search Statistics ]==============================
181.75/181.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.75/181.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.75/181.88	c ===============================================================================
181.75/181.88	c |         0 |   34592    67268   287900 |    22422        0    nan |  0.000 % |
183.54/183.60	c |       100 |   34592    67268   287900 |    24664      100    398 |  0.127 % |
185.34/185.47	c |       250 |   34592    67268   287900 |    27131      250    449 |  0.217 % |
189.54/189.67	c |       475 |   34517    67268   287900 |    29844      473    350 |  0.301 % |
192.34/192.41	c |       812 |   34515    67268   287900 |    32829      810    414 |  0.301 % |
193.15/193.27	c ===============================================================================
193.45/193.54	c core #2
193.45/193.54	c 
193.45/193.54	c 
193.45/193.54	c Core size: 1997	Core Weight: 1	Total Weight: -998
193.45/193.54	c
193.45/193.54	c
193.45/193.54	c ============================[ Search Statistics ]==============================
193.45/193.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.54	c ===============================================================================
193.45/193.54	c |         0 |   35592    67305   290008 |    22435        0    nan |  0.000 % |
195.25/195.33	c |       100 |   35592    67305   290008 |    24678      100    857 |  0.000 % |
197.84/197.93	c |       250 |   35592    67305   290008 |    27146      250    692 |  0.000 % |
201.84/201.97	c |       475 |   35592    67305   290008 |    29860      475    657 |  0.000 % |
206.54/206.67	c |       812 |   35592    67305   290008 |    32847      812    680 |  0.000 % |
212.44/212.58	c |      1318 |   35592    67305   290008 |    36131     1318    715 |  0.000 % |
221.24/221.36	c |      2077 |   35592    67305   290008 |    39744     2077    727 |  0.000 % |
233.14/233.30	c |      3216 |   35592    67305   290008 |    43719     3216    758 |  0.000 % |
253.03/253.19	c |      4924 |   35592    67305   290008 |    48091     4924    768 |  0.000 % |
278.52/278.62	c |      7486 |   35565    67305   290008 |    52900     7399    801 |  0.076 % |
319.42/319.54	c |     11330 |   35563    67305   290008 |    58190    11243    811 |  0.152 % |
384.50/384.62	c |     17096 |   35538    67305   290008 |    64009    16412    826 |  0.152 % |
478.48/478.68	c |     25745 |   35502    67305   290008 |    70410    24850    861 |  0.447 % |
629.64/629.85	c |     38719 |   35499    67305   290008 |    77451    37824    895 |  0.531 % |
857.08/857.30	c |     58403 |   35371    67305   290008 |    85196    56802    926 |  2.284 % |
1213.20/1213.55	c |     87595 |   34309    67305   290008 |    93716    79277    951 |  5.631 % |
1733.46/1733.96	c |    131384 |   30370    67305   290008 |   103088    36732    975 | 17.650 % |

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-2702587-1278578263/watcher-2702587-1278578263 -o /tmp/evaluation-result-2702587-1278578263/solver-2702587-1278578263 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702587-1278578263.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 28554
/proc/meminfo: memFree=1670636/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=5916 CPUtime=0
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 1 0 26033854 6057984 328 1992294400 134512640 135752675 4293820288 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 1479 328 137 303 0 465 0

[startup+0.108 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 28554
/proc/meminfo: memFree=1670636/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=11428 CPUtime=0.1
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 1786 0 0 0 10 0 0 0 20 0 1 0 26033854 11702272 1704 1992294400 134512640 135752675 4293820288 18446744073709551615 134574323 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 2857 1704 239 303 0 1843 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11428

[startup+0.202008 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 28554
/proc/meminfo: memFree=1670636/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=13848 CPUtime=0.2
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 2386 0 0 0 19 1 0 0 20 0 1 0 26033854 14180352 2271 1992294400 134512640 135752675 4293820288 18446744073709551615 134574285 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 3462 2271 351 303 0 2448 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13848

[startup+0.302016 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 28554
/proc/meminfo: memFree=1670636/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=15396 CPUtime=0.29
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 2907 0 0 0 28 1 0 0 20 0 1 0 26033854 15765504 2792 1992294400 134512640 135752675 4293820288 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 3849 2792 487 303 0 2835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15396

[startup+0.701052 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 28554
/proc/meminfo: memFree=1670636/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=23560 CPUtime=0.69
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 5981 0 0 0 67 2 0 0 21 0 1 0 26033854 24125440 5060 1992294400 134512640 135752675 4293820288 18446744073709551615 134605460 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 5890 5060 142 303 0 5585 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23560

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28555
/proc/meminfo: memFree=1648308/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=23956 CPUtime=1.49
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 6746 0 0 0 146 3 0 0 23 0 1 0 26033854 24530944 5229 1992294400 134512640 135752675 4293820288 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 5989 5229 144 303 0 5684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23956

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28555
/proc/meminfo: memFree=1649672/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=26332 CPUtime=3.09
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 7317 0 0 0 302 7 0 0 25 0 1 0 26033854 26963968 5800 1992294400 134512640 135752675 4293820288 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 6583 5800 145 303 0 6278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26332

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28556
/proc/meminfo: memFree=1631568/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=48328 CPUtime=6.29
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 12817 0 0 0 616 13 0 0 25 0 1 0 26033854 49487872 11300 1992294400 134512640 135752675 4293820288 18446744073709551615 134638134 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 12082 11300 145 303 0 11777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48328

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28556
/proc/meminfo: memFree=1586432/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=92364 CPUtime=12.68
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 23818 0 0 0 1245 23 0 0 25 0 1 0 26033854 94580736 22301 1992294400 134512640 135752675 4293820288 18446744073709551615 134638095 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 23091 22301 145 303 0 22786 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92364

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28556
/proc/meminfo: memFree=1502856/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=172252 CPUtime=25.48
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 43804 0 0 0 2508 40 0 0 25 0 1 0 26033854 176386048 42287 1992294400 134512640 135752675 4293820288 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 43063 42287 145 303 0 42758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 172252

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28557
/proc/meminfo: memFree=1363976/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=311280 CPUtime=51.08
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 78552 0 0 0 5049 59 0 0 25 0 1 0 26033854 318750720 77035 1992294400 134512640 135752675 4293820288 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 77820 77035 145 303 0 77515 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 311280

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28558
/proc/meminfo: memFree=1175124/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=498144 CPUtime=102.27
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 125236 0 0 0 10139 88 0 0 25 0 1 0 26033854 510099456 123719 1992294400 134512640 135752675 4293820288 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 124536 123719 145 303 0 124231 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 498144

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28560
/proc/meminfo: memFree=983916/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=691284 CPUtime=162.25
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 173543 0 0 0 16103 122 0 0 25 0 1 0 26033854 707874816 172026 1992294400 134512640 135752675 4293820288 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 172821 172026 145 303 0 172516 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 691284

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28561
/proc/meminfo: memFree=920552/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=222.24
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190011 0 0 0 22087 137 0 0 25 0 1 0 26033854 768487424 187087 1992294400 134512640 135752675 4293820288 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187087 146 303 0 187314 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 750476

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28563
/proc/meminfo: memFree=920552/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=282.22
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190011 0 0 0 28081 141 0 0 25 0 1 0 26033854 768487424 187087 1992294400 134512640 135752675 4293820288 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187087 146 303 0 187314 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 750476

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28565
/proc/meminfo: memFree=920552/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=342.21
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 34077 144 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 750476

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28566
/proc/meminfo: memFree=920428/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=402.2
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 40072 148 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 750476

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28568
/proc/meminfo: memFree=920428/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=462.18
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 46067 151 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 750476

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28569
/proc/meminfo: memFree=920428/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=522.16
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 52063 153 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 750476

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28571
/proc/meminfo: memFree=920304/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=582.15
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 58057 158 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 750476

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28573
/proc/meminfo: memFree=920304/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=642.14
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190012 0 0 0 64053 161 0 0 25 0 1 0 26033854 768487424 187088 1992294400 134512640 135752675 4293820288 18446744073709551615 134639871 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187088 146 303 0 187314 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 750476

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28577
/proc/meminfo: memFree=920056/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=822.09
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190014 0 0 0 82038 171 0 0 25 0 1 0 26033854 768487424 187090 1992294400 134512640 135752675 4293820288 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187090 146 303 0 187314 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 750476

[startup+882.307 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28579
/proc/meminfo: memFree=920056/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=882.09
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190014 0 0 0 88034 175 0 0 25 0 1 0 26033854 768487424 187090 1992294400 134512640 135752675 4293820288 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187090 146 303 0 187314 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 750476

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28581
/proc/meminfo: memFree=920056/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=942.06
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190014 0 0 0 94029 177 0 0 25 0 1 0 26033854 768487424 187090 1992294400 134512640 135752675 4293820288 18446744073709551615 134638532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187090 146 303 0 187314 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 750476

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28582
/proc/meminfo: memFree=920056/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1002.05
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190014 0 0 0 100024 181 0 0 25 0 1 0 26033854 768487424 187090 1992294400 134512640 135752675 4293820288 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187090 146 303 0 187314 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 750476

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28584
/proc/meminfo: memFree=919932/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1062.03
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 106019 184 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 750476

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28585
/proc/meminfo: memFree=919932/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1122.02
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 112015 187 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 750476

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28587
/proc/meminfo: memFree=919932/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1182
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 118010 190 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 750476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28589
/proc/meminfo: memFree=919808/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1241.99
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 124004 195 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 750476

[startup+1302.3 s]
/proc/loadavg: 1.08 1.02 0.96 2/107 28590
/proc/meminfo: memFree=919684/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1301.97
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 129998 199 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 750476

[startup+1362.3 s]
/proc/loadavg: 1.10 1.03 0.96 2/107 28592
/proc/meminfo: memFree=919684/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1361.97
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 135994 203 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 750476

[startup+1422.3 s]
/proc/loadavg: 1.10 1.04 0.97 2/107 28602
/proc/meminfo: memFree=919064/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1421.95
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190015 0 0 0 141989 206 0 0 25 0 1 0 26033854 768487424 187091 1992294400 134512640 135752675 4293820288 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187091 146 303 0 187314 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 750476

[startup+1482.3 s]
/proc/loadavg: 1.10 1.04 0.97 2/107 28604
/proc/meminfo: memFree=919188/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1481.92
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190016 0 0 0 147984 208 0 0 25 0 1 0 26033854 768487424 187092 1992294400 134512640 135752675 4293820288 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187092 146 303 0 187314 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 750476

[startup+1542.31 s]
/proc/loadavg: 1.07 1.05 0.98 2/107 28606
/proc/meminfo: memFree=919560/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=750476 CPUtime=1541.92
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 190016 0 0 0 153979 213 0 0 25 0 1 0 26033854 768487424 187092 1992294400 134512640 135752675 4293820288 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 187619 187092 146 303 0 187314 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 750476

[startup+1602.3 s]
/proc/loadavg: 1.02 1.04 0.98 2/107 28607
/proc/meminfo: memFree=906664/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=764416 CPUtime=1601.89
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 193498 0 0 0 159970 219 0 0 25 0 1 0 26033854 782761984 190574 1992294400 134512640 135752675 4293820288 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 191104 190574 146 303 0 190799 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 764416

[startup+1662.3 s]
/proc/loadavg: 1.01 1.03 0.98 2/107 28609
/proc/meminfo: memFree=873308/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=797244 CPUtime=1661.88
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 201722 0 0 0 165959 229 0 0 25 0 1 0 26033854 816377856 198798 1992294400 134512640 135752675 4293820288 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 199311 198798 146 303 0 199006 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 797244

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 28610
/proc/meminfo: memFree=839456/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=831712 CPUtime=1721.86
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 210310 0 0 0 171947 239 0 0 25 0 1 0 26033854 851673088 207386 1992294400 134512640 135752675 4293820288 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 207928 207386 146 303 0 207623 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 831712

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28612
/proc/meminfo: memFree=808828/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=861788 CPUtime=1781.85
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 217847 0 0 0 177936 249 0 0 25 0 1 0 26033854 882470912 214923 1992294400 134512640 135752675 4293820288 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 215447 214923 146 303 0 215142 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 861788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28612
/proc/meminfo: memFree=798908/2059040 swapFree=4139712/4192956
[pid=28554] ppid=28552 vsize=871440 CPUtime=1800.05
/proc/28554/stat : 28554 (wbo1.4b) R 28552 28554 27966 0 -1 4202496 220248 0 0 0 179754 251 0 0 25 0 1 0 26033854 892354560 217324 1992294400 134512640 135752675 4293820288 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28554/statm: 217860 217324 146 303 0 217555 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 871440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.14
CPU user time (s): 1797.54
CPU system time (s): 2.5976
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 871440

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

runsolver used 3.17152 second user time and 8.30674 second system time

The end

Launcher Data 

Begin job on node043 at 2010-07-08 10:37:43
IDJOB=2702587
IDBENCH=48228
IDSOLVER=1190
FILE ID=node043/2702587-1278578263
PBS_JOBID= 11240082
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= 95a6f76009dbd8a204f015cb008300c0
RANDOM SEED=1605173409

node043.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.219
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.219
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.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1673520 kB
Buffers:         84784 kB
Cached:         209460 kB
SwapCached:       8072 kB
Active:         151176 kB
Inactive:       158020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1673520 kB
SwapTotal:     4192956 kB
SwapFree:      4139712 kB
Dirty:            3492 kB
Writeback:           0 kB
AnonPages:       11808 kB
Mapped:          12008 kB
Slab:            54420 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180968 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-2702587-1278578263.opb

Free space on /tmp at the end= 62524 MiB
End job on node043 at 2010-07-08 11:07:48