Trace number 4087880

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 binary search 2016-05-01? (TO) 1800.11 1800.4

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM13ec733a84b57b5245a7cfe0f2de4f86
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-166774
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 300662
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 300662
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.09/0.10	c * #variable= 40937 #constraint= 41436
0.19/0.26	c * #variable= 40937 #constraint= 41436
3.69/3.78	c S1->S2
3.69/3.78	c #Conflicts:       1000 | #Learnt:        998 | 0.499
3.69/3.78	c total clause space: 18.2382MB
3.69/3.78	c total #watches: 236221
6.79/6.85	c total #propagations: 1345113 / total #impl: 2495647 (eff. 0.539)
6.79/6.85	c #Conflicts:       2000 | #Learnt:       1998 | 0.348
6.79/6.85	c total clause space: 29.637MB
6.79/6.85	c total #watches: 303789
14.98/15.04	c total #propagations: 2565959 / total #impl: 4880968 (eff. 0.526)
14.98/15.04	c #Conflicts:       3000 | #Learnt:       2003 | 0.232
14.98/15.04	c total clause space: 29.637MB
14.98/15.04	c total #watches: 407963
22.48/22.54	c total #propagations: 4664546 / total #impl: 9008400 (eff. 0.518)
22.48/22.54	c #Conflicts:       4000 | #Learnt:       3003 | 0.174
22.48/22.54	c total clause space: 48.1602MB
22.48/22.54	c total #watches: 579162
29.98/30.01	c total #propagations: 6502295 / total #impl: 12559266 (eff. 0.518)
29.98/30.01	c GC COLLECT
29.98/30.01	c #Conflicts:       5000 | #Learnt:       2359 | 0.139
29.98/30.01	c total clause space: 48.1602MB
29.98/30.01	c total #watches: 561258
35.78/35.87	c total #propagations: 8981491 / total #impl: 16247835 (eff. 0.553)
35.78/35.87	c #Conflicts:       6000 | #Learnt:       3359 | 0.116
35.78/35.87	c total clause space: 48.1602MB
35.78/35.87	c total #watches: 696917
41.28/41.32	c total #propagations: 10816959 / total #impl: 19382169 (eff. 0.558)
41.28/41.32	c #Conflicts:       7000 | #Learnt:       2231 | 0.099
41.28/41.32	c total clause space: 48.1602MB
41.28/41.32	c total #watches: 824356
46.19/46.27	c total #propagations: 12499722 / total #impl: 22770058 (eff. 0.549)
46.19/46.27	c #Conflicts:       8000 | #Learnt:       3231 | 0.087
46.19/46.27	c total clause space: 48.1602MB
46.19/46.27	c total #watches: 898759
54.48/54.53	c total #propagations: 14109049 / total #impl: 26018836 (eff. 0.542)
54.48/54.53	c #Conflicts:       9000 | #Learnt:       4231 | 0.077
54.48/54.53	c total clause space: 78.2603MB
54.48/54.53	c total #watches: 1064730
61.68/61.75	c total #propagations: 16274239 / total #impl: 29316167 (eff. 0.555)
61.68/61.75	c GC COLLECT
61.68/61.75	c #Conflicts:      10000 | #Learnt:       2717 | 0.070
61.68/61.75	c total clause space: 78.2603MB
61.68/61.75	c total #watches: 1080889
71.67/71.71	c total #propagations: 17962432 / total #impl: 32314486 (eff. 0.556)
71.67/71.71	c #Conflicts:      11000 | #Learnt:       3717 | 0.063
71.67/71.71	c total clause space: 78.2603MB
71.67/71.71	c total #watches: 1243366
81.67/81.79	c total #propagations: 20881952 / total #impl: 36897728 (eff. 0.566)
81.67/81.79	c #Conflicts:      12000 | #Learnt:       4717 | 0.058
81.67/81.79	c total clause space: 78.2603MB
81.67/81.79	c total #watches: 1329593
95.48/95.58	c total #propagations: 23634409 / total #impl: 41285687 (eff. 0.572)
95.48/95.58	c #Conflicts:      13000 | #Learnt:       5717 | 0.054
95.48/95.58	c total clause space: 78.2603MB
95.48/95.58	c total #watches: 1487827
105.27/105.31	c total #propagations: 26267581 / total #impl: 44928697 (eff. 0.585)
105.27/105.31	c GC COLLECT
105.27/105.31	c #Conflicts:      14000 | #Learnt:       3852 | 0.050
105.27/105.31	c total clause space: 78.2603MB
105.27/105.31	c total #watches: 1294799
113.77/113.82	c total #propagations: 29349246 / total #impl: 50437730 (eff. 0.582)
113.77/113.82	c #Conflicts:      15000 | #Learnt:       4852 | 0.047
113.77/113.82	c total clause space: 78.2603MB
113.77/113.82	c total #watches: 1386223
121.47/121.51	c total #propagations: 32010316 / total #impl: 54839518 (eff. 0.584)
121.47/121.51	c #Conflicts:      16000 | #Learnt:       5852 | 0.044
121.47/121.51	c total clause space: 78.2603MB
121.47/121.51	c total #watches: 1452360
134.47/134.54	c total #propagations: 34197469 / total #impl: 59522864 (eff. 0.575)
134.47/134.54	c GC COLLECT
134.47/134.54	c #Conflicts:      17000 | #Learnt:       3674 | 0.041
134.47/134.54	c total clause space: 78.2603MB
134.47/134.54	c total #watches: 1151290
151.77/151.88	c total #propagations: 36645317 / total #impl: 66580153 (eff. 0.550)
151.77/151.88	c #Conflicts:      18000 | #Learnt:       4674 | 0.039
151.77/151.88	c total clause space: 78.2603MB
151.77/151.88	c total #watches: 1241558
166.46/166.54	c total #propagations: 40262667 / total #impl: 75952361 (eff. 0.530)
166.46/166.54	c #Conflicts:      19000 | #Learnt:       5674 | 0.037
166.46/166.54	c total clause space: 78.2603MB
166.46/166.54	c total #watches: 1298562
179.46/179.56	c total #propagations: 43851551 / total #impl: 86934339 (eff. 0.504)
179.46/179.56	c #Conflicts:      20000 | #Learnt:       6674 | 0.035
179.46/179.56	c total clause space: 78.2603MB
179.46/179.56	c total #watches: 1435179
191.96/192.05	c total #propagations: 46676971 / total #impl: 92964597 (eff. 0.502)
191.96/192.05	c GC COLLECT
191.96/192.05	c #Conflicts:      21000 | #Learnt:       4183 | 0.034
191.96/192.05	c total clause space: 78.2603MB
191.96/192.05	c total #watches: 1070440
200.06/200.12	c total #propagations: 49681609 / total #impl: 99368802 (eff. 0.500)
200.06/200.12	c #Conflicts:      22000 | #Learnt:       5183 | 0.032
200.06/200.12	c total clause space: 78.2603MB
200.06/200.12	c total #watches: 1235431
207.16/207.28	c total #propagations: 52521235 / total #impl: 105661240 (eff. 0.497)
207.16/207.28	c #Conflicts:      23000 | #Learnt:       6183 | 0.031
207.16/207.28	c total clause space: 78.2603MB
207.16/207.28	c total #watches: 1392648
217.05/217.10	c total #propagations: 55442950 / total #impl: 113726850 (eff. 0.488)
217.05/217.10	c #Conflicts:      24000 | #Learnt:       7183 | 0.029
217.05/217.10	c total clause space: 78.2603MB
217.05/217.10	c total #watches: 1510351
226.66/226.71	c total #propagations: 57980064 / total #impl: 118680536 (eff. 0.489)
226.66/226.71	c GC COLLECT
226.66/226.71	c #Conflicts:      25000 | #Learnt:       4389 | 0.028
226.66/226.71	c total clause space: 78.2603MB
226.66/226.71	c total #watches: 1332728
236.65/236.79	c total #propagations: 60459263 / total #impl: 123286204 (eff. 0.490)
236.65/236.79	c #Conflicts:      26000 | #Learnt:       5389 | 0.027
236.65/236.79	c total clause space: 78.2603MB
236.65/236.79	c total #watches: 1487614
242.95/243.05	c total #propagations: 62909133 / total #impl: 137367018 (eff. 0.458)
242.95/243.05	c #Conflicts:      27000 | #Learnt:       6389 | 0.026
242.95/243.05	c total clause space: 78.2603MB
242.95/243.05	c total #watches: 1534103
251.35/251.40	c total #propagations: 65040499 / total #impl: 143364871 (eff. 0.454)
251.35/251.40	c #Conflicts:      28000 | #Learnt:       7389 | 0.025
251.35/251.40	c total clause space: 78.2603MB
251.35/251.40	c total #watches: 1629772
261.65/261.79	c total #propagations: 67490501 / total #impl: 148013387 (eff. 0.456)
261.65/261.79	c GC COLLECT
261.65/261.79	c #Conflicts:      29000 | #Learnt:       4292 | 0.024
261.65/261.79	c total clause space: 127.173MB
261.65/261.79	c total #watches: 1301287
275.94/276.01	c total #propagations: 70100387 / total #impl: 152195633 (eff. 0.461)
275.94/276.01	c #Conflicts:      30000 | #Learnt:       5292 | 0.023
275.94/276.01	c total clause space: 127.173MB
275.94/276.01	c total #watches: 1480445
286.94/287.10	c total #propagations: 72606527 / total #impl: 157278454 (eff. 0.462)
286.94/287.10	c #Conflicts:      31000 | #Learnt:       6292 | 0.023
286.94/287.10	c total clause space: 127.173MB
286.94/287.10	c total #watches: 1613619
297.54/297.61	c total #propagations: 75282543 / total #impl: 164417436 (eff. 0.458)
297.54/297.61	c #Conflicts:      32000 | #Learnt:       7292 | 0.022
297.54/297.61	c total clause space: 127.173MB
297.54/297.61	c total #watches: 1809498
307.34/307.40	c total #propagations: 78180055 / total #impl: 170244708 (eff. 0.459)
307.34/307.40	c #Conflicts:      33000 | #Learnt:       8292 | 0.021
307.34/307.40	c total clause space: 127.173MB
307.34/307.40	c total #watches: 1982049
318.95/319.03	c total #propagations: 80721838 / total #impl: 174221093 (eff. 0.463)
318.95/319.03	c GC COLLECT
318.95/319.03	c #Conflicts:      34000 | #Learnt:       4895 | 0.021
318.95/319.03	c total clause space: 127.173MB
318.95/319.03	c total #watches: 1469508
328.24/328.35	c total #propagations: 84779275 / total #impl: 179457599 (eff. 0.472)
328.24/328.35	c #Conflicts:      35000 | #Learnt:       5895 | 0.020
328.24/328.35	c total clause space: 127.173MB
328.24/328.35	c total #watches: 1569128
337.54/337.62	c total #propagations: 87908401 / total #impl: 184834166 (eff. 0.476)
337.54/337.62	c #Conflicts:      36000 | #Learnt:       6895 | 0.020
337.54/337.62	c total clause space: 127.173MB
337.54/337.62	c total #watches: 1702716
345.04/345.17	c total #propagations: 90156509 / total #impl: 189260839 (eff. 0.476)
345.04/345.17	c #Conflicts:      37000 | #Learnt:       7895 | 0.019
345.04/345.17	c total clause space: 127.173MB
345.04/345.17	c total #watches: 1801853
352.04/352.11	c total #propagations: 91840076 / total #impl: 193033268 (eff. 0.476)
352.04/352.11	c #Conflicts:      38000 | #Learnt:       8895 | 0.019
352.04/352.11	c total clause space: 127.173MB
352.04/352.11	c total #watches: 1826690
359.54/359.64	c total #propagations: 93402400 / total #impl: 197312863 (eff. 0.473)
359.54/359.64	c GC COLLECT
359.54/359.64	c #Conflicts:      39000 | #Learnt:       5192 | 0.018
359.54/359.64	c total clause space: 127.173MB
359.54/359.64	c total #watches: 1278677
364.73/364.83	c total #propagations: 95658382 / total #impl: 202164554 (eff. 0.473)
364.73/364.83	c #Conflicts:      40000 | #Learnt:       6192 | 0.018
364.73/364.83	c total clause space: 127.173MB
364.73/364.83	c total #watches: 1315188
372.94/373.06	c total #propagations: 98032311 / total #impl: 206560085 (eff. 0.475)
372.94/373.06	c #Conflicts:      41000 | #Learnt:       7192 | 0.017
372.94/373.06	c total clause space: 127.173MB
372.94/373.06	c total #watches: 1339548
378.53/378.69	c total #propagations: 101270306 / total #impl: 212077732 (eff. 0.478)
378.53/378.69	c #Conflicts:      42000 | #Learnt:       8192 | 0.017
378.53/378.69	c total clause space: 127.173MB
378.53/378.69	c total #watches: 1395489
385.43/385.52	c total #propagations: 103427128 / total #impl: 215951375 (eff. 0.479)
385.43/385.52	c #Conflicts:      43000 | #Learnt:       9192 | 0.016
385.43/385.52	c total clause space: 127.173MB
385.43/385.52	c total #watches: 1446487
390.43/390.54	c total #propagations: 105811842 / total #impl: 220731507 (eff. 0.479)
390.43/390.54	c GC COLLECT
390.43/390.54	c #Conflicts:      44000 | #Learnt:       5194 | 0.016
390.43/390.54	c total clause space: 127.173MB
390.43/390.54	c total #watches: 747318
395.93/396.09	c total #propagations: 108356218 / total #impl: 226292788 (eff. 0.479)
395.93/396.09	c #Conflicts:      45000 | #Learnt:       6194 | 0.016
395.93/396.09	c total clause space: 127.173MB
395.93/396.09	c total #watches: 841976
406.93/407.03	c total #propagations: 111131397 / total #impl: 232880971 (eff. 0.477)
406.93/407.03	c #Conflicts:      46000 | #Learnt:       7194 | 0.015
406.93/407.03	c total clause space: 127.173MB
406.93/407.03	c total #watches: 934574
417.73/417.88	c total #propagations: 114248371 / total #impl: 238184527 (eff. 0.480)
417.73/417.88	c #Conflicts:      47000 | #Learnt:       8194 | 0.015
417.73/417.88	c total clause space: 127.173MB
417.73/417.88	c total #watches: 1038047
425.23/425.38	c total #propagations: 116296878 / total #impl: 244752013 (eff. 0.475)
425.23/425.38	c #Conflicts:      48000 | #Learnt:       9194 | 0.015
425.23/425.38	c total clause space: 127.173MB
425.23/425.38	c total #watches: 1204136
433.52/433.69	c total #propagations: 117910034 / total #impl: 252744512 (eff. 0.467)
433.52/433.69	c #Conflicts:      49000 | #Learnt:      10194 | 0.014
433.52/433.69	c total clause space: 127.173MB
433.52/433.69	c total #watches: 1390751
440.03/440.16	c total #propagations: 121390256 / total #impl: 259683530 (eff. 0.467)
440.03/440.16	c GC COLLECT
440.03/440.16	c #Conflicts:      50000 | #Learnt:       5889 | 0.014
440.03/440.16	c total clause space: 127.173MB
440.03/440.16	c total #watches: 1130727
447.12/447.26	c total #propagations: 123378086 / total #impl: 263069420 (eff. 0.469)
447.12/447.26	c #Conflicts:      51000 | #Learnt:       6889 | 0.014
447.12/447.26	c total clause space: 127.173MB
447.12/447.26	c total #watches: 1323177
458.42/458.55	c total #propagations: 125389428 / total #impl: 266476524 (eff. 0.471)
458.42/458.55	c #Conflicts:      52000 | #Learnt:       7889 | 0.014
458.42/458.55	c total clause space: 127.173MB
458.42/458.55	c total #watches: 1447077
469.42/469.56	c total #propagations: 128710683 / total #impl: 272986473 (eff. 0.471)
469.42/469.56	c #Conflicts:      53000 | #Learnt:       8889 | 0.013
469.42/469.56	c total clause space: 127.173MB
469.42/469.56	c total #watches: 1623193
480.62/480.77	c total #propagations: 132074627 / total #impl: 278037763 (eff. 0.475)
480.62/480.77	c #Conflicts:      54000 | #Learnt:       9889 | 0.013
480.62/480.77	c total clause space: 127.173MB
480.62/480.77	c total #watches: 1861076
488.72/488.87	c total #propagations: 134852999 / total #impl: 283333407 (eff. 0.476)
488.72/488.87	c #Conflicts:      55000 | #Learnt:      10889 | 0.013
488.72/488.87	c total clause space: 127.173MB
488.72/488.87	c total #watches: 1974525
499.21/499.31	c total #propagations: 136912678 / total #impl: 286497090 (eff. 0.478)
499.21/499.31	c GC COLLECT
499.21/499.31	c #Conflicts:      56000 | #Learnt:       6288 | 0.013
499.21/499.31	c total clause space: 127.173MB
499.21/499.31	c total #watches: 1870043
508.61/508.79	c total #propagations: 139159250 / total #impl: 291667673 (eff. 0.477)
508.61/508.79	c #Conflicts:      57000 | #Learnt:       7288 | 0.013
508.61/508.79	c total clause space: 127.173MB
508.61/508.79	c total #watches: 2043222
520.11/520.26	c total #propagations: 141337596 / total #impl: 296408118 (eff. 0.477)
520.11/520.26	c #Conflicts:      58000 | #Learnt:       8288 | 0.012
520.11/520.26	c total clause space: 127.173MB
520.11/520.26	c total #watches: 2163051
531.81/531.99	c total #propagations: 143890825 / total #impl: 301653063 (eff. 0.477)
531.81/531.99	c #Conflicts:      59000 | #Learnt:       9288 | 0.012
531.81/531.99	c total clause space: 127.173MB
531.81/531.99	c total #watches: 2293850
549.40/549.58	c total #propagations: 147315680 / total #impl: 307344258 (eff. 0.479)
549.40/549.58	c #Conflicts:      60000 | #Learnt:      10288 | 0.012
549.40/549.58	c total clause space: 127.173MB
549.40/549.58	c total #watches: 2369246
560.40/560.51	c total #propagations: 153928297 / total #impl: 327632775 (eff. 0.470)
560.40/560.51	c #Conflicts:      61000 | #Learnt:      11287 | 0.012
560.40/560.51	c total clause space: 127.173MB
560.40/560.51	c total #watches: 2420557
573.60/573.73	c total #propagations: 158252269 / total #impl: 335692123 (eff. 0.471)
573.60/573.73	c GC COLLECT
573.60/573.73	c #Conflicts:      62000 | #Learnt:       6382 | 0.012
573.60/573.73	c total clause space: 127.173MB
573.60/573.73	c total #watches: 1762193
582.59/582.71	c total #propagations: 161777100 / total #impl: 342832585 (eff. 0.472)
582.59/582.71	c #Conflicts:      63000 | #Learnt:       7382 | 0.011
582.59/582.71	c total clause space: 127.173MB
582.59/582.71	c total #watches: 1848685
588.79/588.92	c total #propagations: 164620551 / total #impl: 349971102 (eff. 0.470)
588.79/588.92	c #Conflicts:      64000 | #Learnt:       8382 | 0.011
588.79/588.92	c total clause space: 127.173MB
588.79/588.92	c total #watches: 1882240
597.30/597.49	c total #propagations: 167284173 / total #impl: 356379589 (eff. 0.469)
597.30/597.49	c #Conflicts:      65000 | #Learnt:       9382 | 0.011
597.30/597.49	c total clause space: 127.173MB
597.30/597.49	c total #watches: 1941940
607.69/607.87	c total #propagations: 170614256 / total #impl: 361767515 (eff. 0.472)
607.69/607.87	c #Conflicts:      66000 | #Learnt:      10382 | 0.011
607.69/607.87	c total clause space: 127.173MB
607.69/607.87	c total #watches: 2126135
617.89/618.04	c total #propagations: 174301461 / total #impl: 367916383 (eff. 0.474)
617.89/618.04	c #Conflicts:      67000 | #Learnt:      11382 | 0.011
617.89/618.04	c total clause space: 127.173MB
617.89/618.04	c total #watches: 2245424
625.69/625.81	c total #propagations: 177007172 / total #impl: 372498585 (eff. 0.475)
625.69/625.81	c #Conflicts:      68000 | #Learnt:      12382 | 0.011
625.69/625.81	c total clause space: 127.173MB
625.69/625.81	c total #watches: 2332760
632.69/632.86	c total #propagations: 178488860 / total #impl: 374847547 (eff. 0.476)
632.69/632.86	c GC COLLECT
632.69/632.86	c #Conflicts:      69000 | #Learnt:       7176 | 0.010
632.69/632.86	c total clause space: 127.173MB
632.69/632.86	c total #watches: 1305559
641.58/641.79	c total #propagations: 181172312 / total #impl: 379325177 (eff. 0.478)
641.58/641.79	c #Conflicts:      70000 | #Learnt:       8176 | 0.010
641.58/641.79	c total clause space: 127.173MB
641.58/641.79	c total #watches: 1473033
647.89/648.03	c total #propagations: 183978332 / total #impl: 383773058 (eff. 0.479)
647.89/648.03	c #Conflicts:      71000 | #Learnt:       9176 | 0.010
647.89/648.03	c total clause space: 127.173MB
647.89/648.03	c total #watches: 1670660
657.98/658.19	c total #propagations: 186116728 / total #impl: 387752160 (eff. 0.480)
657.98/658.19	c #Conflicts:      72000 | #Learnt:      10176 | 0.010
657.98/658.19	c total clause space: 127.173MB
657.98/658.19	c total #watches: 1758577
669.68/669.87	c total #propagations: 190625419 / total #impl: 396249753 (eff. 0.481)
669.68/669.87	c #Conflicts:      73000 | #Learnt:      11175 | 0.010
669.68/669.87	c total clause space: 127.173MB
669.68/669.87	c total #watches: 1840143
681.88/682.08	c total #propagations: 195057364 / total #impl: 405742925 (eff. 0.481)
681.88/682.08	c #Conflicts:      74000 | #Learnt:      12175 | 0.010
681.88/682.08	c total clause space: 127.173MB
681.88/682.08	c total #watches: 1908885
692.38/692.53	c total #propagations: 196978197 / total #impl: 409211768 (eff. 0.481)
692.38/692.53	c GC COLLECT
692.38/692.53	c #Conflicts:      75000 | #Learnt:       6673 | 0.010
692.38/692.53	c total clause space: 127.173MB
692.38/692.53	c total #watches: 1520041
701.48/701.64	c total #propagations: 198962838 / total #impl: 412280973 (eff. 0.483)
701.48/701.64	c #Conflicts:      76000 | #Learnt:       7673 | 0.010
701.48/701.64	c total clause space: 127.173MB
701.48/701.64	c total #watches: 1618942
712.47/712.66	c total #propagations: 201451535 / total #impl: 416061621 (eff. 0.484)
712.47/712.66	c #Conflicts:      77000 | #Learnt:       8673 | 0.009
712.47/712.66	c total clause space: 127.173MB
712.47/712.66	c total #watches: 1713824
721.27/721.47	c total #propagations: 203993192 / total #impl: 419976798 (eff. 0.486)
721.27/721.47	c #Conflicts:      78000 | #Learnt:       9673 | 0.009
721.27/721.47	c total clause space: 127.173MB
721.27/721.47	c total #watches: 1809031
732.77/732.96	c total #propagations: 206101486 / total #impl: 423469809 (eff. 0.487)
732.77/732.96	c #Conflicts:      79000 | #Learnt:      10673 | 0.009
732.77/732.96	c total clause space: 127.173MB
732.77/732.96	c total #watches: 1919180
743.37/743.52	c total #propagations: 209328160 / total #impl: 429594254 (eff. 0.487)
743.37/743.52	c #Conflicts:      80000 | #Learnt:      11673 | 0.009
743.37/743.52	c total clause space: 127.173MB
743.37/743.52	c total #watches: 2062708
753.87/754.00	c total #propagations: 211568635 / total #impl: 433737280 (eff. 0.488)
753.87/754.00	c #Conflicts:      81000 | #Learnt:      12673 | 0.009
753.87/754.00	c total clause space: 127.173MB
753.87/754.00	c total #watches: 2140864
764.66/764.84	c total #propagations: 213728491 / total #impl: 437728353 (eff. 0.488)
764.66/764.84	c GC COLLECT
764.66/764.84	c #Conflicts:      82000 | #Learnt:       6874 | 0.009
764.66/764.84	c total clause space: 127.173MB
764.66/764.84	c total #watches: 1349154
771.07/771.21	c total #propagations: 216187277 / total #impl: 441801394 (eff. 0.489)
771.07/771.21	c #Conflicts:      83000 | #Learnt:       7874 | 0.009
771.07/771.21	c total clause space: 127.173MB
771.07/771.21	c total #watches: 1414109
777.57/777.76	c total #propagations: 218669126 / total #impl: 445987163 (eff. 0.490)
777.57/777.76	c #Conflicts:      84000 | #Learnt:       8874 | 0.009
777.57/777.76	c total clause space: 127.173MB
777.57/777.76	c total #watches: 1451697
785.96/786.19	c total #propagations: 221410093 / total #impl: 450573470 (eff. 0.491)
785.96/786.19	c #Conflicts:      85000 | #Learnt:       9874 | 0.008
785.96/786.19	c total clause space: 127.173MB
785.96/786.19	c total #watches: 1507082
792.56/792.73	c total #propagations: 224472052 / total #impl: 454997621 (eff. 0.493)
792.56/792.73	c #Conflicts:      86000 | #Learnt:      10874 | 0.008
792.56/792.73	c total clause space: 127.173MB
792.56/792.73	c total #watches: 1549199
801.26/801.47	c total #propagations: 226765169 / total #impl: 458741268 (eff. 0.494)
801.26/801.47	c #Conflicts:      87000 | #Learnt:      11874 | 0.008
801.26/801.47	c total clause space: 127.173MB
801.26/801.47	c total #watches: 1617186
810.26/810.45	c total #propagations: 229612830 / total #impl: 463227588 (eff. 0.496)
810.26/810.45	c #Conflicts:      88000 | #Learnt:      12874 | 0.008
810.26/810.45	c total clause space: 127.173MB
810.26/810.45	c total #watches: 1673577
817.76/817.91	c total #propagations: 232579311 / total #impl: 468171211 (eff. 0.497)
817.76/817.91	c #Conflicts:      89000 | #Learnt:      13874 | 0.008
817.76/817.91	c total clause space: 127.173MB
817.76/817.91	c total #watches: 1712235
823.76/824.00	c total #propagations: 235191953 / total #impl: 473260145 (eff. 0.497)
823.76/824.00	c GC COLLECT
823.76/824.00	c #Conflicts:      90000 | #Learnt:       7772 | 0.008
823.76/824.00	c total clause space: 127.173MB
823.76/824.00	c total #watches: 1045895
832.56/832.71	c total #propagations: 237913880 / total #impl: 478130926 (eff. 0.498)
832.56/832.71	c #Conflicts:      91000 | #Learnt:       8772 | 0.008
832.56/832.71	c total clause space: 127.173MB
832.56/832.71	c total #watches: 1165577
839.55/839.71	c total #propagations: 240301408 / total #impl: 483410372 (eff. 0.497)
839.55/839.71	c #Conflicts:      92000 | #Learnt:       9772 | 0.008
839.55/839.71	c total clause space: 127.173MB
839.55/839.71	c total #watches: 1282423
846.05/846.28	c total #propagations: 242752211 / total #impl: 489882861 (eff. 0.496)
846.05/846.28	c #Conflicts:      93000 | #Learnt:      10772 | 0.008
846.05/846.28	c total clause space: 127.173MB
846.05/846.28	c total #watches: 1414524
852.65/852.86	c total #propagations: 244745718 / total #impl: 494368493 (eff. 0.495)
852.65/852.86	c #Conflicts:      94000 | #Learnt:      11772 | 0.008
852.65/852.86	c total clause space: 127.173MB
852.65/852.86	c total #watches: 1508547
856.95/857.15	c total #propagations: 246687423 / total #impl: 498203323 (eff. 0.495)
856.95/857.15	c #Conflicts:      95000 | #Learnt:      12772 | 0.008
856.95/857.15	c total clause space: 127.173MB
856.95/857.15	c total #watches: 1577565
862.05/862.25	c total #propagations: 248229029 / total #impl: 501550410 (eff. 0.495)
862.05/862.25	c #Conflicts:      96000 | #Learnt:      13772 | 0.008
862.05/862.25	c total clause space: 127.173MB
862.05/862.25	c total #watches: 1630048
866.65/866.82	c total #propagations: 249838488 / total #impl: 505305160 (eff. 0.494)
866.65/866.82	c #Conflicts:      97000 | #Learnt:      14772 | 0.008
866.65/866.82	c total clause space: 127.173MB
866.65/866.82	c total #watches: 1655867
874.35/874.51	c total #propagations: 251444108 / total #impl: 509656561 (eff. 0.493)
874.35/874.51	c GC COLLECT
874.35/874.51	c #Conflicts:      98000 | #Learnt:       8369 | 0.008
874.35/874.51	c total clause space: 127.173MB
874.35/874.51	c total #watches: 1280869
878.55/878.75	c total #propagations: 253449772 / total #impl: 515800691 (eff. 0.491)
878.55/878.75	c S2->S1
878.55/878.75	c #Conflicts:      99000 | #Learnt:        660 | 0.009
878.55/878.75	c total clause space: 127.173MB
878.55/878.75	c total #watches: 1323993
881.95/882.17	c total #propagations: 256819109 / total #impl: 524455354 (eff. 0.490)
881.95/882.17	c #Conflicts:     100000 | #Learnt:       1660 | 0.009
881.95/882.17	c total clause space: 127.173MB
881.95/882.17	c total #watches: 1423922
884.85/885.05	c total #propagations: 263732331 / total #impl: 550365938 (eff. 0.479)
884.85/885.05	c S1->S2
884.85/885.05	c #Conflicts:     101000 | #Learnt:       2659 | 0.011
884.85/885.05	c total clause space: 127.173MB
884.85/885.05	c total #watches: 1422954
887.05/887.23	c total #propagations: 265333837 / total #impl: 559712543 (eff. 0.474)
887.05/887.23	c #Conflicts:     102000 | #Learnt:       3659 | 0.013
887.05/887.23	c total clause space: 127.173MB
887.05/887.23	c total #watches: 1455588
890.45/890.62	c total #propagations: 265525954 / total #impl: 563253002 (eff. 0.471)
890.45/890.62	c #Conflicts:     103000 | #Learnt:       4659 | 0.016
890.45/890.62	c total clause space: 127.173MB
890.45/890.62	c total #watches: 1505503
895.15/895.31	c total #propagations: 265827047 / total #impl: 567315875 (eff. 0.469)
895.15/895.31	c #Conflicts:     104000 | #Learnt:       5659 | 0.020
895.15/895.31	c total clause space: 127.173MB
895.15/895.31	c total #watches: 1646658
916.25/916.45	c total #propagations: 267323183 / total #impl: 572507016 (eff. 0.467)
916.25/916.45	c #Conflicts:     105000 | #Learnt:       6659 | 0.020
916.25/916.45	c total clause space: 127.173MB
916.25/916.45	c total #watches: 1807287
933.44/933.63	c total #propagations: 273792896 / total #impl: 593913766 (eff. 0.461)
933.44/933.63	c GC COLLECT
933.44/933.63	c #Conflicts:     106000 | #Learnt:       4321 | 0.020
933.44/933.63	c total clause space: 206.656MB
933.44/933.63	c total #watches: 894079
952.94/953.17	c total #propagations: 278759469 / total #impl: 618707510 (eff. 0.451)
952.94/953.17	c #Conflicts:     107000 | #Learnt:       5319 | 0.021
952.94/953.17	c total clause space: 206.656MB
952.94/953.17	c total #watches: 1120163
983.73/983.99	c total #propagations: 282089056 / total #impl: 704464384 (eff. 0.400)
983.73/983.99	c #Conflicts:     108000 | #Learnt:       6319 | 0.021
983.73/983.99	c total clause space: 206.656MB
983.73/983.99	c total #watches: 1241391
1000.74/1000.99	c total #propagations: 286394881 / total #impl: 791078136 (eff. 0.362)
1000.74/1000.99	c #Conflicts:     109000 | #Learnt:       7319 | 0.022
1000.74/1000.99	c total clause space: 206.656MB
1000.74/1001.00	c total #watches: 1387974
1030.43/1030.66	c total #propagations: 290714675 / total #impl: 803872391 (eff. 0.362)
1030.43/1030.66	c #Conflicts:     110000 | #Learnt:       8319 | 0.022
1030.43/1030.66	c total clause space: 206.656MB
1030.43/1030.66	c total #watches: 1574902
1059.03/1059.25	c total #propagations: 297961314 / total #impl: 831617840 (eff. 0.358)
1059.03/1059.25	c #Conflicts:     111000 | #Learnt:       9319 | 0.022
1059.03/1059.25	c total clause space: 206.656MB
1059.03/1059.25	c total #watches: 1757967
1067.72/1067.92	c total #propagations: 303604789 / total #impl: 852183518 (eff. 0.356)
1067.72/1067.92	c #Conflicts:     112000 | #Learnt:      10318 | 0.024
1067.72/1067.92	c total clause space: 206.656MB
1067.72/1067.92	c total #watches: 1847540
1092.62/1092.81	c total #propagations: 305228923 / total #impl: 857172585 (eff. 0.356)
1092.62/1092.81	c #Conflicts:     113000 | #Learnt:      11318 | 0.027
1092.62/1092.81	c total clause space: 206.656MB
1092.62/1092.81	c total #watches: 1920023
1129.52/1129.73	c total #propagations: 310293089 / total #impl: 869128547 (eff. 0.357)
1129.52/1129.73	c GC COLLECT
1129.52/1129.73	c #Conflicts:     114000 | #Learnt:       6572 | 0.027
1129.52/1129.73	c total clause space: 206.656MB
1129.52/1129.73	c total #watches: 1321487
1153.82/1154.09	c total #propagations: 319949230 / total #impl: 894082284 (eff. 0.358)
1153.82/1154.09	c #Conflicts:     115000 | #Learnt:       7572 | 0.026
1153.82/1154.09	c total clause space: 206.656MB
1153.82/1154.09	c total #watches: 1443527
1178.80/1179.01	c total #propagations: 327113262 / total #impl: 912408782 (eff. 0.359)
1178.80/1179.01	c #Conflicts:     116000 | #Learnt:       8572 | 0.026
1178.80/1179.01	c total clause space: 206.656MB
1178.80/1179.01	c total #watches: 1556643
1207.20/1207.48	c total #propagations: 332967762 / total #impl: 929836514 (eff. 0.358)
1207.20/1207.48	c #Conflicts:     117000 | #Learnt:       9572 | 0.026
1207.20/1207.48	c total clause space: 206.656MB
1207.20/1207.48	c total #watches: 1686554
1230.49/1230.79	c total #propagations: 338314202 / total #impl: 955690321 (eff. 0.354)
1230.49/1230.79	c #Conflicts:     118000 | #Learnt:      10572 | 0.026
1230.49/1230.79	c total clause space: 206.656MB
1230.49/1230.79	c total #watches: 1784509
1254.59/1254.84	c total #propagations: 342392487 / total #impl: 976857192 (eff. 0.351)
1254.59/1254.84	c #Conflicts:     119000 | #Learnt:      11572 | 0.025
1254.59/1254.84	c total clause space: 206.656MB
1254.59/1254.84	c total #watches: 1895118
1280.99/1281.28	c total #propagations: 346057573 / total #impl: 1006544435 (eff. 0.344)
1280.99/1281.28	c #Conflicts:     120000 | #Learnt:      12572 | 0.025
1280.99/1281.28	c total clause space: 206.656MB
1280.99/1281.28	c total #watches: 2092970
1311.28/1311.54	c total #propagations: 349902483 / total #impl: 1034299163 (eff. 0.338)
1311.28/1311.54	c #Conflicts:     121000 | #Learnt:      13571 | 0.025
1311.28/1311.54	c total clause space: 206.656MB
1311.28/1311.54	c total #watches: 2189447
1329.78/1330.04	c total #propagations: 353454519 / total #impl: 1059287503 (eff. 0.334)
1329.78/1330.04	c GC COLLECT
1329.78/1330.04	c #Conflicts:     122000 | #Learnt:       7346 | 0.025
1329.78/1330.04	c total clause space: 206.656MB
1329.78/1330.04	c total #watches: 1200364
1340.88/1341.13	c total #propagations: 355123293 / total #impl: 1068941630 (eff. 0.332)
1340.88/1341.13	c #Conflicts:     123000 | #Learnt:       8346 | 0.025
1340.88/1341.13	c total clause space: 206.656MB
1340.88/1341.13	c total #watches: 1348078
1371.48/1371.77	c total #propagations: 357361826 / total #impl: 1088162977 (eff. 0.328)
1371.48/1371.77	c #Conflicts:     124000 | #Learnt:       9346 | 0.024
1371.48/1371.77	c total clause space: 206.656MB
1371.48/1371.77	c total #watches: 1460711
1382.97/1383.27	c total #propagations: 359941554 / total #impl: 1115932334 (eff. 0.323)
1382.97/1383.27	c #Conflicts:     125000 | #Learnt:      10346 | 0.024
1382.97/1383.27	c total clause space: 206.656MB
1382.97/1383.27	c total #watches: 1602576
1397.78/1398.09	c total #propagations: 360856281 / total #impl: 1134242803 (eff. 0.318)
1397.78/1398.09	c #Conflicts:     126000 | #Learnt:      11345 | 0.024
1397.78/1398.09	c total clause space: 206.656MB
1397.78/1398.09	c total #watches: 1776170
1428.37/1428.69	c total #propagations: 361686600 / total #impl: 1159250518 (eff. 0.312)
1428.37/1428.69	c #Conflicts:     127000 | #Learnt:      12345 | 0.024
1428.37/1428.69	c total clause space: 206.656MB
1428.37/1428.69	c total #watches: 1909592
1449.17/1449.47	c total #propagations: 364044727 / total #impl: 1178084213 (eff. 0.309)
1449.17/1449.47	c #Conflicts:     128000 | #Learnt:      13344 | 0.024
1449.17/1449.47	c total clause space: 206.656MB
1449.17/1449.47	c total #watches: 2069530
1480.56/1480.89	c total #propagations: 365788954 / total #impl: 1196861419 (eff. 0.306)
1480.56/1480.89	c #Conflicts:     129000 | #Learnt:      14343 | 0.023
1480.56/1480.89	c total clause space: 206.656MB
1480.56/1480.89	c total #watches: 2199491
1494.76/1495.09	c total #propagations: 366782884 / total #impl: 1219861289 (eff. 0.301)
1494.76/1495.09	c #Conflicts:     130000 | #Learnt:      15343 | 0.023
1494.76/1495.09	c total clause space: 335.816MB
1494.76/1495.09	c total #watches: 2305716
1530.75/1531.02	c total #propagations: 367126198 / total #impl: 1250636541 (eff. 0.294)
1530.75/1531.02	c GC COLLECT
1530.75/1531.02	c #Conflicts:     131000 | #Learnt:       8251 | 0.023
1530.75/1531.02	c total clause space: 335.816MB
1530.75/1531.02	c total #watches: 1616331
1559.04/1559.30	c total #propagations: 368200530 / total #impl: 1289567885 (eff. 0.286)
1559.04/1559.30	c #Conflicts:     132000 | #Learnt:       9251 | 0.024
1559.04/1559.30	c total clause space: 335.816MB
1559.04/1559.30	c total #watches: 1766939
1614.64/1614.91	c total #propagations: 369359267 / total #impl: 1320809951 (eff. 0.280)
1614.64/1614.91	c #Conflicts:     133000 | #Learnt:      10251 | 0.024
1614.64/1614.91	c total clause space: 335.816MB
1614.64/1614.91	c total #watches: 1884261
1639.83/1640.18	c total #propagations: 371575962 / total #impl: 1365178408 (eff. 0.272)
1639.83/1640.18	c #Conflicts:     134000 | #Learnt:      11250 | 0.024
1639.83/1640.18	c total clause space: 335.816MB
1639.83/1640.18	c total #watches: 1995827
1670.13/1670.43	c total #propagations: 372596443 / total #impl: 1388473398 (eff. 0.268)
1670.13/1670.43	c #Conflicts:     135000 | #Learnt:      12250 | 0.024
1670.13/1670.43	c total clause space: 335.816MB
1670.13/1670.43	c total #watches: 2107792
1765.70/1766.01	c total #propagations: 376480308 / total #impl: 1410656881 (eff. 0.267)
1765.70/1766.01	c #Conflicts:     136000 | #Learnt:      13250 | 0.024
1765.70/1766.01	c total clause space: 335.816MB
1765.70/1766.01	c total #watches: 2171434

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-4087880-1465442695/watcher-4087880-1465442695 -o /tmp/evaluation-result-4087880-1465442695/solver-4087880-1465442695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465436019-31609 --watchdog 1960 --input HOME/instance-4087880-1465442695.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=623
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.23 2.23 2.19 3/176 626
/proc/meminfo: memFree=28892816/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 126202840 57319424 4721 33554432000 4194304 6211289 140733894058352 140736946505160 4206761 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 13994 4721 98 493 0 13491 0

[startup+0.100163 s]
/proc/loadavg: 2.23 2.23 2.19 3/176 626
/proc/meminfo: memFree=28892816/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=58380 CPUtime=0.09 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 1440 0 0 0 9 0 0 0 20 0 1 0 126202840 59781120 11507 33554432000 4194304 6211289 140733894058352 140736946505160 5252524 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 14595 11508 121 493 0 14092 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58380

[startup+0.200328 s]
/proc/loadavg: 2.23 2.23 2.19 3/176 626
/proc/meminfo: memFree=28892816/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=71528 CPUtime=0.19 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 3691 0 0 0 18 1 0 0 20 0 1 0 126202840 73244672 15225 33554432000 4194304 6211289 140733894058352 140736946505160 4235110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 17882 15226 144 493 0 17379 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71528

[startup+0.300325 s]
/proc/loadavg: 2.23 2.23 2.19 3/176 626
/proc/meminfo: memFree=28892816/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=81872 CPUtime=0.29 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 5285 0 0 0 28 1 0 0 20 0 1 0 126202840 83836928 17743 33554432000 4194304 6211289 140733894058352 140733894055848 4270332 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 20468 17743 144 493 0 19965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81872

[startup+0.700269 s]
/proc/loadavg: 2.23 2.23 2.19 3/176 626
/proc/meminfo: memFree=28892816/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=98552 CPUtime=0.68 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 7226 0 0 0 67 1 0 0 20 0 1 0 126202840 100917248 21121 33554432000 4194304 6211289 140733894058352 140733894055848 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 24638 21121 204 493 0 24135 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 98552

[startup+1.50023 s]
/proc/loadavg: 2.23 2.23 2.19 3/177 627
/proc/meminfo: memFree=28806532/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=98552 CPUtime=1.48 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 7227 0 0 0 147 1 0 0 20 0 1 0 126202840 100917248 21633 33554432000 4194304 6211289 140733894058352 140733894056344 4202026 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 24638 21633 204 493 0 24135 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 98552

[startup+3.10014 s]
/proc/loadavg: 2.23 2.23 2.19 4/177 627
/proc/meminfo: memFree=28806168/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=98552 CPUtime=3.08 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 7227 0 0 0 307 1 0 0 20 0 1 0 126202840 100917248 21633 33554432000 4194304 6211289 140733894058352 140733894056344 4202005 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 24638 21633 204 493 0 24135 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 98552

[startup+6.30023 s]
/proc/loadavg: 2.21 2.22 2.19 3/177 627
/proc/meminfo: memFree=28799852/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=111180 CPUtime=6.29 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 7949 0 0 0 627 2 0 0 20 0 1 0 126202840 113848320 23211 33554432000 4194304 6211289 140733894058352 140733894056264 4240544 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 27795 23211 214 493 0 27292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111180

[startup+12.7002 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 627
/proc/meminfo: memFree=28794160/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=112160 CPUtime=12.69 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 8217 0 0 0 1267 2 0 0 20 0 1 0 126202840 114851840 24501 33554432000 4194304 6211289 140733894058352 140733894056392 4241789 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 28040 24501 219 493 0 27537 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112160

[startup+25.5003 s]
/proc/loadavg: 2.23 2.23 2.19 3/177 627
/proc/meminfo: memFree=28781016/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=133968 CPUtime=25.48 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 10044 0 0 0 2546 2 0 0 20 0 1 0 126202840 137183232 27800 33554432000 4194304 6211289 140733894058352 140733894056696 4201839 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 33492 27800 219 493 0 32989 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 133968

[startup+51.1002 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 627
/proc/meminfo: memFree=28761716/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=139544 CPUtime=51.08 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 11614 0 0 0 5105 3 0 0 20 0 1 0 126202840 142893056 32426 33554432000 4194304 6211289 140733894058352 140733894056264 4241730 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 34886 32426 219 493 0 34383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139544

[startup+102.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 628
/proc/meminfo: memFree=28701416/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=179444 CPUtime=102.28 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 15001 0 0 0 10224 4 0 0 20 0 1 0 126202840 183750656 38956 33554432000 4194304 6211289 140733894058352 140733894056696 4201983 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 44861 38956 219 493 0 44358 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 179444

[startup+162.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 629
/proc/meminfo: memFree=28694888/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=180292 CPUtime=162.26 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 15233 0 0 0 16222 4 0 0 20 0 1 0 126202840 184619008 40210 33554432000 4194304 6211289 140733894058352 140733894056696 4215288 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 45073 40210 219 493 0 44570 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 180292

[startup+222.307 s]
/proc/loadavg: 2.38 2.27 2.20 4/177 631
/proc/meminfo: memFree=28689952/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=180944 CPUtime=222.26 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 15371 0 0 0 22222 4 0 0 20 0 1 0 126202840 185286656 41370 33554432000 4194304 6211289 140733894058352 140733894056264 4241131 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 45236 41370 219 493 0 44733 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 180944

[startup+282.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/177 632
/proc/meminfo: memFree=28681608/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=231652 CPUtime=282.24 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 16126 0 0 0 28220 4 0 0 20 0 1 0 126202840 237211648 43326 33554432000 4194304 6211289 140733894058352 140733894056696 4202003 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 57913 43326 219 493 0 57410 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 231652

[startup+342.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/178 636
/proc/meminfo: memFree=28669928/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=231976 CPUtime=342.24 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 16400 0 0 0 34219 5 0 0 20 0 1 0 126202840 237543424 46109 33554432000 4194304 6211289 140733894058352 140733894056696 4241789 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 57994 46109 219 493 0 57491 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 231976

[startup+402.3 s]
/proc/loadavg: 2.31 2.26 2.19 4/177 637
/proc/meminfo: memFree=28666640/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=232272 CPUtime=402.23 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 16573 0 0 0 40218 5 0 0 20 0 1 0 126202840 237846528 46282 33554432000 4194304 6211289 140733894058352 140733894056696 4202031 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 58068 46282 219 493 0 57565 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 232272

[startup+462.3 s]
/proc/loadavg: 2.38 2.28 2.20 3/177 638
/proc/meminfo: memFree=28665772/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=232560 CPUtime=462.22 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 16644 0 0 0 46217 5 0 0 20 0 1 0 126202840 238141440 46353 33554432000 4194304 6211289 140733894058352 140733894056696 4240856 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 58140 46353 219 493 0 57637 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 232560

[startup+522.3 s]
/proc/loadavg: 2.33 2.29 2.20 3/176 639
/proc/meminfo: memFree=28653232/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=233044 CPUtime=522.21 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 16755 0 0 0 52216 5 0 0 20 0 1 0 126202840 238637056 47997 33554432000 4194304 6211289 140733894058352 140733894056696 4202003 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 58261 47997 219 493 0 57758 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 233044

[startup+582.3 s]
/proc/loadavg: 2.29 2.28 2.20 4/177 641
/proc/meminfo: memFree=28635872/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=233956 CPUtime=582.19 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 17048 0 0 0 58214 5 0 0 20 0 1 0 126202840 239570944 51933 33554432000 4194304 6211289 140733894058352 140733894056696 4241730 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 58489 51933 219 493 0 57986 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 233956


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


[startup+882.307 s]
/proc/loadavg: 2.20 2.29 2.23 4/177 647
/proc/meminfo: memFree=28632000/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=236640 CPUtime=882.15 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 17708 0 0 0 88210 5 0 0 20 0 1 0 126202840 242319360 52591 33554432000 4194304 6211289 140733894058352 140733894056696 4202048 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 59160 52591 219 493 0 58657 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 236640

[startup+942.3 s]
/proc/loadavg: 2.23 2.28 2.23 4/178 651
/proc/meminfo: memFree=28587488/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=344100 CPUtime=942.14 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 21237 0 0 0 94207 7 0 0 20 0 1 0 126202840 352358400 62991 33554432000 4194304 6211289 140733894058352 140733894056344 4215216 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 86025 62991 219 493 0 85522 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 344100

[startup+1002.3 s]
/proc/loadavg: 2.37 2.32 2.24 4/177 652
/proc/meminfo: memFree=28582908/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=347748 CPUtime=1002.14 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 22132 0 0 0 100206 8 0 0 20 0 1 0 126202840 356093952 63886 33554432000 4194304 6211289 140733894058352 140733894056696 4201956 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 86937 63886 219 493 0 86434 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 347748

[startup+1062.3 s]
/proc/loadavg: 1.70 2.15 2.19 2/170 685
/proc/meminfo: memFree=29307848/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=350736 CPUtime=1062.13 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 22660 0 0 0 106205 8 0 0 20 0 1 0 126202840 359153664 64414 33554432000 4194304 6211289 140733894058352 140733894056344 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 87684 64414 219 493 0 87181 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 350736

[startup+1122.3 s]
/proc/loadavg: 1.30 1.95 2.11 3/170 686
/proc/meminfo: memFree=29306516/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=352464 CPUtime=1122.11 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 22980 0 0 0 112203 8 0 0 20 0 1 0 126202840 360923136 64734 33554432000 4194304 6211289 140733894058352 140733894056696 4240637 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 88116 64734 219 493 0 87613 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 352464

[startup+1182.3 s]
/proc/loadavg: 1.33 1.84 2.06 2/170 688
/proc/meminfo: memFree=29306308/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=353408 CPUtime=1182.1 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 23188 0 0 0 118202 8 0 0 20 0 1 0 126202840 361889792 64942 33554432000 4194304 6211289 140733894058352 140733894056264 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 88352 64942 219 493 0 87849 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 353408

[startup+1242.3 s]
/proc/loadavg: 1.24 1.71 2.00 2/170 689
/proc/meminfo: memFree=29304624/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=354304 CPUtime=1242.09 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 23454 0 0 0 124201 8 0 0 20 0 1 0 126202840 362807296 65208 33554432000 4194304 6211289 140733894058352 140733894056344 4209339 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 88576 65208 219 493 0 88073 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 354304

[startup+1302.3 s]
/proc/loadavg: 1.13 1.59 1.94 2/170 690
/proc/meminfo: memFree=29287480/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=356476 CPUtime=1302.08 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 24300 0 0 0 130200 8 0 0 20 0 1 0 126202840 365031424 69558 33554432000 4194304 6211289 140733894058352 140733894056344 4240063 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 89119 69558 219 493 0 88616 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 356476

[startup+1362.3 s]
/proc/loadavg: 1.14 1.51 1.89 2/170 691
/proc/meminfo: memFree=29272192/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=357464 CPUtime=1362.07 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 24610 0 0 0 136199 8 0 0 20 0 1 0 126202840 366043136 73365 33554432000 4194304 6211289 140733894058352 140733894056264 4210640 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 89366 73365 219 493 0 88863 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 357464

[startup+1422.3 s]
/proc/loadavg: 1.20 1.46 1.85 2/170 692
/proc/meminfo: memFree=29270616/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=358588 CPUtime=1422.08 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 25046 0 0 0 142199 9 0 0 20 0 1 0 126202840 367194112 73796 33554432000 4194304 6211289 140733894058352 140733894056696 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 89647 73796 219 493 0 89144 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 358588

[startup+1482.3 s]
/proc/loadavg: 1.11 1.39 1.80 2/170 694
/proc/meminfo: memFree=29228088/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=360360 CPUtime=1482.06 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 25475 0 0 0 148197 9 0 0 20 0 1 0 126202840 369008640 84445 33554432000 4194304 6211289 140733894058352 140733894056696 4241818 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 90090 84445 219 493 0 89587 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 360360

[startup+1542.31 s]
/proc/loadavg: 1.20 1.36 1.76 2/171 698
/proc/meminfo: memFree=29191892/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=494512 CPUtime=1542.05 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 26661 0 0 0 154195 10 0 0 20 0 1 0 126202840 506380288 93448 33554432000 4194304 6211289 140733894058352 140733894056696 4209512 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 123628 93448 219 493 0 123125 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 494512

[startup+1602.3 s]
/proc/loadavg: 1.12 1.31 1.72 2/170 699
/proc/meminfo: memFree=29191764/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=494512 CPUtime=1602.04 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 26678 0 0 0 160194 10 0 0 20 0 1 0 126202840 506380288 93465 33554432000 4194304 6211289 140733894058352 140733894056696 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 123628 93465 219 493 0 123125 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 494512

[startup+1662.3 s]
/proc/loadavg: 1.18 1.29 1.68 2/170 700
/proc/meminfo: memFree=29190444/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=495976 CPUtime=1662.03 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 27021 0 0 0 166193 10 0 0 20 0 1 0 126202840 507879424 93808 33554432000 4194304 6211289 140733894058352 140733894056344 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 123994 93808 219 493 0 123491 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 495976

[startup+1722.3 s]
/proc/loadavg: 1.25 1.30 1.66 2/170 701
/proc/meminfo: memFree=29189992/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=496152 CPUtime=1722.02 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 27088 0 0 0 172192 10 0 0 20 0 1 0 126202840 508059648 93875 33554432000 4194304 6211289 140733894058352 140733894056264 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 124038 93875 219 493 0 123535 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 496152

[startup+1782.3 s]
/proc/loadavg: 1.25 1.29 1.63 2/170 703
/proc/meminfo: memFree=29186808/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=496288 CPUtime=1782 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 27300 0 0 0 178190 10 0 0 20 0 1 0 126202840 508198912 94492 33554432000 4194304 6211289 140733894058352 140733894056696 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 124072 94492 219 493 0 123569 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 496288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.26 1.28 1.62 3/170 703
/proc/meminfo: memFree=29186776/32872528 swapFree=15272/1656604
[pid=626] ppid=623 vsize=496288 CPUtime=1800.09 cores=0,2,4,6
/proc/626/stat : 626 (cdcl-cuttingpla) R 623 626 30659 0 -1 4202496 27328 0 0 0 179999 10 0 0 20 0 1 0 126202840 508198912 94517 33554432000 4194304 6211289 140733894058352 140733894056696 4209221 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/626/statm: 124072 94517 219 493 0 123569 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 496288

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 626 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.4
CPU time (s): 1800.11
CPU user time (s): 1800
CPU system time (s): 0.112982
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 496288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.112982
maximum resident set size= 378068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27328
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= 41
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70928 second user time and 6.79697 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-09 05:24:55
IDJOB=4087880
IDBENCH=90677
IDSOLVER=2549
FILE ID=node136/4087880-1465442695
RUNJOBID= node136-1465436019-31609
PBS_JOBID= 19859778
Free space on /tmp= 71728 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087880-1465442695/watcher-4087880-1465442695 -o /tmp/evaluation-result-4087880-1465442695/solver-4087880-1465442695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465436019-31609 --watchdog 1960 --input HOME/instance-4087880-1465442695.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 13ec733a84b57b5245a7cfe0f2de4f86
RANDOM SEED=1515486672

node136.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.959
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	: 5333.91
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.959
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.959
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.959
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.959
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.55
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.959
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.59
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.959
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.959
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:        28892824 kB
Buffers:           88512 kB
Cached:           823888 kB
SwapCached:          712 kB
Active:          1104040 kB
Inactive:         479016 kB
Active(anon):     670360 kB
Inactive(anon):     2648 kB
Active(file):     433680 kB
Inactive(file):   476368 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099424 kB
Dirty:              4672 kB
Writeback:             0 kB
AnonPages:       2326876 kB
Mapped:             7996 kB
Shmem:                 0 kB
Slab:             604452 kB
SReclaimable:      48624 kB
SUnreclaim:       555828 kB
KernelStack:        1456 kB
PageTables:         8040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2568836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1837056 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 node136 at 2016-06-09 05:54:56