Trace number 3460783

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.1 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
MD5SUMad998dfe89909927555ae6165c9e8c9e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark70
Best CPU time to get the best result obtained on this benchmark22.7615
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved NO
Number of variables1821
Total number of constraints4706
Number of constraints which are clauses4706
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 constraint1
Maximum length of a constraint382
Number of terms in the objective function 1821
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 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460783-1307105199.opb.
0.00/0.00	c Instance file HOME/instance-3460783-1307105199.opb
0.00/0.00	c File size is 1231942 bytes.
0.07/0.08	c Highest Coefficient sum: 383
0.07/0.08	c ============================[ Problem Statistics ]=============================
0.07/0.08	c |                                                                             |
0.07/0.08	c |  Parsing time:          0.08         s                                      |
0.07/0.08	c |  Number Variables:      1821                                                |
0.07/0.08	c |  Number Clauses:        4706                                                |
0.07/0.08	c |  Number Cardinality:    0                                                   |
0.07/0.08	c |  Number PB Constraints: 0                                                   |
0.07/0.08	c ============================[ Search Statistics ]==============================
0.07/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.08	c ===============================================================================
0.07/0.08	c |         0 |    1801     4706   142959 |     5000        0   -nan |  0.000 % |
0.20/0.29	c core #1
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 60	Core Weight: 1	Total Weight: 21
0.20/0.29	c Current CPU time: 0.089986 s
0.20/0.29	c
0.20/0.29	c core #2
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 149	Core Weight: 1	Total Weight: 22
0.20/0.29	c Current CPU time: 0.096985 s
0.20/0.29	c
0.20/0.29	c core #3
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 28	Core Weight: 1	Total Weight: 23
0.20/0.29	c Current CPU time: 0.103984 s
0.20/0.29	c
0.20/0.29	c core #4
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 15	Core Weight: 1	Total Weight: 24
0.20/0.29	c Current CPU time: 0.110983 s
0.20/0.29	c
0.20/0.29	c core #5
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 28	Core Weight: 1	Total Weight: 25
0.20/0.29	c Current CPU time: 0.117982 s
0.20/0.29	c
0.20/0.29	c core #6
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 23	Core Weight: 1	Total Weight: 26
0.20/0.29	c Current CPU time: 0.124981 s
0.20/0.29	c
0.20/0.29	c core #7
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 4	Core Weight: 1	Total Weight: 27
0.20/0.29	c Current CPU time: 0.131979 s
0.20/0.29	c
0.20/0.29	c core #8
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 13	Core Weight: 1	Total Weight: 28
0.20/0.29	c Current CPU time: 0.138978 s
0.20/0.29	c
0.20/0.29	c core #9
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 25	Core Weight: 1	Total Weight: 29
0.20/0.29	c Current CPU time: 0.145977 s
0.20/0.29	c
0.20/0.29	c core #10
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 5	Core Weight: 1	Total Weight: 30
0.20/0.29	c Current CPU time: 0.152976 s
0.20/0.29	c
0.20/0.29	c core #11
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 19	Core Weight: 1	Total Weight: 31
0.20/0.29	c Current CPU time: 0.159975 s
0.20/0.29	c
0.20/0.29	c core #12
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 33	Core Weight: 1	Total Weight: 32
0.20/0.29	c Current CPU time: 0.166974 s
0.20/0.29	c
0.20/0.29	c core #13
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 23	Core Weight: 1	Total Weight: 33
0.20/0.29	c Current CPU time: 0.173973 s
0.20/0.29	c
0.20/0.29	c core #14
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 35	Core Weight: 1	Total Weight: 34
0.20/0.29	c Current CPU time: 0.180972 s
0.20/0.29	c
0.20/0.29	c core #15
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 5	Core Weight: 1	Total Weight: 35
0.20/0.29	c Current CPU time: 0.188971 s
0.20/0.29	c
0.20/0.29	c core #16
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 39	Core Weight: 1	Total Weight: 36
0.20/0.29	c Current CPU time: 0.19597 s
0.20/0.29	c
0.20/0.29	c core #17
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 5	Core Weight: 1	Total Weight: 37
0.20/0.29	c Current CPU time: 0.202969 s
0.20/0.29	c
0.20/0.29	c core #18
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 3	Core Weight: 1	Total Weight: 38
0.20/0.29	c Current CPU time: 0.210967 s
0.20/0.29	c
0.20/0.29	c core #19
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 8	Core Weight: 1	Total Weight: 39
0.20/0.29	c Current CPU time: 0.217966 s
0.20/0.29	c
0.20/0.29	c core #20
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 11	Core Weight: 1	Total Weight: 40
0.20/0.29	c Current CPU time: 0.225965 s
0.20/0.29	c
0.20/0.29	c core #21
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 40	Core Weight: 1	Total Weight: 41
0.20/0.29	c Current CPU time: 0.232964 s
0.20/0.29	c
0.20/0.29	c core #22
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 6	Core Weight: 1	Total Weight: 42
0.20/0.29	c Current CPU time: 0.239963 s
0.20/0.29	c
0.20/0.29	c core #23
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 4	Core Weight: 1	Total Weight: 43
0.20/0.29	c Current CPU time: 0.247962 s
0.20/0.29	c
0.20/0.29	c core #24
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 40	Core Weight: 1	Total Weight: 44
0.20/0.29	c Current CPU time: 0.254961 s
0.20/0.29	c
0.20/0.29	c core #25
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 187	Core Weight: 1	Total Weight: 45
0.20/0.29	c Current CPU time: 0.26296 s
0.20/0.29	c
0.20/0.29	c core #26
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 22	Core Weight: 1	Total Weight: 46
0.20/0.29	c Current CPU time: 0.270958 s
0.20/0.29	c
0.20/0.29	c core #27
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 17	Core Weight: 1	Total Weight: 47
0.20/0.29	c Current CPU time: 0.278957 s
0.20/0.29	c
0.20/0.29	c core #28
0.20/0.29	c 
0.20/0.29	c 
0.20/0.29	c Core size: 48	Core Weight: 1	Total Weight: 48
0.20/0.29	c Current CPU time: 0.286956 s
0.20/0.29	c
0.20/0.29	c ============================[ Search Statistics ]==============================
0.20/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.20/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.20/0.29	c ===============================================================================
0.20/0.29	c |         0 |    1508     6313    74844 |     5000        0   -nan |  0.000 % |
0.20/0.29	c ===============================================================================
0.30/0.30	c core #29
0.30/0.30	c 
0.30/0.30	c 
0.30/0.30	c Core size: 22	Core Weight: 1	Total Weight: 49
0.30/0.30	c Current CPU time: 0.294955 s
0.30/0.30	c
0.30/0.30	c ============================[ Search Statistics ]==============================
0.30/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.30	c ===============================================================================
0.30/0.30	c |         0 |    1535     6314    75413 |     5000        0   -nan |  0.000 % |
0.30/0.30	c ===============================================================================
0.30/0.31	c core #30
0.30/0.31	c 
0.30/0.31	c 
0.30/0.31	c Core size: 120	Core Weight: 1	Total Weight: 50
0.30/0.31	c Current CPU time: 0.301954 s
0.30/0.31	c
0.30/0.31	c ============================[ Search Statistics ]==============================
0.30/0.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.31	c ===============================================================================
0.30/0.31	c |         0 |    1669     6315    76257 |     5000        0   -nan |  0.000 % |
0.30/0.31	c |       101 |    1669     6315    76257 |     5500      101     18 | 40.520 % |
0.30/0.31	c ===============================================================================
0.30/0.32	c core #31
0.30/0.32	c 
0.30/0.32	c 
0.30/0.32	c Core size: 184	Core Weight: 1	Total Weight: 51
0.30/0.32	c Current CPU time: 0.312952 s
0.30/0.32	c
0.30/0.32	c ============================[ Search Statistics ]==============================
0.30/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.32	c ===============================================================================
0.30/0.32	c |         0 |    1949     6316    80910 |     5000        0   -nan |  0.000 % |
0.30/0.32	c |       100 |    1949     6316    80910 |     5500      100     37 | 34.751 % |
0.30/0.33	c |       253 |    1949     6316    80910 |     6050      253     66 | 34.751 % |
0.30/0.34	c |       479 |    1949     6316    80910 |     6655      479     63 | 34.751 % |
0.30/0.35	c ===============================================================================
0.30/0.36	c core #32
0.30/0.36	c 
0.30/0.36	c 
0.30/0.36	c Core size: 161	Core Weight: 1	Total Weight: 52
0.30/0.36	c Current CPU time: 0.348946 s
0.30/0.36	c
0.30/0.36	c ============================[ Search Statistics ]==============================
0.30/0.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.36	c ===============================================================================
0.30/0.36	c |         0 |    2128     6317    83049 |     5000        0   -nan |  0.000 % |
0.30/0.36	c |       100 |    2128     6317    83049 |     5500      100     53 | 32.359 % |
0.30/0.37	c |       253 |    2128     6317    83049 |     6050      253     67 | 32.359 % |
0.30/0.38	c |       481 |    2128     6317    83049 |     6655      481     64 | 32.359 % |
0.30/0.39	c |       818 |    2128     6317    83049 |     7320      818     54 | 32.359 % |
0.39/0.41	c |      1328 |    2128     6317    83049 |     8052     1328     47 | 32.359 % |
0.39/0.45	c |      2088 |    2128     6317    83049 |     8857     2088     52 | 32.359 % |
0.49/0.50	c ===============================================================================
0.49/0.52	c core #33
0.49/0.52	c 
0.49/0.52	c 
0.49/0.52	c Core size: 221	Core Weight: 1	Total Weight: 53
0.49/0.52	c Current CPU time: 0.489925 s
0.49/0.52	c
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |    2348     6318    83489 |     5000        0   -nan |  0.000 % |
0.49/0.52	c |       102 |    2348     6318    83489 |     5500      102    101 | 30.244 % |
0.49/0.54	c |       252 |    2348     6318    83489 |     6050      252    136 | 30.244 % |
0.49/0.55	c |       479 |    2348     6318    83489 |     6655      479    126 | 30.244 % |
0.49/0.57	c |       817 |    2348     6318    83489 |     7320      817    137 | 30.244 % |
0.59/0.62	c |      1323 |    2348     6318    83489 |     8052     1323    145 | 30.244 % |
0.59/0.69	c |      2082 |    2348     6318    83489 |     8857     2082    139 | 30.244 % |
0.79/0.80	c |      3223 |    2348     6318    83489 |     9743     3223    186 | 30.244 % |
1.00/1.04	c |      4931 |    2348     6318    83489 |    10717     4931    228 | 30.244 % |
1.29/1.35	c |      7493 |    2348     6318    83489 |    11789     7493    247 | 30.244 % |
2.10/2.20	c |     11341 |    2348     6318    83489 |    12968    11341    268 | 30.244 % |
2.69/2.74	c |     17111 |    2348     6318    83489 |    14265    10052    205 | 30.244 % |
3.89/3.90	c |     25762 |    2348     6318    83489 |    15692    10914    152 | 36.780 % |
3.89/3.96	c ===============================================================================
3.99/4.04	c core #34
3.99/4.04	c 
3.99/4.04	c 
3.99/4.04	c Core size: 494	Core Weight: 1	Total Weight: 54
3.99/4.04	c Current CPU time: 3.86241 s
3.99/4.04	c
3.99/4.04	c ============================[ Search Statistics ]==============================
3.99/4.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.04	c ===============================================================================
3.99/4.04	c |         0 |    2957     6319    90358 |     5000        0   -nan |  0.000 % |
3.99/4.05	c |       100 |    2957     6319    90358 |     5500      100     84 | 23.334 % |
3.99/4.07	c |       252 |    2957     6319    90358 |     6050      252    120 | 23.334 % |
3.99/4.08	c |       477 |    2957     6319    90358 |     6655      477    108 | 23.334 % |
4.09/4.10	c |       817 |    2957     6319    90358 |     7320      817    125 | 23.334 % |
4.09/4.15	c |      1323 |    2957     6319    90358 |     8052     1323     93 | 23.334 % |
4.19/4.22	c |      2083 |    2957     6319    90358 |     8857     2083     79 | 23.334 % |
4.30/4.32	c |      3222 |    2957     6319    90358 |     9743     3222    107 | 23.334 % |
4.49/4.52	c |      4931 |    2957     6319    90358 |    10717     4931    169 | 23.334 % |
4.89/4.98	c |      7493 |    2957     6319    90358 |    11789     7493    207 | 23.334 % |
5.59/5.65	c |     11338 |    2957     6319    90358 |    12968    11338    240 | 23.334 % |
6.99/7.01	c |     17107 |    2957     6319    90358 |    14265     9840    288 | 23.334 % |
8.59/8.64	c |     25761 |    2957     6319    90358 |    15692    10811    250 | 23.334 % |
10.90/10.98	c |     38739 |    2957     6319    90358 |    17261    15334    191 | 23.334 % |
14.79/14.82	c |     58201 |    2957     6319    90358 |    18987    16452    176 | 23.334 % |
21.70/21.78	c |     87395 |    2957     6319    90358 |    20886    15167    213 | 23.334 % |
31.30/31.36	c |    131184 |    2956     6319    90358 |    22974    14629    236 | 23.360 % |
40.49/40.54	c ===============================================================================
41.19/41.28	c core #35
41.19/41.28	c 
41.19/41.28	c 
41.19/41.28	c Core size: 326	Core Weight: 1	Total Weight: 55
41.19/41.28	c Current CPU time: 40.3559 s
41.19/41.28	c
41.19/41.28	c ============================[ Search Statistics ]==============================
41.19/41.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.19/41.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.19/41.28	c ===============================================================================
41.19/41.28	c |         0 |    3296     6320    91389 |     5000        0   -nan |  0.000 % |
41.19/41.28	c |       107 |    3296     6320    91389 |     5500      107    127 | 21.111 % |
41.29/41.31	c |       257 |    3296     6320    91389 |     6050      257    223 | 21.111 % |
41.29/41.32	c |       483 |    3296     6320    91389 |     6655      483    171 | 21.111 % |
41.29/41.35	c |       823 |    3296     6320    91389 |     7320      823    145 | 21.111 % |
41.39/41.42	c |      1334 |    3296     6320    91389 |     8052     1334    231 | 21.111 % |
41.39/41.48	c |      2094 |    3296     6320    91389 |     8857     2094    217 | 21.111 % |
41.49/41.58	c |      3235 |    3296     6320    91389 |     9743     3235    210 | 21.111 % |
41.71/41.72	c |      4943 |    3296     6320    91389 |    10717     4943    193 | 21.111 % |
42.00/42.03	c |      7505 |    3296     6320    91389 |    11789     7505    211 | 21.111 % |
42.39/42.49	c |     11352 |    3296     6320    91389 |    12968    11352    223 | 21.111 % |
43.19/43.24	c |     17123 |    3270     6320    91389 |    14265    10042    214 | 21.733 % |
45.39/45.42	c |     25774 |    3270     6320    91389 |    15692    10894    385 | 21.733 % |
47.49/47.51	c |     38748 |    3270     6320    91389 |    17261    15079    304 | 21.733 % |
51.09/51.14	c |     58210 |    3270     6320    91389 |    18987    16087    323 | 21.733 % |
57.99/58.05	c |     87402 |    3270     6320    91389 |    20886    14623    322 | 21.733 % |
72.79/72.84	c |    131193 |    3270     6320    91389 |    22974    13831    332 | 21.733 % |
93.29/93.37	c |    196877 |    3266     6320    91389 |    25272    18440    198 | 21.829 % |
118.29/118.37	c |    295403 |    3266     6320    91389 |    27799    19474    250 | 21.829 % |
169.41/169.48	c |    443192 |    3266     6320    91389 |    30579    20710    324 | 21.829 % |
233.50/233.58	c |    664877 |    3266     6320    91389 |    33637    14642    327 | 21.829 % |
337.50/337.51	c |    997409 |    3266     6320    91389 |    37001    21721    350 | 21.829 % |
561.81/561.82	c |   1496197 |    3264     6320    91389 |    40701    23056    463 | 21.877 % |
893.42/893.42	c |   2244381 |    3264     6320    91389 |    44771    36909    445 | 21.877 % |
1444.63/1444.60	c |   3366655 |    3258     6320    91389 |    49248    25455    435 | 22.020 % |

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-3460783-1307105199/watcher-3460783-1307105199 -o /tmp/evaluation-result-3460783-1307105199/solver-3460783-1307105199 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460783-1307105199.opb 

running on 4 cores: 1,3,5,7

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.02 2.02 2.00 2/386 28227
/proc/meminfo: memFree=23098744/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=3636 CPUtime=0.01 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 438 0 0 0 1 0 0 0 25 0 1 0 822122647 3723264 391 33554432000 4194304 5714214 140737283475584 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 909 391 211 372 0 233 0

[startup+0.0743309 s]
/proc/loadavg: 2.02 2.02 2.00 2/386 28227
/proc/meminfo: memFree=23098744/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=4328 CPUtime=0.07 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 839 0 0 0 7 0 0 0 25 0 1 0 822122647 4431872 792 33554432000 4194304 5714214 140737283475584 18446744073709551615 4228562 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 1082 792 439 372 0 406 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4328

[startup+0.100326 s]
/proc/loadavg: 2.02 2.02 2.00 2/386 28227
/proc/meminfo: memFree=23098744/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=4804 CPUtime=0.1 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 1300 0 0 0 10 0 0 0 25 0 1 0 822122647 4919296 952 33554432000 4194304 5714214 140737283475584 18446744073709551615 4355960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 1201 952 175 372 0 826 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4804

[startup+0.300288 s]
/proc/loadavg: 2.02 2.02 2.00 2/386 28227
/proc/meminfo: memFree=23098744/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=5408 CPUtime=0.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 1541 0 0 0 30 0 0 0 18 0 1 0 822122647 5537792 1108 33554432000 4194304 5714214 140737283475584 18446744073709551615 4346026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 1352 1108 179 372 0 977 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5408

[startup+0.700228 s]
/proc/loadavg: 2.02 2.02 2.00 2/386 28227
/proc/meminfo: memFree=23098744/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=7244 CPUtime=0.69 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 1986 0 0 0 65 4 0 0 18 0 1 0 822122647 7417856 1531 33554432000 4194304 5714214 140737283475584 18446744073709551615 4743109 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 1811 1531 180 372 0 1436 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7244

[startup+1.50108 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 28228
/proc/meminfo: memFree=23090180/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=14820 CPUtime=1.49 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 3885 0 0 0 141 8 0 0 18 0 1 0 822122647 15175680 3430 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 3705 3430 180 372 0 3330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14820

[startup+3.10079 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 28228
/proc/meminfo: memFree=23080276/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=22248 CPUtime=3.09 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 5752 0 0 0 295 14 0 0 18 0 1 0 822122647 22781952 5297 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 5562 5297 180 372 0 5187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22248

[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 28228
/proc/meminfo: memFree=23075784/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=22900 CPUtime=6.29 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 5978 0 0 0 605 24 0 0 25 0 1 0 822122647 23449600 5492 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 5725 5492 180 372 0 5350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22900

[startup+12.7011 s]
/proc/loadavg: 1.93 2.00 1.99 4/386 28255
/proc/meminfo: memFree=23808260/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=28916 CPUtime=12.7 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 7430 0 0 0 1232 38 0 0 25 0 1 0 822122647 29609984 6944 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 7229 6944 180 372 0 6854 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28916

[startup+25.5008 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 28257
/proc/meminfo: memFree=23764016/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=46384 CPUtime=25.49 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 11698 0 0 0 2491 58 0 0 25 0 1 0 822122647 47497216 11212 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 11596 11212 180 372 0 11221 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46384

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28257
/proc/meminfo: memFree=23709580/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=64112 CPUtime=51.09 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 16255 0 0 0 4986 123 0 0 25 0 1 0 822122647 65650688 15721 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 16028 15721 180 372 0 15653 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 64112

[startup+102.314 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 28259
/proc/meminfo: memFree=23624048/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=85044 CPUtime=102.31 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 21387 0 0 0 10021 210 0 0 25 0 1 0 822122647 87085056 20853 33554432000 4194304 5714214 140737283475584 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 21261 20853 180 372 0 20886 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 85044

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28260
/proc/meminfo: memFree=23503876/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=139808 CPUtime=162.29 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 34859 0 0 0 15937 292 0 0 25 0 1 0 822122647 143163392 34325 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 34952 34325 180 372 0 34577 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 139808

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28262
/proc/meminfo: memFree=23398568/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=180000 CPUtime=222.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 44859 0 0 0 21855 375 0 0 25 0 1 0 822122647 184320000 44325 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 45000 44325 180 372 0 44625 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 180000

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28263
/proc/meminfo: memFree=23300804/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=218724 CPUtime=282.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 54493 0 0 0 27774 456 0 0 25 0 1 0 822122647 223973376 53959 33554432000 4194304 5714214 140737283475584 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 54681 53959 180 372 0 54306 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 218724

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28265
/proc/meminfo: memFree=23195728/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=262068 CPUtime=342.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 65181 0 0 0 33691 539 0 0 25 0 1 0 822122647 268357632 64647 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 65517 64647 180 372 0 65142 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 262068

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28267
/proc/meminfo: memFree=23090528/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=308052 CPUtime=402.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 76678 0 0 0 39633 597 0 0 25 0 1 0 822122647 315445248 76144 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 77013 76144 180 372 0 76638 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 308052

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28268
/proc/meminfo: memFree=23005180/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=334808 CPUtime=462.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 83325 0 0 0 45578 652 0 0 25 0 1 0 822122647 342843392 82791 33554432000 4194304 5714214 140737283475584 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 83702 82791 180 372 0 83327 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 334808

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28270
/proc/meminfo: memFree=22932856/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=352872 CPUtime=522.3 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 87856 0 0 0 51513 717 0 0 25 0 1 0 822122647 361340928 87322 33554432000 4194304 5714214 140737283475584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 88218 87322 180 372 0 87843 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 352872

[startup+582.301 s]
/proc/loadavg: 2.27 2.06 2.02 3/387 28271
/proc/meminfo: memFree=22852584/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=377404 CPUtime=582.31 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 93865 0 0 0 57461 770 0 0 25 0 1 0 822122647 386461696 93331 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 94351 93331 180 372 0 93976 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 377404

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/387 28278
/proc/meminfo: memFree=22555592/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=470164 CPUtime=822.31 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 116604 0 0 0 81239 992 0 0 25 0 1 0 822122647 481447936 116070 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 117541 116070 180 372 0 117166 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 470164

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 28288
/proc/meminfo: memFree=22466064/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=508876 CPUtime=882.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 126212 0 0 0 87187 1045 0 0 25 0 1 0 822122647 521089024 125678 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 127219 125678 180 372 0 126844 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 508876

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 28290
/proc/meminfo: memFree=22396220/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=526772 CPUtime=942.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 130719 0 0 0 93138 1094 0 0 25 0 1 0 822122647 539414528 130185 33554432000 4194304 5714214 140737283475584 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 131693 130185 180 372 0 131318 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 526772

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28292
/proc/meminfo: memFree=22303188/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=568524 CPUtime=1002.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 141090 0 0 0 99073 1159 0 0 25 0 1 0 822122647 582168576 140556 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 142131 140556 180 372 0 141756 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 568524

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28296
/proc/meminfo: memFree=22246544/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=581212 CPUtime=1062.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 144278 0 0 0 105003 1229 0 0 25 0 1 0 822122647 595161088 143744 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 145303 143744 180 372 0 144928 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 581212

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 28298
/proc/meminfo: memFree=22166616/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=608652 CPUtime=1122.31 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 151325 0 0 0 110945 1286 0 0 25 0 1 0 822122647 623259648 150610 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 152163 150610 180 372 0 151788 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 608652

[startup+1182.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/387 28299
/proc/meminfo: memFree=22096040/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=630780 CPUtime=1182.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 156843 0 0 0 116891 1341 0 0 25 0 1 0 822122647 645918720 156128 33554432000 4194304 5714214 140737283475584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 157695 156128 180 372 0 157320 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 630780

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/387 28301
/proc/meminfo: memFree=22034104/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=642344 CPUtime=1242.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 159697 0 0 0 122837 1395 0 0 25 0 1 0 822122647 657760256 158982 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 160586 158982 180 372 0 160211 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 642344

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28303
/proc/meminfo: memFree=21952468/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=679264 CPUtime=1302.33 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 168884 0 0 0 128793 1440 0 0 25 0 1 0 822122647 695566336 168169 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 169816 168169 180 372 0 169441 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 679264

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28304
/proc/meminfo: memFree=21895276/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=690508 CPUtime=1362.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 171674 0 0 0 134736 1496 0 0 25 0 1 0 822122647 707080192 170959 33554432000 4194304 5714214 140737283475584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 172627 170959 180 372 0 172252 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 690508

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28306
/proc/meminfo: memFree=21817720/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=721280 CPUtime=1422.34 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 179290 0 0 0 140700 1534 0 0 25 0 1 0 822122647 738590720 178575 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 180320 178575 180 372 0 179945 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 721280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28307
/proc/meminfo: memFree=21755692/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=736212 CPUtime=1482.32 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 182925 0 0 0 146651 1581 0 0 25 0 1 0 822122647 753881088 182210 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 184053 182210 180 372 0 183678 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 736212

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28309
/proc/meminfo: memFree=21700448/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=744308 CPUtime=1542.33 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 184938 0 0 0 152591 1642 0 0 25 0 1 0 822122647 762171392 184223 33554432000 4194304 5714214 140737283475584 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 186077 184223 180 372 0 185702 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 744308

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28311
/proc/meminfo: memFree=21630352/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=771296 CPUtime=1602.33 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 191636 0 0 0 158528 1705 0 0 25 0 1 0 822122647 789807104 190921 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 192824 190921 180 372 0 192449 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 771296

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28312
/proc/meminfo: memFree=21545332/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=810968 CPUtime=1662.33 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 201462 0 0 0 164481 1752 0 0 25 0 1 0 822122647 830431232 200747 33554432000 4194304 5714214 140737283475584 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 202742 200747 180 372 0 202367 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 810968

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/387 28314
/proc/meminfo: memFree=21488124/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=821264 CPUtime=1722.33 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 204097 0 0 0 170431 1802 0 0 25 0 1 0 822122647 840974336 203288 33554432000 4194304 5714214 140737283475584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 205316 203288 180 372 0 204941 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 821264

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 28315
/proc/meminfo: memFree=21434120/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=827600 CPUtime=1782.34 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 205607 0 0 0 176361 1873 0 0 25 0 1 0 822122647 847462400 204798 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 206900 204798 180 372 0 206525 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 827600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/387 28316
/proc/meminfo: memFree=21410792/32951124 swapFree=49244120/67111528
[pid=28227] ppid=28225 vsize=836120 CPUtime=1800.05 cores=1,3,5,7
/proc/28227/stat : 28227 (wbo1.6) R 28225 28227 27315 0 -1 4202496 207674 0 0 0 178116 1889 0 0 25 0 1 0 822122647 856186880 206865 33554432000 4194304 5714214 140737283475584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28227/statm: 209030 206865 180 372 0 208655 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 836120

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.1
CPU user time (s): 1781.17
CPU system time (s): 18.9301
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 836120

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

runsolver used 6.65199 second user time and 15.5446 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-03 14:46:39
IDJOB=3460783
IDBENCH=2892
IDSOLVER=1953
FILE ID=node101/3460783-1307105199
RUNJOBID= node101-1307092509-27334
PBS_JOBID= 13497974
Free space on /tmp= 73948 MiB

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

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

MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e
RANDOM SEED=1380838648

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23098900 kB
Buffers:        236696 kB
Cached:         463928 kB
SwapCached:      27120 kB
Active:        9153276 kB
Inactive:       421132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23098900 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            5476 kB
Writeback:           0 kB
AnonPages:     8868912 kB
Mapped:          18584 kB
Slab:           134276 kB
PageTables:      75652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79345996 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= 73944 MiB
End job on node101 at 2011-06-03 15:16:41