Trace number 2689946

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 NameAnswerCPU timeWall clock time
wbo 1.4a? (TO) 1800.15 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
MD5SUM76159a1844a191e7556569a339118f97
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark0.292955
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689946-1277899124.wbo.
0.00/0.00	c Instance file HOME/instance-2689946-1277899124.wbo
0.00/0.00	c File size is 10285 bytes.
0.00/0.00	c Highest Coefficient sum: 1248
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      169                                                 |
0.00/0.00	c |  Number Clauses:        30                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     169      101     1205 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |     169      101     1205 |     5500      100     34 |  0.004 % |
0.00/0.00	c |       250 |     169      101     1205 |     6050      250     34 |  0.004 % |
0.00/0.01	c |       475 |     169      101     1205 |     6655      475     37 |  0.004 % |
0.00/0.02	c |       813 |     169      101     1205 |     7320      813     36 |  0.004 % |
0.00/0.03	c |      1320 |     169      101     1205 |     8052     1320     34 |  0.004 % |
0.00/0.06	c |      2079 |     169      101     1205 |     8857     2079     34 |  0.004 % |
0.06/0.09	c |      3218 |     169      101     1205 |     9743     3218     35 |  0.004 % |
0.09/0.16	c |      4926 |     169      101     1205 |    10717     4926     37 |  0.004 % |
0.19/0.28	c |      7488 |     169      101     1205 |    11789     7488     39 |  0.004 % |
0.49/0.50	c |     11334 |     169      101     1205 |    12968    11334     40 |  0.004 % |
0.79/0.88	c |     17103 |     169      101     1205 |    14265    10567     44 |  0.004 % |
1.39/1.44	c |     25753 |     169      101     1205 |    15692    12016     49 |  0.004 % |
2.49/2.51	c |     38731 |     169      101     1205 |    17261     9186     50 |  0.004 % |
4.29/4.30	c |     58192 |     169      101     1205 |    18987    11274     51 |  0.004 % |
6.39/6.47	c ===============================================================================
6.79/6.84	c core #1
6.79/6.84	c ============================[ Search Statistics ]==============================
6.79/6.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.79/6.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.79/6.84	c ===============================================================================
6.79/6.84	c |         0 |     228      164     2127 |     5000        0    nan |  0.000 % |
6.79/6.84	c |       102 |     228      164     2127 |     5500      102     26 |  0.002 % |
6.79/6.85	c |       254 |     228      164     2127 |     6050      254     31 |  0.002 % |
6.79/6.85	c |       480 |     228      164     2127 |     6655      480     33 |  0.002 % |
6.79/6.86	c |       818 |     228      164     2127 |     7320      818     33 |  0.002 % |
6.79/6.88	c |      1324 |     228      164     2127 |     8052     1324     35 |  0.002 % |
6.89/6.90	c |      2084 |     228      164     2127 |     8857     2084     40 |  0.002 % |
6.89/6.95	c |      3223 |     228      164     2127 |     9743     3223     41 |  0.002 % |
6.99/7.03	c |      4931 |     228      164     2127 |    10717     4931     42 |  0.002 % |
7.09/7.16	c |      7493 |     228      164     2127 |    11789     7493     42 |  0.002 % |
7.30/7.39	c |     11338 |     228      164     2127 |    12968    11338     43 |  0.002 % |
7.79/7.84	c |     17107 |     228      164     2127 |    14265    10579     47 |  0.002 % |
8.50/8.57	c |     25756 |     228      164     2127 |    15692    12048     49 |  0.002 % |
9.59/9.61	c |     38731 |     228      164     2127 |    17261     9208     49 |  0.002 % |
11.20/11.26	c |     58196 |     228      164     2127 |    18987    11301     51 |  0.002 % |
13.79/13.88	c ===============================================================================
14.19/14.28	c core #2
14.19/14.28	c ============================[ Search Statistics ]==============================
14.19/14.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.19/14.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.19/14.28	c ===============================================================================
14.19/14.28	c |         0 |     288      226     3039 |     5000        0    nan |  0.000 % |
14.19/14.29	c |       101 |     288      226     3039 |     5500      101     34 |  0.001 % |
14.19/14.30	c |       252 |     288      226     3039 |     6050      252     41 |  0.001 % |
14.29/14.30	c |       477 |     288      226     3039 |     6655      477     37 |  0.001 % |
14.29/14.31	c |       815 |     288      226     3039 |     7320      815     35 |  0.001 % |
14.29/14.33	c |      1321 |     288      226     3039 |     8052     1321     35 |  0.001 % |
14.29/14.36	c |      2080 |     288      226     3039 |     8857     2080     36 |  0.001 % |
14.29/14.40	c |      3221 |     288      226     3039 |     9743     3221     36 |  0.001 % |
14.39/14.47	c |      4929 |     288      226     3039 |    10717     4929     35 |  0.001 % |
14.49/14.59	c |      7492 |     288      226     3039 |    11789     7492     36 |  0.001 % |
14.79/14.81	c |     11338 |     288      226     3039 |    12968    11338     37 |  0.001 % |
15.09/15.18	c |     17104 |     288      226     3039 |    14265    10566     42 |  0.001 % |
15.79/15.83	c |     25753 |     288      226     3039 |    15692    12030     44 |  0.001 % |
16.79/16.86	c |     38727 |     288      226     3039 |    17261     9209     47 |  0.001 % |
18.30/18.35	c |     58190 |     288      226     3039 |    18987    11295     49 |  0.001 % |
21.00/21.00	c |     87382 |     288      226     3039 |    20886    11840     47 |  0.002 % |
21.49/21.56	c ===============================================================================
22.00/22.02	c core #3
22.00/22.02	c ============================[ Search Statistics ]==============================
22.00/22.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.00/22.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.00/22.02	c ===============================================================================
22.00/22.02	c |         0 |     350      287     3942 |     5000        0    nan |  0.000 % |
22.00/22.03	c |       101 |     350      287     3942 |     5500      101     28 |  0.001 % |
22.00/22.03	c |       252 |     350      287     3942 |     6050      252     30 |  0.001 % |
22.00/22.04	c |       477 |     350      287     3942 |     6655      477     28 |  0.001 % |
22.00/22.05	c |       814 |     350      287     3942 |     7320      814     31 |  0.001 % |
22.00/22.06	c |      1322 |     350      287     3942 |     8052     1322     33 |  0.001 % |
22.00/22.09	c |      2082 |     350      287     3942 |     8857     2082     34 |  0.001 % |
22.09/22.13	c |      3222 |     350      287     3942 |     9743     3222     34 |  0.001 % |
22.19/22.21	c |      4931 |     350      287     3942 |    10717     4931     35 |  0.001 % |
22.29/22.33	c |      7493 |     350      287     3942 |    11789     7493     37 |  0.001 % |
22.49/22.57	c |     11338 |     350      287     3942 |    12968    11338     39 |  0.001 % |
22.89/22.95	c |     17104 |     350      287     3942 |    14265    10571     44 |  0.001 % |
23.49/23.59	c |     25754 |     350      287     3942 |    15692    12041     47 |  0.001 % |
24.69/24.70	c |     38728 |     350      287     3942 |    17261     9227     47 |  0.001 % |
26.19/26.26	c |     58191 |     350      287     3942 |    18987    11313     48 |  0.001 % |
28.69/28.72	c |     87384 |     350      287     3942 |    20886    11912     48 |  0.001 % |
30.50/30.56	c ===============================================================================
31.00/31.08	c core #4
31.00/31.08	c ============================[ Search Statistics ]==============================
31.00/31.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.00/31.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.00/31.08	c ===============================================================================
31.00/31.08	c |         0 |     415      348     4851 |     5000        0    nan |  0.000 % |
31.00/31.09	c |       100 |     415      348     4851 |     5500      100     28 |  0.001 % |
31.00/31.09	c |       251 |     415      348     4851 |     6050      251     27 |  0.001 % |
31.10/31.10	c |       477 |     415      348     4851 |     6655      477     27 |  0.001 % |
31.10/31.11	c |       814 |     415      348     4851 |     7320      814     30 |  0.001 % |
31.10/31.13	c |      1322 |     415      348     4851 |     8052     1322     34 |  0.001 % |
31.10/31.16	c |      2081 |     415      348     4851 |     8857     2081     35 |  0.001 % |
31.19/31.20	c |      3221 |     415      348     4851 |     9743     3221     35 |  0.001 % |
31.19/31.28	c |      4932 |     415      348     4851 |    10717     4932     37 |  0.001 % |
31.39/31.43	c |      7495 |     415      348     4851 |    11789     7495     38 |  0.001 % |
31.59/31.68	c |     11340 |     415      348     4851 |    12968    11340     39 |  0.001 % |
31.99/32.08	c |     17107 |     415      348     4851 |    14265    10572     44 |  0.001 % |
32.69/32.74	c |     25758 |     415      348     4851 |    15692    12041     43 |  0.001 % |
33.79/33.85	c |     38733 |     415      348     4851 |    17261     9206     45 |  0.001 % |
35.49/35.50	c |     58195 |     415      348     4851 |    18987    11311     48 |  0.001 % |
38.30/38.38	c |     87389 |     370      348     4851 |    20886     4557     46 | 10.844 % |
38.59/38.62	c ===============================================================================
38.99/39.07	c core #5
38.99/39.07	c ============================[ Search Statistics ]==============================
38.99/39.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.99/39.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.99/39.07	c ===============================================================================
38.99/39.07	c |         0 |     471      408     5732 |     5000        0    nan |  0.000 % |
38.99/39.08	c |       100 |     471      408     5732 |     5500      100     26 |  0.000 % |
38.99/39.09	c |       250 |     471      408     5732 |     6050      250     29 |  0.000 % |
38.99/39.09	c |       475 |     471      408     5732 |     6655      475     30 |  0.000 % |
39.10/39.10	c |       814 |     471      408     5732 |     7320      814     31 |  0.000 % |
39.10/39.12	c |      1320 |     471      408     5732 |     8052     1320     33 |  0.000 % |
39.10/39.15	c |      2079 |     471      408     5732 |     8857     2079     35 |  0.000 % |
39.19/39.20	c |      3218 |     471      408     5732 |     9743     3218     37 |  0.000 % |
39.19/39.29	c |      4926 |     471      408     5732 |    10717     4926     37 |  0.000 % |
39.40/39.46	c |      7488 |     471      408     5732 |    11789     7488     41 |  0.000 % |
39.69/39.77	c |     11332 |     471      408     5732 |    12968    11332     43 |  0.000 % |
40.20/40.23	c |     17102 |     471      408     5732 |    14265    10551     46 |  0.000 % |
40.89/40.96	c |     25751 |     471      408     5732 |    15692    12025     46 |  0.000 % |
41.99/42.04	c |     38727 |     471      408     5732 |    17261     9220     46 |  0.000 % |
43.69/43.75	c |     58190 |     471      408     5732 |    18987    11308     47 |  0.000 % |
46.30/46.39	c |     87383 |     471      408     5732 |    20886    11781     48 |  0.000 % |
47.49/47.53	c ===============================================================================
47.99/48.03	c core #6
47.99/48.03	c ============================[ Search Statistics ]==============================
47.99/48.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.99/48.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.99/48.03	c ===============================================================================
47.99/48.03	c |         0 |     542      469     6665 |     5000        0    nan |  0.000 % |
47.99/48.04	c |       102 |     542      469     6665 |     5500      102     32 |  0.000 % |
47.99/48.05	c |       254 |     542      469     6665 |     6050      254     35 |  0.000 % |
47.99/48.06	c |       479 |     542      469     6665 |     6655      479     31 |  0.000 % |
47.99/48.07	c |       816 |     542      469     6665 |     7320      816     31 |  0.000 % |
47.99/48.09	c |      1323 |     542      469     6665 |     8052     1323     31 |  0.000 % |
48.10/48.12	c |      2089 |     542      469     6665 |     8857     2089     34 |  0.000 % |
48.10/48.17	c |      3229 |     542      469     6665 |     9743     3229     36 |  0.000 % |
48.19/48.25	c |      4939 |     542      469     6665 |    10717     4939     35 |  0.000 % |
48.30/48.39	c |      7501 |     542      469     6665 |    11789     7501     37 |  0.000 % |
48.60/48.65	c |     11346 |     542      469     6665 |    12968    11346     38 |  0.000 % |
48.99/49.06	c |     17112 |     542      469     6665 |    14265    10575     42 |  0.000 % |
49.69/49.78	c |     25763 |     542      469     6665 |    15692    12037     43 |  0.000 % |
50.89/50.90	c |     38741 |     542      469     6665 |    17261     9236     44 |  0.000 % |
52.49/52.56	c |     58202 |     542      469     6665 |    18987    11334     48 |  0.000 % |
55.09/55.13	c |     87398 |     542      469     6665 |    20886    11878     46 |  0.000 % |
58.69/58.71	c ===============================================================================
59.30/59.33	c core #7
59.30/59.33	c ============================[ Search Statistics ]==============================
59.30/59.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.30/59.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
59.30/59.33	c ===============================================================================
59.30/59.33	c |         0 |     612      529     7575 |     5000        0    nan |  0.000 % |
59.30/59.34	c |       102 |     612      529     7575 |     5500      102     34 |  0.000 % |
59.30/59.35	c |       253 |     612      529     7575 |     6050      253     40 |  0.000 % |
59.30/59.36	c |       479 |     612      529     7575 |     6655      479     39 |  0.000 % |
59.30/59.37	c |       816 |     612      529     7575 |     7320      816     37 |  0.000 % |
59.30/59.39	c |      1323 |     612      529     7575 |     8052     1323     36 |  0.000 % |
59.40/59.42	c |      2082 |     612      529     7575 |     8857     2082     38 |  0.000 % |
59.40/59.47	c |      3221 |     612      529     7575 |     9743     3221     40 |  0.000 % |
59.49/59.56	c |      4929 |     612      529     7575 |    10717     4929     41 |  0.000 % |
59.70/59.72	c |      7494 |     612      529     7575 |    11789     7494     41 |  0.000 % |
59.99/60.00	c |     11338 |     612      529     7575 |    12968    11338     42 |  0.000 % |
60.40/60.46	c |     17104 |     612      529     7575 |    14265    10563     45 |  0.000 % |
61.19/61.20	c |     25754 |     612      529     7575 |    15692    12028     48 |  0.000 % |
62.29/62.32	c |     38728 |     612      529     7575 |    17261     9206     45 |  0.000 % |
64.10/64.14	c |     58189 |     612      529     7575 |    18987    11307     47 |  0.000 % |
67.00/67.03	c |     87386 |     612      529     7575 |    20886    11863     49 |  0.000 % |
68.50/68.58	c ===============================================================================
69.10/69.11	c core #8
69.10/69.11	c ============================[ Search Statistics ]==============================
69.10/69.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
69.10/69.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
69.10/69.11	c ===============================================================================
69.10/69.11	c |         0 |     666      587     8436 |     5000        0    nan |  0.000 % |
69.10/69.13	c |       100 |     666      587     8436 |     5500      100     24 |  0.000 % |
69.10/69.13	c |       250 |     666      587     8436 |     6050      250     33 |  0.000 % |
69.10/69.14	c |       475 |     666      587     8436 |     6655      475     36 |  0.000 % |
69.10/69.15	c |       815 |     666      587     8436 |     7320      815     34 |  0.000 % |
69.10/69.17	c |      1321 |     666      587     8436 |     8052     1321     34 |  0.000 % |
69.20/69.20	c |      2083 |     666      587     8436 |     8857     2083     34 |  0.000 % |
69.20/69.26	c |      3222 |     666      587     8436 |     9743     3222     35 |  0.000 % |
69.30/69.34	c |      4930 |     666      587     8436 |    10717     4930     37 |  0.000 % |
69.39/69.49	c |      7494 |     666      587     8436 |    11789     7494     38 |  0.000 % |
69.69/69.76	c |     11338 |     666      587     8436 |    12968    11338     39 |  0.000 % |
70.09/70.18	c |     17106 |     666      587     8436 |    14265    10573     41 |  0.000 % |
70.79/70.86	c |     25756 |     666      587     8436 |    15692    12036     48 |  0.000 % |
72.00/72.01	c |     38733 |     666      587     8436 |    17261     9219     46 |  0.000 % |
73.70/73.72	c |     58195 |     666      587     8436 |    18987    11300     48 |  0.000 % |
76.59/76.60	c |     87388 |     666      587     8436 |    20886    11844     46 |  0.000 % |
79.80/79.81	c ===============================================================================
80.39/80.43	c core #9
80.39/80.43	c ============================[ Search Statistics ]==============================
80.39/80.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.39/80.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.39/80.43	c ===============================================================================
80.39/80.43	c |         0 |     741      647     9368 |     5000        0    nan |  0.000 % |
80.39/80.45	c |       101 |     741      647     9368 |     5500      101     33 |  0.000 % |
80.39/80.46	c |       252 |     741      647     9368 |     6050      252     37 |  0.000 % |
80.39/80.47	c |       480 |     741      647     9368 |     6655      480     34 |  0.000 % |
80.39/80.48	c |       818 |     741      647     9368 |     7320      818     35 |  0.000 % |
80.49/80.50	c |      1324 |     741      647     9368 |     8052     1324     35 |  0.000 % |
80.49/80.53	c |      2083 |     741      647     9368 |     8857     2083     37 |  0.000 % |
80.49/80.58	c |      3222 |     741      647     9368 |     9743     3222     37 |  0.000 % |
80.60/80.66	c |      4930 |     741      647     9368 |    10717     4930     36 |  0.000 % |
80.80/80.81	c |      7495 |     741      647     9368 |    11789     7495     36 |  0.000 % |
80.99/81.08	c |     11339 |     741      647     9368 |    12968    11339     37 |  0.000 % |
81.50/81.50	c |     17105 |     741      647     9368 |    14265    10578     40 |  0.000 % |
82.09/82.16	c |     25754 |     741      647     9368 |    15692    12042     44 |  0.000 % |
83.30/83.30	c |     38729 |     741      647     9368 |    17261     9234     45 |  0.000 % |
84.99/85.04	c |     58193 |     741      647     9368 |    18987    11335     46 |  0.000 % |
88.00/88.00	c |     87385 |     741      647     9368 |    20886    11911     47 |  0.000 % |
89.50/89.54	c ===============================================================================
90.00/90.07	c core #10
90.00/90.07	c ============================[ Search Statistics ]==============================
90.00/90.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.00/90.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.00/90.07	c ===============================================================================
90.00/90.07	c |         0 |     819      706    10293 |     5000        0    nan |  0.000 % |
90.00/90.09	c |       105 |     819      706    10293 |     5500      105     49 |  0.000 % |
90.00/90.09	c |       256 |     819      706    10293 |     6050      256     42 |  0.000 % |
90.10/90.10	c |       481 |     819      706    10293 |     6655      481     35 |  0.000 % |
90.10/90.12	c |       818 |     819      706    10293 |     7320      818     34 |  0.000 % |
90.10/90.13	c |      1324 |     819      706    10293 |     8052     1324     34 |  0.000 % |
90.10/90.16	c |      2083 |     819      706    10293 |     8857     2083     35 |  0.000 % |
90.20/90.22	c |      3222 |     819      706    10293 |     9743     3222     38 |  0.000 % |
90.29/90.31	c |      4930 |     819      706    10293 |    10717     4930     37 |  0.000 % |
90.40/90.47	c |      7493 |     819      706    10293 |    11789     7493     39 |  0.000 % |
90.69/90.77	c |     11337 |     819      706    10293 |    12968    11337     41 |  0.000 % |
91.20/91.21	c |     17104 |     819      706    10293 |    14265    10563     44 |  0.000 % |
91.90/91.94	c |     25755 |     819      706    10293 |    15692    12035     44 |  0.000 % |
93.00/93.08	c |     38729 |     819      706    10293 |    17261     9209     48 |  0.000 % |
94.80/94.84	c |     58195 |     819      706    10293 |    18987    11318     45 |  0.000 % |
97.39/97.50	c |     87388 |     819      706    10293 |    20886    11847     51 |  0.000 % |
98.80/98.86	c ===============================================================================
99.29/99.36	c core #11
99.29/99.36	c ============================[ Search Statistics ]==============================
99.29/99.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.29/99.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.29/99.36	c ===============================================================================
99.29/99.36	c |         0 |     884      765    11192 |     5000        0    nan |  0.000 % |
99.29/99.38	c |       105 |     884      765    11192 |     5500      105     33 |  0.000 % |
99.29/99.39	c |       255 |     884      765    11192 |     6050      255     32 |  0.000 % |
99.29/99.39	c |       480 |     884      765    11192 |     6655      480     32 |  0.000 % |
99.39/99.41	c |       817 |     884      765    11192 |     7320      817     32 |  0.000 % |
99.39/99.43	c |      1324 |     884      765    11192 |     8052     1324     31 |  0.000 % |
99.39/99.46	c |      2087 |     884      765    11192 |     8857     2087     32 |  0.000 % |
99.49/99.51	c |      3226 |     884      765    11192 |     9743     3226     36 |  0.000 % |
99.49/99.59	c |      4936 |     884      765    11192 |    10717     4936     36 |  0.000 % |
99.70/99.75	c |      7499 |     884      765    11192 |    11789     7499     37 |  0.000 % |
100.00/100.01	c |     11344 |     884      765    11192 |    12968    11344     38 |  0.000 % |
100.39/100.44	c |     17111 |     884      765    11192 |    14265    10567     42 |  0.000 % |
101.10/101.13	c |     25761 |     884      765    11192 |    15692    12034     44 |  0.000 % |
102.20/102.30	c |     38735 |     884      765    11192 |    17261     9205     49 |  0.000 % |
104.10/104.12	c |     58196 |     884      765    11192 |    18987    11309     46 |  0.000 % |
106.80/106.89	c |     87392 |     884      765    11192 |    20886    11857     51 |  0.000 % |
108.10/108.19	c ===============================================================================
108.69/108.72	c core #12
108.69/108.72	c ============================[ Search Statistics ]==============================
108.69/108.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
108.69/108.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
108.69/108.72	c ===============================================================================
108.69/108.72	c |         0 |     951      824    12094 |     5000        0    nan |  0.000 % |
108.69/108.73	c |       101 |     951      824    12094 |     5500      101     28 |  0.000 % |
108.69/108.74	c |       251 |     951      824    12094 |     6050      251     32 |  0.000 % |
108.69/108.75	c |       476 |     951      824    12094 |     6655      476     35 |  0.000 % |
108.69/108.76	c |       814 |     951      824    12094 |     7320      814     33 |  0.000 % |
108.69/108.78	c |      1322 |     951      824    12094 |     8052     1322     33 |  0.000 % |
108.80/108.82	c |      2082 |     951      824    12094 |     8857     2082     33 |  0.000 % |
108.80/108.87	c |      3221 |     951      824    12094 |     9743     3221     36 |  0.000 % |
108.90/108.95	c |      4930 |     951      824    12094 |    10717     4930     37 |  0.000 % |
109.09/109.10	c |      7495 |     951      824    12094 |    11789     7495     37 |  0.000 % |
109.30/109.36	c |     11341 |     951      824    12094 |    12968    11341     38 |  0.000 % |
109.69/109.77	c |     17107 |     951      824    12094 |    14265    10565     42 |  0.000 % |
110.39/110.49	c |     25757 |     951      824    12094 |    15692    12021     43 |  0.000 % |
111.50/111.52	c |     38733 |     951      824    12094 |    17261     9190     45 |  0.000 % |
113.09/113.19	c |     58198 |     951      824    12094 |    18987    11295     50 |  0.000 % |
115.90/116.00	c |     87391 |     951      824    12094 |    20886    11848     46 |  0.000 % |
120.20/120.25	c ===============================================================================
120.80/120.90	c core #13
120.80/120.90	c ============================[ Search Statistics ]==============================
120.80/120.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
120.80/120.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
120.80/120.90	c ===============================================================================
120.80/120.90	c |         0 |    1006      881    12946 |     5000        0    nan |  0.000 % |
120.90/120.91	c |       100 |    1006      881    12946 |     5500      100     28 |  0.000 % |
120.90/120.92	c |       250 |    1006      881    12946 |     6050      250     32 |  0.000 % |
120.90/120.93	c |       476 |    1006      881    12946 |     6655      476     32 |  0.000 % |
120.90/120.95	c |       814 |    1006      881    12946 |     7320      814     33 |  0.000 % |
120.90/120.97	c |      1320 |    1006      881    12946 |     8052     1320     31 |  0.000 % |
121.00/121.00	c |      2079 |    1006      881    12946 |     8857     2079     31 |  0.000 % |
121.00/121.05	c |      3218 |    1006      881    12946 |     9743     3218     32 |  0.000 % |
121.10/121.14	c |      4927 |    1006      881    12946 |    10717     4927     33 |  0.000 % |
121.19/121.29	c |      7493 |    1006      881    12946 |    11789     7493     34 |  0.000 % |
121.50/121.54	c |     11340 |    1006      881    12946 |    12968    11340     35 |  0.000 % |
121.90/122.00	c |     17108 |    1006      881    12946 |    14265    10574     40 |  0.000 % |
122.59/122.64	c |     25759 |    1006      881    12946 |    15692    12026     40 |  0.000 % |
123.70/123.75	c |     38733 |    1006      881    12946 |    17261     9220     41 |  0.000 % |
125.40/125.45	c |     58194 |    1006      881    12946 |    18987    11320     49 |  0.000 % |
128.19/128.28	c |     87392 |    1006      881    12946 |    20886    11872     48 |  0.000 % |
132.49/132.52	c |    131184 |    1006      881    12946 |    22974    13688     50 |  0.000 % |
138.20/138.25	c ===============================================================================
139.19/139.24	c core #14
139.19/139.24	c ============================[ Search Statistics ]==============================
139.19/139.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
139.19/139.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
139.19/139.24	c ===============================================================================
139.19/139.24	c |         0 |    1120      940    13946 |     5000        0    nan |  0.000 % |
139.19/139.27	c |       102 |    1120      940    13946 |     5500      102     39 |  0.000 % |
139.19/139.28	c |       253 |    1120      940    13946 |     6050      253     40 |  0.000 % |
139.19/139.29	c |       479 |    1120      940    13946 |     6655      479     35 |  0.000 % |
139.30/139.30	c |       816 |    1120      940    13946 |     7320      816     33 |  0.000 % |
139.30/139.32	c |      1323 |    1120      940    13946 |     8052     1323     35 |  0.000 % |
139.30/139.35	c |      2082 |    1120      940    13946 |     8857     2082     36 |  0.000 % |
139.39/139.41	c |      3222 |    1120      940    13946 |     9743     3222     36 |  0.000 % |
139.50/139.50	c |      4932 |    1120      940    13946 |    10717     4932     36 |  0.000 % |
139.60/139.65	c |      7495 |    1120      940    13946 |    11789     7495     37 |  0.000 % |
139.90/139.94	c |     11339 |    1120      940    13946 |    12968    11339     38 |  0.000 % |
140.29/140.37	c |     17105 |    1120      940    13946 |    14265    10588     40 |  0.000 % |
141.10/141.12	c |     25756 |    1120      940    13946 |    15692    12058     41 |  0.000 % |
142.19/142.22	c |     38730 |    1120      940    13946 |    17261     9228     44 |  0.000 % |
143.90/143.95	c |     58191 |    1120      940    13946 |    18987    11326     42 |  0.000 % |
146.49/146.55	c |     87383 |    1120      940    13946 |    20886    11864     49 |  0.000 % |
150.61/150.63	c |    131174 |    1120      940    13946 |    22974    13666     46 |  0.004 % |
151.90/151.96	c ===============================================================================
152.60/152.68	c core #15
152.60/152.68	c ============================[ Search Statistics ]==============================
152.60/152.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
152.60/152.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
152.60/152.68	c ===============================================================================
152.60/152.68	c |         0 |    1228      996    14902 |     5000        0    nan |  0.000 % |
152.70/152.70	c |       104 |    1228      996    14902 |     5500      104     33 |  0.000 % |
152.70/152.71	c |       254 |    1228      996    14902 |     6050      254     36 |  0.000 % |
152.70/152.73	c |       479 |    1228      996    14902 |     6655      479     37 |  0.000 % |
152.70/152.74	c |       817 |    1228      996    14902 |     7320      817     39 |  0.000 % |
152.70/152.76	c |      1324 |    1228      996    14902 |     8052     1324     38 |  0.000 % |
152.70/152.80	c |      2083 |    1228      996    14902 |     8857     2083     38 |  0.000 % |
152.80/152.86	c |      3224 |    1228      996    14902 |     9743     3224     38 |  0.000 % |
152.90/152.95	c |      4933 |    1228      996    14902 |    10717     4933     40 |  0.000 % |
153.10/153.11	c |      7497 |    1228      996    14902 |    11789     7497     42 |  0.000 % |
153.40/153.40	c |     11342 |    1228      996    14902 |    12968    11342     43 |  0.000 % |
153.80/153.82	c |     17109 |    1228      996    14902 |    14265    10594     43 |  0.000 % |
154.50/154.53	c |     25760 |    1228      996    14902 |    15692    12071     41 |  0.000 % |
155.69/155.72	c |     38735 |    1228      996    14902 |    17261     9260     44 |  0.000 % |
157.40/157.41	c |     58196 |    1228      996    14902 |    18987    11367     45 |  0.000 % |
160.10/160.11	c |     87389 |    1228      996    14902 |    20886    11913     49 |  0.000 % |
164.49/164.56	c |    131181 |    1228      996    14902 |    22974    13707     47 |  0.000 % |
170.10/170.17	c ===============================================================================
171.09/171.15	c core #16
171.09/171.15	c ============================[ Search Statistics ]==============================
171.09/171.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
171.09/171.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
171.09/171.15	c ===============================================================================
171.09/171.15	c |         0 |    1350     1053    15882 |     5000        0    nan |  0.000 % |
171.09/171.17	c |       100 |    1350     1053    15882 |     5500      100     45 |  0.000 % |
171.09/171.18	c |       251 |    1350     1053    15882 |     6050      251     52 |  0.000 % |
171.20/171.20	c |       477 |    1350     1053    15882 |     6655      477     43 |  0.000 % |
171.20/171.21	c |       815 |    1350     1053    15882 |     7320      815     38 |  0.000 % |
171.20/171.23	c |      1321 |    1350     1053    15882 |     8052     1321     38 |  0.000 % |
171.20/171.27	c |      2083 |    1350     1053    15882 |     8857     2083     38 |  0.000 % |
171.30/171.34	c |      3223 |    1350     1053    15882 |     9743     3223     38 |  0.000 % |
171.39/171.45	c |      4933 |    1350     1053    15882 |    10717     4933     38 |  0.000 % |
171.60/171.62	c |      7495 |    1350     1053    15882 |    11789     7495     37 |  0.000 % |
171.90/171.92	c |     11339 |    1350     1053    15882 |    12968    11339     38 |  0.000 % |
172.39/172.42	c |     17107 |    1350     1053    15882 |    14265    10571     41 |  0.000 % |
173.10/173.15	c |     25759 |    1350     1053    15882 |    15692    12030     44 |  0.000 % |
174.19/174.29	c |     38733 |    1350     1053    15882 |    17261     9199     43 |  0.000 % |
176.10/176.11	c |     58196 |    1350     1053    15882 |    18987    11299     43 |  0.000 % |
178.89/178.95	c |     87388 |    1350     1053    15882 |    20886    11843     45 |  0.000 % |
183.00/183.06	c |    131179 |    1350     1053    15882 |    22974    13659     47 |  0.002 % |
183.71/183.74	c ===============================================================================
184.40/184.46	c core #17
184.40/184.46	c ============================[ Search Statistics ]==============================
184.40/184.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.40/184.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.40/184.46	c ===============================================================================
184.40/184.46	c |         0 |    1443     1108    16788 |     5000        0    nan |  0.000 % |
184.40/184.48	c |       100 |    1443     1108    16788 |     5500      100     39 |  0.000 % |
184.40/184.49	c |       250 |    1443     1108    16788 |     6050      250     37 |  0.000 % |
184.50/184.51	c |       477 |    1443     1108    16788 |     6655      477     39 |  0.000 % |
184.50/184.52	c |       815 |    1443     1108    16788 |     7320      815     38 |  0.000 % |
184.50/184.55	c |      1325 |    1443     1108    16788 |     8052     1325     36 |  0.000 % |
184.50/184.58	c |      2086 |    1443     1108    16788 |     8857     2086     34 |  0.000 % |
184.60/184.64	c |      3226 |    1443     1108    16788 |     9743     3226     32 |  0.000 % |
184.70/184.76	c |      4934 |    1443     1108    16788 |    10717     4934     33 |  0.000 % |
184.90/184.94	c |      7496 |    1443     1108    16788 |    11789     7496     34 |  0.000 % |
185.20/185.21	c |     11340 |    1443     1108    16788 |    12968    11340     36 |  0.000 % |
185.60/185.66	c |     17107 |    1443     1108    16788 |    14265    10578     38 |  0.000 % |
186.40/186.42	c |     25757 |    1443     1108    16788 |    15692    12033     40 |  0.000 % |
187.59/187.68	c |     38732 |    1443     1108    16788 |    17261     9229     44 |  0.000 % |
189.50/189.58	c |     58193 |    1443     1108    16788 |    18987    11340     43 |  0.000 % |
192.50/192.52	c |     87389 |    1443     1108    16788 |    20886    11901     45 |  0.000 % |
196.80/196.84	c |    131180 |    1443     1108    16788 |    22974    13725     49 |  0.000 % |
200.29/200.30	c ===============================================================================
201.10/201.11	c core #18
201.10/201.11	c ============================[ Search Statistics ]==============================
201.10/201.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.10/201.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.10/201.11	c ===============================================================================
201.10/201.11	c |         0 |    1594     1165    17834 |     5000        0    nan |  0.000 % |
201.10/201.14	c |       100 |    1594     1165    17834 |     5500      100     42 |  0.000 % |
201.10/201.15	c |       250 |    1594     1165    17834 |     6050      250     44 |  0.000 % |
201.10/201.16	c |       475 |    1594     1165    17834 |     6655      475     42 |  0.000 % |
201.10/201.18	c |       813 |    1594     1165    17834 |     7320      813     38 |  0.000 % |
201.20/201.20	c |      1319 |    1594     1165    17834 |     8052     1319     36 |  0.000 % |
201.20/201.24	c |      2079 |    1594     1165    17834 |     8857     2079     36 |  0.000 % |
201.20/201.30	c |      3218 |    1594     1165    17834 |     9743     3218     37 |  0.000 % |
201.40/201.40	c |      4926 |    1594     1165    17834 |    10717     4926     38 |  0.000 % |
201.50/201.57	c |      7488 |    1594     1165    17834 |    11789     7488     38 |  0.000 % |
201.80/201.88	c |     11333 |    1594     1165    17834 |    12968    11333     38 |  0.000 % |
202.30/202.35	c |     17100 |    1594     1165    17834 |    14265    10574     40 |  0.000 % |
203.00/203.04	c |     25750 |    1594     1165    17834 |    15692    12033     41 |  0.000 % |
204.09/204.19	c |     38724 |    1594     1165    17834 |    17261     9225     39 |  0.000 % |
206.40/206.45	c |     58185 |    1594     1165    17834 |    18987    11088     59 |  0.000 % |
209.80/209.84	c |     87378 |    1594     1165    17834 |    20886    19967     52 |  0.000 % |
214.30/214.38	c |    131169 |    1594     1165    17834 |    22974    11269     48 |  0.000 % |
222.90/222.97	c |    196855 |    1594     1165    17834 |    25272    18122     46 |  0.001 % |
225.80/225.82	c ===============================================================================
226.80/226.83	c core #19
226.80/226.83	c ============================[ Search Statistics ]==============================
226.80/226.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
226.80/226.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
226.80/226.83	c ===============================================================================
226.80/226.83	c |         0 |    1720     1219    18790 |     5000        0    nan |  0.000 % |
226.80/226.86	c |       100 |    1720     1219    18790 |     5500      100     40 |  0.000 % |
226.80/226.87	c |       255 |    1720     1219    18790 |     6050      255     36 |  0.000 % |
226.80/226.88	c |       481 |    1720     1219    18790 |     6655      481     33 |  0.000 % |
226.90/226.90	c |       820 |    1720     1219    18790 |     7320      820     32 |  0.000 % |
226.90/226.92	c |      1327 |    1720     1219    18790 |     8052     1327     31 |  0.000 % |
226.90/226.96	c |      2087 |    1720     1219    18790 |     8857     2087     31 |  0.000 % |
227.00/227.02	c |      3227 |    1720     1219    18790 |     9743     3227     32 |  0.000 % |
227.10/227.12	c |      4935 |    1720     1219    18790 |    10717     4935     33 |  0.000 % |
227.20/227.29	c |      7500 |    1720     1219    18790 |    11789     7500     34 |  0.000 % |
227.50/227.59	c |     11344 |    1720     1219    18790 |    12968    11344     36 |  0.000 % |
228.00/228.02	c |     17111 |    1720     1219    18790 |    14265    10573     39 |  0.000 % |
228.81/228.82	c |     25760 |    1720     1219    18790 |    15692    12041     42 |  0.000 % |
229.91/229.92	c |     38734 |    1720     1219    18790 |    17261     9207     40 |  0.000 % |
231.50/231.56	c |     58199 |    1720     1219    18790 |    18987    11293     38 |  0.000 % |
234.10/234.17	c |     87394 |    1720     1219    18790 |    20886    11860     42 |  0.000 % |
239.70/239.71	c |    131184 |    1720     1219    18790 |    22974    13253     39 |  0.000 % |
245.70/245.70	c |    196870 |    1720     1219    18790 |    25272    19218     43 |  0.000 % |
272.81/272.88	c |    295400 |    1720     1219    18790 |    27799    21988     83 |  0.001 % |
331.71/331.78	c |    443189 |    1719     1219    18790 |    30579    13058     82 |  0.059 % |
420.60/420.60	c |    664875 |    1718     1219    18790 |    33637    16618     85 |  0.118 % |
564.12/564.15	c |    997400 |    1717     1219    18790 |    37001    18290     81 |  0.174 % |
709.53/709.56	c ===============================================================================
713.51/713.58	c core #20
713.51/713.58	c ============================[ Search Statistics ]==============================
713.51/713.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
713.51/713.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
713.51/713.58	c ===============================================================================
713.51/713.58	c |         0 |    1887     1272    19814 |     5000        0    nan |  0.000 % |
713.61/713.67	c |       104 |    1887     1272    19814 |     5500      104     45 |  0.000 % |
713.61/713.68	c |       255 |    1887     1272    19814 |     6050      255     43 |  0.000 % |
713.61/713.69	c |       480 |    1887     1272    19814 |     6655      480     37 |  0.000 % |
713.72/713.71	c |       817 |    1887     1272    19814 |     7320      817     34 |  0.000 % |
713.72/713.74	c |      1323 |    1887     1272    19814 |     8052     1323     32 |  0.000 % |
713.72/713.80	c |      2083 |    1887     1272    19814 |     8857     2083     35 |  0.000 % |
713.83/713.90	c |      3222 |    1887     1272    19814 |     9743     3222     35 |  0.000 % |
714.02/714.00	c |      4930 |    1887     1272    19814 |    10717     4930     35 |  0.000 % |
714.12/714.17	c |      7493 |    1887     1272    19814 |    11789     7493     36 |  0.000 % |
714.42/714.47	c |     11337 |    1887     1272    19814 |    12968    11337     38 |  0.000 % |
714.93/714.96	c |     17103 |    1887     1272    19814 |    14265    10577     41 |  0.000 % |
715.72/715.76	c |     25752 |    1887     1272    19814 |    15692    12056     42 |  0.000 % |
717.02/717.02	c |     38727 |    1887     1272    19814 |    17261     9243     42 |  0.000 % |
718.92/718.95	c |     58189 |    1887     1272    19814 |    18987    11343     42 |  0.000 % |
725.52/725.56	c |     87383 |    1887     1272    19814 |    20886    11476     47 |  0.000 % |
729.82/729.85	c |    131174 |    1887     1272    19814 |    22974    13290     44 |  0.000 % |
740.72/740.71	c |    196860 |    1887     1272    19814 |    25272    18065     76 |  0.000 % |
768.42/768.42	c |    295386 |    1887     1272    19814 |    27799    20967     98 |  0.000 % |
791.92/791.96	c |    443178 |    1887     1272    19814 |    30579    28591     59 |  0.000 % |
851.83/851.85	c |    664866 |    1887     1272    19814 |    33637    30650     98 |  0.000 % |
940.73/940.78	c |    997391 |    1887     1272    19814 |    37001    31788     65 |  0.000 % |
1024.03/1024.09	c |   1496179 |    1887     1272    19814 |    40701    28783     62 |  0.000 % |
1378.94/1378.94	c |   2244362 |    1887     1272    19814 |    44771    39086    100 |  0.001 % |

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-2689946-1277899124/watcher-2689946-1277899124 -o /tmp/evaluation-result-2689946-1277899124/solver-2689946-1277899124 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689946-1277899124.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.09 2.03 3/196 13914
/proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2576 CPUtime=0
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 286 0 0 0 0 0 0 0 21 0 1 0 131206692 2637824 202 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 644 202 143 303 0 339 0

[startup+0.075301 s]
/proc/loadavg: 2.12 2.09 2.03 3/196 13914
/proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=3236 CPUtime=0.06
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 464 0 0 0 6 0 0 0 21 0 1 0 131206692 3313664 380 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 809 380 143 303 0 504 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3236

[startup+0.100305 s]
/proc/loadavg: 2.12 2.09 2.03 3/196 13914
/proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=3500 CPUtime=0.09
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 521 0 0 0 8 1 0 0 21 0 1 0 131206692 3584000 437 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 875 437 143 303 0 570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3500

[startup+0.300261 s]
/proc/loadavg: 2.12 2.09 2.03 3/196 13914
/proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=4956 CPUtime=0.29
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 895 0 0 0 28 1 0 0 21 0 1 0 131206692 5074944 811 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 1239 811 143 303 0 934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4956

[startup+0.700185 s]
/proc/loadavg: 2.12 2.09 2.03 3/196 13914
/proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=7068 CPUtime=0.69
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 1423 0 0 0 66 3 0 0 22 0 1 0 131206692 7237632 1339 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 1767 1339 143 303 0 1462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7068

[startup+1.50103 s]
/proc/loadavg: 2.11 2.09 2.03 3/197 13915
/proc/meminfo: memFree=30738640/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=11424 CPUtime=1.49
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 2507 0 0 0 142 7 0 0 25 0 1 0 131206692 11698176 2423 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 2856 2423 143 303 0 2551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11424

[startup+3.10072 s]
/proc/loadavg: 2.11 2.09 2.03 3/197 13915
/proc/meminfo: memFree=30733184/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=18156 CPUtime=3.09
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 4177 0 0 0 297 12 0 0 25 0 1 0 131206692 18591744 4093 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 4539 4093 143 303 0 4234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18156

[startup+6.30111 s]
/proc/loadavg: 2.10 2.09 2.03 3/197 13915
/proc/meminfo: memFree=30720344/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=30652 CPUtime=6.29
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 7318 0 0 0 611 18 0 0 25 0 1 0 131206692 31387648 7234 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 7663 7234 143 303 0 7358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30652

[startup+12.7009 s]
/proc/loadavg: 2.09 2.08 2.03 3/197 13915
/proc/meminfo: memFree=30700456/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=47220 CPUtime=12.69
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 11431 0 0 0 1233 36 0 0 25 0 1 0 131206692 48353280 11347 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 11805 11347 146 303 0 11500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47220

[startup+25.5004 s]
/proc/loadavg: 2.08 2.08 2.03 3/197 13916
/proc/meminfo: memFree=30668064/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=77820 CPUtime=25.49
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 19109 0 0 0 2477 72 0 0 25 0 1 0 131206692 79687680 19025 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 19455 19025 146 303 0 19150 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77820

[startup+51.1005 s]
/proc/loadavg: 2.05 2.07 2.02 3/197 13916
/proc/meminfo: memFree=30606208/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=139180 CPUtime=51.09
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 34434 0 0 0 4970 139 0 0 25 0 1 0 131206692 142520320 34350 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 34795 34350 146 303 0 34490 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 139180

[startup+102.307 s]
/proc/loadavg: 2.02 2.06 2.02 3/197 13918
/proc/meminfo: memFree=30484876/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=255752 CPUtime=102.3
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 63574 0 0 0 9957 273 0 0 25 0 1 0 131206692 261890048 63490 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 63938 63490 146 303 0 63633 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 255752

[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/197 13928
/proc/meminfo: memFree=30347592/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=389048 CPUtime=162.3
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 96889 0 0 0 15809 421 0 0 25 0 1 0 131206692 398385152 96805 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 97262 96805 146 303 0 96957 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 389048

[startup+222.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/197 13930
/proc/meminfo: memFree=30211756/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=521104 CPUtime=222.3
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 129911 0 0 0 21679 551 0 0 25 0 1 0 131206692 533610496 129827 4089446400 134512640 135751879 4289935696 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 130276 129827 146 303 0 129971 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 521104

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/197 13932
/proc/meminfo: memFree=30113980/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=619352 CPUtime=282.31
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 154429 0 0 0 27596 635 0 0 25 0 1 0 131206692 634216448 154345 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13914/statm: 154838 154345 146 303 0 154533 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 619352

[startup+342.301 s]
/proc/loadavg: 1.90 2.01 2.00 3/179 13984
/proc/meminfo: memFree=30549436/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=693680 CPUtime=342.3
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 172967 0 0 0 33565 665 0 0 25 0 1 0 131206692 710328320 172883 4089446400 134512640 135751879 4289935696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 173420 172883 146 303 0 173115 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 693680

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13986
/proc/meminfo: memFree=30337964/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=749348 CPUtime=402.3
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 186849 0 0 0 39549 681 0 0 25 0 1 0 131206692 767332352 186765 4089446400 134512640 135751879 4289935696 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 187337 186765 146 303 0 187032 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 749348

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13987
/proc/meminfo: memFree=30121272/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=815816 CPUtime=462.31
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 203429 0 0 0 45529 702 0 0 25 0 1 0 131206692 835395584 203345 4089446400 134512640 135751879 4289935696 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 203954 203345 146 303 0 203649 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 815816

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13989
/proc/meminfo: memFree=29941520/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=870732 CPUtime=522.31
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 217101 0 0 0 51513 718 0 0 25 0 1 0 131206692 891629568 217017 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 217683 217017 146 303 0 217378 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 870732

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13991
/proc/meminfo: memFree=29731528/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=945000 CPUtime=582.31
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 235663 0 0 0 57491 740 0 0 25 0 1 0 131206692 967680000 235579 4089446400 134512640 135751879 4289935696 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 236250 235579 146 303 0 235945 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 945000

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13992
/proc/meminfo: memFree=29534912/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=999680 CPUtime=642.32
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 249279 0 0 0 63476 756 0 0 25 0 1 0 131206692 1023672320 249195 4089446400 134512640 135751879 4289935696 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 249920 249195 146 303 0 249615 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 999680

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13997
/proc/meminfo: memFree=29063956/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1191056 CPUtime=822.33
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 297355 0 0 0 81389 844 0 0 25 0 1 0 131206692 1219641344 297234 4089446400 134512640 135751879 4289935696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 297764 297234 146 303 0 297459 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 1191056

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13999
/proc/meminfo: memFree=28911896/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1274912 CPUtime=882.32
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 318269 0 0 0 87360 872 0 0 25 0 1 0 131206692 1305509888 318148 4089446400 134512640 135751879 4289935696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 318728 318148 146 303 0 318423 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1274912

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14000
/proc/meminfo: memFree=28790852/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1329624 CPUtime=942.33
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 331858 0 0 0 93346 887 0 0 25 0 1 0 131206692 1361534976 331737 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 332406 331737 146 303 0 332101 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1329624

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14002
/proc/meminfo: memFree=28575568/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1478692 CPUtime=1002.33
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 369100 0 0 0 99301 932 0 0 25 0 1 0 131206692 1514180608 368979 4089446400 134512640 135751879 4289935696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 369673 368979 146 303 0 369368 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1478692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14003
/proc/meminfo: memFree=28395496/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1597796 CPUtime=1062.33
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 398830 0 0 0 105261 972 0 0 25 0 1 0 131206692 1636143104 398709 4089446400 134512640 135751879 4289935696 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 399449 398709 146 303 0 399144 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1597796

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14005
/proc/meminfo: memFree=28259324/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1644004 CPUtime=1122.34
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 410349 0 0 0 111246 988 0 0 25 0 1 0 131206692 1683460096 410228 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 411001 410228 146 303 0 410696 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1644004

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14007
/proc/meminfo: memFree=28127988/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1709028 CPUtime=1182.34
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 426527 0 0 0 117228 1006 0 0 25 0 1 0 131206692 1750044672 426406 4089446400 134512640 135751879 4289935696 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 427257 426406 146 303 0 426952 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1709028

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14008
/proc/meminfo: memFree=28008688/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1757076 CPUtime=1242.34
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 438509 0 0 0 123215 1019 0 0 25 0 1 0 131206692 1799245824 438388 4089446400 134512640 135751879 4289935696 18446744073709551615 134610859 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 439269 438388 146 303 0 438964 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1757076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14010
/proc/meminfo: memFree=27876360/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1807840 CPUtime=1302.35
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 451167 0 0 0 129200 1035 0 0 25 0 1 0 131206692 1851228160 451046 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 451960 451046 146 303 0 451655 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1807840

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14011
/proc/meminfo: memFree=27764372/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1859052 CPUtime=1362.34
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 463971 0 0 0 135183 1051 0 0 25 0 1 0 131206692 1903669248 463850 4089446400 134512640 135751879 4289935696 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 464763 463850 146 303 0 464458 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1859052

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14013
/proc/meminfo: memFree=27645556/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1907120 CPUtime=1422.36
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 475935 0 0 0 141171 1065 0 0 25 0 1 0 131206692 1952890880 475814 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 476780 475814 146 303 0 476475 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1907120

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14015
/proc/meminfo: memFree=27519912/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=1962524 CPUtime=1482.35
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 489778 0 0 0 147156 1079 0 0 25 0 1 0 131206692 2009624576 489657 4089446400 134512640 135751879 4289935696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 490631 489657 146 303 0 490326 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1962524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14016
/proc/meminfo: memFree=27395280/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2019064 CPUtime=1542.35
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 503883 0 0 0 153141 1094 0 0 25 0 1 0 131206692 2067521536 503762 4089446400 134512640 135751879 4289935696 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 504766 503762 146 303 0 504461 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2019064

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14018
/proc/meminfo: memFree=27279688/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2072060 CPUtime=1602.36
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 517122 0 0 0 159126 1110 0 0 25 0 1 0 131206692 2121789440 517001 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 518015 517001 146 303 0 517710 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2072060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14019
/proc/meminfo: memFree=27154056/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2128340 CPUtime=1662.36
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 531156 0 0 0 165111 1125 0 0 25 0 1 0 131206692 2179420160 531035 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 532085 531035 146 303 0 531780 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2128340

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14021
/proc/meminfo: memFree=27045048/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2176612 CPUtime=1722.36
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 543197 0 0 0 171096 1140 0 0 25 0 1 0 131206692 2228850688 543076 4089446400 134512640 135751879 4289935696 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 544153 543076 146 303 0 543848 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2176612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14023
/proc/meminfo: memFree=26941732/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2223856 CPUtime=1782.36
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 554979 0 0 0 177083 1153 0 0 25 0 1 0 131206692 2277228544 554858 4089446400 134512640 135751879 4289935696 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 555964 554858 146 303 0 555659 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2223856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14023
/proc/meminfo: memFree=26911716/32950928 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2236528 CPUtime=1800.07
/proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 558168 0 0 0 178849 1158 0 0 25 0 1 0 131206692 2290204672 558047 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13914/statm: 559132 558047 146 303 0 558827 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2236528

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.15
CPU user time (s): 1788.49
CPU system time (s): 11.6572
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2236528

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

runsolver used 2.6436 second user time and 5.84811 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 13:58:44
IDJOB=2689946
IDBENCH=78855
IDSOLVER=1200
FILE ID=node148/2689946-1277899124
PBS_JOBID= 11197160
Free space on /tmp= 74176 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689946-1277899124/watcher-2689946-1277899124 -o /tmp/evaluation-result-2689946-1277899124/solver-2689946-1277899124 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689946-1277899124.wbo

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

MD5SUM BENCH= 76159a1844a191e7556569a339118f97
RANDOM SEED=993829840

node148.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5415.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30745740 kB
Buffers:        182064 kB
Cached:        1268064 kB
SwapCached:          0 kB
Active:        1081152 kB
Inactive:       979636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30745740 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2756 kB
Writeback:           0 kB
AnonPages:      611152 kB
Mapped:          20444 kB
Slab:            80164 kB
PageTables:       5988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1660808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74168 MiB
End job on node148 at 2010-06-30 14:28:46