Trace number 1875632

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.28 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5248
Best CPU time to get the best result obtained on this benchmark1292.98
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
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 494728
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 494728
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-1875632-1245140656.opb.
0.00/0.00	c Instance file HOME/instance-1875632-1245140656.opb
0.00/0.00	c File size is 17233674 bytes.
2.29/2.38	c Highest Coefficient sum: 101
2.29/2.39	c ============================[ Problem Statistics ]=============================
2.29/2.39	c |                                                                             |
2.29/2.39	c |  Parsing time:          2.35         s                                      |
2.29/2.39	c |  Number Variables:      10000                                               |
2.29/2.39	c |  Number Clauses:        666900                                              |
2.29/2.39	c |  Number Cardinality:    0                                                   |
2.29/2.39	c |  Number PB Constraints: 0                                                   |
2.29/2.39	c core #1
2.29/2.39	c Core size: 101	Core Weight: 2	Total Weight: 2
2.29/2.39	c Elapsed CPU time: 2.34764 s	Remaining CPU time: 1797.65 s
2.69/2.73	c core #2
2.69/2.73	c Core size: 101	Core Weight: 1	Total Weight: 3
2.69/2.73	c Elapsed CPU time: 2.66759 s	Remaining CPU time: 1797.33 s
2.99/3.05	c core #3
2.99/3.05	c Core size: 101	Core Weight: 3	Total Weight: 6
2.99/3.05	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 1797.02 s
3.30/3.38	c core #4
3.30/3.38	c Core size: 101	Core Weight: 1	Total Weight: 7
3.30/3.38	c Elapsed CPU time: 3.3065 s	Remaining CPU time: 1796.69 s
3.69/3.70	c core #5
3.69/3.70	c Core size: 101	Core Weight: 2	Total Weight: 9
3.69/3.70	c Elapsed CPU time: 3.62745 s	Remaining CPU time: 1796.37 s
3.99/4.03	c core #6
3.99/4.03	c Core size: 101	Core Weight: 1	Total Weight: 10
3.99/4.03	c Elapsed CPU time: 3.9504 s	Remaining CPU time: 1796.05 s
4.30/4.35	c core #7
4.30/4.35	c Core size: 101	Core Weight: 1	Total Weight: 11
4.30/4.35	c Elapsed CPU time: 4.26835 s	Remaining CPU time: 1795.73 s
4.59/4.68	c core #8
4.59/4.68	c Core size: 101	Core Weight: 1	Total Weight: 12
4.59/4.68	c Elapsed CPU time: 4.5993 s	Remaining CPU time: 1795.4 s
4.99/5.02	c core #9
4.99/5.02	c Core size: 101	Core Weight: 1	Total Weight: 13
4.99/5.02	c Elapsed CPU time: 4.94325 s	Remaining CPU time: 1795.06 s
5.29/5.35	c core #10
5.29/5.35	c Core size: 101	Core Weight: 1	Total Weight: 14
5.29/5.35	c Elapsed CPU time: 5.2672 s	Remaining CPU time: 1794.73 s
5.59/5.67	c core #11
5.59/5.67	c Core size: 101	Core Weight: 1	Total Weight: 15
5.59/5.67	c Elapsed CPU time: 5.59215 s	Remaining CPU time: 1794.41 s
5.89/6.00	c core #12
5.89/6.00	c Core size: 101	Core Weight: 1	Total Weight: 16
5.89/6.00	c Elapsed CPU time: 5.9191 s	Remaining CPU time: 1794.08 s
6.29/6.35	c core #13
6.29/6.35	c Core size: 101	Core Weight: 1	Total Weight: 17
6.29/6.35	c Elapsed CPU time: 6.27405 s	Remaining CPU time: 1793.73 s
6.60/6.68	c core #14
6.60/6.68	c Core size: 101	Core Weight: 3	Total Weight: 20
6.60/6.68	c Elapsed CPU time: 6.602 s	Remaining CPU time: 1793.4 s
6.99/7.00	c core #15
6.99/7.00	c Core size: 101	Core Weight: 1	Total Weight: 21
6.99/7.00	c Elapsed CPU time: 6.92295 s	Remaining CPU time: 1793.08 s
7.29/7.32	c core #16
7.29/7.32	c Core size: 101	Core Weight: 1	Total Weight: 22
7.29/7.32	c Elapsed CPU time: 7.2449 s	Remaining CPU time: 1792.76 s
7.60/7.65	c core #17
7.60/7.65	c Core size: 101	Core Weight: 3	Total Weight: 25
7.60/7.65	c Elapsed CPU time: 7.56985 s	Remaining CPU time: 1792.43 s
7.89/7.97	c core #18
7.89/7.97	c Core size: 101	Core Weight: 1	Total Weight: 26
7.89/7.97	c Elapsed CPU time: 7.8968 s	Remaining CPU time: 1792.1 s
8.29/8.33	c core #19
8.29/8.33	c Core size: 101	Core Weight: 1	Total Weight: 27
8.29/8.33	c Elapsed CPU time: 8.25174 s	Remaining CPU time: 1791.75 s
8.59/8.66	c core #20
8.59/8.66	c Core size: 101	Core Weight: 1	Total Weight: 28
8.59/8.66	c Elapsed CPU time: 8.5777 s	Remaining CPU time: 1791.42 s
8.89/8.98	c core #21
8.89/8.98	c Core size: 101	Core Weight: 2	Total Weight: 30
8.89/8.98	c Elapsed CPU time: 8.90265 s	Remaining CPU time: 1791.1 s
9.29/9.32	c core #22
9.29/9.32	c Core size: 101	Core Weight: 2	Total Weight: 32
9.29/9.32	c Elapsed CPU time: 9.23659 s	Remaining CPU time: 1790.76 s
9.59/9.64	c core #23
9.59/9.64	c Core size: 101	Core Weight: 2	Total Weight: 34
9.59/9.64	c Elapsed CPU time: 9.55755 s	Remaining CPU time: 1790.44 s
9.90/9.97	c core #24
9.90/9.97	c Core size: 101	Core Weight: 1	Total Weight: 35
9.90/9.97	c Elapsed CPU time: 9.8855 s	Remaining CPU time: 1790.11 s
10.19/10.29	c core #25
10.19/10.29	c Core size: 201	Core Weight: 1	Total Weight: 36
10.19/10.29	c Elapsed CPU time: 10.2064 s	Remaining CPU time: 1789.79 s
10.59/10.62	c core #26
10.59/10.62	c Core size: 101	Core Weight: 1	Total Weight: 37
10.59/10.62	c Elapsed CPU time: 10.5334 s	Remaining CPU time: 1789.47 s
10.89/10.94	c core #27
10.89/10.94	c Core size: 101	Core Weight: 9	Total Weight: 46
10.89/10.94	c Elapsed CPU time: 10.8583 s	Remaining CPU time: 1789.14 s
11.19/11.27	c core #28
11.19/11.27	c Core size: 101	Core Weight: 1	Total Weight: 47
11.19/11.27	c Elapsed CPU time: 11.1863 s	Remaining CPU time: 1788.81 s
11.49/11.59	c core #29
11.49/11.59	c Core size: 101	Core Weight: 1	Total Weight: 48
11.49/11.59	c Elapsed CPU time: 11.5083 s	Remaining CPU time: 1788.49 s
11.89/11.92	c core #30
11.89/11.92	c Core size: 101	Core Weight: 1	Total Weight: 49
11.89/11.92	c Elapsed CPU time: 11.8372 s	Remaining CPU time: 1788.16 s
12.19/12.25	c core #31
12.19/12.25	c Core size: 201	Core Weight: 1	Total Weight: 50
12.19/12.25	c Elapsed CPU time: 12.1652 s	Remaining CPU time: 1787.83 s
12.59/12.60	c core #32
12.59/12.60	c Core size: 401	Core Weight: 1	Total Weight: 51
12.59/12.60	c Elapsed CPU time: 12.5191 s	Remaining CPU time: 1787.48 s
12.89/12.94	c core #33
12.89/12.94	c Core size: 101	Core Weight: 1	Total Weight: 52
12.89/12.94	c Elapsed CPU time: 12.853 s	Remaining CPU time: 1787.15 s
13.29/13.31	c core #34
13.29/13.31	c Core size: 101	Core Weight: 2	Total Weight: 54
13.29/13.31	c Elapsed CPU time: 13.224 s	Remaining CPU time: 1786.78 s
13.59/13.63	c core #35
13.59/13.63	c Core size: 101	Core Weight: 1	Total Weight: 55
13.59/13.63	c Elapsed CPU time: 13.5519 s	Remaining CPU time: 1786.45 s
13.89/13.99	c core #36
13.89/13.99	c Core size: 101	Core Weight: 1	Total Weight: 56
13.89/13.99	c Elapsed CPU time: 13.9119 s	Remaining CPU time: 1786.09 s
14.29/14.32	c core #37
14.29/14.32	c Core size: 101	Core Weight: 1	Total Weight: 57
14.29/14.32	c Elapsed CPU time: 14.2378 s	Remaining CPU time: 1785.76 s
14.59/14.66	c core #38
14.59/14.66	c Core size: 101	Core Weight: 1	Total Weight: 58
14.59/14.66	c Elapsed CPU time: 14.5788 s	Remaining CPU time: 1785.42 s
14.89/14.99	c core #39
14.89/14.99	c Core size: 101	Core Weight: 1	Total Weight: 59
14.89/14.99	c Elapsed CPU time: 14.9107 s	Remaining CPU time: 1785.09 s
15.29/15.32	c core #40
15.29/15.32	c Core size: 101	Core Weight: 1	Total Weight: 60
15.29/15.32	c Elapsed CPU time: 15.2407 s	Remaining CPU time: 1784.76 s
15.59/15.65	c core #41
15.59/15.65	c Core size: 101	Core Weight: 1	Total Weight: 61
15.59/15.65	c Elapsed CPU time: 15.5666 s	Remaining CPU time: 1784.43 s
15.89/15.97	c core #42
15.89/15.97	c Core size: 101	Core Weight: 5	Total Weight: 66
15.89/15.97	c Elapsed CPU time: 15.8916 s	Remaining CPU time: 1784.11 s
16.29/16.30	c core #43
16.29/16.30	c Core size: 401	Core Weight: 1	Total Weight: 67
16.29/16.30	c Elapsed CPU time: 16.2175 s	Remaining CPU time: 1783.78 s
16.59/16.64	c core #44
16.59/16.64	c Core size: 101	Core Weight: 1	Total Weight: 68
16.59/16.64	c Elapsed CPU time: 16.5535 s	Remaining CPU time: 1783.45 s
16.89/16.98	c core #45
16.89/16.98	c Core size: 101	Core Weight: 4	Total Weight: 72
16.89/16.98	c Elapsed CPU time: 16.8914 s	Remaining CPU time: 1783.11 s
17.29/17.30	c core #46
17.29/17.30	c Core size: 101	Core Weight: 1	Total Weight: 73
17.29/17.30	c Elapsed CPU time: 17.2184 s	Remaining CPU time: 1782.78 s
17.59/17.64	c core #47
17.59/17.64	c Core size: 401	Core Weight: 1	Total Weight: 74
17.59/17.64	c Elapsed CPU time: 17.5523 s	Remaining CPU time: 1782.45 s
17.99/18.01	c core #48
17.99/18.01	c Core size: 101	Core Weight: 1	Total Weight: 75
17.99/18.01	c Elapsed CPU time: 17.9233 s	Remaining CPU time: 1782.08 s
18.29/18.33	c core #49
18.29/18.33	c Core size: 101	Core Weight: 1	Total Weight: 76
18.29/18.33	c Elapsed CPU time: 18.2462 s	Remaining CPU time: 1781.75 s
18.59/18.67	c core #50
18.59/18.67	c Core size: 201	Core Weight: 1	Total Weight: 77
18.59/18.67	c Elapsed CPU time: 18.5812 s	Remaining CPU time: 1781.42 s
18.99/19.03	c core #51
18.99/19.03	c Core size: 101	Core Weight: 1	Total Weight: 78
18.99/19.03	c Elapsed CPU time: 18.9481 s	Remaining CPU time: 1781.05 s
19.39/19.41	c core #52
19.39/19.41	c Core size: 101	Core Weight: 1	Total Weight: 79
19.39/19.41	c Elapsed CPU time: 19.3221 s	Remaining CPU time: 1780.68 s
19.69/19.74	c core #53
19.69/19.74	c Core size: 101	Core Weight: 1	Total Weight: 80
19.69/19.74	c Elapsed CPU time: 19.651 s	Remaining CPU time: 1780.35 s
19.99/20.09	c core #54
19.99/20.09	c Core size: 101	Core Weight: 1	Total Weight: 81
19.99/20.09	c Elapsed CPU time: 20.009 s	Remaining CPU time: 1779.99 s
20.39/20.42	c core #55
20.39/20.42	c Core size: 101	Core Weight: 1	Total Weight: 82
20.39/20.42	c Elapsed CPU time: 20.3369 s	Remaining CPU time: 1779.66 s
20.69/20.79	c core #56
20.69/20.79	c Core size: 101	Core Weight: 1	Total Weight: 83
20.69/20.79	c Elapsed CPU time: 20.7039 s	Remaining CPU time: 1779.3 s
21.09/21.12	c core #57
21.09/21.12	c Core size: 101	Core Weight: 1	Total Weight: 84
21.09/21.12	c Elapsed CPU time: 21.0338 s	Remaining CPU time: 1778.97 s
21.39/21.45	c core #58
21.39/21.45	c Core size: 101	Core Weight: 3	Total Weight: 87
21.39/21.45	c Elapsed CPU time: 21.3638 s	Remaining CPU time: 1778.64 s
21.69/21.79	c core #59
21.69/21.79	c Core size: 301	Core Weight: 1	Total Weight: 88
21.69/21.79	c Elapsed CPU time: 21.6997 s	Remaining CPU time: 1778.3 s
22.08/22.12	c core #60
22.08/22.12	c Core size: 101	Core Weight: 1	Total Weight: 89
22.08/22.12	c Elapsed CPU time: 22.0337 s	Remaining CPU time: 1777.97 s
22.38/22.45	c core #61
22.38/22.45	c Core size: 201	Core Weight: 1	Total Weight: 90
22.38/22.45	c Elapsed CPU time: 22.3686 s	Remaining CPU time: 1777.63 s
22.68/22.79	c core #62
22.68/22.79	c Core size: 901	Core Weight: 1	Total Weight: 91
22.68/22.79	c Elapsed CPU time: 22.7045 s	Remaining CPU time: 1777.3 s
23.09/23.13	c core #63
23.09/23.13	c Core size: 101	Core Weight: 1	Total Weight: 92
23.09/23.13	c Elapsed CPU time: 23.0445 s	Remaining CPU time: 1776.96 s
23.48/23.50	c core #64
23.48/23.50	c Core size: 101	Core Weight: 1	Total Weight: 93
23.48/23.50	c Elapsed CPU time: 23.4124 s	Remaining CPU time: 1776.59 s
23.78/23.83	c core #65
23.78/23.83	c Core size: 101	Core Weight: 1	Total Weight: 94
23.78/23.83	c Elapsed CPU time: 23.7434 s	Remaining CPU time: 1776.26 s
24.09/24.17	c core #66
24.09/24.17	c Core size: 101	Core Weight: 1	Total Weight: 95
24.09/24.17	c Elapsed CPU time: 24.0823 s	Remaining CPU time: 1775.92 s
24.48/24.51	c core #67
24.48/24.51	c Core size: 101	Core Weight: 1	Total Weight: 96
24.48/24.51	c Elapsed CPU time: 24.4213 s	Remaining CPU time: 1775.58 s
24.78/24.85	c core #68
24.78/24.85	c Core size: 101	Core Weight: 1	Total Weight: 97
24.78/24.85	c Elapsed CPU time: 24.7562 s	Remaining CPU time: 1775.24 s
25.08/25.20	c core #69
25.08/25.20	c Core size: 301	Core Weight: 1	Total Weight: 98
25.08/25.20	c Elapsed CPU time: 25.1092 s	Remaining CPU time: 1774.89 s
25.48/25.54	c core #70
25.48/25.54	c Core size: 101	Core Weight: 4	Total Weight: 102
25.48/25.54	c Elapsed CPU time: 25.4461 s	Remaining CPU time: 1774.55 s
25.78/25.87	c core #71
25.78/25.87	c Core size: 101	Core Weight: 1	Total Weight: 103
25.78/25.87	c Elapsed CPU time: 25.7771 s	Remaining CPU time: 1774.22 s
26.18/26.20	c core #72
26.18/26.20	c Core size: 101	Core Weight: 1	Total Weight: 104
26.18/26.20	c Elapsed CPU time: 26.11 s	Remaining CPU time: 1773.89 s
26.48/26.53	c core #73
26.48/26.53	c Core size: 201	Core Weight: 1	Total Weight: 105
26.48/26.53	c Elapsed CPU time: 26.442 s	Remaining CPU time: 1773.56 s
26.78/26.88	c core #74
26.78/26.88	c Core size: 101	Core Weight: 1	Total Weight: 106
26.78/26.88	c Elapsed CPU time: 26.7829 s	Remaining CPU time: 1773.22 s
27.18/27.20	c core #75
27.18/27.20	c Core size: 101	Core Weight: 1	Total Weight: 107
27.18/27.21	c Elapsed CPU time: 27.1119 s	Remaining CPU time: 1772.89 s
27.48/27.57	c core #76
27.48/27.57	c Core size: 101	Core Weight: 1	Total Weight: 108
27.48/27.57	c Elapsed CPU time: 27.4788 s	Remaining CPU time: 1772.52 s
27.88/27.94	c core #77
27.88/27.94	c Core size: 101	Core Weight: 1	Total Weight: 109
27.88/27.94	c Elapsed CPU time: 27.8498 s	Remaining CPU time: 1772.15 s
28.28/28.32	c core #78
28.28/28.32	c Core size: 101	Core Weight: 1	Total Weight: 110
28.28/28.32	c Elapsed CPU time: 28.2287 s	Remaining CPU time: 1771.77 s
28.58/28.66	c core #79
28.58/28.66	c Core size: 101	Core Weight: 1	Total Weight: 111
28.58/28.66	c Elapsed CPU time: 28.5617 s	Remaining CPU time: 1771.44 s
28.98/29.03	c core #80
28.98/29.03	c Core size: 101	Core Weight: 1	Total Weight: 112
28.98/29.03	c Elapsed CPU time: 28.9406 s	Remaining CPU time: 1771.06 s
29.28/29.37	c core #81
29.28/29.37	c Core size: 101	Core Weight: 1	Total Weight: 113
29.28/29.37	c Elapsed CPU time: 29.2716 s	Remaining CPU time: 1770.73 s
29.59/29.70	c core #82
29.59/29.70	c Core size: 101	Core Weight: 1	Total Weight: 114
29.59/29.70	c Elapsed CPU time: 29.6015 s	Remaining CPU time: 1770.4 s
29.98/30.07	c core #83
29.98/30.07	c Core size: 101	Core Weight: 1	Total Weight: 115
29.98/30.07	c Elapsed CPU time: 29.9634 s	Remaining CPU time: 1770.04 s
30.28/30.38	c core #84
30.28/30.38	c Core size: 101	Core Weight: 1	Total Weight: 116
30.28/30.38	c Elapsed CPU time: 30.2824 s	Remaining CPU time: 1769.72 s
30.68/30.70	c core #85
30.68/30.70	c Core size: 101	Core Weight: 1	Total Weight: 117
30.68/30.70	c Elapsed CPU time: 30.6003 s	Remaining CPU time: 1769.4 s
30.98/31.04	c core #86
30.98/31.04	c Core size: 101	Core Weight: 2	Total Weight: 119
30.98/31.04	c Elapsed CPU time: 30.9403 s	Remaining CPU time: 1769.06 s
31.38/31.41	c core #87
31.38/31.41	c Core size: 2601	Core Weight: 1	Total Weight: 120
31.38/31.41	c Elapsed CPU time: 31.3042 s	Remaining CPU time: 1768.7 s
31.68/31.77	c core #88
31.68/31.77	c Core size: 101	Core Weight: 1	Total Weight: 121
31.68/31.77	c Elapsed CPU time: 31.6642 s	Remaining CPU time: 1768.34 s
32.08/32.11	c core #89
32.08/32.11	c Core size: 101	Core Weight: 1	Total Weight: 122
32.08/32.11	c Elapsed CPU time: 32.0011 s	Remaining CPU time: 1768 s
32.38/32.50	c core #90
32.38/32.50	c Core size: 101	Core Weight: 1	Total Weight: 123
32.48/32.50	c Elapsed CPU time: 32.3901 s	Remaining CPU time: 1767.61 s
32.78/32.86	c core #91
32.78/32.86	c Core size: 101	Core Weight: 1	Total Weight: 124
32.78/32.86	c Elapsed CPU time: 32.757 s	Remaining CPU time: 1767.24 s
33.17/33.24	c core #92
33.17/33.24	c Core size: 101	Core Weight: 1	Total Weight: 125
33.17/33.24	c Elapsed CPU time: 33.137 s	Remaining CPU time: 1766.86 s
33.47/33.59	c core #93
33.47/33.59	c Core size: 101	Core Weight: 2	Total Weight: 127
33.47/33.59	c Elapsed CPU time: 33.4779 s	Remaining CPU time: 1766.52 s
33.87/33.93	c core #94
33.87/33.93	c Core size: 201	Core Weight: 1	Total Weight: 128
33.87/33.93	c Elapsed CPU time: 33.8209 s	Remaining CPU time: 1766.18 s
34.17/34.28	c core #95
34.17/34.28	c Core size: 101	Core Weight: 1	Total Weight: 129
34.17/34.28	c Elapsed CPU time: 34.1688 s	Remaining CPU time: 1765.83 s
34.57/34.63	c core #96
34.57/34.63	c Core size: 501	Core Weight: 1	Total Weight: 130
34.57/34.64	c Elapsed CPU time: 34.5268 s	Remaining CPU time: 1765.47 s
34.87/34.98	c core #97
34.87/34.98	c Core size: 101	Core Weight: 1	Total Weight: 131
34.87/34.98	c Elapsed CPU time: 34.8757 s	Remaining CPU time: 1765.12 s
35.27/35.33	c core #98
35.27/35.33	c Core size: 101	Core Weight: 1	Total Weight: 132
35.27/35.33	c Elapsed CPU time: 35.2226 s	Remaining CPU time: 1764.78 s
35.57/35.67	c core #99
35.57/35.67	c Core size: 101	Core Weight: 4	Total Weight: 136
35.57/35.67	c Elapsed CPU time: 35.5626 s	Remaining CPU time: 1764.44 s
35.97/36.05	c core #100
35.97/36.05	c Core size: 2601	Core Weight: 1	Total Weight: 137
35.97/36.05	c Elapsed CPU time: 35.9335 s	Remaining CPU time: 1764.07 s
36.37/36.41	c core #101
36.37/36.41	c Core size: 101	Core Weight: 2	Total Weight: 139
36.37/36.41	c Elapsed CPU time: 36.2985 s	Remaining CPU time: 1763.7 s
36.67/36.76	c core #102
36.67/36.76	c Core size: 101	Core Weight: 1	Total Weight: 140
36.67/36.76	c Elapsed CPU time: 36.6424 s	Remaining CPU time: 1763.36 s
37.07/37.11	c core #103
37.07/37.11	c Core size: 101	Core Weight: 1	Total Weight: 141
37.07/37.11	c Elapsed CPU time: 36.9914 s	Remaining CPU time: 1763.01 s
37.37/37.45	c core #104
37.37/37.45	c Core size: 101	Core Weight: 1	Total Weight: 142
37.37/37.45	c Elapsed CPU time: 37.3363 s	Remaining CPU time: 1762.66 s
37.77/37.80	c core #105
37.77/37.80	c Core size: 101	Core Weight: 2	Total Weight: 144
37.77/37.80	c Elapsed CPU time: 37.6823 s	Remaining CPU time: 1762.32 s
38.06/38.15	c core #106
38.06/38.15	c Core size: 101	Core Weight: 1	Total Weight: 145
38.06/38.15	c Elapsed CPU time: 38.0282 s	Remaining CPU time: 1761.97 s
38.37/38.49	c core #107
38.37/38.49	c Core size: 201	Core Weight: 1	Total Weight: 146
38.37/38.49	c Elapsed CPU time: 38.3742 s	Remaining CPU time: 1761.63 s
38.76/38.88	c core #108
38.76/38.88	c Core size: 101	Core Weight: 1	Total Weight: 147
38.76/38.88	c Elapsed CPU time: 38.7641 s	Remaining CPU time: 1761.24 s
39.16/39.23	c core #109
39.16/39.23	c Core size: 101	Core Weight: 1	Total Weight: 148
39.16/39.23	c Elapsed CPU time: 39.1141 s	Remaining CPU time: 1760.89 s
39.47/39.58	c core #110
39.47/39.58	c Core size: 101	Core Weight: 1	Total Weight: 149
39.47/39.58	c Elapsed CPU time: 39.464 s	Remaining CPU time: 1760.54 s
39.86/39.97	c core #111
39.86/39.97	c Core size: 101	Core Weight: 2	Total Weight: 151
39.86/39.97	c Elapsed CPU time: 39.8529 s	Remaining CPU time: 1760.15 s
40.26/40.33	c core #112
40.26/40.33	c Core size: 701	Core Weight: 1	Total Weight: 152
40.26/40.33	c Elapsed CPU time: 40.2099 s	Remaining CPU time: 1759.79 s
40.57/40.69	c core #113
40.57/40.69	c Core size: 101	Core Weight: 1	Total Weight: 153
40.57/40.69	c Elapsed CPU time: 40.5698 s	Remaining CPU time: 1759.43 s
40.96/41.04	c core #114
40.96/41.04	c Core size: 101	Core Weight: 1	Total Weight: 154
40.96/41.04	c Elapsed CPU time: 40.9158 s	Remaining CPU time: 1759.08 s
41.36/41.43	c core #115
41.36/41.43	c Core size: 101	Core Weight: 1	Total Weight: 155
41.36/41.43	c Elapsed CPU time: 41.3067 s	Remaining CPU time: 1758.69 s
41.66/41.77	c core #116
41.66/41.77	c Core size: 101	Core Weight: 1	Total Weight: 156
41.66/41.77	c Elapsed CPU time: 41.6517 s	Remaining CPU time: 1758.35 s
42.06/42.13	c core #117
42.06/42.13	c Core size: 101	Core Weight: 2	Total Weight: 158
42.06/42.13	c Elapsed CPU time: 42.0046 s	Remaining CPU time: 1758 s
42.36/42.48	c core #118
42.36/42.48	c Core size: 201	Core Weight: 1	Total Weight: 159
42.36/42.48	c Elapsed CPU time: 42.3536 s	Remaining CPU time: 1757.65 s
42.77/42.84	c core #119
42.77/42.84	c Core size: 497	Core Weight: 1	Total Weight: 160
42.77/42.84	c Elapsed CPU time: 42.7125 s	Remaining CPU time: 1757.29 s
43.16/43.20	c core #120
43.16/43.20	c Core size: 397	Core Weight: 1	Total Weight: 161
43.16/43.20	c Elapsed CPU time: 43.0715 s	Remaining CPU time: 1756.93 s
43.46/43.56	c core #121
43.46/43.56	c Core size: 101	Core Weight: 1	Total Weight: 162
43.46/43.56	c Elapsed CPU time: 43.4324 s	Remaining CPU time: 1756.57 s
43.86/43.92	c core #122
43.86/43.92	c Core size: 397	Core Weight: 1	Total Weight: 163
43.86/43.92	c Elapsed CPU time: 43.7883 s	Remaining CPU time: 1756.21 s
44.16/44.29	c core #123
44.16/44.29	c Core size: 1265	Core Weight: 1	Total Weight: 164
44.16/44.29	c Elapsed CPU time: 44.1553 s	Remaining CPU time: 1755.84 s
44.56/44.70	c core #124
44.56/44.70	c Core size: 1451	Core Weight: 1	Total Weight: 165
44.56/44.70	c Elapsed CPU time: 44.5542 s	Remaining CPU time: 1755.45 s
44.97/45.08	c core #125
44.97/45.08	c Core size: 1537	Core Weight: 1	Total Weight: 166
44.97/45.08	c Elapsed CPU time: 44.9312 s	Remaining CPU time: 1755.07 s
45.36/45.48	c core #126
45.36/45.48	c Core size: 1538	Core Weight: 1	Total Weight: 167
45.36/45.48	c Elapsed CPU time: 45.3331 s	Remaining CPU time: 1754.67 s
45.76/45.86	c core #127
45.76/45.86	c Core size: 299	Core Weight: 1	Total Weight: 168
45.76/45.86	c Elapsed CPU time: 45.7111 s	Remaining CPU time: 1754.29 s
46.16/46.24	c core #128
46.16/46.24	c Core size: 1265	Core Weight: 1	Total Weight: 169
46.16/46.24	c Elapsed CPU time: 46.084 s	Remaining CPU time: 1753.92 s
46.56/46.62	c ============================[ Search Statistics ]==============================
46.56/46.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.56/46.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.56/46.62	c ===============================================================================
46.56/46.62	c |         0 |   29049   695636    52733 |   231878        0    nan |  0.000 % |
46.56/46.62	c ===============================================================================
46.56/46.62	c core #129
46.56/46.62	c Core size: 597	Core Weight: 1	Total Weight: 170
46.56/46.62	c Elapsed CPU time: 46.4669 s	Remaining CPU time: 1753.53 s
46.96/47.00	c ============================[ Search Statistics ]==============================
46.96/47.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.96/47.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.96/47.00	c ===============================================================================
46.96/47.00	c |         0 |   29638   696207    53390 |   232069        0    nan |  0.000 % |
46.96/47.01	c ===============================================================================
46.96/47.01	c core #130
46.96/47.01	c Core size: 498	Core Weight: 1	Total Weight: 171
46.96/47.01	c Elapsed CPU time: 46.8499 s	Remaining CPU time: 1753.15 s
47.27/47.40	c ============================[ Search Statistics ]==============================
47.27/47.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.27/47.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.27/47.40	c ===============================================================================
47.27/47.40	c |         0 |   30128   696688    53919 |   232229        0    nan |  0.000 % |
47.36/47.41	c ===============================================================================
47.36/47.41	c core #131
47.36/47.41	c Core size: 796	Core Weight: 1	Total Weight: 172
47.36/47.41	c Elapsed CPU time: 47.2418 s	Remaining CPU time: 1752.76 s
47.66/47.80	c ============================[ Search Statistics ]==============================
47.66/47.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.66/47.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.66/47.80	c ===============================================================================
47.66/47.80	c |         0 |   31136   697437    55324 |   232479        0    nan |  0.000 % |
47.76/47.86	c ===============================================================================
47.76/47.86	c core #132
47.76/47.86	c Core size: 1956	Core Weight: 1	Total Weight: 173
47.76/47.86	c Elapsed CPU time: 47.6857 s	Remaining CPU time: 1752.31 s
48.16/48.25	c ============================[ Search Statistics ]==============================
48.16/48.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.16/48.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.16/48.25	c ===============================================================================
48.16/48.25	c |         0 |   33267   699250    57964 |   233083        0    nan |  0.000 % |
48.26/48.36	c ===============================================================================
48.26/48.36	c core #133
48.26/48.36	c Core size: 2667	Core Weight: 1	Total Weight: 174
48.26/48.36	c Elapsed CPU time: 48.1747 s	Remaining CPU time: 1751.83 s
48.66/48.76	c ============================[ Search Statistics ]==============================
48.66/48.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.66/48.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.66/48.76	c ===============================================================================
48.66/48.76	c |         0 |   35890   701711    61428 |   233903        0    nan |  0.000 % |
48.76/48.80	c ===============================================================================
48.76/48.80	c core #134
48.76/48.80	c Core size: 1189	Core Weight: 1	Total Weight: 175
48.76/48.80	c Elapsed CPU time: 48.6096 s	Remaining CPU time: 1751.39 s
49.16/49.20	c ============================[ Search Statistics ]==============================
49.16/49.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.16/49.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.16/49.20	c ===============================================================================
49.16/49.20	c |         0 |   37060   702820    62972 |   234273        0    nan |  0.000 % |
49.26/49.31	c ===============================================================================
49.26/49.31	c core #135
49.26/49.31	c Core size: 1477	Core Weight: 1	Total Weight: 176
49.26/49.31	c Elapsed CPU time: 49.1025 s	Remaining CPU time: 1750.9 s
49.66/49.71	c Learning 1 hard constraints
49.66/49.71	c ============================[ Search Statistics ]==============================
49.66/49.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.66/49.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.66/49.71	c ===============================================================================
49.66/49.71	c |         0 |   38505   704192    64892 |   234730        0    nan |  0.000 % |
49.75/49.84	c |       100 |   38505   704192    64892 |   258203      100   1434 | 19.758 % |
50.26/50.31	c ===============================================================================
50.26/50.32	c core #136
50.26/50.32	c Core size: 5445	Core Weight: 1	Total Weight: 177
50.26/50.32	c Elapsed CPU time: 50.0984 s	Remaining CPU time: 1749.9 s
50.66/50.74	c Learning 1 hard constraints
50.66/50.74	c ============================[ Search Statistics ]==============================
50.66/50.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.66/50.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.66/50.74	c ===============================================================================
50.66/50.74	c |         0 |   43824   709130    72227 |   236376        0    nan |  0.000 % |
50.86/50.90	c |       100 |   43822   709130    72227 |   260014       98   1018 | 17.685 % |
51.15/51.25	c |       252 |   43818   709130    72227 |   286015      247   1430 | 17.693 % |
51.75/51.84	c |       478 |   43817   709130    72227 |   314617      468   1648 | 17.694 % |
52.66/52.70	c ===============================================================================
52.66/52.71	c core #137
52.66/52.71	c Core size: 8682	Core Weight: 1	Total Weight: 178
52.66/52.71	c Elapsed CPU time: 52.465 s	Remaining CPU time: 1747.53 s
53.05/53.16	c Learning 3 hard constraints
53.05/53.16	c ============================[ Search Statistics ]==============================
53.05/53.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.05/53.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
53.05/53.16	c ===============================================================================
53.05/53.16	c |         0 |   52119   716657    84286 |   238885        0    nan |  0.000 % |
53.26/53.37	c |       100 |   52119   716657    84286 |   262774      100   2408 | 15.183 % |
53.76/53.88	c |       251 |   52119   716657    84286 |   289051      251   2263 | 15.183 % |
54.46/54.54	c |       476 |   52118   716657    84286 |   317956      475   1654 | 15.185 % |
55.26/55.31	c |       816 |   52118   716657    84286 |   349752      815   1357 | 15.185 % |
56.46/56.55	c |      1322 |   52116   716657    84286 |   384727     1318   1222 | 15.188 % |
58.35/58.45	c |      2085 |   52116   716657    84286 |   423200     2080   1272 | 15.188 % |
61.45/61.59	c |      3226 |   52112   716657    84286 |   465520     3184   1613 | 15.195 % |
62.86/62.91	c ===============================================================================
62.86/62.94	c core #138
62.86/62.94	c Core size: 9997	Core Weight: 1	Total Weight: 179
62.86/62.94	c Elapsed CPU time: 62.6405 s	Remaining CPU time: 1737.36 s
63.35/63.40	c Learning 11 hard constraints
63.35/63.40	c ============================[ Search Statistics ]==============================
63.35/63.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.35/63.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.35/63.40	c ===============================================================================
63.35/63.40	c |         0 |   61472   724700    99916 |   241566        0    nan |  0.000 % |
63.55/63.60	c |       100 |   61472   724700    99916 |   265723      100    867 | 13.066 % |
64.05/64.18	c |       253 |   61472   724700    99916 |   292295      253    845 | 13.066 % |
64.75/64.89	c |       478 |   61472   724700    99916 |   321525      478    621 | 13.066 % |
66.15/66.24	c |       819 |   61472   724700    99916 |   353677      819    854 | 13.066 % |
67.35/67.42	c |      1326 |   61472   724700    99916 |   389045     1326    781 | 13.066 % |
70.05/70.16	c |      2086 |   61472   724700    99916 |   427950     2086    855 | 13.066 % |
73.95/74.09	c |      3227 |   61472   724700    99916 |   470745     3227    885 | 13.066 % |
80.35/80.43	c |      4935 |   61472   724700    99916 |   517819     4935    842 | 13.066 % |
94.74/94.80	c |      7497 |   61471   724700    99916 |   569601     7495   1330 | 13.067 % |
116.04/116.15	c |     11342 |   61471   724700    99916 |   626561    11340   1702 | 13.067 % |
144.22/144.34	c |     17109 |   61471   724700    99916 |   689217    17107   1846 | 13.067 % |
192.92/193.06	c |     25760 |   61471   724700    99916 |   758139    25758   1765 | 13.067 % |
266.39/266.51	c |     38734 |   61471   724700    99916 |   833953    38732   1821 | 13.067 % |
435.25/435.42	c |     58196 |   61470   724700    99916 |   917349    58175   2361 | 13.069 % |
876.36/876.70	c |     87388 |   61470   724700    99916 |  1009083    87367   3246 | 13.069 % |
1116.80/1117.12	c ===============================================================================
1118.99/1119.34	c core #139
1118.99/1119.34	c Core size: 13317	Core Weight: 1	Total Weight: 180
1118.99/1119.34	c Elapsed CPU time: 1116.68 s	Remaining CPU time: 683.325 s
1119.60/1119.99	c Learning 41 hard constraints
1119.60/1119.99	c ============================[ Search Statistics ]==============================
1119.60/1119.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1119.60/1119.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1119.60/1119.99	c ===============================================================================
1119.60/1119.99	c |         0 |   73030   733812   127878 |   244604        0    nan |  0.000 % |
1119.79/1120.19	c |       100 |   73030   733812   127878 |   269064      100   1361 | 11.125 % |
1120.39/1120.70	c |       250 |   73030   733812   127878 |   295970      250    840 | 11.125 % |
1121.09/1121.43	c |       475 |   73030   733812   127878 |   325567      475    673 | 11.125 % |
1122.50/1122.87	c |       812 |   73030   733812   127878 |   358124      812    664 | 11.125 % |
1124.90/1125.26	c |      1318 |   73030   733812   127878 |   393937     1318    549 | 11.125 % |
1127.99/1128.36	c |      2078 |   73030   733812   127878 |   433330     2078    487 | 11.125 % |
1133.79/1134.18	c |      3217 |   73030   733812   127878 |   476663     3217    638 | 11.125 % |
1143.29/1143.62	c |      4930 |   73030   733812   127878 |   524330     4930    827 | 11.125 % |
1155.79/1156.12	c |      7492 |   73030   733812   127878 |   576763     7492    854 | 11.125 % |
1178.49/1178.88	c |     11336 |   73030   733812   127878 |   634439    11336   1026 | 11.125 % |
1211.97/1212.39	c |     17102 |   73030   733812   127878 |   697883    17102   1005 | 11.125 % |
1264.06/1264.46	c |     25751 |   73030   733812   127878 |   767672    25751   1167 | 11.125 % |
1333.25/1333.67	c |     38726 |   73030   733812   127878 |   844439    38726   1044 | 11.125 % |
1480.91/1481.31	c |     58189 |   73030   733812   127878 |   928883    58189   1259 | 11.125 % |
1718.76/1719.24	c |     87382 |   73030   733812   127878 |  1021771    87382   1409 | 11.125 % |

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-1875632-1245140656/watcher-1875632-1245140656 -o /tmp/evaluation-result-1875632-1245140656/solver-1875632-1245140656 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875632-1245140656.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 1402
/proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=19684 CPUtime=0
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181665318 20156416 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135123786 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 4921 248 122 292 0 418 0

[startup+0.0386449 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1402
/proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=21528 CPUtime=0.03
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 735 0 0 0 3 0 0 0 18 0 1 0 181665318 22044672 719 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 5382 719 176 292 0 879 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21528

[startup+0.101649 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1402
/proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=22220 CPUtime=0.09
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 1010 0 0 0 9 0 0 0 18 0 1 0 181665318 22753280 994 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 5555 995 291 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301662 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1402
/proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=24136 CPUtime=0.29
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 1866 0 0 0 29 0 0 0 19 0 1 0 181665318 24715264 1850 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 6034 1851 649 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701686 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1402
/proc/meminfo: memFree=1832296/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=28016 CPUtime=0.69
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 3551 0 0 0 68 1 0 0 22 0 1 0 181665318 28688384 3535 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 7004 3535 1353 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1820576/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=36156 CPUtime=1.49
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 6991 0 0 0 147 2 0 0 25 0 1 0 181665318 37023744 6975 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 9039 6975 2789 292 0 4536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36156

[startup+3.10284 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1809504/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=53772 CPUtime=3.09
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 19331 0 0 0 302 7 0 0 25 0 1 0 181665318 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 134530484 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1778720/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=56940 CPUtime=6.29
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 20119 0 0 0 621 8 0 0 25 0 1 0 181665318 58306560 13416 1992294400 134512640 135709839 4294956240 18446744073709551615 135166350 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 14235 13416 133 292 0 13940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56940

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1778272/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=57732 CPUtime=12.69
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 20312 0 0 0 1261 8 0 0 25 0 1 0 181665318 59117568 13609 1992294400 134512640 135709839 4294956240 18446744073709551615 134530689 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 14433 13609 133 292 0 14138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57732

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1775520/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=60372 CPUtime=25.48
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 20986 0 0 0 2540 8 0 0 25 0 1 0 181665318 61820928 14283 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 15093 14283 133 292 0 14798 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60372

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1758624/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=77592 CPUtime=51.05
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 41219 0 0 0 5084 21 0 0 25 0 1 0 181665318 79454208 18056 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 19398 18056 136 292 0 19103 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77592

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=134312 CPUtime=102.25
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 58567 0 0 0 10187 38 0 0 25 0 1 0 181665318 137535488 32024 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 33578 32024 136 292 0 33283 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 134312

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1614560/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=225204 CPUtime=162.23
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 81279 0 0 0 16169 54 0 0 25 0 1 0 181665318 230608896 54736 1992294400 134512640 135709839 4294956240 18446744073709551615 134572272 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 56301 54736 136 292 0 56006 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 225204

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1549664/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=288732 CPUtime=222.21
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 97173 0 0 0 22154 67 0 0 25 0 1 0 181665318 295661568 70630 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 72183 70630 136 292 0 71888 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 288732

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1457056/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=381768 CPUtime=282.19
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 120439 0 0 0 28137 82 0 0 25 0 1 0 181665318 390930432 93896 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 95442 93896 136 292 0 95147 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 381768

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1373408/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=464736 CPUtime=342.18
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 141174 0 0 0 34123 95 0 0 25 0 1 0 181665318 475889664 114631 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 116184 114631 136 292 0 115889 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 464736

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1262688/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=576012 CPUtime=402.16
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 168999 0 0 0 40105 111 0 0 25 0 1 0 181665318 589836288 142456 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 144003 142456 136 292 0 143708 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 576012

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1169312/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=669368 CPUtime=462.15
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 192314 0 0 0 46091 124 0 0 25 0 1 0 181665318 685432832 165771 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 167342 165771 136 292 0 167047 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 669368

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=1084896/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=754692 CPUtime=522.13
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 213624 0 0 0 52078 135 0 0 25 0 1 0 181665318 772804608 187081 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 188673 187081 136 292 0 188378 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 754692

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=997984/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=839532 CPUtime=582.12
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 234861 0 0 0 58066 146 0 0 25 0 1 0 181665318 859680768 208318 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 209883 208318 136 292 0 209588 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 839532

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=911456/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=925484 CPUtime=642.11
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 256343 0 0 0 64054 157 0 0 25 0 1 0 181665318 947695616 229800 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 231371 229800 136 292 0 231076 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 925484

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1403
/proc/meminfo: memFree=548000/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1289700 CPUtime=942.04
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 347369 0 0 0 93997 207 0 0 25 0 1 0 181665318 1320652800 320826 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 322425 320826 136 292 0 322130 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1289700

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=484064/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1352292 CPUtime=1002.02
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 362993 0 0 0 99987 215 0 0 25 0 1 0 181665318 1384747008 336450 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 338073 336450 136 292 0 337778 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1352292

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=392864/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1444728 CPUtime=1062.01
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 386109 0 0 0 105974 227 0 0 25 0 1 0 181665318 1479401472 359566 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 361182 359566 136 292 0 360887 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1444728

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294688/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1122
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411916 0 0 0 111956 244 0 0 25 0 1 0 181665318 1577078784 383595 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383595 136 292 0 384734 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1540116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294688/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1181.98
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411917 0 0 0 117948 250 0 0 25 0 1 0 181665318 1577078784 383596 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383596 136 292 0 384734 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1540116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294688/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1241.96
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411917 0 0 0 123940 256 0 0 25 0 1 0 181665318 1577078784 383596 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383596 136 292 0 384734 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1540116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294688/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1301.95
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411917 0 0 0 129933 262 0 0 25 0 1 0 181665318 1577078784 383596 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383596 136 292 0 384734 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1540116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294624/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1361.94
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411918 0 0 0 135927 267 0 0 25 0 1 0 181665318 1577078784 383597 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383597 136 292 0 384734 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1540116

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294560/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1421.92
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411918 0 0 0 141922 270 0 0 25 0 1 0 181665318 1577078784 383597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383597 136 292 0 384734 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1540116

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294368/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1481.91
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411960 0 0 0 147917 274 0 0 25 0 1 0 181665318 1577078784 383639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383639 136 292 0 384734 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1540116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1403
/proc/meminfo: memFree=294368/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1541.89
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411961 0 0 0 153911 278 0 0 25 0 1 0 181665318 1577078784 383640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383640 136 292 0 384734 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1540116

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1405
/proc/meminfo: memFree=294304/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1601.88
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411961 0 0 0 159905 283 0 0 25 0 1 0 181665318 1577078784 383640 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383640 136 292 0 384734 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1540116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1405
/proc/meminfo: memFree=294304/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1661.87
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411961 0 0 0 165900 287 0 0 25 0 1 0 181665318 1577078784 383640 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383640 136 292 0 384734 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1540116

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1405
/proc/meminfo: memFree=294240/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1721.85
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411965 0 0 0 171895 290 0 0 25 0 1 0 181665318 1577078784 383644 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383644 136 292 0 384734 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1540116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1405
/proc/meminfo: memFree=294176/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1781.84
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411965 0 0 0 177888 296 0 0 25 0 1 0 181665318 1577078784 383644 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383644 136 292 0 384734 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1540116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1405
/proc/meminfo: memFree=294176/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=1540116 CPUtime=1800.04
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4194304 411965 0 0 0 179706 298 0 0 25 0 1 0 181665318 1577078784 383644 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 385029 383644 136 292 0 384734 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1540116

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1406
/proc/meminfo: memFree=933080/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=0 CPUtime=1800.14
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4195332 411965 0 0 0 179706 308 0 0 25 0 1 0 181665318 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1406
/proc/meminfo: memFree=933080/2055920 swapFree=4191900/4192956
[pid=1402] ppid=1400 vsize=0 CPUtime=1800.24
/proc/1402/stat : 1402 (wbo) R 1400 1402 32310 0 -1 4195332 411965 0 0 0 179706 318 0 0 25 0 1 0 181665318 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/1402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.28
CPU user time (s): 1797.06
CPU system time (s): 3.21651
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1550352

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

runsolver used 1.35379 second user time and 3.9484 second system time

The end

Launcher Data 

Begin job on node29 at 2009-06-16 10:24:18
IDJOB=1875632
IDBENCH=1968
IDSOLVER=698
FILE ID=node29/1875632-1245140656
PBS_JOBID= 9363703
Free space on /tmp= 66228 MiB

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

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=368941845

node29.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.237
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.237
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:       1832840 kB
Buffers:         28528 kB
Cached:         129712 kB
SwapCached:        268 kB
Active:          48808 kB
Inactive:       122184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832840 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19208 kB
Writeback:           0 kB
Mapped:          21308 kB
Slab:            37984 kB
Committed_AS:   174448 kB
PageTables:       1472 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-1875632-1245140656.opb

Free space on /tmp at the end= 66224 MiB
End job on node29 at 2009-06-16 10:54:20