Trace number 2655984

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? (MO) 1599.87 1600.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM008a49e8cb0d34e0becb5a5e15efaa2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 177
Optimality of the best value was proved NO
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655984-1276372225.opb.
0.00/0.00	c Instance file HOME/instance-2655984-1276372225.opb
0.00/0.00	c File size is 42423 bytes.
0.00/0.01	c Highest Coefficient sum: 250
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:      465                                                 |
0.00/0.01	c |  Number Clauses:        0                                                   |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 465                                                 |
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 |     465      465     4195 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 222
0.00/0.01	o 222
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     465      466     4660 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 221
0.00/0.01	o 221
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 |         3 |     465      467     5125 |     5000        3    231 |  0.000 % |
0.00/0.02	c |       104 |     465      467     5125 |     5500      104    231 |  0.001 % |
0.00/0.04	c |       255 |     465      467     5125 |     6050      255    230 |  0.000 % |
0.00/0.07	c |       480 |     465      467     5125 |     6655      480    230 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 220
0.00/0.07	o 220
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       502 |     465      468     5590 |     5000      502    230 |  0.000 % |
0.00/0.08	c |       602 |     465      468     5590 |     5500      602    230 |  0.000 % |
0.10/0.11	c |       754 |     465      468     5590 |     6050      754    229 |  0.001 % |
0.10/0.12	c ===============================================================================
0.10/0.12	c New solution: 219
0.10/0.12	o 219
0.10/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 179.882 s
0.10/0.12	c ===============================================================================
0.10/0.12	c |       851 |     465      469     6055 |     5000      851    229 |  0.001 % |
0.10/0.13	c |       951 |     465      469     6055 |     5500      951    229 |  0.002 % |
0.10/0.14	c ===============================================================================
0.10/0.14	c New solution: 218
0.10/0.14	o 218
0.10/0.14	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 179.865 s
0.10/0.14	c ===============================================================================
0.10/0.14	c |       970 |     465      470     6520 |     5000      970    229 |  0.002 % |
0.10/0.15	c |      1070 |     465      470     6520 |     5500     1070    229 |  0.001 % |
0.10/0.15	c ===============================================================================
0.10/0.15	c New solution: 217
0.10/0.15	o 217
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 179.85 s
0.10/0.15	c ===============================================================================
0.10/0.15	c |      1070 |     465      471     6985 |     5000     1070    229 |  0.001 % |
0.10/0.15	c ===============================================================================
0.10/0.15	c New solution: 216
0.10/0.15	o 216
0.10/0.15	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 179.848 s
0.10/0.15	c ===============================================================================
0.10/0.15	c |      1071 |     465      472     7450 |     5000     1071    229 |  0.001 % |
0.10/0.15	c ===============================================================================
0.10/0.15	c New solution: 215
0.10/0.16	o 215
0.10/0.16	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 179.847 s
0.10/0.16	c ===============================================================================
0.10/0.16	c |      1071 |     465      473     7915 |     5000     1071    229 |  0.001 % |
0.10/0.16	c ===============================================================================
0.10/0.16	c New solution: 214
0.10/0.16	o 214
0.10/0.16	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 179.845 s
0.10/0.16	c ===============================================================================
0.10/0.16	c |      1072 |     465      474     8380 |     5000     1072    229 |  0.001 % |
0.10/0.17	c |      1172 |     465      474     8380 |     5500     1172    229 |  0.001 % |
0.10/0.20	c |      1322 |     465      474     8380 |     6050     1322    229 |  0.001 % |
0.19/0.23	c |      1548 |     465      474     8380 |     6655     1548    228 |  0.001 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 213
0.19/0.23	o 213
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |      1548 |     465      475     8845 |     5000     1548    228 |  0.001 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 212
0.19/0.24	o 212
0.19/0.24	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |      1571 |     465      476     9310 |     5000     1571    228 |  0.001 % |
0.19/0.25	c |      1671 |     465      476     9310 |     5500     1671    228 |  0.001 % |
0.19/0.28	c |      1822 |     465      476     9310 |     6050     1822    227 |  0.000 % |
0.29/0.31	c |      2048 |     465      476     9310 |     6655     2048    227 |  0.001 % |
0.29/0.36	c |      2386 |     465      476     9310 |     7320     2386    226 |  0.000 % |
0.39/0.44	c |      2892 |     465      476     9310 |     8052     2892    226 |  0.000 % |
0.49/0.57	c |      3651 |     465      476     9310 |     8857     3651    225 |  0.000 % |
0.69/0.79	c |      4791 |     465      476     9310 |     9743     4791    225 |  0.000 % |
1.10/1.13	c |      6499 |     465      476     9310 |    10717     6499    225 |  0.000 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: 211
1.10/1.14	o 211
1.10/1.14	c Elapsed CPU time: 1.10883 s	Remaining CPU time: 178.891 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |      6541 |     465      477     9775 |     5000     6541    225 |  0.000 % |
1.10/1.16	c |      6642 |     465      477     9775 |     5500     3372    224 |  0.000 % |
1.10/1.18	c |      6794 |     465      477     9775 |     6050     3524    224 |  0.001 % |
1.20/1.22	c |      7019 |     465      477     9775 |     6655     3749    224 |  0.001 % |
1.20/1.28	c |      7357 |     465      477     9775 |     7320     4087    224 |  0.001 % |
1.29/1.38	c |      7864 |     465      477     9775 |     8052     4594    223 |  0.001 % |
1.49/1.51	c |      8624 |     465      477     9775 |     8857     5354    224 |  0.001 % |
1.69/1.71	c |      9764 |     465      477     9775 |     9743     6494    223 |  0.000 % |
1.99/2.05	c |     11473 |     465      477     9775 |    10717     8203    223 |  0.000 % |
2.09/2.13	c ===============================================================================
2.09/2.13	c New solution: 210
2.09/2.13	o 210
2.09/2.13	c Elapsed CPU time: 2.07968 s	Remaining CPU time: 177.92 s
2.09/2.13	c ===============================================================================
2.09/2.13	c |     11852 |     465      478    10240 |     5000     8582    223 |  0.000 % |
2.09/2.16	c |     11952 |     465      478    10240 |     5500     4391    222 |  0.000 % |
2.09/2.19	c |     12103 |     465      478    10240 |     6050     4542    222 |  0.001 % |
2.19/2.22	c |     12330 |     465      478    10240 |     6655     4769    222 |  0.000 % |
2.19/2.28	c |     12668 |     465      478    10240 |     7320     5107    222 |  0.001 % |
2.30/2.37	c |     13175 |     465      478    10240 |     8052     5614    222 |  0.001 % |
2.39/2.49	c |     13934 |     465      478    10240 |     8857     6373    222 |  0.001 % |
2.68/2.72	c |     15074 |     465      478    10240 |     9743     7513    222 |  0.000 % |
3.09/3.10	c |     16782 |     465      478    10240 |    10717     9221    222 |  0.000 % |
3.59/3.69	c |     19344 |     465      478    10240 |    11789     6218    221 |  0.000 % |
4.39/4.41	c |     23190 |     465      478    10240 |    12968    10064    221 |  0.001 % |
5.69/5.73	c |     28956 |     465      478    10240 |    14265     9138    224 |  0.000 % |
8.39/8.42	c |     37605 |     465      478    10240 |    15692    10448    223 |  0.000 % |
12.09/12.20	c |     50580 |     465      478    10240 |    17261    15370    222 |  0.000 % |
12.19/12.29	c ===============================================================================
12.19/12.29	c New solution: 209
12.19/12.29	o 209
12.19/12.29	c Elapsed CPU time: 12.0962 s	Remaining CPU time: 167.904 s
12.19/12.29	c ===============================================================================
12.19/12.29	c |     50883 |     465      479    10705 |     5000    15673    222 |  0.000 % |
12.39/12.47	c |     50984 |     465      479    10705 |     5500     4020    220 |  0.000 % |
12.39/12.49	c |     51134 |     465      479    10705 |     6050     4170    220 |  0.001 % |
12.48/12.53	c |     51359 |     465      479    10705 |     6655     4395    220 |  0.001 % |
12.48/12.54	c ===============================================================================
12.48/12.54	c New solution: 208
12.48/12.54	o 208
12.48/12.54	c Elapsed CPU time: 12.3381 s	Remaining CPU time: 167.662 s
12.48/12.54	c ===============================================================================
12.48/12.54	c |     51383 |     465      480    11170 |     5000     4419    220 |  0.001 % |
12.48/12.56	c |     51483 |     465      480    11170 |     5500     4519    220 |  0.000 % |
12.48/12.59	c |     51634 |     465      480    11170 |     6050     4670    220 |  0.001 % |
12.59/12.62	c |     51860 |     465      480    11170 |     6655     4896    220 |  0.001 % |
12.59/12.69	c |     52198 |     465      480    11170 |     7320     5234    220 |  0.000 % |
12.69/12.79	c |     52704 |     465      480    11170 |     8052     5740    219 |  0.000 % |
12.89/12.96	c |     53463 |     465      480    11170 |     8857     6499    220 |  0.000 % |
13.19/13.21	c |     54602 |     465      480    11170 |     9743     7638    220 |  0.000 % |
13.49/13.59	c |     56311 |     465      480    11170 |    10717     9347    221 |  0.000 % |
14.08/14.18	c |     58873 |     465      480    11170 |    11789     6346    222 |  0.000 % |
14.88/14.95	c |     62717 |     465      480    11170 |    12968    10190    220 |  0.000 % |
16.29/16.35	c |     68483 |     465      480    11170 |    14265     9276    218 |  0.000 % |
18.48/18.53	c |     77132 |     465      480    11170 |    15692    10591    219 |  0.000 % |
23.19/23.25	c |     90108 |     465      480    11170 |    17261    15516    224 |  0.000 % |
29.29/29.37	c |    109569 |     465      480    11170 |    18987    17303    221 |  0.000 % |
38.78/38.89	c |    138762 |     465      480    11170 |    20886    17419    223 |  0.000 % |
53.08/53.11	c |    182551 |     465      480    11170 |    22974    18597    216 |  0.000 % |
80.67/80.73	c |    248235 |     465      480    11170 |    25272    23342    226 |  0.000 % |
113.56/113.61	c |    346762 |     465      480    11170 |    27799    18989    220 |  0.000 % |
178.05/178.11	c |    494551 |     465      480    11170 |    30579    13416    223 |  0.000 % |
181.84/181.94	c There are 0 assigned variables. 0 in cost function.
183.04/183.11	c core #1
183.04/183.11	c core #2
183.04/183.11	c core #3
183.04/183.11	c core #4
183.04/183.11	c core #5
183.04/183.11	c core #6
183.04/183.11	c core #7
183.04/183.11	c core #8
183.04/183.11	c core #9
183.04/183.11	c core #10
183.04/183.11	c core #11
183.04/183.11	c core #12
183.04/183.11	c core #13
183.04/183.11	c core #14
183.04/183.11	c core #15
183.04/183.11	c core #16
183.04/183.11	c core #17
183.04/183.11	c core #18
183.04/183.11	c core #19
183.04/183.11	c core #20
183.04/183.11	c core #21
183.04/183.11	c core #22
183.04/183.11	c core #23
183.04/183.11	c core #24
183.04/183.11	c core #25
183.04/183.11	c core #26
183.04/183.11	c core #27
183.04/183.11	c core #28
183.04/183.11	c core #29
183.04/183.11	c core #30
183.04/183.11	c core #31
183.04/183.11	c core #32
183.04/183.11	c core #33
183.04/183.11	c core #34
183.04/183.11	c core #35
183.04/183.11	c core #36
183.04/183.11	c core #37
183.04/183.11	c core #38
183.04/183.11	c core #39
183.04/183.11	c core #40
183.04/183.11	c core #41
183.04/183.11	c core #42
183.04/183.11	c core #43
183.04/183.11	c core #44
183.04/183.11	c core #45
183.04/183.11	c core #46
183.04/183.11	c core #47
183.04/183.11	c core #48
183.04/183.11	c core #49
183.04/183.11	c core #50
183.04/183.11	c core #51
183.04/183.11	c core #52
183.04/183.11	c core #53
183.04/183.11	c core #54
183.04/183.11	c core #55
183.04/183.11	c core #56
183.04/183.11	c core #57
183.04/183.11	c core #58
183.04/183.11	c core #59
183.04/183.11	c core #60
183.04/183.11	c core #61
183.04/183.11	c core #62
183.04/183.11	c core #63
183.04/183.11	c core #64
183.04/183.11	c core #65
183.04/183.11	c core #66
183.04/183.11	c core #67
183.04/183.11	c core #68
183.04/183.11	c core #69
183.04/183.11	c core #70
183.04/183.11	c core #71
183.04/183.11	c core #72
183.04/183.11	c core #73
183.04/183.11	c core #74
183.04/183.11	c core #75
183.04/183.11	c core #76
183.04/183.11	c core #77
183.04/183.11	c core #78
183.04/183.11	c core #79
183.04/183.11	c core #80
183.04/183.11	c core #81
183.04/183.11	c core #82
183.04/183.11	c core #83
183.04/183.11	c core #84
183.04/183.11	c core #85
183.04/183.11	c core #86
183.04/183.11	c ============================[ Search Statistics ]==============================
183.04/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.11	c ===============================================================================
183.04/183.11	c |         0 |     967     1032    13138 |     5000        0    nan |  0.000 % |
183.04/183.11	c ===============================================================================
183.04/183.13	c core #87
183.04/183.13	c ============================[ Search Statistics ]==============================
183.04/183.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.13	c ===============================================================================
183.04/183.13	c |         0 |     979     1033    13162 |     5000        0    nan |  0.000 % |
183.04/183.13	c ===============================================================================
183.04/183.14	c core #88
183.04/183.14	c ============================[ Search Statistics ]==============================
183.04/183.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.14	c ===============================================================================
183.04/183.14	c |         0 |     992     1034    13188 |     5000        0    nan |  0.000 % |
183.04/183.15	c ===============================================================================
183.04/183.16	c core #89
183.04/183.16	c ============================[ Search Statistics ]==============================
183.04/183.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.16	c ===============================================================================
183.04/183.16	c |         0 |    1005     1035    13212 |     5000        0    nan |  0.000 % |
183.04/183.17	c ===============================================================================
183.04/183.18	c core #90
183.04/183.18	c ============================[ Search Statistics ]==============================
183.04/183.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.18	c ===============================================================================
183.04/183.18	c |         0 |    1041     1036    13284 |     5000        0    nan |  0.000 % |
183.04/183.19	c ===============================================================================
183.14/183.20	c core #91
183.14/183.20	c ============================[ Search Statistics ]==============================
183.14/183.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.20	c ===============================================================================
183.14/183.20	c |         0 |    1061     1037    13322 |     5000        0    nan |  0.000 % |
183.14/183.22	c ===============================================================================
183.14/183.23	c core #92
183.14/183.23	c ============================[ Search Statistics ]==============================
183.14/183.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.23	c ===============================================================================
183.14/183.23	c |         0 |    1101     1038    13402 |     5000        0    nan |  0.000 % |
183.14/183.23	c ===============================================================================
183.14/183.25	c core #93
183.14/183.25	c ============================[ Search Statistics ]==============================
183.14/183.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.25	c ===============================================================================
183.14/183.25	c |         0 |    1126     1039    13452 |     5000        0    nan |  0.000 % |
183.14/183.25	c ===============================================================================
183.14/183.27	c core #94
183.14/183.27	c ============================[ Search Statistics ]==============================
183.14/183.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.27	c ===============================================================================
183.14/183.27	c |         0 |    1153     1040    13504 |     5000        0    nan |  0.000 % |
183.14/183.27	c ===============================================================================
183.14/183.28	c core #95
183.14/183.28	c ============================[ Search Statistics ]==============================
183.14/183.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.14/183.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.14/183.28	c ===============================================================================
183.14/183.28	c |         0 |    1175     1041    13547 |     5000        0    nan |  0.000 % |
183.14/183.30	c ===============================================================================
183.24/183.31	c core #96
183.24/183.31	c ============================[ Search Statistics ]==============================
183.24/183.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.31	c ===============================================================================
183.24/183.31	c |         0 |    1219     1042    13630 |     5000        0    nan |  0.000 % |
183.24/183.31	c ===============================================================================
183.24/183.33	c core #97
183.24/183.33	c ============================[ Search Statistics ]==============================
183.24/183.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.33	c ===============================================================================
183.24/183.33	c |         0 |    1236     1043    13663 |     5000        0    nan |  0.000 % |
183.24/183.34	c ===============================================================================
183.24/183.35	c core #98
183.24/183.35	c ============================[ Search Statistics ]==============================
183.24/183.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.35	c ===============================================================================
183.24/183.35	c |         0 |    1274     1044    13737 |     5000        0    nan |  0.000 % |
183.24/183.36	c ===============================================================================
183.24/183.37	c core #99
183.24/183.37	c ============================[ Search Statistics ]==============================
183.24/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.37	c ===============================================================================
183.24/183.37	c |         0 |    1311     1045    13808 |     5000        0    nan |  0.000 % |
183.24/183.38	c ===============================================================================
183.24/183.39	c core #100
183.24/183.39	c ============================[ Search Statistics ]==============================
183.24/183.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.39	c ===============================================================================
183.24/183.39	c |         0 |    1337     1046    13860 |     5000        0    nan |  0.000 % |
183.35/183.40	c ===============================================================================
183.35/183.42	c core #101
183.35/183.42	c ============================[ Search Statistics ]==============================
183.35/183.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.42	c ===============================================================================
183.35/183.42	c |         0 |    1389     1047    13963 |     5000        0    nan |  0.000 % |
183.35/183.43	c |       101 |    1389     1047    13963 |     5500      101     11 |  1.068 % |
183.35/183.44	c |       251 |    1389     1047    13963 |     6050      251     10 |  1.140 % |
183.35/183.45	c ===============================================================================
183.35/183.46	c core #102
183.35/183.46	c ============================[ Search Statistics ]==============================
183.35/183.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.46	c ===============================================================================
183.35/183.46	c |         0 |    1444     1048    14073 |     5000        0    nan |  0.000 % |
183.35/183.47	c ===============================================================================
183.35/183.49	c core #103
183.35/183.49	c ============================[ Search Statistics ]==============================
183.35/183.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.49	c ===============================================================================
183.35/183.49	c |         0 |    1483     1049    14150 |     5000        0    nan |  0.000 % |
183.45/183.50	c |       100 |    1483     1049    14150 |     5500      100     28 |  0.935 % |
183.45/183.52	c |       252 |    1481     1049    14150 |     6050      252     25 |  1.136 % |
183.45/183.54	c |       477 |    1478     1049    14150 |     6655      473     23 |  1.269 % |
183.45/183.55	c ===============================================================================
183.45/183.57	c core #104
183.45/183.57	c ============================[ Search Statistics ]==============================
183.45/183.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.45/183.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.45/183.57	c ===============================================================================
183.45/183.57	c |         0 |    1566     1050    14313 |     5000        0    nan |  0.000 % |
183.45/183.59	c |       100 |    1566     1050    14313 |     5500      100     21 |  0.698 % |
183.54/183.60	c |       252 |    1566     1050    14313 |     6050      252     17 |  0.698 % |
183.54/183.62	c |       479 |    1566     1050    14313 |     6655      479     15 |  0.698 % |
183.54/183.64	c |       818 |    1565     1050    14313 |     7320      651     15 |  0.761 % |
183.54/183.66	c ===============================================================================
183.54/183.68	c core #105
183.54/183.68	c ============================[ Search Statistics ]==============================
183.54/183.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.68	c ===============================================================================
183.54/183.68	c |         0 |    1653     1051    14486 |     5000        0    nan |  0.000 % |
183.65/183.70	c |       101 |    1653     1051    14486 |     5500      101     34 |  0.601 % |
183.65/183.72	c |       251 |    1653     1051    14486 |     6050      251     24 |  0.601 % |
183.65/183.74	c |       476 |    1653     1051    14486 |     6655      476     20 |  0.601 % |
183.65/183.77	c |       813 |    1648     1051    14486 |     7320      810     19 |  0.902 % |
183.65/183.78	c ===============================================================================
183.65/183.80	c core #106
183.65/183.80	c ============================[ Search Statistics ]==============================
183.65/183.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.80	c ===============================================================================
183.65/183.80	c |         0 |    1705     1052    14590 |     5000        0    nan |  0.000 % |
183.75/183.82	c |       100 |    1705     1052    14590 |     5500      100     40 |  0.583 % |
183.75/183.83	c |       253 |    1704     1052    14590 |     6050      253     36 |  0.816 % |
183.75/183.85	c |       479 |    1701     1052    14590 |     6655      478     34 |  0.816 % |
183.75/183.89	c |       818 |    1701     1052    14590 |     7320      817     32 |  0.816 % |
183.85/183.94	c |      1325 |    1701     1052    14590 |     8052     1324     33 |  0.816 % |
183.95/184.04	c |      2084 |    1701     1052    14590 |     8857     2083     32 |  0.816 % |
184.04/184.19	c |      3224 |    1701     1052    14590 |     9743     3223     31 |  0.816 % |
184.34/184.45	c |      4932 |    1691     1052    14590 |    10717     4930     31 |  1.516 % |
184.34/184.45	c ===============================================================================
184.34/184.47	c core #107
184.34/184.47	c ============================[ Search Statistics ]==============================
184.34/184.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.34/184.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.34/184.47	c ===============================================================================
184.34/184.47	c |         0 |    1713     1053    14606 |     5000        0    nan |  0.000 % |
184.45/184.50	c |       101 |    1713     1053    14606 |     5500      101     21 |  0.580 % |
184.45/184.51	c |       251 |    1708     1053    14606 |     6050      251     19 |  1.045 % |
184.45/184.53	c |       478 |    1705     1053    14606 |     6655      477     22 |  1.045 % |
184.45/184.56	c |       816 |    1705     1053    14606 |     7320      815     22 |  1.045 % |
184.54/184.60	c |      1322 |    1705     1053    14606 |     8052     1321     22 |  1.045 % |
184.54/184.69	c |      2082 |    1705     1053    14606 |     8857     2081     26 |  1.045 % |
184.75/184.83	c |      3223 |    1705     1053    14606 |     9743     3222     28 |  1.045 % |
184.94/185.09	c |      4932 |    1705     1053    14606 |    10717     4931     30 |  1.045 % |
185.25/185.37	c ===============================================================================
185.35/185.47	c core #108
185.35/185.47	c ============================[ Search Statistics ]==============================
185.35/185.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.35/185.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.35/185.47	c ===============================================================================
185.35/185.47	c |         0 |    1805     1054    14789 |     5000        0    nan |  0.000 % |
185.45/185.50	c |       100 |    1805     1054    14789 |     5500      100     34 |  0.496 % |
185.45/185.51	c |       251 |    1805     1054    14789 |     6050      251     26 |  0.496 % |
185.45/185.53	c |       476 |    1796     1054    14789 |     6655      475     19 |  1.103 % |
185.45/185.55	c ===============================================================================
185.45/185.56	c core #109
185.45/185.56	c ============================[ Search Statistics ]==============================
185.45/185.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.45/185.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.45/185.56	c ===============================================================================
185.45/185.56	c |         0 |    1866     1055    14910 |     5000        0    nan |  0.000 % |
185.45/185.58	c |       100 |    1866     1055    14910 |     5500      100     29 |  0.427 % |
185.54/185.60	c |       251 |    1866     1055    14910 |     6050      251     24 |  0.427 % |
185.54/185.62	c |       479 |    1866     1055    14910 |     6655      479     21 |  0.427 % |
185.54/185.64	c |       819 |    1866     1055    14910 |     7320      819     26 |  0.427 % |
185.64/185.70	c |      1327 |    1866     1055    14910 |     8052     1327     27 |  0.427 % |
185.64/185.78	c |      2086 |    1866     1055    14910 |     8857     2086     32 |  0.427 % |
185.85/185.90	c |      3227 |    1866     1055    14910 |     9743     3227     32 |  0.427 % |
186.04/186.15	c |      4935 |    1866     1055    14910 |    10717     4935     34 |  0.427 % |
186.45/186.52	c |      7500 |    1854     1055    14910 |    11789     7499     32 |  1.121 % |
186.45/186.55	c ===============================================================================
186.55/186.67	c core #110
186.55/186.67	c ============================[ Search Statistics ]==============================
186.55/186.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.55/186.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.55/186.67	c ===============================================================================
186.55/186.67	c |         0 |    1964     1056    15106 |     5000        0    nan |  0.000 % |
186.55/186.69	c |       102 |    1950     1056    15106 |     5500      102     18 |  1.217 % |
186.64/186.70	c |       253 |    1950     1056    15106 |     6050      253     21 |  1.217 % |
186.64/186.72	c |       478 |    1948     1056    15106 |     6655      475     26 |  1.217 % |
186.64/186.74	c |       818 |    1948     1056    15106 |     7320      815     27 |  1.217 % |
186.64/186.79	c |      1325 |    1948     1056    15106 |     8052     1322     30 |  1.217 % |
186.75/186.86	c |      2085 |    1942     1056    15106 |     8857     2081     35 |  1.521 % |
186.95/187.01	c |      3228 |    1942     1056    15106 |     9743     3224     42 |  1.521 % |
187.14/187.29	c |      4936 |    1942     1056    15106 |    10717     4932     41 |  1.521 % |
187.64/187.70	c |      7499 |    1942     1056    15106 |    11789     7495     41 |  1.521 % |
188.44/188.50	c |     11344 |    1942     1056    15106 |    12968    11340     41 |  1.521 % |
188.74/188.80	c ===============================================================================
188.94/189.00	c core #111
188.94/189.00	c ============================[ Search Statistics ]==============================
188.94/189.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.00	c ===============================================================================
188.94/189.00	c |         0 |    2077     1057    15332 |     5000        0    nan |  0.000 % |
188.94/189.03	c |       100 |    2077     1057    15332 |     5500      100     22 |  0.384 % |
188.94/189.04	c |       250 |    2077     1057    15332 |     6050      250     22 |  0.384 % |
188.94/189.06	c |       479 |    2077     1057    15332 |     6655      479     34 |  0.384 % |
188.94/189.09	c |       817 |    2077     1057    15332 |     7320      817     36 |  0.384 % |
189.04/189.14	c |      1323 |    2077     1057    15332 |     8052     1323     39 |  0.384 % |
189.15/189.22	c |      2085 |    2077     1057    15332 |     8857     2085     43 |  0.384 % |
189.25/189.36	c |      3225 |    2077     1057    15332 |     9743     3225     41 |  0.384 % |
189.54/189.60	c |      4936 |    2077     1057    15332 |    10717     4936     44 |  0.384 % |
189.94/190.01	c |      7499 |    2077     1057    15332 |    11789     7499     51 |  0.384 % |
190.74/190.85	c |     11344 |    2077     1057    15332 |    12968    11344     52 |  0.384 % |
192.34/192.41	c |     17111 |    2077     1057    15332 |    14265    10568     59 |  0.384 % |
194.24/194.32	c |     25761 |    2077     1057    15332 |    15692    12034     54 |  0.385 % |
197.04/197.19	c |     38738 |    2077     1057    15332 |    17261     9067     59 |  0.384 % |
201.63/201.76	c |     58204 |    2077     1057    15332 |    18987    11117     64 |  0.384 % |
211.44/211.50	c |     87397 |    2077     1057    15332 |    20886    11572     88 |  0.384 % |
226.33/226.40	c |    131189 |    2077     1057    15332 |    22974    13140     62 |  0.384 % |
250.53/250.64	c |    196873 |    2077     1057    15332 |    25272    20976     98 |  0.384 % |
263.72/263.82	c ===============================================================================
263.93/264.09	c core #112
263.93/264.09	c ============================[ Search Statistics ]==============================
263.93/264.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
263.93/264.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
263.93/264.09	c ===============================================================================
263.93/264.09	c |         0 |    2117     1058    15412 |     5000        0    nan |  0.000 % |
264.03/264.15	c |       100 |    2117     1058    15412 |     5500      100     28 |  0.376 % |
264.03/264.16	c |       250 |    2117     1058    15412 |     6050      250     37 |  0.377 % |
264.03/264.19	c |       475 |    2117     1058    15412 |     6655      475     41 |  0.376 % |
264.12/264.23	c |       814 |    2117     1058    15412 |     7320      814     46 |  0.376 % |
264.23/264.31	c |      1320 |    2117     1058    15412 |     8052     1320     57 |  0.376 % |
264.23/264.39	c |      2079 |    2117     1058    15412 |     8857     2079     56 |  0.376 % |
264.42/264.59	c |      3219 |    2117     1058    15412 |     9743     3219     66 |  0.376 % |
264.73/264.80	c |      4931 |    2117     1058    15412 |    10717     4931     63 |  0.376 % |
265.22/265.35	c |      7495 |    2117     1058    15412 |    11789     7495     67 |  0.376 % |
266.32/266.42	c |     11344 |    2117     1058    15412 |    12968    11344     65 |  0.376 % |
267.83/267.91	c |     17115 |    2117     1058    15412 |    14265    10559     60 |  0.376 % |
270.12/270.27	c |     25764 |    2117     1058    15412 |    15692    12013     68 |  0.376 % |
273.83/273.92	c |     38739 |    2117     1058    15412 |    17261     8974     78 |  0.376 % |
280.22/280.36	c |     58203 |    2117     1058    15412 |    18987    10981     77 |  0.377 % |
290.43/290.59	c |     87399 |    2116     1058    15412 |    20886    11436     87 |  0.424 % |
307.92/308.09	c |    131189 |    2116     1058    15412 |    22974    13159     92 |  0.424 % |
329.11/329.29	c ===============================================================================
331.51/331.60	c core #113
331.51/331.60	c ============================[ Search Statistics ]==============================
331.51/331.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
331.51/331.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
331.51/331.60	c ===============================================================================
331.51/331.60	c |         0 |    2242     1059    15661 |     5000        0    nan |  0.000 % |
331.51/331.64	c |       101 |    2242     1059    15661 |     5500      101     47 |  0.311 % |
331.51/331.66	c |       253 |    2242     1059    15661 |     6050      253     37 |  0.311 % |
331.51/331.69	c |       478 |    2242     1059    15661 |     6655      478     32 |  0.311 % |
331.61/331.73	c |       815 |    2242     1059    15661 |     7320      815     40 |  0.311 % |
331.70/331.81	c |      1323 |    2242     1059    15661 |     8052     1323     50 |  0.311 % |
331.81/331.91	c |      2082 |    2242     1059    15661 |     8857     2082     55 |  0.311 % |
331.91/332.05	c |      3221 |    2242     1059    15661 |     9743     3221     58 |  0.311 % |
332.12/332.26	c |      4931 |    2242     1059    15661 |    10717     4931     56 |  0.311 % |
332.71/332.81	c |      7494 |    2242     1059    15661 |    11789     7494     72 |  0.311 % |
333.50/333.66	c |     11339 |    2242     1059    15661 |    12968    11339     77 |  0.311 % |
335.21/335.34	c |     17106 |    2242     1059    15661 |    14265    10540     84 |  0.311 % |
338.11/338.22	c |     25755 |    2242     1059    15661 |    15692    11982     83 |  0.311 % |
341.40/341.57	c |     38730 |    2242     1059    15661 |    17261     9087     77 |  0.311 % |
347.11/347.28	c |     58197 |    2241     1059    15661 |    18987    12005     84 |  0.356 % |
358.10/358.27	c |     87391 |    2241     1059    15661 |    20886    12510     87 |  0.356 % |
365.60/365.73	c ===============================================================================
368.50/368.62	c core #114
368.50/368.62	c ============================[ Search Statistics ]==============================
368.50/368.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
368.50/368.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
368.50/368.62	c ===============================================================================
368.50/368.62	c |         0 |    2427     1060    16030 |     5000        0    nan |  0.000 % |
368.50/368.69	c |       101 |    2427     1060    16030 |     5500      101    116 |  0.247 % |
368.59/368.71	c |       251 |    2427     1060    16030 |     6050      251     69 |  0.247 % |
368.59/368.73	c |       476 |    2427     1060    16030 |     6655      476     55 |  0.247 % |
368.59/368.76	c |       813 |    2427     1060    16030 |     7320      813     49 |  0.247 % |
368.70/368.81	c |      1319 |    2427     1060    16030 |     8052     1319     47 |  0.247 % |
368.70/368.89	c |      2078 |    2427     1060    16030 |     8857     2078     52 |  0.247 % |
368.90/369.02	c |      3217 |    2427     1060    16030 |     9743     3217     62 |  0.247 % |
369.09/369.26	c |      4927 |    2427     1060    16030 |    10717     4927     62 |  0.247 % |
369.50/369.65	c |      7489 |    2427     1060    16030 |    11789     7489     68 |  0.247 % |
370.30/370.40	c |     11333 |    2427     1060    16030 |    12968    11333     71 |  0.247 % |
371.50/371.63	c |     17099 |    2427     1060    16030 |    14265    10547     84 |  0.247 % |
373.50/373.62	c |     25751 |    2427     1060    16030 |    15692    11909     97 |  0.247 % |
376.80/376.91	c |     38725 |    2427     1060    16030 |    17261     9006     67 |  0.247 % |
382.71/382.83	c |     58186 |    2425     1060    16030 |    18987    10990     83 |  0.329 % |
396.89/397.03	c |     87378 |    2425     1060    16030 |    20886    11347    114 |  0.329 % |
417.90/418.08	c |    131172 |    2425     1060    16030 |    22974    12896    130 |  0.329 % |
454.57/454.72	c |    196856 |    2425     1060    16030 |    25272    20416    102 |  0.329 % |
507.96/508.13	c |    295382 |    2425     1060    16030 |    27799    16810     94 |  0.329 % |
593.05/593.25	c |    443174 |    2425     1060    16030 |    30579    16940    127 |  0.329 % |
726.59/726.82	c |    664857 |    2425     1060    16030 |    33637    17811    136 |  0.329 % |
830.67/830.99	c ===============================================================================
844.67/844.92	c core #115
844.67/844.92	c ============================[ Search Statistics ]==============================
844.67/844.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
844.67/844.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
844.67/844.92	c ===============================================================================
844.67/844.92	c |         0 |    2612     1061    16398 |     5000        0    nan |  0.000 % |
844.76/845.03	c |       101 |    2612     1061    16398 |     5500      101     28 |  0.153 % |
844.76/845.05	c |       251 |    2612     1061    16398 |     6050      251     29 |  0.153 % |
844.76/845.08	c |       476 |    2612     1061    16398 |     6655      476     24 |  0.153 % |
844.87/845.12	c |       813 |    2612     1061    16398 |     7320      813     33 |  0.153 % |
844.87/845.18	c |      1324 |    2612     1061    16398 |     8052     1324     41 |  0.153 % |
845.07/845.30	c |      2084 |    2612     1061    16398 |     8857     2084     52 |  0.153 % |
845.17/845.46	c |      3223 |    2612     1061    16398 |     9743     3223     61 |  0.153 % |
845.47/845.72	c |      4931 |    2612     1061    16398 |    10717     4931     73 |  0.153 % |
845.87/846.11	c |      7494 |    2612     1061    16398 |    11789     7494     77 |  0.153 % |
846.57/846.83	c |     11342 |    2612     1061    16398 |    12968    11342     78 |  0.153 % |
848.27/848.52	c |     17108 |    2612     1061    16398 |    14265    10481    100 |  0.153 % |
851.27/851.57	c |     25757 |    2612     1061    16398 |    15692    11741    127 |  0.153 % |
854.97/855.20	c |     38732 |    2612     1061    16398 |    17261     8797    117 |  0.153 % |
860.07/860.39	c |     58194 |    2612     1061    16398 |    18987    10553    109 |  0.153 % |
873.36/873.67	c |     87390 |    2612     1061    16398 |    20886    10876    136 |  0.153 % |
898.75/899.05	c |    131180 |    2612     1061    16398 |    22974    12499    143 |  0.153 % |
935.74/936.08	c |    196864 |    2612     1061    16398 |    25272    20131    137 |  0.153 % |
1001.13/1001.48	c |    295390 |    2612     1061    16398 |    27799    15102    149 |  0.153 % |
1113.20/1113.55	c |    443183 |    2612     1061    16398 |    30579    15960    165 |  0.153 % |
1307.96/1308.32	c |    664868 |    2612     1061    16398 |    33637    30204    185 |  0.153 % |
1491.70/1492.14	c |    997393 |    2612     1061    16398 |    37001    33001    146 |  0.153 % |

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.10 1.81 3/106 14175
/proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=2624 CPUtime=0
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 302 0 0 0 0 0 0 0 19 0 1 0 10878856 2686976 220 1992294400 134512640 135751879 4289769504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 656 220 143 303 0 340 0

[startup+0.106283 s]
/proc/loadavg: 1.93 2.10 1.81 3/106 14175
/proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=3480 CPUtime=0.1
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 528 0 0 0 10 0 0 0 18 0 1 0 10878856 3563520 435 1992294400 134512640 135751879 4289769504 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 870 435 147 303 0 565 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3480

[startup+0.201293 s]
/proc/loadavg: 1.93 2.10 1.81 3/106 14175
/proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=4120 CPUtime=0.19
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 701 0 0 0 19 0 0 0 18 0 1 0 10878856 4218880 608 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 1030 608 147 303 0 725 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4120

[startup+0.301302 s]
/proc/loadavg: 1.93 2.10 1.81 3/106 14175
/proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=4760 CPUtime=0.29
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 865 0 0 0 29 0 0 0 18 0 1 0 10878856 4874240 772 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 1190 772 147 303 0 885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4760

[startup+0.700341 s]
/proc/loadavg: 1.93 2.10 1.81 3/106 14175
/proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=7192 CPUtime=0.69
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 1462 0 0 0 67 2 0 0 18 0 1 0 10878856 7364608 1369 1992294400 134512640 135751879 4289769504 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 1798 1369 147 303 0 1493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7192

[startup+1.50042 s]
/proc/loadavg: 1.93 2.10 1.81 2/107 14176
/proc/meminfo: memFree=1810808/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=11300 CPUtime=1.49
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 2502 0 0 0 145 4 0 0 19 0 1 0 10878856 11571200 2409 1992294400 134512640 135751879 4289769504 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 2825 2410 148 303 0 2520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11300

[startup+3.10057 s]
/proc/loadavg: 1.93 2.10 1.81 2/107 14176
/proc/meminfo: memFree=1804856/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=19404 CPUtime=3.09
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 4523 0 0 0 302 7 0 0 23 0 1 0 10878856 19869696 4430 1992294400 134512640 135751879 4289769504 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 4851 4430 148 303 0 4546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19404

[startup+6.30088 s]
/proc/loadavg: 1.86 2.08 1.80 2/107 14176
/proc/meminfo: memFree=1789356/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=33980 CPUtime=6.29
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 8141 0 0 0 617 12 0 0 25 0 1 0 10878856 34795520 8048 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 8495 8048 148 303 0 8190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33980

[startup+12.7015 s]
/proc/loadavg: 1.79 2.07 1.80 2/107 14176
/proc/meminfo: memFree=1767160/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=54456 CPUtime=12.69
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 13273 0 0 0 1249 20 0 0 25 0 1 0 10878856 55762944 13180 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 13614 13180 148 303 0 13309 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54456

[startup+25.5017 s]
/proc/loadavg: 1.61 2.01 1.78 2/107 14176
/proc/meminfo: memFree=1720164/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=99912 CPUtime=25.49
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 24626 0 0 0 2512 37 0 0 25 0 1 0 10878856 102309888 24533 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 24978 24533 148 303 0 24673 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99912

[startup+51.1012 s]
/proc/loadavg: 1.47 1.95 1.77 2/107 14176
/proc/meminfo: memFree=1646384/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=174132 CPUtime=51.08
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 43169 0 0 0 5043 65 0 0 25 0 1 0 10878856 178311168 43076 1992294400 134512640 135751879 4289769504 18446744073709551615 134606310 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 43533 43077 148 303 0 43228 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 174132

[startup+102.301 s]
/proc/loadavg: 1.27 1.81 1.73 2/107 14178
/proc/meminfo: memFree=1509488/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=309656 CPUtime=102.27
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 77049 0 0 0 10110 117 0 0 25 0 1 0 10878856 317087744 76956 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 77414 76957 148 303 0 77109 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 309656

[startup+162.302 s]
/proc/loadavg: 1.16 1.68 1.69 2/107 14180
/proc/meminfo: memFree=1371724/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=448376 CPUtime=162.25
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 111665 0 0 0 16053 172 0 0 25 0 1 0 10878856 459137024 111572 1992294400 134512640 135751879 4289769504 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 112094 111572 148 303 0 111789 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 448376

[startup+222.309 s]
/proc/loadavg: 1.11 1.57 1.64 2/107 14182
/proc/meminfo: memFree=1307988/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=510548 CPUtime=222.24
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 127334 0 0 0 21984 240 0 0 25 0 1 0 10878856 522801152 127213 1992294400 134512640 135751879 4289769504 18446744073709551615 134616678 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 127637 127213 151 303 0 127332 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 510548

[startup+282.301 s]
/proc/loadavg: 1.17 1.49 1.61 2/107 14182
/proc/meminfo: memFree=1251072/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=567996 CPUtime=282.22
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 141693 0 0 0 27909 313 0 0 25 0 1 0 10878856 581627904 141572 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 141999 141572 151 303 0 141694 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 567996

[startup+342.301 s]
/proc/loadavg: 1.06 1.40 1.57 2/107 14184
/proc/meminfo: memFree=1203208/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=615080 CPUtime=342.21
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 153456 0 0 0 33849 372 0 0 25 0 1 0 10878856 629841920 153335 1992294400 134512640 135751879 4289769504 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 153770 153335 151 303 0 153465 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 615080

[startup+402.302 s]
/proc/loadavg: 1.02 1.33 1.53 2/107 14186
/proc/meminfo: memFree=1133768/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=685492 CPUtime=402.19
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 171034 0 0 0 39771 448 0 0 25 0 1 0 10878856 701943808 170913 1992294400 134512640 135751879 4289769504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 171373 170913 151 303 0 171068 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 685492

[startup+462.302 s]
/proc/loadavg: 1.01 1.26 1.50 2/107 14188
/proc/meminfo: memFree=1069164/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=749020 CPUtime=462.17
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 186896 0 0 0 45719 498 0 0 25 0 1 0 10878856 766996480 186775 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 187255 186775 151 303 0 186950 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 749020

[startup+522.301 s]
/proc/loadavg: 1.00 1.21 1.46 2/107 14190
/proc/meminfo: memFree=1012992/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=806108 CPUtime=522.16
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 201111 0 0 0 51667 549 0 0 25 0 1 0 10878856 825454592 200990 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 201527 200990 151 303 0 201222 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 806108

[startup+582.301 s]
/proc/loadavg: 1.00 1.17 1.43 2/107 14190
/proc/meminfo: memFree=949876/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=868496 CPUtime=582.15
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 216673 0 0 0 57615 600 0 0 25 0 1 0 10878856 889339904 216552 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 217124 216552 151 303 0 216819 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 868496

[startup+642.301 s]
/proc/loadavg: 1.00 1.14 1.40 2/107 14201
/proc/meminfo: memFree=876780/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=941548 CPUtime=642.11
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 234952 0 0 0 63552 659 0 0 25 0 1 0 10878856 964145152 234831 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 235387 234831 151 303 0 235082 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 941548

[startup+702.301 s]
/proc/loadavg: 1.00 1.11 1.37 2/107 14203
/proc/meminfo: memFree=824824/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=993296 CPUtime=702.1
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 247834 0 0 0 69514 696 0 0 25 0 1 0 10878856 1017135104 247713 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 248324 247713 151 303 0 248019 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 993296

[startup+762.3 s]
/proc/loadavg: 1.00 1.09 1.35 2/107 14205
/proc/meminfo: memFree=778324/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1039180 CPUtime=762.09
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 259304 0 0 0 75476 733 0 0 25 0 1 0 10878856 1064120320 259183 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 259795 259183 151 303 0 259490 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1039180

[startup+822.3 s]
/proc/loadavg: 1.00 1.07 1.32 2/107 14207
/proc/meminfo: memFree=732816/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1085044 CPUtime=822.07
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 270766 0 0 0 81435 772 0 0 25 0 1 0 10878856 1111085056 270645 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 271261 270645 151 303 0 270956 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1085044

[startup+882.308 s]
/proc/loadavg: 1.00 1.05 1.30 2/107 14207
/proc/meminfo: memFree=709132/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1107628 CPUtime=882.06
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 276574 0 0 0 87389 817 0 0 25 0 1 0 10878856 1134211072 276453 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 276907 276453 151 303 0 276602 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1107628

[startup+942.301 s]
/proc/loadavg: 1.00 1.04 1.28 2/107 14209
/proc/meminfo: memFree=656928/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1160480 CPUtime=942.05
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 289795 0 0 0 93342 863 0 0 25 0 1 0 10878856 1188331520 289674 1992294400 134512640 135751879 4289769504 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 290120 289674 151 303 0 289815 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1160480

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.26 2/107 14211
/proc/meminfo: memFree=609808/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1207164 CPUtime=1002.03
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 301403 0 0 0 99300 903 0 0 25 0 1 0 10878856 1236135936 301282 1992294400 134512640 135751879 4289769504 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 301791 301282 151 303 0 301486 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1207164

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/107 14213
/proc/meminfo: memFree=558472/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1258668 CPUtime=1062.01
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 314259 0 0 0 105258 943 0 0 25 0 1 0 10878856 1288876032 314138 1992294400 134512640 135751879 4289769504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 314667 314138 151 303 0 314362 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1258668

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/107 14215
/proc/meminfo: memFree=499324/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1317620 CPUtime=1121.99
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 328970 0 0 0 111209 990 0 0 25 0 1 0 10878856 1349242880 328849 1992294400 134512640 135751879 4289769504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 329405 328849 151 303 0 329100 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1317620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/107 14215
/proc/meminfo: memFree=446872/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1370144 CPUtime=1181.98
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 342102 0 0 0 117168 1030 0 0 25 0 1 0 10878856 1403027456 341981 1992294400 134512640 135751879 4289769504 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 342536 341981 151 303 0 342231 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1370144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 14217
/proc/meminfo: memFree=403968/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1412628 CPUtime=1241.97
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 352707 0 0 0 123141 1056 0 0 25 0 1 0 10878856 1446531072 352586 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 353157 352586 151 303 0 352852 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1412628

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 14219
/proc/meminfo: memFree=341720/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1476528 CPUtime=1301.95
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 368643 0 0 0 129099 1096 0 0 25 0 1 0 10878856 1511964672 368522 1992294400 134512640 135751879 4289769504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 369132 368522 151 303 0 368827 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1476528

[startup+1362.3 s]
/proc/loadavg: 1.05 1.01 1.17 2/107 14221
/proc/meminfo: memFree=248720/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1568216 CPUtime=1361.94
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 391571 0 0 0 135046 1148 0 0 25 0 1 0 10878856 1605853184 391450 1992294400 134512640 135751879 4289769504 18446744073709551615 134616299 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 392054 391450 151 303 0 391749 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1568216

[startup+1422.3 s]
/proc/loadavg: 1.02 1.01 1.16 2/107 14223
/proc/meminfo: memFree=158696/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1657156 CPUtime=1421.93
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 413799 0 0 0 140988 1205 0 0 25 0 1 0 10878856 1696927744 413678 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 414289 413678 151 303 0 413984 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1657156

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 14223
/proc/meminfo: memFree=84916/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1731920 CPUtime=1481.91
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 432470 0 0 0 146932 1259 0 0 25 0 1 0 10878856 1773486080 432349 1992294400 134512640 135751879 4289769504 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 432980 432349 151 303 0 432675 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1731920

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14225
/proc/meminfo: memFree=27008/2059040 swapFree=4192956/4192956
[pid=14175] ppid=14173 vsize=1788756 CPUtime=1541.9
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 446683 0 0 0 152893 1297 0 0 25 0 1 0 10878856 1831686144 446562 1992294400 134512640 135751879 4289769504 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 447189 446562 151 303 0 446884 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1788756



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1600.1 s]
/proc/loadavg: 1.08 1.02 1.13 2/107 14227
/proc/meminfo: memFree=9416/2059040 swapFree=4178936/4192956
[pid=14175] ppid=14173 vsize=1843208 CPUtime=1599.69
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 460285 0 0 0 158633 1336 0 0 25 0 1 0 10878856 1887444992 460164 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14175/statm: 460802 460164 151 303 0 460497 0
Current children cumulated CPU time (s) 1599.69
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1600.21 s]
/proc/loadavg: 1.08 1.02 1.13 2/107 14227
/proc/meminfo: memFree=9416/2059040 swapFree=4178936/4192956
[pid=14175] ppid=14173 vsize=0 CPUtime=1599.79
/proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4203524 460285 0 0 0 158633 1346 0 0 25 0 1 0 10878856 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/14175/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1599.79
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1600.28
CPU time (s): 1599.87
CPU user time (s): 1586.33
CPU system time (s): 13.5319
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1843208

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

runsolver used 2.80757 second user time and 7.40687 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-12 21:50:25
IDJOB=2655984
IDBENCH=1960
IDSOLVER=1161
FILE ID=node018/2655984-1276372225
PBS_JOBID= 11173221
Free space on /tmp= 62292 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655984-1276372225/watcher-2655984-1276372225 -o /tmp/evaluation-result-2655984-1276372225/solver-2655984-1276372225 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655984-1276372225.opb

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

MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a
RANDOM SEED=361033700

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1818412 kB
Buffers:          8968 kB
Cached:          94532 kB
SwapCached:          0 kB
Active:          84784 kB
Inactive:        78072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1818412 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2840 kB
Writeback:           0 kB
AnonPages:       59332 kB
Mapped:          15444 kB
Slab:            56112 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62292 MiB
End job on node018 at 2010-06-12 22:17:07