Trace number 4119787

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.09 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
MD5SUMec62943bb911a96b3ed21c2bcc385c8a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

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= 91392 #constraint= 1684
1.19/1.21	c #Conflicts:       1000 | #Learnt:        999 | 0.007
1.19/1.21	c total clause space: 48.1602MB
1.19/1.21	c total #watches: 333193
3.49/3.54	c total #propagations: 367497 / total #impl: 1433481 (eff. 0.256)
3.49/3.54	c #Conflicts:       2000 | #Learnt:       1999 | 0.004
3.49/3.54	c total clause space: 127.173MB
3.49/3.54	c total #watches: 452834
5.49/5.58	c total #propagations: 811143 / total #impl: 4830061 (eff. 0.168)
5.49/5.58	c GC COLLECT
5.49/5.58	c #Conflicts:       3000 | #Learnt:       2004 | 0.002
5.49/5.58	c total clause space: 127.173MB
5.49/5.58	c total #watches: 900926
42.67/42.75	c total #propagations: 986539 / total #impl: 28192058 (eff. 0.035)
42.67/42.75	c #Conflicts:       4000 | #Learnt:       3026 | 0.005
42.67/42.75	c total clause space: 127.173MB
42.67/42.75	c total #watches: 1080742
50.27/50.39	c total #propagations: 2832802 / total #impl: 84698147 (eff. 0.033)
50.27/50.39	c GC COLLECT
50.27/50.39	c #Conflicts:       5000 | #Learnt:       2387 | 0.004
50.27/50.39	c total clause space: 127.173MB
50.27/50.39	c total #watches: 761821
54.87/54.91	c total #propagations: 3290432 / total #impl: 90741243 (eff. 0.036)
54.87/54.91	c #Conflicts:       6000 | #Learnt:       3387 | 0.004
54.87/54.91	c total clause space: 127.173MB
54.87/54.91	c total #watches: 859577
60.06/60.12	c total #propagations: 3537655 / total #impl: 94383489 (eff. 0.037)
60.06/60.12	c GC COLLECT
60.06/60.12	c #Conflicts:       7000 | #Learnt:       2267 | 0.003
60.06/60.12	c total clause space: 206.656MB
60.06/60.12	c total #watches: 504906
61.96/62.09	c total #propagations: 3680540 / total #impl: 98778395 (eff. 0.037)
61.96/62.09	c #Conflicts:       8000 | #Learnt:       3267 | 0.003
61.96/62.09	c total clause space: 206.656MB
61.96/62.10	c total #watches: 553149
68.56/68.61	c total #propagations: 3733680 / total #impl: 100660407 (eff. 0.037)
68.56/68.61	c #Conflicts:       9000 | #Learnt:       4267 | 0.002
68.56/68.61	c total clause space: 206.656MB
68.56/68.61	c total #watches: 630132
75.55/75.65	c total #propagations: 4224391 / total #impl: 104879338 (eff. 0.040)
75.55/75.65	c GC COLLECT
75.55/75.65	c #Conflicts:      10000 | #Learnt:       2753 | 0.002
75.55/75.65	c total clause space: 206.656MB
75.55/75.65	c total #watches: 476723
78.06/78.19	c total #propagations: 4647495 / total #impl: 108048382 (eff. 0.043)
78.06/78.19	c #Conflicts:      11000 | #Learnt:       3753 | 0.002
78.06/78.19	c total clause space: 206.656MB
78.06/78.19	c total #watches: 541941
83.56/83.64	c total #propagations: 4851017 / total #impl: 110575360 (eff. 0.044)
83.56/83.64	c #Conflicts:      12000 | #Learnt:       4753 | 0.002
83.56/83.64	c total clause space: 206.656MB
83.56/83.64	c total #watches: 658171
90.75/90.83	c total #propagations: 5324668 / total #impl: 114070118 (eff. 0.047)
90.75/90.83	c #Conflicts:      13000 | #Learnt:       5753 | 0.002
90.75/90.83	c total clause space: 206.656MB
90.75/90.83	c total #watches: 768138
94.94/95.03	c total #propagations: 5792677 / total #impl: 118213063 (eff. 0.049)
94.94/95.03	c GC COLLECT
94.94/95.03	c #Conflicts:      14000 | #Learnt:       3897 | 0.002
94.94/95.03	c total clause space: 206.656MB
94.94/95.03	c total #watches: 770163
98.25/98.36	c total #propagations: 6072562 / total #impl: 123216253 (eff. 0.049)
98.25/98.36	c #Conflicts:      15000 | #Learnt:       4897 | 0.001
98.25/98.36	c total clause space: 206.656MB
98.25/98.36	c total #watches: 838875
101.85/101.91	c total #propagations: 6216230 / total #impl: 125874124 (eff. 0.049)
101.85/101.91	c #Conflicts:      16000 | #Learnt:       5897 | 0.001
101.85/101.91	c total clause space: 206.656MB
101.85/101.91	c total #watches: 897660
104.94/105.00	c total #propagations: 6271627 / total #impl: 128158699 (eff. 0.049)
104.94/105.00	c GC COLLECT
104.94/105.00	c #Conflicts:      17000 | #Learnt:       3721 | 0.001
104.94/105.00	c total clause space: 206.656MB
104.94/105.00	c total #watches: 588305
107.24/107.37	c total #propagations: 6390491 / total #impl: 129884147 (eff. 0.049)
107.24/107.37	c #Conflicts:      18000 | #Learnt:       4721 | 0.001
107.24/107.37	c total clause space: 206.656MB
107.24/107.37	c total #watches: 639911
112.84/112.95	c total #propagations: 6451596 / total #impl: 131603601 (eff. 0.049)
112.84/112.95	c #Conflicts:      19000 | #Learnt:       5721 | 0.001
112.84/112.95	c total clause space: 335.816MB
112.84/112.95	c total #watches: 708672
124.64/124.79	c total #propagations: 6524749 / total #impl: 134184689 (eff. 0.049)
124.64/124.79	c #Conflicts:      20000 | #Learnt:       6721 | 0.001
124.64/124.79	c total clause space: 335.816MB
124.64/124.79	c total #watches: 780672
134.24/134.37	c total #propagations: 6961608 / total #impl: 137809261 (eff. 0.051)
134.24/134.37	c GC COLLECT
134.24/134.37	c #Conflicts:      21000 | #Learnt:       4232 | 0.001
134.24/134.37	c total clause space: 335.816MB
134.24/134.37	c total #watches: 639495
138.73/138.80	c total #propagations: 7453722 / total #impl: 143769565 (eff. 0.052)
138.73/138.80	c #Conflicts:      22000 | #Learnt:       5232 | 0.001
138.73/138.80	c total clause space: 335.816MB
138.73/138.80	c total #watches: 737178
146.93/147.06	c total #propagations: 7710714 / total #impl: 147055283 (eff. 0.052)
146.93/147.06	c #Conflicts:      23000 | #Learnt:       6232 | 0.001
146.93/147.06	c total clause space: 335.816MB
146.93/147.06	c total #watches: 1003358
161.73/161.89	c total #propagations: 8064014 / total #impl: 155613825 (eff. 0.052)
161.73/161.89	c #Conflicts:      24000 | #Learnt:       7232 | 0.001
161.73/161.89	c total clause space: 335.816MB
161.73/161.89	c total #watches: 1081094
172.23/172.33	c total #propagations: 8544781 / total #impl: 161488162 (eff. 0.053)
172.23/172.33	c GC COLLECT
172.23/172.33	c #Conflicts:      25000 | #Learnt:       4437 | 0.001
172.23/172.33	c total clause space: 335.816MB
172.23/172.33	c total #watches: 1010551
176.42/176.58	c total #propagations: 8932548 / total #impl: 168007687 (eff. 0.053)
176.42/176.58	c #Conflicts:      26000 | #Learnt:       5437 | 0.001
176.42/176.58	c total clause space: 335.816MB
176.42/176.58	c total #watches: 1551670
177.62/177.79	c total #propagations: 9019268 / total #impl: 221134688 (eff. 0.041)
177.62/177.79	c #Conflicts:      27000 | #Learnt:       6437 | 0.001
177.62/177.79	c total clause space: 335.816MB
177.62/177.79	c total #watches: 1668479
193.12/193.22	c total #propagations: 9027893 / total #impl: 223069474 (eff. 0.040)
193.12/193.22	c #Conflicts:      28000 | #Learnt:       7438 | 0.001
193.12/193.22	c total clause space: 335.816MB
193.12/193.22	c total #watches: 1754977
205.42/205.50	c total #propagations: 9534076 / total #impl: 235825409 (eff. 0.040)
205.42/205.50	c GC COLLECT
205.42/205.50	c #Conflicts:      29000 | #Learnt:       4344 | 0.001
205.42/205.50	c total clause space: 335.816MB
205.42/205.50	c total #watches: 1218681
216.01/216.19	c total #propagations: 9903246 / total #impl: 242309769 (eff. 0.041)
216.01/216.19	c #Conflicts:      30000 | #Learnt:       5346 | 0.001
216.01/216.19	c total clause space: 335.816MB
216.01/216.19	c total #watches: 1390404
226.21/226.39	c total #propagations: 10349108 / total #impl: 248890476 (eff. 0.042)
226.21/226.39	c #Conflicts:      31000 | #Learnt:       6346 | 0.001
226.21/226.39	c total clause space: 335.816MB
226.21/226.39	c total #watches: 1476176
238.52/238.67	c total #propagations: 10685158 / total #impl: 254115932 (eff. 0.042)
238.52/238.67	c #Conflicts:      32000 | #Learnt:       7346 | 0.001
238.52/238.67	c total clause space: 335.816MB
238.52/238.67	c total #watches: 1559347
250.61/250.71	c total #propagations: 11173754 / total #impl: 258745456 (eff. 0.043)
250.61/250.71	c #Conflicts:      33000 | #Learnt:       8346 | 0.001
250.61/250.71	c total clause space: 335.816MB
250.61/250.71	c total #watches: 1678919
255.41/255.58	c total #propagations: 11598053 / total #impl: 263143257 (eff. 0.044)
255.41/255.58	c GC COLLECT
255.41/255.58	c #Conflicts:      34000 | #Learnt:       4952 | 0.001
255.41/255.58	c total clause space: 335.816MB
255.41/255.59	c total #watches: 791754
260.91/261.09	c total #propagations: 11754958 / total #impl: 265985978 (eff. 0.044)
260.91/261.09	c #Conflicts:      35000 | #Learnt:       5952 | 0.001
260.91/261.09	c total clause space: 335.816MB
260.91/261.09	c total #watches: 882532
267.11/267.20	c total #propagations: 11856325 / total #impl: 269189242 (eff. 0.044)
267.11/267.20	c #Conflicts:      36000 | #Learnt:       6952 | 0.001
267.11/267.20	c total clause space: 335.816MB
267.11/267.20	c total #watches: 979853
273.21/273.37	c total #propagations: 12036024 / total #impl: 272335520 (eff. 0.044)
273.21/273.37	c #Conflicts:      37000 | #Learnt:       7952 | 0.001
273.21/273.37	c total clause space: 335.816MB
273.21/273.37	c total #watches: 1097876
284.30/284.48	c total #propagations: 12183169 / total #impl: 275473605 (eff. 0.044)
284.30/284.48	c #Conflicts:      38000 | #Learnt:       8952 | 0.001
284.30/284.48	c total clause space: 335.816MB
284.30/284.48	c total #watches: 1218613
293.31/293.49	c total #propagations: 12359980 / total #impl: 280621030 (eff. 0.044)
293.31/293.49	c GC COLLECT
293.31/293.49	c #Conflicts:      39000 | #Learnt:       5261 | 0.001
293.31/293.49	c total clause space: 335.816MB
293.31/293.49	c total #watches: 800428
296.01/296.18	c total #propagations: 12560582 / total #impl: 284609704 (eff. 0.044)
296.01/296.18	c #Conflicts:      40000 | #Learnt:       6261 | 0.001
296.01/296.18	c total clause space: 335.816MB
296.01/296.18	c total #watches: 851817
301.11/301.27	c total #propagations: 12668298 / total #impl: 286860739 (eff. 0.044)
301.11/301.27	c #Conflicts:      41000 | #Learnt:       7261 | 0.001
301.11/301.27	c total clause space: 335.816MB
301.11/301.27	c total #watches: 900993
309.21/309.30	c total #propagations: 12773358 / total #impl: 289514115 (eff. 0.044)
309.21/309.30	c #Conflicts:      42000 | #Learnt:       8261 | 0.001
309.21/309.30	c total clause space: 335.816MB
309.21/309.30	c total #watches: 965737
321.21/321.36	c total #propagations: 12876511 / total #impl: 292889246 (eff. 0.044)
321.21/321.36	c #Conflicts:      43000 | #Learnt:       9261 | 0.001
321.21/321.36	c total clause space: 545.701MB
321.21/321.36	c total #watches: 1027788
333.70/333.81	c total #propagations: 12960740 / total #impl: 296144291 (eff. 0.044)
333.70/333.81	c GC COLLECT
333.70/333.81	c #Conflicts:      44000 | #Learnt:       5230 | 0.001
333.70/333.81	c total clause space: 545.701MB
333.70/333.81	c total #watches: 796152
338.30/338.49	c total #propagations: 13047883 / total #impl: 299211449 (eff. 0.044)
338.30/338.49	c #Conflicts:      45000 | #Learnt:       6230 | 0.001
338.30/338.49	c total clause space: 545.701MB
338.30/338.49	c total #watches: 833149
352.19/352.30	c total #propagations: 13160246 / total #impl: 301779329 (eff. 0.044)
352.19/352.30	c #Conflicts:      46000 | #Learnt:       7230 | 0.001
352.19/352.30	c total clause space: 545.701MB
352.19/352.30	c total #watches: 884726
367.89/368.08	c total #propagations: 13592450 / total #impl: 306574656 (eff. 0.044)
367.89/368.08	c #Conflicts:      47000 | #Learnt:       8230 | 0.000
367.89/368.08	c total clause space: 545.701MB
367.89/368.08	c total #watches: 1044916
373.59/373.79	c total #propagations: 14177368 / total #impl: 310211588 (eff. 0.046)
373.59/373.79	c #Conflicts:      48000 | #Learnt:       9230 | 0.000
373.59/373.79	c total clause space: 545.701MB
373.59/373.80	c total #watches: 1449662
406.19/406.31	c total #propagations: 14367719 / total #impl: 315815220 (eff. 0.045)
406.19/406.31	c #Conflicts:      49000 | #Learnt:      10230 | 0.000
406.19/406.31	c total clause space: 545.701MB
406.19/406.31	c total #watches: 1806512
427.89/428.08	c total #propagations: 14936990 / total #impl: 332795791 (eff. 0.045)
427.89/428.08	c GC COLLECT
427.89/428.08	c #Conflicts:      50000 | #Learnt:       5917 | 0.000
427.89/428.08	c total clause space: 545.701MB
427.89/428.08	c total #watches: 834915
433.39/433.59	c total #propagations: 15405137 / total #impl: 339875939 (eff. 0.045)
433.39/433.59	c #Conflicts:      51000 | #Learnt:       6917 | 0.000
433.39/433.59	c total clause space: 545.701MB
433.39/433.59	c total #watches: 899110
437.58/437.71	c total #propagations: 15587976 / total #impl: 341943438 (eff. 0.046)
437.58/437.71	c #Conflicts:      52000 | #Learnt:       7917 | 0.000
437.58/437.71	c total clause space: 545.701MB
437.58/437.71	c total #watches: 980172
443.78/443.93	c total #propagations: 15692997 / total #impl: 344373249 (eff. 0.046)
443.78/443.93	c #Conflicts:      53000 | #Learnt:       8917 | 0.000
443.78/443.93	c total clause space: 545.701MB
443.78/443.93	c total #watches: 1075253
458.98/459.10	c total #propagations: 15781215 / total #impl: 348152848 (eff. 0.045)
458.98/459.10	c #Conflicts:      54000 | #Learnt:       9917 | 0.000
458.98/459.10	c total clause space: 545.701MB
458.98/459.10	c total #watches: 1162158
477.67/477.89	c total #propagations: 16231188 / total #impl: 351076926 (eff. 0.046)
477.67/477.89	c #Conflicts:      55000 | #Learnt:      10917 | 0.000
477.67/477.89	c total clause space: 545.701MB
477.67/477.89	c total #watches: 1215277
480.87/481.09	c total #propagations: 16730973 / total #impl: 354244658 (eff. 0.047)
480.87/481.09	c GC COLLECT
480.87/481.09	c #Conflicts:      56000 | #Learnt:       6308 | 0.000
480.87/481.09	c total clause space: 545.701MB
480.87/481.10	c total #watches: 965073
500.39/500.60	c total #propagations: 16839321 / total #impl: 358753223 (eff. 0.047)
500.39/500.60	c #Conflicts:      57000 | #Learnt:       7308 | 0.000
500.39/500.60	c total clause space: 545.701MB
500.39/500.60	c total #watches: 1086861
518.37/518.54	c total #propagations: 17358326 / total #impl: 365152350 (eff. 0.048)
518.37/518.54	c #Conflicts:      58000 | #Learnt:       8308 | 0.000
518.37/518.54	c total clause space: 545.701MB
518.37/518.54	c total #watches: 1328227
530.37/530.55	c total #propagations: 17815591 / total #impl: 375434431 (eff. 0.047)
530.37/530.55	c #Conflicts:      59000 | #Learnt:       9308 | 0.000
530.37/530.55	c total clause space: 545.701MB
530.37/530.55	c total #watches: 1386946
540.66/540.88	c total #propagations: 17997879 / total #impl: 377681151 (eff. 0.048)
540.66/540.88	c #Conflicts:      60000 | #Learnt:      10308 | 0.000
540.66/540.88	c total clause space: 545.701MB
540.66/540.88	c total #watches: 1467388
550.46/550.65	c total #propagations: 18115242 / total #impl: 379726701 (eff. 0.048)
550.46/550.65	c #Conflicts:      61000 | #Learnt:      11308 | 0.000
550.46/550.65	c total clause space: 545.701MB
550.46/550.65	c total #watches: 1574395
558.06/558.28	c total #propagations: 18161739 / total #impl: 381750476 (eff. 0.048)
558.06/558.28	c GC COLLECT
558.06/558.28	c #Conflicts:      62000 | #Learnt:       6407 | 0.000
558.06/558.28	c total clause space: 545.701MB
558.06/558.28	c total #watches: 889484
564.37/564.55	c total #propagations: 18295121 / total #impl: 383158308 (eff. 0.048)
564.37/564.55	c #Conflicts:      63000 | #Learnt:       7407 | 0.000
564.37/564.55	c total clause space: 545.701MB
564.37/564.55	c total #watches: 941433
574.37/574.53	c total #propagations: 18354730 / total #impl: 384536411 (eff. 0.048)
574.37/574.53	c #Conflicts:      64000 | #Learnt:       8407 | 0.000
574.37/574.53	c total clause space: 545.701MB
574.37/574.53	c total #watches: 988265
594.16/594.36	c total #propagations: 18414592 / total #impl: 386267795 (eff. 0.048)
594.16/594.36	c #Conflicts:      65000 | #Learnt:       9407 | 0.000
594.16/594.36	c total clause space: 545.701MB
594.16/594.36	c total #watches: 1035555
615.96/616.15	c total #propagations: 18853279 / total #impl: 389383052 (eff. 0.048)
615.96/616.15	c #Conflicts:      66000 | #Learnt:      10407 | 0.000
615.96/616.15	c total clause space: 545.701MB
615.96/616.15	c total #watches: 1110142
628.65/628.84	c total #propagations: 19300925 / total #impl: 392919145 (eff. 0.049)
628.65/628.84	c #Conflicts:      67000 | #Learnt:      11407 | 0.000
628.65/628.84	c total clause space: 545.701MB
628.65/628.84	c total #watches: 1539831
658.25/658.43	c total #propagations: 19636515 / total #impl: 400819438 (eff. 0.049)
658.25/658.43	c #Conflicts:      68000 | #Learnt:      12407 | 0.000
658.25/658.43	c total clause space: 886.764MB
658.25/658.43	c total #watches: 1830924
676.24/676.46	c total #propagations: 20165801 / total #impl: 418362840 (eff. 0.048)
676.24/676.46	c GC COLLECT
676.24/676.46	c #Conflicts:      69000 | #Learnt:       7211 | 0.000
676.24/676.46	c total clause space: 886.764MB
676.24/676.46	c total #watches: 1015137
691.04/691.27	c total #propagations: 20575886 / total #impl: 422776014 (eff. 0.049)
691.04/691.27	c #Conflicts:      70000 | #Learnt:       8211 | 0.000
691.04/691.27	c total clause space: 886.764MB
691.04/691.27	c total #watches: 1070716
703.85/704.01	c total #propagations: 20962788 / total #impl: 425753984 (eff. 0.049)
703.85/704.01	c #Conflicts:      71000 | #Learnt:       9211 | 0.000
703.85/704.01	c total clause space: 886.764MB
703.85/704.01	c total #watches: 1121814
709.35/709.57	c total #propagations: 21125788 / total #impl: 427797930 (eff. 0.049)
709.35/709.57	c #Conflicts:      72000 | #Learnt:      10211 | 0.000
709.35/709.57	c total clause space: 886.764MB
709.35/709.57	c total #watches: 1176419
733.24/733.41	c total #propagations: 21235538 / total #impl: 429965958 (eff. 0.049)
733.24/733.41	c #Conflicts:      73000 | #Learnt:      11211 | 0.000
733.24/733.41	c total clause space: 886.764MB
733.24/733.41	c total #watches: 1256459
756.64/756.86	c total #propagations: 21829276 / total #impl: 435289469 (eff. 0.050)
756.64/756.86	c #Conflicts:      74000 | #Learnt:      12211 | 0.000
756.64/756.86	c total clause space: 886.764MB
756.64/756.86	c total #watches: 1322741
771.83/772.01	c total #propagations: 22280186 / total #impl: 438679470 (eff. 0.051)
771.83/772.01	c GC COLLECT
771.83/772.01	c #Conflicts:      75000 | #Learnt:       6705 | 0.000
771.83/772.01	c total clause space: 886.764MB
771.83/772.01	c total #watches: 1005088
787.93/788.16	c total #propagations: 22622237 / total #impl: 444199485 (eff. 0.051)
787.93/788.16	c #Conflicts:      76000 | #Learnt:       7705 | 0.000
787.93/788.16	c total clause space: 886.764MB
787.93/788.16	c total #watches: 1112001
804.52/804.73	c total #propagations: 23095665 / total #impl: 448638992 (eff. 0.051)
804.52/804.73	c #Conflicts:      77000 | #Learnt:       8705 | 0.000
804.52/804.73	c total clause space: 886.764MB
804.52/804.73	c total #watches: 1194892
821.02/821.27	c total #propagations: 23535799 / total #impl: 452034416 (eff. 0.052)
821.02/821.27	c #Conflicts:      78000 | #Learnt:       9705 | 0.000
821.02/821.27	c total clause space: 886.764MB
821.02/821.27	c total #watches: 1296446
834.42/834.68	c total #propagations: 23933563 / total #impl: 455318515 (eff. 0.053)
834.42/834.68	c #Conflicts:      79000 | #Learnt:      10705 | 0.000
834.42/834.68	c total clause space: 886.764MB
834.42/834.68	c total #watches: 1392093
848.42/848.65	c total #propagations: 24161649 / total #impl: 459001071 (eff. 0.053)
848.42/848.65	c #Conflicts:      80000 | #Learnt:      11705 | 0.000
848.42/848.65	c total clause space: 886.764MB
848.42/848.65	c total #watches: 1466650
858.72/858.92	c total #propagations: 24225276 / total #impl: 461400590 (eff. 0.053)
858.72/858.92	c #Conflicts:      81000 | #Learnt:      12705 | 0.000
858.72/858.92	c total clause space: 886.764MB
858.72/858.93	c total #watches: 1535951
866.22/866.44	c total #propagations: 24345126 / total #impl: 463812043 (eff. 0.052)
866.22/866.44	c GC COLLECT
866.22/866.44	c #Conflicts:      82000 | #Learnt:       6906 | 0.000
866.22/866.44	c total clause space: 886.764MB
866.22/866.44	c total #watches: 1030670
871.52/871.72	c total #propagations: 24405401 / total #impl: 466044244 (eff. 0.052)
871.52/871.72	c #Conflicts:      83000 | #Learnt:       7906 | 0.000
871.52/871.72	c total clause space: 886.764MB
871.52/871.72	c total #watches: 1102993
879.32/879.55	c total #propagations: 24461289 / total #impl: 467835803 (eff. 0.052)
879.32/879.55	c #Conflicts:      84000 | #Learnt:       8906 | 0.000
879.32/879.55	c total clause space: 886.764MB
879.32/879.56	c total #watches: 1153545
885.12/885.37	c total #propagations: 24583362 / total #impl: 469650908 (eff. 0.052)
885.12/885.37	c #Conflicts:      85000 | #Learnt:       9906 | 0.000
885.12/885.37	c total clause space: 886.764MB
885.12/885.37	c total #watches: 1172317
892.21/892.49	c total #propagations: 24664379 / total #impl: 471144316 (eff. 0.052)
892.21/892.49	c #Conflicts:      86000 | #Learnt:      10906 | 0.000
892.21/892.49	c total clause space: 886.764MB
892.21/892.49	c total #watches: 1198607
900.21/900.44	c total #propagations: 24757348 / total #impl: 472865847 (eff. 0.052)
900.21/900.44	c #Conflicts:      87000 | #Learnt:      11906 | 0.000
900.21/900.44	c total clause space: 886.764MB
900.21/900.44	c total #watches: 1220803
908.61/908.89	c total #propagations: 24835941 / total #impl: 474605387 (eff. 0.052)
908.61/908.89	c #Conflicts:      88000 | #Learnt:      12906 | 0.000
908.61/908.89	c total clause space: 886.764MB
908.61/908.89	c total #watches: 1238788
921.41/921.64	c total #propagations: 24899289 / total #impl: 476296891 (eff. 0.052)
921.41/921.64	c #Conflicts:      89000 | #Learnt:      13906 | 0.000
921.41/921.64	c total clause space: 886.764MB
921.41/921.64	c total #watches: 1284839
932.11/932.39	c total #propagations: 25021383 / total #impl: 478952891 (eff. 0.052)
932.11/932.39	c GC COLLECT
932.11/932.39	c #Conflicts:      90000 | #Learnt:       7798 | 0.000
932.11/932.39	c total clause space: 886.764MB
932.11/932.39	c total #watches: 1070735
938.31/938.59	c total #propagations: 25173617 / total #impl: 481250260 (eff. 0.052)
938.31/938.59	c #Conflicts:      91000 | #Learnt:       8798 | 0.000
938.31/938.59	c total clause space: 886.764MB
938.31/938.59	c total #watches: 1132157
947.70/947.92	c total #propagations: 25256403 / total #impl: 483102188 (eff. 0.052)
947.70/947.92	c #Conflicts:      92000 | #Learnt:       9798 | 0.000
947.70/947.92	c total clause space: 886.764MB
947.70/947.92	c total #watches: 1213325
958.90/959.17	c total #propagations: 25346611 / total #impl: 485572508 (eff. 0.052)
958.90/959.17	c #Conflicts:      93000 | #Learnt:      10798 | 0.000
958.90/959.17	c total clause space: 886.764MB
958.90/959.17	c total #watches: 1276507
974.40/974.66	c total #propagations: 25421897 / total #impl: 488364919 (eff. 0.052)
974.40/974.66	c #Conflicts:      94000 | #Learnt:      11798 | 0.000
974.40/974.66	c total clause space: 886.764MB
974.40/974.66	c total #watches: 1342072
991.89/992.12	c total #propagations: 25512591 / total #impl: 491829235 (eff. 0.052)
991.89/992.12	c #Conflicts:      95000 | #Learnt:      12798 | 0.000
991.89/992.12	c total clause space: 886.764MB
991.89/992.12	c total #watches: 1413197
1014.59/1014.83	c total #propagations: 25596477 / total #impl: 495381810 (eff. 0.052)
1014.59/1014.83	c #Conflicts:      96000 | #Learnt:      13798 | 0.000
1014.59/1014.83	c total clause space: 886.764MB
1014.59/1014.83	c total #watches: 1480175
1039.29/1039.55	c total #propagations: 25694284 / total #impl: 499602958 (eff. 0.051)
1039.29/1039.55	c #Conflicts:      97000 | #Learnt:      14798 | 0.000
1039.29/1039.55	c total clause space: 886.764MB
1039.29/1039.55	c total #watches: 1541193
1045.08/1045.37	c total #propagations: 25770704 / total #impl: 503665659 (eff. 0.051)
1045.08/1045.37	c GC COLLECT
1045.08/1045.37	c #Conflicts:      98000 | #Learnt:       8403 | 0.000
1045.08/1045.37	c total clause space: 886.764MB
1045.08/1045.37	c total #watches: 1117462
1052.68/1052.94	c total #propagations: 25858855 / total #impl: 505490413 (eff. 0.051)
1052.68/1052.94	c #Conflicts:      99000 | #Learnt:       9403 | 0.000
1052.68/1052.94	c total clause space: 886.764MB
1052.68/1052.94	c total #watches: 1212913
1065.88/1066.19	c total #propagations: 25943824 / total #impl: 507681541 (eff. 0.051)
1065.88/1066.19	c #Conflicts:     100000 | #Learnt:      10403 | 0.000
1065.88/1066.19	c total clause space: 886.764MB
1065.88/1066.19	c total #watches: 1302798
1083.68/1083.91	c total #propagations: 26016938 / total #impl: 510080731 (eff. 0.051)
1083.68/1083.91	c #Conflicts:     101000 | #Learnt:      11403 | 0.000
1083.68/1083.91	c total clause space: 886.764MB
1083.68/1083.91	c total #watches: 1363872
1104.67/1104.99	c total #propagations: 26108756 / total #impl: 513108263 (eff. 0.051)
1104.67/1104.99	c #Conflicts:     102000 | #Learnt:      12403 | 0.000
1104.67/1104.99	c total clause space: 886.764MB
1104.67/1104.99	c total #watches: 1433056
1133.68/1133.96	c total #propagations: 26200515 / total #impl: 516601640 (eff. 0.051)
1133.68/1133.96	c #Conflicts:     103000 | #Learnt:      13403 | 0.000
1133.68/1133.96	c total clause space: 886.764MB
1133.68/1133.96	c total #watches: 1482326
1172.16/1172.41	c total #propagations: 26443103 / total #impl: 520296371 (eff. 0.051)
1172.16/1172.41	c #Conflicts:     104000 | #Learnt:      14403 | 0.000
1172.16/1172.41	c total clause space: 886.764MB
1172.16/1172.41	c total #watches: 1562506
1206.87/1207.11	c total #propagations: 26895387 / total #impl: 524804819 (eff. 0.051)
1206.87/1207.11	c #Conflicts:     105000 | #Learnt:      15403 | 0.000
1206.87/1207.11	c total clause space: 886.764MB
1206.87/1207.11	c total #watches: 1930902
1217.96/1218.28	c total #propagations: 27311052 / total #impl: 533082253 (eff. 0.051)
1217.96/1218.28	c GC COLLECT
1217.96/1218.28	c #Conflicts:     106000 | #Learnt:       8711 | 0.000
1217.96/1218.28	c total clause space: 886.764MB
1217.96/1218.29	c total #watches: 1152576
1231.36/1231.60	c total #propagations: 27626131 / total #impl: 537969029 (eff. 0.051)
1231.36/1231.60	c #Conflicts:     107000 | #Learnt:       9711 | 0.000
1231.36/1231.60	c total clause space: 886.764MB
1231.36/1231.60	c total #watches: 1245630
1252.96/1253.21	c total #propagations: 28006656 / total #impl: 542227433 (eff. 0.052)
1252.96/1253.21	c #Conflicts:     108000 | #Learnt:      10711 | 0.000
1252.96/1253.21	c total clause space: 886.764MB
1252.96/1253.21	c total #watches: 1348765
1261.46/1261.73	c total #propagations: 28557739 / total #impl: 547224367 (eff. 0.052)
1261.46/1261.73	c #Conflicts:     109000 | #Learnt:      11711 | 0.000
1261.46/1261.73	c total clause space: 886.764MB
1261.46/1261.73	c total #watches: 1447360
1270.26/1270.60	c total #propagations: 28676022 / total #impl: 548900573 (eff. 0.052)
1270.26/1270.60	c #Conflicts:     110000 | #Learnt:      12711 | 0.000
1270.26/1270.60	c total clause space: 886.764MB
1270.26/1270.60	c total #watches: 1493531
1286.95/1287.26	c total #propagations: 28801188 / total #impl: 550645385 (eff. 0.052)
1286.95/1287.26	c #Conflicts:     111000 | #Learnt:      13711 | 0.000
1286.95/1287.26	c total clause space: 886.764MB
1286.95/1287.26	c total #watches: 1543293
1316.74/1317.01	c total #propagations: 29058322 / total #impl: 553039170 (eff. 0.053)
1316.74/1317.01	c #Conflicts:     112000 | #Learnt:      14711 | 0.000
1316.74/1317.01	c total clause space: 886.764MB
1316.74/1317.01	c total #watches: 1632060
1343.84/1344.17	c total #propagations: 29540612 / total #impl: 556706494 (eff. 0.053)
1343.84/1344.17	c #Conflicts:     113000 | #Learnt:      15711 | 0.000
1343.84/1344.17	c total clause space: 886.764MB
1343.84/1344.17	c total #watches: 1742905
1359.34/1359.60	c total #propagations: 29964221 / total #impl: 560459672 (eff. 0.053)
1359.34/1359.60	c GC COLLECT
1359.34/1359.60	c #Conflicts:     114000 | #Learnt:       8716 | 0.000
1359.34/1359.60	c total clause space: 886.764MB
1359.34/1359.60	c total #watches: 1252606
1381.23/1381.59	c total #propagations: 30264393 / total #impl: 564318727 (eff. 0.054)
1381.23/1381.59	c #Conflicts:     115000 | #Learnt:       9716 | 0.000
1381.23/1381.59	c total clause space: 886.764MB
1381.23/1381.59	c total #watches: 1314988
1410.93/1411.23	c total #propagations: 30745339 / total #impl: 567666857 (eff. 0.054)
1410.93/1411.23	c #Conflicts:     116000 | #Learnt:      10716 | 0.000
1410.93/1411.23	c total clause space: 886.764MB
1410.93/1411.23	c total #watches: 1393892
1426.62/1426.94	c total #propagations: 31331112 / total #impl: 571543591 (eff. 0.055)
1426.62/1426.94	c #Conflicts:     117000 | #Learnt:      11716 | 0.000
1426.62/1426.94	c total clause space: 886.764MB
1426.62/1426.94	c total #watches: 1506481
1440.13/1440.41	c total #propagations: 31565377 / total #impl: 574692680 (eff. 0.055)
1440.13/1440.41	c #Conflicts:     118000 | #Learnt:      12716 | 0.000
1440.13/1440.41	c total clause space: 886.764MB
1440.13/1440.41	c total #watches: 1601796
1458.72/1459.05	c total #propagations: 31734156 / total #impl: 577689440 (eff. 0.055)
1458.72/1459.05	c #Conflicts:     119000 | #Learnt:      13716 | 0.000
1458.72/1459.05	c total clause space: 886.764MB
1458.72/1459.05	c total #watches: 1697091
1469.43/1469.77	c total #propagations: 31912027 / total #impl: 582095751 (eff. 0.055)
1469.43/1469.77	c #Conflicts:     120000 | #Learnt:      14716 | 0.000
1469.43/1469.77	c total clause space: 886.764MB
1469.43/1469.77	c total #watches: 1768500
1482.92/1483.20	c total #propagations: 32053122 / total #impl: 586668972 (eff. 0.055)
1482.92/1483.20	c #Conflicts:     121000 | #Learnt:      15716 | 0.000
1482.92/1483.20	c total clause space: 886.764MB
1482.92/1483.20	c total #watches: 1860085
1505.32/1505.61	c total #propagations: 32189766 / total #impl: 594959709 (eff. 0.054)
1505.32/1505.61	c GC COLLECT
1505.32/1505.61	c #Conflicts:     122000 | #Learnt:       8410 | 0.000
1505.32/1505.61	c total clause space: 886.764MB
1505.32/1505.61	c total #watches: 1144476
1522.61/1522.99	c total #propagations: 32441216 / total #impl: 604576813 (eff. 0.054)
1522.61/1522.99	c #Conflicts:     123000 | #Learnt:       9410 | 0.000
1522.61/1522.99	c total clause space: 886.764MB
1522.61/1522.99	c total #watches: 1212112
1552.01/1552.35	c total #propagations: 32821409 / total #impl: 606991173 (eff. 0.054)
1552.01/1552.35	c #Conflicts:     124000 | #Learnt:      10410 | 0.000
1552.01/1552.35	c total clause space: 886.764MB
1552.01/1552.36	c total #watches: 1299316
1559.81/1560.20	c total #propagations: 33326599 / total #impl: 610233716 (eff. 0.055)
1559.81/1560.20	c #Conflicts:     125000 | #Learnt:      11410 | 0.000
1559.81/1560.20	c total clause space: 886.764MB
1559.91/1560.20	c total #watches: 1374430
1585.10/1585.50	c total #propagations: 33466668 / total #impl: 613109169 (eff. 0.055)
1585.10/1585.50	c #Conflicts:     126000 | #Learnt:      12410 | 0.000
1585.10/1585.50	c total clause space: 886.764MB
1585.20/1585.50	c total #watches: 1495258
1610.11/1610.45	c total #propagations: 34010969 / total #impl: 618759546 (eff. 0.055)
1610.11/1610.45	c #Conflicts:     127000 | #Learnt:      13410 | 0.000
1610.11/1610.45	c total clause space: 886.764MB
1610.11/1610.45	c total #watches: 1595648
1626.60/1626.93	c total #propagations: 34483647 / total #impl: 623982986 (eff. 0.055)
1626.60/1626.93	c #Conflicts:     128000 | #Learnt:      14410 | 0.000
1626.60/1626.93	c total clause space: 886.764MB
1626.60/1626.93	c total #watches: 1663357
1640.79/1641.19	c total #propagations: 34693124 / total #impl: 627675637 (eff. 0.055)
1640.79/1641.19	c #Conflicts:     129000 | #Learnt:      15410 | 0.000
1640.79/1641.19	c total clause space: 886.764MB
1640.79/1641.19	c total #watches: 1741313
1656.49/1656.86	c total #propagations: 34862104 / total #impl: 631464813 (eff. 0.055)
1656.49/1656.86	c #Conflicts:     130000 | #Learnt:      16410 | 0.000
1656.49/1656.86	c total clause space: 886.764MB
1656.49/1656.86	c total #watches: 1828431
1695.29/1695.69	c total #propagations: 35030938 / total #impl: 635875089 (eff. 0.055)
1695.29/1695.69	c GC COLLECT
1695.29/1695.69	c #Conflicts:     131000 | #Learnt:       8808 | 0.000
1695.29/1695.69	c total clause space: 886.764MB
1695.29/1695.69	c total #watches: 1182117
1718.69/1719.07	c total #propagations: 35536612 / total #impl: 640801692 (eff. 0.055)
1718.69/1719.07	c #Conflicts:     132000 | #Learnt:       9808 | 0.000
1718.69/1719.07	c total clause space: 886.764MB
1718.69/1719.07	c total #watches: 1263205
1724.18/1724.55	c total #propagations: 36082683 / total #impl: 645536223 (eff. 0.056)
1724.18/1724.55	c #Conflicts:     133000 | #Learnt:      10808 | 0.000
1724.18/1724.55	c total clause space: 886.764MB
1724.18/1724.55	c total #watches: 1342547
1749.79/1750.20	c total #propagations: 36211013 / total #impl: 647929781 (eff. 0.056)
1749.79/1750.20	c #Conflicts:     134000 | #Learnt:      11808 | 0.000
1749.79/1750.20	c total clause space: 886.764MB
1749.79/1750.20	c total #watches: 1462067
1776.87/1777.24	c total #propagations: 36784695 / total #impl: 654077232 (eff. 0.056)
1776.87/1777.24	c #Conflicts:     135000 | #Learnt:      12808 | 0.000
1776.87/1777.24	c total clause space: 886.764MB
1776.87/1777.24	c total #watches: 1556732
1788.57/1788.95	c total #propagations: 37267842 / total #impl: 660635036 (eff. 0.056)
1788.57/1788.95	c #Conflicts:     136000 | #Learnt:      13808 | 0.000
1788.57/1788.95	c total clause space: 886.764MB
1788.57/1788.95	c total #watches: 1633075

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-4119787-1467267312/watcher-4119787-1467267312 -o /tmp/evaluation-result-4119787-1467267312/solver-4119787-1467267312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467267312-16570 --watchdog 1960 --input HOME/instance-4119787-1467267312.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=16592
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: 1.76 1.92 1.79 4/175 16599
/proc/meminfo: memFree=29144228/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 7627332 29810688 5268 33554432000 4194304 6201397 140736439035872 140736246270744 5194148 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 7278 5268 130 491 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 1.76 1.92 1.79 4/175 16599
/proc/meminfo: memFree=29144228/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=36404 CPUtime=0.09 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 1264 0 0 0 9 0 0 0 20 0 1 0 7627332 37277696 7721 33554432000 4194304 6201397 140736439035872 140736246270744 5408672 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 9101 7721 141 491 0 8600 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.200293 s]
/proc/loadavg: 1.76 1.92 1.79 4/175 16599
/proc/meminfo: memFree=29144228/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=44060 CPUtime=0.19 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 2439 0 0 0 18 1 0 0 20 0 1 0 7627332 45117440 8503 33554432000 4194304 6201397 140736439035872 140736246270744 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 11015 8503 142 491 0 10514 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44060

[startup+0.300304 s]
/proc/loadavg: 1.76 1.92 1.79 4/175 16599
/proc/meminfo: memFree=29144228/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=52912 CPUtime=0.29 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 3764 0 0 0 28 1 0 0 20 0 1 0 7627332 54181888 9932 33554432000 4194304 6201397 140736439035872 140736246270744 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 13228 9932 142 491 0 12727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52912

[startup+0.700264 s]
/proc/loadavg: 1.76 1.92 1.79 4/175 16599
/proc/meminfo: memFree=29144228/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=68960 CPUtime=0.69 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 5190 0 0 0 68 1 0 0 20 0 1 0 7627332 70615040 14761 33554432000 4194304 6201397 140736439035872 140736439034648 4233590 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 17240 14761 146 491 0 16739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68960

[startup+1.50025 s]
/proc/loadavg: 1.76 1.92 1.79 4/177 16601
/proc/meminfo: memFree=29001168/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=120108 CPUtime=1.49 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 6024 0 0 0 148 1 0 0 20 0 1 0 7627332 122990592 20584 33554432000 4194304 6201397 140736439035872 140736439034536 4198464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 30027 20584 159 491 0 29526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120108

[startup+3.10027 s]
/proc/loadavg: 1.78 1.92 1.79 4/177 16601
/proc/meminfo: memFree=28955116/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=122176 CPUtime=3.09 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 6573 0 0 0 307 2 0 0 20 0 1 0 7627332 125108224 27776 33554432000 4194304 6201397 140736439035872 140736439034536 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 30544 27776 159 491 0 30043 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122176

[startup+6.30025 s]
/proc/loadavg: 1.78 1.92 1.79 4/177 16601
/proc/meminfo: memFree=28893144/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=180588 CPUtime=6.29 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 10435 0 0 0 626 3 0 0 20 0 1 0 7627332 184922112 33516 33554432000 4194304 6201397 140736439035872 140736439035000 4213178 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/16599/statm: 45147 33516 165 491 0 44646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 180588

[startup+12.7002 s]
/proc/loadavg: 1.81 1.92 1.79 3/177 16601
/proc/meminfo: memFree=28841908/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=182188 CPUtime=12.68 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 10841 0 0 0 1265 3 0 0 20 0 1 0 7627332 186560512 34433 33554432000 4194304 6201397 140736439035872 140736439034536 4213365 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/16599/statm: 45547 34433 165 491 0 45046 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 182188

[startup+25.5002 s]
/proc/loadavg: 1.84 1.93 1.79 4/177 16601
/proc/meminfo: memFree=28774460/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=182188 CPUtime=25.48 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 10841 0 0 0 2544 4 0 0 20 0 1 0 7627332 186560512 34433 33554432000 4194304 6201397 140736439035872 140736439034536 4213186 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/16599/statm: 45547 34433 165 491 0 45046 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 182188

[startup+51.1003 s]
/proc/loadavg: 1.96 1.95 1.80 4/177 16601
/proc/meminfo: memFree=28686604/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=188756 CPUtime=51.07 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 12835 0 0 0 5103 4 0 0 20 0 1 0 7627332 193286144 42980 33554432000 4194304 6201397 140736439035872 140736439035000 4213168 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/16599/statm: 47189 42980 165 491 0 46688 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 188756

[startup+102.3 s]
/proc/loadavg: 1.98 1.95 1.81 4/177 16602
/proc/meminfo: memFree=28466216/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=295292 CPUtime=102.26 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 20159 0 0 0 10219 7 0 0 20 0 1 0 7627332 302379008 67599 33554432000 4194304 6201397 140736439035872 140736439035000 4213178 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/16599/statm: 73823 67599 165 491 0 73322 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 295292

[startup+162.3 s]
/proc/loadavg: 1.99 1.96 1.82 4/177 16603
/proc/meminfo: memFree=28351404/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=447988 CPUtime=162.22 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 26023 0 0 0 16213 9 0 0 20 0 1 0 7627332 458739712 90961 33554432000 4194304 6201397 140736439035872 140736439034536 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 111997 90961 165 491 0 111496 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 447988

[startup+222.308 s]
/proc/loadavg: 1.99 1.96 1.83 4/177 16604
/proc/meminfo: memFree=28307424/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=470080 CPUtime=222.22 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 31608 0 0 0 22212 10 0 0 20 0 1 0 7627332 481361920 97568 33554432000 4194304 6201397 140736439035872 140736439034536 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 117520 97568 165 491 0 117019 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 470080

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.83 4/177 16606
/proc/meminfo: memFree=28244512/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=479788 CPUtime=282.21 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 34133 0 0 0 28210 11 0 0 20 0 1 0 7627332 491302912 107247 33554432000 4194304 6201397 140736439035872 140736439034584 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 119947 107247 165 491 0 119446 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 479788

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.84 4/178 16610
/proc/meminfo: memFree=28012476/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=706544 CPUtime=342.2 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 37304 0 0 0 34207 13 0 0 20 0 1 0 7627332 723501056 140533 33554432000 4194304 6201397 140736439035872 140736439034584 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 176636 140533 165 491 0 176135 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 706544

[startup+402.3 s]
/proc/loadavg: 2.07 2.00 1.86 4/177 16611
/proc/meminfo: memFree=27980760/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=722680 CPUtime=402.19 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 41457 0 0 0 40204 15 0 0 20 0 1 0 7627332 740024320 144661 33554432000 4194304 6201397 140736439035872 140736439034536 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 180670 144661 165 491 0 180169 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 722680

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.86 4/177 16612
/proc/meminfo: memFree=27951212/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=731512 CPUtime=462.17 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 43772 0 0 0 46202 15 0 0 20 0 1 0 7627332 749068288 147965 33554432000 4194304 6201397 140736439035872 140736439035000 4213747 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 182878 147965 165 491 0 182377 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 731512

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.87 4/177 16613
/proc/meminfo: memFree=27916108/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=740408 CPUtime=522.17 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 45963 0 0 0 52201 16 0 0 20 0 1 0 7627332 758177792 150156 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 185102 150156 165 491 0 184601 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 740408

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/177 16615
/proc/meminfo: memFree=27880308/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=745776 CPUtime=582.16 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 47397 0 0 0 58199 17 0 0 20 0 1 0 7627332 763674624 154637 33554432000 4194304 6201397 140736439035872 140736439034472 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 186444 154637 165 491 0 185943 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 745776


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.90 4/177 16621
/proc/meminfo: memFree=27526376/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1119152 CPUtime=882.12 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 53816 0 0 0 88190 22 0 0 20 0 1 0 7627332 1146011648 194224 33554432000 4194304 6201397 140736439035872 140736439035000 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 279788 194224 165 491 0 279287 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1119152

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 16625
/proc/meminfo: memFree=27518780/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1121048 CPUtime=942.1 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 54344 0 0 0 94188 22 0 0 20 0 1 0 7627332 1147953152 194826 33554432000 4194304 6201397 140736439035872 140736439034152 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 280262 194826 165 491 0 279761 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 1121048

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16626
/proc/meminfo: memFree=27493100/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1123076 CPUtime=1002.09 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 55439 0 0 0 100187 22 0 0 20 0 1 0 7627332 1150029824 200572 33554432000 4194304 6201397 140736439035872 140736439034472 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 280769 200572 165 491 0 280268 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 1123076

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16627
/proc/meminfo: memFree=27358748/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1124252 CPUtime=1062.08 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 55912 0 0 0 106184 24 0 0 20 0 1 0 7627332 1151234048 232081 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 281063 232081 165 491 0 280562 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1124252

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16628
/proc/meminfo: memFree=27294776/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1127612 CPUtime=1122.08 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 56814 0 0 0 112183 25 0 0 20 0 1 0 7627332 1154674688 232969 33554432000 4194304 6201397 140736439035872 140736439034536 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 281903 232969 165 491 0 281402 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1127612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16630
/proc/meminfo: memFree=27282580/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1136092 CPUtime=1182.07 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 58876 0 0 0 118181 26 0 0 20 0 1 0 7627332 1163358208 234968 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 284023 234968 165 491 0 283522 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1136092

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16631
/proc/meminfo: memFree=27275136/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1140036 CPUtime=1242.06 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 59851 0 0 0 124180 26 0 0 20 0 1 0 7627332 1167396864 235943 33554432000 4194304 6201397 140736439035872 140736439034584 4213712 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 285009 235943 165 491 0 284508 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1140036

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16632
/proc/meminfo: memFree=27267324/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1143140 CPUtime=1302.05 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 60680 0 0 0 130179 26 0 0 20 0 1 0 7627332 1170575360 236855 33554432000 4194304 6201397 140736439035872 140736439034488 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 285785 236855 165 491 0 285284 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1143140

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16633
/proc/meminfo: memFree=27260496/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1146464 CPUtime=1362.03 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 61494 0 0 0 136177 26 0 0 20 0 1 0 7627332 1173979136 237669 33554432000 4194304 6201397 140736439035872 140736439035000 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 286616 237669 165 491 0 286115 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1146464

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16634
/proc/meminfo: memFree=27257884/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1147184 CPUtime=1422.03 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 61685 0 0 0 142177 26 0 0 20 0 1 0 7627332 1174716416 237860 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 286796 237860 165 491 0 286295 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1147184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16636
/proc/meminfo: memFree=27098212/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1151504 CPUtime=1482.02 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 62760 0 0 0 148175 27 0 0 20 0 1 0 7627332 1179140096 238935 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 287876 238935 165 491 0 287375 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1151504

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 16640
/proc/meminfo: memFree=27017168/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1155964 CPUtime=1542.02 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 63849 0 0 0 154175 27 0 0 20 0 1 0 7627332 1183707136 240024 33554432000 4194304 6201397 140736439035872 140736439034488 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 288991 240024 165 491 0 288490 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1155964

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16641
/proc/meminfo: memFree=26992464/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1157340 CPUtime=1602 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 64197 0 0 0 160173 27 0 0 20 0 1 0 7627332 1185116160 240372 33554432000 4194304 6201397 140736439035872 140736439034472 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 289335 240372 165 491 0 288834 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1157340

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 16642
/proc/meminfo: memFree=26984924/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1160448 CPUtime=1661.99 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 64977 0 0 0 166172 27 0 0 20 0 1 0 7627332 1188298752 241152 33554432000 4194304 6201397 140736439035872 140736439035000 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 290112 241152 165 491 0 289611 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1160448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/176 16643
/proc/meminfo: memFree=26979496/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1163060 CPUtime=1721.99 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 65619 0 0 0 172171 28 0 0 20 0 1 0 7627332 1190973440 241794 33554432000 4194304 6201397 140736439035872 140736439035000 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 290765 241794 165 491 0 290264 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1163060

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.91 4/176 16645
/proc/meminfo: memFree=26974672/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1165020 CPUtime=1781.97 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 66073 0 0 0 178169 28 0 0 20 0 1 0 7627332 1192980480 242248 33554432000 4194304 6201397 140736439035872 140736439034584 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 291255 242248 165 491 0 290754 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1165020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 1.91 4/177 16646
/proc/meminfo: memFree=26972184/32872528 swapFree=7620/7620
[pid=16599] ppid=16592 vsize=1166256 CPUtime=1800.07 cores=0,2,4,6
/proc/16599/stat : 16599 (cdcl-cuttingpla) R 16592 16599 16554 0 -1 4202496 66393 0 0 0 179979 28 0 0 20 0 1 0 7627332 1194246144 242568 33554432000 4194304 6201397 140736439035872 140736439034488 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/16599/statm: 291564 242568 165 491 0 291063 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1166256

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 16599 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.290955
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 1166256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.290955
maximum resident set size= 970272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66393
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= 27
involuntary context switches= 2190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12307 second user time and 9.2276 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 08:15:12
IDJOB=4119787
IDBENCH=111805
IDSOLVER=2550
FILE ID=node106/4119787-1467267312
RUNJOBID= node106-1467267312-16570
PBS_JOBID= 20004487
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119787-1467267312/watcher-4119787-1467267312 -o /tmp/evaluation-result-4119787-1467267312/solver-4119787-1467267312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467267312-16570 --watchdog 1960 --input HOME/instance-4119787-1467267312.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= ec62943bb911a96b3ed21c2bcc385c8a
RANDOM SEED=83598100

node106.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.495
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.99
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.495
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.56
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.495
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.495
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.55
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.495
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.56
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.495
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.55
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.495
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.495
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29145408 kB
Buffers:           53848 kB
Cached:          2895156 kB
SwapCached:            0 kB
Active:          2264708 kB
Inactive:         699188 kB
Active(anon):       2076 kB
Inactive(anon):    15804 kB
Active(file):    2262632 kB
Inactive(file):   683384 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15224 kB
Writeback:             0 kB
AnonPages:         22996 kB
Mapped:            15276 kB
Shmem:               204 kB
Slab:             623940 kB
SReclaimable:      67328 kB
SUnreclaim:       556612 kB
KernelStack:        1328 kB
PageTables:         2992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71732 MiB
End job on node106 at 2016-06-30 08:45:13