Trace number 2702597

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.22 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
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-26
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

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.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2702597-1278578299.opb.
0.00/0.01	c Instance file HOME/instance-2702597-1278578299.opb
0.00/0.01	c File size is 531709 bytes.
0.09/0.10	c Highest Coefficient sum: 400
0.09/0.10	c ============================[ Problem Statistics ]=============================
0.09/0.10	c |                                                                             |
0.09/0.10	c |  Parsing time:          0.10         s                                      |
0.09/0.10	c |  Number Variables:      6616                                                |
0.09/0.10	c |  Number Clauses:        6416                                                |
0.09/0.10	c |  Number Cardinality:    402                                                 |
0.09/0.10	c |  Number PB Constraints: 6216                                                |
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    6616    13034    50928 |     5000        0    nan |  0.000 % |
0.18/0.20	c ===============================================================================
0.18/0.20	c New solution: 0
0.18/0.20	o 0
0.18/0.20	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 179.803 s
0.18/0.20	c ===============================================================================
0.18/0.20	c |         0 |    6616    13035    51128 |     5000        0    nan |  0.000 % |
0.18/0.21	c ===============================================================================
0.18/0.21	c New solution: -1
0.18/0.21	o -1
0.18/0.21	c Elapsed CPU time: 0.207968 s	Remaining CPU time: 179.792 s
0.18/0.21	c ===============================================================================
0.18/0.21	c |         1 |    6616    13036    51328 |     5000        1    201 |  0.000 % |
0.18/0.22	c ===============================================================================
0.18/0.22	c New solution: -2
0.18/0.22	o -2
0.18/0.22	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 179.785 s
0.18/0.22	c ===============================================================================
0.18/0.22	c |         1 |    6616    13037    51528 |     5000        1    201 |  0.000 % |
0.18/0.23	c ===============================================================================
0.18/0.23	c New solution: -3
0.18/0.23	o -3
0.18/0.23	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 179.778 s
0.18/0.23	c ===============================================================================
0.18/0.23	c |         1 |    6616    13038    51728 |     5000        1    201 |  0.000 % |
0.18/0.24	c ===============================================================================
0.18/0.24	c New solution: -4
0.18/0.24	o -4
0.18/0.24	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.18/0.24	c ===============================================================================
0.18/0.24	c |        21 |    6616    13039    51928 |     5000       21    384 |  0.000 % |
0.18/0.25	c ===============================================================================
0.18/0.25	c New solution: -5
0.18/0.25	o -5
0.18/0.25	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 179.756 s
0.18/0.25	c ===============================================================================
0.18/0.25	c |        63 |    6616    13040    52128 |     5000       63    383 |  0.000 % |
0.18/0.26	c ===============================================================================
0.18/0.26	c New solution: -6
0.18/0.26	o -6
0.18/0.26	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 179.747 s
0.18/0.26	c ===============================================================================
0.18/0.26	c |        80 |    6616    13041    52328 |     5000       80    358 |  0.000 % |
0.18/0.27	c ===============================================================================
0.18/0.27	c New solution: -7
0.18/0.27	o -7
0.18/0.27	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 179.736 s
0.18/0.27	c ===============================================================================
0.18/0.27	c |       108 |    6616    13042    52528 |     5000      108    350 |  0.000 % |
0.18/0.29	c ===============================================================================
0.18/0.29	c New solution: -8
0.18/0.29	o -8
0.18/0.29	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 179.716 s
0.18/0.29	c ===============================================================================
0.18/0.29	c |       177 |    6616    13043    52728 |     5000      177    355 |  0.000 % |
0.29/0.31	c |       277 |    6616    13043    52728 |     5500      277    367 |  0.000 % |
0.29/0.34	c |       427 |    6616    13043    52728 |     6050      427    374 |  0.000 % |
0.29/0.39	c |       652 |    6616    13043    52728 |     6655      652    374 |  0.000 % |
0.39/0.46	c |       989 |    6616    13043    52728 |     7320      989    374 |  0.000 % |
0.49/0.56	c |      1495 |    6616    13043    52728 |     8052     1495    368 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -9
0.49/0.58	o -9
0.49/0.58	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 179.428 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |      1544 |    6616    13044    52928 |     5000     1544    367 |  0.000 % |
0.59/0.61	c |      1644 |    6616    13044    52928 |     5500     1644    368 |  0.000 % |
0.59/0.65	c |      1795 |    6616    13044    52928 |     6050     1795    369 |  0.000 % |
0.69/0.71	c |      2020 |    6616    13044    52928 |     6655     2020    370 |  0.000 % |
0.69/0.78	c |      2357 |    6616    13044    52928 |     7320     2357    371 |  0.000 % |
0.89/0.90	c |      2863 |    6616    13044    52928 |     8052     2863    370 |  0.000 % |
0.99/1.09	c |      3622 |    6616    13044    52928 |     8857     3622    373 |  0.000 % |
1.10/1.10	c ===============================================================================
1.10/1.10	c New solution: -10
1.10/1.10	o -10
1.10/1.10	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 178.925 s
1.10/1.10	c ===============================================================================
1.10/1.10	c |      3626 |    6616    13045    53128 |     5000     3626    373 |  0.000 % |
1.10/1.15	c |      3727 |    6616    13045    53128 |     5500     3727    373 |  0.000 % |
1.10/1.18	c |      3877 |    6616    13045    53128 |     6050     3877    373 |  0.000 % |
1.19/1.23	c |      4103 |    6616    13045    53128 |     6655     4103    373 |  0.000 % |
1.29/1.32	c |      4440 |    6616    13045    53128 |     7320     4440    373 |  0.000 % |
1.39/1.44	c |      4946 |    6616    13045    53128 |     8052     4946    373 |  0.000 % |
1.59/1.64	c |      5705 |    6616    13045    53128 |     8857     5705    374 |  0.000 % |
1.99/2.01	c |      6844 |    6616    13045    53128 |     9743     6844    375 |  0.000 % |
2.39/2.49	c |      8552 |    6616    13045    53128 |    10717     8552    376 |  0.000 % |
3.30/3.33	c |     11115 |    6616    13045    53128 |    11789    11115    376 |  0.000 % |
5.09/5.13	c |     14959 |    6616    13045    53128 |    12968    14959    378 |  0.000 % |
7.19/7.21	c |     20727 |    6616    13045    53128 |    14265    13248    380 |  0.000 % |
12.29/12.30	c |     29378 |    6616    13045    53128 |    15692    11473    381 |  0.000 % |
19.19/19.21	c |     42354 |    6616    13045    53128 |    17261    12895    385 |  0.000 % |
19.19/19.26	c ===============================================================================
19.19/19.26	c New solution: -11
19.19/19.26	o -11
19.19/19.26	c Elapsed CPU time: 19.0351 s	Remaining CPU time: 160.965 s
19.19/19.26	c ===============================================================================
19.19/19.26	c |     42376 |    6616    13046    53328 |     5000    12917    384 |  0.000 % |
19.29/19.36	c |     42476 |    6616    13046    53328 |     5500     3330    383 |  0.000 % |
19.39/19.43	c |     42626 |    6616    13046    53328 |     6050     3480    383 |  0.000 % |
19.49/19.50	c |     42852 |    6616    13046    53328 |     6655     3706    382 |  0.000 % |
19.58/19.64	c |     43189 |    6616    13046    53328 |     7320     4043    382 |  0.000 % |
19.79/19.81	c |     43695 |    6616    13046    53328 |     8052     4549    382 |  0.000 % |
20.09/20.11	c |     44454 |    6616    13046    53328 |     8857     5308    382 |  0.000 % |
20.09/20.14	c ===============================================================================
20.09/20.14	c New solution: -12
20.09/20.14	o -12
20.09/20.14	c Elapsed CPU time: 19.906 s	Remaining CPU time: 160.094 s
20.09/20.14	c ===============================================================================
20.09/20.14	c |     44503 |    6616    13047    53528 |     5000     5357    379 |  0.000 % |
20.18/20.20	c |     44604 |    6616    13047    53528 |     5500     2780    376 |  0.000 % |
20.18/20.25	c |     44754 |    6616    13047    53528 |     6050     2930    376 |  0.000 % |
20.28/20.30	c |     44979 |    6616    13047    53528 |     6655     3155    375 |  0.000 % |
20.28/20.38	c |     45316 |    6616    13047    53528 |     7320     3492    376 |  0.000 % |
20.49/20.50	c |     45822 |    6616    13047    53528 |     8052     3998    376 |  0.000 % |
20.59/20.68	c |     46582 |    6616    13047    53528 |     8857     4758    376 |  0.000 % |
20.89/20.99	c |     47722 |    6616    13047    53528 |     9743     5898    377 |  0.000 % |
21.39/21.44	c |     49431 |    6616    13047    53528 |    10717     7607    377 |  0.000 % |
22.18/22.20	c |     51993 |    6616    13047    53528 |    11789    10169    376 |  0.000 % |
23.49/23.51	c |     55837 |    6616    13047    53528 |    12968    14013    377 |  0.000 % |
25.29/25.34	c |     61603 |    6616    13047    53528 |    14265    12773    378 |  0.000 % |
29.59/29.62	c |     70253 |    6616    13047    53528 |    15692    11004    376 |  0.000 % |
35.08/35.16	c |     83230 |    6616    13047    53528 |    17261    12419    384 |  0.000 % |
35.18/35.25	c ===============================================================================
35.18/35.25	c New solution: -13
35.18/35.25	o -13
35.18/35.25	c Elapsed CPU time: 34.8407 s	Remaining CPU time: 145.159 s
35.18/35.25	c ===============================================================================
35.18/35.25	c |     83385 |    6616    13048    53728 |     5000    12574    380 |  0.000 % |
35.98/36.09	c |     83556 |    6616    13048    53728 |     5500     3315    367 |  0.000 % |
36.08/36.19	c |     83714 |    6616    13048    53728 |     6050     3473    367 |  0.000 % |
36.18/36.23	c |     83940 |    6616    13048    53728 |     6655     3699    368 |  0.000 % |
36.29/36.30	c |     84277 |    6616    13048    53728 |     7320     4036    368 |  0.000 % |
36.38/36.41	c |     84783 |    6616    13048    53728 |     8052     4542    369 |  0.000 % |
36.48/36.55	c |     85542 |    6616    13048    53728 |     8857     5301    370 |  0.000 % |
36.68/36.77	c |     86681 |    6616    13048    53728 |     9743     6440    371 |  0.000 % |
37.08/37.19	c |     88390 |    6616    13048    53728 |    10717     8149    372 |  0.000 % |
37.78/37.86	c |     90952 |    6616    13048    53728 |    11789    10711    371 |  0.000 % |
39.28/39.37	c |     94797 |    6616    13048    53728 |    12968    14556    369 |  0.000 % |
41.47/41.55	c |    100563 |    6616    13048    53728 |    14265    13044    372 |  0.000 % |
41.58/41.61	c ===============================================================================
41.58/41.61	c New solution: -14
41.58/41.61	o -14
41.58/41.61	c Elapsed CPU time: 41.1157 s	Remaining CPU time: 138.884 s
41.58/41.61	c ===============================================================================
41.58/41.61	c |    100611 |    6616    13049    53928 |     5000    13092    371 |  0.000 % |
41.68/41.72	c |    100711 |    6616    13049    53928 |     5500     3373    375 |  0.000 % |
41.68/41.78	c |    100861 |    6616    13049    53928 |     6050     3523    376 |  0.000 % |
41.79/41.83	c |    101086 |    6616    13049    53928 |     6655     3748    376 |  0.000 % |
41.88/41.91	c |    101423 |    6616    13049    53928 |     7320     4085    374 |  0.000 % |
41.98/42.09	c |    101929 |    6616    13049    53928 |     8052     4591    375 |  0.000 % |
42.18/42.29	c |    102688 |    6616    13049    53928 |     8857     5350    375 |  0.000 % |
42.58/42.60	c |    103827 |    6616    13049    53928 |     9743     6489    375 |  0.000 % |
42.98/43.03	c |    105535 |    6616    13049    53928 |    10717     8197    371 |  0.000 % |
43.78/43.83	c |    108097 |    6616    13049    53928 |    11789    10759    373 |  0.000 % |
45.18/45.25	c |    111941 |    6616    13049    53928 |    12968    14603    367 |  0.000 % |
46.58/46.66	c |    117707 |    6616    13049    53928 |    14265    13068    363 |  0.000 % |
50.58/50.63	c |    126356 |    6616    13049    53928 |    15692    11306    353 |  0.000 % |
55.38/55.46	c |    139331 |    6616    13049    53928 |    17261    12742    367 |  0.000 % |
65.78/65.83	c |    158792 |    6616    13049    53928 |    18987    19152    353 |  0.000 % |
80.67/80.73	c |    187984 |    6616    13049    53928 |    20886    24068    372 |  0.000 % |
105.96/106.08	c |    231774 |    6616    13049    53928 |    22974    21831    371 |  0.000 % |
145.76/145.84	c |    297459 |    6616    13049    53928 |    25272    13435    369 |  0.000 % |
181.85/181.91	c There are 0 assigned variables. 0 in cost function.
182.25/182.39	c core #1
182.25/182.39	c 
182.25/182.39	c 
182.25/182.39	c Core size: 401	Core Weight: 1	Total Weight: -199
182.25/182.39	c
182.25/182.39	c
182.25/182.39	c ============================[ Search Statistics ]==============================
182.25/182.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.25/182.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.25/182.39	c ===============================================================================
182.25/182.39	c |         0 |    6816    13256    54543 |     5000        0    nan |  0.000 % |
182.35/182.46	c |       100 |    6816    13256    54543 |     5500      100    103 |  1.130 % |
182.45/182.57	c ===============================================================================
182.55/182.63	c core #2
182.55/182.63	c 
182.55/182.63	c 
182.55/182.63	c Core size: 355	Core Weight: 1	Total Weight: -198
182.55/182.63	c
182.55/182.63	c
182.55/182.63	c ============================[ Search Statistics ]==============================
182.55/182.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.63	c ===============================================================================
182.55/182.63	c |         0 |    7016    13277    55003 |     5000        0    nan |  0.000 % |
182.64/182.71	c |       100 |    7016    13277    55003 |     5500      100    171 |  0.000 % |
182.74/182.80	c |       250 |    7016    13277    55003 |     6050      250    145 |  0.000 % |
182.95/183.01	c |       552 |    7016    13277    55003 |     6655      552    147 |  0.000 % |
183.15/183.24	c |       890 |    7016    13277    55003 |     7320      890    146 |  0.000 % |
183.55/183.64	c |      1396 |    6988    13277    55003 |     8052     1329    155 |  0.400 % |
184.14/184.25	c |      2155 |    6899    13277    55003 |     8857     1971    164 |  1.668 % |
185.05/185.12	c |      3295 |    6657    13277    55003 |     9743     2993    166 |  5.117 % |
186.45/186.58	c |      5008 |    6094    13277    55003 |    10717     4122    180 | 13.968 % |
188.65/188.78	c |      7570 |    6046    13277    55003 |    11789     6684    173 | 27.994 % |
192.95/193.06	c |     11414 |    4096    13277    55003 |    12968     7789    194 | 42.047 % |
193.35/193.41	c ===============================================================================
193.55/193.68	c core #3
193.55/193.68	c 
193.55/193.68	c 
193.55/193.68	c Core size: 278	Core Weight: 1	Total Weight: -197
193.55/193.68	c
193.55/193.68	c
193.55/193.68	c ============================[ Search Statistics ]==============================
193.55/193.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.55/193.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.55/193.68	c ===============================================================================
193.55/193.68	c |         0 |    7216    13295    55451 |     5000        0    nan |  0.000 % |
193.64/193.78	c |       100 |    7216    13295    55451 |     5500      100    238 |  0.000 % |
193.74/193.85	c |       250 |    7216    13295    55451 |     6050      250    122 |  0.000 % |
193.95/194.01	c |       475 |    7216    13295    55451 |     6655      475    150 |  0.000 % |
194.25/194.30	c |       812 |    7216    13295    55451 |     7320      812    136 |  0.000 % |
194.54/194.67	c |      1331 |    7216    13295    55451 |     8052     1331    157 |  0.000 % |
195.15/195.28	c |      2101 |    7216    13295    55451 |     8857     2101    172 |  0.000 % |
196.04/196.16	c |      3240 |    7216    13295    55451 |     9743     3240    178 |  0.000 % |
197.45/197.54	c |      4974 |    7216    13295    55451 |    10717     4974    181 |  0.000 % |
199.84/199.91	c |      7561 |    7216    13295    55451 |    11789     7561    191 |  0.000 % |
203.34/203.50	c |     11405 |    7216    13295    55451 |    12968    11405    201 |  0.001 % |
209.04/209.10	c |     17171 |    7216    13295    55451 |    14265    10364    205 |  0.001 % |
217.24/217.33	c |     25820 |    7216    13295    55451 |    15692    10467    202 |  0.000 % |
230.53/230.61	c |     38794 |    7216    13295    55451 |    17261    15090    204 |  0.000 % |
251.33/251.41	c |     58255 |    7189    13295    55451 |    18987    15705    210 |  0.375 % |
284.72/284.82	c |     87447 |    7158    13295    55451 |    20886    12600    189 |  1.247 % |
332.41/332.50	c |    131262 |    6965    13295    55451 |    22974    16356    188 |  3.478 % |
409.90/410.01	c |    196946 |    6142    13295    55451 |    25272    20603    138 | 21.218 % |
432.59/432.78	c ===============================================================================
438.69/438.80	c core #4
438.69/438.80	c 
438.69/438.80	c 
438.69/438.80	c Core size: 243	Core Weight: 1	Total Weight: -196
438.69/438.80	c
438.69/438.80	c
438.69/438.80	c ============================[ Search Statistics ]==============================
438.69/438.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
438.69/438.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
438.69/438.80	c ===============================================================================
438.69/438.80	c |         0 |    7416    14105    58192 |     5000        0    nan |  0.000 % |
438.80/438.98	c |       100 |    7416    14105    58192 |     5500      100    316 |  0.000 % |
438.99/439.16	c |       250 |    7416    14105    58192 |     6050      250    281 |  0.000 % |
439.19/439.30	c |       475 |    7416    14105    58192 |     6655      475    167 |  0.000 % |
439.59/439.78	c |       812 |    7416    14105    58192 |     7320      812    183 |  0.000 % |
440.29/440.41	c |      1358 |    7416    14105    58192 |     8052     1358    228 |  0.000 % |
441.09/441.21	c |      2168 |    7416    14105    58192 |     8857     2168    226 |  0.000 % |
442.49/442.67	c |      3307 |    7416    14105    58192 |     9743     3307    213 |  0.000 % |
444.29/444.44	c |      5016 |    7416    14105    58192 |    10717     5016    196 |  0.000 % |
447.79/447.90	c |      7578 |    7416    14105    58192 |    11789     7578    212 |  0.000 % |
453.89/454.05	c |     11423 |    7416    14105    58192 |    12968    11423    224 |  0.000 % |
461.49/461.65	c |     17189 |    7416    14105    58192 |    14265    10387    251 |  0.000 % |
474.19/474.33	c |     25839 |    7416    14105    58192 |    15692    11485    246 |  0.000 % |
492.38/492.56	c |     38813 |    7416    14105    58192 |    17261    16346    261 |  0.000 % |
527.97/528.20	c |     58275 |    7416    14105    58192 |    18987    16361    168 |  0.000 % |
583.66/583.88	c |     87467 |    7416    14105    58192 |    20886    16178    113 |  0.000 % |
725.63/725.86	c |    131256 |    7416    14105    58192 |    22974    13539     93 |  0.000 % |
825.20/825.41	c |    196943 |    7416    14105    58192 |    25272    23753    373 |  0.000 % |
892.29/892.51	c |    295470 |    7416    14105    58192 |    27799    18705    370 |  0.000 % |
1207.32/1207.63	c |    443260 |    7416    14105    58192 |    30579    19960    126 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702597-1278578299/watcher-2702597-1278578299 -o /tmp/evaluation-result-2702597-1278578299/solver-2702597-1278578299 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702597-1278578299.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.93 3/106 492
/proc/meminfo: memFree=1776588/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=3236 CPUtime=0
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 294 0 0 0 0 0 0 0 19 0 1 0 26041177 3313664 212 1992294400 134512640 135752675 4291452192 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 809 215 132 303 0 374 0

[startup+0.053251 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 492
/proc/meminfo: memFree=1776588/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=4892 CPUtime=0.04
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 756 0 0 0 4 0 0 0 19 0 1 0 26041177 5009408 674 1992294400 134512640 135752675 4291452192 18446744073709551615 134562392 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 1223 674 195 303 0 788 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4892

[startup+0.101254 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 492
/proc/meminfo: memFree=1776588/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=5684 CPUtime=0.09
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 1010 0 0 0 9 0 0 0 20 0 1 0 26041177 5820416 928 1992294400 134512640 135752675 4291452192 18446744073709551615 135202315 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 1421 929 258 303 0 986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5684

[startup+0.300268 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 492
/proc/meminfo: memFree=1776588/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=7136 CPUtime=0.29
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 1507 0 0 0 28 1 0 0 20 0 1 0 26041177 7307264 1295 1992294400 134512640 135752675 4291452192 18446744073709551615 135205635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 1784 1295 144 303 0 1479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7136

[startup+0.700296 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 492
/proc/meminfo: memFree=1776588/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=8708 CPUtime=0.69
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 1899 0 0 0 67 2 0 0 21 0 1 0 26041177 8916992 1687 1992294400 134512640 135752675 4291452192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 2177 1687 145 303 0 1872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8708

[startup+1.50035 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1768768/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=13776 CPUtime=1.49
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 3189 0 0 0 145 4 0 0 22 0 1 0 26041177 14106624 2977 1992294400 134512640 135752675 4291452192 18446744073709551615 134612125 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 3444 2977 145 303 0 3139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13776

[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1762196/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=22224 CPUtime=3.09
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 5305 0 0 0 303 6 0 0 25 0 1 0 26041177 22757376 5093 1992294400 134512640 135752675 4291452192 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 5556 5093 145 303 0 5251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22224

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1748184/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=35388 CPUtime=6.29
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 8569 0 0 0 619 10 0 0 25 0 1 0 26041177 36237312 8357 1992294400 134512640 135752675 4291452192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 8847 8357 145 303 0 8542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35388

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1726980/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=54416 CPUtime=12.69
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 13327 0 0 0 1253 16 0 0 25 0 1 0 26041177 55721984 13115 1992294400 134512640 135752675 4291452192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 13604 13115 145 303 0 13299 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54416

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1674652/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=105512 CPUtime=25.48
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 26089 0 0 0 2518 30 0 0 25 0 1 0 26041177 108044288 25877 1992294400 134512640 135752675 4291452192 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 26378 25878 145 303 0 26073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105512

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 493
/proc/meminfo: memFree=1572972/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=208660 CPUtime=51.08
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 51865 0 0 0 5049 59 0 0 25 0 1 0 26041177 213667840 51653 1992294400 134512640 135752675 4291452192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 52165 51653 145 303 0 51860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 208660

[startup+102.308 s]
/proc/loadavg: 1.04 1.01 0.94 2/107 495
/proc/meminfo: memFree=1418468/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=360184 CPUtime=102.27
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 89737 0 0 0 10115 112 0 0 25 0 1 0 26041177 368828416 89525 1992294400 134512640 135752675 4291452192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 90046 89525 145 303 0 89741 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 360184

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 0.94 2/107 497
/proc/meminfo: memFree=1262352/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=516884 CPUtime=162.25
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 128894 0 0 0 16058 167 0 0 25 0 1 0 26041177 529289216 128682 1992294400 134512640 135752675 4291452192 18446744073709551615 134638237 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 129221 128682 145 303 0 128916 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 516884

[startup+222.301 s]
/proc/loadavg: 1.11 1.05 0.95 2/107 499
/proc/meminfo: memFree=1217712/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=559744 CPUtime=222.24
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 139845 0 0 0 22012 212 0 0 25 0 1 0 26041177 573177856 139484 1992294400 134512640 135752675 4291452192 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 139936 139484 146 303 0 139631 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 559744

[startup+282.301 s]
/proc/loadavg: 1.04 1.04 0.95 2/107 499
/proc/meminfo: memFree=1154596/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=623736 CPUtime=282.23
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 155853 0 0 0 27973 250 0 0 25 0 1 0 26041177 638705664 155492 1992294400 134512640 135752675 4291452192 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 155934 155492 146 303 0 155629 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 623736

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 501
/proc/meminfo: memFree=1086148/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=691348 CPUtime=342.21
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 172769 0 0 0 33931 290 0 0 25 0 1 0 26041177 707940352 172408 1992294400 134512640 135752675 4291452192 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 172837 172408 146 303 0 172532 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 691348

[startup+402.3 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 503
/proc/meminfo: memFree=1031836/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=745556 CPUtime=402.2
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 186313 0 0 0 39892 328 0 0 25 0 1 0 26041177 763449344 185952 1992294400 134512640 135752675 4291452192 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 186389 185952 146 303 0 186084 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 745556

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 505
/proc/meminfo: memFree=1017948/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=759540 CPUtime=462.18
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 189783 0 0 0 45866 352 0 0 25 0 1 0 26041177 777768960 189422 1992294400 134512640 135752675 4291452192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 189885 189422 146 303 0 189580 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 759540

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 505
/proc/meminfo: memFree=985212/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=792216 CPUtime=522.17
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 197951 0 0 0 51832 385 0 0 25 0 1 0 26041177 811229184 197590 1992294400 134512640 135752675 4291452192 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 198054 197590 146 303 0 197749 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 792216

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 507
/proc/meminfo: memFree=969960/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=807136 CPUtime=582.16
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 201682 0 0 0 57807 409 0 0 25 0 1 0 26041177 826507264 201321 1992294400 134512640 135752675 4291452192 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 201784 201321 146 303 0 201479 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 807136

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 509
/proc/meminfo: memFree=958552/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=818232 CPUtime=642.14
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 204470 0 0 0 63783 431 0 0 25 0 1 0 26041177 837869568 204109 1992294400 134512640 135752675 4291452192 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 204558 204109 146 303 0 204253 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 818232

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 515
/proc/meminfo: memFree=723572/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1053836 CPUtime=882.09
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 263180 0 0 0 87678 531 0 0 25 0 1 0 26041177 1079128064 262819 1992294400 134512640 135752675 4291452192 18446744073709551615 134607008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 263459 262819 146 303 0 263154 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1053836

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 517
/proc/meminfo: memFree=664920/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1112440 CPUtime=942.08
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 277829 0 0 0 93639 569 0 0 25 0 1 0 26041177 1139138560 277468 1992294400 134512640 135752675 4291452192 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 278110 277468 146 303 0 277805 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1112440

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 519
/proc/meminfo: memFree=628216/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1148612 CPUtime=1002.07
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 286880 0 0 0 99610 597 0 0 25 0 1 0 26041177 1176178688 286519 1992294400 134512640 135752675 4291452192 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 287153 286519 146 303 0 286848 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1148612

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 521
/proc/meminfo: memFree=600316/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1176376 CPUtime=1062.06
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 293820 0 0 0 105580 626 0 0 25 0 1 0 26041177 1204609024 293459 1992294400 134512640 135752675 4291452192 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 294094 293459 146 303 0 293789 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1176376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 521
/proc/meminfo: memFree=590520/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1186144 CPUtime=1122.04
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 296259 0 0 0 111564 640 0 0 25 0 1 0 26041177 1214611456 295898 1992294400 134512640 135752675 4291452192 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 296536 295898 146 303 0 296231 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1186144

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 523
/proc/meminfo: memFree=577996/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1199088 CPUtime=1182.03
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 299477 0 0 0 117547 656 0 0 25 0 1 0 26041177 1227866112 299116 1992294400 134512640 135752675 4291452192 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 299772 299116 146 303 0 299467 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1199088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 525
/proc/meminfo: memFree=548608/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1227996 CPUtime=1242.01
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 306694 0 0 0 123518 683 0 0 25 0 1 0 26041177 1257467904 306333 1992294400 134512640 135752675 4291452192 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 306999 306333 146 303 0 306694 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1227996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 527
/proc/meminfo: memFree=519220/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1256908 CPUtime=1302.01
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 313926 0 0 0 129492 709 0 0 25 0 1 0 26041177 1287073792 313565 1992294400 134512640 135752675 4291452192 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 314227 313565 146 303 0 313922 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1256908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 529
/proc/meminfo: memFree=505332/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1270784 CPUtime=1361.97
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 317404 0 0 0 135473 724 0 0 25 0 1 0 26041177 1301282816 317043 1992294400 134512640 135752675 4291452192 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 317696 317043 146 303 0 317391 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1270784

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 540
/proc/meminfo: memFree=497892/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1278096 CPUtime=1421.97
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 319220 0 0 0 141464 733 0 0 25 0 1 0 26041177 1308770304 318859 1992294400 134512640 135752675 4291452192 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 319524 318859 146 303 0 319219 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1278096

[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 0.96 2/107 540
/proc/meminfo: memFree=485740/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1290240 CPUtime=1481.94
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 322272 0 0 0 147446 748 0 0 25 0 1 0 26041177 1321205760 321911 1992294400 134512640 135752675 4291452192 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 322560 321911 146 303 0 322255 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1290240

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 0.96 2/107 542
/proc/meminfo: memFree=469248/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1306740 CPUtime=1541.93
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 326378 0 0 0 153431 762 0 0 25 0 1 0 26041177 1338101760 326017 1992294400 134512640 135752675 4291452192 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 326685 326017 146 303 0 326380 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1306740

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/107 544
/proc/meminfo: memFree=457096/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1318884 CPUtime=1601.92
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 329430 0 0 0 159418 774 0 0 25 0 1 0 26041177 1350537216 329069 1992294400 134512640 135752675 4291452192 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 329721 329069 146 303 0 329416 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1318884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 546
/proc/meminfo: memFree=442340/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1333640 CPUtime=1661.91
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 333108 0 0 0 165404 787 0 0 25 0 1 0 26041177 1365647360 332747 1992294400 134512640 135752675 4291452192 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 333410 332747 146 303 0 333105 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1333640

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 546
/proc/meminfo: memFree=430808/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1345196 CPUtime=1721.89
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 336002 0 0 0 171392 797 0 0 25 0 1 0 26041177 1377480704 335641 1992294400 134512640 135752675 4291452192 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 336299 335641 146 303 0 335994 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1345196

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 548
/proc/meminfo: memFree=418160/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1357648 CPUtime=1781.88
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 339097 0 0 0 177381 807 0 0 25 0 1 0 26041177 1390231552 338736 1992294400 134512640 135752675 4291452192 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 339412 338736 146 303 0 339107 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1357648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 550
/proc/meminfo: memFree=413696/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=1362160 CPUtime=1800.08
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4202496 340211 0 0 0 179197 811 0 0 25 0 1 0 26041177 1394851840 339850 1992294400 134512640 135752675 4291452192 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/492/statm: 340540 339850 146 303 0 340235 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1362160

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 551
/proc/meminfo: memFree=1502036/2059040 swapFree=4109596/4192956
[pid=492] ppid=490 vsize=0 CPUtime=1800.18
/proc/492/stat : 492 (wbo1.4b) R 490 492 32560 0 -1 4203524 340211 0 0 0 179197 821 0 0 25 0 1 0 26041177 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/492/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.22
CPU user time (s): 1791.98
CPU system time (s): 8.24075
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1362160

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

runsolver used 2.86056 second user time and 8.62969 second system time

The end

Launcher Data 

Begin job on node034 at 2010-07-08 10:38:19
IDJOB=2702597
IDBENCH=48233
IDSOLVER=1190
FILE ID=node034/2702597-1278578299
PBS_JOBID= 11240090
Free space on /tmp= 62400 MiB

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

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

MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a
RANDOM SEED=114034170

node034.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.216
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.216
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:       1777860 kB
Buffers:         50468 kB
Cached:         119960 kB
SwapCached:      41436 kB
Active:         110692 kB
Inactive:       104196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1777860 kB
SwapTotal:     4192956 kB
SwapFree:      4109596 kB
Dirty:            2752 kB
Writeback:           0 kB
AnonPages:       11836 kB
Mapped:           8448 kB
Slab:            44272 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183716 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-2702597-1278578299.opb

Free space on /tmp at the end= 62400 MiB
End job on node034 at 2010-07-08 11:08:22