Trace number 2702469

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.18 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
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 benchmark1789.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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-2702469-1278568195.opb.
0.00/0.00	c Instance file HOME/instance-2702469-1278568195.opb
0.00/0.00	c File size is 49758 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      730                                                 |
0.00/0.01	c |  Number Clauses:        630                                                 |
0.00/0.01	c |  Number Cardinality:    200                                                 |
0.00/0.01	c |  Number PB Constraints: 630                                                 |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1460     3028 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 0
0.00/0.01	o 0
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1461     3128 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -1
0.00/0.01	o -1
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1462     3228 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -2
0.00/0.01	o -2
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     100     1463     3328 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -3
0.00/0.01	o -3
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         1 |     100     1464     3428 |     5000        1     98 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -4
0.00/0.01	o -4
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         4 |     100     1465     3528 |     5000        4     98 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -5
0.00/0.01	o -5
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         6 |     100     1466     3628 |     5000        6     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -6
0.00/0.01	o -6
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         8 |     100     1467     3728 |     5000        8     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -7
0.00/0.01	o -7
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        11 |     100     1468     3828 |     5000       11     97 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -8
0.00/0.01	o -8
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        48 |     100     1469     3928 |     5000       48     95 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -9
0.00/0.01	o -9
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        57 |     100     1470     4028 |     5000       57     95 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -10
0.00/0.02	o -10
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        75 |     100     1471     4128 |     5000       75     94 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -11
0.00/0.02	o -11
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       106 |     100     1472     4228 |     5000      106     94 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -12
0.00/0.02	o -12
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       170 |     100     1473     4328 |     5000      170     93 |  0.000 % |
0.02/0.03	c |       271 |     100     1473     4328 |     5500      271     92 | 86.302 % |
0.02/0.04	c |       421 |     100     1473     4328 |     6050      421     92 | 86.302 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: -13
0.02/0.05	o -13
0.02/0.05	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 179.959 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |       501 |     100     1474     4428 |     5000      501     91 | 86.302 % |
0.02/0.05	c |       601 |     100     1474     4428 |     5500      601     92 | 86.302 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: -14
0.02/0.06	o -14
0.02/0.06	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 179.947 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |       663 |     100     1475     4528 |     5000      663     93 | 86.302 % |
0.02/0.07	c |       763 |     100     1475     4528 |     5500      763     92 | 86.302 % |
0.02/0.08	c |       915 |     100     1475     4528 |     6050      915     91 | 86.302 % |
0.10/0.10	c |      1140 |     100     1475     4528 |     6655     1140     91 | 86.302 % |
0.10/0.12	c ===============================================================================
0.10/0.12	c New solution: -15
0.10/0.12	o -15
0.10/0.12	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 179.888 s
0.10/0.12	c ===============================================================================
0.10/0.12	c |      1340 |     100     1476     4628 |     5000     1340     91 | 86.302 % |
0.10/0.13	c |      1440 |     100     1476     4628 |     5500     1440     90 | 86.302 % |
0.10/0.13	c ===============================================================================
0.10/0.13	c New solution: -16
0.10/0.13	o -16
0.10/0.13	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 179.876 s
0.10/0.13	c ===============================================================================
0.10/0.13	c |      1478 |     100     1477     4728 |     5000     1478     90 | 86.302 % |
0.10/0.14	c |      1580 |     100     1477     4728 |     5500     1580     90 | 86.302 % |
0.10/0.16	c |      1730 |     100     1477     4728 |     6050     1730     90 | 86.302 % |
0.10/0.19	c |      1957 |     100     1477     4728 |     6655     1957     90 | 86.302 % |
0.19/0.26	c |      2294 |     100     1477     4728 |     7320     2294     92 | 86.302 % |
0.29/0.36	c |      2800 |     100     1477     4728 |     8052     2800     91 | 86.302 % |
0.49/0.56	c |      3561 |     100     1477     4728 |     8857     3561     91 | 86.302 % |
0.69/0.73	c |      4700 |     100     1477     4728 |     9743     4700     90 | 86.302 % |
0.99/1.00	c ===============================================================================
0.99/1.00	c New solution: -17
0.99/1.00	o -17
0.99/1.00	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 179.01 s
0.99/1.00	c ===============================================================================
0.99/1.00	c |      5624 |     100     1478     4828 |     5000     5624     89 | 86.302 % |
0.99/1.06	c |      5725 |     100     1478     4828 |     5500     2871     87 | 86.302 % |
0.99/1.08	c |      5876 |     100     1478     4828 |     6050     3022     87 | 86.302 % |
1.10/1.12	c |      6102 |     100     1478     4828 |     6655     3248     88 | 86.302 % |
1.10/1.20	c |      6442 |     100     1478     4828 |     7320     3588     89 | 86.302 % |
1.29/1.33	c |      6948 |     100     1478     4828 |     8052     4094     89 | 86.302 % |
1.49/1.54	c |      7709 |     100     1478     4828 |     8857     4855     88 | 86.302 % |
1.79/1.88	c |      8848 |     100     1478     4828 |     9743     5994     88 | 86.302 % |
2.39/2.43	c |     10559 |     100     1478     4828 |    10717     7705     88 | 86.302 % |
3.29/3.33	c ===============================================================================
3.29/3.33	c New solution: -18
3.29/3.33	o -18
3.29/3.33	c Elapsed CPU time: 3.2985 s	Remaining CPU time: 176.702 s
3.29/3.33	c ===============================================================================
3.29/3.33	c |     12619 |     100     1479     4928 |     5000     9765     93 | 86.302 % |
3.39/3.40	c |     12721 |     100     1479     4928 |     5500     4985    100 | 86.302 % |
3.39/3.45	c |     12871 |     100     1479     4928 |     6050     5135    101 | 86.302 % |
3.48/3.53	c |     13097 |     100     1479     4928 |     6655     5361    102 | 86.302 % |
3.58/3.62	c |     13436 |     100     1479     4928 |     7320     5700    104 | 86.302 % |
3.79/3.84	c |     13943 |     100     1479     4928 |     8052     6207    105 | 86.302 % |
4.19/4.20	c |     14703 |     100     1479     4928 |     8857     6967    105 | 86.302 % |
4.69/4.75	c |     15844 |     100     1479     4928 |     9743     8108    102 | 86.302 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: -19
4.89/4.99	o -19
4.89/4.99	c Elapsed CPU time: 4.94425 s	Remaining CPU time: 175.056 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |     16403 |     100     1480     5028 |     5000     8667    101 | 86.302 % |
4.99/5.04	c |     16503 |     100     1480     5028 |     5500     4434    106 | 86.302 % |
4.99/5.09	c |     16655 |     100     1480     5028 |     6050     4586    106 | 86.302 % |
5.09/5.17	c |     16883 |     100     1480     5028 |     6655     4814    106 | 86.302 % |
5.19/5.26	c |     17220 |     100     1480     5028 |     7320     5151    106 | 86.302 % |
5.39/5.40	c |     17727 |     100     1480     5028 |     8052     5658    106 | 86.302 % |
5.59/5.60	c ===============================================================================
5.59/5.60	c New solution: -20
5.59/5.60	o -20
5.59/5.60	c Elapsed CPU time: 5.54516 s	Remaining CPU time: 174.455 s
5.59/5.60	c ===============================================================================
5.59/5.60	c |     18203 |     100     1481     5128 |     5000     6134    107 | 86.302 % |
5.59/5.65	c |     18306 |     100     1481     5128 |     5500     3170    101 | 86.302 % |
5.59/5.69	c |     18457 |     100     1481     5128 |     6050     3321    103 | 86.302 % |
5.69/5.76	c |     18684 |     100     1481     5128 |     6655     3548    105 | 86.302 % |
5.79/5.83	c |     19024 |     100     1481     5128 |     7320     3888    106 | 86.302 % |
5.89/5.93	c |     19531 |     100     1481     5128 |     8052     4395    109 | 86.302 % |
5.99/6.09	c |     20291 |     100     1481     5128 |     8857     5155    113 | 86.302 % |
6.39/6.49	c |     21430 |     100     1481     5128 |     9743     6294    108 | 86.302 % |
7.08/7.13	c ===============================================================================
7.08/7.13	c New solution: -21
7.08/7.13	o -21
7.08/7.13	c Elapsed CPU time: 7.06593 s	Remaining CPU time: 172.934 s
7.08/7.13	c ===============================================================================
7.08/7.13	c |     22831 |     100     1482     5228 |     5000     7695    103 | 86.302 % |
7.08/7.18	c |     22931 |     100     1482     5228 |     5500     3948    102 | 86.302 % |
7.19/7.21	c |     23081 |     100     1482     5228 |     6050     4098    103 | 86.302 % |
7.19/7.27	c |     23308 |     100     1482     5228 |     6655     4325    103 | 86.302 % |
7.29/7.33	c |     23645 |     100     1482     5228 |     7320     4662    103 | 86.302 % |
7.39/7.41	c |     24151 |     100     1482     5228 |     8052     5168    101 | 86.302 % |
7.60/7.64	c |     24911 |     100     1482     5228 |     8857     5928     99 | 86.302 % |
7.99/8.05	c |     26050 |     100     1482     5228 |     9743     7067     97 | 86.302 % |
8.48/8.56	c |     27759 |     100     1482     5228 |    10717     8776     95 | 86.302 % |
9.49/9.53	c |     30321 |     100     1482     5228 |    11789    11338     93 | 86.302 % |
10.79/10.80	c |     34167 |     100     1482     5228 |    12968     8934     86 | 86.302 % |
12.19/12.28	c |     39937 |     100     1482     5228 |    14265     7865     85 | 86.302 % |
15.39/15.47	c |     48590 |     100     1482     5228 |    15692     9030    101 | 86.302 % |
21.58/21.68	c |     61565 |     100     1482     5228 |    17261    13804     90 | 86.302 % |
33.08/33.15	c |     81030 |     100     1482     5228 |    18987    15303    109 | 86.302 % |
45.98/46.00	c ===============================================================================
45.98/46.00	c New solution: -22
45.98/46.00	o -22
45.98/46.00	c Elapsed CPU time: 45.6801 s	Remaining CPU time: 134.32 s
45.98/46.00	c ===============================================================================
45.98/46.00	c |    103262 |     100     1483     5328 |     5000    17840    109 | 86.302 % |
46.18/46.21	c |    103365 |     100     1483     5328 |     5500     4563     85 | 86.302 % |
46.18/46.24	c |    103516 |     100     1483     5328 |     6050     4714     85 | 86.302 % |
46.27/46.32	c |    103742 |     100     1483     5328 |     6655     4940     86 | 86.302 % |
46.37/46.44	c |    104079 |     100     1483     5328 |     7320     5277     86 | 86.302 % |
46.48/46.51	c |    104587 |     100     1483     5328 |     8052     5785     86 | 86.302 % |
46.68/46.79	c |    105349 |     100     1483     5328 |     8857     6547     86 | 86.302 % |
46.97/47.00	c |    106490 |     100     1483     5328 |     9743     7688     85 | 86.302 % |
47.67/47.74	c |    108198 |     100     1483     5328 |    10717     9396     86 | 86.302 % |
48.98/49.08	c |    110760 |     100     1483     5328 |    11789     6248     87 | 86.302 % |
50.37/50.43	c |    114604 |     100     1483     5328 |    12968    10092     87 | 86.302 % |
53.17/53.21	c |    120370 |     100     1483     5328 |    14265     9021     87 | 86.302 % |
56.27/56.38	c |    129021 |     100     1483     5328 |    15692    10188     84 | 86.302 % |
62.58/62.68	c |    141997 |     100     1483     5328 |    17261    14963     94 | 86.302 % |
74.17/74.26	c |    161460 |     100     1483     5328 |    18987    16457    103 | 86.302 % |
88.76/88.89	c |    190653 |     100     1483     5328 |    20886    16107     98 | 86.302 % |
115.36/115.47	c |    234445 |     100     1483     5328 |    22974    16183    106 | 86.302 % |
156.05/156.15	c |    300130 |     100     1483     5328 |    25272    17289    129 | 86.302 % |
181.12/181.22	c There are 630 assigned variables. 0 in cost function.
181.52/181.69	c core #1
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -99
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #2
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -98
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #3
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -97
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #4
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -96
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #5
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -95
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #6
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -94
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #7
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -93
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #8
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -92
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #9
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -91
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #10
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -90
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #11
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -89
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #12
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -88
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #13
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -87
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #14
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -86
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #15
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -85
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #16
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -84
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #17
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -83
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #18
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -82
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #19
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -81
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #20
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -80
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #21
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -79
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #22
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -78
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #23
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -77
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #24
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -76
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #25
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -75
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #26
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -74
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #27
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -73
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #28
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -72
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #29
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -71
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #30
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -70
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #31
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -69
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #32
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -68
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #33
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -67
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #34
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -66
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #35
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -65
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #36
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -64
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #37
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -63
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #38
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -62
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #39
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -61
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #40
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -60
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #41
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -59
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #42
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -58
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #43
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -57
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #44
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -56
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #45
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 3	Core Weight: 1	Total Weight: -55
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #46
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 7	Core Weight: 1	Total Weight: -54
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #47
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 7	Core Weight: 1	Total Weight: -53
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #48
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 7	Core Weight: 1	Total Weight: -52
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #49
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 7	Core Weight: 1	Total Weight: -51
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c core #50
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 7	Core Weight: 1	Total Weight: -50
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c ============================[ Search Statistics ]==============================
181.52/181.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.52/181.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.52/181.69	c ===============================================================================
181.52/181.69	c |         0 |     210     1433     3880 |     5000        0    nan |  0.000 % |
181.52/181.69	c ===============================================================================
181.52/181.69	c core #51
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 16	Core Weight: 1	Total Weight: -49
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c ============================[ Search Statistics ]==============================
181.52/181.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.52/181.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.52/181.69	c ===============================================================================
181.52/181.69	c |         0 |     220     1434     3900 |     5000        0    nan |  0.000 % |
181.52/181.69	c ===============================================================================
181.52/181.69	c core #52
181.52/181.69	c 
181.52/181.69	c 
181.52/181.69	c Core size: 16	Core Weight: 1	Total Weight: -48
181.52/181.69	c
181.52/181.69	c
181.52/181.69	c ============================[ Search Statistics ]==============================
181.52/181.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.52/181.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.52/181.69	c ===============================================================================
181.52/181.69	c |         0 |     230     1435     3920 |     5000        0    nan |  0.000 % |
181.52/181.69	c ===============================================================================
181.52/181.70	c core #53
181.52/181.70	c 
181.52/181.70	c 
181.52/181.70	c Core size: 16	Core Weight: 1	Total Weight: -47
181.52/181.70	c
181.52/181.70	c
181.52/181.70	c ============================[ Search Statistics ]==============================
181.52/181.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.52/181.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.52/181.70	c ===============================================================================
181.52/181.70	c |         0 |     240     1436     3940 |     5000        0    nan |  0.000 % |
181.62/181.70	c ===============================================================================
181.62/181.70	c core #54
181.62/181.70	c 
181.62/181.70	c 
181.62/181.70	c Core size: 16	Core Weight: 1	Total Weight: -46
181.62/181.70	c
181.62/181.70	c
181.62/181.70	c ============================[ Search Statistics ]==============================
181.62/181.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.70	c ===============================================================================
181.62/181.70	c |         0 |     250     1437     3960 |     5000        0    nan |  0.000 % |
181.62/181.70	c ===============================================================================
181.62/181.70	c core #55
181.62/181.70	c 
181.62/181.70	c 
181.62/181.70	c Core size: 24	Core Weight: 1	Total Weight: -45
181.62/181.70	c
181.62/181.70	c
181.62/181.70	c ============================[ Search Statistics ]==============================
181.62/181.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.70	c ===============================================================================
181.62/181.70	c |         0 |     272     1438     4004 |     5000        0    nan |  0.000 % |
181.62/181.71	c ===============================================================================
181.62/181.71	c core #56
181.62/181.71	c 
181.62/181.71	c 
181.62/181.71	c Core size: 14	Core Weight: 1	Total Weight: -44
181.62/181.71	c
181.62/181.71	c
181.62/181.71	c ============================[ Search Statistics ]==============================
181.62/181.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.71	c ===============================================================================
181.62/181.71	c |         0 |     280     1439     4020 |     5000        0    nan |  0.000 % |
181.62/181.71	c ===============================================================================
181.62/181.72	c core #57
181.62/181.72	c 
181.62/181.72	c 
181.62/181.72	c Core size: 15	Core Weight: 1	Total Weight: -43
181.62/181.72	c
181.62/181.72	c
181.62/181.72	c ============================[ Search Statistics ]==============================
181.62/181.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.72	c ===============================================================================
181.62/181.72	c |         0 |     290     1440     4040 |     5000        0    nan |  0.000 % |
181.62/181.72	c ===============================================================================
181.62/181.72	c core #58
181.62/181.72	c 
181.62/181.72	c 
181.62/181.72	c Core size: 17	Core Weight: 1	Total Weight: -42
181.62/181.72	c
181.62/181.72	c
181.62/181.72	c ============================[ Search Statistics ]==============================
181.62/181.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.72	c ===============================================================================
181.62/181.72	c |         0 |     301     1441     4062 |     5000        0    nan |  0.000 % |
181.62/181.72	c ===============================================================================
181.62/181.73	c core #59
181.62/181.73	c 
181.62/181.73	c 
181.62/181.73	c Core size: 27	Core Weight: 1	Total Weight: -41
181.62/181.73	c
181.62/181.73	c
181.62/181.73	c ============================[ Search Statistics ]==============================
181.62/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.73	c ===============================================================================
181.62/181.73	c |         0 |     321     1442     4102 |     5000        0    nan |  0.000 % |
181.62/181.73	c ===============================================================================
181.62/181.73	c core #60
181.62/181.73	c 
181.62/181.73	c 
181.62/181.73	c Core size: 19	Core Weight: 1	Total Weight: -40
181.62/181.73	c
181.62/181.73	c
181.62/181.73	c ============================[ Search Statistics ]==============================
181.62/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.73	c ===============================================================================
181.62/181.73	c |         0 |     338     1443     4136 |     5000        0    nan |  0.000 % |
181.62/181.75	c |       101 |     338     1443     4136 |     5500      101      9 | 65.083 % |
181.62/181.76	c ===============================================================================
181.62/181.76	c core #61
181.62/181.76	c 
181.62/181.76	c 
181.62/181.76	c Core size: 40	Core Weight: 1	Total Weight: -39
181.62/181.76	c
181.62/181.76	c
181.62/181.76	c ============================[ Search Statistics ]==============================
181.62/181.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.76	c ===============================================================================
181.62/181.76	c |         0 |     370     1444     4200 |     5000        0    nan |  0.000 % |
181.62/181.78	c |       103 |     370     1444     4200 |     5500      103     36 | 63.000 % |
181.62/181.79	c |       254 |     370     1444     4200 |     6050      254     56 | 63.000 % |
181.73/181.81	c |       481 |     370     1444     4200 |     6655      481     61 | 63.000 % |
181.73/181.84	c |       818 |     370     1444     4200 |     7320      818     64 | 63.000 % |
181.73/181.89	c ===============================================================================
181.73/181.90	c core #62
181.73/181.90	c 
181.73/181.90	c 
181.73/181.90	c Core size: 49	Core Weight: 1	Total Weight: -38
181.73/181.90	c
181.73/181.90	c
181.73/181.90	c ============================[ Search Statistics ]==============================
181.73/181.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.90	c ===============================================================================
181.73/181.90	c |         0 |     412     1445     4284 |     5000        0    nan |  0.000 % |
181.83/181.90	c |       100 |     412     1445     4284 |     5500      100     10 | 60.461 % |
181.83/181.91	c |       254 |     412     1445     4284 |     6050      254     10 | 60.461 % |
181.83/181.93	c |       481 |     412     1445     4284 |     6655      481     15 | 60.461 % |
181.83/181.96	c |       819 |     412     1445     4284 |     7320      819     16 | 60.461 % |
181.93/182.01	c |      1325 |     412     1445     4284 |     8052     1325     16 | 60.461 % |
182.03/182.11	c |      2084 |     412     1445     4284 |     8857     2084     17 | 60.461 % |
182.13/182.24	c ===============================================================================
182.13/182.27	c core #63
182.13/182.27	c 
182.13/182.27	c 
182.13/182.27	c Core size: 66	Core Weight: 1	Total Weight: -37
182.13/182.27	c
182.13/182.27	c
182.13/182.27	c ============================[ Search Statistics ]==============================
182.13/182.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.27	c ===============================================================================
182.13/182.27	c |         0 |     463     1446     4386 |     5000        0    nan |  0.000 % |
182.13/182.29	c |       103 |     463     1446     4386 |     5500      103     35 | 57.640 % |
182.23/182.30	c |       254 |     463     1446     4386 |     6050      254     56 | 57.640 % |
182.23/182.32	c |       479 |     463     1446     4386 |     6655      479     62 | 57.640 % |
182.23/182.35	c |       819 |     463     1446     4386 |     7320      819     58 | 57.640 % |
182.33/182.42	c |      1326 |     463     1446     4386 |     8052     1326     64 | 57.640 % |
182.43/182.54	c |      2085 |     463     1446     4386 |     8857     2085     65 | 57.640 % |
182.54/182.68	c |      3225 |     463     1446     4386 |     9743     3225     66 | 57.640 % |
182.83/182.94	c |      4934 |     463     1446     4386 |    10717     4934     68 | 57.640 % |
183.43/183.51	c |      7497 |     463     1446     4386 |    11789     7497     69 | 57.640 % |
184.63/184.72	c |     11344 |     463     1446     4386 |    12968    11344     69 | 57.640 % |
185.93/186.03	c |     17113 |     463     1446     4386 |    14265    10277     70 | 57.640 % |
189.13/189.29	c |     25763 |     463     1446     4386 |    15692    11439     73 | 57.640 % |
195.22/195.34	c |     38737 |     463     1446     4386 |    17261    16214     73 | 57.640 % |
204.92/205.07	c |     58198 |     463     1446     4386 |    18987    17703     72 | 57.640 % |
215.12/215.29	c |     87393 |     463     1446     4386 |    20886    17356     71 | 57.640 % |
241.11/241.20	c |    131186 |     463     1446     4386 |    22974    17432     72 | 57.640 % |
270.59/270.80	c |    196870 |     463     1446     4386 |    25272    18530     73 | 57.640 % |
315.88/316.04	c |    295399 |     463     1446     4386 |    27799    11117     72 | 57.640 % |
386.06/386.29	c |    443190 |     463     1446     4386 |    30579    18513     71 | 57.640 % |
491.12/491.35	c |    664874 |     463     1446     4386 |    33637    17530     73 | 57.640 % |
672.04/672.37	c |    997401 |     463     1446     4386 |    37001    25452     72 | 57.640 % |
1051.41/1051.84	c |   1496191 |     463     1446     4386 |    40701    21484     72 | 57.640 % |
1282.04/1282.55	c ===============================================================================
1284.34/1284.88	c core #64
1284.34/1284.88	c 
1284.34/1284.88	c 
1284.34/1284.88	c Core size: 165	Core Weight: 1	Total Weight: -36
1284.34/1284.88	c
1284.34/1284.88	c
1284.34/1284.88	c ============================[ Search Statistics ]==============================
1284.34/1284.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1284.34/1284.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1284.34/1284.88	c ===============================================================================
1284.34/1284.88	c |         0 |     555     1447     4570 |     5000        0    nan |  0.000 % |
1284.43/1284.95	c |       100 |     555     1447     4570 |     5500      100     28 | 53.165 % |
1284.43/1284.97	c |       251 |     555     1447     4570 |     6050      251     20 | 53.165 % |
1284.73/1285.22	c |       478 |     555     1447     4570 |     6655      478     44 | 53.165 % |
1284.73/1285.24	c |       817 |     555     1447     4570 |     7320      817     54 | 53.165 % |
1284.73/1285.28	c |      1325 |     555     1447     4570 |     8052     1325     58 | 53.165 % |
1284.83/1285.34	c |      2086 |     555     1447     4570 |     8857     2086     60 | 53.165 % |
1285.03/1285.50	c |      3225 |     555     1447     4570 |     9743     3225     60 | 53.165 % |
1285.12/1285.67	c |      4934 |     555     1447     4570 |    10717     4934     61 | 53.165 % |
1285.53/1286.02	c |      7496 |     555     1447     4570 |    11789     7496     61 | 53.165 % |
1286.72/1287.26	c |     11342 |     555     1447     4570 |    12968    11342     61 | 53.165 % |
1288.33/1288.86	c |     17108 |     555     1447     4570 |    14265    10269     59 | 53.165 % |
1290.13/1290.68	c |     25757 |     555     1447     4570 |    15692    11428     55 | 53.165 % |
1292.23/1292.71	c |     38734 |     555     1447     4570 |    17261    16202     55 | 53.165 % |
1295.53/1296.03	c |     58196 |     555     1447     4570 |    18987    17691     55 | 53.165 % |
1301.22/1301.78	c |     87390 |     555     1447     4570 |    20886    17336     53 | 53.165 % |
1311.22/1311.79	c |    131179 |     555     1447     4570 |    22974    17441     53 | 53.165 % |
1325.41/1325.99	c |    196867 |     555     1447     4570 |    25272    18448     52 | 53.165 % |
1348.41/1348.97	c |    295395 |     555     1447     4570 |    27799    11044     52 | 53.165 % |
1385.50/1386.03	c |    443187 |     555     1447     4570 |    30579    18241     48 | 53.165 % |
1442.58/1443.11	c |    664872 |     555     1447     4570 |    33637    17069     47 | 53.165 % |
1559.43/1560.00	c |    997397 |     555     1447     4570 |    37001    24537     73 | 53.165 % |

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

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


[startup+0 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 29360
/proc/meminfo: memFree=1623764/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=2756 CPUtime=0
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 25032726 2822144 229 1992294400 134512640 135752675 4289461104 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 689 231 141 303 0 371 0

[startup+0.026653 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 29360
/proc/meminfo: memFree=1623764/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=2792 CPUtime=0.02
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 375 0 0 0 2 0 0 0 20 0 1 0 25032726 2859008 280 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 698 280 144 303 0 393 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2792

[startup+0.101666 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 29360
/proc/meminfo: memFree=1623764/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=3308 CPUtime=0.1
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 488 0 0 0 9 1 0 0 20 0 1 0 25032726 3387392 393 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 827 393 145 303 0 522 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3308

[startup+0.300704 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 29360
/proc/meminfo: memFree=1623764/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=3964 CPUtime=0.29
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 659 0 0 0 28 1 0 0 20 0 1 0 25032726 4059136 564 1992294400 134512640 135752675 4289461104 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 991 564 145 303 0 686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3964

[startup+0.700781 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 29360
/proc/meminfo: memFree=1623764/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=4872 CPUtime=0.69
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 882 0 0 0 68 1 0 0 21 0 1 0 25032726 4988928 787 1992294400 134512640 135752675 4289461104 18446744073709551615 134611698 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 1218 787 145 303 0 913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4872

[startup+1.50093 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 29361
/proc/meminfo: memFree=1620656/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=6464 CPUtime=1.49
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 1283 0 0 0 147 2 0 0 23 0 1 0 25032726 6619136 1188 1992294400 134512640 135752675 4289461104 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 1616 1188 145 303 0 1311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6464

[startup+3.10024 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 29361
/proc/meminfo: memFree=1618796/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=8692 CPUtime=3.09
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 1845 0 0 0 306 3 0 0 25 0 1 0 25032726 8900608 1750 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 2173 1750 145 303 0 1868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8692

[startup+6.30185 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 29361
/proc/meminfo: memFree=1614216/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=13624 CPUtime=6.29
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 3063 0 0 0 623 6 0 0 25 0 1 0 25032726 13950976 2968 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 3406 2968 145 303 0 3101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13624

[startup+12.7011 s]
/proc/loadavg: 0.89 0.97 0.99 2/107 29361
/proc/meminfo: memFree=1604056/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=22980 CPUtime=12.69
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 5376 0 0 0 1258 11 0 0 25 0 1 0 25032726 23531520 5281 1992294400 134512640 135752675 4289461104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 5745 5281 145 303 0 5440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22980

[startup+25.5015 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 29361
/proc/meminfo: memFree=1589176/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=37220 CPUtime=25.48
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 8935 0 0 0 2529 19 0 0 25 0 1 0 25032726 38113280 8840 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 9305 8840 145 303 0 9000 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37220

[startup+51.1014 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 29363
/proc/meminfo: memFree=1566112/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=60436 CPUtime=51.08
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 14716 0 0 0 5073 35 0 0 25 0 1 0 25032726 61886464 14621 1992294400 134512640 135752675 4289461104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 15109 14621 145 303 0 14804 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60436

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 29363
/proc/meminfo: memFree=1517380/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=108596 CPUtime=102.26
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 26755 0 0 0 10159 67 0 0 25 0 1 0 25032726 111202304 26660 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 27149 26660 145 303 0 26844 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108596

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29365
/proc/meminfo: memFree=1462696/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=163924 CPUtime=162.23
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 40545 0 0 0 16120 103 0 0 25 0 1 0 25032726 167858176 40450 1992294400 134512640 135752675 4289461104 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 40981 40450 145 303 0 40676 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 163924

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29367
/proc/meminfo: memFree=1421156/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=204860 CPUtime=222.22
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 50824 0 0 0 22076 146 0 0 25 0 1 0 25032726 209776640 50729 1992294400 134512640 135752675 4289461104 18446744073709551615 134612112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 51215 50729 146 303 0 50910 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 204860

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29369
/proc/meminfo: memFree=1385940/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=240080 CPUtime=282.19
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 59589 0 0 0 28037 182 0 0 25 0 1 0 25032726 245841920 59494 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 60020 59494 146 303 0 59715 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 240080

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29371
/proc/meminfo: memFree=1347252/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=278756 CPUtime=342.17
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 69206 0 0 0 33995 222 0 0 25 0 1 0 25032726 285446144 69111 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 69689 69111 146 303 0 69384 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 278756

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29371
/proc/meminfo: memFree=1306084/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=320316 CPUtime=402.15
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 79555 0 0 0 39945 270 0 0 25 0 1 0 25032726 328003584 79460 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 80079 79460 146 303 0 79774 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 320316

[startup+462.301 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 29373
/proc/meminfo: memFree=1257724/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=368548 CPUtime=462.13
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 91592 0 0 0 45900 313 0 0 25 0 1 0 25032726 377393152 91497 1992294400 134512640 135752675 4289461104 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 92137 91497 146 303 0 91832 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 368548

[startup+522.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 29375
/proc/meminfo: memFree=1222632/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=404116 CPUtime=522.11
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 100474 0 0 0 51863 348 0 0 25 0 1 0 25032726 413814784 100379 1992294400 134512640 135752675 4289461104 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 101029 100379 146 303 0 100724 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 404116

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29377
/proc/meminfo: memFree=1173652/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=452412 CPUtime=582.09
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 112540 0 0 0 57818 391 0 0 25 0 1 0 25032726 463269888 112445 1992294400 134512640 135752675 4289461104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 113103 112445 146 303 0 112798 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 452412

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29379
/proc/meminfo: memFree=1132360/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=493304 CPUtime=642.08
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 122748 0 0 0 63778 430 0 0 25 0 1 0 25032726 505143296 122653 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 123326 122653 146 303 0 123021 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 493304

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29394
/proc/meminfo: memFree=1021008/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=604644 CPUtime=881.97
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 150529 0 0 0 87654 543 0 0 25 0 1 0 25032726 619155456 150434 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 151161 150434 146 303 0 150856 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 604644

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29396
/proc/meminfo: memFree=991992/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=633460 CPUtime=941.95
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 157741 0 0 0 93622 573 0 0 25 0 1 0 25032726 648663040 157646 1992294400 134512640 135752675 4289461104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 158365 157646 146 303 0 158060 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 633460

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29396
/proc/meminfo: memFree=956652/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=668832 CPUtime=1001.93
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 166562 0 0 0 99587 606 0 0 25 0 1 0 25032726 684883968 166467 1992294400 134512640 135752675 4289461104 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 167208 166467 146 303 0 166903 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 668832

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29398
/proc/meminfo: memFree=931356/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=694132 CPUtime=1061.91
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 172877 0 0 0 105560 631 0 0 25 0 1 0 25032726 710791168 172782 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 173533 172782 146 303 0 173228 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 694132

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29400
/proc/meminfo: memFree=912756/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=712920 CPUtime=1121.89
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 177557 0 0 0 111536 653 0 0 25 0 1 0 25032726 730030080 177462 1992294400 134512640 135752675 4289461104 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 178230 177462 146 303 0 177925 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 712920

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29402
/proc/meminfo: memFree=880640/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=744892 CPUtime=1181.86
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 185557 0 0 0 117501 685 0 0 25 0 1 0 25032726 762769408 185462 1992294400 134512640 135752675 4289461104 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 186223 185462 146 303 0 185918 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 744892

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29404
/proc/meminfo: memFree=846044/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=779252 CPUtime=1241.84
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 194127 0 0 0 123468 716 0 0 25 0 1 0 25032726 797954048 194032 1992294400 134512640 135752675 4289461104 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 194813 194032 146 303 0 194508 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 779252

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29404
/proc/meminfo: memFree=807232/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=816472 CPUtime=1301.83
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 204173 0 0 0 129419 764 0 0 25 0 1 0 25032726 836067328 203640 1992294400 134512640 135752675 4289461104 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 204118 203640 146 303 0 203813 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 816472

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29406
/proc/meminfo: memFree=747092/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=877600 CPUtime=1361.8
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 219345 0 0 0 135349 831 0 0 25 0 1 0 25032726 898662400 218812 1992294400 134512640 135752675 4289461104 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 219400 218812 146 303 0 219095 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 877600

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29408
/proc/meminfo: memFree=692904/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=931144 CPUtime=1421.78
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 232692 0 0 0 141282 896 0 0 25 0 1 0 25032726 953491456 232159 1992294400 134512640 135752675 4289461104 18446744073709551615 134603319 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 232786 232159 146 303 0 232481 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 931144

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29410
/proc/meminfo: memFree=641072/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=983556 CPUtime=1481.76
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 245776 0 0 0 147215 961 0 0 25 0 1 0 25032726 1007161344 245243 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 245889 245243 146 303 0 245584 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 983556

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29412
/proc/meminfo: memFree=601516/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1022552 CPUtime=1541.74
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 255491 0 0 0 153169 1005 0 0 25 0 1 0 25032726 1047093248 254958 1992294400 134512640 135752675 4289461104 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 255638 254958 146 303 0 255333 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1022552

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29412
/proc/meminfo: memFree=574732/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1049712 CPUtime=1601.72
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 262281 0 0 0 159135 1037 0 0 25 0 1 0 25032726 1074905088 261748 1992294400 134512640 135752675 4289461104 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 262428 261748 146 303 0 262123 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1049712

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29414
/proc/meminfo: memFree=544104/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1080184 CPUtime=1661.69
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 269863 0 0 0 165101 1068 0 0 25 0 1 0 25032726 1106108416 269330 1992294400 134512640 135752675 4289461104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 270046 269330 146 303 0 269741 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1080184

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29416
/proc/meminfo: memFree=515956/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1108400 CPUtime=1721.68
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 276911 0 0 0 171070 1098 0 0 25 0 1 0 25032726 1135001600 276378 1992294400 134512640 135752675 4289461104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 277100 276378 146 303 0 276795 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1108400

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29421
/proc/meminfo: memFree=474540/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1149072 CPUtime=1781.65
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 287067 0 0 0 177026 1139 0 0 25 0 1 0 25032726 1176649728 286534 1992294400 134512640 135752675 4289461104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 287268 286534 146 303 0 286963 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1149072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29421
/proc/meminfo: memFree=465364/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=1157916 CPUtime=1800.07
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4202496 289271 0 0 0 178858 1149 0 0 25 0 1 0 25032726 1185705984 288738 1992294400 134512640 135752675 4289461104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29360/statm: 289479 288738 146 303 0 289174 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1157916

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 0.99 0.99 2/107 29421
/proc/meminfo: memFree=465364/2059040 swapFree=4134964/4192956
[pid=29360] ppid=29358 vsize=0 CPUtime=1800.16
/proc/29360/stat : 29360 (wbo1.4b) R 29358 29360 26724 0 -1 4203524 289271 0 0 0 178858 1158 0 0 25 0 1 0 25032726 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29360/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.18
CPU user time (s): 1788.58
CPU system time (s): 11.5962
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 1157916

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

runsolver used 3.02154 second user time and 8.47271 second system time

The end

Launcher Data 

Begin job on node009 at 2010-07-08 07:49:55
IDJOB=2702469
IDBENCH=48169
IDSOLVER=1190
FILE ID=node009/2702469-1278568195
PBS_JOBID= 11239574
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=45006188

node009.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.262
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.262
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:       1624664 kB
Buffers:         98340 kB
Cached:         232324 kB
SwapCached:      12672 kB
Active:         205528 kB
Inactive:       157964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1624664 kB
SwapTotal:     4192956 kB
SwapFree:      4134964 kB
Dirty:            2864 kB
Writeback:           0 kB
AnonPages:       29336 kB
Mapped:           8488 kB
Slab:            48976 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   199440 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-2702469-1278568195.opb

Free space on /tmp at the end= 62552 MiB
End job on node009 at 2010-07-08 08:19:58