Trace number 1875638

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) 1346.94 1347.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMfad34197fa8b5ebd519d12750a352ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5589
Best CPU time to get the best result obtained on this benchmark1603.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 480
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 495457
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 495457
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-1875638-1245142006.opb.
0.00/0.00	c Instance file HOME/instance-1875638-1245142006.opb
0.00/0.00	c File size is 17233664 bytes.
2.29/2.39	c Highest Coefficient sum: 101
2.39/2.40	c ============================[ Problem Statistics ]=============================
2.39/2.40	c |                                                                             |
2.39/2.40	c |  Parsing time:          2.36         s                                      |
2.39/2.40	c |  Number Variables:      10000                                               |
2.39/2.40	c |  Number Clauses:        666900                                              |
2.39/2.40	c |  Number Cardinality:    0                                                   |
2.39/2.40	c |  Number PB Constraints: 0                                                   |
2.39/2.40	c core #1
2.39/2.40	c Core size: 101	Core Weight: 1	Total Weight: 1
2.39/2.40	c Elapsed CPU time: 2.35664 s	Remaining CPU time: 1797.64 s
2.69/2.74	c core #2
2.69/2.74	c Core size: 101	Core Weight: 2	Total Weight: 3
2.69/2.74	c Elapsed CPU time: 2.67259 s	Remaining CPU time: 1797.33 s
2.99/3.07	c core #3
2.99/3.07	c Core size: 101	Core Weight: 2	Total Weight: 5
2.99/3.07	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 1797 s
3.39/3.40	c core #4
3.39/3.40	c Core size: 101	Core Weight: 1	Total Weight: 6
3.39/3.40	c Elapsed CPU time: 3.32249 s	Remaining CPU time: 1796.68 s
3.69/3.72	c core #5
3.69/3.72	c Core size: 101	Core Weight: 1	Total Weight: 7
3.69/3.72	c Elapsed CPU time: 3.64545 s	Remaining CPU time: 1796.35 s
3.99/4.09	c core #6
3.99/4.09	c Core size: 101	Core Weight: 1	Total Weight: 8
3.99/4.09	c Elapsed CPU time: 4.00939 s	Remaining CPU time: 1795.99 s
4.39/4.41	c core #7
4.39/4.41	c Core size: 201	Core Weight: 1	Total Weight: 9
4.39/4.41	c Elapsed CPU time: 4.33134 s	Remaining CPU time: 1795.67 s
4.68/4.73	c core #8
4.68/4.73	c Core size: 101	Core Weight: 1	Total Weight: 10
4.68/4.73	c Elapsed CPU time: 4.65829 s	Remaining CPU time: 1795.34 s
4.98/5.06	c core #9
4.98/5.06	c Core size: 101	Core Weight: 1	Total Weight: 11
4.98/5.06	c Elapsed CPU time: 4.97924 s	Remaining CPU time: 1795.02 s
5.29/5.38	c core #10
5.29/5.38	c Core size: 101	Core Weight: 1	Total Weight: 12
5.29/5.38	c Elapsed CPU time: 5.30119 s	Remaining CPU time: 1794.7 s
5.68/5.71	c core #11
5.68/5.71	c Core size: 101	Core Weight: 1	Total Weight: 13
5.68/5.71	c Elapsed CPU time: 5.63514 s	Remaining CPU time: 1794.36 s
5.98/6.04	c core #12
5.98/6.04	c Core size: 101	Core Weight: 1	Total Weight: 14
5.98/6.04	c Elapsed CPU time: 5.96309 s	Remaining CPU time: 1794.04 s
6.28/6.36	c core #13
6.28/6.36	c Core size: 201	Core Weight: 1	Total Weight: 15
6.28/6.36	c Elapsed CPU time: 6.28704 s	Remaining CPU time: 1793.71 s
6.69/6.70	c core #14
6.69/6.70	c Core size: 101	Core Weight: 1	Total Weight: 16
6.69/6.70	c Elapsed CPU time: 6.61899 s	Remaining CPU time: 1793.38 s
6.99/7.02	c core #15
6.99/7.02	c Core size: 101	Core Weight: 1	Total Weight: 17
6.99/7.02	c Elapsed CPU time: 6.94094 s	Remaining CPU time: 1793.06 s
7.29/7.35	c core #16
7.29/7.35	c Core size: 101	Core Weight: 2	Total Weight: 19
7.29/7.35	c Elapsed CPU time: 7.27089 s	Remaining CPU time: 1792.73 s
7.60/7.67	c core #17
7.60/7.67	c Core size: 101	Core Weight: 1	Total Weight: 20
7.60/7.67	c Elapsed CPU time: 7.59584 s	Remaining CPU time: 1792.4 s
7.99/8.01	c core #18
7.99/8.01	c Core size: 101	Core Weight: 1	Total Weight: 21
7.99/8.01	c Elapsed CPU time: 7.92979 s	Remaining CPU time: 1792.07 s
8.29/8.33	c core #19
8.29/8.33	c Core size: 101	Core Weight: 1	Total Weight: 22
8.29/8.33	c Elapsed CPU time: 8.25375 s	Remaining CPU time: 1791.75 s
8.59/8.66	c core #20
8.59/8.66	c Core size: 101	Core Weight: 1	Total Weight: 23
8.59/8.66	c Elapsed CPU time: 8.58169 s	Remaining CPU time: 1791.42 s
8.89/8.99	c core #21
8.89/8.99	c Core size: 101	Core Weight: 1	Total Weight: 24
8.89/8.99	c Elapsed CPU time: 8.90664 s	Remaining CPU time: 1791.09 s
9.29/9.35	c core #22
9.29/9.35	c Core size: 101	Core Weight: 1	Total Weight: 25
9.29/9.35	c Elapsed CPU time: 9.27059 s	Remaining CPU time: 1790.73 s
9.59/9.67	c core #23
9.59/9.67	c Core size: 101	Core Weight: 1	Total Weight: 26
9.59/9.67	c Elapsed CPU time: 9.59354 s	Remaining CPU time: 1790.41 s
9.99/10.00	c core #24
9.99/10.00	c Core size: 101	Core Weight: 1	Total Weight: 27
9.99/10.00	c Elapsed CPU time: 9.92049 s	Remaining CPU time: 1790.08 s
10.29/10.33	c core #25
10.29/10.33	c Core size: 101	Core Weight: 1	Total Weight: 28
10.29/10.33	c Elapsed CPU time: 10.2504 s	Remaining CPU time: 1789.75 s
10.59/10.65	c core #26
10.59/10.65	c Core size: 101	Core Weight: 1	Total Weight: 29
10.59/10.65	c Elapsed CPU time: 10.5734 s	Remaining CPU time: 1789.43 s
10.90/10.98	c core #27
10.90/10.98	c Core size: 101	Core Weight: 1	Total Weight: 30
10.90/10.98	c Elapsed CPU time: 10.8963 s	Remaining CPU time: 1789.1 s
11.29/11.30	c core #28
11.29/11.30	c Core size: 101	Core Weight: 2	Total Weight: 32
11.29/11.30	c Elapsed CPU time: 11.2213 s	Remaining CPU time: 1788.78 s
11.59/11.63	c core #29
11.59/11.63	c Core size: 101	Core Weight: 1	Total Weight: 33
11.59/11.63	c Elapsed CPU time: 11.5452 s	Remaining CPU time: 1788.45 s
11.89/11.96	c core #30
11.89/11.96	c Core size: 101	Core Weight: 1	Total Weight: 34
11.89/11.96	c Elapsed CPU time: 11.8812 s	Remaining CPU time: 1788.12 s
12.19/12.28	c core #31
12.19/12.28	c Core size: 101	Core Weight: 1	Total Weight: 35
12.19/12.28	c Elapsed CPU time: 12.2021 s	Remaining CPU time: 1787.8 s
12.59/12.61	c core #32
12.59/12.61	c Core size: 101	Core Weight: 1	Total Weight: 36
12.59/12.61	c Elapsed CPU time: 12.5271 s	Remaining CPU time: 1787.47 s
12.89/12.93	c core #33
12.89/12.93	c Core size: 101	Core Weight: 3	Total Weight: 39
12.89/12.93	c Elapsed CPU time: 12.852 s	Remaining CPU time: 1787.15 s
13.20/13.29	c core #34
13.20/13.29	c Core size: 101	Core Weight: 1	Total Weight: 40
13.20/13.29	c Elapsed CPU time: 13.212 s	Remaining CPU time: 1786.79 s
13.59/13.63	c core #35
13.59/13.63	c Core size: 101	Core Weight: 1	Total Weight: 41
13.59/13.63	c Elapsed CPU time: 13.5549 s	Remaining CPU time: 1786.45 s
13.89/13.98	c core #36
13.89/13.98	c Core size: 101	Core Weight: 1	Total Weight: 42
13.89/13.98	c Elapsed CPU time: 13.8939 s	Remaining CPU time: 1786.11 s
14.29/14.30	c core #37
14.29/14.30	c Core size: 201	Core Weight: 2	Total Weight: 44
14.29/14.30	c Elapsed CPU time: 14.2178 s	Remaining CPU time: 1785.78 s
14.59/14.63	c core #38
14.59/14.63	c Core size: 101	Core Weight: 1	Total Weight: 45
14.59/14.63	c Elapsed CPU time: 14.5488 s	Remaining CPU time: 1785.45 s
14.89/14.96	c core #39
14.89/14.96	c Core size: 101	Core Weight: 1	Total Weight: 46
14.89/14.96	c Elapsed CPU time: 14.8737 s	Remaining CPU time: 1785.13 s
15.29/15.32	c core #40
15.29/15.32	c Core size: 401	Core Weight: 1	Total Weight: 47
15.29/15.32	c Elapsed CPU time: 15.2377 s	Remaining CPU time: 1784.76 s
15.59/15.65	c core #41
15.59/15.65	c Core size: 101	Core Weight: 3	Total Weight: 50
15.59/15.65	c Elapsed CPU time: 15.5646 s	Remaining CPU time: 1784.44 s
15.89/15.98	c core #42
15.89/15.98	c Core size: 101	Core Weight: 1	Total Weight: 51
15.89/15.98	c Elapsed CPU time: 15.8936 s	Remaining CPU time: 1784.11 s
16.29/16.30	c core #43
16.29/16.30	c Core size: 101	Core Weight: 1	Total Weight: 52
16.29/16.30	c Elapsed CPU time: 16.2195 s	Remaining CPU time: 1783.78 s
16.59/16.65	c core #44
16.59/16.65	c Core size: 101	Core Weight: 1	Total Weight: 53
16.59/16.65	c Elapsed CPU time: 16.5615 s	Remaining CPU time: 1783.44 s
16.89/16.97	c core #45
16.89/16.97	c Core size: 101	Core Weight: 1	Total Weight: 54
16.89/16.97	c Elapsed CPU time: 16.8874 s	Remaining CPU time: 1783.11 s
17.29/17.33	c core #46
17.29/17.33	c Core size: 201	Core Weight: 1	Total Weight: 55
17.29/17.33	c Elapsed CPU time: 17.2474 s	Remaining CPU time: 1782.75 s
17.59/17.67	c core #47
17.59/17.67	c Core size: 101	Core Weight: 1	Total Weight: 56
17.59/17.67	c Elapsed CPU time: 17.5843 s	Remaining CPU time: 1782.42 s
17.99/18.03	c core #48
17.99/18.03	c Core size: 101	Core Weight: 1	Total Weight: 57
17.99/18.03	c Elapsed CPU time: 17.9433 s	Remaining CPU time: 1782.06 s
18.29/18.35	c core #49
18.29/18.35	c Core size: 101	Core Weight: 1	Total Weight: 58
18.29/18.35	c Elapsed CPU time: 18.2662 s	Remaining CPU time: 1781.73 s
18.59/18.68	c core #50
18.59/18.68	c Core size: 201	Core Weight: 2	Total Weight: 60
18.59/18.68	c Elapsed CPU time: 18.5932 s	Remaining CPU time: 1781.41 s
18.99/19.01	c core #51
18.99/19.01	c Core size: 101	Core Weight: 1	Total Weight: 61
18.99/19.01	c Elapsed CPU time: 18.9251 s	Remaining CPU time: 1781.07 s
19.29/19.34	c core #52
19.29/19.34	c Core size: 101	Core Weight: 1	Total Weight: 62
19.29/19.34	c Elapsed CPU time: 19.2541 s	Remaining CPU time: 1780.75 s
19.59/19.69	c core #53
19.59/19.69	c Core size: 101	Core Weight: 1	Total Weight: 63
19.59/19.69	c Elapsed CPU time: 19.602 s	Remaining CPU time: 1780.4 s
19.98/20.02	c core #54
19.98/20.02	c Core size: 101	Core Weight: 1	Total Weight: 64
19.98/20.02	c Elapsed CPU time: 19.933 s	Remaining CPU time: 1780.07 s
20.28/20.35	c core #55
20.28/20.35	c Core size: 101	Core Weight: 1	Total Weight: 65
20.28/20.35	c Elapsed CPU time: 20.2679 s	Remaining CPU time: 1779.73 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.6229 s	Remaining CPU time: 1779.38 s
20.98/21.06	c core #57
20.98/21.06	c Core size: 101	Core Weight: 1	Total Weight: 67
20.98/21.06	c Elapsed CPU time: 20.9728 s	Remaining CPU time: 1779.03 s
21.28/21.39	c core #58
21.28/21.39	c Core size: 101	Core Weight: 2	Total Weight: 69
21.28/21.39	c Elapsed CPU time: 21.3078 s	Remaining CPU time: 1778.69 s
21.68/21.75	c core #59
21.68/21.75	c Core size: 101	Core Weight: 1	Total Weight: 70
21.68/21.75	c Elapsed CPU time: 21.6667 s	Remaining CPU time: 1778.33 s
21.99/22.09	c core #60
21.99/22.09	c Core size: 101	Core Weight: 1	Total Weight: 71
21.99/22.09	c Elapsed CPU time: 22.0027 s	Remaining CPU time: 1778 s
22.39/22.42	c core #61
22.39/22.42	c Core size: 101	Core Weight: 1	Total Weight: 72
22.39/22.42	c Elapsed CPU time: 22.3336 s	Remaining CPU time: 1777.67 s
22.69/22.76	c core #62
22.69/22.76	c Core size: 201	Core Weight: 2	Total Weight: 74
22.69/22.76	c Elapsed CPU time: 22.6696 s	Remaining CPU time: 1777.33 s
22.99/23.10	c core #63
22.99/23.10	c Core size: 201	Core Weight: 1	Total Weight: 75
22.99/23.10	c Elapsed CPU time: 23.0085 s	Remaining CPU time: 1776.99 s
23.38/23.43	c core #64
23.38/23.43	c Core size: 101	Core Weight: 1	Total Weight: 76
23.38/23.43	c Elapsed CPU time: 23.3405 s	Remaining CPU time: 1776.66 s
23.68/23.76	c core #65
23.68/23.76	c Core size: 101	Core Weight: 1	Total Weight: 77
23.68/23.76	c Elapsed CPU time: 23.6764 s	Remaining CPU time: 1776.32 s
24.09/24.13	c core #66
24.09/24.13	c Core size: 101	Core Weight: 1	Total Weight: 78
24.09/24.13	c Elapsed CPU time: 24.0383 s	Remaining CPU time: 1775.96 s
24.38/24.46	c core #67
24.38/24.46	c Core size: 101	Core Weight: 1	Total Weight: 79
24.38/24.46	c Elapsed CPU time: 24.3763 s	Remaining CPU time: 1775.62 s
24.78/24.80	c core #68
24.78/24.80	c Core size: 101	Core Weight: 1	Total Weight: 80
24.78/24.80	c Elapsed CPU time: 24.7122 s	Remaining CPU time: 1775.29 s
25.08/25.14	c core #69
25.08/25.14	c Core size: 101	Core Weight: 1	Total Weight: 81
25.08/25.14	c Elapsed CPU time: 25.0572 s	Remaining CPU time: 1774.94 s
25.38/25.48	c core #70
25.38/25.48	c Core size: 101	Core Weight: 1	Total Weight: 82
25.38/25.48	c Elapsed CPU time: 25.3951 s	Remaining CPU time: 1774.6 s
25.78/25.81	c core #71
25.78/25.81	c Core size: 101	Core Weight: 1	Total Weight: 83
25.78/25.81	c Elapsed CPU time: 25.7281 s	Remaining CPU time: 1774.27 s
26.08/26.15	c core #72
26.08/26.15	c Core size: 201	Core Weight: 1	Total Weight: 84
26.08/26.15	c Elapsed CPU time: 26.06 s	Remaining CPU time: 1773.94 s
26.48/26.52	c core #73
26.48/26.52	c Core size: 101	Core Weight: 1	Total Weight: 85
26.48/26.52	c Elapsed CPU time: 26.432 s	Remaining CPU time: 1773.57 s
26.78/26.86	c core #74
26.78/26.86	c Core size: 101	Core Weight: 1	Total Weight: 86
26.78/26.86	c Elapsed CPU time: 26.7689 s	Remaining CPU time: 1773.23 s
27.18/27.21	c core #75
27.18/27.21	c Core size: 101	Core Weight: 1	Total Weight: 87
27.18/27.21	c Elapsed CPU time: 27.1189 s	Remaining CPU time: 1772.88 s
27.49/27.58	c core #76
27.49/27.58	c Core size: 101	Core Weight: 1	Total Weight: 88
27.49/27.58	c Elapsed CPU time: 27.4918 s	Remaining CPU time: 1772.51 s
27.88/27.95	c core #77
27.88/27.95	c Core size: 101	Core Weight: 1	Total Weight: 89
27.88/27.95	c Elapsed CPU time: 27.8658 s	Remaining CPU time: 1772.13 s
28.18/28.29	c core #78
28.18/28.29	c Core size: 101	Core Weight: 1	Total Weight: 90
28.18/28.29	c Elapsed CPU time: 28.2067 s	Remaining CPU time: 1771.79 s
28.59/28.65	c core #79
28.59/28.65	c Core size: 101	Core Weight: 1	Total Weight: 91
28.59/28.65	c Elapsed CPU time: 28.5667 s	Remaining CPU time: 1771.43 s
28.88/28.99	c core #80
28.88/28.99	c Core size: 101	Core Weight: 1	Total Weight: 92
28.88/28.99	c Elapsed CPU time: 28.9046 s	Remaining CPU time: 1771.1 s
29.28/29.33	c core #81
29.28/29.33	c Core size: 101	Core Weight: 1	Total Weight: 93
29.28/29.33	c Elapsed CPU time: 29.2456 s	Remaining CPU time: 1770.75 s
29.69/29.74	c core #82
29.69/29.74	c Core size: 2601	Core Weight: 1	Total Weight: 94
29.69/29.74	c Elapsed CPU time: 29.6485 s	Remaining CPU time: 1770.35 s
29.98/30.10	c core #83
29.98/30.10	c Core size: 101	Core Weight: 1	Total Weight: 95
29.98/30.10	c Elapsed CPU time: 30.0074 s	Remaining CPU time: 1769.99 s
30.38/30.45	c core #84
30.38/30.45	c Core size: 101	Core Weight: 1	Total Weight: 96
30.38/30.45	c Elapsed CPU time: 30.3574 s	Remaining CPU time: 1769.64 s
30.69/30.80	c core #85
30.69/30.80	c Core size: 101	Core Weight: 1	Total Weight: 97
30.69/30.80	c Elapsed CPU time: 30.7093 s	Remaining CPU time: 1769.29 s
31.08/31.13	c core #86
31.08/31.13	c Core size: 101	Core Weight: 1	Total Weight: 98
31.08/31.13	c Elapsed CPU time: 31.0323 s	Remaining CPU time: 1768.97 s
31.38/31.44	c core #87
31.38/31.44	c Core size: 101	Core Weight: 1	Total Weight: 99
31.38/31.44	c Elapsed CPU time: 31.3512 s	Remaining CPU time: 1768.65 s
31.68/31.77	c core #88
31.68/31.77	c Core size: 101	Core Weight: 1	Total Weight: 100
31.68/31.77	c Elapsed CPU time: 31.6722 s	Remaining CPU time: 1768.33 s
32.07/32.11	c core #89
32.07/32.11	c Core size: 101	Core Weight: 3	Total Weight: 103
32.07/32.11	c Elapsed CPU time: 32.0091 s	Remaining CPU time: 1767.99 s
32.37/32.44	c core #90
32.37/32.44	c Core size: 201	Core Weight: 1	Total Weight: 104
32.37/32.44	c Elapsed CPU time: 32.3471 s	Remaining CPU time: 1767.65 s
32.67/32.79	c core #91
32.67/32.79	c Core size: 101	Core Weight: 1	Total Weight: 105
32.67/32.79	c Elapsed CPU time: 32.69 s	Remaining CPU time: 1767.31 s
33.07/33.12	c core #92
33.07/33.12	c Core size: 101	Core Weight: 1	Total Weight: 106
33.07/33.12	c Elapsed CPU time: 33.026 s	Remaining CPU time: 1766.97 s
33.37/33.47	c core #93
33.37/33.47	c Core size: 101	Core Weight: 1	Total Weight: 107
33.37/33.47	c Elapsed CPU time: 33.3699 s	Remaining CPU time: 1766.63 s
33.77/33.81	c core #94
33.77/33.81	c Core size: 101	Core Weight: 1	Total Weight: 108
33.77/33.81	c Elapsed CPU time: 33.7139 s	Remaining CPU time: 1766.29 s
34.08/34.19	c core #95
34.08/34.19	c Core size: 101	Core Weight: 1	Total Weight: 109
34.08/34.19	c Elapsed CPU time: 34.0898 s	Remaining CPU time: 1765.91 s
34.47/34.53	c core #96
34.47/34.53	c Core size: 101	Core Weight: 1	Total Weight: 110
34.47/34.53	c Elapsed CPU time: 34.4278 s	Remaining CPU time: 1765.57 s
34.77/34.87	c core #97
34.77/34.87	c Core size: 201	Core Weight: 1	Total Weight: 111
34.77/34.87	c Elapsed CPU time: 34.7707 s	Remaining CPU time: 1765.23 s
35.18/35.22	c core #98
35.18/35.22	c Core size: 101	Core Weight: 1	Total Weight: 112
35.18/35.22	c Elapsed CPU time: 35.1157 s	Remaining CPU time: 1764.88 s
35.47/35.56	c core #99
35.47/35.56	c Core size: 501	Core Weight: 1	Total Weight: 113
35.47/35.56	c Elapsed CPU time: 35.4566 s	Remaining CPU time: 1764.54 s
35.87/35.90	c core #100
35.87/35.90	c Core size: 101	Core Weight: 1	Total Weight: 114
35.87/35.90	c Elapsed CPU time: 35.8016 s	Remaining CPU time: 1764.2 s
36.17/36.24	c core #101
36.17/36.24	c Core size: 101	Core Weight: 1	Total Weight: 115
36.17/36.24	c Elapsed CPU time: 36.1395 s	Remaining CPU time: 1763.86 s
36.57/36.60	c core #102
36.57/36.60	c Core size: 1801	Core Weight: 1	Total Weight: 116
36.57/36.60	c Elapsed CPU time: 36.5005 s	Remaining CPU time: 1763.5 s
36.87/36.97	c core #103
36.87/36.97	c Core size: 101	Core Weight: 1	Total Weight: 117
36.87/36.97	c Elapsed CPU time: 36.8634 s	Remaining CPU time: 1763.14 s
37.27/37.31	c core #104
37.27/37.31	c Core size: 101	Core Weight: 1	Total Weight: 118
37.27/37.31	c Elapsed CPU time: 37.2033 s	Remaining CPU time: 1762.8 s
37.57/37.66	c core #105
37.57/37.66	c Core size: 101	Core Weight: 1	Total Weight: 119
37.57/37.66	c Elapsed CPU time: 37.5583 s	Remaining CPU time: 1762.44 s
37.97/38.01	c core #106
37.97/38.01	c Core size: 101	Core Weight: 1	Total Weight: 120
37.97/38.01	c Elapsed CPU time: 37.9092 s	Remaining CPU time: 1762.09 s
38.27/38.36	c core #107
38.27/38.36	c Core size: 101	Core Weight: 1	Total Weight: 121
38.27/38.36	c Elapsed CPU time: 38.2542 s	Remaining CPU time: 1761.75 s
38.67/38.71	c core #108
38.67/38.71	c Core size: 101	Core Weight: 1	Total Weight: 122
38.67/38.71	c Elapsed CPU time: 38.6081 s	Remaining CPU time: 1761.39 s
38.97/39.06	c core #109
38.97/39.06	c Core size: 101	Core Weight: 1	Total Weight: 123
38.97/39.06	c Elapsed CPU time: 38.9531 s	Remaining CPU time: 1761.05 s
39.37/39.43	c core #110
39.37/39.43	c Core size: 101	Core Weight: 1	Total Weight: 124
39.37/39.43	c Elapsed CPU time: 39.325 s	Remaining CPU time: 1760.67 s
39.67/39.78	c core #111
39.67/39.78	c Core size: 101	Core Weight: 1	Total Weight: 125
39.67/39.78	c Elapsed CPU time: 39.676 s	Remaining CPU time: 1760.32 s
40.06/40.13	c core #112
40.06/40.13	c Core size: 101	Core Weight: 1	Total Weight: 126
40.06/40.13	c Elapsed CPU time: 40.0239 s	Remaining CPU time: 1759.98 s
40.36/40.48	c core #113
40.36/40.48	c Core size: 101	Core Weight: 1	Total Weight: 127
40.36/40.48	c Elapsed CPU time: 40.3779 s	Remaining CPU time: 1759.62 s
40.76/40.83	c core #114
40.76/40.83	c Core size: 101	Core Weight: 1	Total Weight: 128
40.76/40.83	c Elapsed CPU time: 40.7248 s	Remaining CPU time: 1759.28 s
41.06/41.19	c core #115
41.06/41.19	c Core size: 101	Core Weight: 1	Total Weight: 129
41.06/41.19	c Elapsed CPU time: 41.0878 s	Remaining CPU time: 1758.91 s
41.46/41.59	c core #116
41.46/41.59	c Core size: 1965	Core Weight: 1	Total Weight: 130
41.46/41.59	c Elapsed CPU time: 41.4807 s	Remaining CPU time: 1758.52 s
41.97/42.01	c core #117
41.97/42.01	c Core size: 101	Core Weight: 1	Total Weight: 131
41.97/42.01	c Elapsed CPU time: 41.8996 s	Remaining CPU time: 1758.1 s
42.37/42.41	c core #118
42.37/42.41	c Core size: 1991	Core Weight: 1	Total Weight: 132
42.37/42.41	c Elapsed CPU time: 42.3046 s	Remaining CPU time: 1757.7 s
42.67/42.79	c core #119
42.67/42.79	c Core size: 101	Core Weight: 1	Total Weight: 133
42.67/42.79	c Elapsed CPU time: 42.6825 s	Remaining CPU time: 1757.32 s
43.07/43.15	c core #120
43.07/43.15	c Core size: 201	Core Weight: 1	Total Weight: 134
43.07/43.15	c Elapsed CPU time: 43.0405 s	Remaining CPU time: 1756.96 s
43.47/43.52	c core #121
43.47/43.52	c Core size: 398	Core Weight: 1	Total Weight: 135
43.47/43.52	c Elapsed CPU time: 43.4004 s	Remaining CPU time: 1756.6 s
43.87/43.93	c core #122
43.87/43.93	c Core size: 2525	Core Weight: 1	Total Weight: 136
43.87/43.93	c Elapsed CPU time: 43.8053 s	Remaining CPU time: 1756.19 s
44.26/44.35	c core #123
44.26/44.35	c Core size: 1361	Core Weight: 1	Total Weight: 137
44.26/44.35	c Elapsed CPU time: 44.2173 s	Remaining CPU time: 1755.78 s
44.67/44.72	c core #124
44.67/44.72	c Core size: 101	Core Weight: 1	Total Weight: 138
44.67/44.72	c Elapsed CPU time: 44.5852 s	Remaining CPU time: 1755.41 s
44.97/45.09	c core #125
44.97/45.09	c Core size: 893	Core Weight: 1	Total Weight: 139
44.97/45.09	c Elapsed CPU time: 44.9522 s	Remaining CPU time: 1755.05 s
45.37/45.46	c core #126
45.37/45.46	c Core size: 101	Core Weight: 2	Total Weight: 141
45.37/45.46	c Elapsed CPU time: 45.3171 s	Remaining CPU time: 1754.68 s
45.77/45.84	c core #127
45.77/45.84	c Core size: 101	Core Weight: 5	Total Weight: 146
45.77/45.84	c Elapsed CPU time: 45.6941 s	Remaining CPU time: 1754.31 s
46.18/46.22	c core #128
46.18/46.22	c Core size: 1909	Core Weight: 1	Total Weight: 147
46.18/46.22	c Elapsed CPU time: 46.071 s	Remaining CPU time: 1753.93 s
46.56/46.62	c core #129
46.56/46.62	c Core size: 301	Core Weight: 1	Total Weight: 148
46.56/46.62	c Elapsed CPU time: 46.4589 s	Remaining CPU time: 1753.54 s
46.87/46.99	c core #130
46.87/46.99	c Core size: 301	Core Weight: 1	Total Weight: 149
46.87/46.99	c Elapsed CPU time: 46.8269 s	Remaining CPU time: 1753.17 s
47.27/47.37	c ============================[ Search Statistics ]==============================
47.27/47.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.27/47.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.27/47.37	c ===============================================================================
47.27/47.37	c |         0 |   29655   695916    53255 |   231972        0    nan |  0.000 % |
47.27/47.39	c ===============================================================================
47.27/47.39	c core #131
47.27/47.39	c Core size: 799	Core Weight: 1	Total Weight: 150
47.27/47.39	c Elapsed CPU time: 47.2248 s	Remaining CPU time: 1752.78 s
47.67/47.77	c ============================[ Search Statistics ]==============================
47.67/47.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.67/47.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.67/47.77	c ===============================================================================
47.67/47.77	c |         0 |   30442   696675    54150 |   232225        0    nan |  0.000 % |
47.77/47.80	c ===============================================================================
47.77/47.80	c core #132
47.77/47.80	c Core size: 1388	Core Weight: 1	Total Weight: 151
47.77/47.80	c Elapsed CPU time: 47.6308 s	Remaining CPU time: 1752.37 s
48.17/48.20	c ============================[ Search Statistics ]==============================
48.17/48.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.17/48.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.17/48.20	c ===============================================================================
48.17/48.20	c |         0 |   31917   697971    56146 |   232657        0    nan |  0.000 % |
48.17/48.25	c ===============================================================================
48.17/48.26	c core #133
48.17/48.26	c Core size: 1556	Core Weight: 1	Total Weight: 152
48.17/48.26	c Elapsed CPU time: 48.0817 s	Remaining CPU time: 1751.92 s
48.57/48.65	c ============================[ Search Statistics ]==============================
48.57/48.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.57/48.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.57/48.65	c ===============================================================================
48.57/48.65	c |         0 |   33452   699439    58058 |   233146        0    nan |  0.000 % |
48.76/48.84	c ===============================================================================
48.76/48.84	c core #134
48.76/48.84	c Core size: 3744	Core Weight: 1	Total Weight: 153
48.76/48.84	c Elapsed CPU time: 48.6546 s	Remaining CPU time: 1751.35 s
49.17/49.25	c Learning 2 hard constraints
49.17/49.25	c ============================[ Search Statistics ]==============================
49.17/49.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.17/49.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.17/49.25	c ===============================================================================
49.17/49.25	c |         0 |   37120   702877    63161 |   234292        0    nan |  0.000 % |
49.27/49.38	c |       100 |   37120   702877    63161 |   257721      100    753 | 20.366 % |
49.67/49.73	c |       250 |   37112   702877    63161 |   283493      242   1465 | 20.383 % |
50.17/50.26	c ===============================================================================
50.17/50.27	c core #135
50.17/50.27	c Core size: 7231	Core Weight: 1	Total Weight: 154
50.17/50.27	c Elapsed CPU time: 50.0654 s	Remaining CPU time: 1749.93 s
50.58/50.69	c Learning 1 hard constraints
50.58/50.69	c ============================[ Search Statistics ]==============================
50.58/50.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.58/50.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.58/50.69	c ===============================================================================
50.58/50.69	c |         0 |   44112   709327    72446 |   236442        0    nan |  0.000 % |
50.76/50.82	c |       100 |   44112   709327    72446 |   260086      100    949 | 17.598 % |
51.06/51.17	c |       250 |   44112   709327    72446 |   286095      250   1478 | 17.598 % |
51.77/51.83	c |       478 |   44112   709327    72446 |   314704      478   1939 | 17.598 % |
52.57/52.66	c |       815 |   44112   709327    72446 |   346175      815   1888 | 17.600 % |
54.27/54.38	c ===============================================================================
54.37/54.40	c core #136
54.37/54.40	c Core size: 9047	Core Weight: 1	Total Weight: 155
54.37/54.40	c Elapsed CPU time: 54.1648 s	Remaining CPU time: 1745.84 s
54.77/54.85	c Learning 10 hard constraints
54.77/54.85	c ============================[ Search Statistics ]==============================
54.77/54.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.77/54.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.77/54.85	c ===============================================================================
54.77/54.85	c |         0 |   52591   716910    86077 |   238970        0    nan |  0.000 % |
54.97/55.01	c |       100 |   52591   716910    86077 |   262867      100    480 | 15.087 % |
55.37/55.44	c |       250 |   52590   716910    86077 |   289153      249    723 | 15.088 % |
56.27/56.39	c |       475 |   52590   716910    86077 |   318069      474    841 | 15.088 % |
57.36/57.40	c |       812 |   52590   716910    86077 |   349875      811    772 | 15.088 % |
59.56/59.67	c |      1319 |   52590   716910    86077 |   384863     1318   1003 | 15.088 % |
62.57/62.66	c |      2079 |   52590   716910    86077 |   423349     2078   1101 | 15.088 % |
66.46/66.51	c |      3219 |   52590   716910    86077 |   465684     3218   1064 | 15.088 % |
74.25/74.39	c |      4930 |   52590   716910    86077 |   512253     4929   1416 | 15.088 % |
88.05/88.17	c |      7492 |   52590   716910    86077 |   563478     7491   1578 | 15.088 % |
111.94/112.06	c |     11336 |   52590   716910    86077 |   619826    11335   1915 | 15.088 % |
155.43/155.57	c |     17104 |   52589   716910    86077 |   681809    17094   2379 | 15.090 % |
240.31/240.45	c |     25753 |   52589   716910    86077 |   749990    25743   3057 | 15.090 % |
255.61/255.78	c ===============================================================================
256.01/256.11	c core #137
256.01/256.11	c Core size: 11040	Core Weight: 1	Total Weight: 156
256.01/256.11	c Elapsed CPU time: 255.334 s	Remaining CPU time: 1544.67 s
256.51/256.61	c Learning 23 hard constraints
256.51/256.61	c ============================[ Search Statistics ]==============================
256.51/256.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
256.51/256.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
256.51/256.61	c ===============================================================================
256.51/256.61	c |         0 |   62720   725451   105956 |   241817        0    nan |  0.000 % |
256.71/256.85	c |       101 |   62720   725451   105956 |   265998      101   1513 | 12.854 % |
257.31/257.45	c |       251 |   62720   725451   105956 |   292598      251   1358 | 12.854 % |
258.11/258.21	c |       476 |   62720   725451   105956 |   321858      476   1039 | 12.854 % |
259.41/259.51	c |       815 |   62720   725451   105956 |   354044      815    952 | 12.854 % |
261.71/261.84	c |      1321 |   62720   725451   105956 |   389448     1321    955 | 12.854 % |
264.81/264.92	c |      2081 |   62720   725451   105956 |   428393     2081   1050 | 12.854 % |
269.71/269.83	c |      3220 |   62720   725451   105956 |   471232     3220   1119 | 12.854 % |
278.00/278.14	c |      4928 |   62720   725451   105956 |   518356     4928   1293 | 12.854 % |
288.20/288.39	c |      7491 |   62720   725451   105956 |   570191     7491   1259 | 12.854 % |
305.40/305.58	c |     11336 |   62719   725451   105956 |   627211    11329   1214 | 12.855 % |
335.19/335.39	c |     17102 |   62719   725451   105956 |   689932    17095   1477 | 12.855 % |
377.47/377.68	c |     25752 |   62719   725451   105956 |   758925    25745   1477 | 12.855 % |
456.96/457.15	c |     38728 |   62719   725451   105956 |   834817    38721   1771 | 12.855 % |
586.13/586.37	c |     58194 |   62719   725451   105956 |   918299    58187   1976 | 12.855 % |
836.56/836.86	c |     87390 |   62719   725451   105956 |  1010129    87383   2207 | 12.855 % |

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-1875638-1245142006/watcher-1875638-1245142006 -o /tmp/evaluation-result-1875638-1245142006/solver-1875638-1245142006 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875638-1245142006.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 5402
/proc/meminfo: memFree=1918448/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=19684 CPUtime=0
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181801095 20156416 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 4921 248 122 292 0 418 0

[startup+0.0167529 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5402
/proc/meminfo: memFree=1918448/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=20820 CPUtime=0.01
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 525 0 0 0 1 0 0 0 18 0 1 0 181801095 21319680 509 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 5205 509 140 292 0 702 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20820

[startup+0.101757 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5402
/proc/meminfo: memFree=1918448/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=22220 CPUtime=0.09
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 1015 0 0 0 9 0 0 0 18 0 1 0 181801095 22753280 999 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 5555 999 293 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301769 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5402
/proc/meminfo: memFree=1918448/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=24136 CPUtime=0.29
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 1881 0 0 0 29 0 0 0 19 0 1 0 181801095 24715264 1865 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 6034 1865 655 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701795 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5402
/proc/meminfo: memFree=1918448/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=28016 CPUtime=0.69
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 3544 0 0 0 68 1 0 0 23 0 1 0 181801095 28688384 3528 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 7004 3528 1350 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1906792/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=36156 CPUtime=1.49
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 6950 0 0 0 147 2 0 0 25 0 1 0 181801095 37023744 6934 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 9039 6934 2772 292 0 4536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36156

[startup+3.10195 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1895784/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=53772 CPUtime=3.09
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 19331 0 0 0 302 7 0 0 25 0 1 0 181801095 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 134517478 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1865064/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=56940 CPUtime=6.28
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 20120 0 0 0 621 7 0 0 25 0 1 0 181801095 58306560 13417 1992294400 134512640 135709839 4294956240 18446744073709551615 134530336 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 14235 13417 133 292 0 13940 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56940

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1864368/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=57732 CPUtime=12.69
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 20314 0 0 0 1261 8 0 0 25 0 1 0 181801095 59117568 13611 1992294400 134512640 135709839 4294956240 18446744073709551615 135183228 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 14433 13611 133 292 0 14138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57732

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1862512/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=59580 CPUtime=25.48
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 20780 0 0 0 2540 8 0 0 25 0 1 0 181801095 61009920 14077 1992294400 134512640 135709839 4294956240 18446744073709551615 134605411 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 14895 14077 133 292 0 14600 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59580

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1845936/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=76480 CPUtime=51.06
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 37896 0 0 0 5086 20 0 0 25 0 1 0 181801095 78315520 17825 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 19120 17825 136 292 0 18825 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 76480

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1793904/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=130060 CPUtime=102.25
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 52801 0 0 0 10191 34 0 0 25 0 1 0 181801095 133181440 31182 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 32515 31182 136 292 0 32220 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 130060

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1694832/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=230464 CPUtime=162.23
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 77896 0 0 0 16175 48 0 0 25 0 1 0 181801095 235995136 56277 1992294400 134512640 135709839 4294956240 18446744073709551615 134572692 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 57616 56277 136 292 0 57321 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 230464

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5403
/proc/meminfo: memFree=1582000/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=341876 CPUtime=222.22
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 105727 0 0 0 22160 62 0 0 25 0 1 0 181801095 350081024 84108 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 85469 84108 136 292 0 85174 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 341876

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1501424/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=422772 CPUtime=282.2
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 127448 0 0 0 28142 78 0 0 25 0 1 0 181801095 432918528 104073 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 105693 104073 136 292 0 105398 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 422772

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1451056/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=472920 CPUtime=342.19
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 140063 0 0 0 34127 92 0 0 25 0 1 0 181801095 484270080 116688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 118230 116688 136 292 0 117935 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 472920

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1379760/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=544584 CPUtime=402.17
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 157984 0 0 0 40112 105 0 0 25 0 1 0 181801095 557654016 134609 1992294400 134512640 135709839 4294956240 18446744073709551615 134572314 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 136146 134609 136 292 0 135851 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 544584

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1288304/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=635488 CPUtime=462.16
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 180739 0 0 0 46096 120 0 0 25 0 1 0 181801095 650739712 157364 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 158872 157364 136 292 0 158577 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 635488

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1185712/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=738284 CPUtime=522.14
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 206397 0 0 0 52081 133 0 0 25 0 1 0 181801095 756002816 183022 1992294400 134512640 135709839 4294956240 18446744073709551615 134600552 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 184571 183022 136 292 0 184276 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 738284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1113584/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=810340 CPUtime=582.12
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 224428 0 0 0 58068 144 0 0 25 0 1 0 181801095 829788160 201053 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 202585 201053 136 292 0 202290 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 810340

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=1041904/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=881124 CPUtime=642.11
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 242107 0 0 0 64055 156 0 0 25 0 1 0 181801095 902270976 218732 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 220281 218732 136 292 0 219986 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 881124

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=968112/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=955184 CPUtime=702.1
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 260640 0 0 0 70039 171 0 0 25 0 1 0 181801095 978108416 237265 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 238796 237265 136 292 0 238501 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 955184

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=887408/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1035404 CPUtime=762.09
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 280676 0 0 0 76025 184 0 0 25 0 1 0 181801095 1060253696 257301 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 258851 257301 136 292 0 258556 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1035404

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5405
/proc/meminfo: memFree=812464/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1110920 CPUtime=822.07
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 299552 0 0 0 82010 197 0 0 25 0 1 0 181801095 1137582080 276177 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 277730 276177 136 292 0 277435 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1110920

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=733552/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1188960 CPUtime=882.05
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 319072 0 0 0 87997 208 0 0 25 0 1 0 181801095 1217495040 295697 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 297240 295697 136 292 0 296945 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1188960

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=639920/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1283416 CPUtime=942.04
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 342632 0 0 0 93982 222 0 0 25 0 1 0 181801095 1314217984 319257 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 320854 319257 136 292 0 320559 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1283416

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=536240/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1386320 CPUtime=1002.03
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 368359 0 0 0 99967 236 0 0 25 0 1 0 181801095 1419591680 344984 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 346580 344984 136 292 0 346285 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1386320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=462320/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1461072 CPUtime=1062.01
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 387083 0 0 0 105955 246 0 0 25 0 1 0 181801095 1496137728 363708 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 365268 363708 136 292 0 364973 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1461072

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=388976/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1533136 CPUtime=1122
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 405088 0 0 0 111944 256 0 0 25 0 1 0 181801095 1569931264 381713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 383284 381713 136 292 0 382989 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1533136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=302384/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1620352 CPUtime=1181.98
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 426884 0 0 0 117930 268 0 0 25 0 1 0 181801095 1659240448 403509 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 405088 403509 136 292 0 404793 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1620352

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=226992/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1695108 CPUtime=1241.97
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 445572 0 0 0 123920 277 0 0 25 0 1 0 181801095 1735790592 422197 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 423777 422197 136 292 0 423482 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1695108

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=147824/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1773056 CPUtime=1301.96
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 465077 0 0 0 129909 287 0 0 25 0 1 0 181801095 1815609344 441702 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 443264 441702 136 292 0 442969 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1773056



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1347 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=77680/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=1843204 CPUtime=1346.64
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4194304 482582 0 0 0 134371 293 0 0 25 0 1 0 181801095 1887440896 459207 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 460801 459207 136 292 0 460506 0
Current children cumulated CPU time (s) 1346.64
Current children cumulated vsize (KiB) 1843204

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

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

[startup+1347.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5411
/proc/meminfo: memFree=77680/2055920 swapFree=4181748/4192956
[pid=5402] ppid=5400 vsize=0 CPUtime=1346.84
/proc/5402/stat : 5402 (wbo) R 5400 5402 4962 0 -1 4195332 482582 0 0 0 134371 313 0 0 25 0 1 0 181801095 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1346.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1347.29
CPU time (s): 1346.94
CPU user time (s): 1343.72
CPU system time (s): 3.22051
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1843204

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

runsolver used 1.00285 second user time and 2.78658 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-16 10:46:47
IDJOB=1875638
IDBENCH=1974
IDSOLVER=698
FILE ID=node22/1875638-1245142006
PBS_JOBID= 9363697
Free space on /tmp= 66140 MiB

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

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

MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5
RANDOM SEED=126674303

node22.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.231
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.231
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:       1918936 kB
Buffers:         13196 kB
Cached:          74392 kB
SwapCached:       5504 kB
Active:          66368 kB
Inactive:        29176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1918936 kB
SwapTotal:     4192956 kB
SwapFree:      4181748 kB
Dirty:           19212 kB
Writeback:           0 kB
Mapped:          12960 kB
Slab:            27488 kB
Committed_AS:   152524 kB
PageTables:       1376 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-1875638-1245142006.opb

Free space on /tmp at the end= 66136 MiB
End job on node22 at 2009-06-16 11:09:16