Trace number 1875633

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) 1724.24 1724.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM325852af8542a0f454599a2893f1b120
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5483
Best CPU time to get the best result obtained on this benchmark1364.87
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 434
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 495293
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 495293
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-1875633-1245140997.opb.
0.00/0.00	c Instance file HOME/instance-1875633-1245140997.opb
0.00/0.00	c File size is 17233653 bytes.
2.19/2.21	c Highest Coefficient sum: 101
2.19/2.22	c ============================[ Problem Statistics ]=============================
2.19/2.22	c |                                                                             |
2.19/2.22	c |  Parsing time:          2.18         s                                      |
2.19/2.22	c |  Number Variables:      10000                                               |
2.19/2.22	c |  Number Clauses:        666900                                              |
2.19/2.22	c |  Number Cardinality:    0                                                   |
2.19/2.22	c |  Number PB Constraints: 0                                                   |
2.19/2.23	c core #1
2.19/2.23	c Core size: 101	Core Weight: 1	Total Weight: 1
2.19/2.23	c Elapsed CPU time: 2.18267 s	Remaining CPU time: 1797.82 s
2.49/2.54	c core #2
2.49/2.54	c Core size: 101	Core Weight: 1	Total Weight: 2
2.49/2.54	c Elapsed CPU time: 2.46862 s	Remaining CPU time: 1797.53 s
2.79/2.85	c core #3
2.79/2.85	c Core size: 101	Core Weight: 1	Total Weight: 3
2.79/2.85	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 1797.23 s
3.08/3.15	c core #4
3.08/3.15	c Core size: 101	Core Weight: 1	Total Weight: 4
3.08/3.15	c Elapsed CPU time: 3.06653 s	Remaining CPU time: 1796.93 s
3.39/3.45	c core #5
3.39/3.45	c Core size: 101	Core Weight: 1	Total Weight: 5
3.39/3.45	c Elapsed CPU time: 3.36849 s	Remaining CPU time: 1796.63 s
3.69/3.75	c core #6
3.69/3.75	c Core size: 101	Core Weight: 2	Total Weight: 7
3.69/3.75	c Elapsed CPU time: 3.66944 s	Remaining CPU time: 1796.33 s
3.99/4.06	c core #7
3.99/4.06	c Core size: 101	Core Weight: 1	Total Weight: 8
3.99/4.06	c Elapsed CPU time: 3.9674 s	Remaining CPU time: 1796.03 s
4.29/4.36	c core #8
4.29/4.36	c Core size: 101	Core Weight: 1	Total Weight: 9
4.29/4.36	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.59/4.66	c core #9
4.59/4.66	c Core size: 101	Core Weight: 1	Total Weight: 10
4.59/4.66	c Elapsed CPU time: 4.5723 s	Remaining CPU time: 1795.43 s
4.89/4.96	c core #10
4.89/4.96	c Core size: 101	Core Weight: 1	Total Weight: 11
4.89/4.96	c Elapsed CPU time: 4.87026 s	Remaining CPU time: 1795.13 s
5.19/5.26	c core #11
5.19/5.26	c Core size: 101	Core Weight: 1	Total Weight: 12
5.19/5.26	c Elapsed CPU time: 5.17021 s	Remaining CPU time: 1794.83 s
5.49/5.57	c core #12
5.49/5.57	c Core size: 101	Core Weight: 1	Total Weight: 13
5.49/5.57	c Elapsed CPU time: 5.47817 s	Remaining CPU time: 1794.52 s
5.79/5.87	c core #13
5.79/5.87	c Core size: 101	Core Weight: 1	Total Weight: 14
5.79/5.87	c Elapsed CPU time: 5.77812 s	Remaining CPU time: 1794.22 s
6.09/6.17	c core #14
6.09/6.17	c Core size: 101	Core Weight: 1	Total Weight: 15
6.09/6.17	c Elapsed CPU time: 6.07907 s	Remaining CPU time: 1793.92 s
6.39/6.47	c core #15
6.39/6.47	c Core size: 101	Core Weight: 1	Total Weight: 16
6.39/6.47	c Elapsed CPU time: 6.37803 s	Remaining CPU time: 1793.62 s
6.69/6.78	c core #16
6.69/6.78	c Core size: 101	Core Weight: 1	Total Weight: 17
6.69/6.78	c Elapsed CPU time: 6.69098 s	Remaining CPU time: 1793.31 s
6.99/7.09	c core #17
6.99/7.09	c Core size: 101	Core Weight: 1	Total Weight: 18
6.99/7.09	c Elapsed CPU time: 6.99694 s	Remaining CPU time: 1793 s
7.29/7.39	c core #18
7.29/7.39	c Core size: 101	Core Weight: 3	Total Weight: 21
7.29/7.39	c Elapsed CPU time: 7.29689 s	Remaining CPU time: 1792.7 s
7.69/7.72	c core #19
7.69/7.72	c Core size: 101	Core Weight: 1	Total Weight: 22
7.69/7.72	c Elapsed CPU time: 7.62284 s	Remaining CPU time: 1792.38 s
7.99/8.02	c core #20
7.99/8.02	c Core size: 101	Core Weight: 1	Total Weight: 23
7.99/8.02	c Elapsed CPU time: 7.92979 s	Remaining CPU time: 1792.07 s
8.29/8.32	c core #21
8.29/8.32	c Core size: 101	Core Weight: 1	Total Weight: 24
8.29/8.32	c Elapsed CPU time: 8.22975 s	Remaining CPU time: 1791.77 s
8.59/8.67	c core #22
8.59/8.67	c Core size: 101	Core Weight: 3	Total Weight: 27
8.59/8.67	c Elapsed CPU time: 8.5747 s	Remaining CPU time: 1791.43 s
8.99/9.00	c core #23
8.99/9.00	c Core size: 101	Core Weight: 1	Total Weight: 28
8.99/9.00	c Elapsed CPU time: 8.90964 s	Remaining CPU time: 1791.09 s
9.29/9.33	c core #24
9.29/9.33	c Core size: 101	Core Weight: 1	Total Weight: 29
9.29/9.33	c Elapsed CPU time: 9.2386 s	Remaining CPU time: 1790.76 s
9.59/9.64	c core #25
9.59/9.64	c Core size: 101	Core Weight: 1	Total Weight: 30
9.59/9.64	c Elapsed CPU time: 9.54455 s	Remaining CPU time: 1790.46 s
9.89/9.94	c core #26
9.89/9.94	c Core size: 101	Core Weight: 1	Total Weight: 31
9.89/9.94	c Elapsed CPU time: 9.8475 s	Remaining CPU time: 1790.15 s
10.19/10.25	c core #27
10.19/10.25	c Core size: 101	Core Weight: 1	Total Weight: 32
10.19/10.25	c Elapsed CPU time: 10.1535 s	Remaining CPU time: 1789.85 s
10.49/10.56	c core #28
10.49/10.56	c Core size: 101	Core Weight: 1	Total Weight: 33
10.49/10.56	c Elapsed CPU time: 10.4634 s	Remaining CPU time: 1789.54 s
10.79/10.86	c core #29
10.79/10.86	c Core size: 101	Core Weight: 1	Total Weight: 34
10.79/10.86	c Elapsed CPU time: 10.7624 s	Remaining CPU time: 1789.24 s
11.09/11.17	c core #30
11.09/11.17	c Core size: 301	Core Weight: 1	Total Weight: 35
11.09/11.17	c Elapsed CPU time: 11.0803 s	Remaining CPU time: 1788.92 s
11.39/11.48	c core #31
11.39/11.48	c Core size: 101	Core Weight: 3	Total Weight: 38
11.39/11.48	c Elapsed CPU time: 11.3913 s	Remaining CPU time: 1788.61 s
11.69/11.79	c core #32
11.69/11.79	c Core size: 101	Core Weight: 2	Total Weight: 40
11.69/11.79	c Elapsed CPU time: 11.6992 s	Remaining CPU time: 1788.3 s
12.09/12.10	c core #33
12.09/12.10	c Core size: 201	Core Weight: 1	Total Weight: 41
12.09/12.10	c Elapsed CPU time: 12.0092 s	Remaining CPU time: 1787.99 s
12.39/12.43	c core #34
12.39/12.43	c Core size: 101	Core Weight: 1	Total Weight: 42
12.39/12.43	c Elapsed CPU time: 12.3381 s	Remaining CPU time: 1787.66 s
12.69/12.76	c core #35
12.69/12.76	c Core size: 101	Core Weight: 1	Total Weight: 43
12.69/12.76	c Elapsed CPU time: 12.6611 s	Remaining CPU time: 1787.34 s
12.99/13.07	c core #36
12.99/13.07	c Core size: 101	Core Weight: 1	Total Weight: 44
12.99/13.07	c Elapsed CPU time: 12.978 s	Remaining CPU time: 1787.02 s
13.39/13.40	c core #37
13.39/13.40	c Core size: 101	Core Weight: 1	Total Weight: 45
13.39/13.40	c Elapsed CPU time: 13.301 s	Remaining CPU time: 1786.7 s
13.69/13.71	c core #38
13.69/13.71	c Core size: 101	Core Weight: 1	Total Weight: 46
13.69/13.71	c Elapsed CPU time: 13.6149 s	Remaining CPU time: 1786.39 s
13.99/14.02	c core #39
13.99/14.02	c Core size: 101	Core Weight: 1	Total Weight: 47
13.99/14.02	c Elapsed CPU time: 13.9209 s	Remaining CPU time: 1786.08 s
14.29/14.33	c core #40
14.29/14.33	c Core size: 101	Core Weight: 2	Total Weight: 49
14.29/14.33	c Elapsed CPU time: 14.2328 s	Remaining CPU time: 1785.77 s
14.59/14.64	c core #41
14.59/14.64	c Core size: 101	Core Weight: 1	Total Weight: 50
14.59/14.64	c Elapsed CPU time: 14.5418 s	Remaining CPU time: 1785.46 s
14.88/14.95	c core #42
14.88/14.95	c Core size: 101	Core Weight: 8	Total Weight: 58
14.88/14.95	c Elapsed CPU time: 14.8527 s	Remaining CPU time: 1785.15 s
15.18/15.26	c core #43
15.18/15.26	c Core size: 101	Core Weight: 1	Total Weight: 59
15.18/15.26	c Elapsed CPU time: 15.1627 s	Remaining CPU time: 1784.84 s
15.48/15.57	c core #44
15.48/15.57	c Core size: 101	Core Weight: 1	Total Weight: 60
15.48/15.57	c Elapsed CPU time: 15.4716 s	Remaining CPU time: 1784.53 s
15.78/15.88	c core #45
15.78/15.88	c Core size: 101	Core Weight: 1	Total Weight: 61
15.78/15.88	c Elapsed CPU time: 15.7806 s	Remaining CPU time: 1784.22 s
16.08/16.19	c core #46
16.08/16.19	c Core size: 101	Core Weight: 1	Total Weight: 62
16.08/16.19	c Elapsed CPU time: 16.0946 s	Remaining CPU time: 1783.91 s
16.39/16.50	c core #47
16.39/16.50	c Core size: 101	Core Weight: 1	Total Weight: 63
16.39/16.50	c Elapsed CPU time: 16.3995 s	Remaining CPU time: 1783.6 s
16.78/16.81	c core #48
16.78/16.81	c Core size: 101	Core Weight: 1	Total Weight: 64
16.78/16.81	c Elapsed CPU time: 16.7085 s	Remaining CPU time: 1783.29 s
17.08/17.11	c core #49
17.08/17.11	c Core size: 101	Core Weight: 1	Total Weight: 65
17.08/17.11	c Elapsed CPU time: 17.0134 s	Remaining CPU time: 1782.99 s
17.38/17.42	c core #50
17.38/17.42	c Core size: 101	Core Weight: 2	Total Weight: 67
17.38/17.42	c Elapsed CPU time: 17.3184 s	Remaining CPU time: 1782.68 s
17.68/17.72	c core #51
17.68/17.72	c Core size: 101	Core Weight: 1	Total Weight: 68
17.68/17.72	c Elapsed CPU time: 17.6213 s	Remaining CPU time: 1782.38 s
17.98/18.03	c core #52
17.98/18.03	c Core size: 101	Core Weight: 1	Total Weight: 69
17.98/18.03	c Elapsed CPU time: 17.9343 s	Remaining CPU time: 1782.07 s
18.28/18.34	c core #53
18.28/18.34	c Core size: 101	Core Weight: 2	Total Weight: 71
18.28/18.34	c Elapsed CPU time: 18.2382 s	Remaining CPU time: 1781.76 s
18.59/18.68	c core #54
18.59/18.68	c Core size: 201	Core Weight: 1	Total Weight: 72
18.59/18.68	c Elapsed CPU time: 18.5842 s	Remaining CPU time: 1781.42 s
18.98/19.00	c core #55
18.98/19.00	c Core size: 1601	Core Weight: 1	Total Weight: 73
18.98/19.00	c Elapsed CPU time: 18.9001 s	Remaining CPU time: 1781.1 s
19.28/19.32	c core #56
19.28/19.32	c Core size: 101	Core Weight: 1	Total Weight: 74
19.28/19.32	c Elapsed CPU time: 19.2171 s	Remaining CPU time: 1780.78 s
19.58/19.64	c core #57
19.58/19.64	c Core size: 101	Core Weight: 1	Total Weight: 75
19.58/19.64	c Elapsed CPU time: 19.544 s	Remaining CPU time: 1780.46 s
19.88/19.95	c core #58
19.88/19.95	c Core size: 101	Core Weight: 1	Total Weight: 76
19.88/19.95	c Elapsed CPU time: 19.855 s	Remaining CPU time: 1780.15 s
20.18/20.26	c core #59
20.18/20.26	c Core size: 101	Core Weight: 1	Total Weight: 77
20.18/20.26	c Elapsed CPU time: 20.1629 s	Remaining CPU time: 1779.84 s
20.48/20.58	c core #60
20.48/20.58	c Core size: 101	Core Weight: 1	Total Weight: 78
20.48/20.58	c Elapsed CPU time: 20.4769 s	Remaining CPU time: 1779.52 s
20.79/20.88	c core #61
20.79/20.88	c Core size: 101	Core Weight: 1	Total Weight: 79
20.79/20.88	c Elapsed CPU time: 20.7828 s	Remaining CPU time: 1779.22 s
21.08/21.19	c core #62
21.08/21.19	c Core size: 101	Core Weight: 1	Total Weight: 80
21.08/21.19	c Elapsed CPU time: 21.0918 s	Remaining CPU time: 1778.91 s
21.48/21.50	c core #63
21.48/21.50	c Core size: 101	Core Weight: 2	Total Weight: 82
21.48/21.50	c Elapsed CPU time: 21.4007 s	Remaining CPU time: 1778.6 s
21.78/21.81	c core #64
21.78/21.81	c Core size: 201	Core Weight: 1	Total Weight: 83
21.78/21.81	c Elapsed CPU time: 21.7127 s	Remaining CPU time: 1778.29 s
22.08/22.13	c core #65
22.08/22.13	c Core size: 101	Core Weight: 1	Total Weight: 84
22.08/22.13	c Elapsed CPU time: 22.0237 s	Remaining CPU time: 1777.98 s
22.38/22.45	c core #66
22.38/22.45	c Core size: 301	Core Weight: 1	Total Weight: 85
22.38/22.45	c Elapsed CPU time: 22.3456 s	Remaining CPU time: 1777.65 s
22.68/22.77	c core #67
22.68/22.77	c Core size: 101	Core Weight: 1	Total Weight: 86
22.68/22.77	c Elapsed CPU time: 22.6656 s	Remaining CPU time: 1777.33 s
22.98/23.08	c core #68
22.98/23.08	c Core size: 101	Core Weight: 1	Total Weight: 87
22.98/23.08	c Elapsed CPU time: 22.9755 s	Remaining CPU time: 1777.02 s
23.38/23.41	c core #69
23.38/23.41	c Core size: 101	Core Weight: 3	Total Weight: 90
23.38/23.41	c Elapsed CPU time: 23.3115 s	Remaining CPU time: 1776.69 s
23.68/23.73	c core #70
23.68/23.73	c Core size: 201	Core Weight: 1	Total Weight: 91
23.68/23.73	c Elapsed CPU time: 23.6244 s	Remaining CPU time: 1776.38 s
23.98/24.04	c core #71
23.98/24.04	c Core size: 101	Core Weight: 1	Total Weight: 92
23.98/24.04	c Elapsed CPU time: 23.9344 s	Remaining CPU time: 1776.07 s
24.28/24.34	c core #72
24.28/24.34	c Core size: 101	Core Weight: 1	Total Weight: 93
24.28/24.34	c Elapsed CPU time: 24.2413 s	Remaining CPU time: 1775.76 s
24.58/24.66	c core #73
24.58/24.66	c Core size: 101	Core Weight: 1	Total Weight: 94
24.58/24.66	c Elapsed CPU time: 24.5523 s	Remaining CPU time: 1775.45 s
24.88/24.98	c core #74
24.88/24.98	c Core size: 401	Core Weight: 1	Total Weight: 95
24.88/24.98	c Elapsed CPU time: 24.8812 s	Remaining CPU time: 1775.12 s
25.18/25.29	c core #75
25.18/25.29	c Core size: 101	Core Weight: 1	Total Weight: 96
25.18/25.29	c Elapsed CPU time: 25.1912 s	Remaining CPU time: 1774.81 s
25.58/25.61	c core #76
25.58/25.61	c Core size: 101	Core Weight: 1	Total Weight: 97
25.58/25.61	c Elapsed CPU time: 25.5101 s	Remaining CPU time: 1774.49 s
25.88/25.94	c core #77
25.88/25.94	c Core size: 101	Core Weight: 1	Total Weight: 98
25.88/25.94	c Elapsed CPU time: 25.8301 s	Remaining CPU time: 1774.17 s
26.18/26.25	c core #78
26.18/26.25	c Core size: 101	Core Weight: 1	Total Weight: 99
26.18/26.25	c Elapsed CPU time: 26.145 s	Remaining CPU time: 1773.85 s
26.47/26.56	c core #79
26.47/26.56	c Core size: 101	Core Weight: 1	Total Weight: 100
26.47/26.56	c Elapsed CPU time: 26.457 s	Remaining CPU time: 1773.54 s
26.77/26.89	c core #80
26.77/26.89	c Core size: 101	Core Weight: 1	Total Weight: 101
26.77/26.89	c Elapsed CPU time: 26.7869 s	Remaining CPU time: 1773.21 s
27.18/27.21	c core #81
27.18/27.21	c Core size: 101	Core Weight: 1	Total Weight: 102
27.18/27.21	c Elapsed CPU time: 27.1059 s	Remaining CPU time: 1772.89 s
27.49/27.54	c core #82
27.49/27.54	c Core size: 101	Core Weight: 1	Total Weight: 103
27.49/27.54	c Elapsed CPU time: 27.4278 s	Remaining CPU time: 1772.57 s
27.78/27.85	c core #83
27.78/27.85	c Core size: 101	Core Weight: 1	Total Weight: 104
27.78/27.85	c Elapsed CPU time: 27.7448 s	Remaining CPU time: 1772.26 s
28.08/28.17	c core #84
28.08/28.17	c Core size: 101	Core Weight: 1	Total Weight: 105
28.08/28.17	c Elapsed CPU time: 28.0667 s	Remaining CPU time: 1771.93 s
28.38/28.50	c core #85
28.38/28.50	c Core size: 1101	Core Weight: 1	Total Weight: 106
28.38/28.50	c Elapsed CPU time: 28.3877 s	Remaining CPU time: 1771.61 s
28.78/28.83	c core #86
28.78/28.83	c Core size: 101	Core Weight: 1	Total Weight: 107
28.78/28.83	c Elapsed CPU time: 28.7166 s	Remaining CPU time: 1771.28 s
29.08/29.14	c core #87
29.08/29.14	c Core size: 101	Core Weight: 1	Total Weight: 108
29.08/29.14	c Elapsed CPU time: 29.0336 s	Remaining CPU time: 1770.97 s
29.38/29.46	c core #88
29.38/29.46	c Core size: 101	Core Weight: 1	Total Weight: 109
29.38/29.46	c Elapsed CPU time: 29.3505 s	Remaining CPU time: 1770.65 s
29.69/29.78	c core #89
29.69/29.78	c Core size: 101	Core Weight: 1	Total Weight: 110
29.69/29.78	c Elapsed CPU time: 29.6695 s	Remaining CPU time: 1770.33 s
30.08/30.11	c core #90
30.08/30.11	c Core size: 1201	Core Weight: 1	Total Weight: 111
30.08/30.11	c Elapsed CPU time: 30.0004 s	Remaining CPU time: 1770 s
30.38/30.44	c core #91
30.38/30.44	c Core size: 101	Core Weight: 1	Total Weight: 112
30.38/30.44	c Elapsed CPU time: 30.3264 s	Remaining CPU time: 1769.67 s
30.69/30.76	c core #92
30.69/30.76	c Core size: 101	Core Weight: 1	Total Weight: 113
30.69/30.76	c Elapsed CPU time: 30.6523 s	Remaining CPU time: 1769.35 s
30.98/31.09	c core #93
30.98/31.09	c Core size: 101	Core Weight: 1	Total Weight: 114
30.98/31.09	c Elapsed CPU time: 30.9813 s	Remaining CPU time: 1769.02 s
31.38/31.42	c core #94
31.38/31.42	c Core size: 101	Core Weight: 2	Total Weight: 116
31.38/31.42	c Elapsed CPU time: 31.3112 s	Remaining CPU time: 1768.69 s
31.68/31.77	c core #95
31.68/31.77	c Core size: 101	Core Weight: 2	Total Weight: 118
31.68/31.77	c Elapsed CPU time: 31.6562 s	Remaining CPU time: 1768.34 s
32.07/32.12	c core #96
32.07/32.12	c Core size: 101	Core Weight: 1	Total Weight: 119
32.07/32.12	c Elapsed CPU time: 31.9991 s	Remaining CPU time: 1768 s
32.37/32.46	c core #97
32.37/32.46	c Core size: 101	Core Weight: 1	Total Weight: 120
32.37/32.46	c Elapsed CPU time: 32.3351 s	Remaining CPU time: 1767.66 s
32.77/32.80	c core #98
32.77/32.80	c Core size: 101	Core Weight: 1	Total Weight: 121
32.77/32.80	c Elapsed CPU time: 32.679 s	Remaining CPU time: 1767.32 s
33.07/33.15	c core #99
33.07/33.15	c Core size: 101	Core Weight: 1	Total Weight: 122
33.07/33.15	c Elapsed CPU time: 33.029 s	Remaining CPU time: 1766.97 s
33.47/33.50	c core #100
33.47/33.50	c Core size: 101	Core Weight: 1	Total Weight: 123
33.47/33.50	c Elapsed CPU time: 33.3759 s	Remaining CPU time: 1766.62 s
33.77/33.84	c core #101
33.77/33.84	c Core size: 101	Core Weight: 1	Total Weight: 124
33.77/33.84	c Elapsed CPU time: 33.7149 s	Remaining CPU time: 1766.29 s
34.07/34.19	c core #102
34.07/34.19	c Core size: 101	Core Weight: 1	Total Weight: 125
34.07/34.19	c Elapsed CPU time: 34.0628 s	Remaining CPU time: 1765.94 s
34.46/34.54	c core #103
34.46/34.54	c Core size: 101	Core Weight: 1	Total Weight: 126
34.46/34.54	c Elapsed CPU time: 34.4088 s	Remaining CPU time: 1765.59 s
34.76/34.89	c core #104
34.76/34.89	c Core size: 101	Core Weight: 2	Total Weight: 128
34.76/34.89	c Elapsed CPU time: 34.7547 s	Remaining CPU time: 1765.25 s
35.16/35.24	c core #105
35.16/35.24	c Core size: 201	Core Weight: 1	Total Weight: 129
35.16/35.24	c Elapsed CPU time: 35.0987 s	Remaining CPU time: 1764.9 s
35.56/35.61	c core #106
35.56/35.61	c Core size: 2801	Core Weight: 1	Total Weight: 130
35.56/35.61	c Elapsed CPU time: 35.4756 s	Remaining CPU time: 1764.52 s
35.85/35.98	c core #107
35.85/35.98	c Core size: 101	Core Weight: 3	Total Weight: 133
35.85/35.98	c Elapsed CPU time: 35.8386 s	Remaining CPU time: 1764.16 s
36.25/36.32	c core #108
36.25/36.32	c Core size: 101	Core Weight: 4	Total Weight: 137
36.25/36.32	c Elapsed CPU time: 36.1795 s	Remaining CPU time: 1763.82 s
36.55/36.65	c core #109
36.55/36.65	c Core size: 101	Core Weight: 1	Total Weight: 138
36.55/36.65	c Elapsed CPU time: 36.5084 s	Remaining CPU time: 1763.49 s
36.95/37.00	c core #110
36.95/37.00	c Core size: 101	Core Weight: 1	Total Weight: 139
36.95/37.00	c Elapsed CPU time: 36.8544 s	Remaining CPU time: 1763.15 s
37.25/37.36	c core #111
37.25/37.36	c Core size: 101	Core Weight: 4	Total Weight: 143
37.25/37.36	c Elapsed CPU time: 37.2103 s	Remaining CPU time: 1762.79 s
37.55/37.68	c core #112
37.55/37.68	c Core size: 101	Core Weight: 1	Total Weight: 144
37.55/37.68	c Elapsed CPU time: 37.5343 s	Remaining CPU time: 1762.47 s
37.95/38.03	c core #113
37.95/38.03	c Core size: 1671	Core Weight: 1	Total Weight: 145
37.95/38.03	c Elapsed CPU time: 37.8832 s	Remaining CPU time: 1762.12 s
38.25/38.37	c core #114
38.25/38.37	c Core size: 101	Core Weight: 1	Total Weight: 146
38.25/38.37	c Elapsed CPU time: 38.2202 s	Remaining CPU time: 1761.78 s
38.55/38.69	c core #115
38.55/38.69	c Core size: 101	Core Weight: 1	Total Weight: 147
38.55/38.69	c Elapsed CPU time: 38.5421 s	Remaining CPU time: 1761.46 s
38.95/39.02	c core #116
38.95/39.02	c Core size: 200	Core Weight: 1	Total Weight: 148
38.95/39.02	c Elapsed CPU time: 38.8771 s	Remaining CPU time: 1761.12 s
39.25/39.35	c core #117
39.25/39.35	c Core size: 497	Core Weight: 1	Total Weight: 149
39.25/39.35	c Elapsed CPU time: 39.207 s	Remaining CPU time: 1760.79 s
39.55/39.69	c core #118
39.55/39.69	c Core size: 596	Core Weight: 1	Total Weight: 150
39.55/39.69	c Elapsed CPU time: 39.545 s	Remaining CPU time: 1760.46 s
39.95/40.04	c core #119
39.95/40.04	c Core size: 401	Core Weight: 1	Total Weight: 151
39.95/40.04	c Elapsed CPU time: 39.8869 s	Remaining CPU time: 1760.11 s
40.25/40.39	c core #120
40.25/40.39	c Core size: 1902	Core Weight: 1	Total Weight: 152
40.25/40.39	c Elapsed CPU time: 40.2389 s	Remaining CPU time: 1759.76 s
40.65/40.74	c core #121
40.65/40.74	c Core size: 101	Core Weight: 1	Total Weight: 153
40.65/40.74	c Elapsed CPU time: 40.5838 s	Remaining CPU time: 1759.42 s
40.95/41.08	c core #122
40.95/41.08	c Core size: 101	Core Weight: 1	Total Weight: 154
40.95/41.08	c Elapsed CPU time: 40.9218 s	Remaining CPU time: 1759.08 s
41.34/41.44	c core #123
41.34/41.44	c Core size: 1537	Core Weight: 1	Total Weight: 155
41.34/41.44	c Elapsed CPU time: 41.2807 s	Remaining CPU time: 1758.72 s
41.75/41.81	c core #124
41.75/41.81	c Core size: 1995	Core Weight: 1	Total Weight: 156
41.75/41.81	c Elapsed CPU time: 41.6497 s	Remaining CPU time: 1758.35 s
42.04/42.18	c core #125
42.04/42.18	c Core size: 402	Core Weight: 1	Total Weight: 157
42.04/42.18	c Elapsed CPU time: 42.0086 s	Remaining CPU time: 1757.99 s
42.44/42.54	c ============================[ Search Statistics ]==============================
42.44/42.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.44/42.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.44/42.54	c ===============================================================================
42.44/42.54	c |         0 |   28021   694519    51298 |   231506        0    nan |  0.000 % |
42.44/42.55	c ===============================================================================
42.44/42.55	c core #126
42.44/42.55	c Core size: 704	Core Weight: 1	Total Weight: 158
42.44/42.55	c Elapsed CPU time: 42.3806 s	Remaining CPU time: 1757.62 s
42.85/42.91	c ============================[ Search Statistics ]==============================
42.85/42.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.85/42.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.85/42.91	c ===============================================================================
42.85/42.91	c |         0 |   28820   695190    52188 |   231730        0    nan |  0.000 % |
42.85/42.92	c ===============================================================================
42.85/42.92	c core #127
42.85/42.92	c Core size: 605	Core Weight: 1	Total Weight: 159
42.85/42.92	c Elapsed CPU time: 42.7405 s	Remaining CPU time: 1757.26 s
43.15/43.29	c ============================[ Search Statistics ]==============================
43.15/43.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.15/43.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.15/43.29	c ===============================================================================
43.15/43.29	c |         0 |   29534   695757    53331 |   231919        0    nan |  0.000 % |
43.25/43.31	c ===============================================================================
43.25/43.32	c core #128
43.25/43.32	c Core size: 1272	Core Weight: 1	Total Weight: 160
43.25/43.32	c Elapsed CPU time: 43.1294 s	Remaining CPU time: 1756.87 s
43.54/43.68	c ============================[ Search Statistics ]==============================
43.54/43.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.54/43.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.54/43.68	c ===============================================================================
43.54/43.68	c |         0 |   30894   696966    55060 |   232322        0    nan |  0.000 % |
43.64/43.73	c ===============================================================================
43.64/43.73	c core #129
43.64/43.73	c Core size: 1742	Core Weight: 1	Total Weight: 161
43.64/43.73	c Elapsed CPU time: 43.5434 s	Remaining CPU time: 1756.46 s
43.95/44.09	c ============================[ Search Statistics ]==============================
43.95/44.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.95/44.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.95/44.09	c ===============================================================================
43.95/44.09	c |         0 |   32607   698610    57043 |   232870        0    nan |  0.000 % |
44.05/44.17	c ===============================================================================
44.05/44.17	c core #130
44.05/44.17	c Core size: 2216	Core Weight: 1	Total Weight: 162
44.05/44.17	c Elapsed CPU time: 43.9743 s	Remaining CPU time: 1756.03 s
44.44/44.55	c ============================[ Search Statistics ]==============================
44.44/44.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.44/44.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.44/44.55	c ===============================================================================
44.44/44.55	c |         0 |   34787   700684    59744 |   233561        0    nan |  0.000 % |
44.44/44.59	c ===============================================================================
44.44/44.59	c core #131
44.44/44.59	c Core size: 1495	Core Weight: 1	Total Weight: 163
44.44/44.59	c Elapsed CPU time: 44.3863 s	Remaining CPU time: 1755.61 s
44.85/44.96	c Learning 1 hard constraints
44.85/44.96	c ============================[ Search Statistics ]==============================
44.85/44.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.85/44.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.85/44.96	c ===============================================================================
44.85/44.96	c |         0 |   36247   702093    61663 |   234031        0    nan |  0.000 % |
44.95/45.06	c |       100 |   36247   702093    61663 |   257434      100    639 | 20.780 % |
45.25/45.34	c ===============================================================================
45.25/45.35	c core #132
45.25/45.35	c Core size: 5356	Core Weight: 1	Total Weight: 164
45.25/45.35	c Elapsed CPU time: 45.1361 s	Remaining CPU time: 1754.86 s
45.65/45.74	c Learning 1 hard constraints
45.65/45.74	c ============================[ Search Statistics ]==============================
45.65/45.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.65/45.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.65/45.74	c ===============================================================================
45.65/45.74	c |         0 |   41470   706990    68679 |   235663        0    nan |  0.000 % |
45.75/45.86	c |       101 |   41470   706990    68679 |   259229      101   1048 | 18.551 % |
46.15/46.23	c |       251 |   41470   706990    68679 |   285152      251   1901 | 18.551 % |
46.64/46.74	c |       476 |   41470   706990    68679 |   313667      476   2074 | 18.551 % |
47.15/47.26	c |       813 |   41468   706990    68679 |   345034      812   1838 | 18.554 % |
47.94/48.08	c ===============================================================================
47.94/48.09	c core #133
47.94/48.09	c Core size: 7916	Core Weight: 1	Total Weight: 165
47.94/48.09	c Elapsed CPU time: 47.8457 s	Remaining CPU time: 1752.15 s
48.45/48.50	c Learning 3 hard constraints
48.45/48.50	c ============================[ Search Statistics ]==============================
48.45/48.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.45/48.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.45/48.50	c ===============================================================================
48.45/48.50	c |         0 |   49057   713916    79469 |   237972        0    nan |  0.000 % |
48.55/48.66	c |       102 |   49057   713916    79469 |   261769      102    951 | 16.021 % |
48.85/48.99	c |       252 |   49057   713916    79469 |   287946      252   1025 | 16.021 % |
49.35/49.44	c |       478 |   49057   713916    79469 |   316740      478    995 | 16.021 % |
49.94/50.10	c |       815 |   49057   713916    79469 |   348414      815    961 | 16.021 % |
50.84/50.99	c |      1321 |   49056   713916    79469 |   383256     1319    921 | 16.023 % |
52.44/52.50	c |      2081 |   49056   713916    79469 |   421581     2079   1086 | 16.023 % |
55.95/56.08	c |      3220 |   49054   713916    79469 |   463740     3207   2020 | 16.026 % |
60.74/60.84	c ===============================================================================
60.74/60.88	c core #134
60.74/60.88	c Core size: 10788	Core Weight: 1	Total Weight: 166
60.74/60.88	c Elapsed CPU time: 60.5768 s	Remaining CPU time: 1739.42 s
61.24/61.31	c Learning 13 hard constraints
61.24/61.31	c ============================[ Search Statistics ]==============================
61.24/61.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.24/61.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
61.24/61.31	c ===============================================================================
61.24/61.31	c |         0 |   58990   722676    95662 |   240892        0    nan |  0.000 % |
61.45/61.51	c |       100 |   58990   722676    95662 |   264981      100    684 | 13.589 % |
61.84/61.91	c |       250 |   58990   722676    95662 |   291479      250    709 | 13.589 % |
62.65/62.71	c |       477 |   58990   722676    95662 |   320627      477    839 | 13.589 % |
63.84/63.92	c |       814 |   58990   722676    95662 |   352689      814    890 | 13.589 % |
65.34/65.40	c |      1320 |   58990   722676    95662 |   387958     1320    879 | 13.589 % |
67.64/67.75	c |      2079 |   58990   722676    95662 |   426754     2079    848 | 13.589 % |
71.84/71.95	c |      3221 |   58990   722676    95662 |   469430     3221   1097 | 13.589 % |
77.73/77.87	c |      4931 |   58990   722676    95662 |   516373     4931   1075 | 13.589 % |
85.73/85.85	c |      7494 |   58990   722676    95662 |   568010     7494   1159 | 13.589 % |
101.32/101.42	c |     11338 |   58989   722676    95662 |   624811    11327   1318 | 13.591 % |
130.30/130.45	c |     17107 |   58989   722676    95662 |   687292    17096   1672 | 13.591 % |
182.58/182.76	c |     25757 |   58989   722676    95662 |   756022    25746   1942 | 13.591 % |
263.25/263.42	c |     38734 |   58989   722676    95662 |   831624    38723   2163 | 13.591 % |
404.51/404.73	c |     58195 |   58987   722676    95662 |   914786    58179   2452 | 13.594 % |
606.32/606.69	c ===============================================================================
607.92/608.24	c core #135
607.92/608.24	c Core size: 12839	Core Weight: 1	Total Weight: 167
607.92/608.24	c Elapsed CPU time: 606.377 s	Remaining CPU time: 1193.62 s
608.52/608.80	c Learning 70 hard constraints
608.52/608.80	c ============================[ Search Statistics ]==============================
608.52/608.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
608.52/608.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
608.52/608.80	c ===============================================================================
608.52/608.80	c |         0 |   70224   731864   132638 |   243954        0    nan |  0.000 % |
608.72/609.07	c |       101 |   70224   731864   132638 |   268350      101   1494 | 11.569 % |
609.12/609.50	c |       254 |   70224   731864   132638 |   295185      254   1619 | 11.569 % |
610.13/610.44	c |       480 |   70224   731864   132638 |   324703      480   1069 | 11.569 % |
611.42/611.80	c |       817 |   70224   731864   132638 |   357174      817    843 | 11.569 % |
613.42/613.71	c |      1324 |   70224   731864   132638 |   392891     1324    796 | 11.569 % |
616.72/617.01	c |      2083 |   70224   731864   132638 |   432180     2083    710 | 11.569 % |
621.82/622.18	c |      3223 |   70224   731864   132638 |   475398     3223    746 | 11.569 % |
628.42/628.72	c |      4932 |   70224   731864   132638 |   522938     4932    795 | 11.569 % |
641.21/641.50	c |      7497 |   70224   731864   132638 |   575232     7497    971 | 11.569 % |
661.90/662.21	c |     11341 |   70224   731864   132638 |   632755    11341   1191 | 11.569 % |
690.59/690.95	c |     17108 |   70224   731864   132638 |   696031    17108   1162 | 11.569 % |
737.68/738.05	c |     25761 |   70224   731864   132638 |   765634    25761   1273 | 11.569 % |
809.54/809.98	c |     38736 |   70224   731864   132638 |   842197    38736   1217 | 11.569 % |
934.98/935.41	c |     58197 |   70223   731864   132638 |   926417    58196   1428 | 11.570 % |
1194.18/1194.72	c |     87389 |   70223   731864   132638 |  1019059    87388   1937 | 11.570 % |
1606.32/1607.03	c |    131179 |   70223   731864   132638 |  1120965   131178   2032 | 11.570 % |

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1529
/proc/meminfo: memFree=1903864/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=19888 CPUtime=0
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 181699878 20365312 286 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 4972 288 123 292 0 469 0

[startup+0.057617 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1529
/proc/meminfo: memFree=1903864/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=21792 CPUtime=0.05
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 837 0 0 0 5 0 0 0 18 0 1 0 181699878 22315008 821 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 5448 821 218 292 0 945 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21792

[startup+0.101621 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1529
/proc/meminfo: memFree=1903864/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=22220 CPUtime=0.09
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 1042 0 0 0 9 0 0 0 18 0 1 0 181699878 22753280 1026 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 5555 1027 305 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301642 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1529
/proc/meminfo: memFree=1903864/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=24580 CPUtime=0.29
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 1969 0 0 0 29 0 0 0 19 0 1 0 181699878 25169920 1953 1992294400 134512640 135709839 4294956240 18446744073709551615 134544470 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 6145 1954 692 292 0 1642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24580

[startup+0.701685 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1529
/proc/meminfo: memFree=1903864/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=28948 CPUtime=0.69
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 3774 0 0 0 68 1 0 0 23 0 1 0 181699878 29642752 3758 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 7237 3758 1446 292 0 2734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28948

[startup+1.50177 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1891440/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=37212 CPUtime=1.49
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 7455 0 0 0 147 2 0 0 25 0 1 0 181699878 38105088 7439 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 9303 7439 2983 292 0 4800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37212

[startup+3.10194 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1879536/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=56280 CPUtime=3.08
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 19949 0 0 0 301 7 0 0 25 0 1 0 181699878 57630720 13246 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 14070 13246 133 292 0 13775 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56280

[startup+6.30132 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1850288/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=56940 CPUtime=6.29
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 20125 0 0 0 620 9 0 0 25 0 1 0 181699878 58306560 13422 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 14235 13422 133 292 0 13940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56940

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1849840/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=57732 CPUtime=12.69
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 20324 0 0 0 1260 9 0 0 25 0 1 0 181699878 59117568 13621 1992294400 134512640 135709839 4294956240 18446744073709551615 135165901 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 14433 13621 133 292 0 14138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57732

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1847088/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=60512 CPUtime=25.48
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 21037 0 0 0 2539 9 0 0 25 0 1 0 181699878 61964288 14334 1992294400 134512640 135709839 4294956240 18446744073709551615 135165878 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 15128 14334 133 292 0 14833 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60512

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1824816/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=84452 CPUtime=51.04
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 40592 0 0 0 5082 22 0 0 25 0 1 0 181699878 86478848 19833 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 21113 19833 136 292 0 20818 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 84452

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1784432/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=124616 CPUtime=102.23
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 52123 0 0 0 10187 36 0 0 25 0 1 0 181699878 127606784 29980 1992294400 134512640 135709839 4294956240 18446744073709551615 134588036 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 31154 29980 136 292 0 30859 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 124616

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1688624/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=222300 CPUtime=162.2
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 76519 0 0 0 16169 51 0 0 25 0 1 0 181699878 227635200 54376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 55575 54376 136 292 0 55280 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 222300

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1592304/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=316540 CPUtime=222.17
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 100103 0 0 0 22151 66 0 0 25 0 1 0 181699878 324136960 77960 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 79135 77960 136 292 0 78840 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 316540

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1482032/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=427916 CPUtime=282.15
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 127938 0 0 0 28132 83 0 0 25 0 1 0 181699878 438185984 105795 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 106979 105795 136 292 0 106684 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 427916

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1382128/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=526188 CPUtime=342.12
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 152503 0 0 0 34116 96 0 0 25 0 1 0 181699878 538816512 130360 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 131547 130360 136 292 0 131252 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 526188

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1285168/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=625116 CPUtime=402.1
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 177223 0 0 0 40101 109 0 0 25 0 1 0 181699878 640118784 155080 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 156279 155080 136 292 0 155984 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 625116

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1195248/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=713780 CPUtime=462.07
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 199371 0 0 0 46084 123 0 0 25 0 1 0 181699878 730910720 177228 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 178445 177228 136 292 0 178150 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 713780

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=1098416/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=810296 CPUtime=522.05
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 223513 0 0 0 52066 139 0 0 25 0 1 0 181699878 829743104 201370 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 202574 201370 136 292 0 202279 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 810296

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=977136/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=932168 CPUtime=582.03
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 253967 0 0 0 58048 155 0 0 25 0 1 0 181699878 954540032 231824 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 233042 231824 136 292 0 232747 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 932168

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=910320/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=997604 CPUtime=642.01
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 271928 0 0 0 64033 168 0 0 25 0 1 0 181699878 1021546496 247934 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 249401 247934 136 292 0 249106 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 997604

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=910128/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=997604 CPUtime=881.91
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 271940 0 0 0 88003 188 0 0 25 0 1 0 181699878 1021546496 247946 1992294400 134512640 135709839 4294956240 18446744073709551615 134572312 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 249401 247946 136 292 0 249106 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 997604

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=910064/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=997604 CPUtime=941.89
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 271986 0 0 0 93996 193 0 0 25 0 1 0 181699878 1021546496 247992 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 249401 247992 136 292 0 249106 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 997604

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=851120/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1056772 CPUtime=1001.85
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 286776 0 0 0 99981 204 0 0 25 0 1 0 181699878 1082134528 262782 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 264193 262782 136 292 0 263898 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 1056772

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=771696/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1137596 CPUtime=1061.83
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 306983 0 0 0 105964 219 0 0 25 0 1 0 181699878 1164898304 282989 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 284399 282989 136 292 0 284104 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 1137596

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=695920/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1212036 CPUtime=1121.81
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 325582 0 0 0 111950 231 0 0 25 0 1 0 181699878 1241124864 301588 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 303009 301588 136 292 0 302714 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1212036

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=612848/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1296136 CPUtime=1181.78
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 346620 0 0 0 117935 243 0 0 25 0 1 0 181699878 1327243264 322626 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 324034 322626 136 292 0 323739 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 1296136

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=535792/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1371464 CPUtime=1241.76
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 365394 0 0 0 123921 255 0 0 25 0 1 0 181699878 1404379136 341400 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 342866 341400 136 292 0 342571 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1371464

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1530
/proc/meminfo: memFree=483312/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1423444 CPUtime=1301.74
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 378401 0 0 0 129909 265 0 0 25 0 1 0 181699878 1457606656 354407 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 355861 354407 136 292 0 355566 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1423444

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=422512/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1484368 CPUtime=1361.71
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 393632 0 0 0 135897 274 0 0 25 0 1 0 181699878 1519992832 369638 1992294400 134512640 135709839 4294956240 18446744073709551615 134573687 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 371092 369638 136 292 0 370797 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1484368

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=368944/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1537600 CPUtime=1421.69
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 406951 0 0 0 141885 284 0 0 25 0 1 0 181699878 1574502400 382957 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 384400 382957 136 292 0 384105 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1537600

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=316208/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1590640 CPUtime=1481.66
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 420223 0 0 0 147873 293 0 0 25 0 1 0 181699878 1628815360 396229 1992294400 134512640 135709839 4294956240 18446744073709551615 134579030 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 397660 396229 136 292 0 397365 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1590640

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=257392/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1648860 CPUtime=1541.65
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 434759 0 0 0 153860 305 0 0 25 0 1 0 181699878 1688432640 410765 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 412215 410765 136 292 0 411920 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1648860

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=198256/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1708364 CPUtime=1601.61
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 449660 0 0 0 159846 315 0 0 25 0 1 0 181699878 1749364736 425666 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 427091 425666 136 292 0 426796 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 1708364

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=146416/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1759748 CPUtime=1661.59
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 462498 0 0 0 165834 325 0 0 25 0 1 0 181699878 1801981952 438504 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 439937 438504 136 292 0 439642 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 1759748

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=67056/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1839804 CPUtime=1721.57
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 482442 0 0 0 171821 336 0 0 25 0 1 0 181699878 1883959296 458448 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 459951 458448 136 292 0 459656 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 1839804



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1724.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=62704/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=1843352 CPUtime=1723.97
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4194304 483316 0 0 0 172061 336 0 0 25 0 1 0 181699878 1887592448 459322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 460838 459322 136 292 0 460543 0
Current children cumulated CPU time (s) 1723.97
Current children cumulated vsize (KiB) 1843352

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

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

[startup+1724.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=62704/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=0 CPUtime=1724.07
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4195332 483316 0 0 0 172061 346 0 0 25 0 1 0 181699878 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.07
Current children cumulated vsize (KiB) 0

[startup+1724.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1532
/proc/meminfo: memFree=62704/2055920 swapFree=4181536/4192956
[pid=1529] ppid=1527 vsize=0 CPUtime=1724.16
/proc/1529/stat : 1529 (wbo) R 1527 1529 1160 0 -1 4195332 483316 0 0 0 172061 355 0 0 25 0 1 0 181699878 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/1529/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1724.97
CPU time (s): 1724.24
CPU user time (s): 1720.62
CPU system time (s): 3.62845
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 1843352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.62
system time used= 3.62845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483316
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= 3
involuntary context switches= 6348

runsolver used 1.58276 second user time and 4.72328 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 10:29:58
IDJOB=1875633
IDBENCH=1969
IDSOLVER=698
FILE ID=node19/1875633-1245140997
PBS_JOBID= 9363729
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_0.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-1875633-1245140997/watcher-1875633-1245140997 -o /tmp/evaluation-result-1875633-1245140997/solver-1875633-1245140997 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875633-1245140997.opb

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

MD5SUM BENCH= 325852af8542a0f454599a2893f1b120
RANDOM SEED=454640746

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1904344 kB
Buffers:         10948 kB
Cached:          77036 kB
SwapCached:       6060 kB
Active:          73980 kB
Inactive:        22748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1904344 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           19208 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            40756 kB
Committed_AS:   180848 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875633-1245140997.opb

Free space on /tmp at the end= 66140 MiB
End job on node19 at 2009-06-16 10:58:44