Trace number 4088399

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 NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
MD5SUM807bc542b75293285fea5916dfeaaa3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 786
Number of bits of the biggest sum of numbers10
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 3216 #constraint= 3658
0.19/0.25	c #Conflicts:       1000 | #Learnt:        999 | 0.001
0.19/0.25	c total clause space: 6.90675MB
0.19/0.25	c total #watches: 49021
0.68/0.76	c total #propagations: 187528 / total #impl: 2451596 (eff. 0.076)
0.68/0.76	c #Conflicts:       2000 | #Learnt:       1999 | 0.002
0.68/0.76	c total clause space: 11.2235MB
0.68/0.76	c total #watches: 65395
0.98/1.04	c total #propagations: 418829 / total #impl: 5467896 (eff. 0.077)
0.98/1.04	c GC COLLECT
0.98/1.04	c #Conflicts:       3000 | #Learnt:       2013 | 0.001
0.98/1.04	c total clause space: 11.2235MB
0.98/1.04	c total #watches: 67725
1.58/1.60	c total #propagations: 673276 / total #impl: 9447650 (eff. 0.071)
1.58/1.60	c #Conflicts:       4000 | #Learnt:       3013 | 0.040
1.58/1.60	c total clause space: 11.2235MB
1.58/1.60	c total #watches: 85158
1.98/2.09	c total #propagations: 914743 / total #impl: 12855025 (eff. 0.071)
1.98/2.09	c GC COLLECT
1.98/2.09	c #Conflicts:       5000 | #Learnt:       2360 | 0.048
1.98/2.09	c total clause space: 18.2382MB
1.98/2.09	c total #watches: 75458
2.58/2.69	c total #propagations: 1077349 / total #impl: 15225146 (eff. 0.071)
2.58/2.69	c #Conflicts:       6000 | #Learnt:       3360 | 0.041
2.58/2.69	c total clause space: 18.2382MB
2.58/2.69	c total #watches: 91868
3.40/3.48	c total #propagations: 1289801 / total #impl: 18363931 (eff. 0.070)
3.40/3.48	c GC COLLECT
3.40/3.48	c #Conflicts:       7000 | #Learnt:       2231 | 0.036
3.40/3.48	c total clause space: 18.2382MB
3.40/3.48	c total #watches: 80273
4.50/4.54	c total #propagations: 1578314 / total #impl: 22565361 (eff. 0.070)
4.50/4.54	c #Conflicts:       8000 | #Learnt:       3231 | 0.031
4.50/4.54	c total clause space: 18.2382MB
4.50/4.54	c total #watches: 115350
5.89/5.99	c total #propagations: 1800665 / total #impl: 26760842 (eff. 0.067)
5.89/5.99	c #Conflicts:       9000 | #Learnt:       4231 | 0.031
5.89/5.99	c total clause space: 18.2382MB
5.89/5.99	c total #watches: 133074
7.39/7.48	c total #propagations: 2047071 / total #impl: 30251545 (eff. 0.068)
7.39/7.48	c GC COLLECT
7.39/7.48	c #Conflicts:      10000 | #Learnt:       2721 | 0.029
7.39/7.48	c total clause space: 29.637MB
7.39/7.48	c total #watches: 99649
8.59/8.60	c total #propagations: 2252490 / total #impl: 32975674 (eff. 0.068)
8.59/8.60	c #Conflicts:      11000 | #Learnt:       3721 | 0.026
8.59/8.60	c total clause space: 29.637MB
8.59/8.60	c total #watches: 128880
10.49/10.53	c total #propagations: 2554675 / total #impl: 36903421 (eff. 0.069)
10.49/10.53	c #Conflicts:      12000 | #Learnt:       4721 | 0.136
10.49/10.53	c total clause space: 29.637MB
10.49/10.53	c total #watches: 151047
13.39/13.40	c total #propagations: 2757697 / total #impl: 39829777 (eff. 0.069)
13.39/13.40	c #Conflicts:      13000 | #Learnt:       5721 | 0.126
13.39/13.40	c total clause space: 29.637MB
13.39/13.40	c total #watches: 181463
14.89/14.93	c total #propagations: 3065160 / total #impl: 44401167 (eff. 0.069)
14.89/14.93	c GC COLLECT
14.89/14.93	c #Conflicts:      14000 | #Learnt:       3860 | 0.124
14.89/14.93	c total clause space: 29.637MB
14.89/14.93	c total #watches: 139966
16.59/16.68	c total #propagations: 3228393 / total #impl: 47177538 (eff. 0.068)
16.59/16.68	c #Conflicts:      15000 | #Learnt:       4860 | 0.117
16.59/16.68	c total clause space: 29.637MB
16.59/16.68	c total #watches: 160419
18.48/18.54	c total #propagations: 3408906 / total #impl: 50111116 (eff. 0.068)
18.48/18.54	c #Conflicts:      16000 | #Learnt:       5860 | 0.110
18.48/18.54	c total clause space: 48.1602MB
18.48/18.54	c total #watches: 171345
20.58/20.60	c total #propagations: 3527495 / total #impl: 52075384 (eff. 0.068)
20.58/20.60	c GC COLLECT
20.58/20.60	c #Conflicts:      17000 | #Learnt:       3682 | 0.103
20.58/20.60	c total clause space: 48.1602MB
20.58/20.60	c total #watches: 106789
23.19/23.22	c total #propagations: 3702398 / total #impl: 54881021 (eff. 0.067)
23.19/23.22	c #Conflicts:      18000 | #Learnt:       4682 | 0.098
23.19/23.22	c total clause space: 48.1602MB
23.19/23.22	c total #watches: 198997
28.28/28.36	c total #propagations: 3902415 / total #impl: 61623779 (eff. 0.063)
28.28/28.36	c #Conflicts:      19000 | #Learnt:       5682 | 0.092
28.28/28.36	c total clause space: 48.1602MB
28.28/28.36	c total #watches: 273649
37.79/37.85	c total #propagations: 4063470 / total #impl: 72300259 (eff. 0.056)
37.79/37.85	c #Conflicts:      20000 | #Learnt:       6682 | 0.088
37.79/37.85	c total clause space: 78.2603MB
37.79/37.85	c total #watches: 312008
45.98/46.06	c total #propagations: 4254533 / total #impl: 78057944 (eff. 0.055)
45.98/46.06	c GC COLLECT
45.98/46.06	c #Conflicts:      21000 | #Learnt:       4190 | 0.085
45.98/46.06	c total clause space: 78.2603MB
45.98/46.06	c total #watches: 254968
55.38/55.48	c total #propagations: 4438564 / total #impl: 80710879 (eff. 0.055)
55.38/55.48	c #Conflicts:      22000 | #Learnt:       5190 | 0.087
55.38/55.48	c total clause space: 78.2603MB
55.38/55.48	c total #watches: 277123
65.38/65.42	c total #propagations: 4643580 / total #impl: 83537862 (eff. 0.056)
65.38/65.42	c #Conflicts:      23000 | #Learnt:       6190 | 0.086
65.38/65.42	c total clause space: 78.2603MB
65.38/65.42	c total #watches: 294091
72.38/72.48	c total #propagations: 4883717 / total #impl: 87286352 (eff. 0.056)
72.38/72.48	c #Conflicts:      24000 | #Learnt:       7190 | 0.084
72.38/72.48	c total clause space: 78.2603MB
72.38/72.48	c total #watches: 326965
77.08/77.16	c total #propagations: 5039626 / total #impl: 90395114 (eff. 0.056)
77.08/77.16	c GC COLLECT
77.08/77.16	c #Conflicts:      25000 | #Learnt:       4398 | 0.081
77.08/77.16	c total clause space: 78.2603MB
77.08/77.16	c total #watches: 152975
79.78/79.80	c total #propagations: 5263517 / total #impl: 94688884 (eff. 0.056)
79.78/79.80	c #Conflicts:      26000 | #Learnt:       5398 | 0.078
79.78/79.80	c total clause space: 78.2603MB
79.78/79.80	c total #watches: 174845
83.18/83.24	c total #propagations: 5509345 / total #impl: 99320583 (eff. 0.055)
83.18/83.24	c #Conflicts:      27000 | #Learnt:       6398 | 0.075
83.18/83.24	c total clause space: 78.2603MB
83.18/83.24	c total #watches: 193096
85.68/85.76	c total #propagations: 5791949 / total #impl: 104731938 (eff. 0.055)
85.68/85.76	c #Conflicts:      28000 | #Learnt:       7398 | 0.080
85.68/85.76	c total clause space: 78.2603MB
85.68/85.76	c total #watches: 208940
88.27/88.34	c total #propagations: 5973599 / total #impl: 107880892 (eff. 0.055)
88.27/88.34	c GC COLLECT
88.27/88.34	c #Conflicts:      29000 | #Learnt:       4297 | 0.078
88.27/88.34	c total clause space: 78.2603MB
88.27/88.34	c total #watches: 131461
89.67/89.76	c total #propagations: 6212117 / total #impl: 111294511 (eff. 0.056)
89.67/89.76	c #Conflicts:      30000 | #Learnt:       5297 | 0.077
89.67/89.76	c total clause space: 78.2603MB
89.67/89.76	c total #watches: 154029
91.87/91.98	c total #propagations: 6413155 / total #impl: 114528274 (eff. 0.056)
91.87/91.98	c #Conflicts:      31000 | #Learnt:       6297 | 0.077
91.87/91.98	c total clause space: 78.2603MB
91.87/91.98	c total #watches: 176875
94.58/94.60	c total #propagations: 6638838 / total #impl: 118090998 (eff. 0.056)
94.58/94.60	c #Conflicts:      32000 | #Learnt:       7297 | 0.075
94.58/94.60	c total clause space: 78.2603MB
94.58/94.60	c total #watches: 207355
97.88/97.91	c total #propagations: 6844280 / total #impl: 121777869 (eff. 0.056)
97.88/97.91	c #Conflicts:      33000 | #Learnt:       8297 | 0.073
97.88/97.91	c total clause space: 78.2603MB
97.88/97.91	c total #watches: 234405
101.28/101.36	c total #propagations: 7150456 / total #impl: 127021890 (eff. 0.056)
101.28/101.36	c GC COLLECT
101.28/101.36	c #Conflicts:      34000 | #Learnt:       4899 | 0.071
101.28/101.36	c total clause space: 78.2603MB
101.28/101.36	c total #watches: 168964
103.38/103.43	c total #propagations: 7353916 / total #impl: 130353556 (eff. 0.056)
103.38/103.43	c #Conflicts:      35000 | #Learnt:       5899 | 0.069
103.38/103.43	c total clause space: 78.2603MB
103.38/103.43	c total #watches: 202604
106.17/106.20	c total #propagations: 7483816 / total #impl: 133867921 (eff. 0.056)
106.17/106.20	c #Conflicts:      36000 | #Learnt:       6899 | 0.067
106.17/106.20	c total clause space: 78.2603MB
106.17/106.20	c total #watches: 252319
112.57/112.67	c total #propagations: 7701654 / total #impl: 138392444 (eff. 0.056)
112.57/112.67	c #Conflicts:      37000 | #Learnt:       7899 | 0.065
112.57/112.67	c total clause space: 78.2603MB
112.57/112.67	c total #watches: 372034
130.56/130.67	c total #propagations: 7912568 / total #impl: 146209520 (eff. 0.054)
130.56/130.67	c #Conflicts:      38000 | #Learnt:       8899 | 0.063
130.56/130.67	c total clause space: 78.2603MB
130.56/130.67	c total #watches: 448667
140.26/140.32	c total #propagations: 8189672 / total #impl: 155882979 (eff. 0.053)
140.26/140.32	c GC COLLECT
140.26/140.32	c #Conflicts:      39000 | #Learnt:       5215 | 0.062
140.26/140.32	c total clause space: 78.2603MB
140.26/140.32	c total #watches: 375220
142.36/142.48	c total #propagations: 8362519 / total #impl: 162169181 (eff. 0.052)
142.36/142.48	c #Conflicts:      40000 | #Learnt:       6215 | 0.060
142.36/142.48	c total clause space: 78.2603MB
142.36/142.48	c total #watches: 394405
144.96/145.00	c total #propagations: 8520656 / total #impl: 165822920 (eff. 0.051)
144.96/145.00	c #Conflicts:      41000 | #Learnt:       7215 | 0.059
144.96/145.00	c total clause space: 78.2603MB
144.96/145.00	c total #watches: 413741
147.56/147.67	c total #propagations: 8662717 / total #impl: 169403434 (eff. 0.051)
147.56/147.67	c #Conflicts:      42000 | #Learnt:       8215 | 0.057
147.56/147.67	c total clause space: 78.2603MB
147.56/147.67	c total #watches: 430641
150.56/150.70	c total #propagations: 8779310 / total #impl: 172242472 (eff. 0.051)
150.56/150.70	c #Conflicts:      43000 | #Learnt:       9215 | 0.056
150.56/150.70	c total clause space: 78.2603MB
150.56/150.70	c total #watches: 449891
153.66/153.78	c total #propagations: 8922209 / total #impl: 176270561 (eff. 0.051)
153.66/153.78	c GC COLLECT
153.66/153.78	c #Conflicts:      44000 | #Learnt:       5210 | 0.055
153.66/153.78	c total clause space: 78.2603MB
153.66/153.78	c total #watches: 372148
156.86/156.94	c total #propagations: 9069250 / total #impl: 180610733 (eff. 0.050)
156.86/156.94	c #Conflicts:      45000 | #Learnt:       6210 | 0.054
156.86/156.94	c total clause space: 78.2603MB
156.86/156.94	c total #watches: 388907
169.06/169.13	c total #propagations: 9241554 / total #impl: 184053183 (eff. 0.050)
169.06/169.13	c #Conflicts:      46000 | #Learnt:       7210 | 0.056
169.06/169.13	c total clause space: 78.2603MB
169.06/169.13	c total #watches: 400085
182.76/182.85	c total #propagations: 9422335 / total #impl: 186614598 (eff. 0.050)
182.76/182.85	c #Conflicts:      47000 | #Learnt:       8210 | 0.056
182.76/182.85	c total clause space: 78.2603MB
182.76/182.85	c total #watches: 421735
198.45/198.59	c total #propagations: 9632693 / total #impl: 189713056 (eff. 0.051)
198.45/198.59	c #Conflicts:      48000 | #Learnt:       9210 | 0.055
198.45/198.59	c total clause space: 78.2603MB
198.45/198.59	c total #watches: 436975
214.95/215.09	c total #propagations: 9915554 / total #impl: 193986428 (eff. 0.051)
214.95/215.09	c #Conflicts:      49000 | #Learnt:      10210 | 0.054
214.95/215.09	c total clause space: 78.2603MB
214.95/215.09	c total #watches: 457566
238.35/238.48	c total #propagations: 10118420 / total #impl: 196903475 (eff. 0.051)
238.35/238.48	c GC COLLECT
238.35/238.48	c #Conflicts:      50000 | #Learnt:       5913 | 0.057
238.35/238.48	c total clause space: 78.2603MB
238.35/238.48	c total #watches: 390157
263.74/263.80	c total #propagations: 10371169 / total #impl: 200577273 (eff. 0.052)
263.74/263.80	c #Conflicts:      51000 | #Learnt:       6913 | 0.057
263.74/263.80	c total clause space: 78.2603MB
263.74/263.80	c total #watches: 409961
280.55/280.63	c total #propagations: 10686349 / total #impl: 205624741 (eff. 0.052)
280.55/280.63	c #Conflicts:      52000 | #Learnt:       7913 | 0.056
280.55/280.63	c total clause space: 78.2603MB
280.55/280.63	c total #watches: 444545
298.14/298.24	c total #propagations: 10872420 / total #impl: 208898961 (eff. 0.052)
298.14/298.24	c #Conflicts:      53000 | #Learnt:       8913 | 0.055
298.14/298.24	c total clause space: 78.2603MB
298.14/298.24	c total #watches: 486327
322.73/322.85	c total #propagations: 11062203 / total #impl: 213765973 (eff. 0.052)
322.73/322.85	c #Conflicts:      54000 | #Learnt:       9913 | 0.054
322.73/322.85	c total clause space: 78.2603MB
322.73/322.85	c total #watches: 510258
345.63/345.71	c total #propagations: 11323160 / total #impl: 217556721 (eff. 0.052)
345.63/345.71	c #Conflicts:      55000 | #Learnt:      10913 | 0.056
345.63/345.71	c total clause space: 78.2603MB
345.63/345.71	c total #watches: 540449
366.43/366.58	c total #propagations: 11552191 / total #impl: 221309950 (eff. 0.052)
366.43/366.58	c GC COLLECT
366.43/366.58	c #Conflicts:      56000 | #Learnt:       6308 | 0.055
366.43/366.58	c total clause space: 78.2603MB
366.43/366.58	c total #watches: 417551
385.52/385.69	c total #propagations: 11753747 / total #impl: 224840637 (eff. 0.052)
385.52/385.69	c #Conflicts:      57000 | #Learnt:       7308 | 0.054
385.52/385.69	c total clause space: 78.2603MB
385.52/385.69	c total #watches: 437057
402.63/402.72	c total #propagations: 11962233 / total #impl: 227943221 (eff. 0.052)
402.63/402.72	c #Conflicts:      58000 | #Learnt:       8308 | 0.054
402.63/402.72	c total clause space: 78.2603MB
402.63/402.72	c total #watches: 453264
419.42/419.52	c total #propagations: 12170364 / total #impl: 230918684 (eff. 0.053)
419.42/419.52	c #Conflicts:      59000 | #Learnt:       9308 | 0.053
419.42/419.52	c total clause space: 78.2603MB
419.42/419.52	c total #watches: 483455
428.82/428.92	c total #propagations: 12349471 / total #impl: 233631890 (eff. 0.053)
428.82/428.92	c #Conflicts:      60000 | #Learnt:      10308 | 0.054
428.82/428.92	c total clause space: 78.2603MB
428.82/428.92	c total #watches: 527605
433.52/433.62	c total #propagations: 12492909 / total #impl: 236977942 (eff. 0.053)
433.52/433.62	c #Conflicts:      61000 | #Learnt:      11308 | 0.054
433.52/433.62	c total clause space: 78.2603MB
433.52/433.62	c total #watches: 551095
462.91/463.07	c total #propagations: 12621281 / total #impl: 239800812 (eff. 0.053)
462.91/463.07	c GC COLLECT
462.91/463.07	c #Conflicts:      62000 | #Learnt:       6406 | 0.054
462.91/463.07	c total clause space: 78.2603MB
462.91/463.07	c total #watches: 405076
476.71/476.82	c total #propagations: 13028973 / total #impl: 245577787 (eff. 0.053)
476.71/476.82	c #Conflicts:      63000 | #Learnt:       7406 | 0.053
476.71/476.82	c total clause space: 78.2603MB
476.71/476.82	c total #watches: 442592
493.70/493.87	c total #propagations: 13170553 / total #impl: 248421784 (eff. 0.053)
493.70/493.87	c #Conflicts:      64000 | #Learnt:       8406 | 0.052
493.70/493.87	c total clause space: 78.2603MB
493.70/493.87	c total #watches: 492537
514.40/514.54	c total #propagations: 13342453 / total #impl: 253224218 (eff. 0.053)
514.40/514.54	c #Conflicts:      65000 | #Learnt:       9406 | 0.053
514.40/514.54	c total clause space: 78.2603MB
514.40/514.54	c total #watches: 519534
534.40/534.50	c total #propagations: 13556507 / total #impl: 257437147 (eff. 0.053)
534.40/534.50	c #Conflicts:      66000 | #Learnt:      10406 | 0.054
534.40/534.50	c total clause space: 78.2603MB
534.40/534.50	c total #watches: 544418
557.30/557.47	c total #propagations: 13764021 / total #impl: 260316624 (eff. 0.053)
557.30/557.47	c #Conflicts:      67000 | #Learnt:      11406 | 0.053
557.30/557.47	c total clause space: 78.2603MB
557.30/557.47	c total #watches: 562861
577.09/577.25	c total #propagations: 13990195 / total #impl: 263945713 (eff. 0.053)
577.09/577.25	c #Conflicts:      68000 | #Learnt:      12406 | 0.052
577.09/577.25	c total clause space: 127.173MB
577.09/577.25	c total #watches: 582027
601.09/601.27	c total #propagations: 14191281 / total #impl: 266717441 (eff. 0.053)
601.09/601.27	c GC COLLECT
601.09/601.27	c #Conflicts:      69000 | #Learnt:       7199 | 0.051
601.09/601.27	c total clause space: 127.173MB
601.09/601.27	c total #watches: 415006
620.29/620.50	c total #propagations: 14495708 / total #impl: 270679470 (eff. 0.054)
620.29/620.50	c #Conflicts:      70000 | #Learnt:       8199 | 0.051
620.29/620.50	c total clause space: 127.173MB
620.29/620.50	c total #watches: 427135
631.98/632.18	c total #propagations: 14744184 / total #impl: 273835742 (eff. 0.054)
631.98/632.18	c #Conflicts:      71000 | #Learnt:       9199 | 0.050
631.98/632.18	c total clause space: 127.173MB
631.98/632.18	c total #watches: 437876
642.18/642.34	c total #propagations: 14892563 / total #impl: 275915482 (eff. 0.054)
642.18/642.34	c #Conflicts:      72000 | #Learnt:      10199 | 0.049
642.18/642.34	c total clause space: 127.173MB
642.18/642.34	c total #watches: 447293
661.38/661.56	c total #propagations: 15031422 / total #impl: 277923159 (eff. 0.054)
661.38/661.56	c #Conflicts:      73000 | #Learnt:      11199 | 0.049
661.38/661.56	c total clause space: 127.173MB
661.38/661.56	c total #watches: 463028
680.28/680.43	c total #propagations: 15255737 / total #impl: 280934102 (eff. 0.054)
680.28/680.43	c #Conflicts:      74000 | #Learnt:      12199 | 0.050
680.28/680.43	c total clause space: 127.173MB
680.28/680.43	c total #watches: 482443
695.97/696.12	c total #propagations: 15490721 / total #impl: 284580913 (eff. 0.054)
695.97/696.12	c GC COLLECT
695.97/696.12	c #Conflicts:      75000 | #Learnt:       6713 | 0.050
695.97/696.12	c total clause space: 127.173MB
695.97/696.12	c total #watches: 416250
712.57/712.79	c total #propagations: 15674360 / total #impl: 287496649 (eff. 0.055)
712.57/712.79	c #Conflicts:      76000 | #Learnt:       7713 | 0.050
712.57/712.79	c total clause space: 127.173MB
712.57/712.79	c total #watches: 449884
730.17/730.33	c total #propagations: 15859664 / total #impl: 290854588 (eff. 0.055)
730.17/730.33	c #Conflicts:      77000 | #Learnt:       8713 | 0.050
730.17/730.33	c total clause space: 127.173MB
730.17/730.33	c total #watches: 489153
750.97/751.19	c total #propagations: 16028468 / total #impl: 293731446 (eff. 0.055)
750.97/751.19	c #Conflicts:      78000 | #Learnt:       9713 | 0.049
750.97/751.19	c total clause space: 127.173MB
750.97/751.19	c total #watches: 510540
774.06/774.24	c total #propagations: 16235209 / total #impl: 297269360 (eff. 0.055)
774.06/774.24	c #Conflicts:      79000 | #Learnt:      10713 | 0.049
774.06/774.24	c total clause space: 127.173MB
774.06/774.24	c total #watches: 527362
808.36/808.55	c total #propagations: 16492546 / total #impl: 301151340 (eff. 0.055)
808.36/808.55	c #Conflicts:      80000 | #Learnt:      11713 | 0.048
808.36/808.55	c total clause space: 127.173MB
808.36/808.55	c total #watches: 548838
826.15/826.31	c total #propagations: 16866009 / total #impl: 306960032 (eff. 0.055)
826.15/826.31	c #Conflicts:      81000 | #Learnt:      12713 | 0.049
826.15/826.31	c total clause space: 127.173MB
826.15/826.31	c total #watches: 566999
838.65/838.87	c total #propagations: 17035881 / total #impl: 310094640 (eff. 0.055)
838.65/838.87	c GC COLLECT
838.65/838.87	c #Conflicts:      82000 | #Learnt:       6918 | 0.048
838.65/838.87	c total clause space: 127.173MB
838.65/838.87	c total #watches: 423734
846.15/846.37	c total #propagations: 17127738 / total #impl: 312748293 (eff. 0.055)
846.15/846.37	c #Conflicts:      83000 | #Learnt:       7918 | 0.047
846.15/846.37	c total clause space: 127.173MB
846.15/846.37	c total #watches: 442280
857.25/857.45	c total #propagations: 17196638 / total #impl: 314813188 (eff. 0.055)
857.25/857.45	c #Conflicts:      84000 | #Learnt:       8918 | 0.047
857.25/857.45	c total clause space: 127.173MB
857.25/857.45	c total #watches: 458751
870.55/870.78	c total #propagations: 17342925 / total #impl: 317416688 (eff. 0.055)
870.55/870.78	c #Conflicts:      85000 | #Learnt:       9918 | 0.049
870.55/870.78	c total clause space: 127.173MB
870.55/870.78	c total #watches: 477706
883.35/883.55	c total #propagations: 17556144 / total #impl: 320729742 (eff. 0.055)
883.35/883.55	c #Conflicts:      86000 | #Learnt:      10918 | 0.049
883.35/883.55	c total clause space: 127.173MB
883.35/883.55	c total #watches: 491614
895.94/896.14	c total #propagations: 17735157 / total #impl: 323763945 (eff. 0.055)
895.94/896.14	c #Conflicts:      87000 | #Learnt:      11918 | 0.048
895.94/896.14	c total clause space: 127.173MB
895.94/896.14	c total #watches: 504918
907.45/907.60	c total #propagations: 17916071 / total #impl: 326853722 (eff. 0.055)
907.45/907.60	c #Conflicts:      88000 | #Learnt:      12918 | 0.048
907.45/907.60	c total clause space: 127.173MB
907.45/907.60	c total #watches: 518965
918.64/918.81	c total #propagations: 18077036 / total #impl: 329493110 (eff. 0.055)
918.64/918.81	c #Conflicts:      89000 | #Learnt:      13918 | 0.047
918.64/918.81	c total clause space: 127.173MB
918.64/918.81	c total #watches: 530131
928.14/928.31	c total #propagations: 18245218 / total #impl: 332329572 (eff. 0.055)
928.14/928.31	c GC COLLECT
928.14/928.31	c #Conflicts:      90000 | #Learnt:       7822 | 0.047
928.14/928.31	c total clause space: 127.173MB
928.14/928.31	c total #watches: 437539
935.74/935.95	c total #propagations: 18383124 / total #impl: 334421583 (eff. 0.055)
935.74/935.95	c #Conflicts:      91000 | #Learnt:       8822 | 0.046
935.74/935.95	c total clause space: 127.173MB
935.74/935.95	c total #watches: 464569
944.23/944.44	c total #propagations: 18476408 / total #impl: 336923119 (eff. 0.055)
944.23/944.44	c #Conflicts:      92000 | #Learnt:       9822 | 0.046
944.23/944.44	c total clause space: 127.173MB
944.23/944.44	c total #watches: 494527
954.43/954.68	c total #propagations: 18572757 / total #impl: 340177662 (eff. 0.055)
954.43/954.68	c #Conflicts:      93000 | #Learnt:      10822 | 0.045
954.43/954.68	c total clause space: 127.173MB
954.43/954.68	c total #watches: 523964
966.63/966.85	c total #propagations: 18671032 / total #impl: 344700403 (eff. 0.054)
966.63/966.85	c #Conflicts:      94000 | #Learnt:      11822 | 0.045
966.63/966.85	c total clause space: 127.173MB
966.63/966.85	c total #watches: 556522
980.23/980.41	c total #propagations: 18777061 / total #impl: 350713278 (eff. 0.054)
980.23/980.41	c #Conflicts:      95000 | #Learnt:      12822 | 0.044
980.23/980.41	c total clause space: 127.173MB
980.23/980.41	c total #watches: 587067
995.43/995.68	c total #propagations: 18872822 / total #impl: 357253132 (eff. 0.053)
995.43/995.68	c #Conflicts:      96000 | #Learnt:      13822 | 0.044
995.43/995.68	c total clause space: 127.173MB
995.43/995.68	c total #watches: 615970
1013.13/1013.38	c total #propagations: 18958885 / total #impl: 364971541 (eff. 0.052)
1013.13/1013.38	c #Conflicts:      97000 | #Learnt:      14822 | 0.044
1013.13/1013.38	c total clause space: 127.173MB
1013.13/1013.38	c total #watches: 650307
1020.64/1020.89	c total #propagations: 19058957 / total #impl: 373808213 (eff. 0.051)
1020.64/1020.89	c GC COLLECT
1020.64/1020.89	c #Conflicts:      98000 | #Learnt:       8409 | 0.043
1020.64/1020.89	c total clause space: 127.173MB
1020.64/1020.89	c total #watches: 455511
1029.23/1029.45	c total #propagations: 19154811 / total #impl: 376356559 (eff. 0.051)
1029.23/1029.45	c #Conflicts:      99000 | #Learnt:       9409 | 0.043
1029.23/1029.45	c total clause space: 127.173MB
1029.23/1029.45	c total #watches: 484746
1037.33/1037.57	c total #propagations: 19261958 / total #impl: 380099224 (eff. 0.051)
1037.33/1037.57	c #Conflicts:     100000 | #Learnt:      10409 | 0.042
1037.33/1037.57	c total clause space: 127.173MB
1037.33/1037.57	c total #watches: 507598
1046.83/1047.04	c total #propagations: 19334757 / total #impl: 384594512 (eff. 0.050)
1046.83/1047.04	c #Conflicts:     101000 | #Learnt:      11409 | 0.042
1046.83/1047.04	c total clause space: 127.173MB
1046.83/1047.04	c total #watches: 528124
1058.62/1058.82	c total #propagations: 19413108 / total #impl: 388105697 (eff. 0.050)
1058.62/1058.82	c #Conflicts:     102000 | #Learnt:      12409 | 0.041
1058.62/1058.82	c total clause space: 127.173MB
1058.62/1058.82	c total #watches: 548610
1077.02/1077.26	c total #propagations: 19516324 / total #impl: 391656723 (eff. 0.050)
1077.02/1077.26	c #Conflicts:     103000 | #Learnt:      13409 | 0.042
1077.02/1077.26	c total clause space: 127.173MB
1077.02/1077.26	c total #watches: 568407
1098.92/1099.10	c total #propagations: 19675758 / total #impl: 395814841 (eff. 0.050)
1098.92/1099.10	c #Conflicts:     104000 | #Learnt:      14409 | 0.041
1098.92/1099.10	c total clause space: 127.173MB
1098.92/1099.10	c total #watches: 591044
1125.22/1125.49	c total #propagations: 19884026 / total #impl: 399021447 (eff. 0.050)
1125.22/1125.49	c #Conflicts:     105000 | #Learnt:      15409 | 0.047
1125.22/1125.49	c total clause space: 127.173MB
1125.22/1125.49	c total #watches: 617932
1141.62/1141.82	c total #propagations: 20123080 / total #impl: 402617483 (eff. 0.050)
1141.62/1141.82	c GC COLLECT
1141.62/1141.82	c #Conflicts:     106000 | #Learnt:       8706 | 0.047
1141.62/1141.82	c total clause space: 127.173MB
1141.62/1141.82	c total #watches: 457417
1159.51/1159.73	c total #propagations: 20318124 / total #impl: 405387239 (eff. 0.050)
1159.51/1159.73	c #Conflicts:     107000 | #Learnt:       9706 | 0.047
1159.51/1159.73	c total clause space: 127.173MB
1159.51/1159.73	c total #watches: 474812
1178.70/1178.96	c total #propagations: 20538234 / total #impl: 408671258 (eff. 0.050)
1178.70/1178.96	c #Conflicts:     108000 | #Learnt:      10706 | 0.046
1178.70/1178.96	c total clause space: 127.173MB
1178.70/1178.96	c total #watches: 497806
1191.11/1191.39	c total #propagations: 20763519 / total #impl: 411925778 (eff. 0.050)
1191.11/1191.39	c #Conflicts:     109000 | #Learnt:      11706 | 0.046
1191.11/1191.39	c total clause space: 127.173MB
1191.11/1191.39	c total #watches: 514533
1211.80/1212.01	c total #propagations: 20900097 / total #impl: 414081275 (eff. 0.050)
1211.80/1212.01	c #Conflicts:     110000 | #Learnt:      12706 | 0.046
1211.80/1212.01	c total clause space: 127.173MB
1211.80/1212.01	c total #watches: 535942
1231.60/1231.82	c total #propagations: 21157202 / total #impl: 418019112 (eff. 0.051)
1231.60/1231.82	c #Conflicts:     111000 | #Learnt:      13706 | 0.046
1231.60/1231.82	c total clause space: 127.173MB
1231.60/1231.82	c total #watches: 553865
1253.59/1253.86	c total #propagations: 21382627 / total #impl: 421626939 (eff. 0.051)
1253.59/1253.86	c #Conflicts:     112000 | #Learnt:      14706 | 0.045
1253.59/1253.86	c total clause space: 127.173MB
1253.59/1253.86	c total #watches: 567099
1278.10/1278.35	c total #propagations: 21596959 / total #impl: 424563568 (eff. 0.051)
1278.10/1278.35	c #Conflicts:     113000 | #Learnt:      15706 | 0.045
1278.10/1278.35	c total clause space: 127.173MB
1278.10/1278.35	c total #watches: 582070
1293.89/1294.17	c total #propagations: 21802359 / total #impl: 427634832 (eff. 0.051)
1293.89/1294.17	c GC COLLECT
1293.89/1294.17	c #Conflicts:     114000 | #Learnt:       8716 | 0.045
1293.89/1294.17	c total clause space: 127.173MB
1293.89/1294.17	c total #watches: 450274
1312.58/1312.82	c total #propagations: 22005373 / total #impl: 430057823 (eff. 0.051)
1312.58/1312.82	c #Conflicts:     115000 | #Learnt:       9716 | 0.044
1312.58/1312.82	c total clause space: 127.173MB
1312.58/1312.82	c total #watches: 474165
1332.48/1332.73	c total #propagations: 22249871 / total #impl: 433460050 (eff. 0.051)
1332.48/1332.73	c #Conflicts:     116000 | #Learnt:      10716 | 0.044
1332.48/1332.73	c total clause space: 127.173MB
1332.48/1332.73	c total #watches: 489217
1345.28/1345.58	c total #propagations: 22483593 / total #impl: 436721532 (eff. 0.051)
1345.28/1345.58	c #Conflicts:     117000 | #Learnt:      11716 | 0.044
1345.28/1345.58	c total clause space: 127.173MB
1345.28/1345.58	c total #watches: 500895
1357.58/1357.87	c total #propagations: 22667386 / total #impl: 439689969 (eff. 0.052)
1357.58/1357.87	c #Conflicts:     118000 | #Learnt:      12716 | 0.044
1357.58/1357.87	c total clause space: 127.173MB
1357.58/1357.87	c total #watches: 524504
1374.78/1375.02	c total #propagations: 22837094 / total #impl: 442720393 (eff. 0.052)
1374.78/1375.02	c #Conflicts:     119000 | #Learnt:      13716 | 0.044
1374.78/1375.02	c total clause space: 127.173MB
1374.78/1375.02	c total #watches: 555786
1391.07/1391.32	c total #propagations: 23042623 / total #impl: 447034654 (eff. 0.052)
1391.07/1391.32	c #Conflicts:     120000 | #Learnt:      14716 | 0.045
1391.07/1391.32	c total clause space: 127.173MB
1391.07/1391.32	c total #watches: 578905
1406.37/1406.60	c total #propagations: 23233899 / total #impl: 450468566 (eff. 0.052)
1406.37/1406.60	c #Conflicts:     121000 | #Learnt:      15716 | 0.046
1406.37/1406.60	c total clause space: 127.173MB
1406.37/1406.60	c total #watches: 595564
1421.76/1422.03	c total #propagations: 23453221 / total #impl: 454133781 (eff. 0.052)
1421.76/1422.03	c GC COLLECT
1421.76/1422.03	c #Conflicts:     122000 | #Learnt:       8403 | 0.048
1421.76/1422.03	c total clause space: 127.173MB
1421.76/1422.03	c total #watches: 450540
1437.86/1438.17	c total #propagations: 23651838 / total #impl: 458048230 (eff. 0.052)
1437.86/1438.17	c #Conflicts:     123000 | #Learnt:       9403 | 0.048
1437.86/1438.17	c total clause space: 127.173MB
1437.86/1438.17	c total #watches: 476693
1458.37/1458.63	c total #propagations: 23842943 / total #impl: 460876749 (eff. 0.052)
1458.37/1458.63	c #Conflicts:     124000 | #Learnt:      10403 | 0.057
1458.37/1458.63	c total clause space: 127.173MB
1458.37/1458.63	c total #watches: 505794
1486.36/1486.64	c total #propagations: 24056439 / total #impl: 464256677 (eff. 0.052)
1486.36/1486.64	c #Conflicts:     125000 | #Learnt:      11403 | 0.058
1486.36/1486.64	c total clause space: 127.173MB
1486.36/1486.64	c total #watches: 521322
1505.66/1505.98	c total #propagations: 24368826 / total #impl: 468968254 (eff. 0.052)
1505.66/1505.98	c #Conflicts:     126000 | #Learnt:      12403 | 0.060
1505.66/1505.98	c total clause space: 127.173MB
1505.66/1505.98	c total #watches: 539779
1528.35/1528.60	c total #propagations: 24590180 / total #impl: 472373311 (eff. 0.052)
1528.35/1528.60	c #Conflicts:     127000 | #Learnt:      13403 | 0.060
1528.35/1528.60	c total clause space: 127.173MB
1528.35/1528.60	c total #watches: 572495
1551.15/1551.43	c total #propagations: 24831328 / total #impl: 476255792 (eff. 0.052)
1551.15/1551.43	c #Conflicts:     128000 | #Learnt:      14403 | 0.060
1551.15/1551.43	c total clause space: 127.173MB
1551.15/1551.43	c total #watches: 601338
1576.24/1576.50	c total #propagations: 25054139 / total #impl: 479495502 (eff. 0.052)
1576.24/1576.50	c #Conflicts:     129000 | #Learnt:      15403 | 0.063
1576.24/1576.50	c total clause space: 127.173MB
1576.24/1576.50	c total #watches: 631105
1600.24/1600.59	c total #propagations: 25317156 / total #impl: 483188472 (eff. 0.052)
1600.24/1600.59	c #Conflicts:     130000 | #Learnt:      16403 | 0.062
1600.24/1600.59	c total clause space: 127.173MB
1600.24/1600.59	c total #watches: 652101
1619.43/1619.79	c total #propagations: 25580940 / total #impl: 487141686 (eff. 0.053)
1619.43/1619.79	c GC COLLECT
1619.43/1619.79	c #Conflicts:     131000 | #Learnt:       8819 | 0.065
1619.43/1619.79	c total clause space: 127.173MB
1619.43/1619.79	c total #watches: 460569
1637.93/1638.22	c total #propagations: 25765612 / total #impl: 489781850 (eff. 0.053)
1637.93/1638.22	c #Conflicts:     132000 | #Learnt:       9819 | 0.067
1637.93/1638.22	c total clause space: 127.173MB
1637.93/1638.22	c total #watches: 477134
1658.23/1658.56	c total #propagations: 25973617 / total #impl: 492694536 (eff. 0.053)
1658.23/1658.56	c #Conflicts:     133000 | #Learnt:      10819 | 0.068
1658.23/1658.56	c total clause space: 127.173MB
1658.23/1658.56	c total #watches: 499186
1678.63/1678.90	c total #propagations: 26186641 / total #impl: 495896800 (eff. 0.053)
1678.63/1678.90	c #Conflicts:     134000 | #Learnt:      11819 | 0.068
1678.63/1678.90	c total clause space: 127.173MB
1678.63/1678.90	c total #watches: 528051
1692.32/1692.66	c total #propagations: 26378332 / total #impl: 498748343 (eff. 0.053)
1692.32/1692.66	c #Conflicts:     135000 | #Learnt:      12819 | 0.068
1692.32/1692.66	c total clause space: 127.173MB
1692.32/1692.66	c total #watches: 552871
1715.92/1716.23	c total #propagations: 26553591 / total #impl: 501338880 (eff. 0.053)
1715.92/1716.23	c #Conflicts:     136000 | #Learnt:      13819 | 0.068
1715.92/1716.23	c total clause space: 127.173MB
1715.92/1716.23	c total #watches: 566067
1743.22/1743.51	c total #propagations: 26791316 / total #impl: 504843022 (eff. 0.053)
1743.22/1743.51	c #Conflicts:     137000 | #Learnt:      14819 | 0.067
1743.22/1743.51	c total clause space: 127.173MB
1743.22/1743.51	c total #watches: 580901
1762.91/1763.30	c total #propagations: 27073339 / total #impl: 508399923 (eff. 0.053)
1762.91/1763.30	c #Conflicts:     138000 | #Learnt:      15819 | 0.068
1762.91/1763.30	c total clause space: 127.173MB
1762.91/1763.30	c total #watches: 596938
1793.21/1793.58	c total #propagations: 27269564 / total #impl: 511167212 (eff. 0.053)
1793.21/1793.58	c #Conflicts:     139000 | #Learnt:      16819 | 0.067
1793.21/1793.58	c total clause space: 127.173MB
1793.21/1793.58	c total #watches: 627053

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4088399-1465436062/watcher-4088399-1465436062 -o /tmp/evaluation-result-4088399-1465436062/solver-4088399-1465436062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29727 --watchdog 1960 --input HOME/instance-4088399-1465436062.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=30713
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.09 2.05 3/177 30716
/proc/meminfo: memFree=30294628/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 125539464 29810688 5269 33554432000 4194304 6201397 140734938840608 140736804932616 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 7278 5269 130 491 0 6777 0

[startup+0.10015 s]
/proc/loadavg: 2.17 2.09 2.05 3/177 30716
/proc/meminfo: memFree=30294628/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=34116 CPUtime=0.09 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 913 0 0 0 9 0 0 0 20 0 1 0 125539464 34934784 7252 33554432000 4194304 6201397 140734938840608 140734938839384 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 8529 7252 145 491 0 8028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34116

[startup+0.200351 s]
/proc/loadavg: 2.17 2.09 2.05 3/177 30716
/proc/meminfo: memFree=30294628/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=37092 CPUtime=0.19 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 1536 0 0 0 19 0 0 0 20 0 1 0 125539464 37982208 7633 33554432000 4194304 6201397 140734938840608 140734938839384 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 9273 7634 146 491 0 8772 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37092

[startup+0.300265 s]
/proc/loadavg: 2.17 2.09 2.05 3/177 30716
/proc/meminfo: memFree=30294628/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=37220 CPUtime=0.29 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 1981 0 0 0 29 0 0 0 20 0 1 0 125539464 38113280 7902 33554432000 4194304 6201397 140734938840608 140734938839384 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 9305 7902 158 491 0 8804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37220

[startup+0.700233 s]
/proc/loadavg: 2.17 2.09 2.05 3/177 30716
/proc/meminfo: memFree=30294628/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=42036 CPUtime=0.68 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 2724 0 0 0 68 0 0 0 20 0 1 0 125539464 43044864 8894 33554432000 4194304 6201397 140734938840608 140734938839384 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 10509 8894 158 491 0 10008 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42036

[startup+1.50024 s]
/proc/loadavg: 2.17 2.09 2.05 3/178 30717
/proc/meminfo: memFree=30259004/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=42684 CPUtime=1.48 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 3030 0 0 0 148 0 0 0 20 0 1 0 125539464 43708416 9657 33554432000 4194304 6201397 140734938840608 140734938839736 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 10671 9657 165 491 0 10170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42684

[startup+3.10023 s]
/proc/loadavg: 2.16 2.09 2.05 3/178 30717
/proc/meminfo: memFree=30255212/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=50384 CPUtime=3.09 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 3994 0 0 0 308 1 0 0 20 0 1 0 125539464 51593216 10765 33554432000 4194304 6201397 140734938840608 140734938839272 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 12596 10765 165 491 0 12095 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50384

[startup+6.30023 s]
/proc/loadavg: 2.16 2.09 2.05 3/178 30717
/proc/meminfo: memFree=30248176/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=51708 CPUtime=6.29 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 4418 0 0 0 628 1 0 0 20 0 1 0 125539464 52948992 11661 33554432000 4194304 6201397 140734938840608 140734938839736 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 12927 11662 165 491 0 12426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51708

[startup+12.7002 s]
/proc/loadavg: 2.13 2.08 2.05 3/178 30717
/proc/meminfo: memFree=30242840/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=64436 CPUtime=12.69 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 5537 0 0 0 1268 1 0 0 20 0 1 0 125539464 65982464 13442 33554432000 4194304 6201397 140734938840608 140734938839272 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 16109 13442 165 491 0 15608 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64436

[startup+25.5003 s]
/proc/loadavg: 2.11 2.08 2.05 3/178 30717
/proc/meminfo: memFree=30223356/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=84724 CPUtime=25.48 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 6721 0 0 0 2547 1 0 0 20 0 1 0 125539464 86757376 17811 33554432000 4194304 6201397 140734938840608 140734938839272 4214498 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 21181 17811 165 491 0 20680 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84724

[startup+51.1003 s]
/proc/loadavg: 2.07 2.07 2.05 3/178 30717
/proc/meminfo: memFree=30205456/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=119284 CPUtime=51.08 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 8465 0 0 0 5106 2 0 0 20 0 1 0 125539464 122146816 22236 33554432000 4194304 6201397 140734938840608 140734938839272 4213293 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 29821 22236 165 491 0 29320 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 119284

[startup+102.3 s]
/proc/loadavg: 1.97 2.04 2.04 3/178 30811
/proc/meminfo: memFree=30708996/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=120704 CPUtime=102.28 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 8833 0 0 0 10226 2 0 0 20 0 1 0 125539464 123600896 22614 33554432000 4194304 6201397 140734938840608 140734938839736 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 30176 22614 165 491 0 29675 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 120704

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/178 30812
/proc/meminfo: memFree=30662252/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=124844 CPUtime=162.26 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 9831 0 0 0 16223 3 0 0 20 0 1 0 125539464 127840256 28328 33554432000 4194304 6201397 140734938840608 140734938839272 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31211 28328 165 491 0 30710 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 124844

[startup+222.307 s]
/proc/loadavg: 2.01 2.04 2.03 3/178 30813
/proc/meminfo: memFree=30628288/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=125404 CPUtime=222.26 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 9962 0 0 0 22223 3 0 0 20 0 1 0 125539464 128413696 28459 33554432000 4194304 6201397 140734938840608 140734938839736 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31351 28459 165 491 0 30850 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 125404

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.03 3/178 30814
/proc/meminfo: memFree=30613208/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=125540 CPUtime=282.24 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 9979 0 0 0 28221 3 0 0 20 0 1 0 125539464 128552960 28476 33554432000 4194304 6201397 140734938840608 140734938839736 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31385 28476 165 491 0 30884 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 125540

[startup+342.3 s]
/proc/loadavg: 2.11 2.05 2.03 3/185 30924
/proc/meminfo: memFree=30593520/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=127344 CPUtime=342.23 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 10331 0 0 0 34219 4 0 0 20 0 1 0 125539464 130400256 29339 33554432000 4194304 6201397 140734938840608 140734938839272 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31836 29339 165 491 0 31335 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 127344

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/177 31022
/proc/meminfo: memFree=30584892/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=127600 CPUtime=402.22 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 10376 0 0 0 40218 4 0 0 20 0 1 0 125539464 130662400 30406 33554432000 4194304 6201397 140734938840608 140734938839736 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31900 30406 165 491 0 31399 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 127600

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/177 31024
/proc/meminfo: memFree=30579356/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=127728 CPUtime=462.21 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 10402 0 0 0 46217 4 0 0 20 0 1 0 125539464 130793472 30580 33554432000 4194304 6201397 140734938840608 140734938839560 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 31932 30580 165 491 0 31431 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 127728

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31025
/proc/meminfo: memFree=30574716/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=129472 CPUtime=522.2 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 10717 0 0 0 52216 4 0 0 20 0 1 0 125539464 132579328 30894 33554432000 4194304 6201397 140734938840608 140734938839272 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 32368 30894 165 491 0 31867 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 129472

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31026
/proc/meminfo: memFree=30567388/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=180568 CPUtime=582.19 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 11661 0 0 0 58215 4 0 0 20 0 1 0 125539464 184901632 31532 33554432000 4194304 6201397 140734938840608 140734938839736 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 45142 31532 165 491 0 44641 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 180568


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


[startup+942.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/178 31036
/proc/meminfo: memFree=30529012/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=181432 CPUtime=942.13 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 12008 0 0 0 94209 4 0 0 20 0 1 0 125539464 185786368 37064 33554432000 4194304 6201397 140734938840608 140734938839736 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 45358 37064 165 491 0 44857 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 181432

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31037
/proc/meminfo: memFree=30497884/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=183612 CPUtime=1002.12 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 12445 0 0 0 100208 4 0 0 20 0 1 0 125539464 188018688 38012 33554432000 4194304 6201397 140734938840608 140734938839272 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 45903 38012 165 491 0 45402 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 183612

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 31040
/proc/meminfo: memFree=30480992/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=183772 CPUtime=1062.12 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 12489 0 0 0 106207 5 0 0 20 0 1 0 125539464 188182528 39589 33554432000 4194304 6201397 140734938840608 140734938839736 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 45943 39589 165 491 0 45442 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 183772

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31041
/proc/meminfo: memFree=30471016/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=187996 CPUtime=1122.11 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13323 0 0 0 112206 5 0 0 20 0 1 0 125539464 192507904 40423 33554432000 4194304 6201397 140734938840608 140734938839272 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 46999 40423 165 491 0 46498 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 187996

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31042
/proc/meminfo: memFree=30464120/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=187996 CPUtime=1182.1 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13323 0 0 0 118205 5 0 0 20 0 1 0 125539464 192507904 40423 33554432000 4194304 6201397 140734938840608 140734938839736 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 46999 40423 165 491 0 46498 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 187996

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31043
/proc/meminfo: memFree=30452876/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=187996 CPUtime=1242.09 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13328 0 0 0 124204 5 0 0 20 0 1 0 125539464 192507904 40428 33554432000 4194304 6201397 140734938840608 140734938839736 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 46999 40428 165 491 0 46498 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 187996

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31044
/proc/meminfo: memFree=30443924/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188156 CPUtime=1302.08 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13341 0 0 0 130203 5 0 0 20 0 1 0 125539464 192671744 40750 33554432000 4194304 6201397 140734938840608 140734938839736 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47039 40750 165 491 0 46538 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 188156

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31046
/proc/meminfo: memFree=30439592/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188156 CPUtime=1362.07 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13342 0 0 0 136202 5 0 0 20 0 1 0 125539464 192671744 40855 33554432000 4194304 6201397 140734938840608 140734938839736 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47039 40855 165 491 0 46538 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 188156

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31047
/proc/meminfo: memFree=30436112/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188288 CPUtime=1422.07 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13367 0 0 0 142202 5 0 0 20 0 1 0 125539464 192806912 40880 33554432000 4194304 6201397 140734938840608 140734938839736 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47072 40880 165 491 0 46571 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 188288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31048
/proc/meminfo: memFree=30433748/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188288 CPUtime=1482.06 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13367 0 0 0 148201 5 0 0 20 0 1 0 125539464 192806912 40880 33554432000 4194304 6201397 140734938840608 140734938839736 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47072 40880 165 491 0 46571 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 188288

[startup+1542.31 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 31052
/proc/meminfo: memFree=30426592/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188288 CPUtime=1542.05 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13367 0 0 0 154200 5 0 0 20 0 1 0 125539464 192806912 40880 33554432000 4194304 6201397 140734938840608 140734938839736 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47072 40880 165 491 0 46571 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 188288

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 31076
/proc/meminfo: memFree=30423280/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188448 CPUtime=1602.04 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13393 0 0 0 160199 5 0 0 20 0 1 0 125539464 192970752 40906 33554432000 4194304 6201397 140734938840608 140734938839736 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47112 40906 165 491 0 46611 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 188448

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31078
/proc/meminfo: memFree=30424936/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188576 CPUtime=1662.03 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13412 0 0 0 166198 5 0 0 20 0 1 0 125539464 193101824 40925 33554432000 4194304 6201397 140734938840608 140734938839736 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47144 40925 165 491 0 46643 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 188576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31079
/proc/meminfo: memFree=30424928/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188576 CPUtime=1722.02 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13416 0 0 0 172197 5 0 0 20 0 1 0 125539464 193101824 40929 33554432000 4194304 6201397 140734938840608 140734938839736 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47144 40929 165 491 0 46643 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 188576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31080
/proc/meminfo: memFree=30424548/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188576 CPUtime=1782.01 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13422 0 0 0 178196 5 0 0 20 0 1 0 125539464 193101824 40935 33554432000 4194304 6201397 140734938840608 140734938839736 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47144 40935 165 491 0 46643 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 188576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31080
/proc/meminfo: memFree=30424672/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188576 CPUtime=1800.01 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13422 0 0 0 179996 5 0 0 20 0 1 0 125539464 193101824 40935 33554432000 4194304 6201397 140734938840608 140734938839736 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47144 40935 165 491 0 46643 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 188576

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30716 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31080
/proc/meminfo: memFree=30424672/32872528 swapFree=11320/319964
[pid=30716] ppid=30713 vsize=188576 CPUtime=1800.01 cores=0,2,4,6
/proc/30716/stat : 30716 (cdcl-cuttingpla) R 30713 30716 29711 0 -1 4202496 13422 0 0 0 179996 5 0 0 20 0 1 0 125539464 193101824 40935 33554432000 4194304 6201397 140734938840608 140734938839736 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/30716/statm: 47144 40935 165 491 0 46643 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 188576

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.054991
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 188612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.054991
maximum resident set size= 163740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13422
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= 19
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85026 second user time and 6.65899 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-09 03:34:22
IDJOB=4088399
IDBENCH=71844
IDSOLVER=2550
FILE ID=node128/4088399-1465436062
RUNJOBID= node128-1465427031-29727
PBS_JOBID= 19859784
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088399-1465436062/watcher-4088399-1465436062 -o /tmp/evaluation-result-4088399-1465436062/solver-4088399-1465436062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29727 --watchdog 1960 --input HOME/instance-4088399-1465436062.opb ./cdcl-cuttingplanes-opt-linearsearch-release

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 807bc542b75293285fea5916dfeaaa3e
RANDOM SEED=1699087058

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30294892 kB
Buffers:          188448 kB
Cached:           757148 kB
SwapCached:         1660 kB
Active:           765152 kB
Inactive:         734344 kB
Active(anon):     554252 kB
Inactive(anon):     2136 kB
Active(file):     210900 kB
Inactive(file):   732208 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:        879688 kB
Mapped:             7716 kB
Shmem:                 0 kB
Slab:             625556 kB
SReclaimable:      69056 kB
SUnreclaim:       556500 kB
KernelStack:        1480 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1165572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    858112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node128 at 2016-06-09 04:04:22