Trace number 3460852

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.28 1800.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM99680d01aa100bfba038606e315bf03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1188
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 431
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
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-3460852-1307078068.opb.
0.00/0.00	c Instance file HOME/instance-3460852-1307078068.opb
0.00/0.00	c File size is 17233649 bytes.
1.11/1.15	c Highest Coefficient sum: 101
1.11/1.15	c ============================[ Problem Statistics ]=============================
1.11/1.15	c |                                                                             |
1.11/1.15	c |  Parsing time:          1.12         s                                      |
1.11/1.15	c |  Number Variables:      10000                                               |
1.11/1.15	c |  Number Clauses:        656900                                              |
1.11/1.15	c |  Number Cardinality:    0                                                   |
1.11/1.15	c |  Number PB Constraints: 0                                                   |
1.39/1.43	c ============================[ Search Statistics ]==============================
1.39/1.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.43	c ===============================================================================
1.39/1.43	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
7.71/7.77	c core #1
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.77	c Current CPU time: 1.55076 s
7.71/7.77	c
7.71/7.77	c core #2
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.77	c Current CPU time: 1.68974 s
7.71/7.77	c
7.71/7.77	c core #3
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 3
7.71/7.77	c Current CPU time: 1.83872 s
7.71/7.77	c
7.71/7.77	c core #4
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 4
7.71/7.77	c Current CPU time: 1.9787 s
7.71/7.77	c
7.71/7.77	c core #5
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.77	c Current CPU time: 2.12868 s
7.71/7.77	c
7.71/7.77	c core #6
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 6
7.71/7.77	c Current CPU time: 2.26865 s
7.71/7.77	c
7.71/7.77	c core #7
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 7
7.71/7.77	c Current CPU time: 2.41863 s
7.71/7.77	c
7.71/7.77	c core #8
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 9
7.71/7.77	c Current CPU time: 2.55961 s
7.71/7.77	c
7.71/7.77	c core #9
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 11
7.71/7.77	c Current CPU time: 2.70659 s
7.71/7.77	c
7.71/7.77	c core #10
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 12
7.71/7.77	c Current CPU time: 2.84757 s
7.71/7.77	c
7.71/7.77	c core #11
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 13
7.71/7.77	c Current CPU time: 3.00454 s
7.71/7.77	c
7.71/7.77	c core #12
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 14
7.71/7.77	c Current CPU time: 3.14552 s
7.71/7.77	c
7.71/7.77	c core #13
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 15
7.71/7.77	c Current CPU time: 3.2945 s
7.71/7.77	c
7.71/7.77	c core #14
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.77	c Current CPU time: 3.43548 s
7.71/7.77	c
7.71/7.77	c core #15
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 17
7.71/7.77	c Current CPU time: 3.58545 s
7.71/7.77	c
7.71/7.77	c core #16
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 19
7.71/7.77	c Current CPU time: 3.72643 s
7.71/7.77	c
7.71/7.77	c core #17
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 20
7.71/7.77	c Current CPU time: 3.87541 s
7.71/7.77	c
7.71/7.77	c core #18
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 21
7.71/7.77	c Current CPU time: 4.01639 s
7.71/7.77	c
7.71/7.77	c core #19
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 22
7.71/7.77	c Current CPU time: 4.16737 s
7.71/7.77	c
7.71/7.77	c core #20
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 23
7.71/7.77	c Current CPU time: 4.30934 s
7.71/7.77	c
7.71/7.77	c core #21
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 24
7.71/7.77	c Current CPU time: 4.45832 s
7.71/7.77	c
7.71/7.77	c core #22
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 25
7.71/7.77	c Current CPU time: 4.5993 s
7.71/7.77	c
7.71/7.77	c core #23
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 301	Core Weight: 1	Total Weight: 26
7.71/7.77	c Current CPU time: 4.75128 s
7.71/7.77	c
7.71/7.77	c core #24
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 27
7.71/7.77	c Current CPU time: 4.89426 s
7.71/7.77	c
7.71/7.77	c core #25
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 29
7.71/7.77	c Current CPU time: 5.04323 s
7.71/7.77	c
7.71/7.77	c core #26
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 30
7.71/7.77	c Current CPU time: 5.18621 s
7.71/7.77	c
7.71/7.77	c core #27
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 31
7.71/7.77	c Current CPU time: 5.33719 s
7.71/7.77	c
7.71/7.77	c core #28
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 32
7.71/7.77	c Current CPU time: 5.48117 s
7.71/7.77	c
7.71/7.77	c core #29
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 201	Core Weight: 1	Total Weight: 33
7.71/7.77	c Current CPU time: 5.63014 s
7.71/7.77	c
7.71/7.77	c core #30
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 34
7.71/7.77	c Current CPU time: 5.77312 s
7.71/7.77	c
7.71/7.77	c core #31
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 35
7.71/7.77	c Current CPU time: 5.9241 s
7.71/7.77	c
7.71/7.77	c core #32
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 36
7.71/7.77	c Current CPU time: 6.07208 s
7.71/7.77	c
7.71/7.77	c core #33
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 37
7.71/7.77	c Current CPU time: 6.22105 s
7.71/7.77	c
7.71/7.77	c core #34
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 38
7.71/7.77	c Current CPU time: 6.36503 s
7.71/7.77	c
7.71/7.77	c core #35
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 39
7.71/7.77	c Current CPU time: 6.51701 s
7.71/7.77	c
7.71/7.77	c core #36
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 40
7.71/7.77	c Current CPU time: 6.65999 s
7.71/7.77	c
7.71/7.77	c core #37
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 41
7.71/7.77	c Current CPU time: 6.81096 s
7.71/7.77	c
7.71/7.77	c core #38
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 42
7.71/7.77	c Current CPU time: 6.95394 s
7.71/7.77	c
7.71/7.77	c core #39
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 43
7.71/7.77	c Current CPU time: 7.10692 s
7.71/7.77	c
7.71/7.77	c core #40
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 45
7.71/7.77	c Current CPU time: 7.2509 s
7.71/7.77	c
7.71/7.77	c core #41
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 2	Total Weight: 47
7.71/7.77	c Current CPU time: 7.40587 s
7.71/7.77	c
7.71/7.77	c core #42
7.71/7.77	c 
7.71/7.77	c 
7.71/7.77	c Core size: 101	Core Weight: 1	Total Weight: 48
7.71/7.77	c Current CPU time: 7.54985 s
7.71/7.77	c
7.71/7.77	c core #43
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 49
13.90/13.94	c Current CPU time: 7.70683 s
13.90/13.94	c
13.90/13.94	c core #44
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 50
13.90/13.94	c Current CPU time: 7.85281 s
13.90/13.94	c
13.90/13.94	c core #45
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 701	Core Weight: 1	Total Weight: 51
13.90/13.94	c Current CPU time: 8.00678 s
13.90/13.94	c
13.90/13.94	c core #46
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 52
13.90/13.94	c Current CPU time: 8.15076 s
13.90/13.94	c
13.90/13.94	c core #47
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 53
13.90/13.94	c Current CPU time: 8.30374 s
13.90/13.94	c
13.90/13.94	c core #48
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 54
13.90/13.94	c Current CPU time: 8.44871 s
13.90/13.94	c
13.90/13.94	c core #49
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 55
13.90/13.94	c Current CPU time: 8.60469 s
13.90/13.94	c
13.90/13.94	c core #50
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 56
13.90/13.94	c Current CPU time: 8.74967 s
13.90/13.94	c
13.90/13.94	c core #51
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 57
13.90/13.94	c Current CPU time: 8.90165 s
13.90/13.94	c
13.90/13.94	c core #52
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 58
13.90/13.94	c Current CPU time: 9.04762 s
13.90/13.94	c
13.90/13.94	c core #53
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 59
13.90/13.94	c Current CPU time: 9.1986 s
13.90/13.94	c
13.90/13.94	c core #54
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 60
13.90/13.94	c Current CPU time: 9.34258 s
13.90/13.94	c
13.90/13.94	c core #55
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 61
13.90/13.94	c Current CPU time: 9.49556 s
13.90/13.94	c
13.90/13.94	c core #56
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 62
13.90/13.94	c Current CPU time: 9.64053 s
13.90/13.94	c
13.90/13.94	c core #57
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 63
13.90/13.94	c Current CPU time: 9.79151 s
13.90/13.94	c
13.90/13.94	c core #58
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 701	Core Weight: 1	Total Weight: 64
13.90/13.94	c Current CPU time: 9.93949 s
13.90/13.94	c
13.90/13.94	c core #59
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 65
13.90/13.94	c Current CPU time: 10.0925 s
13.90/13.94	c
13.90/13.94	c core #60
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 66
13.90/13.94	c Current CPU time: 10.2374 s
13.90/13.94	c
13.90/13.94	c core #61
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 67
13.90/13.94	c Current CPU time: 10.3894 s
13.90/13.94	c
13.90/13.94	c core #62
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 68
13.90/13.94	c Current CPU time: 10.5344 s
13.90/13.94	c
13.90/13.94	c core #63
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 2	Total Weight: 70
13.90/13.94	c Current CPU time: 10.6884 s
13.90/13.94	c
13.90/13.94	c core #64
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 71
13.90/13.94	c Current CPU time: 10.8344 s
13.90/13.94	c
13.90/13.94	c core #65
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 72
13.90/13.94	c Current CPU time: 10.9883 s
13.90/13.94	c
13.90/13.94	c core #66
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 73
13.90/13.94	c Current CPU time: 11.1353 s
13.90/13.94	c
13.90/13.94	c core #67
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 3	Total Weight: 76
13.90/13.94	c Current CPU time: 11.2883 s
13.90/13.94	c
13.90/13.94	c core #68
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 301	Core Weight: 1	Total Weight: 77
13.90/13.94	c Current CPU time: 11.4343 s
13.90/13.94	c
13.90/13.94	c core #69
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 78
13.90/13.94	c Current CPU time: 11.5872 s
13.90/13.94	c
13.90/13.94	c core #70
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 79
13.90/13.94	c Current CPU time: 11.7332 s
13.90/13.94	c
13.90/13.94	c core #71
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 80
13.90/13.94	c Current CPU time: 11.8872 s
13.90/13.94	c
13.90/13.94	c core #72
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 81
13.90/13.94	c Current CPU time: 12.0332 s
13.90/13.94	c
13.90/13.94	c core #73
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 82
13.90/13.94	c Current CPU time: 12.1861 s
13.90/13.94	c
13.90/13.94	c core #74
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 201	Core Weight: 2	Total Weight: 84
13.90/13.94	c Current CPU time: 12.3341 s
13.90/13.94	c
13.90/13.94	c core #75
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 85
13.90/13.94	c Current CPU time: 12.4871 s
13.90/13.94	c
13.90/13.94	c core #76
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 86
13.90/13.94	c Current CPU time: 12.6361 s
13.90/13.94	c
13.90/13.94	c core #77
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 87
13.90/13.94	c Current CPU time: 12.7891 s
13.90/13.94	c
13.90/13.94	c core #78
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 88
13.90/13.94	c Current CPU time: 12.935 s
13.90/13.94	c
13.90/13.94	c core #79
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 89
13.90/13.94	c Current CPU time: 13.089 s
13.90/13.94	c
13.90/13.94	c core #80
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 90
13.90/13.94	c Current CPU time: 13.24 s
13.90/13.94	c
13.90/13.94	c core #81
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 91
13.90/13.94	c Current CPU time: 13.394 s
13.90/13.94	c
13.90/13.94	c core #82
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 1	Total Weight: 92
13.90/13.94	c Current CPU time: 13.5429 s
13.90/13.94	c
13.90/13.94	c core #83
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 101	Core Weight: 6	Total Weight: 98
13.90/13.94	c Current CPU time: 13.6989 s
13.90/13.94	c
13.90/13.94	c core #84
13.90/13.94	c 
13.90/13.94	c 
13.90/13.94	c Core size: 3001	Core Weight: 1	Total Weight: 99
13.90/13.94	c Current CPU time: 13.8729 s
18.99/19.06	c
18.99/19.06	c core #85
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 100
18.99/19.06	c Current CPU time: 14.0319 s
18.99/19.06	c
18.99/19.06	c core #86
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 101
18.99/19.06	c Current CPU time: 14.1808 s
18.99/19.06	c
18.99/19.06	c core #87
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 102
18.99/19.06	c Current CPU time: 14.3388 s
18.99/19.06	c
18.99/19.06	c core #88
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 103
18.99/19.06	c Current CPU time: 14.4888 s
18.99/19.06	c
18.99/19.06	c core #89
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 104
18.99/19.06	c Current CPU time: 14.6478 s
18.99/19.06	c
18.99/19.06	c core #90
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 2	Total Weight: 106
18.99/19.06	c Current CPU time: 14.7978 s
18.99/19.06	c
18.99/19.06	c core #91
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 107
18.99/19.06	c Current CPU time: 14.9567 s
18.99/19.06	c
18.99/19.06	c core #92
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 108
18.99/19.06	c Current CPU time: 15.1067 s
18.99/19.06	c
18.99/19.06	c core #93
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 109
18.99/19.06	c Current CPU time: 15.2647 s
18.99/19.06	c
18.99/19.06	c core #94
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 110
18.99/19.06	c Current CPU time: 15.4147 s
18.99/19.06	c
18.99/19.06	c core #95
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 111
18.99/19.06	c Current CPU time: 15.5746 s
18.99/19.06	c
18.99/19.06	c core #96
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 112
18.99/19.06	c Current CPU time: 15.7246 s
18.99/19.06	c
18.99/19.06	c core #97
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 2	Total Weight: 114
18.99/19.06	c Current CPU time: 15.8836 s
18.99/19.06	c
18.99/19.06	c core #98
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 115
18.99/19.06	c Current CPU time: 16.0346 s
18.99/19.06	c
18.99/19.06	c core #99
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 3	Total Weight: 118
18.99/19.06	c Current CPU time: 16.1935 s
18.99/19.06	c
18.99/19.06	c core #100
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 119
18.99/19.06	c Current CPU time: 16.3435 s
18.99/19.06	c
18.99/19.06	c core #101
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 120
18.99/19.06	c Current CPU time: 16.5005 s
18.99/19.06	c
18.99/19.06	c core #102
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 121
18.99/19.06	c Current CPU time: 16.6595 s
18.99/19.06	c
18.99/19.06	c core #103
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 122
18.99/19.06	c Current CPU time: 16.8184 s
18.99/19.06	c
18.99/19.06	c core #104
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 123
18.99/19.06	c Current CPU time: 16.9744 s
18.99/19.06	c
18.99/19.06	c core #105
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 124
18.99/19.06	c Current CPU time: 17.1324 s
18.99/19.06	c
18.99/19.06	c core #106
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 125
18.99/19.06	c Current CPU time: 17.2834 s
18.99/19.06	c
18.99/19.06	c core #107
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 126
18.99/19.06	c Current CPU time: 17.4443 s
18.99/19.06	c
18.99/19.06	c core #108
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 2774	Core Weight: 1	Total Weight: 127
18.99/19.06	c Current CPU time: 17.6173 s
18.99/19.06	c
18.99/19.06	c core #109
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 3233	Core Weight: 1	Total Weight: 128
18.99/19.06	c Current CPU time: 17.8073 s
18.99/19.06	c
18.99/19.06	c core #110
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 101	Core Weight: 1	Total Weight: 129
18.99/19.06	c Current CPU time: 17.9753 s
18.99/19.06	c
18.99/19.06	c core #111
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 2084	Core Weight: 1	Total Weight: 130
18.99/19.06	c Current CPU time: 18.1532 s
18.99/19.06	c
18.99/19.06	c core #112
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 693	Core Weight: 1	Total Weight: 131
18.99/19.06	c Current CPU time: 18.3152 s
18.99/19.06	c
18.99/19.06	c core #113
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 1265	Core Weight: 1	Total Weight: 132
18.99/19.06	c Current CPU time: 18.4852 s
18.99/19.06	c
18.99/19.06	c core #114
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 301	Core Weight: 1	Total Weight: 133
18.99/19.06	c Current CPU time: 18.6502 s
18.99/19.06	c
18.99/19.06	c core #115
18.99/19.06	c 
18.99/19.06	c 
18.99/19.06	c Core size: 399	Core Weight: 1	Total Weight: 134
18.99/19.06	c Current CPU time: 18.8231 s
18.99/19.06	c
18.99/19.06	c ============================[ Search Statistics ]==============================
18.99/19.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.99/19.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.99/19.06	c ===============================================================================
18.99/19.06	c |         0 |   25979   692476    49130 |   230825        0   -nan |  0.000 % |
18.99/19.06	c ===============================================================================
19.19/19.23	c core #116
19.19/19.23	c 
19.19/19.23	c 
19.19/19.23	c Core size: 790	Core Weight: 1	Total Weight: 135
19.19/19.23	c Current CPU time: 18.9901 s
19.19/19.23	c
19.19/19.23	c ============================[ Search Statistics ]==============================
19.19/19.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.19/19.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.19/19.23	c ===============================================================================
19.19/19.23	c |         0 |   26872   693237    50202 |   231079        0   -nan |  0.000 % |
19.19/19.24	c ===============================================================================
19.39/19.41	c core #117
19.39/19.41	c 
19.39/19.41	c 
19.39/19.41	c Core size: 884	Core Weight: 1	Total Weight: 136
19.39/19.41	c Current CPU time: 19.1711 s
19.39/19.41	c
19.39/19.41	c ============================[ Search Statistics ]==============================
19.39/19.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.39/19.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.39/19.41	c ===============================================================================
19.39/19.41	c |         0 |   27867   694082    51404 |   231360        0   -nan |  0.000 % |
19.39/19.43	c ===============================================================================
19.59/19.60	c core #118
19.59/19.60	c 
19.59/19.60	c 
19.59/19.60	c Core size: 1539	Core Weight: 1	Total Weight: 137
19.59/19.60	c Current CPU time: 19.3551 s
19.59/19.60	c
19.59/19.60	c ============================[ Search Statistics ]==============================
19.59/19.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.59/19.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.59/19.60	c ===============================================================================
19.59/19.60	c |         0 |   29421   695557    53385 |   231852        0   -nan |  0.000 % |
19.59/19.61	c ===============================================================================
19.70/19.78	c core #119
19.70/19.78	c 
19.70/19.78	c 
19.70/19.78	c Core size: 1085	Core Weight: 1	Total Weight: 138
19.70/19.78	c Current CPU time: 19.539 s
19.70/19.78	c
19.70/19.78	c ============================[ Search Statistics ]==============================
19.70/19.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.70/19.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.70/19.78	c ===============================================================================
19.70/19.78	c |         0 |   30618   696591    55028 |   232197        0   -nan |  0.000 % |
19.89/19.98	c ===============================================================================
20.09/20.17	c core #120
20.09/20.17	c 
20.09/20.17	c 
20.09/20.17	c Core size: 4499	Core Weight: 1	Total Weight: 139
20.09/20.17	c Current CPU time: 19.913 s
20.09/20.17	c
20.09/20.17	c ============================[ Search Statistics ]==============================
20.09/20.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.09/20.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.09/20.17	c ===============================================================================
20.09/20.17	c |         0 |   35147   700794    60822 |   233598        0   -nan |  0.000 % |
20.19/20.25	c |       109 |   35145   700794    60822 |   256957      109   1892 | 21.265 % |
20.69/20.70	c ===============================================================================
20.80/20.89	c core #121
20.80/20.89	c 
20.80/20.89	c 
20.80/20.89	c Core size: 6229	Core Weight: 1	Total Weight: 140
20.80/20.89	c Current CPU time: 20.6319 s
20.80/20.89	c
20.80/20.89	c ============================[ Search Statistics ]==============================
20.80/20.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.80/20.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.80/20.89	c ===============================================================================
20.80/20.89	c |         0 |   41398   706629    68806 |   235543        0   -nan |  0.000 % |
20.91/20.94	c |       100 |   41398   706629    68806 |   259097      100    692 | 18.559 % |
20.99/21.04	c |       250 |   41398   706629    68806 |   285007      250   1046 | 18.559 % |
21.09/21.15	c |       475 |   41386   706629    68806 |   313507      475   1120 | 18.793 % |
22.39/22.46	c ===============================================================================
22.59/22.66	c core #122
22.59/22.66	c 
22.59/22.66	c 
22.59/22.66	c Core size: 9009	Core Weight: 1	Total Weight: 141
22.59/22.66	c Current CPU time: 22.3846 s
22.59/22.66	c
22.59/22.66	c ============================[ Search Statistics ]==============================
22.59/22.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.59/22.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.59/22.66	c ===============================================================================
22.59/22.66	c |         0 |   50471   714988    80393 |   238329        0   -nan |  0.000 % |
22.69/22.76	c |       100 |   50471   714988    80393 |   262162      100    797 | 15.637 % |
22.89/22.94	c |       250 |   50471   714988    80393 |   288378      250   1139 | 15.637 % |
23.19/23.24	c |       476 |   50471   714988    80393 |   317216      476   1399 | 15.637 % |
23.49/23.52	c |       813 |   50471   714988    80393 |   348937      813   1031 | 15.637 % |
24.10/24.15	c |      1322 |   50471   714988    80393 |   383831     1322   1274 | 15.637 % |
24.99/25.03	c |      2082 |   50471   714988    80393 |   422214     2082   1379 | 15.637 % |
26.09/26.17	c |      3222 |   50471   714988    80393 |   464436     3222   1389 | 15.637 % |
28.19/28.21	c |      4932 |   50471   714988    80393 |   510880     4932   1862 | 15.637 % |
31.09/31.10	c |      7494 |   50471   714988    80393 |   561968     7494   1884 | 15.637 % |
36.39/36.43	c |     11341 |   50454   714988    80393 |   618164    11341   2382 | 15.665 % |
49.40/49.44	c |     17107 |   50454   714988    80393 |   679981    17107   3297 | 15.665 % |
75.50/75.51	c |     25757 |   50130   714988    80393 |   747979    25757   3953 | 16.207 % |
82.89/82.96	c ===============================================================================
83.29/83.32	c core #123
83.29/83.32	c 
83.29/83.32	c 
83.29/83.32	c Core size: 11018	Core Weight: 1	Total Weight: 142
83.29/83.32	c Current CPU time: 82.8524 s
83.29/83.32	c
83.29/83.32	c ============================[ Search Statistics ]==============================
83.29/83.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.29/83.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.29/83.32	c ===============================================================================
83.29/83.32	c |         0 |   61543   724273    96046 |   241424        0   -nan |  0.000 % |
83.40/83.41	c |       100 |   61543   724273    96046 |   265566      100   2524 | 13.077 % |
83.51/83.60	c |       250 |   61543   724273    96046 |   292123      250   1961 | 13.077 % |
83.90/83.94	c |       480 |   61543   724273    96046 |   321335      480   1449 | 13.077 % |
84.30/84.31	c |       819 |   61543   724273    96046 |   353469      819   1236 | 13.077 % |
84.80/84.86	c |      1325 |   61543   724273    96046 |   388816     1325   1098 | 13.077 % |
85.71/85.80	c |      2084 |   61543   724273    96046 |   427697     2084   1062 | 13.077 % |
87.09/87.18	c |      3224 |   61543   724273    96046 |   470467     3224   1053 | 13.077 % |
89.39/89.45	c |      4933 |   61543   724273    96046 |   517514     4933   1037 | 13.077 % |
93.00/93.04	c |      7497 |   61543   724273    96046 |   569265     7497   1163 | 13.077 % |
97.91/97.95	c |     11341 |   61543   724273    96046 |   626192    11341   1455 | 13.077 % |
108.81/108.85	c |     17107 |   61543   724273    96046 |   688811    17107   1822 | 13.077 % |
123.00/123.11	c |     25757 |   61543   724273    96046 |   757692    25757   2111 | 13.077 % |
151.60/151.69	c |     38731 |   61543   724273    96046 |   833462    38731   2479 | 13.077 % |
210.99/211.07	c |     58193 |   61543   724273    96046 |   916808    58193   2785 | 13.077 % |
296.60/296.69	c |     87388 |   61543   724273    96046 |  1008489    87388   2837 | 13.077 % |
469.21/469.26	c |    131177 |   61542   724273    96046 |  1109338   131177   3045 | 13.079 % |
836.12/836.13	c |    196867 |   61541   724273    96046 |  1220272   196867   3321 | 13.080 % |
1421.15/1421.18	c |    295400 |   61541   724273    96046 |  1342299   295400   3566 | 13.080 % |

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-3460852-1307078068/watcher-3460852-1307078068 -o /tmp/evaluation-result-3460852-1307078068/solver-3460852-1307078068 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460852-1307078068.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.04 2.03 2.00 2/443 12414
/proc/meminfo: memFree=29070216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=21456 CPUtime=0 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 871 0 0 0 0 0 0 0 24 0 1 0 898037507 21970944 825 33554432000 4194304 5714214 140735300990624 18446744073709551615 4233391 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 5364 825 189 372 0 781 0

[startup+0.017566 s]
/proc/loadavg: 2.04 2.03 2.00 2/443 12414
/proc/meminfo: memFree=29070216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=21756 CPUtime=0.01 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 990 0 0 0 1 0 0 0 24 0 1 0 898037507 22278144 944 33554432000 4194304 5714214 140735300990624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 5439 945 217 372 0 856 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21756

[startup+0.100516 s]
/proc/loadavg: 2.04 2.03 2.00 2/443 12414
/proc/meminfo: memFree=29070216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=25948 CPUtime=0.09 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 2349 0 0 0 9 0 0 0 24 0 1 0 898037507 26570752 2270 33554432000 4194304 5714214 140735300990624 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 6487 2271 527 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.300484 s]
/proc/loadavg: 2.04 2.03 2.00 2/443 12414
/proc/meminfo: memFree=29070216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=36040 CPUtime=0.29 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 5677 0 0 0 29 0 0 0 25 0 1 0 898037507 36904960 5404 33554432000 4194304 5714214 140735300990624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 9010 5404 1259 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700408 s]
/proc/loadavg: 2.04 2.03 2.00 2/443 12414
/proc/meminfo: memFree=29070216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=54796 CPUtime=0.69 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 12017 0 0 0 68 1 0 0 25 0 1 0 898037507 56111104 11487 33554432000 4194304 5714214 140735300990624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 13699 11488 2732 372 0 9116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54796

[startup+1.50025 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12415
/proc/meminfo: memFree=29020856/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=160652 CPUtime=1.49 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 44592 0 0 0 144 5 0 0 18 0 1 0 898037507 164507648 39341 33554432000 4194304 5714214 140735300990624 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 40163 39347 172 372 0 39788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160652

[startup+3.10095 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12415
/proc/meminfo: memFree=28896608/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=178336 CPUtime=3.09 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 50960 0 0 0 303 6 0 0 20 0 1 0 898037507 182616064 42964 33554432000 4194304 5714214 140735300990624 18446744073709551615 4968766 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178336

[startup+6.30035 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12415
/proc/meminfo: memFree=28895476/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=178336 CPUtime=6.29 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 50968 0 0 0 623 6 0 0 25 0 1 0 898037507 182616064 42972 33554432000 4194304 5714214 140735300990624 18446744073709551615 4337054 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 44584 42972 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7012 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12443
/proc/meminfo: memFree=29617960/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=178336 CPUtime=12.69 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 50986 0 0 0 1263 6 0 0 25 0 1 0 898037507 182616064 42990 33554432000 4194304 5714214 140735300990624 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 44584 42990 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5007 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12444
/proc/meminfo: memFree=29587412/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=201580 CPUtime=25.49 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 59893 0 0 0 2540 9 0 0 24 0 1 0 898037507 206417920 49147 33554432000 4194304 5714214 140735300990624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 50395 49147 180 372 0 50020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 201580

[startup+51.1009 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12444
/proc/meminfo: memFree=29300380/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=404360 CPUtime=51.09 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 110600 0 0 0 5092 17 0 0 25 0 1 0 898037507 414064640 99854 33554432000 4194304 5714214 140735300990624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 101090 99854 180 372 0 100715 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 404360

[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12446
/proc/meminfo: memFree=28973124/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=662888 CPUtime=102.31 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 174047 0 0 0 10203 28 0 0 25 0 1 0 898037507 678797312 163301 33554432000 4194304 5714214 140735300990624 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 165722 163301 180 372 0 165347 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 662888

[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/444 12447
/proc/meminfo: memFree=28702216/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=662888 CPUtime=162.3 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 174704 0 0 0 16197 33 0 0 25 0 1 0 898037507 678797312 163958 33554432000 4194304 5714214 140735300990624 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 165722 163958 180 372 0 165347 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 662888

[startup+222.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/444 12449
/proc/meminfo: memFree=28250440/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=845316 CPUtime=222.3 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 220255 0 0 0 22185 45 0 0 25 0 1 0 898037507 865603584 209509 33554432000 4194304 5714214 140735300990624 18446744073709551615 4323052 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 211329 209509 180 372 0 210954 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 845316

[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/444 12450
/proc/meminfo: memFree=27747824/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=1090172 CPUtime=282.3 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 281486 0 0 0 28174 56 0 0 25 0 1 0 898037507 1116336128 270740 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 272543 270740 180 372 0 272168 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1090172

[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/444 12452
/proc/meminfo: memFree=27320344/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=1292392 CPUtime=342.3 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 331987 0 0 0 34164 66 0 0 25 0 1 0 898037507 1323409408 321241 33554432000 4194304 5714214 140735300990624 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 323098 321241 180 372 0 322723 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1292392

[startup+402.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 12454
/proc/meminfo: memFree=26906636/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=1503852 CPUtime=402.3 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 384856 0 0 0 40152 78 0 0 25 0 1 0 898037507 1539944448 374110 33554432000 4194304 5714214 140735300990624 18446744073709551615 4310899 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 375963 374110 180 372 0 375588 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1503852

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12455
/proc/meminfo: memFree=26436244/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=1735068 CPUtime=462.31 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 442667 0 0 0 46143 88 0 0 25 0 1 0 898037507 1776709632 431921 33554432000 4194304 5714214 140735300990624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 433767 431921 180 372 0 433392 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1735068

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12457
/proc/meminfo: memFree=26039644/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=1916564 CPUtime=522.31 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 487872 0 0 0 52133 98 0 0 25 0 1 0 898037507 1962561536 477126 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 479141 477126 180 372 0 478766 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1916564

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12458
/proc/meminfo: memFree=25594568/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=2100740 CPUtime=582.31 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 533842 0 0 0 58125 106 0 0 25 0 1 0 898037507 2151157760 523096 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 525185 523096 180 372 0 524810 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2100740

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/444 12467
/proc/meminfo: memFree=23805580/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=2868376 CPUtime=882.32 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 725647 0 0 0 88086 146 0 0 25 0 1 0 898037507 2937217024 714901 33554432000 4194304 5714214 140735300990624 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 717094 714901 180 372 0 716719 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2868376

[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 12468
/proc/meminfo: memFree=23438980/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3075512 CPUtime=942.33 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 777194 0 0 0 94076 157 0 0 25 0 1 0 898037507 3149324288 766448 33554432000 4194304 5714214 140735300990624 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 768878 766448 180 372 0 768503 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 3075512

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12470
/proc/meminfo: memFree=23053652/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3271888 CPUtime=1002.32 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 826322 0 0 0 100067 165 0 0 25 0 1 0 898037507 3350413312 815576 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 817972 815576 180 372 0 817597 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3271888

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12471
/proc/meminfo: memFree=22702424/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3469860 CPUtime=1062.33 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 875811 0 0 0 106058 175 0 0 25 0 1 0 898037507 3553136640 865065 33554432000 4194304 5714214 140735300990624 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 867465 865065 180 372 0 867090 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3469860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12473
/proc/meminfo: memFree=22330128/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3656508 CPUtime=1122.33 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 922474 0 0 0 112049 184 0 0 25 0 1 0 898037507 3744264192 911728 33554432000 4194304 5714214 140735300990624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 914127 911728 180 372 0 913752 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3656508

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12474
/proc/meminfo: memFree=22016992/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3805292 CPUtime=1182.33 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 959633 0 0 0 118040 193 0 0 25 0 1 0 898037507 3896619008 948887 33554432000 4194304 5714214 140735300990624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 951323 948887 180 372 0 950948 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3805292

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/444 12476
/proc/meminfo: memFree=21703236/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=3959376 CPUtime=1242.33 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 998156 0 0 0 124033 200 0 0 25 0 1 0 898037507 4054401024 987410 33554432000 4194304 5714214 140735300990624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 989844 987410 180 372 0 989469 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3959376

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 12478
/proc/meminfo: memFree=21428156/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4094112 CPUtime=1302.35 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1031843 0 0 0 130026 209 0 0 25 0 1 0 898037507 4192370688 1021097 33554432000 4194304 5714214 140735300990624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1023528 1021097 180 372 0 1023153 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 4094112

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12479
/proc/meminfo: memFree=21125400/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4238696 CPUtime=1362.34 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1068012 0 0 0 136016 218 0 0 25 0 1 0 898037507 4340424704 1057266 33554432000 4194304 5714214 140735300990624 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1059674 1057266 180 372 0 1059299 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 4238696

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/444 12481
/proc/meminfo: memFree=20891240/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4355088 CPUtime=1422.36 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1097112 0 0 0 142011 225 0 0 25 0 1 0 898037507 4459610112 1086366 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1088772 1086366 180 372 0 1088397 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 4355088

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 12485
/proc/meminfo: memFree=20608324/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4502164 CPUtime=1482.35 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1133853 0 0 0 148001 234 0 0 25 0 1 0 898037507 4610215936 1123107 33554432000 4194304 5714214 140735300990624 18446744073709551615 4322907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1125541 1123107 180 372 0 1125166 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 4502164

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12487
/proc/meminfo: memFree=20297832/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4651960 CPUtime=1542.34 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1171006 0 0 0 153994 240 0 0 25 0 1 0 898037507 4763607040 1160260 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1162990 1160260 180 372 0 1162615 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 4651960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12489
/proc/meminfo: memFree=20037508/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4776856 CPUtime=1602.35 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1202232 0 0 0 159990 245 0 0 25 0 1 0 898037507 4891500544 1191486 33554432000 4194304 5714214 140735300990624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1194214 1191486 180 372 0 1193839 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 4776856

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12490
/proc/meminfo: memFree=19777808/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=4900088 CPUtime=1662.35 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1232999 0 0 0 165984 251 0 0 25 0 1 0 898037507 5017690112 1222253 33554432000 4194304 5714214 140735300990624 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1225022 1222253 180 372 0 1224647 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 4900088

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12492
/proc/meminfo: memFree=19525292/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=5024424 CPUtime=1722.35 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1264107 0 0 0 171979 256 0 0 25 0 1 0 898037507 5145010176 1253361 33554432000 4194304 5714214 140735300990624 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1256106 1253361 180 372 0 1255731 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 5024424

[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/444 12494
/proc/meminfo: memFree=19195168/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=5159416 CPUtime=1782.36 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1297807 0 0 0 177973 263 0 0 25 0 1 0 898037507 5283241984 1287061 33554432000 4194304 5714214 140735300990624 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1289854 1287061 180 372 0 1289479 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 5159416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.09 2.03 2.01 3/444 12494
/proc/meminfo: memFree=19098552/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=5183636 CPUtime=1800.06 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4202496 1303838 0 0 0 179742 264 0 0 25 0 1 0 898037507 5308043264 1293092 33554432000 4194304 5714214 140735300990624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12414/statm: 1295909 1293092 180 372 0 1295534 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 5183636

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

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

[startup+1800.2 s]
/proc/loadavg: 2.09 2.03 2.01 3/444 12494
/proc/meminfo: memFree=19098552/32950928 swapFree=52246700/67111528
[pid=12414] ppid=12412 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/12414/stat : 12414 (wbo1.6) R 12412 12414 9824 0 -1 4203524 1303838 0 0 0 179743 282 0 0 25 0 1 0 898037507 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/12414/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.22
CPU time (s): 1800.28
CPU user time (s): 1797.44
CPU system time (s): 2.84657
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 5183636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 2.84657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1303838
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= 9
involuntary context switches= 1031

runsolver used 8.17976 second user time and 16.8364 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 07:14:28
IDJOB=3460852
IDBENCH=1976
IDSOLVER=1953
FILE ID=node114/3460852-1307078068
RUNJOBID= node114-1307068244-11007
PBS_JOBID= 13497874
Free space on /tmp= 73908 MiB

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

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

MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d
RANDOM SEED=633825387

node114.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.848
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.69
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.848
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.15
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.848
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.74
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.848
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.73
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.848
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.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      29070496 kB
Buffers:        256820 kB
Cached:         403108 kB
SwapCached:      10660 kB
Active:        3216656 kB
Inactive:       391884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29070496 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           21016 kB
Writeback:           0 kB
AnonPages:     2945680 kB
Mapped:          21956 kB
Slab:           140176 kB
PageTables:      64460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 109105040 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= 73888 MiB
End job on node114 at 2011-06-03 07:44:30