Trace number 1875629

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? (TO) 1800.38 1802.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
MD5SUM3119db8d3d273f04fc4f3b1324a85224
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5502
Best CPU time to get the best result obtained on this benchmark1336.92
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 452
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 493167
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 493167
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-1875629-1245140067.opb.
0.00/0.00	c Instance file HOME/instance-1875629-1245140067.opb
0.00/0.00	c File size is 17233680 bytes.
2.29/2.33	c Highest Coefficient sum: 101
2.98/3.03	c ============================[ Problem Statistics ]=============================
2.98/3.03	c |                                                                             |
2.98/3.03	c |  Parsing time:          2.30         s                                      |
2.98/3.03	c |  Number Variables:      10000                                               |
2.98/3.03	c |  Number Clauses:        666900                                              |
2.98/3.03	c |  Number Cardinality:    0                                                   |
2.98/3.03	c |  Number PB Constraints: 0                                                   |
2.98/3.03	c core #1
2.98/3.03	c Core size: 101	Core Weight: 1	Total Weight: 1
2.98/3.03	c Elapsed CPU time: 2.29765 s	Remaining CPU time: 1797.7 s
2.98/3.03	c core #2
2.98/3.03	c Core size: 101	Core Weight: 1	Total Weight: 2
2.98/3.03	c Elapsed CPU time: 2.5926 s	Remaining CPU time: 1797.41 s
2.98/3.03	c core #3
2.98/3.03	c Core size: 101	Core Weight: 1	Total Weight: 3
2.98/3.03	c Elapsed CPU time: 2.89656 s	Remaining CPU time: 1797.1 s
3.27/3.39	c core #4
3.27/3.39	c Core size: 101	Core Weight: 3	Total Weight: 6
3.27/3.39	c Elapsed CPU time: 3.20151 s	Remaining CPU time: 1796.8 s
3.86/3.96	c core #5
3.86/3.96	c Core size: 101	Core Weight: 1	Total Weight: 7
3.86/3.96	c Elapsed CPU time: 3.50547 s	Remaining CPU time: 1796.49 s
3.86/3.96	c core #6
3.86/3.96	c Core size: 101	Core Weight: 1	Total Weight: 8
3.86/3.96	c Elapsed CPU time: 3.81142 s	Remaining CPU time: 1796.19 s
4.15/4.24	c core #7
4.15/4.24	c Core size: 101	Core Weight: 1	Total Weight: 9
4.15/4.24	c Elapsed CPU time: 4.11337 s	Remaining CPU time: 1795.89 s
4.45/4.55	c core #8
4.45/4.55	c Core size: 101	Core Weight: 1	Total Weight: 10
4.45/4.55	c Elapsed CPU time: 4.41833 s	Remaining CPU time: 1795.58 s
4.74/4.85	c core #9
4.74/4.85	c Core size: 101	Core Weight: 1	Total Weight: 11
4.74/4.85	c Elapsed CPU time: 4.72028 s	Remaining CPU time: 1795.28 s
5.40/5.96	c core #10
5.40/5.96	c Core size: 101	Core Weight: 1	Total Weight: 12
5.40/5.96	c Elapsed CPU time: 5.35119 s	Remaining CPU time: 1794.65 s
6.31/7.61	c core #11
6.31/7.61	c Core size: 101	Core Weight: 1	Total Weight: 13
6.31/7.61	c Elapsed CPU time: 6.22905 s	Remaining CPU time: 1793.77 s
6.61/7.94	c core #12
6.61/7.94	c Core size: 101	Core Weight: 1	Total Weight: 14
6.61/7.94	c Elapsed CPU time: 6.555 s	Remaining CPU time: 1793.44 s
6.91/8.26	c core #13
6.91/8.26	c Core size: 101	Core Weight: 1	Total Weight: 15
6.91/8.26	c Elapsed CPU time: 6.87396 s	Remaining CPU time: 1793.13 s
7.21/8.57	c core #14
7.21/8.57	c Core size: 101	Core Weight: 1	Total Weight: 16
7.21/8.57	c Elapsed CPU time: 7.19191 s	Remaining CPU time: 1792.81 s
7.51/8.89	c core #15
7.51/8.89	c Core size: 101	Core Weight: 1	Total Weight: 17
7.51/8.89	c Elapsed CPU time: 7.50986 s	Remaining CPU time: 1792.49 s
7.91/9.22	c core #16
7.91/9.22	c Core size: 101	Core Weight: 1	Total Weight: 18
7.91/9.22	c Elapsed CPU time: 7.83881 s	Remaining CPU time: 1792.16 s
8.21/9.54	c core #17
8.21/9.54	c Core size: 101	Core Weight: 1	Total Weight: 19
8.21/9.54	c Elapsed CPU time: 8.15876 s	Remaining CPU time: 1791.84 s
8.51/9.88	c core #18
8.51/9.88	c Core size: 101	Core Weight: 1	Total Weight: 20
8.51/9.88	c Elapsed CPU time: 8.49371 s	Remaining CPU time: 1791.51 s
8.91/10.20	c core #19
8.91/10.20	c Core size: 101	Core Weight: 2	Total Weight: 22
8.91/10.20	c Elapsed CPU time: 8.81566 s	Remaining CPU time: 1791.18 s
9.21/10.53	c core #20
9.21/10.53	c Core size: 101	Core Weight: 1	Total Weight: 23
9.21/10.53	c Elapsed CPU time: 9.14361 s	Remaining CPU time: 1790.86 s
9.51/10.85	c core #21
9.51/10.85	c Core size: 101	Core Weight: 1	Total Weight: 24
9.51/10.85	c Elapsed CPU time: 9.46556 s	Remaining CPU time: 1790.53 s
9.81/11.19	c core #22
9.81/11.19	c Core size: 301	Core Weight: 1	Total Weight: 25
9.81/11.19	c Elapsed CPU time: 9.80051 s	Remaining CPU time: 1790.2 s
10.21/11.52	c core #23
10.21/11.52	c Core size: 101	Core Weight: 3	Total Weight: 28
10.21/11.52	c Elapsed CPU time: 10.1355 s	Remaining CPU time: 1789.86 s
10.51/11.85	c core #24
10.51/11.85	c Core size: 101	Core Weight: 1	Total Weight: 29
10.51/11.85	c Elapsed CPU time: 10.4614 s	Remaining CPU time: 1789.54 s
10.80/12.19	c core #25
10.80/12.19	c Core size: 101	Core Weight: 2	Total Weight: 31
10.80/12.19	c Elapsed CPU time: 10.8084 s	Remaining CPU time: 1789.19 s
11.20/12.52	c core #26
11.20/12.52	c Core size: 101	Core Weight: 1	Total Weight: 32
11.20/12.52	c Elapsed CPU time: 11.1333 s	Remaining CPU time: 1788.87 s
11.50/12.85	c core #27
11.50/12.85	c Core size: 101	Core Weight: 1	Total Weight: 33
11.50/12.85	c Elapsed CPU time: 11.4613 s	Remaining CPU time: 1788.54 s
11.90/13.22	c core #28
11.90/13.22	c Core size: 101	Core Weight: 2	Total Weight: 35
11.90/13.22	c Elapsed CPU time: 11.8282 s	Remaining CPU time: 1788.17 s
12.20/13.54	c core #29
12.20/13.54	c Core size: 101	Core Weight: 1	Total Weight: 36
12.20/13.54	c Elapsed CPU time: 12.1552 s	Remaining CPU time: 1787.84 s
12.51/13.89	c core #30
12.51/13.89	c Core size: 101	Core Weight: 1	Total Weight: 37
12.51/13.89	c Elapsed CPU time: 12.5021 s	Remaining CPU time: 1787.5 s
12.90/14.22	c core #31
12.90/14.22	c Core size: 101	Core Weight: 1	Total Weight: 38
12.90/14.22	c Elapsed CPU time: 12.835 s	Remaining CPU time: 1787.16 s
13.20/14.55	c core #32
13.20/14.55	c Core size: 101	Core Weight: 1	Total Weight: 39
13.20/14.55	c Elapsed CPU time: 13.161 s	Remaining CPU time: 1786.84 s
13.51/14.89	c core #33
13.51/14.89	c Core size: 101	Core Weight: 1	Total Weight: 40
13.51/14.89	c Elapsed CPU time: 13.4979 s	Remaining CPU time: 1786.5 s
13.90/15.22	c core #34
13.90/15.22	c Core size: 101	Core Weight: 1	Total Weight: 41
13.90/15.22	c Elapsed CPU time: 13.8319 s	Remaining CPU time: 1786.17 s
14.20/15.55	c core #35
14.20/15.55	c Core size: 101	Core Weight: 1	Total Weight: 42
14.20/15.55	c Elapsed CPU time: 14.1598 s	Remaining CPU time: 1785.84 s
14.50/15.90	c core #36
14.50/15.90	c Core size: 101	Core Weight: 1	Total Weight: 43
14.50/15.90	c Elapsed CPU time: 14.5078 s	Remaining CPU time: 1785.49 s
14.90/16.23	c core #37
14.90/16.23	c Core size: 101	Core Weight: 1	Total Weight: 44
14.90/16.23	c Elapsed CPU time: 14.8377 s	Remaining CPU time: 1785.16 s
15.20/16.56	c core #38
15.20/16.56	c Core size: 101	Core Weight: 1	Total Weight: 45
15.20/16.56	c Elapsed CPU time: 15.1687 s	Remaining CPU time: 1784.83 s
15.60/16.90	c core #39
15.60/16.90	c Core size: 101	Core Weight: 1	Total Weight: 46
15.60/16.90	c Elapsed CPU time: 15.5066 s	Remaining CPU time: 1784.49 s
15.90/17.23	c core #40
15.90/17.23	c Core size: 101	Core Weight: 2	Total Weight: 48
15.90/17.23	c Elapsed CPU time: 15.8416 s	Remaining CPU time: 1784.16 s
16.20/17.56	c core #41
16.20/17.56	c Core size: 101	Core Weight: 1	Total Weight: 49
16.20/17.56	c Elapsed CPU time: 16.1715 s	Remaining CPU time: 1783.83 s
16.60/17.90	c core #42
16.60/17.90	c Core size: 101	Core Weight: 1	Total Weight: 50
16.60/17.90	c Elapsed CPU time: 16.5055 s	Remaining CPU time: 1783.49 s
16.90/18.23	c core #43
16.90/18.23	c Core size: 101	Core Weight: 1	Total Weight: 51
16.90/18.23	c Elapsed CPU time: 16.8364 s	Remaining CPU time: 1783.16 s
17.20/18.56	c core #44
17.20/18.56	c Core size: 401	Core Weight: 1	Total Weight: 52
17.20/18.56	c Elapsed CPU time: 17.1684 s	Remaining CPU time: 1782.83 s
17.61/18.91	c core #45
17.61/18.91	c Core size: 101	Core Weight: 1	Total Weight: 53
17.61/18.91	c Elapsed CPU time: 17.5123 s	Remaining CPU time: 1782.49 s
17.91/19.24	c core #46
17.91/19.24	c Core size: 101	Core Weight: 1	Total Weight: 54
17.91/19.24	c Elapsed CPU time: 17.8433 s	Remaining CPU time: 1782.16 s
18.21/19.59	c core #47
18.21/19.59	c Core size: 1401	Core Weight: 1	Total Weight: 55
18.21/19.59	c Elapsed CPU time: 18.1912 s	Remaining CPU time: 1781.81 s
18.61/19.93	c core #48
18.61/19.93	c Core size: 101	Core Weight: 1	Total Weight: 56
18.61/19.93	c Elapsed CPU time: 18.5362 s	Remaining CPU time: 1781.46 s
18.91/20.26	c core #49
18.91/20.26	c Core size: 101	Core Weight: 1	Total Weight: 57
18.91/20.26	c Elapsed CPU time: 18.8701 s	Remaining CPU time: 1781.13 s
19.31/20.60	c core #50
19.31/20.60	c Core size: 101	Core Weight: 1	Total Weight: 58
19.31/20.60	c Elapsed CPU time: 19.2021 s	Remaining CPU time: 1780.8 s
19.61/20.93	c core #51
19.61/20.93	c Core size: 201	Core Weight: 1	Total Weight: 59
19.61/20.93	c Elapsed CPU time: 19.537 s	Remaining CPU time: 1780.46 s
19.90/21.27	c core #52
19.90/21.27	c Core size: 101	Core Weight: 1	Total Weight: 60
19.90/21.27	c Elapsed CPU time: 19.87 s	Remaining CPU time: 1780.13 s
20.30/21.60	c core #53
20.30/21.60	c Core size: 601	Core Weight: 1	Total Weight: 61
20.30/21.60	c Elapsed CPU time: 20.2029 s	Remaining CPU time: 1779.8 s
20.60/21.94	c core #54
20.60/21.94	c Core size: 101	Core Weight: 1	Total Weight: 62
20.60/21.94	c Elapsed CPU time: 20.5429 s	Remaining CPU time: 1779.46 s
20.90/22.27	c core #55
20.90/22.27	c Core size: 101	Core Weight: 1	Total Weight: 63
20.90/22.27	c Elapsed CPU time: 20.8748 s	Remaining CPU time: 1779.13 s
21.31/22.61	c core #56
21.31/22.61	c Core size: 101	Core Weight: 1	Total Weight: 64
21.31/22.61	c Elapsed CPU time: 21.2118 s	Remaining CPU time: 1778.79 s
21.60/22.94	c core #57
21.60/22.94	c Core size: 101	Core Weight: 1	Total Weight: 65
21.60/22.94	c Elapsed CPU time: 21.5447 s	Remaining CPU time: 1778.46 s
21.90/23.28	c core #58
21.90/23.28	c Core size: 101	Core Weight: 1	Total Weight: 66
21.90/23.28	c Elapsed CPU time: 21.8777 s	Remaining CPU time: 1778.12 s
22.31/23.61	c core #59
22.31/23.61	c Core size: 101	Core Weight: 1	Total Weight: 67
22.31/23.61	c Elapsed CPU time: 22.2116 s	Remaining CPU time: 1777.79 s
22.60/23.96	c core #60
22.60/23.96	c Core size: 501	Core Weight: 1	Total Weight: 68
22.60/23.96	c Elapsed CPU time: 22.5636 s	Remaining CPU time: 1777.44 s
23.00/24.30	c core #61
23.00/24.30	c Core size: 101	Core Weight: 2	Total Weight: 70
23.00/24.30	c Elapsed CPU time: 22.8965 s	Remaining CPU time: 1777.1 s
23.30/24.63	c core #62
23.30/24.63	c Core size: 101	Core Weight: 1	Total Weight: 71
23.30/24.63	c Elapsed CPU time: 23.2315 s	Remaining CPU time: 1776.77 s
23.60/24.97	c core #63
23.60/24.97	c Core size: 101	Core Weight: 1	Total Weight: 72
23.60/24.97	c Elapsed CPU time: 23.5644 s	Remaining CPU time: 1776.44 s
23.90/25.30	c core #64
23.90/25.30	c Core size: 101	Core Weight: 1	Total Weight: 73
23.90/25.30	c Elapsed CPU time: 23.8944 s	Remaining CPU time: 1776.11 s
24.30/25.63	c core #65
24.30/25.63	c Core size: 101	Core Weight: 1	Total Weight: 74
24.30/25.63	c Elapsed CPU time: 24.2263 s	Remaining CPU time: 1775.77 s
24.60/25.97	c core #66
24.60/25.97	c Core size: 101	Core Weight: 1	Total Weight: 75
24.60/25.97	c Elapsed CPU time: 24.5703 s	Remaining CPU time: 1775.43 s
25.00/26.32	c core #67
25.00/26.32	c Core size: 101	Core Weight: 2	Total Weight: 77
25.00/26.32	c Elapsed CPU time: 24.9152 s	Remaining CPU time: 1775.08 s
25.30/26.65	c core #68
25.30/26.65	c Core size: 101	Core Weight: 1	Total Weight: 78
25.30/26.65	c Elapsed CPU time: 25.2492 s	Remaining CPU time: 1774.75 s
25.70/27.01	c core #69
25.70/27.01	c Core size: 101	Core Weight: 1	Total Weight: 79
25.70/27.01	c Elapsed CPU time: 25.6051 s	Remaining CPU time: 1774.39 s
26.00/27.35	c core #70
26.00/27.35	c Core size: 101	Core Weight: 1	Total Weight: 80
26.00/27.35	c Elapsed CPU time: 25.9491 s	Remaining CPU time: 1774.05 s
26.30/27.68	c core #71
26.30/27.68	c Core size: 101	Core Weight: 2	Total Weight: 82
26.30/27.68	c Elapsed CPU time: 26.281 s	Remaining CPU time: 1773.72 s
26.70/28.02	c core #72
26.70/28.02	c Core size: 101	Core Weight: 2	Total Weight: 84
26.70/28.02	c Elapsed CPU time: 26.617 s	Remaining CPU time: 1773.38 s
27.00/28.35	c core #73
27.00/28.35	c Core size: 101	Core Weight: 1	Total Weight: 85
27.00/28.35	c Elapsed CPU time: 26.9489 s	Remaining CPU time: 1773.05 s
27.40/28.74	c core #74
27.40/28.74	c Core size: 101	Core Weight: 1	Total Weight: 86
27.40/28.74	c Elapsed CPU time: 27.3358 s	Remaining CPU time: 1772.66 s
27.70/29.07	c core #75
27.70/29.07	c Core size: 101	Core Weight: 1	Total Weight: 87
27.70/29.07	c Elapsed CPU time: 27.6698 s	Remaining CPU time: 1772.33 s
28.10/29.42	c core #76
28.10/29.42	c Core size: 201	Core Weight: 1	Total Weight: 88
28.10/29.42	c Elapsed CPU time: 28.0147 s	Remaining CPU time: 1771.99 s
28.40/29.76	c core #77
28.40/29.76	c Core size: 101	Core Weight: 1	Total Weight: 89
28.40/29.76	c Elapsed CPU time: 28.3517 s	Remaining CPU time: 1771.65 s
28.80/30.11	c core #78
28.80/30.11	c Core size: 101	Core Weight: 1	Total Weight: 90
28.80/30.11	c Elapsed CPU time: 28.7016 s	Remaining CPU time: 1771.3 s
29.10/30.44	c core #79
29.10/30.44	c Core size: 101	Core Weight: 1	Total Weight: 91
29.10/30.44	c Elapsed CPU time: 29.0366 s	Remaining CPU time: 1770.96 s
29.40/30.79	c core #80
29.40/30.79	c Core size: 101	Core Weight: 1	Total Weight: 92
29.40/30.79	c Elapsed CPU time: 29.3855 s	Remaining CPU time: 1770.61 s
29.80/31.14	c core #81
29.80/31.14	c Core size: 301	Core Weight: 2	Total Weight: 94
29.80/31.14	c Elapsed CPU time: 29.7305 s	Remaining CPU time: 1770.27 s
30.10/31.48	c core #82
30.10/31.48	c Core size: 101	Core Weight: 1	Total Weight: 95
30.10/31.48	c Elapsed CPU time: 30.0754 s	Remaining CPU time: 1769.92 s
30.50/31.82	c core #83
30.50/31.82	c Core size: 101	Core Weight: 1	Total Weight: 96
30.50/31.82	c Elapsed CPU time: 30.4134 s	Remaining CPU time: 1769.59 s
30.79/32.19	c core #84
30.79/32.19	c Core size: 2801	Core Weight: 1	Total Weight: 97
30.79/32.19	c Elapsed CPU time: 30.7863 s	Remaining CPU time: 1769.21 s
31.20/32.54	c core #85
31.20/32.54	c Core size: 101	Core Weight: 1	Total Weight: 98
31.20/32.54	c Elapsed CPU time: 31.1343 s	Remaining CPU time: 1768.87 s
31.59/32.92	c core #86
31.59/32.92	c Core size: 101	Core Weight: 3	Total Weight: 101
31.59/32.92	c Elapsed CPU time: 31.5152 s	Remaining CPU time: 1768.48 s
31.89/33.27	c core #87
31.89/33.27	c Core size: 101	Core Weight: 1	Total Weight: 102
31.89/33.27	c Elapsed CPU time: 31.8582 s	Remaining CPU time: 1768.14 s
32.30/33.61	c core #88
32.30/33.61	c Core size: 101	Core Weight: 1	Total Weight: 103
32.30/33.61	c Elapsed CPU time: 32.2001 s	Remaining CPU time: 1767.8 s
32.59/33.96	c core #89
32.59/33.96	c Core size: 101	Core Weight: 1	Total Weight: 104
32.59/33.96	c Elapsed CPU time: 32.5461 s	Remaining CPU time: 1767.45 s
32.99/34.30	c core #90
32.99/34.30	c Core size: 101	Core Weight: 1	Total Weight: 105
32.99/34.30	c Elapsed CPU time: 32.889 s	Remaining CPU time: 1767.11 s
33.30/34.66	c core #91
33.30/34.66	c Core size: 101	Core Weight: 1	Total Weight: 106
33.30/34.66	c Elapsed CPU time: 33.2519 s	Remaining CPU time: 1766.75 s
33.69/35.01	c core #92
33.69/35.01	c Core size: 101	Core Weight: 1	Total Weight: 107
33.69/35.01	c Elapsed CPU time: 33.5939 s	Remaining CPU time: 1766.41 s
33.99/35.35	c core #93
33.99/35.35	c Core size: 101	Core Weight: 1	Total Weight: 108
33.99/35.35	c Elapsed CPU time: 33.9368 s	Remaining CPU time: 1766.06 s
34.29/35.70	c core #94
34.29/35.70	c Core size: 101	Core Weight: 2	Total Weight: 110
34.29/35.70	c Elapsed CPU time: 34.2838 s	Remaining CPU time: 1765.72 s
34.69/36.05	c core #95
34.69/36.05	c Core size: 801	Core Weight: 1	Total Weight: 111
34.69/36.05	c Elapsed CPU time: 34.6357 s	Remaining CPU time: 1765.36 s
35.09/36.41	c core #96
35.09/36.41	c Core size: 1201	Core Weight: 1	Total Weight: 112
35.09/36.41	c Elapsed CPU time: 34.9937 s	Remaining CPU time: 1765.01 s
35.39/36.79	c core #97
35.39/36.79	c Core size: 101	Core Weight: 1	Total Weight: 113
35.39/36.79	c Elapsed CPU time: 35.3766 s	Remaining CPU time: 1764.62 s
35.79/37.14	c core #98
35.79/37.14	c Core size: 101	Core Weight: 1	Total Weight: 114
35.79/37.14	c Elapsed CPU time: 35.7276 s	Remaining CPU time: 1764.27 s
36.09/37.49	c core #99
36.09/37.49	c Core size: 401	Core Weight: 1	Total Weight: 115
36.09/37.49	c Elapsed CPU time: 36.0765 s	Remaining CPU time: 1763.92 s
36.48/37.84	c core #100
36.48/37.84	c Core size: 101	Core Weight: 1	Total Weight: 116
36.48/37.84	c Elapsed CPU time: 36.4285 s	Remaining CPU time: 1763.57 s
36.78/38.19	c core #101
36.78/38.19	c Core size: 101	Core Weight: 1	Total Weight: 117
36.78/38.19	c Elapsed CPU time: 36.7744 s	Remaining CPU time: 1763.23 s
37.18/38.54	c core #102
37.18/38.54	c Core size: 301	Core Weight: 1	Total Weight: 118
37.18/38.54	c Elapsed CPU time: 37.1224 s	Remaining CPU time: 1762.88 s
37.58/38.90	c core #103
37.58/38.90	c Core size: 801	Core Weight: 1	Total Weight: 119
37.58/38.90	c Elapsed CPU time: 37.4843 s	Remaining CPU time: 1762.52 s
37.88/39.28	c core #104
37.88/39.28	c Core size: 101	Core Weight: 1	Total Weight: 120
37.88/39.28	c Elapsed CPU time: 37.8662 s	Remaining CPU time: 1762.13 s
38.28/39.64	c core #105
38.28/39.64	c Core size: 101	Core Weight: 1	Total Weight: 121
38.28/39.64	c Elapsed CPU time: 38.2202 s	Remaining CPU time: 1761.78 s
38.58/39.99	c core #106
38.58/39.99	c Core size: 101	Core Weight: 1	Total Weight: 122
38.58/39.99	c Elapsed CPU time: 38.5671 s	Remaining CPU time: 1761.43 s
38.98/40.34	c core #107
38.98/40.34	c Core size: 101	Core Weight: 1	Total Weight: 123
38.98/40.34	c Elapsed CPU time: 38.9231 s	Remaining CPU time: 1761.08 s
39.38/40.72	c core #108
39.38/40.72	c Core size: 101	Core Weight: 1	Total Weight: 124
39.38/40.72	c Elapsed CPU time: 39.3 s	Remaining CPU time: 1760.7 s
39.68/41.08	c core #109
39.68/41.08	c Core size: 201	Core Weight: 1	Total Weight: 125
39.68/41.08	c Elapsed CPU time: 39.661 s	Remaining CPU time: 1760.34 s
40.08/41.45	c core #110
40.08/41.45	c Core size: 101	Core Weight: 4	Total Weight: 129
40.08/41.45	c Elapsed CPU time: 40.0229 s	Remaining CPU time: 1759.98 s
40.38/41.79	c core #111
40.38/41.79	c Core size: 101	Core Weight: 1	Total Weight: 130
40.38/41.79	c Elapsed CPU time: 40.3709 s	Remaining CPU time: 1759.63 s
40.78/42.15	c core #112
40.78/42.15	c Core size: 101	Core Weight: 2	Total Weight: 132
40.78/42.15	c Elapsed CPU time: 40.7228 s	Remaining CPU time: 1759.28 s
41.08/42.49	c core #113
41.08/42.49	c Core size: 101	Core Weight: 1	Total Weight: 133
41.08/42.49	c Elapsed CPU time: 41.0668 s	Remaining CPU time: 1758.93 s
41.48/42.85	c core #114
41.48/42.85	c Core size: 201	Core Weight: 1	Total Weight: 134
41.48/42.85	c Elapsed CPU time: 41.4247 s	Remaining CPU time: 1758.58 s
41.88/43.20	c core #115
41.88/43.20	c Core size: 101	Core Weight: 1	Total Weight: 135
41.88/43.20	c Elapsed CPU time: 41.7746 s	Remaining CPU time: 1758.23 s
42.19/43.55	c core #116
42.19/43.55	c Core size: 101	Core Weight: 1	Total Weight: 136
42.19/43.55	c Elapsed CPU time: 42.1236 s	Remaining CPU time: 1757.88 s
42.58/43.90	c core #117
42.58/43.90	c Core size: 101	Core Weight: 3	Total Weight: 139
42.58/43.90	c Elapsed CPU time: 42.4755 s	Remaining CPU time: 1757.52 s
42.88/44.26	c core #118
42.88/44.26	c Core size: 101	Core Weight: 1	Total Weight: 140
42.88/44.26	c Elapsed CPU time: 42.8325 s	Remaining CPU time: 1757.17 s
43.29/44.63	c core #119
43.29/44.63	c Core size: 200	Core Weight: 1	Total Weight: 141
43.29/44.63	c Elapsed CPU time: 43.2034 s	Remaining CPU time: 1756.8 s
43.68/45.02	c core #120
43.68/45.02	c Core size: 299	Core Weight: 1	Total Weight: 142
43.68/45.02	c Elapsed CPU time: 43.5874 s	Remaining CPU time: 1756.41 s
43.98/45.39	c core #121
43.98/45.39	c Core size: 299	Core Weight: 1	Total Weight: 143
43.98/45.39	c Elapsed CPU time: 43.9403 s	Remaining CPU time: 1756.06 s
44.39/45.78	c core #122
44.39/45.78	c Core size: 1546	Core Weight: 1	Total Weight: 144
44.39/45.78	c Elapsed CPU time: 44.3293 s	Remaining CPU time: 1755.67 s
44.78/46.15	c core #123
44.78/46.15	c Core size: 101	Core Weight: 1	Total Weight: 145
44.78/46.15	c Elapsed CPU time: 44.7012 s	Remaining CPU time: 1755.3 s
45.17/46.57	c core #124
45.17/46.57	c Core size: 3313	Core Weight: 1	Total Weight: 146
45.17/46.57	c Elapsed CPU time: 45.1161 s	Remaining CPU time: 1754.88 s
45.58/46.96	c core #125
45.58/46.96	c Core size: 101	Core Weight: 1	Total Weight: 147
45.58/46.96	c Elapsed CPU time: 45.4911 s	Remaining CPU time: 1754.51 s
45.97/47.33	c core #126
45.97/47.33	c Core size: 203	Core Weight: 1	Total Weight: 148
45.97/47.33	c Elapsed CPU time: 45.858 s	Remaining CPU time: 1754.14 s
46.37/47.70	c core #127
46.37/47.70	c Core size: 303	Core Weight: 1	Total Weight: 149
46.37/47.70	c Elapsed CPU time: 46.221 s	Remaining CPU time: 1753.78 s
46.67/48.07	c core #128
46.67/48.07	c Core size: 693	Core Weight: 1	Total Weight: 150
46.67/48.07	c Elapsed CPU time: 46.5839 s	Remaining CPU time: 1753.42 s
47.08/48.45	c ============================[ Search Statistics ]==============================
47.08/48.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.08/48.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.08/48.45	c ===============================================================================
47.08/48.45	c |         0 |   27029   694116    50205 |   231372        0    nan |  0.000 % |
47.08/48.46	c ===============================================================================
47.08/48.46	c core #129
47.08/48.46	c Core size: 807	Core Weight: 1	Total Weight: 151
47.08/48.46	c Elapsed CPU time: 46.9789 s	Remaining CPU time: 1753.02 s
47.47/48.85	c ============================[ Search Statistics ]==============================
47.47/48.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.47/48.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.47/48.85	c ===============================================================================
47.47/48.85	c |         0 |   28027   694889    51104 |   231629        0    nan |  0.000 % |
47.47/48.86	c ===============================================================================
47.47/48.86	c core #130
47.47/48.86	c Core size: 890	Core Weight: 1	Total Weight: 152
47.47/48.86	c Elapsed CPU time: 47.3688 s	Remaining CPU time: 1752.63 s
47.88/49.24	c ============================[ Search Statistics ]==============================
47.88/49.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.88/49.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.88/49.24	c ===============================================================================
47.88/49.24	c |         0 |   29118   695732    52253 |   231910        0    nan |  0.000 % |
47.88/49.27	c ===============================================================================
47.88/49.27	c core #131
47.88/49.27	c Core size: 987	Core Weight: 1	Total Weight: 153
47.88/49.27	c Elapsed CPU time: 47.7697 s	Remaining CPU time: 1752.23 s
48.27/49.65	c ============================[ Search Statistics ]==============================
48.27/49.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.27/49.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.27/49.65	c ===============================================================================
48.27/49.65	c |         0 |   30306   696679    53432 |   232226        0    nan |  0.000 % |
48.37/49.78	c ===============================================================================
48.37/49.79	c core #132
48.37/49.79	c Core size: 3093	Core Weight: 1	Total Weight: 154
48.37/49.79	c Elapsed CPU time: 48.2797 s	Remaining CPU time: 1751.72 s
48.78/50.18	c ============================[ Search Statistics ]==============================
48.78/50.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.78/50.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.78/50.18	c ===============================================================================
48.78/50.18	c |         0 |   33446   699592    57258 |   233197        0    nan |  0.000 % |
48.87/50.21	c ===============================================================================
48.87/50.21	c core #133
48.87/50.21	c Core size: 989	Core Weight: 1	Total Weight: 155
48.87/50.21	c Elapsed CPU time: 48.6996 s	Remaining CPU time: 1751.3 s
49.27/50.60	c ============================[ Search Statistics ]==============================
49.27/50.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.27/50.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.27/50.60	c ===============================================================================
49.27/50.60	c |         0 |   34420   700530    58419 |   233510        0    nan |  0.000 % |
49.37/50.75	c ===============================================================================
49.37/50.76	c core #134
49.37/50.76	c Core size: 3350	Core Weight: 1	Total Weight: 156
49.37/50.76	c Elapsed CPU time: 49.2265 s	Remaining CPU time: 1750.77 s
49.78/51.16	c Learning 2 hard constraints
49.78/51.16	c ============================[ Search Statistics ]==============================
49.78/51.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.78/51.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.78/51.17	c ===============================================================================
49.78/51.17	c |         0 |   37718   703636    63277 |   234545        0    nan |  0.000 % |
50.17/51.59	c ===============================================================================
50.17/51.59	c core #135
50.17/51.59	c Core size: 5785	Core Weight: 1	Total Weight: 157
50.17/51.59	c Elapsed CPU time: 50.0524 s	Remaining CPU time: 1749.95 s
50.67/52.02	c Learning 1 hard constraints
50.67/52.02	c ============================[ Search Statistics ]==============================
50.67/52.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.67/52.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.67/52.02	c ===============================================================================
50.67/52.02	c |         0 |   43473   708971    71595 |   236323        0    nan |  0.000 % |
50.87/52.21	c |       100 |   43473   708971    71595 |   259956      100   1992 | 17.853 % |
51.27/52.70	c |       254 |   43473   708971    71595 |   285951      254   2406 | 17.853 % |
51.97/53.31	c |       479 |   43472   708971    71595 |   314546      477   2091 | 17.855 % |
52.86/54.27	c |       817 |   43472   708971    71595 |   346001      815   2269 | 17.855 % |
53.86/55.27	c ===============================================================================
53.86/55.28	c core #136
53.86/55.28	c Core size: 9737	Core Weight: 1	Total Weight: 158
53.86/55.28	c Elapsed CPU time: 53.7138 s	Remaining CPU time: 1746.29 s
54.37/55.74	c Learning 9 hard constraints
54.37/55.74	c ============================[ Search Statistics ]==============================
54.37/55.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.37/55.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.37/55.74	c ===============================================================================
54.37/55.74	c |         0 |   52685   717152    86825 |   239050        0    nan |  0.000 % |
54.57/55.96	c |       100 |   52685   717152    86825 |   262955      100   1115 | 15.065 % |
55.37/56.71	c |       254 |   52685   717152    86825 |   289251      254   1512 | 15.065 % |
56.17/57.55	c |       479 |   52685   717152    86825 |   318176      479   1299 | 15.065 % |
57.37/58.72	c |       816 |   52685   717152    86825 |   349994      816   1213 | 15.065 % |
59.06/60.45	c |      1323 |   52685   717152    86825 |   384993     1323   1190 | 15.065 % |
61.07/62.49	c |      2082 |   52685   717152    86825 |   423492     2082   1097 | 15.065 % |
64.76/66.10	c |      3222 |   52685   717152    86825 |   465842     3222   1156 | 15.065 % |
70.87/72.28	c |      4932 |   52684   717152    86825 |   512426     4922   1429 | 15.067 % |
76.36/77.78	c ===============================================================================
76.46/77.84	c core #137
76.46/77.84	c Core size: 11171	Core Weight: 1	Total Weight: 159
76.46/77.84	c Elapsed CPU time: 76.1774 s	Remaining CPU time: 1723.82 s
76.96/78.31	c Learning 13 hard constraints
76.96/78.31	c ============================[ Search Statistics ]==============================
76.96/78.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.96/78.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.96/78.31	c ===============================================================================
76.96/78.31	c |         0 |   63031   725965   105403 |   241988        0    nan |  0.000 % |
77.17/78.53	c |       101 |   63031   725965   105403 |   266187      101    861 | 12.780 % |
77.76/79.17	c |       251 |   63031   725965   105403 |   292805      251   1015 | 12.780 % |
78.86/80.21	c |       478 |   63031   725965   105403 |   322086      478    991 | 12.780 % |
79.96/81.32	c |       815 |   63031   725965   105403 |   354295      815    851 | 12.780 % |
81.46/82.85	c |      1321 |   63031   725965   105403 |   389724     1321    775 | 12.780 % |
84.05/85.40	c |      2080 |   63031   725965   105403 |   428697     2080    697 | 12.780 % |
89.16/90.51	c |      3219 |   63031   725965   105403 |   471566     3219    931 | 12.780 % |
96.55/97.98	c |      4928 |   63031   725965   105403 |   518723     4928   1013 | 12.780 % |
107.75/109.16	c |      7490 |   63031   725965   105403 |   570595     7490    964 | 12.780 % |
128.94/130.35	c |     11338 |   63031   725965   105403 |   627655    11338   1301 | 12.780 % |
157.04/158.45	c |     17105 |   63031   725965   105403 |   690420    17105   1298 | 12.780 % |
197.03/198.42	c |     25755 |   63031   725965   105403 |   759463    25755   1241 | 12.780 % |
276.21/277.70	c |     38729 |   63030   725965   105403 |   835409    38712   1460 | 12.782 % |
419.67/421.17	c |     58190 |   63030   725965   105403 |   918950    58173   1797 | 12.782 % |
675.40/676.94	c |     87386 |   63030   725965   105403 |  1010845    87369   2177 | 12.782 % |
900.74/902.38	c ===============================================================================
901.33/902.94	c core #138
901.33/902.94	c Core size: 11457	Core Weight: 1	Total Weight: 160
901.33/902.94	c Elapsed CPU time: 899.317 s	Remaining CPU time: 900.683 s
901.93/903.58	c Learning 92 hard constraints
901.93/903.58	c ============================[ Search Statistics ]==============================
901.93/903.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
901.93/903.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
901.93/903.58	c ===============================================================================
901.93/903.58	c |         0 |   73565   734691   146627 |   244897        0    nan |  0.000 % |
902.23/903.89	c |       100 |   73565   734691   146627 |   269386      100   2854 | 11.056 % |
902.63/904.23	c |       252 |   73565   734691   146627 |   296325      252   1769 | 11.056 % |
903.63/905.21	c |       477 |   73565   734691   146627 |   325957      477   1090 | 11.056 % |
904.73/906.35	c |       815 |   73565   734691   146627 |   358553      815    704 | 11.056 % |
907.23/908.81	c |      1322 |   73565   734691   146627 |   394409     1322    682 | 11.056 % |
910.03/911.69	c |      2081 |   73565   734691   146627 |   433849     2081    614 | 11.056 % |
917.63/919.29	c |      3220 |   73565   734691   146627 |   477234     3220    824 | 11.056 % |
926.23/927.83	c |      4929 |   73565   734691   146627 |   524958     4929    835 | 11.056 % |
939.52/941.12	c |      7491 |   73565   734691   146627 |   577454     7491   1017 | 11.056 % |
974.41/976.02	c |     11339 |   73565   734691   146627 |   635199    11339   1773 | 11.056 % |
1008.80/1010.41	c |     17105 |   73565   734691   146627 |   698719    17105   2063 | 11.056 % |
1071.18/1072.86	c |     25755 |   73565   734691   146627 |   768591    25755   2304 | 11.056 % |
1188.06/1189.77	c |     38729 |   73565   734691   146627 |   845450    38729   2782 | 11.056 % |
1361.21/1362.91	c |     58190 |   73565   734691   146627 |   929995    58190   2965 | 11.056 % |
1727.61/1729.48	c |     87382 |   73565   734691   146627 |  1022995    87382   2947 | 11.056 % |

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-1875629-1245140067/watcher-1875629-1245140067 -o /tmp/evaluation-result-1875629-1245140067/solver-1875629-1245140067 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875629-1245140067.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 5045
/proc/meminfo: memFree=1838336/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=19684 CPUtime=0
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 181606844 20156416 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 4921 248 122 292 0 418 0

[startup+0.0357609 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5045
/proc/meminfo: memFree=1838336/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=21528 CPUtime=0.03
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 721 0 0 0 3 0 0 0 18 0 1 0 181606844 22044672 705 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 5382 706 170 292 0 879 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21528

[startup+0.101768 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5045
/proc/meminfo: memFree=1838336/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=22220 CPUtime=0.09
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 1011 0 0 0 9 0 0 0 18 0 1 0 181606844 22753280 995 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 5555 995 291 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301792 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5045
/proc/meminfo: memFree=1838336/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=24136 CPUtime=0.29
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 1865 0 0 0 29 0 0 0 19 0 1 0 181606844 24715264 1849 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 6034 1849 648 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701838 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5045
/proc/meminfo: memFree=1838336/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=28016 CPUtime=0.69
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 3537 0 0 0 68 1 0 0 22 0 1 0 181606844 28688384 3521 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 7004 3521 1347 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1826616/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=36156 CPUtime=1.48
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 6959 0 0 0 147 1 0 0 25 0 1 0 181606844 37023744 6943 1992294400 134512640 135709839 4294956240 18446744073709551615 135341226 0 0 4096 3 0 0 0 17 0 0 0
/proc/5045/statm: 9039 6943 2776 292 0 4536 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36156

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 5046
/proc/meminfo: memFree=1788408/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=53772 CPUtime=3.08
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 19327 0 0 0 301 7 0 0 25 0 1 0 181606844 55062528 12624 1992294400 134512640 135709839 4294956240 18446744073709551615 134530357 0 0 4096 3 0 0 0 17 0 0 0
/proc/5045/statm: 13443 12624 133 292 0 13148 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53772

[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5046
/proc/meminfo: memFree=1784568/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=56940 CPUtime=5.6
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 20113 0 0 0 551 9 0 0 25 0 1 0 181606844 58306560 13410 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 14235 13410 133 292 0 13940 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 56940

[startup+12.7052 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5046
/proc/meminfo: memFree=1784312/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=57600 CPUtime=11.41
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 20281 0 0 0 1131 10 0 0 25 0 1 0 181606844 58982400 13578 1992294400 134512640 135709839 4294956240 18446744073709551615 135183217 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 14400 13578 133 292 0 14105 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 57600

[startup+25.5017 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 5046
/proc/meminfo: memFree=1781816/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=60108 CPUtime=24.2
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 20936 0 0 0 2409 11 0 0 25 0 1 0 181606844 61550592 14233 1992294400 134512640 135709839 4294956240 18446744073709551615 135172981 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 15027 14233 133 292 0 14732 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 60108

[startup+51.1016 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5046
/proc/meminfo: memFree=1764728/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=79844 CPUtime=49.78
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 39230 0 0 0 4956 22 0 0 25 0 1 0 181606844 81760256 18488 1992294400 134512640 135709839 4294956240 18446744073709551615 135239454 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 19961 18488 135 292 0 19666 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 79844

[startup+102.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5046
/proc/meminfo: memFree=1713784/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=130748 CPUtime=100.96
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 57427 0 0 0 10057 39 0 0 25 0 1 0 181606844 133885952 31137 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 32687 31137 136 292 0 32392 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 130748

[startup+162.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1691064/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=153464 CPUtime=160.93
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 63148 0 0 0 16046 47 0 0 25 0 1 0 181606844 157147136 36858 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 38366 36858 136 292 0 38071 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 153464

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1631736/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=213072 CPUtime=220.92
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 78047 0 0 0 22030 62 0 0 25 0 1 0 181606844 218185728 51757 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 53268 51757 136 292 0 52973 0
Current children cumulated CPU time (s) 220.92
Current children cumulated vsize (KiB) 213072

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1548600/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=295864 CPUtime=280.9
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 98743 0 0 0 28013 77 0 0 25 0 1 0 181606844 302964736 72453 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 73966 72453 136 292 0 73671 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 295864

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1463224/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=383060 CPUtime=340.88
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 120548 0 0 0 33993 95 0 0 25 0 1 0 181606844 392253440 94258 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 95765 94258 136 292 0 95470 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 383060

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1379768/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=464104 CPUtime=400.87
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 140819 0 0 0 39977 110 0 0 25 0 1 0 181606844 475242496 114529 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 116026 114529 136 292 0 115731 0
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (KiB) 464104

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1312120/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=532532 CPUtime=460.86
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 157886 0 0 0 45963 123 0 0 25 0 1 0 181606844 545312768 131596 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 133133 131596 136 292 0 132838 0
Current children cumulated CPU time (s) 460.86
Current children cumulated vsize (KiB) 532532

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1209464/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=634856 CPUtime=520.84
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 183482 0 0 0 51948 136 0 0 25 0 1 0 181606844 650092544 157192 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 158714 157192 136 292 0 158419 0
Current children cumulated CPU time (s) 520.84
Current children cumulated vsize (KiB) 634856

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1144184/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=700776 CPUtime=580.83
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 199975 0 0 0 57935 148 0 0 25 0 1 0 181606844 717594624 173685 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 175194 173685 136 292 0 174899 0
Current children cumulated CPU time (s) 580.83
Current children cumulated vsize (KiB) 700776

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=1052792/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=790588 CPUtime=640.8
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 222425 0 0 0 63920 160 0 0 25 0 1 0 181606844 809562112 196135 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 197647 196135 136 292 0 197352 0
Current children cumulated CPU time (s) 640.8
Current children cumulated vsize (KiB) 790588

[startup+702.301 s]

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

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=701496/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1139900 CPUtime=940.72
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 311922 0 0 0 93856 216 0 0 25 0 1 0 181606844 1167257600 283610 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 284975 283610 136 292 0 284680 0
Current children cumulated CPU time (s) 940.72
Current children cumulated vsize (KiB) 1139900

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=701496/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1139900 CPUtime=1000.71
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 311922 0 0 0 99850 221 0 0 25 0 1 0 181606844 1167257600 283610 1992294400 134512640 135709839 4294956240 18446744073709551615 134579141 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 284975 283610 136 292 0 284680 0
Current children cumulated CPU time (s) 1000.71
Current children cumulated vsize (KiB) 1139900

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=701496/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1139900 CPUtime=1060.69
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 311926 0 0 0 105845 224 0 0 25 0 1 0 181606844 1167257600 283614 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 284975 283614 136 292 0 284680 0
Current children cumulated CPU time (s) 1060.69
Current children cumulated vsize (KiB) 1139900

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=701368/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1139900 CPUtime=1120.67
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 311945 0 0 0 111839 228 0 0 25 0 1 0 181606844 1167257600 283633 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 284975 283633 136 292 0 284680 0
Current children cumulated CPU time (s) 1120.67
Current children cumulated vsize (KiB) 1139900

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=701368/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1139900 CPUtime=1180.66
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 311947 0 0 0 117835 231 0 0 25 0 1 0 181606844 1167257600 283635 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 284975 283635 136 292 0 284680 0
Current children cumulated CPU time (s) 1180.66
Current children cumulated vsize (KiB) 1139900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=653176/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1190676 CPUtime=1240.64
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 324622 0 0 0 123825 239 0 0 25 0 1 0 181606844 1219252224 296310 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 297669 296310 136 292 0 297374 0
Current children cumulated CPU time (s) 1240.64
Current children cumulated vsize (KiB) 1190676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=568760/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1273064 CPUtime=1300.62
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 345245 0 0 0 129814 248 0 0 25 0 1 0 181606844 1303617536 316933 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 318266 316933 136 292 0 317971 0
Current children cumulated CPU time (s) 1300.62
Current children cumulated vsize (KiB) 1273064

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=479160/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1361632 CPUtime=1360.61
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 367375 0 0 0 135800 261 0 0 25 0 1 0 181606844 1394311168 339063 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 340408 339063 136 292 0 340113 0
Current children cumulated CPU time (s) 1360.61
Current children cumulated vsize (KiB) 1361632

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=413880/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1427464 CPUtime=1420.59
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 383816 0 0 0 141788 271 0 0 25 0 1 0 181606844 1461723136 355504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 356866 355504 136 292 0 356571 0
Current children cumulated CPU time (s) 1420.59
Current children cumulated vsize (KiB) 1427464

[startup+1482.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=355000/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1485496 CPUtime=1480.58
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 398336 0 0 0 147776 282 0 0 25 0 1 0 181606844 1521147904 370024 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 371374 370024 136 292 0 371079 0
Current children cumulated CPU time (s) 1480.58
Current children cumulated vsize (KiB) 1485496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=295544/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1545532 CPUtime=1540.56
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 413347 0 0 0 153763 293 0 0 25 0 1 0 181606844 1582624768 385035 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 386383 385035 136 292 0 386088 0
Current children cumulated CPU time (s) 1540.56
Current children cumulated vsize (KiB) 1545532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=228984/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1611288 CPUtime=1600.54
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 429767 0 0 0 159749 305 0 0 25 0 1 0 181606844 1649958912 401455 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 402822 401455 136 292 0 402527 0
Current children cumulated CPU time (s) 1600.54
Current children cumulated vsize (KiB) 1611288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=185272/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1655164 CPUtime=1660.52
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 440743 0 0 0 165738 314 0 0 25 0 1 0 181606844 1694887936 412431 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 413791 412431 136 292 0 413496 0
Current children cumulated CPU time (s) 1660.52
Current children cumulated vsize (KiB) 1655164

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=138872/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1701308 CPUtime=1720.5
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 452260 0 0 0 171729 321 0 0 25 0 1 0 181606844 1742139392 423948 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 425327 423948 136 292 0 425032 0
Current children cumulated CPU time (s) 1720.5
Current children cumulated vsize (KiB) 1701308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=78328/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1762600 CPUtime=1780.49
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 467611 0 0 0 177718 331 0 0 25 0 1 0 181606844 1804902400 439299 1992294400 134512640 135709839 4294956240 18446744073709551615 134572779 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 440650 439299 136 292 0 440355 0
Current children cumulated CPU time (s) 1780.49
Current children cumulated vsize (KiB) 1762600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=51832/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=1788112 CPUtime=1800.09
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4194304 473916 0 0 0 179673 336 0 0 25 0 1 0 181606844 1831026688 445604 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 447028 445604 136 292 0 446733 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1788112

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

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

[startup+1802.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=51832/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=0 CPUtime=1800.19
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4195332 473916 0 0 0 179673 346 0 0 25 0 1 0 181606844 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

[startup+1802.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5046
/proc/meminfo: memFree=51832/2055920 swapFree=4191900/4192956
[pid=5045] ppid=5043 vsize=0 CPUtime=1800.29
/proc/5045/stat : 5045 (wbo) R 5043 5045 4519 0 -1 4195332 473916 0 0 0 179673 356 0 0 25 0 1 0 181606844 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5045/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.18
CPU time (s): 1800.38
CPU user time (s): 1796.74
CPU system time (s): 3.64045
CPU usage (%): 99.8999
Max. virtual memory (cumulated for all children) (KiB): 1788112

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

runsolver used 1.45578 second user time and 4.39233 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-16 10:14:28
IDJOB=1875629
IDBENCH=1965
IDSOLVER=698
FILE ID=node28/1875629-1245140067
PBS_JOBID= 9363689
Free space on /tmp= 66160 MiB

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

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

MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224
RANDOM SEED=1850596411

node28.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:       1839264 kB
Buffers:         17652 kB
Cached:         127540 kB
SwapCached:        260 kB
Active:          47052 kB
Inactive:       112244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839264 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19204 kB
Writeback:           0 kB
Mapped:          22624 kB
Slab:            43160 kB
Committed_AS:   148800 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875629-1245140067.opb

Free space on /tmp at the end= 66160 MiB
End job on node28 at 2009-06-16 10:44:32