Trace number 1875636

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) 1293.51 1293.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5514
Best CPU time to get the best result obtained on this benchmark1600.95
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 447
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 494527
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 494527
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-1875636-1245141661.opb.
0.00/0.00	c Instance file HOME/instance-1875636-1245141661.opb
0.00/0.00	c File size is 17233660 bytes.
2.29/2.37	c Highest Coefficient sum: 101
2.29/2.38	c ============================[ Problem Statistics ]=============================
2.29/2.38	c |                                                                             |
2.29/2.38	c |  Parsing time:          2.34         s                                      |
2.29/2.38	c |  Number Variables:      10000                                               |
2.29/2.38	c |  Number Clauses:        666900                                              |
2.29/2.38	c |  Number Cardinality:    0                                                   |
2.29/2.38	c |  Number PB Constraints: 0                                                   |
2.29/2.38	c core #1
2.29/2.38	c Core size: 101	Core Weight: 1	Total Weight: 1
2.29/2.38	c Elapsed CPU time: 2.34264 s	Remaining CPU time: 1797.66 s
2.69/2.72	c core #2
2.69/2.72	c Core size: 101	Core Weight: 1	Total Weight: 2
2.69/2.72	c Elapsed CPU time: 2.6516 s	Remaining CPU time: 1797.35 s
2.99/3.04	c core #3
2.99/3.04	c Core size: 101	Core Weight: 1	Total Weight: 3
2.99/3.04	c Elapsed CPU time: 2.96755 s	Remaining CPU time: 1797.03 s
3.29/3.37	c core #4
3.29/3.37	c Core size: 101	Core Weight: 1	Total Weight: 4
3.29/3.37	c Elapsed CPU time: 3.2945 s	Remaining CPU time: 1796.71 s
3.59/3.69	c core #5
3.59/3.69	c Core size: 101	Core Weight: 1	Total Weight: 5
3.59/3.69	c Elapsed CPU time: 3.61445 s	Remaining CPU time: 1796.39 s
3.99/4.02	c core #6
3.99/4.02	c Core size: 101	Core Weight: 1	Total Weight: 6
3.99/4.02	c Elapsed CPU time: 3.9354 s	Remaining CPU time: 1796.06 s
4.29/4.34	c core #7
4.29/4.34	c Core size: 101	Core Weight: 1	Total Weight: 7
4.29/4.34	c Elapsed CPU time: 4.25635 s	Remaining CPU time: 1795.74 s
4.59/4.67	c core #8
4.59/4.67	c Core size: 101	Core Weight: 1	Total Weight: 8
4.59/4.67	c Elapsed CPU time: 4.5803 s	Remaining CPU time: 1795.42 s
4.89/4.99	c core #9
4.89/4.99	c Core size: 101	Core Weight: 1	Total Weight: 9
4.89/4.99	c Elapsed CPU time: 4.89926 s	Remaining CPU time: 1795.1 s
5.28/5.31	c core #10
5.28/5.31	c Core size: 101	Core Weight: 1	Total Weight: 10
5.28/5.31	c Elapsed CPU time: 5.2272 s	Remaining CPU time: 1794.77 s
5.58/5.64	c core #11
5.58/5.64	c Core size: 101	Core Weight: 1	Total Weight: 11
5.58/5.64	c Elapsed CPU time: 5.54916 s	Remaining CPU time: 1794.45 s
5.98/6.00	c core #12
5.98/6.00	c Core size: 101	Core Weight: 1	Total Weight: 12
5.98/6.00	c Elapsed CPU time: 5.9121 s	Remaining CPU time: 1794.09 s
6.29/6.32	c core #13
6.29/6.32	c Core size: 301	Core Weight: 1	Total Weight: 13
6.29/6.32	c Elapsed CPU time: 6.23305 s	Remaining CPU time: 1793.77 s
6.60/6.66	c core #14
6.60/6.66	c Core size: 101	Core Weight: 3	Total Weight: 16
6.60/6.66	c Elapsed CPU time: 6.569 s	Remaining CPU time: 1793.43 s
6.99/7.00	c core #15
6.99/7.00	c Core size: 101	Core Weight: 1	Total Weight: 17
6.99/7.00	c Elapsed CPU time: 6.90995 s	Remaining CPU time: 1793.09 s
7.29/7.37	c core #16
7.29/7.37	c Core size: 101	Core Weight: 1	Total Weight: 18
7.29/7.37	c Elapsed CPU time: 7.27789 s	Remaining CPU time: 1792.72 s
7.60/7.69	c core #17
7.60/7.69	c Core size: 101	Core Weight: 1	Total Weight: 19
7.60/7.69	c Elapsed CPU time: 7.60084 s	Remaining CPU time: 1792.4 s
7.99/8.02	c core #18
7.99/8.02	c Core size: 101	Core Weight: 1	Total Weight: 20
7.99/8.02	c Elapsed CPU time: 7.92679 s	Remaining CPU time: 1792.07 s
8.29/8.34	c core #19
8.29/8.34	c Core size: 101	Core Weight: 1	Total Weight: 21
8.29/8.34	c Elapsed CPU time: 8.25474 s	Remaining CPU time: 1791.75 s
8.59/8.67	c core #20
8.59/8.67	c Core size: 101	Core Weight: 1	Total Weight: 22
8.59/8.67	c Elapsed CPU time: 8.57969 s	Remaining CPU time: 1791.42 s
8.99/9.02	c core #21
8.99/9.02	c Core size: 101	Core Weight: 1	Total Weight: 23
8.99/9.02	c Elapsed CPU time: 8.92764 s	Remaining CPU time: 1791.07 s
9.29/9.38	c core #22
9.29/9.38	c Core size: 201	Core Weight: 1	Total Weight: 24
9.29/9.38	c Elapsed CPU time: 9.28959 s	Remaining CPU time: 1790.71 s
9.69/9.71	c core #23
9.69/9.71	c Core size: 101	Core Weight: 1	Total Weight: 25
9.69/9.71	c Elapsed CPU time: 9.61854 s	Remaining CPU time: 1790.38 s
9.99/10.08	c core #24
9.99/10.08	c Core size: 101	Core Weight: 1	Total Weight: 26
9.99/10.08	c Elapsed CPU time: 9.98448 s	Remaining CPU time: 1790.02 s
10.39/10.40	c core #25
10.39/10.40	c Core size: 101	Core Weight: 1	Total Weight: 27
10.39/10.40	c Elapsed CPU time: 10.3114 s	Remaining CPU time: 1789.69 s
10.69/10.74	c core #26
10.69/10.74	c Core size: 101	Core Weight: 1	Total Weight: 28
10.69/10.74	c Elapsed CPU time: 10.6444 s	Remaining CPU time: 1789.36 s
10.99/11.07	c core #27
10.99/11.07	c Core size: 101	Core Weight: 2	Total Weight: 30
10.99/11.07	c Elapsed CPU time: 10.9793 s	Remaining CPU time: 1789.02 s
11.39/11.40	c core #28
11.39/11.40	c Core size: 201	Core Weight: 1	Total Weight: 31
11.39/11.40	c Elapsed CPU time: 11.3063 s	Remaining CPU time: 1788.69 s
11.69/11.73	c core #29
11.69/11.73	c Core size: 101	Core Weight: 6	Total Weight: 37
11.69/11.73	c Elapsed CPU time: 11.6382 s	Remaining CPU time: 1788.36 s
11.99/12.05	c core #30
11.99/12.05	c Core size: 101	Core Weight: 1	Total Weight: 38
11.99/12.05	c Elapsed CPU time: 11.9592 s	Remaining CPU time: 1788.04 s
12.29/12.38	c core #31
12.29/12.38	c Core size: 101	Core Weight: 1	Total Weight: 39
12.29/12.38	c Elapsed CPU time: 12.2831 s	Remaining CPU time: 1787.72 s
12.69/12.70	c core #32
12.69/12.70	c Core size: 101	Core Weight: 2	Total Weight: 41
12.69/12.70	c Elapsed CPU time: 12.6091 s	Remaining CPU time: 1787.39 s
12.99/13.03	c core #33
12.99/13.03	c Core size: 101	Core Weight: 1	Total Weight: 42
12.99/13.03	c Elapsed CPU time: 12.936 s	Remaining CPU time: 1787.06 s
13.29/13.36	c core #34
13.29/13.36	c Core size: 101	Core Weight: 1	Total Weight: 43
13.29/13.36	c Elapsed CPU time: 13.263 s	Remaining CPU time: 1786.74 s
13.59/13.69	c core #35
13.59/13.69	c Core size: 101	Core Weight: 1	Total Weight: 44
13.59/13.69	c Elapsed CPU time: 13.5979 s	Remaining CPU time: 1786.4 s
13.99/14.02	c core #36
13.99/14.02	c Core size: 101	Core Weight: 1	Total Weight: 45
13.99/14.02	c Elapsed CPU time: 13.9299 s	Remaining CPU time: 1786.07 s
14.29/14.35	c core #37
14.29/14.35	c Core size: 101	Core Weight: 1	Total Weight: 46
14.29/14.35	c Elapsed CPU time: 14.2578 s	Remaining CPU time: 1785.74 s
14.59/14.69	c core #38
14.59/14.69	c Core size: 101	Core Weight: 1	Total Weight: 47
14.59/14.69	c Elapsed CPU time: 14.5908 s	Remaining CPU time: 1785.41 s
14.99/15.01	c core #39
14.99/15.01	c Core size: 101	Core Weight: 1	Total Weight: 48
14.99/15.01	c Elapsed CPU time: 14.9177 s	Remaining CPU time: 1785.08 s
15.29/15.34	c core #40
15.29/15.34	c Core size: 101	Core Weight: 1	Total Weight: 49
15.29/15.34	c Elapsed CPU time: 15.2467 s	Remaining CPU time: 1784.75 s
15.59/15.67	c core #41
15.59/15.67	c Core size: 101	Core Weight: 1	Total Weight: 50
15.59/15.67	c Elapsed CPU time: 15.5716 s	Remaining CPU time: 1784.43 s
15.89/15.99	c core #42
15.89/15.99	c Core size: 101	Core Weight: 1	Total Weight: 51
15.89/15.99	c Elapsed CPU time: 15.8946 s	Remaining CPU time: 1784.11 s
16.29/16.34	c core #43
16.29/16.34	c Core size: 101	Core Weight: 1	Total Weight: 52
16.29/16.34	c Elapsed CPU time: 16.2425 s	Remaining CPU time: 1783.76 s
16.59/16.67	c core #44
16.59/16.67	c Core size: 101	Core Weight: 1	Total Weight: 53
16.59/16.67	c Elapsed CPU time: 16.5705 s	Remaining CPU time: 1783.43 s
16.99/17.00	c core #45
16.99/17.00	c Core size: 101	Core Weight: 1	Total Weight: 54
16.99/17.00	c Elapsed CPU time: 16.9054 s	Remaining CPU time: 1783.09 s
17.29/17.33	c core #46
17.29/17.33	c Core size: 101	Core Weight: 2	Total Weight: 56
17.29/17.33	c Elapsed CPU time: 17.2354 s	Remaining CPU time: 1782.76 s
17.59/17.69	c core #47
17.59/17.69	c Core size: 101	Core Weight: 1	Total Weight: 57
17.59/17.69	c Elapsed CPU time: 17.5973 s	Remaining CPU time: 1782.4 s
17.99/18.02	c core #48
17.99/18.02	c Core size: 101	Core Weight: 1	Total Weight: 58
17.99/18.02	c Elapsed CPU time: 17.9253 s	Remaining CPU time: 1782.07 s
18.29/18.35	c core #49
18.29/18.35	c Core size: 101	Core Weight: 1	Total Weight: 59
18.29/18.35	c Elapsed CPU time: 18.2492 s	Remaining CPU time: 1781.75 s
18.59/18.68	c core #50
18.59/18.68	c Core size: 101	Core Weight: 1	Total Weight: 60
18.59/18.68	c Elapsed CPU time: 18.5862 s	Remaining CPU time: 1781.41 s
18.99/19.03	c core #51
18.99/19.03	c Core size: 101	Core Weight: 1	Total Weight: 61
18.99/19.03	c Elapsed CPU time: 18.9341 s	Remaining CPU time: 1781.07 s
19.29/19.37	c core #52
19.29/19.37	c Core size: 101	Core Weight: 1	Total Weight: 62
19.29/19.37	c Elapsed CPU time: 19.2721 s	Remaining CPU time: 1780.73 s
19.69/19.70	c core #53
19.69/19.70	c Core size: 1101	Core Weight: 1	Total Weight: 63
19.69/19.70	c Elapsed CPU time: 19.606 s	Remaining CPU time: 1780.39 s
19.98/20.05	c core #54
19.98/20.05	c Core size: 101	Core Weight: 1	Total Weight: 64
19.98/20.05	c Elapsed CPU time: 19.951 s	Remaining CPU time: 1780.05 s
20.28/20.38	c core #55
20.28/20.38	c Core size: 101	Core Weight: 1	Total Weight: 65
20.28/20.38	c Elapsed CPU time: 20.2789 s	Remaining CPU time: 1779.72 s
20.68/20.71	c core #56
20.68/20.71	c Core size: 101	Core Weight: 1	Total Weight: 66
20.68/20.71	c Elapsed CPU time: 20.6089 s	Remaining CPU time: 1779.39 s
20.98/21.03	c core #57
20.98/21.03	c Core size: 101	Core Weight: 1	Total Weight: 67
20.98/21.03	c Elapsed CPU time: 20.9348 s	Remaining CPU time: 1779.07 s
21.28/21.36	c core #58
21.28/21.36	c Core size: 101	Core Weight: 1	Total Weight: 68
21.28/21.36	c Elapsed CPU time: 21.2638 s	Remaining CPU time: 1778.74 s
21.68/21.73	c core #59
21.68/21.73	c Core size: 101	Core Weight: 3	Total Weight: 71
21.68/21.73	c Elapsed CPU time: 21.6287 s	Remaining CPU time: 1778.37 s
21.99/22.06	c core #60
21.99/22.06	c Core size: 101	Core Weight: 1	Total Weight: 72
21.99/22.06	c Elapsed CPU time: 21.9657 s	Remaining CPU time: 1778.03 s
22.28/22.39	c core #61
22.28/22.39	c Core size: 101	Core Weight: 1	Total Weight: 73
22.28/22.39	c Elapsed CPU time: 22.2956 s	Remaining CPU time: 1777.7 s
22.68/22.74	c core #62
22.68/22.74	c Core size: 101	Core Weight: 1	Total Weight: 74
22.68/22.74	c Elapsed CPU time: 22.6466 s	Remaining CPU time: 1777.35 s
22.99/23.07	c core #63
22.99/23.07	c Core size: 501	Core Weight: 1	Total Weight: 75
22.99/23.07	c Elapsed CPU time: 22.9735 s	Remaining CPU time: 1777.03 s
23.38/23.40	c core #64
23.38/23.40	c Core size: 101	Core Weight: 1	Total Weight: 76
23.38/23.40	c Elapsed CPU time: 23.3055 s	Remaining CPU time: 1776.69 s
23.68/23.77	c core #65
23.68/23.77	c Core size: 101	Core Weight: 1	Total Weight: 77
23.68/23.77	c Elapsed CPU time: 23.6674 s	Remaining CPU time: 1776.33 s
23.98/24.10	c core #66
23.98/24.10	c Core size: 101	Core Weight: 1	Total Weight: 78
23.98/24.10	c Elapsed CPU time: 23.9974 s	Remaining CPU time: 1776 s
24.38/24.43	c core #67
24.38/24.43	c Core size: 101	Core Weight: 1	Total Weight: 79
24.38/24.43	c Elapsed CPU time: 24.3323 s	Remaining CPU time: 1775.67 s
24.68/24.76	c core #68
24.68/24.76	c Core size: 101	Core Weight: 1	Total Weight: 80
24.68/24.76	c Elapsed CPU time: 24.6653 s	Remaining CPU time: 1775.33 s
25.08/25.11	c core #69
25.08/25.11	c Core size: 101	Core Weight: 1	Total Weight: 81
25.08/25.11	c Elapsed CPU time: 25.0122 s	Remaining CPU time: 1774.99 s
25.38/25.49	c core #70
25.38/25.49	c Core size: 1101	Core Weight: 1	Total Weight: 82
25.38/25.49	c Elapsed CPU time: 25.3901 s	Remaining CPU time: 1774.61 s
25.78/25.83	c core #71
25.78/25.83	c Core size: 101	Core Weight: 1	Total Weight: 83
25.78/25.83	c Elapsed CPU time: 25.7341 s	Remaining CPU time: 1774.27 s
26.18/26.21	c core #72
26.18/26.21	c Core size: 101	Core Weight: 1	Total Weight: 84
26.18/26.21	c Elapsed CPU time: 26.112 s	Remaining CPU time: 1773.89 s
26.48/26.55	c core #73
26.48/26.55	c Core size: 101	Core Weight: 1	Total Weight: 85
26.48/26.55	c Elapsed CPU time: 26.45 s	Remaining CPU time: 1773.55 s
26.78/26.89	c core #74
26.78/26.89	c Core size: 101	Core Weight: 1	Total Weight: 86
26.78/26.89	c Elapsed CPU time: 26.7909 s	Remaining CPU time: 1773.21 s
27.18/27.26	c core #75
27.18/27.26	c Core size: 101	Core Weight: 2	Total Weight: 88
27.18/27.26	c Elapsed CPU time: 27.1639 s	Remaining CPU time: 1772.84 s
27.58/27.60	c core #76
27.58/27.60	c Core size: 101	Core Weight: 1	Total Weight: 89
27.58/27.60	c Elapsed CPU time: 27.5038 s	Remaining CPU time: 1772.5 s
27.88/27.93	c core #77
27.88/27.93	c Core size: 101	Core Weight: 1	Total Weight: 90
27.88/27.93	c Elapsed CPU time: 27.8328 s	Remaining CPU time: 1772.17 s
28.18/28.27	c core #78
28.18/28.27	c Core size: 201	Core Weight: 1	Total Weight: 91
28.18/28.27	c Elapsed CPU time: 28.1737 s	Remaining CPU time: 1771.83 s
28.58/28.61	c core #79
28.58/28.61	c Core size: 101	Core Weight: 1	Total Weight: 92
28.58/28.61	c Elapsed CPU time: 28.5127 s	Remaining CPU time: 1771.49 s
28.88/28.95	c core #80
28.88/28.95	c Core size: 301	Core Weight: 1	Total Weight: 93
28.88/28.95	c Elapsed CPU time: 28.8506 s	Remaining CPU time: 1771.15 s
29.28/29.33	c core #81
29.28/29.33	c Core size: 101	Core Weight: 1	Total Weight: 94
29.28/29.33	c Elapsed CPU time: 29.2306 s	Remaining CPU time: 1770.77 s
29.58/29.67	c core #82
29.58/29.67	c Core size: 101	Core Weight: 1	Total Weight: 95
29.58/29.67	c Elapsed CPU time: 29.5705 s	Remaining CPU time: 1770.43 s
29.98/30.02	c core #83
29.98/30.02	c Core size: 101	Core Weight: 1	Total Weight: 96
29.98/30.02	c Elapsed CPU time: 29.9135 s	Remaining CPU time: 1770.09 s
30.28/30.36	c core #84
30.28/30.36	c Core size: 101	Core Weight: 2	Total Weight: 98
30.28/30.36	c Elapsed CPU time: 30.2594 s	Remaining CPU time: 1769.74 s
30.67/30.71	c core #85
30.67/30.71	c Core size: 101	Core Weight: 2	Total Weight: 100
30.67/30.71	c Elapsed CPU time: 30.5963 s	Remaining CPU time: 1769.4 s
30.97/31.07	c core #86
30.97/31.07	c Core size: 101	Core Weight: 1	Total Weight: 101
30.97/31.07	c Elapsed CPU time: 30.9573 s	Remaining CPU time: 1769.04 s
31.37/31.45	c core #87
31.37/31.45	c Core size: 101	Core Weight: 1	Total Weight: 102
31.37/31.45	c Elapsed CPU time: 31.3352 s	Remaining CPU time: 1768.66 s
31.67/31.79	c core #88
31.67/31.79	c Core size: 101	Core Weight: 1	Total Weight: 103
31.67/31.79	c Elapsed CPU time: 31.6782 s	Remaining CPU time: 1768.32 s
32.07/32.16	c core #89
32.07/32.16	c Core size: 101	Core Weight: 4	Total Weight: 107
32.07/32.16	c Elapsed CPU time: 32.0451 s	Remaining CPU time: 1767.95 s
32.47/32.52	c core #90
32.47/32.52	c Core size: 101	Core Weight: 1	Total Weight: 108
32.47/32.52	c Elapsed CPU time: 32.4121 s	Remaining CPU time: 1767.59 s
32.77/32.87	c core #91
32.77/32.87	c Core size: 101	Core Weight: 2	Total Weight: 110
32.77/32.87	c Elapsed CPU time: 32.761 s	Remaining CPU time: 1767.24 s
33.17/33.22	c core #92
33.17/33.22	c Core size: 101	Core Weight: 1	Total Weight: 111
33.17/33.22	c Elapsed CPU time: 33.105 s	Remaining CPU time: 1766.9 s
33.47/33.56	c core #93
33.47/33.56	c Core size: 101	Core Weight: 1	Total Weight: 112
33.47/33.56	c Elapsed CPU time: 33.4459 s	Remaining CPU time: 1766.55 s
33.77/33.89	c core #94
33.77/33.89	c Core size: 201	Core Weight: 1	Total Weight: 113
33.77/33.89	c Elapsed CPU time: 33.7819 s	Remaining CPU time: 1766.22 s
34.17/34.24	c core #95
34.17/34.24	c Core size: 401	Core Weight: 1	Total Weight: 114
34.17/34.24	c Elapsed CPU time: 34.1288 s	Remaining CPU time: 1765.87 s
34.57/34.61	c core #96
34.57/34.61	c Core size: 101	Core Weight: 1	Total Weight: 115
34.57/34.61	c Elapsed CPU time: 34.4938 s	Remaining CPU time: 1765.51 s
34.87/34.96	c core #97
34.87/34.96	c Core size: 1001	Core Weight: 1	Total Weight: 116
34.87/34.96	c Elapsed CPU time: 34.8437 s	Remaining CPU time: 1765.16 s
35.27/35.31	c core #98
35.27/35.31	c Core size: 101	Core Weight: 2	Total Weight: 118
35.27/35.31	c Elapsed CPU time: 35.1986 s	Remaining CPU time: 1764.8 s
35.57/35.65	c core #99
35.57/35.65	c Core size: 101	Core Weight: 1	Total Weight: 119
35.57/35.65	c Elapsed CPU time: 35.5386 s	Remaining CPU time: 1764.46 s
35.87/35.99	c core #100
35.87/35.99	c Core size: 101	Core Weight: 1	Total Weight: 120
35.87/35.99	c Elapsed CPU time: 35.8755 s	Remaining CPU time: 1764.12 s
36.27/36.34	c core #101
36.27/36.34	c Core size: 1901	Core Weight: 1	Total Weight: 121
36.27/36.34	c Elapsed CPU time: 36.2295 s	Remaining CPU time: 1763.77 s
36.67/36.70	c core #102
36.67/36.70	c Core size: 101	Core Weight: 1	Total Weight: 122
36.67/36.70	c Elapsed CPU time: 36.5874 s	Remaining CPU time: 1763.41 s
36.97/37.05	c core #103
36.97/37.05	c Core size: 101	Core Weight: 1	Total Weight: 123
36.97/37.05	c Elapsed CPU time: 36.9354 s	Remaining CPU time: 1763.06 s
37.27/37.39	c core #104
37.27/37.39	c Core size: 101	Core Weight: 1	Total Weight: 124
37.27/37.39	c Elapsed CPU time: 37.2783 s	Remaining CPU time: 1762.72 s
37.67/37.74	c core #105
37.67/37.74	c Core size: 101	Core Weight: 1	Total Weight: 125
37.67/37.74	c Elapsed CPU time: 37.6203 s	Remaining CPU time: 1762.38 s
37.97/38.08	c core #106
37.97/38.08	c Core size: 101	Core Weight: 6	Total Weight: 131
37.97/38.08	c Elapsed CPU time: 37.9632 s	Remaining CPU time: 1762.04 s
38.37/38.42	c core #107
38.37/38.42	c Core size: 101	Core Weight: 1	Total Weight: 132
38.37/38.42	c Elapsed CPU time: 38.3072 s	Remaining CPU time: 1761.69 s
38.77/38.80	c core #108
38.77/38.80	c Core size: 101	Core Weight: 1	Total Weight: 133
38.77/38.80	c Elapsed CPU time: 38.6831 s	Remaining CPU time: 1761.32 s
39.07/39.15	c core #109
39.07/39.15	c Core size: 101	Core Weight: 1	Total Weight: 134
39.07/39.15	c Elapsed CPU time: 39.0381 s	Remaining CPU time: 1760.96 s
39.37/39.50	c core #110
39.37/39.50	c Core size: 201	Core Weight: 2	Total Weight: 136
39.37/39.50	c Elapsed CPU time: 39.383 s	Remaining CPU time: 1760.62 s
39.76/39.85	c core #111
39.76/39.85	c Core size: 101	Core Weight: 2	Total Weight: 138
39.76/39.85	c Elapsed CPU time: 39.731 s	Remaining CPU time: 1760.27 s
40.17/40.21	c core #112
40.17/40.21	c Core size: 101	Core Weight: 1	Total Weight: 139
40.17/40.21	c Elapsed CPU time: 40.0899 s	Remaining CPU time: 1759.91 s
40.47/40.56	c core #113
40.47/40.56	c Core size: 101	Core Weight: 1	Total Weight: 140
40.47/40.56	c Elapsed CPU time: 40.4379 s	Remaining CPU time: 1759.56 s
40.87/40.91	c core #114
40.87/40.91	c Core size: 200	Core Weight: 1	Total Weight: 141
40.87/40.91	c Elapsed CPU time: 40.7888 s	Remaining CPU time: 1759.21 s
41.17/41.27	c core #115
41.17/41.27	c Core size: 1361	Core Weight: 1	Total Weight: 142
41.17/41.27	c Elapsed CPU time: 41.1527 s	Remaining CPU time: 1758.85 s
41.57/41.63	c core #116
41.57/41.63	c Core size: 201	Core Weight: 2	Total Weight: 144
41.57/41.63	c Elapsed CPU time: 41.5137 s	Remaining CPU time: 1758.49 s
41.97/42.00	c core #117
41.97/42.00	c Core size: 1649	Core Weight: 1	Total Weight: 145
41.97/42.00	c Elapsed CPU time: 41.8786 s	Remaining CPU time: 1758.12 s
42.27/42.38	c core #118
42.27/42.38	c Core size: 1259	Core Weight: 1	Total Weight: 146
42.27/42.38	c Elapsed CPU time: 42.2526 s	Remaining CPU time: 1757.75 s
42.67/42.74	c core #119
42.67/42.74	c Core size: 200	Core Weight: 1	Total Weight: 147
42.67/42.74	c Elapsed CPU time: 42.6125 s	Remaining CPU time: 1757.39 s
43.07/43.12	c core #120
43.07/43.12	c Core size: 101	Core Weight: 3	Total Weight: 150
43.07/43.12	c Elapsed CPU time: 42.9835 s	Remaining CPU time: 1757.02 s
43.36/43.48	c core #121
43.36/43.48	c Core size: 497	Core Weight: 1	Total Weight: 151
43.36/43.48	c Elapsed CPU time: 43.3404 s	Remaining CPU time: 1756.66 s
43.77/43.84	c core #122
43.77/43.84	c Core size: 101	Core Weight: 4	Total Weight: 155
43.77/43.84	c Elapsed CPU time: 43.7024 s	Remaining CPU time: 1756.3 s
44.17/44.21	c core #123
44.17/44.21	c Core size: 101	Core Weight: 1	Total Weight: 156
44.17/44.21	c Elapsed CPU time: 44.0603 s	Remaining CPU time: 1755.94 s
44.47/44.57	c core #124
44.47/44.57	c Core size: 398	Core Weight: 1	Total Weight: 157
44.47/44.57	c Elapsed CPU time: 44.4192 s	Remaining CPU time: 1755.58 s
44.87/44.95	c core #125
44.87/44.95	c Core size: 499	Core Weight: 1	Total Weight: 158
44.87/44.95	c Elapsed CPU time: 44.7992 s	Remaining CPU time: 1755.2 s
45.27/45.32	c ============================[ Search Statistics ]==============================
45.27/45.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.27/45.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.27/45.32	c ===============================================================================
45.27/45.32	c |         0 |   23854   690521    46930 |   230173        0    nan |  0.000 % |
45.27/45.33	c ===============================================================================
45.27/45.33	c core #126
45.27/45.33	c Core size: 705	Core Weight: 1	Total Weight: 159
45.27/45.33	c Elapsed CPU time: 45.1781 s	Remaining CPU time: 1754.82 s
45.66/45.72	c ============================[ Search Statistics ]==============================
45.66/45.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.66/45.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.66/45.72	c ===============================================================================
45.66/45.72	c |         0 |   24881   691194    47839 |   230398        0    nan |  0.000 % |
45.66/45.73	c ===============================================================================
45.66/45.73	c core #127
45.66/45.73	c Core size: 601	Core Weight: 1	Total Weight: 160
45.66/45.73	c Elapsed CPU time: 45.5691 s	Remaining CPU time: 1754.43 s
46.07/46.10	c Learning 2 hard constraints
46.07/46.10	c ============================[ Search Statistics ]==============================
46.07/46.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.07/46.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.07/46.11	c ===============================================================================
46.07/46.11	c |         0 |   25472   691772    48733 |   230590        0    nan |  0.000 % |
46.07/46.12	c ===============================================================================
46.07/46.12	c core #128
46.07/46.12	c Core size: 600	Core Weight: 1	Total Weight: 161
46.07/46.12	c Elapsed CPU time: 45.946 s	Remaining CPU time: 1754.05 s
46.47/46.52	c ============================[ Search Statistics ]==============================
46.47/46.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.47/46.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.47/46.52	c ===============================================================================
46.47/46.52	c |         0 |   26065   692351    49404 |   230783        0    nan |  0.000 % |
46.47/46.54	c ===============================================================================
46.47/46.54	c core #129
46.47/46.54	c Core size: 1079	Core Weight: 1	Total Weight: 162
46.47/46.54	c Elapsed CPU time: 46.362 s	Remaining CPU time: 1753.64 s
46.86/46.92	c ============================[ Search Statistics ]==============================
46.86/46.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.86/46.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.86/46.92	c ===============================================================================
46.86/46.92	c |         0 |   27132   693389    50721 |   231129        0    nan |  0.000 % |
46.86/46.94	c ===============================================================================
46.86/46.94	c core #130
46.86/46.94	c Core size: 889	Core Weight: 1	Total Weight: 163
46.86/46.94	c Elapsed CPU time: 46.7639 s	Remaining CPU time: 1753.24 s
47.27/47.33	c ============================[ Search Statistics ]==============================
47.27/47.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.27/47.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.27/47.33	c ===============================================================================
47.27/47.33	c |         0 |   28010   694229    51805 |   231409        0    nan |  0.000 % |
47.36/47.42	c ===============================================================================
47.36/47.43	c core #131
47.36/47.43	c Core size: 2559	Core Weight: 1	Total Weight: 164
47.36/47.43	c Elapsed CPU time: 47.2388 s	Remaining CPU time: 1752.76 s
47.76/47.83	c ============================[ Search Statistics ]==============================
47.76/47.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.76/47.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.76/47.83	c ===============================================================================
47.76/47.83	c |         0 |   30532   696633    55121 |   232211        0    nan |  0.000 % |
47.86/47.98	c |       101 |   30529   696633    55121 |   255432      100   1717 | 24.019 % |
48.27/48.32	c ===============================================================================
48.27/48.32	c core #132
48.27/48.32	c Core size: 5700	Core Weight: 1	Total Weight: 165
48.27/48.32	c Elapsed CPU time: 48.1247 s	Remaining CPU time: 1751.88 s
48.66/48.74	c ============================[ Search Statistics ]==============================
48.66/48.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.66/48.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.66/48.74	c ===============================================================================
48.66/48.74	c |         0 |   36198   701871    62328 |   233957        0    nan |  0.000 % |
48.86/48.95	c |       101 |   35867   701871    62328 |   257352       44    257 | 21.490 % |
49.06/49.11	c ===============================================================================
49.06/49.12	c core #133
49.06/49.12	c Core size: 4380	Core Weight: 1	Total Weight: 166
49.06/49.12	c Elapsed CPU time: 48.9006 s	Remaining CPU time: 1751.1 s
49.47/49.53	c ============================[ Search Statistics ]==============================
49.47/49.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.47/49.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.47/49.53	c ===============================================================================
49.47/49.53	c |         0 |   40453   705886    67399 |   235295        0    nan |  0.000 % |
49.66/49.74	c |       100 |   40453   705886    67399 |   258824      100   1393 | 18.948 % |
50.06/50.12	c |       250 |   40452   705886    67399 |   284707      249   1457 | 18.950 % |
51.06/51.15	c ===============================================================================
51.06/51.16	c core #134
51.06/51.16	c Core size: 8004	Core Weight: 1	Total Weight: 167
51.06/51.16	c Elapsed CPU time: 50.9203 s	Remaining CPU time: 1749.08 s
51.46/51.59	c Learning 1 hard constraints
51.46/51.59	c ============================[ Search Statistics ]==============================
51.46/51.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.46/51.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.46/51.59	c ===============================================================================
51.46/51.59	c |         0 |   48111   712946    77837 |   237648        0    nan |  0.000 % |
51.76/51.83	c |       100 |   48111   712946    77837 |   261413      100    621 | 16.313 % |
52.56/52.66	c |       251 |   48111   712946    77837 |   287554      251    762 | 16.313 % |
53.36/53.47	c |       476 |   48111   712946    77837 |   316310      476    751 | 16.313 % |
54.86/54.92	c |       813 |   48111   712946    77837 |   347941      813    838 | 16.313 % |
56.36/56.42	c |      1319 |   48111   712946    77837 |   382735     1319   1355 | 16.313 % |
59.06/59.15	c |      2079 |   48110   712946    77837 |   421009     2077   1884 | 16.314 % |
62.35/62.44	c |      3220 |   48110   712946    77837 |   463110     3218   2042 | 16.314 % |
65.46/65.54	c ===============================================================================
65.46/65.58	c core #135
65.46/65.58	c Core size: 10715	Core Weight: 1	Total Weight: 168
65.46/65.58	c Elapsed CPU time: 65.2811 s	Remaining CPU time: 1734.72 s
65.95/66.04	c Learning 20 hard constraints
65.95/66.04	c ============================[ Search Statistics ]==============================
65.95/66.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.95/66.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
65.95/66.04	c ===============================================================================
65.95/66.04	c |         0 |   57947   721585    96676 |   240528        0    nan |  0.000 % |
66.15/66.28	c |       100 |   57947   721585    96676 |   264581      100   1207 | 13.799 % |
66.75/66.81	c |       254 |   57947   721585    96676 |   291039      254    848 | 13.799 % |
67.45/67.58	c |       480 |   57947   721585    96676 |   320143      480    677 | 13.799 % |
68.55/68.65	c |       818 |   57947   721585    96676 |   352157      818    701 | 13.799 % |
70.25/70.35	c |      1325 |   57947   721585    96676 |   387373     1325    700 | 13.799 % |
72.65/72.73	c |      2084 |   57947   721585    96676 |   426110     2084    604 | 13.799 % |
76.64/76.71	c |      3224 |   57947   721585    96676 |   468721     3224    661 | 13.799 % |
83.64/83.70	c |      4934 |   57946   721585    96676 |   515593     4923    927 | 13.800 % |
95.23/95.30	c |      7496 |   57946   721585    96676 |   567153     7485   1248 | 13.800 % |
115.13/115.20	c |     11340 |   57945   721585    96676 |   623868    11325   1293 | 13.802 % |
149.22/149.32	c |     17106 |   57945   721585    96676 |   686255    17091   1675 | 13.802 % |
211.10/211.25	c |     25755 |   57944   721585    96676 |   754880    25739   2158 | 13.803 % |
301.98/302.15	c |     38731 |   57944   721585    96676 |   830369    38715   2415 | 13.803 % |
438.54/438.79	c |     58192 |   57944   721585    96676 |   913405    58176   2479 | 13.803 % |
745.75/746.07	c |     87385 |   57944   721585    96676 |  1004746    87369   3175 | 13.803 % |

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-1875636-1245141661/watcher-1875636-1245141661 -o /tmp/evaluation-result-1875636-1245141661/solver-1875636-1245141661 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875636-1245141661.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2694
/proc/meminfo: memFree=1852728/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=19684 CPUtime=0
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 181766816 20156416 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 4921 247 122 292 0 418 0

[startup+0.0165621 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2694
/proc/meminfo: memFree=1852728/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=20820 CPUtime=0.01
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 522 0 0 0 1 0 0 0 18 0 1 0 181766816 21319680 506 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 5205 506 139 292 0 702 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20820

[startup+0.101572 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2694
/proc/meminfo: memFree=1852728/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=22220 CPUtime=0.09
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 1014 0 0 0 9 0 0 0 18 0 1 0 181766816 22753280 998 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 5555 998 293 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301594 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2694
/proc/meminfo: memFree=1852728/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=24136 CPUtime=0.29
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 1874 0 0 0 29 0 0 0 19 0 1 0 181766816 24715264 1858 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 6034 1858 652 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701642 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2694
/proc/meminfo: memFree=1852728/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=28016 CPUtime=0.69
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 3556 0 0 0 68 1 0 0 23 0 1 0 181766816 28688384 3540 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 7004 3540 1355 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50274 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1840880/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=36288 CPUtime=1.49
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 7014 0 0 0 147 2 0 0 25 0 1 0 181766816 37158912 6998 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 9072 6998 2799 292 0 4569 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36288

[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1829808/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=53772 CPUtime=3.09
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 19331 0 0 0 302 7 0 0 25 0 1 0 181766816 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 135182768 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1799152/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=56940 CPUtime=6.29
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 20125 0 0 0 620 9 0 0 25 0 1 0 181766816 58306560 13422 1992294400 134512640 135709839 4294956240 18446744073709551615 135163525 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 14235 13422 133 292 0 13940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56940

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1798576/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=57732 CPUtime=12.69
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 20318 0 0 0 1260 9 0 0 25 0 1 0 181766816 59117568 13615 1992294400 134512640 135709839 4294956240 18446744073709551615 135162110 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 14433 13615 133 292 0 14138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57732

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1796080/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=60240 CPUtime=25.48
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 20966 0 0 0 2539 9 0 0 25 0 1 0 181766816 61685760 14263 1992294400 134512640 135709839 4294956240 18446744073709551615 134570810 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 15060 14263 133 292 0 14765 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60240

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1783088/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=75228 CPUtime=51.06
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 37082 0 0 0 5085 21 0 0 25 0 1 0 181766816 77033472 17440 1992294400 134512640 135709839 4294956240 18446744073709551615 134599686 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 18807 17440 136 292 0 18512 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 75228

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1715824/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=141924 CPUtime=102.23
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 56896 0 0 0 10184 39 0 0 25 0 1 0 181766816 145330176 34279 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 35481 34279 136 292 0 35186 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 141924

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1626672/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=233428 CPUtime=162.22
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 79761 0 0 0 16165 57 0 0 25 0 1 0 181766816 239030272 57144 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 58357 57144 136 292 0 58062 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 233428

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1523632/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=333920 CPUtime=222.2
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 104883 0 0 0 22147 73 0 0 25 0 1 0 181766816 341934080 82266 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 83480 82266 136 292 0 83185 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 333920

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1428272/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=429828 CPUtime=282.18
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 128864 0 0 0 28130 88 0 0 25 0 1 0 181766816 440143872 106247 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 107457 106247 136 292 0 107162 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 429828

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1334576/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=522912 CPUtime=342.17
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 152135 0 0 0 34114 103 0 0 25 0 1 0 181766816 535461888 129518 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 130728 129518 136 292 0 130433 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 522912

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1241776/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=616088 CPUtime=402.15
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 175421 0 0 0 40097 118 0 0 25 0 1 0 181766816 630874112 152804 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 154022 152804 136 292 0 153727 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 616088

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1143600/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=713508 CPUtime=462.13
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 199777 0 0 0 46079 134 0 0 25 0 1 0 181766816 730632192 177160 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 178377 177160 136 292 0 178082 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 713508

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=1045168/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=812840 CPUtime=522.11
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 224597 0 0 0 52063 148 0 0 25 0 1 0 181766816 832348160 201980 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 203210 201980 136 292 0 202915 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 812840

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=932976/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=924200 CPUtime=582.1
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 252449 0 0 0 58047 163 0 0 25 0 1 0 181766816 946380800 229832 1992294400 134512640 135709839 4294956240 18446744073709551615 134572312 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 231050 229832 136 292 0 230755 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 924200

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2695
/proc/meminfo: memFree=823472/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1032344 CPUtime=642.09
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 279463 0 0 0 64033 176 0 0 25 0 1 0 181766816 1057120256 256846 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 258086 256846 136 292 0 257791 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1032344

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=726960/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1129560 CPUtime=702.07
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 303796 0 0 0 70018 189 0 0 25 0 1 0 181766816 1156669440 281179 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 282390 281179 136 292 0 282095 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 1129560

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=633840/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1221688 CPUtime=762.06
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 326806 0 0 0 76004 202 0 0 25 0 1 0 181766816 1251008512 304189 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 305422 304189 136 292 0 305127 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 1221688

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=548336/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1307636 CPUtime=822.03
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 348251 0 0 0 81991 212 0 0 25 0 1 0 181766816 1339019264 325634 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 326909 325634 136 292 0 326614 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 1307636

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=469360/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1386180 CPUtime=882.02
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 367894 0 0 0 87979 223 0 0 25 0 1 0 181766816 1419448320 345277 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 346545 345277 136 292 0 346250 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1386180

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=386416/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1468908 CPUtime=942
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 388607 0 0 0 93968 232 0 0 25 0 1 0 181766816 1504161792 365990 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 367227 365990 136 292 0 366932 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1468908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=318064/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1536668 CPUtime=1001.99
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 405550 0 0 0 99957 242 0 0 25 0 1 0 181766816 1573548032 382933 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 384167 382933 136 292 0 383872 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1536668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=243440/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1612048 CPUtime=1061.98
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 424378 0 0 0 105945 253 0 0 25 0 1 0 181766816 1650737152 401761 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 403012 401761 136 292 0 402717 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1612048

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=188528/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1666084 CPUtime=1121.96
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 437890 0 0 0 111937 259 0 0 25 0 1 0 181766816 1706070016 415273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 416521 415273 136 292 0 416226 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1666084

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2697
/proc/meminfo: memFree=129008/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1727604 CPUtime=1181.94
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 453260 0 0 0 117928 266 0 0 25 0 1 0 181766816 1769066496 430643 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 431901 430643 136 292 0 431606 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1727604

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2703
/proc/meminfo: memFree=75184/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1779308 CPUtime=1241.92
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 466207 0 0 0 123918 274 0 0 25 0 1 0 181766816 1822011392 443590 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 444827 443590 136 292 0 444532 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1779308



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1293.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2703
/proc/meminfo: memFree=15088/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=1843348 CPUtime=1293.22
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4194304 482194 0 0 0 129038 284 0 0 25 0 1 0 181766816 1887588352 459577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 460837 459577 136 292 0 460542 0
Current children cumulated CPU time (s) 1293.22
Current children cumulated vsize (KiB) 1843348

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

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

[startup+1293.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2703
/proc/meminfo: memFree=15088/2055920 swapFree=4192812/4192956
[pid=2694] ppid=2692 vsize=0 CPUtime=1293.41
/proc/2694/stat : 2694 (wbo) R 2692 2694 2050 0 -1 4195332 482194 0 0 0 129038 303 0 0 25 0 1 0 181766816 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1293.41
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1293.9
CPU time (s): 1293.51
CPU user time (s): 1290.38
CPU system time (s): 3.13052
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1843348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1290.38
system time used= 3.13052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482194
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= 2298

runsolver used 0.951855 second user time and 2.76158 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-16 10:41:02
IDJOB=1875636
IDBENCH=1972
IDSOLVER=698
FILE ID=node11/1875636-1245141661
PBS_JOBID= 9363717
Free space on /tmp= 66180 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.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-1875636-1245141661/watcher-1875636-1245141661 -o /tmp/evaluation-result-1875636-1245141661/solver-1875636-1245141661 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875636-1245141661.opb

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

MD5SUM BENCH= 093efae700664f798191c0b27cec34af
RANDOM SEED=1218851992

node11.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.234
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.234
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:       1853144 kB
Buffers:         24928 kB
Cached:         105428 kB
SwapCached:          0 kB
Active:          46012 kB
Inactive:        97800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           19280 kB
Writeback:           0 kB
Mapped:          23244 kB
Slab:            44924 kB
Committed_AS:   176960 kB
PageTables:       1456 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-1875636-1245141661.opb

Free space on /tmp at the end= 66176 MiB
End job on node11 at 2009-06-16 11:02:38