Trace number 1875641

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1354.2 1354.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUM2fd45123d8e20b24379108257151f007
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5450
Best CPU time to get the best result obtained on this benchmark1635.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 414
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 488873
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 488873
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875641-1245142806.opb.
0.00/0.00	c Instance file HOME/instance-1875641-1245142806.opb
0.00/0.00	c File size is 17233614 bytes.
2.19/2.24	c Highest Coefficient sum: 101
2.19/2.25	c ============================[ Problem Statistics ]=============================
2.19/2.25	c |                                                                             |
2.19/2.25	c |  Parsing time:          2.21         s                                      |
2.19/2.25	c |  Number Variables:      10000                                               |
2.19/2.25	c |  Number Clauses:        666900                                              |
2.19/2.25	c |  Number Cardinality:    0                                                   |
2.19/2.25	c |  Number PB Constraints: 0                                                   |
2.19/2.25	c core #1
2.19/2.25	c Core size: 101	Core Weight: 1	Total Weight: 1
2.19/2.25	c Elapsed CPU time: 2.20766 s	Remaining CPU time: 1797.79 s
2.49/2.57	c core #2
2.49/2.57	c Core size: 101	Core Weight: 1	Total Weight: 2
2.49/2.57	c Elapsed CPU time: 2.49462 s	Remaining CPU time: 1797.51 s
2.79/2.87	c core #3
2.79/2.87	c Core size: 101	Core Weight: 2	Total Weight: 4
2.79/2.87	c Elapsed CPU time: 2.79857 s	Remaining CPU time: 1797.2 s
3.09/3.18	c core #4
3.09/3.18	c Core size: 101	Core Weight: 1	Total Weight: 5
3.09/3.18	c Elapsed CPU time: 3.11253 s	Remaining CPU time: 1796.89 s
3.39/3.49	c core #5
3.39/3.49	c Core size: 101	Core Weight: 1	Total Weight: 6
3.39/3.49	c Elapsed CPU time: 3.41448 s	Remaining CPU time: 1796.59 s
3.78/3.82	c core #6
3.78/3.82	c Core size: 101	Core Weight: 1	Total Weight: 7
3.78/3.82	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
4.09/4.15	c core #7
4.09/4.15	c Core size: 101	Core Weight: 1	Total Weight: 8
4.09/4.15	c Elapsed CPU time: 4.06538 s	Remaining CPU time: 1795.93 s
4.39/4.48	c core #8
4.39/4.48	c Core size: 101	Core Weight: 1	Total Weight: 9
4.39/4.48	c Elapsed CPU time: 4.39333 s	Remaining CPU time: 1795.61 s
4.78/4.80	c core #9
4.78/4.80	c Core size: 101	Core Weight: 1	Total Weight: 10
4.78/4.80	c Elapsed CPU time: 4.71528 s	Remaining CPU time: 1795.28 s
5.08/5.11	c core #10
5.08/5.11	c Core size: 101	Core Weight: 1	Total Weight: 11
5.08/5.11	c Elapsed CPU time: 5.02124 s	Remaining CPU time: 1794.98 s
5.39/5.45	c core #11
5.39/5.45	c Core size: 101	Core Weight: 1	Total Weight: 12
5.39/5.45	c Elapsed CPU time: 5.35518 s	Remaining CPU time: 1794.64 s
5.68/5.78	c core #12
5.68/5.78	c Core size: 101	Core Weight: 1	Total Weight: 13
5.68/5.78	c Elapsed CPU time: 5.68713 s	Remaining CPU time: 1794.31 s
6.08/6.10	c core #13
6.08/6.10	c Core size: 101	Core Weight: 1	Total Weight: 14
6.08/6.10	c Elapsed CPU time: 6.00609 s	Remaining CPU time: 1793.99 s
6.38/6.40	c core #14
6.38/6.40	c Core size: 101	Core Weight: 1	Total Weight: 15
6.38/6.40	c Elapsed CPU time: 6.31104 s	Remaining CPU time: 1793.69 s
6.68/6.70	c core #15
6.68/6.70	c Core size: 101	Core Weight: 1	Total Weight: 16
6.68/6.70	c Elapsed CPU time: 6.61399 s	Remaining CPU time: 1793.39 s
6.98/7.01	c core #16
6.98/7.01	c Core size: 201	Core Weight: 1	Total Weight: 17
6.98/7.01	c Elapsed CPU time: 6.92395 s	Remaining CPU time: 1793.08 s
7.28/7.32	c core #17
7.28/7.32	c Core size: 101	Core Weight: 1	Total Weight: 18
7.28/7.32	c Elapsed CPU time: 7.2299 s	Remaining CPU time: 1792.77 s
7.58/7.63	c core #18
7.58/7.63	c Core size: 101	Core Weight: 2	Total Weight: 20
7.58/7.63	c Elapsed CPU time: 7.54285 s	Remaining CPU time: 1792.46 s
7.88/7.94	c core #19
7.88/7.94	c Core size: 101	Core Weight: 3	Total Weight: 23
7.88/7.94	c Elapsed CPU time: 7.84681 s	Remaining CPU time: 1792.15 s
8.18/8.25	c core #20
8.18/8.25	c Core size: 101	Core Weight: 1	Total Weight: 24
8.18/8.25	c Elapsed CPU time: 8.15776 s	Remaining CPU time: 1791.84 s
8.48/8.55	c core #21
8.48/8.55	c Core size: 101	Core Weight: 1	Total Weight: 25
8.48/8.55	c Elapsed CPU time: 8.45571 s	Remaining CPU time: 1791.54 s
8.78/8.85	c core #22
8.78/8.85	c Core size: 101	Core Weight: 1	Total Weight: 26
8.78/8.85	c Elapsed CPU time: 8.75967 s	Remaining CPU time: 1791.24 s
9.08/9.18	c core #23
9.08/9.18	c Core size: 101	Core Weight: 1	Total Weight: 27
9.08/9.18	c Elapsed CPU time: 9.08362 s	Remaining CPU time: 1790.92 s
9.38/9.48	c core #24
9.38/9.48	c Core size: 101	Core Weight: 1	Total Weight: 28
9.38/9.48	c Elapsed CPU time: 9.38657 s	Remaining CPU time: 1790.61 s
9.68/9.78	c core #25
9.68/9.78	c Core size: 101	Core Weight: 1	Total Weight: 29
9.68/9.78	c Elapsed CPU time: 9.68753 s	Remaining CPU time: 1790.31 s
9.98/10.09	c core #26
9.98/10.09	c Core size: 101	Core Weight: 1	Total Weight: 30
9.98/10.09	c Elapsed CPU time: 9.99248 s	Remaining CPU time: 1790.01 s
10.28/10.39	c core #27
10.28/10.39	c Core size: 101	Core Weight: 2	Total Weight: 32
10.28/10.39	c Elapsed CPU time: 10.2964 s	Remaining CPU time: 1789.7 s
10.68/10.70	c core #28
10.68/10.70	c Core size: 101	Core Weight: 1	Total Weight: 33
10.68/10.70	c Elapsed CPU time: 10.6054 s	Remaining CPU time: 1789.39 s
10.98/11.01	c core #29
10.98/11.01	c Core size: 101	Core Weight: 1	Total Weight: 34
10.98/11.01	c Elapsed CPU time: 10.9123 s	Remaining CPU time: 1789.09 s
11.28/11.31	c core #30
11.28/11.31	c Core size: 101	Core Weight: 1	Total Weight: 35
11.28/11.31	c Elapsed CPU time: 11.2193 s	Remaining CPU time: 1788.78 s
11.58/11.64	c core #31
11.58/11.64	c Core size: 501	Core Weight: 1	Total Weight: 36
11.58/11.64	c Elapsed CPU time: 11.5492 s	Remaining CPU time: 1788.45 s
11.88/11.97	c core #32
11.88/11.97	c Core size: 101	Core Weight: 1	Total Weight: 37
11.88/11.97	c Elapsed CPU time: 11.8712 s	Remaining CPU time: 1788.13 s
12.18/12.27	c core #33
12.18/12.27	c Core size: 101	Core Weight: 1	Total Weight: 38
12.18/12.27	c Elapsed CPU time: 12.1751 s	Remaining CPU time: 1787.82 s
12.48/12.58	c core #34
12.48/12.58	c Core size: 201	Core Weight: 4	Total Weight: 42
12.48/12.58	c Elapsed CPU time: 12.4811 s	Remaining CPU time: 1787.52 s
12.78/12.88	c core #35
12.78/12.88	c Core size: 101	Core Weight: 1	Total Weight: 43
12.78/12.88	c Elapsed CPU time: 12.7851 s	Remaining CPU time: 1787.21 s
13.08/13.19	c core #36
13.08/13.19	c Core size: 101	Core Weight: 2	Total Weight: 45
13.08/13.19	c Elapsed CPU time: 13.094 s	Remaining CPU time: 1786.91 s
13.38/13.50	c core #37
13.38/13.50	c Core size: 201	Core Weight: 2	Total Weight: 47
13.38/13.50	c Elapsed CPU time: 13.399 s	Remaining CPU time: 1786.6 s
13.77/13.84	c core #38
13.77/13.84	c Core size: 101	Core Weight: 1	Total Weight: 48
13.77/13.84	c Elapsed CPU time: 13.7389 s	Remaining CPU time: 1786.26 s
14.07/14.14	c core #39
14.07/14.14	c Core size: 101	Core Weight: 2	Total Weight: 50
14.07/14.14	c Elapsed CPU time: 14.0439 s	Remaining CPU time: 1785.96 s
14.37/14.45	c core #40
14.37/14.45	c Core size: 201	Core Weight: 1	Total Weight: 51
14.37/14.45	c Elapsed CPU time: 14.3578 s	Remaining CPU time: 1785.64 s
14.67/14.76	c core #41
14.67/14.76	c Core size: 101	Core Weight: 1	Total Weight: 52
14.67/14.76	c Elapsed CPU time: 14.6678 s	Remaining CPU time: 1785.33 s
14.98/15.09	c core #42
14.98/15.09	c Core size: 101	Core Weight: 1	Total Weight: 53
14.98/15.09	c Elapsed CPU time: 14.9867 s	Remaining CPU time: 1785.01 s
15.29/15.39	c core #43
15.29/15.39	c Core size: 101	Core Weight: 2	Total Weight: 55
15.29/15.39	c Elapsed CPU time: 15.2897 s	Remaining CPU time: 1784.71 s
15.68/15.70	c core #44
15.68/15.70	c Core size: 101	Core Weight: 1	Total Weight: 56
15.68/15.70	c Elapsed CPU time: 15.6006 s	Remaining CPU time: 1784.4 s
15.98/16.03	c core #45
15.98/16.03	c Core size: 101	Core Weight: 1	Total Weight: 57
15.98/16.03	c Elapsed CPU time: 15.9286 s	Remaining CPU time: 1784.07 s
16.28/16.37	c core #46
16.28/16.37	c Core size: 101	Core Weight: 1	Total Weight: 58
16.28/16.37	c Elapsed CPU time: 16.2685 s	Remaining CPU time: 1783.73 s
16.58/16.69	c core #47
16.58/16.69	c Core size: 101	Core Weight: 3	Total Weight: 61
16.58/16.69	c Elapsed CPU time: 16.5825 s	Remaining CPU time: 1783.42 s
16.88/16.99	c core #48
16.88/16.99	c Core size: 101	Core Weight: 1	Total Weight: 62
16.88/16.99	c Elapsed CPU time: 16.8894 s	Remaining CPU time: 1783.11 s
17.28/17.30	c core #49
17.28/17.30	c Core size: 101	Core Weight: 1	Total Weight: 63
17.28/17.30	c Elapsed CPU time: 17.1964 s	Remaining CPU time: 1782.8 s
17.58/17.61	c core #50
17.58/17.61	c Core size: 101	Core Weight: 1	Total Weight: 64
17.58/17.61	c Elapsed CPU time: 17.5013 s	Remaining CPU time: 1782.5 s
17.88/17.91	c core #51
17.88/17.91	c Core size: 101	Core Weight: 1	Total Weight: 65
17.88/17.91	c Elapsed CPU time: 17.8073 s	Remaining CPU time: 1782.19 s
18.18/18.22	c core #52
18.18/18.22	c Core size: 101	Core Weight: 1	Total Weight: 66
18.18/18.22	c Elapsed CPU time: 18.1152 s	Remaining CPU time: 1781.88 s
18.48/18.53	c core #53
18.48/18.53	c Core size: 101	Core Weight: 2	Total Weight: 68
18.48/18.53	c Elapsed CPU time: 18.4252 s	Remaining CPU time: 1781.57 s
18.78/18.85	c core #54
18.78/18.85	c Core size: 1001	Core Weight: 1	Total Weight: 69
18.78/18.85	c Elapsed CPU time: 18.7442 s	Remaining CPU time: 1781.26 s
19.08/19.16	c core #55
19.08/19.16	c Core size: 101	Core Weight: 3	Total Weight: 72
19.08/19.16	c Elapsed CPU time: 19.0551 s	Remaining CPU time: 1780.94 s
19.38/19.47	c core #56
19.38/19.47	c Core size: 101	Core Weight: 1	Total Weight: 73
19.38/19.47	c Elapsed CPU time: 19.3681 s	Remaining CPU time: 1780.63 s
19.78/19.80	c core #57
19.78/19.80	c Core size: 101	Core Weight: 1	Total Weight: 74
19.78/19.80	c Elapsed CPU time: 19.697 s	Remaining CPU time: 1780.3 s
20.08/20.12	c core #58
20.08/20.12	c Core size: 201	Core Weight: 1	Total Weight: 75
20.08/20.12	c Elapsed CPU time: 20.014 s	Remaining CPU time: 1779.99 s
20.38/20.46	c core #59
20.38/20.46	c Core size: 101	Core Weight: 1	Total Weight: 76
20.38/20.46	c Elapsed CPU time: 20.3509 s	Remaining CPU time: 1779.65 s
20.67/20.77	c core #60
20.67/20.77	c Core size: 101	Core Weight: 1	Total Weight: 77
20.67/20.77	c Elapsed CPU time: 20.6629 s	Remaining CPU time: 1779.34 s
20.97/21.08	c core #61
20.97/21.08	c Core size: 101	Core Weight: 1	Total Weight: 78
20.97/21.08	c Elapsed CPU time: 20.9738 s	Remaining CPU time: 1779.03 s
21.37/21.43	c core #62
21.37/21.43	c Core size: 401	Core Weight: 1	Total Weight: 79
21.37/21.43	c Elapsed CPU time: 21.3188 s	Remaining CPU time: 1778.68 s
21.67/21.77	c core #63
21.67/21.77	c Core size: 101	Core Weight: 1	Total Weight: 80
21.67/21.77	c Elapsed CPU time: 21.6607 s	Remaining CPU time: 1778.34 s
22.07/22.11	c core #64
22.07/22.11	c Core size: 101	Core Weight: 1	Total Weight: 81
22.07/22.11	c Elapsed CPU time: 22.0047 s	Remaining CPU time: 1778 s
22.37/22.44	c core #65
22.37/22.44	c Core size: 101	Core Weight: 1	Total Weight: 82
22.37/22.44	c Elapsed CPU time: 22.3346 s	Remaining CPU time: 1777.67 s
22.67/22.77	c core #66
22.67/22.77	c Core size: 101	Core Weight: 1	Total Weight: 83
22.67/22.77	c Elapsed CPU time: 22.6616 s	Remaining CPU time: 1777.34 s
23.08/23.11	c core #67
23.08/23.11	c Core size: 101	Core Weight: 1	Total Weight: 84
23.08/23.11	c Elapsed CPU time: 23.0035 s	Remaining CPU time: 1777 s
23.37/23.45	c core #68
23.37/23.45	c Core size: 701	Core Weight: 1	Total Weight: 85
23.37/23.45	c Elapsed CPU time: 23.3415 s	Remaining CPU time: 1776.66 s
23.67/23.78	c core #69
23.67/23.78	c Core size: 101	Core Weight: 1	Total Weight: 86
23.67/23.78	c Elapsed CPU time: 23.6674 s	Remaining CPU time: 1776.33 s
23.97/24.09	c core #70
23.97/24.09	c Core size: 101	Core Weight: 1	Total Weight: 87
23.97/24.09	c Elapsed CPU time: 23.9854 s	Remaining CPU time: 1776.01 s
24.37/24.42	c core #71
24.37/24.42	c Core size: 101	Core Weight: 1	Total Weight: 88
24.37/24.42	c Elapsed CPU time: 24.3073 s	Remaining CPU time: 1775.69 s
24.67/24.75	c core #72
24.67/24.75	c Core size: 101	Core Weight: 1	Total Weight: 89
24.67/24.75	c Elapsed CPU time: 24.6453 s	Remaining CPU time: 1775.35 s
24.97/25.07	c core #73
24.97/25.07	c Core size: 101	Core Weight: 1	Total Weight: 90
24.97/25.07	c Elapsed CPU time: 24.9642 s	Remaining CPU time: 1775.04 s
25.37/25.42	c core #74
25.37/25.42	c Core size: 201	Core Weight: 2	Total Weight: 92
25.37/25.42	c Elapsed CPU time: 25.3152 s	Remaining CPU time: 1774.68 s
25.67/25.75	c core #75
25.67/25.75	c Core size: 101	Core Weight: 2	Total Weight: 94
25.67/25.75	c Elapsed CPU time: 25.6361 s	Remaining CPU time: 1774.36 s
25.97/26.07	c core #76
25.97/26.07	c Core size: 101	Core Weight: 1	Total Weight: 95
25.97/26.07	c Elapsed CPU time: 25.9551 s	Remaining CPU time: 1774.04 s
26.38/26.42	c core #77
26.38/26.42	c Core size: 101	Core Weight: 1	Total Weight: 96
26.38/26.42	c Elapsed CPU time: 26.305 s	Remaining CPU time: 1773.69 s
26.67/26.77	c core #78
26.67/26.77	c Core size: 101	Core Weight: 2	Total Weight: 98
26.67/26.77	c Elapsed CPU time: 26.6599 s	Remaining CPU time: 1773.34 s
26.97/27.09	c core #79
26.97/27.09	c Core size: 101	Core Weight: 1	Total Weight: 99
26.97/27.09	c Elapsed CPU time: 26.9789 s	Remaining CPU time: 1773.02 s
27.37/27.42	c core #80
27.37/27.42	c Core size: 101	Core Weight: 1	Total Weight: 100
27.37/27.42	c Elapsed CPU time: 27.3038 s	Remaining CPU time: 1772.7 s
27.67/27.74	c core #81
27.67/27.74	c Core size: 101	Core Weight: 1	Total Weight: 101
27.67/27.74	c Elapsed CPU time: 27.6238 s	Remaining CPU time: 1772.38 s
27.97/28.06	c core #82
27.97/28.06	c Core size: 101	Core Weight: 1	Total Weight: 102
27.97/28.06	c Elapsed CPU time: 27.9448 s	Remaining CPU time: 1772.06 s
28.27/28.38	c core #83
28.27/28.38	c Core size: 101	Core Weight: 1	Total Weight: 103
28.27/28.38	c Elapsed CPU time: 28.2717 s	Remaining CPU time: 1771.73 s
28.67/28.70	c core #84
28.67/28.70	c Core size: 101	Core Weight: 1	Total Weight: 104
28.67/28.70	c Elapsed CPU time: 28.5857 s	Remaining CPU time: 1771.41 s
28.97/29.01	c core #85
28.97/29.01	c Core size: 101	Core Weight: 1	Total Weight: 105
28.97/29.01	c Elapsed CPU time: 28.9016 s	Remaining CPU time: 1771.1 s
29.27/29.33	c core #86
29.27/29.33	c Core size: 101	Core Weight: 1	Total Weight: 106
29.27/29.33	c Elapsed CPU time: 29.2216 s	Remaining CPU time: 1770.78 s
29.57/29.66	c core #87
29.57/29.66	c Core size: 301	Core Weight: 1	Total Weight: 107
29.57/29.66	c Elapsed CPU time: 29.5435 s	Remaining CPU time: 1770.46 s
29.87/29.99	c core #88
29.87/29.99	c Core size: 101	Core Weight: 2	Total Weight: 109
29.87/29.99	c Elapsed CPU time: 29.8715 s	Remaining CPU time: 1770.13 s
30.27/30.33	c core #89
30.27/30.33	c Core size: 101	Core Weight: 1	Total Weight: 110
30.27/30.33	c Elapsed CPU time: 30.2144 s	Remaining CPU time: 1769.79 s
30.57/30.67	c core #90
30.57/30.67	c Core size: 101	Core Weight: 2	Total Weight: 112
30.57/30.67	c Elapsed CPU time: 30.5584 s	Remaining CPU time: 1769.44 s
30.96/31.00	c core #91
30.96/31.00	c Core size: 101	Core Weight: 1	Total Weight: 113
30.96/31.00	c Elapsed CPU time: 30.8783 s	Remaining CPU time: 1769.12 s
31.26/31.32	c core #92
31.26/31.32	c Core size: 101	Core Weight: 2	Total Weight: 115
31.26/31.32	c Elapsed CPU time: 31.1983 s	Remaining CPU time: 1768.8 s
31.56/31.64	c core #93
31.56/31.64	c Core size: 101	Core Weight: 1	Total Weight: 116
31.56/31.64	c Elapsed CPU time: 31.5172 s	Remaining CPU time: 1768.48 s
31.87/31.95	c core #94
31.87/31.95	c Core size: 301	Core Weight: 1	Total Weight: 117
31.87/31.95	c Elapsed CPU time: 31.8322 s	Remaining CPU time: 1768.17 s
32.16/32.27	c core #95
32.16/32.27	c Core size: 101	Core Weight: 1	Total Weight: 118
32.16/32.27	c Elapsed CPU time: 32.1541 s	Remaining CPU time: 1767.85 s
32.46/32.59	c core #96
32.46/32.59	c Core size: 201	Core Weight: 1	Total Weight: 119
32.46/32.59	c Elapsed CPU time: 32.4691 s	Remaining CPU time: 1767.53 s
32.87/32.93	c core #97
32.87/32.93	c Core size: 201	Core Weight: 1	Total Weight: 120
32.87/32.93	c Elapsed CPU time: 32.812 s	Remaining CPU time: 1767.19 s
33.16/33.26	c core #98
33.16/33.26	c Core size: 101	Core Weight: 1	Total Weight: 121
33.16/33.26	c Elapsed CPU time: 33.137 s	Remaining CPU time: 1766.86 s
33.46/33.59	c core #99
33.46/33.59	c Core size: 101	Core Weight: 1	Total Weight: 122
33.46/33.59	c Elapsed CPU time: 33.4659 s	Remaining CPU time: 1766.53 s
33.86/33.91	c core #100
33.86/33.91	c Core size: 101	Core Weight: 1	Total Weight: 123
33.86/33.91	c Elapsed CPU time: 33.7889 s	Remaining CPU time: 1766.21 s
34.16/34.24	c core #101
34.16/34.24	c Core size: 1501	Core Weight: 1	Total Weight: 124
34.16/34.24	c Elapsed CPU time: 34.1168 s	Remaining CPU time: 1765.88 s
34.56/34.60	c core #102
34.56/34.60	c Core size: 101	Core Weight: 1	Total Weight: 125
34.56/34.60	c Elapsed CPU time: 34.4778 s	Remaining CPU time: 1765.52 s
34.86/34.92	c core #103
34.86/34.92	c Core size: 101	Core Weight: 1	Total Weight: 126
34.86/34.92	c Elapsed CPU time: 34.7977 s	Remaining CPU time: 1765.2 s
35.16/35.25	c core #104
35.16/35.25	c Core size: 101	Core Weight: 1	Total Weight: 127
35.16/35.25	c Elapsed CPU time: 35.1237 s	Remaining CPU time: 1764.88 s
35.46/35.58	c core #105
35.46/35.58	c Core size: 101	Core Weight: 1	Total Weight: 128
35.46/35.58	c Elapsed CPU time: 35.4536 s	Remaining CPU time: 1764.55 s
35.86/35.90	c core #106
35.86/35.90	c Core size: 101	Core Weight: 1	Total Weight: 129
35.86/35.90	c Elapsed CPU time: 35.7796 s	Remaining CPU time: 1764.22 s
36.16/36.22	c core #107
36.16/36.22	c Core size: 101	Core Weight: 1	Total Weight: 130
36.16/36.22	c Elapsed CPU time: 36.0985 s	Remaining CPU time: 1763.9 s
36.46/36.57	c core #108
36.46/36.57	c Core size: 2501	Core Weight: 1	Total Weight: 131
36.46/36.57	c Elapsed CPU time: 36.4455 s	Remaining CPU time: 1763.55 s
36.86/36.91	c core #109
36.86/36.91	c Core size: 101	Core Weight: 1	Total Weight: 132
36.86/36.91	c Elapsed CPU time: 36.7834 s	Remaining CPU time: 1763.22 s
37.16/37.23	c core #110
37.16/37.23	c Core size: 101	Core Weight: 1	Total Weight: 133
37.16/37.23	c Elapsed CPU time: 37.1074 s	Remaining CPU time: 1762.89 s
37.46/37.56	c core #111
37.46/37.56	c Core size: 101	Core Weight: 1	Total Weight: 134
37.46/37.56	c Elapsed CPU time: 37.4333 s	Remaining CPU time: 1762.57 s
37.76/37.88	c core #112
37.76/37.88	c Core size: 101	Core Weight: 1	Total Weight: 135
37.76/37.88	c Elapsed CPU time: 37.7583 s	Remaining CPU time: 1762.24 s
38.16/38.24	c core #113
38.16/38.24	c Core size: 101	Core Weight: 1	Total Weight: 136
38.16/38.24	c Elapsed CPU time: 38.1172 s	Remaining CPU time: 1761.88 s
38.46/38.56	c core #114
38.46/38.56	c Core size: 101	Core Weight: 1	Total Weight: 137
38.46/38.56	c Elapsed CPU time: 38.4382 s	Remaining CPU time: 1761.56 s
38.76/38.89	c core #115
38.76/38.89	c Core size: 101	Core Weight: 1	Total Weight: 138
38.76/38.89	c Elapsed CPU time: 38.7641 s	Remaining CPU time: 1761.24 s
39.16/39.25	c core #116
39.16/39.25	c Core size: 101	Core Weight: 1	Total Weight: 139
39.16/39.25	c Elapsed CPU time: 39.1261 s	Remaining CPU time: 1760.87 s
39.46/39.59	c core #117
39.46/39.59	c Core size: 2199	Core Weight: 1	Total Weight: 140
39.46/39.59	c Elapsed CPU time: 39.468 s	Remaining CPU time: 1760.53 s
39.85/39.95	c core #118
39.85/39.95	c Core size: 786	Core Weight: 1	Total Weight: 141
39.85/39.95	c Elapsed CPU time: 39.8199 s	Remaining CPU time: 1760.18 s
40.26/40.34	c core #119
40.26/40.34	c Core size: 1997	Core Weight: 1	Total Weight: 142
40.26/40.34	c Elapsed CPU time: 40.2049 s	Remaining CPU time: 1759.8 s
40.66/40.72	c core #120
40.66/40.72	c Core size: 101	Core Weight: 1	Total Weight: 143
40.66/40.72	c Elapsed CPU time: 40.5778 s	Remaining CPU time: 1759.42 s
40.95/41.06	c core #121
40.95/41.06	c Core size: 200	Core Weight: 1	Total Weight: 144
40.95/41.06	c Elapsed CPU time: 40.9178 s	Remaining CPU time: 1759.08 s
41.35/41.41	c core #122
41.35/41.41	c Core size: 101	Core Weight: 1	Total Weight: 145
41.35/41.41	c Elapsed CPU time: 41.2677 s	Remaining CPU time: 1758.73 s
41.66/41.75	c core #123
41.66/41.75	c Core size: 200	Core Weight: 1	Total Weight: 146
41.66/41.75	c Elapsed CPU time: 41.6027 s	Remaining CPU time: 1758.4 s
41.95/42.09	c core #124
41.95/42.09	c Core size: 101	Core Weight: 1	Total Weight: 147
41.95/42.09	c Elapsed CPU time: 41.9366 s	Remaining CPU time: 1758.06 s
42.35/42.43	c core #125
42.35/42.43	c Core size: 499	Core Weight: 1	Total Weight: 148
42.35/42.43	c Elapsed CPU time: 42.2746 s	Remaining CPU time: 1757.73 s
42.65/42.79	c core #126
42.65/42.79	c Core size: 1451	Core Weight: 1	Total Weight: 149
42.65/42.79	c Elapsed CPU time: 42.6275 s	Remaining CPU time: 1757.37 s
43.05/43.14	c ============================[ Search Statistics ]==============================
43.05/43.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.05/43.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.05/43.14	c ===============================================================================
43.05/43.14	c |         0 |   26411   692704    49730 |   230901        0    nan |  0.000 % |
43.05/43.15	c ===============================================================================
43.05/43.15	c core #127
43.05/43.15	c Core size: 404	Core Weight: 1	Total Weight: 150
43.05/43.15	c Elapsed CPU time: 42.9905 s	Remaining CPU time: 1757.01 s
43.45/43.50	c ============================[ Search Statistics ]==============================
43.45/43.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.45/43.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.45/43.50	c ===============================================================================
43.45/43.50	c |         0 |   26813   693084    50247 |   231028        0    nan |  0.000 % |
43.45/43.53	c ===============================================================================
43.45/43.53	c core #128
43.45/43.53	c Core size: 1375	Core Weight: 1	Total Weight: 151
43.45/43.53	c Elapsed CPU time: 43.3674 s	Remaining CPU time: 1756.63 s
43.75/43.90	c ============================[ Search Statistics ]==============================
43.75/43.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.75/43.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.75/43.90	c ===============================================================================
43.75/43.90	c |         0 |   28175   694379    52085 |   231459        0    nan |  0.000 % |
43.86/43.99	c ===============================================================================
43.86/44.00	c core #129
43.86/44.00	c Core size: 2584	Core Weight: 1	Total Weight: 152
43.86/44.00	c Elapsed CPU time: 43.8233 s	Remaining CPU time: 1756.18 s
44.25/44.37	c ============================[ Search Statistics ]==============================
44.25/44.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.25/44.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.25/44.37	c ===============================================================================
44.25/44.37	c |         0 |   30710   696770    55235 |   232256        0    nan |  0.000 % |
44.45/44.51	c ===============================================================================
44.45/44.51	c core #130
44.45/44.51	c Core size: 3003	Core Weight: 1	Total Weight: 153
44.45/44.51	c Elapsed CPU time: 44.3273 s	Remaining CPU time: 1755.67 s
44.75/44.88	c ============================[ Search Statistics ]==============================
44.75/44.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.75/44.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.75/44.88	c ===============================================================================
44.75/44.88	c |         0 |   33760   699552    59190 |   233184        0    nan |  0.000 % |
44.85/45.00	c |       102 |   33760   699552    59190 |   256502      102    760 | 21.962 % |
45.15/45.24	c |       252 |   33757   699552    59190 |   282152      247   1411 | 21.969 % |
45.75/45.89	c ===============================================================================
45.75/45.90	c core #131
45.75/45.90	c Core size: 8525	Core Weight: 1	Total Weight: 154
45.75/45.90	c Elapsed CPU time: 45.6961 s	Remaining CPU time: 1754.3 s
46.15/46.29	c Learning 3 hard constraints
46.15/46.29	c ============================[ Search Statistics ]==============================
46.15/46.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.15/46.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.15/46.30	c ===============================================================================
46.15/46.30	c |         0 |   41912   707037    70199 |   235679        0    nan |  0.000 % |
46.35/46.44	c |       100 |   41912   707037    70199 |   259246      100   1050 | 18.354 % |
46.65/46.76	c |       252 |   41912   707037    70199 |   285171      252   1267 | 18.354 % |
47.15/47.27	c |       478 |   41911   707037    70199 |   313688      477   1787 | 18.356 % |
47.84/47.91	c |       816 |   41911   707037    70199 |   345057      815   1819 | 18.356 % |
49.05/49.10	c |      1324 |   41911   707037    70199 |   379563     1323   2017 | 18.356 % |
51.05/51.18	c |      2083 |   41910   707037    70199 |   417519     2079   2180 | 18.358 % |
53.85/53.97	c ===============================================================================
53.94/54.00	c core #132
53.94/54.00	c Core size: 11163	Core Weight: 1	Total Weight: 155
53.94/54.00	c Elapsed CPU time: 53.7588 s	Remaining CPU time: 1746.24 s
54.34/54.43	c Learning 45 hard constraints
54.34/54.43	c ============================[ Search Statistics ]==============================
54.34/54.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.34/54.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.34/54.43	c ===============================================================================
54.34/54.43	c |         0 |   52048   716139    97098 |   238713        0    nan |  0.000 % |
54.54/54.60	c |       101 |   52048   716139    97098 |   262584      101   1925 | 15.184 % |
54.94/55.02	c |       251 |   52048   716139    97098 |   288842      251   1887 | 15.184 % |
55.63/55.74	c |       476 |   52048   716139    97098 |   317727      476   1388 | 15.184 % |
56.94/57.05	c |       815 |   52048   716139    97098 |   349499      815   1331 | 15.184 % |
58.94/59.04	c |      1321 |   52048   716139    97098 |   384449     1321   1327 | 15.184 % |
61.64/61.73	c |      2082 |   52048   716139    97098 |   422894     2082   1391 | 15.184 % |
65.14/65.25	c |      3221 |   52047   716139    97098 |   465184     3220   1353 | 15.186 % |
70.44/70.58	c |      4930 |   52047   716139    97098 |   511702     4929   1402 | 15.186 % |
78.82/78.99	c |      7492 |   52047   716139    97098 |   562872     7491   1358 | 15.186 % |
93.42/93.52	c |     11336 |   52047   716139    97098 |   619160    11335   1641 | 15.186 % |
120.81/120.98	c |     17103 |   52046   716139    97098 |   681076    16961   1846 | 15.188 % |
172.18/172.35	c |     25752 |   52044   716139    97098 |   749183    25607   2446 | 15.191 % |
266.54/266.79	c |     38728 |   52043   716139    97098 |   824102    38544   2843 | 15.192 % |
409.07/409.39	c ===============================================================================
410.07/410.38	c core #133
410.07/410.38	c Core size: 13342	Core Weight: 1	Total Weight: 156
410.07/410.38	c Elapsed CPU time: 408.879 s	Remaining CPU time: 1391.12 s
410.67/410.90	c Learning 193 hard constraints
410.67/410.90	c ============================[ Search Statistics ]==============================
410.67/410.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
410.67/410.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
410.67/410.90	c ===============================================================================
410.67/410.90	c |         0 |   63261   725575   178417 |   241858        0    nan |  0.000 % |
410.87/411.12	c |       102 |   63261   725575   178417 |   266044      102   1948 | 12.706 % |
411.27/411.51	c |       252 |   63261   725575   178417 |   292648      252   1592 | 12.706 % |
412.07/412.37	c |       477 |   63261   725575   178417 |   321913      477   1092 | 12.706 % |
413.27/413.51	c |       818 |   63261   725575   178417 |   354104      818    951 | 12.706 % |
415.07/415.34	c |      1324 |   63261   725575   178417 |   389515     1324    879 | 12.706 % |
417.86/418.18	c |      2084 |   63261   725575   178417 |   428466     2084    810 | 12.706 % |
423.17/423.41	c |      3225 |   63261   725575   178417 |   471313     3225    813 | 12.706 % |
431.07/431.39	c |      4933 |   63261   725575   178417 |   518444     4933    804 | 12.706 % |
442.56/442.83	c |      7495 |   63261   725575   178417 |   570289     7495    853 | 12.706 % |
461.95/462.22	c |     11339 |   63261   725575   178417 |   627318    11339    927 | 12.706 % |
497.73/498.03	c |     17109 |   63261   725575   178417 |   690050    17109   1383 | 12.706 % |
554.01/554.39	c |     25760 |   63260   725575   178417 |   759055    25758   1489 | 12.708 % |
638.86/639.28	c |     38734 |   63260   725575   178417 |   834960    38732   1681 | 12.708 % |
766.10/766.55	c |     58195 |   63260   725575   178417 |   918456    58193   1765 | 12.708 % |
1036.36/1036.99	c |     87393 |   63260   725575   178417 |  1010302    87391   2180 | 12.708 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875641-1245142806/watcher-1875641-1245142806 -o /tmp/evaluation-result-1875641-1245142806/solver-1875641-1245142806 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875641-1245142806.opb 

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3621
/proc/meminfo: memFree=1851312/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=19684 CPUtime=0
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 181877793 20156416 254 1992294400 134512640 135709839 4294956240 18446744073709551615 135166726 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 4921 254 123 292 0 418 0

[startup+0.0581881 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3621
/proc/meminfo: memFree=1851312/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=21792 CPUtime=0.05
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 839 0 0 0 5 0 0 0 18 0 1 0 181877793 22315008 823 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 5448 823 219 292 0 945 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21792

[startup+0.101194 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3621
/proc/meminfo: memFree=1851312/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=22220 CPUtime=0.09
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 1037 0 0 0 9 0 0 0 18 0 1 0 181877793 22753280 1021 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 5555 1021 302 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301222 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3621
/proc/meminfo: memFree=1851312/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=24448 CPUtime=0.29
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 1953 0 0 0 29 0 0 0 19 0 1 0 181877793 25034752 1937 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 6112 1937 685 292 0 1609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24448

[startup+0.701279 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3621
/proc/meminfo: memFree=1851312/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=28816 CPUtime=0.69
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 3737 0 0 0 68 1 0 0 23 0 1 0 181877793 29507584 3721 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 7204 3721 1431 292 0 2701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28816

[startup+1.50139 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3622
/proc/meminfo: memFree=1839016/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=36948 CPUtime=1.49
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 7370 0 0 0 147 2 0 0 25 0 1 0 181877793 37834752 7354 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 9237 7354 2948 292 0 4734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36948

[startup+3.10162 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3622
/proc/meminfo: memFree=1827304/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=53772 CPUtime=3.09
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 19331 0 0 0 302 7 0 0 25 0 1 0 181877793 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 135183515 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30108 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3622
/proc/meminfo: memFree=1797928/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=56940 CPUtime=6.28
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 20122 0 0 0 620 8 0 0 25 0 1 0 181877793 58306560 13419 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 14235 13419 133 292 0 13940 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56940

[startup+12.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3622
/proc/meminfo: memFree=1797288/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=58392 CPUtime=12.68
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 20488 0 0 0 1260 8 0 0 25 0 1 0 181877793 59793408 13785 1992294400 134512640 135709839 4294956240 18446744073709551615 134517472 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 14598 13785 133 292 0 14303 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58392

[startup+25.5018 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3622
/proc/meminfo: memFree=1794600/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=60504 CPUtime=25.47
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 21038 0 0 0 2538 9 0 0 25 0 1 0 181877793 61956096 14335 1992294400 134512640 135709839 4294956240 18446744073709551615 134517175 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 15126 14335 133 292 0 14831 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 60504

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3622
/proc/meminfo: memFree=1779304/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=79608 CPUtime=51.05
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 35494 0 0 0 5087 18 0 0 25 0 1 0 181877793 81518592 18550 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 19902 18550 136 292 0 19607 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 79608

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1711720/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=145184 CPUtime=102.21
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 53431 0 0 0 10187 34 0 0 25 0 1 0 181877793 148668416 35093 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 36296 35093 136 292 0 36001 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 145184

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1578728/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=279324 CPUtime=162.18
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 86980 0 0 0 16163 55 0 0 25 0 1 0 181877793 286027776 68642 1992294400 134512640 135709839 4294956240 18446744073709551615 134579117 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 69831 68642 136 292 0 69536 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 279324

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1443880/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=412356 CPUtime=222.16
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 120244 0 0 0 22140 76 0 0 25 0 1 0 181877793 422252544 101906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 103089 101906 136 292 0 102794 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 412356

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1330792/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=526332 CPUtime=282.13
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 148745 0 0 0 28120 93 0 0 25 0 1 0 181877793 538963968 130407 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 131583 130407 136 292 0 131288 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 526332

[startup+342.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 3628
/proc/meminfo: memFree=1224432/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=631728 CPUtime=342.1
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 175061 0 0 0 34101 109 0 0 25 0 1 0 181877793 646889472 156723 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 157932 156723 136 292 0 157637 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 631728

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 3628
/proc/meminfo: memFree=1103536/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=753500 CPUtime=402.07
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 205514 0 0 0 40081 126 0 0 25 0 1 0 181877793 771584000 187176 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 188375 187176 136 292 0 188080 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 753500

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1062064/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=794060 CPUtime=462.05
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 216768 0 0 0 46065 140 0 0 25 0 1 0 181877793 813117440 197010 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 198515 197010 136 292 0 198220 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 794060

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=1048944/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=807688 CPUtime=522.02
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 220203 0 0 0 52056 146 0 0 25 0 1 0 181877793 827072512 200445 1992294400 134512640 135709839 4294956240 18446744073709551615 134572305 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 201922 200445 136 292 0 201627 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 807688

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=990256/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=866092 CPUtime=581.99
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 234777 0 0 0 58040 159 0 0 25 0 1 0 181877793 886878208 215019 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 216523 215019 136 292 0 216228 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 866092

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=912240/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=943556 CPUtime=641.97
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 254158 0 0 0 64022 175 0 0 25 0 1 0 181877793 966201344 234400 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 235889 234400 136 292 0 235594 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 943556

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=824816/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1031192 CPUtime=701.93
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 276041 0 0 0 70005 188 0 0 25 0 1 0 181877793 1055940608 256283 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 257798 256283 136 292 0 257503 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 1031192

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=766384/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1089104 CPUtime=761.91
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 290539 0 0 0 75990 201 0 0 25 0 1 0 181877793 1115242496 270781 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 272276 270781 136 292 0 271981 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 1089104

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=709232/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1147176 CPUtime=821.88
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 305026 0 0 0 81975 213 0 0 25 0 1 0 181877793 1174708224 285268 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 286794 285268 136 292 0 286499 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 1147176

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=631152/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1224248 CPUtime=881.84
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 324315 0 0 0 87957 227 0 0 25 0 1 0 181877793 1253629952 304557 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 306062 304557 136 292 0 305767 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 1224248

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=548144/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1307356 CPUtime=941.81
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 345093 0 0 0 93939 242 0 0 25 0 1 0 181877793 1338732544 325335 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 326839 325335 136 292 0 326544 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 1307356

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=460912/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1394276 CPUtime=1001.78
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 366802 0 0 0 99925 253 0 0 25 0 1 0 181877793 1427738624 347044 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 348569 347044 136 292 0 348274 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 1394276

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=389680/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1465776 CPUtime=1061.76
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 384694 0 0 0 105912 264 0 0 25 0 1 0 181877793 1500954624 364936 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 366444 364936 136 292 0 366149 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1465776

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=331120/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1524076 CPUtime=1121.73
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 399242 0 0 0 111897 276 0 0 25 0 1 0 181877793 1560653824 379484 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 381019 379484 136 292 0 380724 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 1524076

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=259056/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1596712 CPUtime=1181.7
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 417396 0 0 0 117882 288 0 0 25 0 1 0 181877793 1635033088 397638 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 399178 397638 136 292 0 398883 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1596712

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=182960/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1672188 CPUtime=1241.67
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 436259 0 0 0 123866 301 0 0 25 0 1 0 181877793 1712320512 416501 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 418047 416501 136 292 0 417752 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 1672188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=85616/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1768276 CPUtime=1301.66
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 460314 0 0 0 129852 314 0 0 25 0 1 0 181877793 1810714624 440556 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 442069 440556 136 292 0 441774 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 1768276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1354.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=15088/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=1843284 CPUtime=1353.92
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4194304 479047 0 0 0 135068 324 0 0 25 0 1 0 181877793 1887522816 459289 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 460821 459289 136 292 0 460526 0
Current children cumulated CPU time (s) 1353.92
Current children cumulated vsize (KiB) 1843284

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

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

[startup+1354.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3628
/proc/meminfo: memFree=15088/2055920 swapFree=4182572/4192956
[pid=3621] ppid=3619 vsize=0 CPUtime=1354.12
/proc/3621/stat : 3621 (wbo) R 3619 3621 3578 0 -1 4195332 479047 0 0 0 135068 344 0 0 25 0 1 0 181877793 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1354.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1354.87
CPU time (s): 1354.2
CPU user time (s): 1350.68
CPU system time (s): 3.51347
CPU usage (%): 99.95
Max. virtual memory (cumulated for all children) (KiB): 1843284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1350.68
system time used= 3.51347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479047
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= 2
involuntary context switches= 4879

runsolver used 1.35679 second user time and 3.59845 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-16 11:00:07
IDJOB=1875641
IDBENCH=1977
IDSOLVER=698
FILE ID=node39/1875641-1245142806
PBS_JOBID= 9363734
Free space on /tmp= 66112 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875641-1245142806/watcher-1875641-1245142806 -o /tmp/evaluation-result-1875641-1245142806/solver-1875641-1245142806 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875641-1245142806.opb

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

MD5SUM BENCH= 2fd45123d8e20b24379108257151f007
RANDOM SEED=619766618

node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1852240 kB
Buffers:         27964 kB
Cached:         107424 kB
SwapCached:       4216 kB
Active:          34348 kB
Inactive:       108872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852240 kB
SwapTotal:     4192956 kB
SwapFree:      4182572 kB
Dirty:           19332 kB
Writeback:           0 kB
Mapped:          13516 kB
Slab:            46472 kB
Committed_AS:   133792 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875641-1245142806.opb

Free space on /tmp at the end= 66112 MiB
End job on node39 at 2009-06-16 11:22:44