Trace number 3461524

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.6? (TO) 1800.08 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
MD5SUM40b50d0e4bc3f1ba5675c1e65f55a1d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark0.167973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables431
Total number of constraints177
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Number of terms in the objective function 431
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 431
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 431
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

Solver Data 

0.00/0.02	c wbo 1.6 beta - 20110321
0.00/0.02	c Parsing opb file format. File HOME/instance-3461524-1307103223.opb.
0.00/0.02	c Instance file HOME/instance-3461524-1307103223.opb
0.00/0.02	c File size is 18662 bytes.
0.00/0.02	c Highest Coefficient sum: 27
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.00         s                                      |
0.00/0.02	c |  Number Variables:      431                                                 |
0.00/0.02	c |  Number Clauses:        177                                                 |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     431      177     1815 |     5000        0   -nan |  0.000 % |
0.00/0.03	c core #1
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 14	Core Weight: 1	Total Weight: 1
0.00/0.03	c Current CPU time: 0.001999 s
0.00/0.03	c
0.00/0.03	c core #2
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 2
0.00/0.03	c Current CPU time: 0.001999 s
0.00/0.03	c
0.00/0.03	c core #3
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 6	Core Weight: 1	Total Weight: 3
0.00/0.03	c Current CPU time: 0.002999 s
0.00/0.03	c
0.00/0.03	c core #4
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 12	Core Weight: 1	Total Weight: 4
0.00/0.03	c Current CPU time: 0.002999 s
0.00/0.03	c
0.00/0.03	c core #5
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 11	Core Weight: 1	Total Weight: 5
0.00/0.03	c Current CPU time: 0.002999 s
0.00/0.03	c
0.00/0.03	c core #6
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 12	Core Weight: 1	Total Weight: 6
0.00/0.03	c Current CPU time: 0.003999 s
0.00/0.03	c
0.00/0.03	c core #7
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 16	Core Weight: 1	Total Weight: 7
0.00/0.03	c Current CPU time: 0.003999 s
0.00/0.03	c
0.00/0.03	c core #8
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 8
0.00/0.03	c Current CPU time: 0.003999 s
0.00/0.03	c
0.00/0.03	c core #9
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 9
0.00/0.03	c Current CPU time: 0.003999 s
0.00/0.03	c
0.00/0.03	c core #10
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 10
0.00/0.03	c Current CPU time: 0.004999 s
0.00/0.03	c
0.00/0.03	c core #11
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 11
0.00/0.03	c Current CPU time: 0.004999 s
0.00/0.03	c
0.00/0.03	c core #12
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 11	Core Weight: 1	Total Weight: 12
0.00/0.03	c Current CPU time: 0.004999 s
0.00/0.03	c
0.00/0.03	c core #13
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 13
0.00/0.03	c Current CPU time: 0.005999 s
0.00/0.03	c
0.00/0.03	c core #14
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 14
0.00/0.03	c Current CPU time: 0.005999 s
0.00/0.03	c
0.00/0.03	c core #15
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 15
0.00/0.03	c Current CPU time: 0.005999 s
0.00/0.03	c
0.00/0.03	c core #16
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 16
0.00/0.03	c Current CPU time: 0.006998 s
0.00/0.03	c
0.00/0.03	c core #17
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 13	Core Weight: 1	Total Weight: 17
0.00/0.03	c Current CPU time: 0.006998 s
0.00/0.03	c
0.00/0.03	c core #18
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 18
0.00/0.03	c Current CPU time: 0.006998 s
0.00/0.03	c
0.00/0.03	c core #19
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 11	Core Weight: 1	Total Weight: 19
0.00/0.03	c Current CPU time: 0.007998 s
0.00/0.03	c
0.00/0.03	c core #20
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 11	Core Weight: 1	Total Weight: 20
0.00/0.03	c Current CPU time: 0.007998 s
0.00/0.03	c
0.00/0.03	c core #21
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 6	Core Weight: 1	Total Weight: 21
0.00/0.03	c Current CPU time: 0.007998 s
0.00/0.03	c
0.00/0.03	c core #22
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.03	c Current CPU time: 0.008998 s
0.00/0.03	c
0.00/0.03	c core #23
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 23
0.00/0.03	c Current CPU time: 0.008998 s
0.00/0.03	c
0.00/0.03	c core #24
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 16	Core Weight: 1	Total Weight: 24
0.00/0.03	c Current CPU time: 0.009998 s
0.00/0.03	c
0.00/0.03	c core #25
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 25
0.00/0.03	c Current CPU time: 0.009998 s
0.00/0.03	c
0.00/0.03	c core #26
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 26
0.00/0.03	c Current CPU time: 0.009998 s
0.00/0.03	c
0.00/0.03	c core #27
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 27
0.00/0.03	c Current CPU time: 0.010998 s
0.00/0.03	c
0.00/0.03	c core #28
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 28
0.00/0.03	c Current CPU time: 0.010998 s
0.00/0.03	c
0.00/0.03	c core #29
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 29
0.00/0.03	c Current CPU time: 0.010998 s
0.00/0.03	c
0.00/0.03	c core #30
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 8	Core Weight: 1	Total Weight: 30
0.00/0.03	c Current CPU time: 0.011998 s
0.00/0.03	c
0.00/0.03	c core #31
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 20	Core Weight: 1	Total Weight: 31
0.00/0.03	c Current CPU time: 0.011998 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     461      639     2516 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #32
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 31	Core Weight: 1	Total Weight: 32
0.00/0.03	c Current CPU time: 0.012998 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     505      640     2588 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #33
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 62	Core Weight: 1	Total Weight: 33
0.00/0.03	c Current CPU time: 0.013997 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     604      641     2756 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     604      641     2756 |     5500      100     19 | 20.735 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #34
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 161	Core Weight: 1	Total Weight: 34
0.00/0.03	c Current CPU time: 0.016997 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     810      642     3110 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       102 |     810      642     3110 |     5500      102     28 | 11.572 % |
0.00/0.04	c |       253 |     810      642     3110 |     6050      253     26 | 11.572 % |
0.00/0.05	c |       480 |     810      642     3110 |     6655      480     25 | 11.572 % |
0.04/0.06	c |       817 |     810      642     3110 |     7320      817     24 | 11.572 % |
0.04/0.08	c |      1324 |     810      642     3110 |     8052     1324     28 | 11.572 % |
0.08/0.12	c |      2083 |     808      642     3110 |     8857     2083     30 | 11.791 % |
0.08/0.13	c ===============================================================================
0.08/0.13	c core #35
0.08/0.13	c 
0.08/0.13	c 
0.08/0.13	c Core size: 252	Core Weight: 1	Total Weight: 35
0.08/0.13	c Current CPU time: 0.117982 s
0.08/0.13	c
0.08/0.13	c ============================[ Search Statistics ]==============================
0.08/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.13	c ===============================================================================
0.08/0.13	c |         0 |    1079      643     3625 |     5000        0   -nan |  0.000 % |
0.08/0.14	c |       100 |    1079      643     3625 |     5500      100     48 |  7.143 % |
0.08/0.14	c |       250 |    1079      643     3625 |     6050      250     45 |  7.143 % |
0.08/0.15	c |       475 |    1079      643     3625 |     6655      475     57 |  7.143 % |
0.08/0.17	c |       813 |    1079      643     3625 |     7320      813     61 |  7.143 % |
0.17/0.20	c |      1321 |    1079      643     3625 |     8052     1321     63 |  7.143 % |
0.17/0.27	c |      2089 |    1079      643     3625 |     8857     2089     78 |  7.143 % |
0.27/0.36	c |      3232 |    1079      643     3625 |     9743     3232     89 |  7.143 % |
0.47/0.52	c |      4940 |    1079      643     3625 |    10717     4940     97 |  7.143 % |
0.77/0.88	c |      7502 |    1079      643     3625 |    11789     7502    112 |  7.143 % |
1.47/1.56	c |     11347 |    1079      643     3625 |    12968    11347    114 |  7.143 % |
2.37/2.47	c |     17116 |    1079      643     3625 |    14265    10530    115 |  7.143 % |
3.87/3.94	c |     25765 |    1079      643     3625 |    15692    11937    115 |  7.143 % |
5.87/5.90	c |     38739 |    1079      643     3625 |    17261     9054    115 |  7.143 % |
6.27/6.35	c ===============================================================================
6.48/6.57	c core #36
6.48/6.57	c 
6.48/6.57	c 
6.48/6.57	c Core size: 304	Core Weight: 1	Total Weight: 36
6.48/6.57	c Current CPU time: 6.48301 s
6.48/6.57	c
6.48/6.57	c ============================[ Search Statistics ]==============================
6.48/6.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.48/6.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.48/6.57	c ===============================================================================
6.48/6.57	c |         0 |    1409      644     4257 |     5000        0   -nan |  0.000 % |
6.48/6.57	c |       100 |    1409      644     4257 |     5500      100     28 |  3.757 % |
6.48/6.58	c |       251 |    1409      644     4257 |     6050      251     39 |  3.757 % |
6.48/6.60	c |       476 |    1409      644     4257 |     6655      476     58 |  3.757 % |
6.59/6.62	c |       813 |    1409      644     4257 |     7320      813     76 |  3.757 % |
6.59/6.65	c |      1320 |    1409      644     4257 |     8052     1320     94 |  3.757 % |
6.67/6.71	c |      2079 |    1409      644     4257 |     8857     2079    114 |  3.757 % |
6.77/6.85	c |      3219 |    1409      644     4257 |     9743     3219    131 |  3.757 % |
6.97/7.04	c |      4928 |    1409      644     4257 |    10717     4928    144 |  3.757 % |
7.37/7.44	c |      7492 |    1409      644     4257 |    11789     7492    149 |  3.757 % |
7.87/7.95	c |     11336 |    1409      644     4257 |    12968    11336    154 |  3.757 % |
8.79/8.83	c |     17102 |    1409      644     4257 |    14265    10499    141 |  3.757 % |
10.17/10.22	c |     25753 |    1409      644     4257 |    15692    11856    173 |  3.757 % |
12.88/12.91	c |     38736 |    1409      644     4257 |    17261     8853    194 |  3.757 % |
16.57/16.64	c |     58198 |    1409      644     4257 |    18987    10703    175 |  3.757 % |
22.48/22.55	c |     87393 |    1409      644     4257 |    20886    10999    200 |  3.757 % |
32.47/32.56	c |    131183 |    1409      644     4257 |    22974    12270    197 |  3.757 % |
49.87/49.96	c |    196869 |    1409      644     4257 |    25272    19528    202 |  3.757 % |
83.88/83.99	c |    295401 |    1409      644     4257 |    27799    14696    224 |  3.757 % |
131.67/131.73	c |    443193 |    1409      644     4257 |    30579    27845    254 |  3.757 % |
180.98/181.07	c ===============================================================================
186.08/186.16	c core #37
186.08/186.16	c 
186.08/186.16	c 
186.08/186.16	c Core size: 388	Core Weight: 1	Total Weight: 37
186.08/186.16	c Current CPU time: 184.956 s
186.08/186.16	c
186.08/186.16	c ============================[ Search Statistics ]==============================
186.08/186.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.08/186.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.08/186.16	c ===============================================================================
186.08/186.16	c |         0 |    1830      645     5065 |     5000        0   -nan |  0.000 % |
186.08/186.16	c |       101 |    1830      645     5065 |     5500      101     89 |  1.135 % |
186.08/186.17	c |       251 |    1830      645     5065 |     6050      251     97 |  1.135 % |
186.08/186.18	c |       476 |    1830      645     5065 |     6655      476    102 |  1.135 % |
186.18/186.21	c |       814 |    1830      645     5065 |     7320      814    110 |  1.135 % |
186.18/186.25	c |      1326 |    1830      645     5065 |     8052     1326    112 |  1.135 % |
186.27/186.33	c |      2086 |    1830      645     5065 |     8857     2086    136 |  1.135 % |
186.37/186.49	c |      3225 |    1830      645     5065 |     9743     3225    154 |  1.135 % |
186.57/186.69	c |      4933 |    1830      645     5065 |    10717     4933    186 |  1.135 % |
187.07/187.12	c |      7497 |    1830      645     5065 |    11789     7497    238 |  1.135 % |
188.28/188.32	c |     11345 |    1830      645     5065 |    12968    11345    289 |  1.135 % |
190.30/190.38	c |     17111 |    1830      645     5065 |    14265    10705    336 |  1.135 % |
192.88/192.93	c |     25762 |    1830      645     5065 |    15692    12086    339 |  1.135 % |
197.28/197.33	c |     38737 |    1830      645     5065 |    17261     9196    385 |  1.135 % |
204.18/204.27	c |     58199 |    1830      645     5065 |    18987    11424    411 |  1.135 % |
215.68/215.72	c |     87391 |    1830      645     5065 |    20886    11410    377 |  1.135 % |
232.48/232.57	c |    131182 |    1830      645     5065 |    22974    12536    309 |  1.135 % |
266.78/266.89	c |    196867 |    1830      645     5065 |    25272    19456    433 |  1.135 % |
294.48/294.50	c |    295394 |    1830      645     5065 |    27799    24104    278 |  1.135 % |
353.48/353.51	c |    443186 |    1830      645     5065 |    30579    19785    297 |  1.135 % |
449.38/449.47	c |    664871 |    1830      645     5065 |    33637    23775    413 |  1.135 % |
600.19/600.22	c |    997396 |    1830      645     5065 |    37001    25278    395 |  1.135 % |
796.49/796.56	c |   1496185 |    1830      645     5065 |    40701    27960    199 |  1.135 % |
1134.30/1134.34	c |   2244368 |    1830      645     5065 |    44771    25152    240 |  1.135 % |
1661.92/1661.95	c |   3366642 |    1830      645     5065 |    49248    43844    354 |  1.135 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461524-1307103223/watcher-3461524-1307103223 -o /tmp/evaluation-result-3461524-1307103223/solver-3461524-1307103223 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461524-1307103223.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.01 1/533 10023
/proc/meminfo: memFree=25258316/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/10023/stat : 10023 (runsolver) R 10020 10023 9437 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 802738554 12079104 51 33554432000 4194304 5432328 140735212613040 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/10023/statm: 2949 51 31 303 0 2643 0

[startup+0.0607529 s]
/proc/loadavg: 2.00 2.04 2.01 1/533 10023
/proc/meminfo: memFree=25258316/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=2524 CPUtime=0.04 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 434 0 0 0 4 0 0 0 25 0 1 0 802738554 2584576 382 33554432000 4194304 5714214 140736373812928 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 631 382 180 372 0 256 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2524

[startup+0.100779 s]
/proc/loadavg: 2.00 2.04 2.01 1/533 10023
/proc/meminfo: memFree=25258316/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=2920 CPUtime=0.08 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 528 0 0 0 8 0 0 0 25 0 1 0 802738554 2990080 476 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 730 476 180 372 0 355 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2920

[startup+0.30071 s]
/proc/loadavg: 2.00 2.04 2.01 1/533 10023
/proc/meminfo: memFree=25258316/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=3844 CPUtime=0.27 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 772 0 0 0 27 0 0 0 25 0 1 0 802738554 3936256 720 33554432000 4194304 5714214 140736373812928 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 961 720 180 372 0 586 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 3844

[startup+0.700673 s]
/proc/loadavg: 2.00 2.04 2.01 1/533 10023
/proc/meminfo: memFree=25258316/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=6952 CPUtime=0.67 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 1528 0 0 0 67 0 0 0 25 0 1 0 802738554 7118848 1476 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 1738 1478 180 372 0 1363 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6952

[startup+1.50055 s]
/proc/loadavg: 2.00 2.04 2.01 3/536 10058
/proc/meminfo: memFree=25250308/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=11084 CPUtime=1.47 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 2581 0 0 0 146 1 0 0 25 0 1 0 802738554 11350016 2529 33554432000 4194304 5714214 140736373812928 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 2771 2529 180 372 0 2396 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11084

[startup+3.10023 s]
/proc/loadavg: 2.00 2.04 2.01 3/536 10058
/proc/meminfo: memFree=25237596/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=15640 CPUtime=3.07 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 3667 0 0 0 305 2 0 0 25 0 1 0 802738554 16015360 3615 33554432000 4194304 5714214 140736373812928 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 3910 3615 180 372 0 3535 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15640

[startup+6.30068 s]
/proc/loadavg: 2.00 2.03 2.01 3/536 10058
/proc/meminfo: memFree=25223708/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=20492 CPUtime=6.27 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 4869 0 0 0 622 5 0 0 25 0 1 0 802738554 20983808 4817 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 5123 4817 180 372 0 4748 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20492

[startup+12.7005 s]
/proc/loadavg: 2.00 2.03 2.01 3/536 10058
/proc/meminfo: memFree=25215844/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=23692 CPUtime=12.67 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 5767 0 0 0 1257 10 0 0 25 0 1 0 802738554 24260608 5684 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 5923 5684 180 372 0 5548 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23692

[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.01 3/536 10058
/proc/meminfo: memFree=25174684/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=41580 CPUtime=25.47 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 10146 0 0 0 2527 20 0 0 25 0 1 0 802738554 42577920 10063 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 10395 10063 180 372 0 10020 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 41580

[startup+51.1007 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10059
/proc/meminfo: memFree=25128732/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=63928 CPUtime=51.07 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 15643 0 0 0 5074 33 0 0 25 0 1 0 802738554 65462272 15560 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 15982 15560 180 372 0 15607 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63928

[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10060
/proc/meminfo: memFree=25038924/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=103956 CPUtime=102.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 25437 0 0 0 10177 53 0 0 25 0 1 0 802738554 106450944 25354 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 25989 25354 180 372 0 25614 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 103956

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10062
/proc/meminfo: memFree=25000932/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=139956 CPUtime=162.27 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 34263 0 0 0 16148 79 0 0 25 0 1 0 802738554 143314944 34180 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 34989 34180 180 372 0 34614 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 139956

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10063
/proc/meminfo: memFree=24950168/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=169884 CPUtime=222.27 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 41966 0 0 0 22126 101 0 0 25 0 1 0 802738554 173961216 41822 33554432000 4194304 5714214 140736373812928 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 42471 41822 180 372 0 42096 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 169884

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 10065
/proc/meminfo: memFree=24911812/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=169884 CPUtime=282.28 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 42114 0 0 0 28107 121 0 0 25 0 1 0 802738554 173961216 41970 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 42471 41970 180 372 0 42096 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 169884

[startup+342.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/536 10067
/proc/meminfo: memFree=24869492/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=169884 CPUtime=342.28 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 42247 0 0 0 34087 141 0 0 25 0 1 0 802738554 173961216 42103 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 42471 42103 180 372 0 42096 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 169884

[startup+402.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 10068
/proc/meminfo: memFree=24831116/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=169884 CPUtime=402.28 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 42331 0 0 0 40070 158 0 0 25 0 1 0 802738554 173961216 42187 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 42471 42187 180 372 0 42096 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 169884

[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 10070
/proc/meminfo: memFree=24777868/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=190236 CPUtime=462.29 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 47424 0 0 0 46049 180 0 0 25 0 1 0 802738554 194801664 47280 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 47559 47280 180 372 0 47184 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 190236

[startup+522.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 10071
/proc/meminfo: memFree=24726628/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=210460 CPUtime=522.28 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 52387 0 0 0 52027 201 0 0 25 0 1 0 802738554 215511040 52243 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 52615 52243 180 372 0 52240 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 210460

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 10073
/proc/meminfo: memFree=24675612/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=236168 CPUtime=582.28 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 58693 0 0 0 58010 218 0 0 25 0 1 0 802738554 241836032 58549 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 59042 58549 180 372 0 58667 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 236168

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10082
/proc/meminfo: memFree=24421976/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=347200 CPUtime=822.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 86143 0 0 0 81924 306 0 0 25 0 1 0 802738554 355532800 85999 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 86800 85999 180 372 0 86425 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 347200

[startup+882.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 10084
/proc/meminfo: memFree=24364772/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=367280 CPUtime=882.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 91323 0 0 0 87904 326 0 0 25 0 1 0 802738554 376094720 90970 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 91820 90970 180 372 0 91445 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 367280

[startup+942.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 10086
/proc/meminfo: memFree=24301360/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=405436 CPUtime=942.29 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 100663 0 0 0 93887 342 0 0 25 0 1 0 802738554 415166464 100310 33554432000 4194304 5714214 140736373812928 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 101359 100310 180 372 0 100984 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 405436

[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 10087
/proc/meminfo: memFree=24250352/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=421944 CPUtime=1002.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 104711 0 0 0 99869 361 0 0 25 0 1 0 802738554 432070656 104358 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 105486 104358 180 372 0 105111 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 421944

[startup+1062.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 10089
/proc/meminfo: memFree=24213236/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=442120 CPUtime=1062.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 109694 0 0 0 105851 379 0 0 25 0 1 0 802738554 452730880 109341 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 110530 109341 180 372 0 110155 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 442120

[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 10090
/proc/meminfo: memFree=24162216/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=465236 CPUtime=1122.3 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 115408 0 0 0 111826 404 0 0 25 0 1 0 802738554 476401664 115055 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 116309 115055 180 372 0 115934 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 465236

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 10092
/proc/meminfo: memFree=24107592/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=494288 CPUtime=1182.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 122556 0 0 0 117805 426 0 0 25 0 1 0 802738554 506150912 122203 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 123572 122203 180 372 0 123197 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 494288

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10094
/proc/meminfo: memFree=24051496/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=520972 CPUtime=1242.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 129193 0 0 0 123786 445 0 0 25 0 1 0 802738554 533475328 128840 33554432000 4194304 5714214 140736373812928 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 130243 128840 180 372 0 129868 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 520972

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10095
/proc/meminfo: memFree=23981376/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=548664 CPUtime=1302.32 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 135984 0 0 0 129770 462 0 0 25 0 1 0 802738554 561831936 135631 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 137166 135631 180 372 0 136791 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 548664

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10097
/proc/meminfo: memFree=23955176/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=578604 CPUtime=1362.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 143441 0 0 0 135753 478 0 0 25 0 1 0 802738554 592490496 143088 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 144651 143088 180 372 0 144276 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 578604

[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/536 10098
/proc/meminfo: memFree=23919900/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=582396 CPUtime=1422.33 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 144424 0 0 0 141738 495 0 0 25 0 1 0 802738554 596373504 144071 33554432000 4194304 5714214 140736373812928 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 145599 144071 180 372 0 145224 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 582396

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 10100
/proc/meminfo: memFree=23873468/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=605584 CPUtime=1482.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 150153 0 0 0 147717 514 0 0 25 0 1 0 802738554 620118016 149800 33554432000 4194304 5714214 140736373812928 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 151396 149800 180 372 0 151021 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 605584

[startup+1542.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/536 10102
/proc/meminfo: memFree=23830892/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=626432 CPUtime=1542.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 155362 0 0 0 153700 531 0 0 25 0 1 0 802738554 641466368 155009 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 156608 155009 180 372 0 156233 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 626432

[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/536 10103
/proc/meminfo: memFree=23782496/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=646660 CPUtime=1602.32 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 160370 0 0 0 159686 546 0 0 25 0 1 0 802738554 662179840 160017 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 161665 160017 180 372 0 161290 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 646660

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 10105
/proc/meminfo: memFree=23719840/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=687872 CPUtime=1662.32 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 170532 0 0 0 165669 563 0 0 25 0 1 0 802738554 704380928 170179 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 171968 170179 180 372 0 171593 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 687872

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 10106
/proc/meminfo: memFree=23679360/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=712212 CPUtime=1722.32 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 176614 0 0 0 171653 579 0 0 25 0 1 0 802738554 729305088 176261 33554432000 4194304 5714214 140736373812928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 178053 176261 180 372 0 177678 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 712212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10108
/proc/meminfo: memFree=23631196/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=743680 CPUtime=1782.31 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 184409 0 0 0 177637 594 0 0 25 0 1 0 802738554 761528320 184056 33554432000 4194304 5714214 140736373812928 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 185920 184056 180 372 0 185545 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 743680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10108
/proc/meminfo: memFree=23629200/32951124 swapFree=46970528/67111528
[pid=10023] ppid=10020 vsize=745924 CPUtime=1800.02 cores=0,2,4,6
/proc/10023/stat : 10023 (wbo1.6) R 10020 10023 9437 0 -1 4202496 184986 0 0 0 179405 597 0 0 25 0 1 0 802738554 763826176 184633 33554432000 4194304 5714214 140736373812928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10023/statm: 186481 184633 180 372 0 186106 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 745924

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.05
CPU time (s): 1800.08
CPU user time (s): 1794.07
CPU system time (s): 6.01009
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 745924

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

runsolver used 9.90849 second user time and 21.2098 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 14:13:43
IDJOB=3461524
IDBENCH=2867
IDSOLVER=1953
FILE ID=node146/3461524-1307103223
RUNJOBID= node146-1307094211-9455
PBS_JOBID= 13498003
Free space on /tmp= 73724 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461524-1307103223/watcher-3461524-1307103223 -o /tmp/evaluation-result-3461524-1307103223/solver-3461524-1307103223 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461524-1307103223.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7
RANDOM SEED=629890185

node146.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.830
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.66
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.830
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.830
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	: 5332.75
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.830
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.86
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.830
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.75
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.830
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.75
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.830
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.830
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25258596 kB
Buffers:         99696 kB
Cached:         215668 kB
SwapCached:      60100 kB
Active:         198096 kB
Inactive:      7254508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25258596 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            4288 kB
Writeback:           0 kB
AnonPages:     7088228 kB
Mapped:          16556 kB
Slab:            72920 kB
PageTables:      97712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160705684 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= 73720 MiB
End job on node146 at 2011-06-03 14:43:45