Trace number 2702603

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.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_5.opb
MD5SUMc7b55c33bf2dc9c08660966375c6138a
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-59
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
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)150576
Sum of products size (including duplicates)301152
Number of different products75288
Sum of products size150576

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-2702603-1278578322.opb.
0.00/0.00	c Instance file HOME/instance-2702603-1278578322.opb
0.00/0.00	c File size is 6867908 bytes.
1.39/1.49	c Highest Coefficient sum: 2000
1.39/1.49	c ============================[ Problem Statistics ]=============================
1.39/1.49	c |                                                                             |
1.39/1.49	c |  Parsing time:          1.45         s                                      |
1.39/1.49	c |  Number Variables:      77288                                               |
1.39/1.49	c |  Number Clauses:        76288                                               |
1.39/1.49	c |  Number Cardinality:    2002                                                |
1.39/1.49	c |  Number PB Constraints: 75288                                               |
4.09/4.14	c ============================[ Search Statistics ]==============================
4.09/4.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.14	c ===============================================================================
4.09/4.14	c |         0 |   77288   153578   608304 |    51192        0    nan |  0.000 % |
4.19/4.29	c ===============================================================================
4.19/4.29	c New solution: 0
4.19/4.29	o 0
4.19/4.29	c Elapsed CPU time: 4.22936 s	Remaining CPU time: 175.771 s
4.19/4.29	c ===============================================================================
4.19/4.29	c |         0 |   77288   153579   609304 |    51193        0    nan |  0.000 % |
4.49/4.52	c ===============================================================================
4.49/4.52	c New solution: -1
4.49/4.52	o -1
4.49/4.52	c Elapsed CPU time: 4.46132 s	Remaining CPU time: 175.539 s
4.49/4.52	c ===============================================================================
4.49/4.52	c |         1 |   77288   153580   610304 |    51193        1   1001 |  0.000 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c New solution: -2
4.59/4.66	o -2
4.59/4.66	c Elapsed CPU time: 4.5953 s	Remaining CPU time: 175.405 s
4.59/4.66	c ===============================================================================
4.59/4.66	c |         1 |   77288   153581   611304 |    51193        1   1001 |  0.000 % |
4.79/4.80	c ===============================================================================
4.79/4.80	c New solution: -3
4.79/4.80	o -3
4.79/4.80	c Elapsed CPU time: 4.72728 s	Remaining CPU time: 175.273 s
4.79/4.80	c ===============================================================================
4.79/4.80	c |         1 |   77288   153582   612304 |    51194        1   1001 |  0.000 % |
4.89/4.93	c ===============================================================================
4.89/4.93	c New solution: -4
4.89/4.93	o -4
4.89/4.93	c Elapsed CPU time: 4.85926 s	Remaining CPU time: 175.141 s
4.89/4.93	c ===============================================================================
4.89/4.93	c |         1 |   77288   153583   613304 |    51194        1   1001 |  0.000 % |
4.99/5.07	c ===============================================================================
4.99/5.07	c New solution: -5
4.99/5.07	o -5
4.99/5.07	c Elapsed CPU time: 4.99624 s	Remaining CPU time: 175.004 s
4.99/5.07	c ===============================================================================
4.99/5.07	c |        10 |   77288   153584   614304 |    51194       10   1893 |  0.000 % |
5.19/5.21	c ===============================================================================
5.19/5.21	c New solution: -6
5.19/5.21	o -6
5.19/5.21	c Elapsed CPU time: 5.13122 s	Remaining CPU time: 174.869 s
5.19/5.21	c ===============================================================================
5.19/5.21	c |        13 |   77288   153585   615304 |    51195       13   1687 |  0.000 % |
5.29/5.38	c |       114 |   77288   153585   615304 |    56314      114   1955 |  0.000 % |
5.50/5.58	c |       264 |   77288   153585   615304 |    61945      264   1975 |  0.000 % |
5.79/5.87	c |       489 |   77288   153585   615304 |    68140      489   1982 |  0.000 % |
6.18/6.27	c |       826 |   77288   153585   615304 |    74954      826   1985 |  0.000 % |
6.39/6.44	c ===============================================================================
6.39/6.44	c New solution: -7
6.39/6.44	o -7
6.39/6.44	c Elapsed CPU time: 6.34703 s	Remaining CPU time: 173.653 s
6.39/6.44	c ===============================================================================
6.39/6.44	c |       831 |   77288   153586   616304 |    51195      831   1978 |  0.000 % |
6.60/6.64	c |       931 |   77288   153586   616304 |    56314      931   1979 |  0.000 % |
6.79/6.86	c |      1081 |   77288   153586   616304 |    61946     1081   1981 |  0.000 % |
7.19/7.21	c |      1306 |   77288   153586   616304 |    68140     1306   1982 |  0.000 % |
7.59/7.64	c |      1643 |   77288   153586   616304 |    74955     1643   1984 |  0.000 % |
7.79/7.86	c ===============================================================================
7.79/7.86	c New solution: -8
7.79/7.86	o -8
7.79/7.86	c Elapsed CPU time: 7.74982 s	Remaining CPU time: 172.25 s
7.79/7.86	c ===============================================================================
7.79/7.86	c |      1648 |   77288   153587   617304 |    51195     1648   1979 |  0.000 % |
7.99/8.07	c |      1748 |   77288   153587   617304 |    56315     1748   1980 |  0.000 % |
8.29/8.33	c |      1898 |   77288   153587   617304 |    61946     1898   1980 |  0.000 % |
8.59/8.67	c |      2124 |   77288   153587   617304 |    68141     2124   1981 |  0.000 % |
9.08/9.11	c |      2461 |   77288   153587   617304 |    74955     2461   1982 |  0.000 % |
9.29/9.33	c ===============================================================================
9.29/9.33	c New solution: -9
9.29/9.33	o -9
9.29/9.33	c Elapsed CPU time: 9.1976 s	Remaining CPU time: 170.802 s
9.29/9.33	c ===============================================================================
9.29/9.33	c |      2468 |   77288   153588   618304 |    51196     2468   1978 |  0.000 % |
9.49/9.58	c |      2568 |   77288   153588   618304 |    56315     2568   1979 |  0.000 % |
9.79/9.82	c |      2718 |   77288   153588   618304 |    61947     2718   1979 |  0.000 % |
10.09/10.13	c |      2943 |   77288   153588   618304 |    68141     2943   1980 |  0.000 % |
10.49/10.59	c |      3280 |   77288   153588   618304 |    74956     3280   1980 |  0.000 % |
10.79/10.84	c ===============================================================================
10.79/10.84	c New solution: -10
10.79/10.84	o -10
10.79/10.84	c Elapsed CPU time: 10.6874 s	Remaining CPU time: 169.313 s
10.79/10.84	c ===============================================================================
10.79/10.84	c |      3286 |   77288   153589   619304 |    51196     3286   1978 |  0.000 % |
11.00/11.04	c |      3386 |   77288   153589   619304 |    56315     3386   1978 |  0.000 % |
11.29/11.32	c |      3537 |   77288   153589   619304 |    61947     3537   1978 |  0.000 % |
11.59/11.63	c |      3762 |   77288   153589   619304 |    68142     3762   1979 |  0.000 % |
12.09/12.13	c |      4100 |   77288   153589   619304 |    74956     4100   1979 |  0.000 % |
12.38/12.44	c ===============================================================================
12.38/12.44	c New solution: -11
12.38/12.44	o -11
12.38/12.44	c Elapsed CPU time: 12.2741 s	Remaining CPU time: 167.726 s
12.38/12.44	c ===============================================================================
12.38/12.44	c |      4117 |   77288   153590   620304 |    51196     4117   1974 |  0.000 % |
12.68/12.74	c |      4217 |   77288   153590   620304 |    56316     4217   1974 |  0.000 % |
13.19/13.21	c |      4368 |   77288   153590   620304 |    61947     4368   1975 |  0.000 % |
13.48/13.50	c |      4593 |   77288   153590   620304 |    68142     4593   1975 |  0.000 % |
13.89/13.97	c |      4931 |   77288   153590   620304 |    74957     4931   1976 |  0.000 % |
14.19/14.23	c ===============================================================================
14.19/14.23	c New solution: -12
14.19/14.23	o -12
14.19/14.23	c Elapsed CPU time: 14.0379 s	Remaining CPU time: 165.962 s
14.19/14.23	c ===============================================================================
14.19/14.23	c |      4943 |   77288   153591   621304 |    51197     4943   1972 |  0.000 % |
14.38/14.43	c |      5043 |   77288   153591   621304 |    56316     5043   1972 |  0.000 % |
14.68/14.70	c |      5193 |   77288   153591   621304 |    61948     5193   1972 |  0.000 % |
14.99/15.03	c |      5418 |   77288   153591   621304 |    68143     5418   1970 |  0.000 % |
15.58/15.65	c |      5755 |   77288   153591   621304 |    74957     5755   1969 |  0.000 % |
16.50/16.51	c |      6261 |   77288   153591   621304 |    82453     6261   1969 |  0.000 % |
17.49/17.53	c |      7021 |   77288   153591   621304 |    90698     7021   1955 |  0.000 % |
18.79/18.88	c |      8160 |   77288   153591   621304 |    99768     8160   1942 |  0.000 % |
21.48/21.52	c |      9868 |   77288   153591   621304 |   109745     9868   1942 |  0.000 % |
25.58/25.62	c |     12430 |   77288   153591   621304 |   120719    12430   1951 |  0.000 % |
25.88/25.98	c ===============================================================================
25.88/25.98	c New solution: -13
25.88/25.98	o -13
25.88/25.98	c Elapsed CPU time: 25.6801 s	Remaining CPU time: 154.32 s
25.88/25.98	c ===============================================================================
25.88/25.98	c |     12438 |   77288   153592   622304 |    51197    12438   1950 |  0.000 % |
26.19/26.27	c |     12538 |   77288   153592   622304 |    56317    12538   1950 |  0.000 % |
26.58/26.60	c |     12689 |   77288   153592   622304 |    61948    12689   1950 |  0.000 % |
27.19/27.22	c |     12914 |   77288   153592   622304 |    68143    12914   1951 |  0.000 % |
27.98/28.05	c |     13251 |   77288   153592   622304 |    74958    13251   1952 |  0.000 % |
28.28/28.38	c ===============================================================================
28.28/28.38	c New solution: -14
28.28/28.38	o -14
28.28/28.38	c Elapsed CPU time: 28.0597 s	Remaining CPU time: 151.94 s
28.28/28.38	c ===============================================================================
28.28/28.38	c |     13257 |   77288   153593   623304 |    51197    13257   1951 |  0.000 % |
28.78/28.87	c |     13357 |   77288   153593   623304 |    56317    13357   1951 |  0.000 % |
29.09/29.17	c |     13507 |   77288   153593   623304 |    61949    13507   1951 |  0.000 % |
29.48/29.58	c |     13732 |   77288   153593   623304 |    68144    13732   1951 |  0.000 % |
30.38/30.46	c |     14070 |   77288   153593   623304 |    74958    14070   1951 |  0.000 % |
31.18/31.20	c |     14576 |   77288   153593   623304 |    82454    14576   1952 |  0.000 % |
32.38/32.44	c |     15335 |   77288   153593   623304 |    90699    15335   1947 |  0.000 % |
34.08/34.12	c |     16474 |   77288   153593   623304 |    99769    16474   1940 |  0.000 % |
36.19/36.27	c |     18184 |   77288   153593   623304 |   109746    18184   1939 |  0.000 % |
43.08/43.17	c |     20747 |   77288   153593   623304 |   120721    20747   1923 |  0.000 % |
49.38/49.42	c |     24591 |   77288   153593   623304 |   132793    24591   1924 |  0.000 % |
60.76/60.89	c |     30358 |   77288   153593   623304 |   146072    30358   1917 |  0.000 % |
84.56/84.64	c |     39007 |   77288   153593   623304 |   160680    39007   1924 |  0.000 % |
125.55/125.69	c |     51981 |   77288   153593   623304 |   176748    51981   1938 |  0.000 % |
126.35/126.42	c ===============================================================================
126.35/126.42	c New solution: -15
126.35/126.42	o -15
126.35/126.42	c Elapsed CPU time: 125.522 s	Remaining CPU time: 54.4781 s
126.35/126.42	c ===============================================================================
126.35/126.42	c |     52072 |   77288   153594   624304 |    51198    52072   1936 |  0.000 % |
126.94/127.08	c |     52172 |   77288   153594   624304 |    56317    11663   1971 |  0.000 % |
127.25/127.39	c |     52323 |   77288   153594   624304 |    61949    11814   1971 |  0.000 % |
127.84/127.97	c |     52548 |   77288   153594   624304 |    68144    12039   1971 |  0.000 % |
128.35/128.43	c |     52885 |   77288   153594   624304 |    74958    12376   1971 |  0.000 % |
128.75/128.81	c ===============================================================================
128.75/128.81	c New solution: -16
128.75/128.81	o -16
128.75/128.81	c Elapsed CPU time: 127.884 s	Remaining CPU time: 52.1164 s
128.75/128.81	c ===============================================================================
128.75/128.81	c |     52914 |   77288   153595   625304 |    51198    12405   1968 |  0.000 % |
129.34/129.45	c |     53015 |   77288   153595   625304 |    56318    12506   1968 |  0.000 % |
129.85/129.94	c |     53165 |   77288   153595   625304 |    61949    12656   1968 |  0.000 % |
130.35/130.47	c |     53390 |   77288   153595   625304 |    68144    12881   1969 |  0.000 % |
131.35/131.40	c |     53727 |   77288   153595   625304 |    74959    13218   1969 |  0.000 % |
131.65/131.79	c ===============================================================================
131.65/131.79	c New solution: -17
131.65/131.79	o -17
131.65/131.79	c Elapsed CPU time: 130.832 s	Remaining CPU time: 49.1679 s
131.65/131.79	c ===============================================================================
131.65/131.79	c |     53758 |   77288   153596   626304 |    51198    13249   1966 |  0.000 % |
132.24/132.31	c |     53858 |   77288   153596   626304 |    56318    13349   1966 |  0.000 % |
132.45/132.57	c |     54008 |   77288   153596   626304 |    61950    13499   1966 |  0.000 % |
132.95/133.04	c |     54233 |   77288   153596   626304 |    68145    13724   1965 |  0.000 % |
133.94/134.08	c |     54570 |   77288   153596   626304 |    74959    14061   1965 |  0.000 % |
135.15/135.23	c |     55076 |   77288   153596   626304 |    82455    14567   1963 |  0.000 % |
136.75/136.85	c |     55835 |   77288   153596   626304 |    90701    15326   1963 |  0.000 % |
137.04/137.16	c ===============================================================================
137.04/137.16	c New solution: -18
137.04/137.16	o -18
137.04/137.16	c Elapsed CPU time: 136.155 s	Remaining CPU time: 43.8447 s
137.04/137.16	c ===============================================================================
137.04/137.16	c |     55855 |   77288   153597   627304 |    51199    15346   1962 |  0.000 % |
137.35/137.48	c |     55955 |   77288   153597   627304 |    56318    15446   1962 |  0.000 % |
137.74/137.80	c |     56105 |   77288   153597   627304 |    61950    15596   1962 |  0.000 % |
138.04/138.13	c |     56330 |   77288   153597   627304 |    68145    15821   1962 |  0.000 % |
139.04/139.12	c |     56668 |   77288   153597   627304 |    74960    16159   1962 |  0.000 % |
139.74/139.83	c |     57174 |   77288   153597   627304 |    82456    16665   1962 |  0.000 % |
142.24/142.36	c |     57933 |   77288   153597   627304 |    90702    17424   1962 |  0.000 % |
144.34/144.48	c |     59072 |   77288   153597   627304 |    99772    18563   1963 |  0.000 % |
147.04/147.15	c |     60780 |   77288   153597   627304 |   109749    20271   1962 |  0.000 % |
153.84/153.93	c |     63343 |   77288   153597   627304 |   120724    22834   1963 |  0.000 % |
163.33/163.43	c |     67187 |   77288   153597   627304 |   132797    26678   1965 |  0.000 % |
173.43/173.50	c |     72953 |   77288   153597   627304 |   146076    32444   1967 |  0.000 % |
174.84/174.98	c ===============================================================================
174.84/174.98	c New solution: -19
174.84/174.98	o -19
174.84/174.98	c Elapsed CPU time: 173.715 s	Remaining CPU time: 6.28541 s
174.84/174.98	c ===============================================================================
174.84/174.98	c |     73118 |   77288   153598   628304 |    51199    32609   1961 |  0.000 % |
175.62/175.78	c |     73218 |   77288   153598   628304 |    56319    32709   1961 |  0.000 % |
176.23/176.38	c |     73368 |   77288   153598   628304 |    61951    32859   1961 |  0.000 % |
176.63/176.79	c |     73593 |   77288   153598   628304 |    68146    33084   1961 |  0.000 % |
178.33/178.46	c |     73930 |   77288   153598   628304 |    74960    33421   1961 |  0.000 % |
178.82/178.96	c ===============================================================================
178.82/178.96	c New solution: -20
178.82/178.96	o -20
178.82/178.96	c Elapsed CPU time: 177.67 s	Remaining CPU time: 2.33001 s
178.82/178.96	c ===============================================================================
178.82/178.96	c |     73951 |   77288   153599   629304 |    51199    33442   1960 |  0.000 % |
179.23/179.34	c |     74051 |   77288   153599   629304 |    56319    33542   1960 |  0.000 % |
179.52/179.66	c |     74201 |   77288   153599   629304 |    61951    33692   1960 |  0.000 % |
180.03/180.14	c |     74426 |   77288   153599   629304 |    68146    33917   1960 |  0.000 % |
181.23/181.36	c There are 0 assigned variables. 0 in cost function.
182.12/182.27	c core #1
182.12/182.27	c 
182.12/182.27	c 
182.12/182.27	c Core size: 2001	Core Weight: 1	Total Weight: -999
182.12/182.27	c
182.12/182.27	c
182.12/182.27	c ============================[ Search Statistics ]==============================
182.12/182.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.12/182.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.12/182.27	c ===============================================================================
182.12/182.27	c |         0 |   78288   154691   632577 |    51563        0    nan |  0.000 % |
183.93/184.04	c |       100 |   78288   154691   632577 |    56720      100    378 |  0.125 % |
185.33/185.48	c |       250 |   78288   154691   632577 |    62392      250    524 |  0.213 % |
189.32/189.43	c |       475 |   78288   154691   632577 |    68631      475    420 |  0.213 % |
194.12/194.22	c |       812 |   78121   154691   632577 |    75494      810    424 |  0.213 % |
199.52/199.61	c |      1318 |   78121   154691   632577 |    83043     1316    468 |  0.213 % |
209.92/210.07	c |      2077 |   78121   154691   632577 |    91348     2075    456 |  0.213 % |
219.82/219.94	c ===============================================================================
220.41/220.55	c core #2
220.41/220.55	c 
220.41/220.55	c 
220.41/220.55	c Core size: 1948	Core Weight: 1	Total Weight: -998
220.41/220.55	c
220.41/220.55	c
220.41/220.55	c ============================[ Search Statistics ]==============================
220.41/220.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.41/220.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.41/220.55	c ===============================================================================
220.41/220.55	c |         0 |   79288   154793   634878 |    51597        0    nan |  0.000 % |
222.12/222.25	c |       100 |   79288   154793   634878 |    56757      100    837 |  0.000 % |
224.61/224.72	c |       250 |   79288   154793   634878 |    62433      250    775 |  0.000 % |
226.61/226.73	c |       475 |   79288   154793   634878 |    68676      475    707 |  0.000 % |
231.71/231.80	c |       812 |   79288   154793   634878 |    75544      812    671 |  0.000 % |
237.10/237.29	c |      1318 |   79288   154793   634878 |    83098     1318    711 |  0.000 % |
245.41/245.56	c |      2077 |   79288   154793   634878 |    91408     2077    699 |  0.000 % |
258.50/258.70	c |      3216 |   79288   154793   634878 |   100549     3216    776 |  0.000 % |
279.99/280.15	c |      4925 |   79221   154793   634878 |   110604     4644    790 |  0.085 % |
309.78/309.98	c |      7487 |   79220   154793   634878 |   121664     7206    821 |  0.086 % |
358.26/358.49	c |     11331 |   79220   154793   634878 |   133831    11049    809 |  0.086 % |
429.03/429.26	c |     17097 |   79148   154793   634878 |   147214    16769    814 |  0.274 % |
537.80/538.04	c |     25746 |   78921   154793   634878 |   161935    25351    818 |  1.041 % |
707.14/707.41	c |     38720 |   77735   154793   634878 |   178129    36740    857 |  2.158 % |
951.05/951.46	c |     58283 |   76759   154793   634878 |   195942    53891    911 |  3.364 % |
1328.80/1329.38	c |     87841 |   76678   154793   634878 |   215536    83449    949 |  8.840 % |

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-2702603-1278578322/watcher-2702603-1278578322 -o /tmp/evaluation-result-2702603-1278578322/solver-2702603-1278578322 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702603-1278578322.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.06 1.05 0.98 3/106 30000
/proc/meminfo: memFree=1651816/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=9784 CPUtime=0
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 410 0 0 0 0 0 0 0 21 0 1 0 26044403 10018816 329 1992294400 134512640 135752675 4287521216 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 2446 330 137 303 0 464 0

[startup+0.069892 s]
/proc/loadavg: 1.06 1.05 0.98 3/106 30000
/proc/meminfo: memFree=1651816/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=14964 CPUtime=0.06
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 1640 0 0 0 6 0 0 0 23 0 1 0 26044403 15323136 1559 1992294400 134512640 135752675 4287521216 18446744073709551615 134559936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 3741 1559 202 303 0 1759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14964

[startup+0.100896 s]
/proc/loadavg: 1.06 1.05 0.98 3/106 30000
/proc/meminfo: memFree=1651816/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=16592 CPUtime=0.09
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 2069 0 0 0 8 1 0 0 23 0 1 0 26044403 16990208 1955 1992294400 134512640 135752675 4287521216 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 4148 1955 235 303 0 2166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16592

[startup+0.30093 s]
/proc/loadavg: 1.06 1.05 0.98 3/106 30000
/proc/meminfo: memFree=1651816/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=25424 CPUtime=0.29
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 4121 0 0 0 28 1 0 0 23 0 1 0 26044403 26034176 3853 1992294400 134512640 135752675 4287521216 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 6356 3853 411 303 0 4374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25424

[startup+0.700997 s]
/proc/loadavg: 1.06 1.05 0.98 3/106 30000
/proc/meminfo: memFree=1651816/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=31000 CPUtime=0.69
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 6098 0 0 0 68 1 0 0 25 0 1 0 26044403 31744000 5830 1992294400 134512640 135752675 4287521216 18446744073709551615 135119396 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 7750 5830 883 303 0 5768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31000

[startup+1.50113 s]
/proc/loadavg: 1.06 1.05 0.98 2/107 30001
/proc/meminfo: memFree=1628124/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=42860 CPUtime=1.49
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 10729 0 0 0 146 3 0 0 25 0 1 0 26044403 43888640 8558 1992294400 134512640 135752675 4287521216 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 10748 8560 142 303 0 10443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42860

[startup+3.1014 s]
/proc/loadavg: 1.06 1.05 0.98 2/107 30001
/proc/meminfo: memFree=1602704/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=56740 CPUtime=3.09
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 15067 0 0 0 303 6 0 0 25 0 1 0 26044403 58101760 12896 1992294400 134512640 135752675 4287521216 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 14185 12896 142 303 0 13880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56740

[startup+6.30095 s]
/proc/loadavg: 1.14 1.06 0.99 2/107 30001
/proc/meminfo: memFree=1604068/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=52020 CPUtime=6.29
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 15392 0 0 0 620 9 0 0 25 0 1 0 26044403 53268480 11860 1992294400 134512640 135752675 4287521216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 13005 11860 145 303 0 12700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52020

[startup+12.701 s]
/proc/loadavg: 1.20 1.08 1.00 2/107 30001
/proc/meminfo: memFree=1585468/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=72800 CPUtime=12.68
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 20583 0 0 0 1252 16 0 0 25 0 1 0 26044403 74547200 17051 1992294400 134512640 135752675 4287521216 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 18200 17051 145 303 0 17895 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72800

[startup+25.5012 s]
/proc/loadavg: 1.30 1.11 1.00 2/107 30001
/proc/meminfo: memFree=1523468/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=134656 CPUtime=25.48
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 36056 0 0 0 2520 28 0 0 25 0 1 0 26044403 137887744 32524 1992294400 134512640 135752675 4287521216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 33664 32524 145 303 0 33359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134656

[startup+51.1006 s]
/proc/loadavg: 1.20 1.10 1.00 2/107 30001
/proc/meminfo: memFree=1425756/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=233012 CPUtime=51.07
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 60647 0 0 0 5060 47 0 0 25 0 1 0 26044403 238604288 57115 1992294400 134512640 135752675 4287521216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 58253 57115 145 303 0 57948 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 233012

[startup+102.308 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 30003
/proc/meminfo: memFree=1279312/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=377420 CPUtime=102.26
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 96731 0 0 0 10154 72 0 0 25 0 1 0 26044403 386478080 93199 1992294400 134512640 135752675 4287521216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 94355 93199 145 303 0 94050 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 377420

[startup+162.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 30005
/proc/meminfo: memFree=1104100/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=554572 CPUtime=162.23
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 141020 0 0 0 16112 111 0 0 25 0 1 0 26044403 567881728 137488 1992294400 134512640 135752675 4287521216 18446744073709551615 134638343 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 138643 137488 145 303 0 138338 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 554572

[startup+222.302 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 30007
/proc/meminfo: memFree=1028088/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=222.21
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162484 0 0 0 22092 129 0 0 25 0 1 0 26044403 639938560 155625 1992294400 134512640 135752675 4287521216 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155625 146 303 0 155930 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 624940

[startup+282.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 30007
/proc/meminfo: memFree=1027840/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=282.19
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162484 0 0 0 28085 134 0 0 25 0 1 0 26044403 639938560 155625 1992294400 134512640 135752675 4287521216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155625 146 303 0 155930 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 624940

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 30009
/proc/meminfo: memFree=1027840/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=342.17
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162494 0 0 0 34080 137 0 0 25 0 1 0 26044403 639938560 155635 1992294400 134512640 135752675 4287521216 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155635 146 303 0 155930 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 624940

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30011
/proc/meminfo: memFree=1027716/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=402.15
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162494 0 0 0 40074 141 0 0 25 0 1 0 26044403 639938560 155635 1992294400 134512640 135752675 4287521216 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155635 146 303 0 155930 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 624940

[startup+462.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30013
/proc/meminfo: memFree=1027592/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=462.12
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162495 0 0 0 46068 144 0 0 25 0 1 0 26044403 639938560 155636 1992294400 134512640 135752675 4287521216 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155636 146 303 0 155930 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 624940

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30015
/proc/meminfo: memFree=1027592/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=522.1
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162496 0 0 0 52062 148 0 0 25 0 1 0 26044403 639938560 155637 1992294400 134512640 135752675 4287521216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155637 146 303 0 155930 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 624940

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30015
/proc/meminfo: memFree=1027468/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=582.08
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162498 0 0 0 58056 152 0 0 25 0 1 0 26044403 639938560 155639 1992294400 134512640 135752675 4287521216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155639 146 303 0 155930 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 624940

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30017
/proc/meminfo: memFree=1027468/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=624940 CPUtime=642.06
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 162498 0 0 0 64049 157 0 0 25 0 1 0 26044403 639938560 155639 1992294400 134512640 135752675 4287521216 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 156235 155639 146 303 0 155930 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 624940

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30023
/proc/meminfo: memFree=977372/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=675452 CPUtime=881.97
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 175130 0 0 0 88018 179 0 0 25 0 1 0 26044403 691662848 168271 1992294400 134512640 135752675 4287521216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 168863 168271 146 303 0 168558 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 675452

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30025
/proc/meminfo: memFree=946124/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=707476 CPUtime=941.95
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 183118 0 0 0 94006 189 0 0 25 0 1 0 26044403 724455424 176259 1992294400 134512640 135752675 4287521216 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 176869 176259 146 303 0 176564 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 707476

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30027
/proc/meminfo: memFree=916364/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=736388 CPUtime=1001.92
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 190337 0 0 0 99995 197 0 0 25 0 1 0 26044403 754061312 183478 1992294400 134512640 135752675 4287521216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 184097 183478 146 303 0 183792 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 736388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30029
/proc/meminfo: memFree=887472/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=765296 CPUtime=1061.9
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 197536 0 0 0 105985 205 0 0 25 0 1 0 26044403 783663104 190677 1992294400 134512640 135752675 4287521216 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 191324 190677 146 303 0 191019 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 765296

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30031
/proc/meminfo: memFree=858084/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=794428 CPUtime=1121.88
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 204839 0 0 0 111975 213 0 0 25 0 1 0 26044403 813494272 197980 1992294400 134512640 135752675 4287521216 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 198607 197980 146 303 0 198302 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 794428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30031
/proc/meminfo: memFree=826836/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=826136 CPUtime=1181.85
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 212763 0 0 0 117963 222 0 0 25 0 1 0 26044403 845963264 205904 1992294400 134512640 135752675 4287521216 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 206534 205904 146 303 0 206229 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 826136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30033
/proc/meminfo: memFree=797820/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=854420 CPUtime=1241.84
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 219841 0 0 0 123951 233 0 0 25 0 1 0 26044403 874926080 212982 1992294400 134512640 135752675 4287521216 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 213605 212982 146 303 0 213300 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 854420

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30035
/proc/meminfo: memFree=766324/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=885708 CPUtime=1301.83
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 227648 0 0 0 129940 243 0 0 25 0 1 0 26044403 906964992 220789 1992294400 134512640 135752675 4287521216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 221427 220789 146 303 0 221122 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 885708

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30046
/proc/meminfo: memFree=733324/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=918808 CPUtime=1361.78
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 235926 0 0 0 135925 253 0 0 25 0 1 0 26044403 940859392 229067 1992294400 134512640 135752675 4287521216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 229702 229067 146 303 0 229397 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 918808

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30048
/proc/meminfo: memFree=706680/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=945404 CPUtime=1421.77
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 242551 0 0 0 141913 264 0 0 25 0 1 0 26044403 968093696 235692 1992294400 134512640 135752675 4287521216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 236351 235692 146 303 0 236046 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 945404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30048
/proc/meminfo: memFree=673696/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=978628 CPUtime=1481.73
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 250868 0 0 0 147902 271 0 0 25 0 1 0 26044403 1002115072 244009 1992294400 134512640 135752675 4287521216 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 244657 244009 146 303 0 244352 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 978628

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30050
/proc/meminfo: memFree=640960/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1011176 CPUtime=1541.71
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 258960 0 0 0 153890 281 0 0 25 0 1 0 26044403 1035444224 252101 1992294400 134512640 135752675 4287521216 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 252794 252101 146 303 0 252489 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1011176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30052
/proc/meminfo: memFree=612068/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1040372 CPUtime=1601.68
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 266217 0 0 0 159877 291 0 0 25 0 1 0 26044403 1065340928 259358 1992294400 134512640 135752675 4287521216 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 260093 259358 146 303 0 259788 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1040372

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30054
/proc/meminfo: memFree=578340/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1074008 CPUtime=1661.66
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 274639 0 0 0 165866 300 0 0 25 0 1 0 26044403 1099784192 267780 1992294400 134512640 135752675 4287521216 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 268502 267780 146 303 0 268197 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1074008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30056
/proc/meminfo: memFree=549944/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1102492 CPUtime=1721.64
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 281738 0 0 0 171855 309 0 0 25 0 1 0 26044403 1128951808 274879 1992294400 134512640 135752675 4287521216 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 275623 274879 146 303 0 275318 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1102492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30056
/proc/meminfo: memFree=518944/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1133092 CPUtime=1781.62
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 289404 0 0 0 177843 319 0 0 25 0 1 0 26044403 1160286208 282545 1992294400 134512640 135752675 4287521216 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 283273 282545 146 303 0 282968 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1133092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30058
/proc/meminfo: memFree=508404/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=1143228 CPUtime=1800.03
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4202496 291936 0 0 0 179682 321 0 0 25 0 1 0 26044403 1170665472 285077 1992294400 134512640 135752675 4287521216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30000/statm: 285807 285077 146 303 0 285502 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1143228

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30058
/proc/meminfo: memFree=508404/2059040 swapFree=4151252/4192956
[pid=30000] ppid=29998 vsize=0 CPUtime=1800.12
/proc/30000/stat : 30000 (wbo1.4b) R 29998 30000 29670 0 -1 4203524 291936 0 0 0 179682 330 0 0 25 0 1 0 26044403 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30000/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.14
CPU user time (s): 1796.82
CPU system time (s): 3.3195
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 1143228

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

runsolver used 3.18352 second user time and 8.30074 second system time

The end

Launcher Data 

Begin job on node025 at 2010-07-08 10:38:42
IDJOB=2702603
IDBENCH=48236
IDSOLVER=1190
FILE ID=node025/2702603-1278578322
PBS_JOBID= 11240097
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= c7b55c33bf2dc9c08660966375c6138a
RANDOM SEED=592976631

node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1657676 kB
Buffers:         84780 kB
Cached:         217440 kB
SwapCached:       4972 kB
Active:         162760 kB
Inactive:       162980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1657676 kB
SwapTotal:     4192956 kB
SwapFree:      4151252 kB
Dirty:            4856 kB
Writeback:           0 kB
AnonPages:       18564 kB
Mapped:          12504 kB
Slab:            53592 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179492 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-2702603-1278578322.opb

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