Trace number 4101080

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.04 1800.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb
MD5SUMbac9a878c3cd85b78fbd03dede34f379
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables128490
Total number of constraints704
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints704
Minimum length of a constraint30
Maximum length of a constraint2550
Number of terms in the objective function 128490
Biggest coefficient in the objective function 1115
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 634183
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 634183
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 128490 #constraint= 704
5.09/5.17	c #Conflicts:       1000 | #Learnt:        999 | 1.759
5.09/5.17	c total clause space: 48.1602MB
5.09/5.17	c total #watches: 917453
17.09/17.19	c total #propagations: 59100 / total #impl: 16998571 (eff. 0.003)
17.09/17.19	c #Conflicts:       2000 | #Learnt:       1999 | 5.442
17.09/17.19	c total clause space: 78.2603MB
17.09/17.19	c total #watches: 1829415
20.39/20.47	c total #propagations: 153172 / total #impl: 54513481 (eff. 0.003)
20.39/20.47	c GC COLLECT
20.39/20.47	c #Conflicts:       3000 | #Learnt:       2003 | 5.636
20.39/20.47	c total clause space: 78.2603MB
20.39/20.48	c total #watches: 1206447
26.68/26.77	c total #propagations: 168503 / total #impl: 60661330 (eff. 0.003)
26.68/26.77	c #Conflicts:       4000 | #Learnt:       3003 | 9.362
26.68/26.77	c total clause space: 127.173MB
26.68/26.77	c total #watches: 1390112
37.98/38.04	c total #propagations: 329165 / total #impl: 76901045 (eff. 0.004)
37.98/38.04	c GC COLLECT
37.98/38.04	c #Conflicts:       5000 | #Learnt:       2371 | 13.343
37.98/38.04	c total clause space: 127.173MB
37.98/38.04	c total #watches: 1028414
42.58/42.63	c total #propagations: 422615 / total #impl: 106777256 (eff. 0.004)
42.58/42.63	c #Conflicts:       6000 | #Learnt:       3371 | 11.221
42.58/42.63	c total clause space: 206.656MB
42.58/42.63	c total #watches: 1164617
58.29/58.37	c total #propagations: 446703 / total #impl: 107924657 (eff. 0.004)
58.29/58.37	c GC COLLECT
58.29/58.37	c #Conflicts:       7000 | #Learnt:       2253 | 11.590
58.29/58.37	c total clause space: 206.656MB
58.29/58.38	c total #watches: 903721
74.08/74.15	c total #propagations: 535174 / total #impl: 109029782 (eff. 0.005)
74.08/74.15	c #Conflicts:       8000 | #Learnt:       3253 | 11.653
74.08/74.15	c total clause space: 206.656MB
74.08/74.15	c total #watches: 931925
101.37/101.42	c total #propagations: 713242 / total #impl: 109581299 (eff. 0.007)
101.37/101.42	c #Conflicts:       9000 | #Learnt:       4253 | 11.483
101.37/101.42	c total clause space: 206.656MB
101.37/101.42	c total #watches: 1152935
110.67/110.72	c total #propagations: 750492 / total #impl: 111369109 (eff. 0.007)
110.67/110.72	c GC COLLECT
110.67/110.72	c #Conflicts:      10000 | #Learnt:       2732 | 10.999
110.67/110.72	c total clause space: 335.816MB
110.67/110.72	c total #watches: 984737
129.07/129.17	c total #propagations: 832824 / total #impl: 119848018 (eff. 0.007)
129.07/129.17	c #Conflicts:      11000 | #Learnt:       3732 | 10.348
129.07/129.17	c total clause space: 335.816MB
129.07/129.17	c total #watches: 1646190
177.57/177.60	c total #propagations: 915655 / total #impl: 156923240 (eff. 0.006)
177.57/177.60	c #Conflicts:      12000 | #Learnt:       4732 | 10.148
177.57/177.60	c total clause space: 335.816MB
177.57/177.60	c total #watches: 2472144
237.45/237.53	c total #propagations: 963655 / total #impl: 229185218 (eff. 0.004)
237.45/237.53	c #Conflicts:      13000 | #Learnt:       5732 | 10.251
237.45/237.53	c total clause space: 335.816MB
237.45/237.53	c total #watches: 3397887
248.46/248.51	c total #propagations: 1143542 / total #impl: 321745526 (eff. 0.004)
248.46/248.51	c GC COLLECT
248.46/248.51	c #Conflicts:      14000 | #Learnt:       3871 | 10.629
248.46/248.51	c total clause space: 335.816MB
248.46/248.51	c total #watches: 2795381
252.15/252.25	c total #propagations: 1202160 / total #impl: 340214702 (eff. 0.004)
252.15/252.25	c #Conflicts:      15000 | #Learnt:       4871 | 9.924
252.15/252.25	c total clause space: 335.816MB
252.15/252.25	c total #watches: 3104812
254.85/254.90	c total #propagations: 1210756 / total #impl: 355785269 (eff. 0.003)
254.85/254.90	c #Conflicts:      16000 | #Learnt:       5871 | 9.306
254.85/254.90	c total clause space: 335.816MB
254.85/254.90	c total #watches: 3268619
264.35/264.42	c total #propagations: 1215837 / total #impl: 367141182 (eff. 0.003)
264.35/264.42	c GC COLLECT
264.35/264.42	c #Conflicts:      17000 | #Learnt:       3693 | 8.831
264.35/264.42	c total clause space: 545.701MB
264.35/264.42	c total #watches: 1509883
267.05/267.11	c total #propagations: 1229860 / total #impl: 379145818 (eff. 0.003)
267.05/267.11	c #Conflicts:      18000 | #Learnt:       4693 | 8.340
267.05/267.11	c total clause space: 545.701MB
267.05/267.11	c total #watches: 1575383
271.15/271.21	c total #propagations: 1233348 / total #impl: 384284141 (eff. 0.003)
271.15/271.21	c #Conflicts:      19000 | #Learnt:       5693 | 7.901
271.15/271.21	c total clause space: 545.701MB
271.15/271.21	c total #watches: 1640314
307.14/307.23	c total #propagations: 1236846 / total #impl: 391829307 (eff. 0.003)
307.14/307.23	c #Conflicts:      20000 | #Learnt:       6693 | 9.318
307.14/307.23	c total clause space: 545.701MB
307.14/307.23	c total #watches: 2118474
312.74/312.81	c total #propagations: 1268197 / total #impl: 471272504 (eff. 0.003)
312.74/312.81	c GC COLLECT
312.74/312.81	c #Conflicts:      21000 | #Learnt:       4201 | 9.098
312.74/312.81	c total clause space: 545.701MB
312.74/312.81	c total #watches: 1038998
315.84/315.98	c total #propagations: 1302054 / total #impl: 471801089 (eff. 0.003)
315.84/315.98	c #Conflicts:      22000 | #Learnt:       5201 | 8.899
315.84/315.98	c total clause space: 545.701MB
315.84/315.98	c total #watches: 1128390
320.44/320.53	c total #propagations: 1309481 / total #impl: 472245584 (eff. 0.003)
320.44/320.53	c #Conflicts:      23000 | #Learnt:       6201 | 8.685
320.44/320.53	c total clause space: 545.701MB
320.44/320.53	c total #watches: 1232300
329.34/329.48	c total #propagations: 1321860 / total #impl: 474751428 (eff. 0.003)
329.34/329.48	c #Conflicts:      24000 | #Learnt:       7201 | 8.762
329.34/329.48	c total clause space: 545.701MB
329.34/329.48	c total #watches: 1390435
336.04/336.16	c total #propagations: 1351748 / total #impl: 475115428 (eff. 0.003)
336.04/336.16	c GC COLLECT
336.04/336.16	c #Conflicts:      25000 | #Learnt:       4402 | 8.609
336.04/336.16	c total clause space: 545.701MB
336.04/336.16	c total #watches: 874512
345.94/346.09	c total #propagations: 1376755 / total #impl: 475292805 (eff. 0.003)
345.94/346.09	c #Conflicts:      26000 | #Learnt:       5402 | 8.628
345.94/346.09	c total clause space: 545.701MB
345.94/346.09	c total #watches: 1045004
357.44/357.56	c total #propagations: 1402225 / total #impl: 475611411 (eff. 0.003)
357.44/357.56	c #Conflicts:      27000 | #Learnt:       6402 | 8.620
357.44/357.56	c total clause space: 545.701MB
357.44/357.56	c total #watches: 1206088
386.03/386.17	c total #propagations: 1425401 / total #impl: 476559650 (eff. 0.003)
386.03/386.17	c #Conflicts:      28000 | #Learnt:       7402 | 8.713
386.03/386.17	c total clause space: 545.701MB
386.03/386.17	c total #watches: 1351899
418.52/418.64	c total #propagations: 1469019 / total #impl: 477163077 (eff. 0.003)
418.52/418.64	c GC COLLECT
418.52/418.64	c #Conflicts:      29000 | #Learnt:       4302 | 8.940
418.52/418.64	c total clause space: 545.701MB
418.52/418.64	c total #watches: 832265
429.32/429.43	c total #propagations: 1508462 / total #impl: 477360633 (eff. 0.003)
429.32/429.43	c #Conflicts:      30000 | #Learnt:       5302 | 8.980
429.32/429.43	c total clause space: 545.701MB
429.32/429.43	c total #watches: 1174261
436.22/436.39	c total #propagations: 1545791 / total #impl: 483642765 (eff. 0.003)
436.22/436.39	c #Conflicts:      31000 | #Learnt:       6302 | 8.875
436.22/436.39	c total clause space: 545.701MB
436.22/436.39	c total #watches: 1356993
442.32/442.40	c total #propagations: 1588326 / total #impl: 487026409 (eff. 0.003)
442.32/442.40	c #Conflicts:      32000 | #Learnt:       7302 | 8.652
442.32/442.40	c total clause space: 545.701MB
442.32/442.40	c total #watches: 1642718
451.62/451.73	c total #propagations: 1622488 / total #impl: 489110931 (eff. 0.003)
451.62/451.73	c #Conflicts:      33000 | #Learnt:       8302 | 8.522
451.62/451.73	c total clause space: 545.701MB
451.62/451.73	c total #watches: 1863357
462.03/462.15	c total #propagations: 1653842 / total #impl: 492111589 (eff. 0.003)
462.03/462.15	c GC COLLECT
462.03/462.15	c #Conflicts:      34000 | #Learnt:       4908 | 8.513
462.03/462.15	c total clause space: 545.701MB
462.03/462.15	c total #watches: 1395410
467.53/467.70	c total #propagations: 1724076 / total #impl: 494167871 (eff. 0.003)
467.53/467.70	c #Conflicts:      35000 | #Learnt:       5908 | 8.540
467.53/467.70	c total clause space: 545.701MB
467.62/467.70	c total #watches: 1454502
497.32/497.49	c total #propagations: 1738614 / total #impl: 499446331 (eff. 0.003)
497.32/497.49	c #Conflicts:      36000 | #Learnt:       6908 | 8.607
497.32/497.49	c total clause space: 545.701MB
497.32/497.49	c total #watches: 1505825
501.72/501.87	c total #propagations: 1755452 / total #impl: 501291347 (eff. 0.004)
501.72/501.87	c #Conflicts:      37000 | #Learnt:       7908 | 8.375
501.72/501.87	c total clause space: 545.701MB
501.72/501.87	c total #watches: 1541870
506.92/507.01	c total #propagations: 1773431 / total #impl: 501684863 (eff. 0.004)
506.92/507.01	c #Conflicts:      38000 | #Learnt:       8908 | 8.154
506.92/507.01	c total clause space: 545.701MB
506.92/507.01	c total #watches: 1562582
510.42/510.57	c total #propagations: 1791743 / total #impl: 502145819 (eff. 0.004)
510.42/510.57	c GC COLLECT
510.42/510.57	c #Conflicts:      39000 | #Learnt:       5207 | 7.952
510.42/510.57	c total clause space: 545.701MB
510.42/510.57	c total #watches: 698852
513.01/513.20	c total #propagations: 1803708 / total #impl: 502979757 (eff. 0.004)
513.01/513.20	c #Conflicts:      40000 | #Learnt:       6207 | 7.755
513.01/513.20	c total clause space: 545.701MB
513.11/513.20	c total #watches: 862507
516.81/516.94	c total #propagations: 1809983 / total #impl: 506443016 (eff. 0.004)
516.81/516.94	c #Conflicts:      41000 | #Learnt:       7207 | 7.567
516.81/516.94	c total clause space: 545.701MB
516.81/516.94	c total #watches: 1000139
527.21/527.31	c total #propagations: 1815995 / total #impl: 511280421 (eff. 0.004)
527.21/527.31	c #Conflicts:      42000 | #Learnt:       8207 | 7.390
527.21/527.31	c total clause space: 545.701MB
527.21/527.31	c total #watches: 1120371
531.61/531.78	c total #propagations: 1832596 / total #impl: 519113644 (eff. 0.004)
531.61/531.78	c #Conflicts:      43000 | #Learnt:       9207 | 7.219
531.61/531.78	c total clause space: 545.701MB
531.61/531.79	c total #watches: 1197615
537.81/537.90	c total #propagations: 1846401 / total #impl: 523543299 (eff. 0.004)
537.81/537.90	c GC COLLECT
537.81/537.90	c #Conflicts:      44000 | #Learnt:       5220 | 7.056
537.81/537.90	c total clause space: 545.701MB
537.81/537.91	c total #watches: 685571
601.20/601.31	c total #propagations: 1858499 / total #impl: 528267318 (eff. 0.004)
601.20/601.31	c #Conflicts:      45000 | #Learnt:       6232 | 6.926
601.20/601.31	c total clause space: 545.701MB
601.20/601.31	c total #watches: 2110045
663.59/663.77	c total #propagations: 2194480 / total #impl: 626428975 (eff. 0.004)
663.59/663.77	c #Conflicts:      46000 | #Learnt:       7232 | 6.928
663.59/663.77	c total clause space: 545.701MB
663.59/663.77	c total #watches: 2948249
695.79/695.92	c total #propagations: 3003781 / total #impl: 645024910 (eff. 0.005)
695.79/695.92	c #Conflicts:      47000 | #Learnt:       8232 | 6.907
695.79/695.92	c total clause space: 545.701MB
695.79/695.92	c total #watches: 3218560
729.18/729.39	c total #propagations: 3048167 / total #impl: 648054136 (eff. 0.005)
729.18/729.39	c #Conflicts:      48000 | #Learnt:       9232 | 7.059
729.18/729.39	c total clause space: 545.701MB
729.18/729.39	c total #watches: 3392272
747.48/747.61	c total #propagations: 3064340 / total #impl: 649188878 (eff. 0.005)
747.48/747.61	c #Conflicts:      49000 | #Learnt:      10232 | 7.081
747.48/747.61	c total clause space: 545.701MB
747.48/747.61	c total #watches: 3645704
763.37/763.51	c total #propagations: 3103188 / total #impl: 651745975 (eff. 0.005)
763.37/763.51	c GC COLLECT
763.37/763.51	c #Conflicts:      50000 | #Learnt:       5930 | 7.060
763.37/763.51	c total clause space: 545.701MB
763.37/763.52	c total #watches: 1440065
768.47/768.68	c total #propagations: 3146670 / total #impl: 652606926 (eff. 0.005)
768.47/768.68	c #Conflicts:      51000 | #Learnt:       6930 | 6.963
768.47/768.68	c total clause space: 545.701MB
768.47/768.68	c total #watches: 1696227
778.78/778.91	c total #propagations: 3164589 / total #impl: 653251145 (eff. 0.005)
778.78/778.91	c #Conflicts:      52000 | #Learnt:       7930 | 6.923
778.78/778.91	c total clause space: 545.701MB
778.78/778.91	c total #watches: 1889479
803.26/803.43	c total #propagations: 3186379 / total #impl: 654332320 (eff. 0.005)
803.26/803.43	c #Conflicts:      53000 | #Learnt:       8930 | 6.959
803.26/803.43	c total clause space: 545.701MB
803.26/803.44	c total #watches: 2083012
849.66/849.80	c total #propagations: 3215494 / total #impl: 655982679 (eff. 0.005)
849.66/849.80	c #Conflicts:      54000 | #Learnt:       9930 | 7.083
849.66/849.80	c total clause space: 545.701MB
849.66/849.80	c total #watches: 2228367
894.15/894.37	c total #propagations: 3263904 / total #impl: 656409180 (eff. 0.005)
894.15/894.37	c #Conflicts:      55000 | #Learnt:      10930 | 7.066
894.15/894.37	c total clause space: 545.701MB
894.15/894.37	c total #watches: 2687596
903.55/903.75	c total #propagations: 3390359 / total #impl: 668541609 (eff. 0.005)
903.55/903.75	c GC COLLECT
903.55/903.75	c #Conflicts:      56000 | #Learnt:       6326 | 6.981
903.55/903.75	c total clause space: 545.701MB
903.55/903.75	c total #watches: 2152879
939.15/939.30	c total #propagations: 3683472 / total #impl: 699838424 (eff. 0.005)
939.15/939.30	c #Conflicts:      57000 | #Learnt:       7326 | 7.090
939.15/939.30	c total clause space: 545.701MB
939.15/939.30	c total #watches: 3868261
966.54/966.77	c total #propagations: 3784945 / total #impl: 785311342 (eff. 0.005)
966.54/966.77	c #Conflicts:      58000 | #Learnt:       8326 | 7.025
966.54/966.77	c total clause space: 545.701MB
966.54/966.77	c total #watches: 4709200
1019.33/1019.57	c total #propagations: 3868060 / total #impl: 824519868 (eff. 0.005)
1019.33/1019.57	c #Conflicts:      59000 | #Learnt:       9326 | 7.474
1019.33/1019.57	c total clause space: 545.701MB
1019.33/1019.57	c total #watches: 5915460
1060.53/1060.77	c total #propagations: 3956142 / total #impl: 930955913 (eff. 0.004)
1060.53/1060.77	c #Conflicts:      60000 | #Learnt:      10326 | 7.881
1060.53/1060.77	c total clause space: 545.701MB
1060.53/1060.77	c total #watches: 6347963
1070.13/1070.35	c total #propagations: 4003104 / total #impl: 1095059254 (eff. 0.004)
1070.13/1070.35	c #Conflicts:      61000 | #Learnt:      11326 | 7.835
1070.13/1070.35	c total clause space: 545.701MB
1070.13/1070.35	c total #watches: 6626487
1081.52/1081.72	c total #propagations: 4008938 / total #impl: 1098690544 (eff. 0.004)
1081.52/1081.72	c GC COLLECT
1081.52/1081.72	c #Conflicts:      62000 | #Learnt:       6427 | 7.851
1081.52/1081.72	c total clause space: 545.701MB
1081.52/1081.72	c total #watches: 1722658
1086.12/1086.34	c total #propagations: 4014580 / total #impl: 1100468211 (eff. 0.004)
1086.12/1086.34	c #Conflicts:      63000 | #Learnt:       7427 | 7.795
1086.12/1086.34	c total clause space: 545.701MB
1086.12/1086.34	c total #watches: 1842359
1089.52/1089.75	c total #propagations: 4018408 / total #impl: 1100694729 (eff. 0.004)
1089.52/1089.75	c #Conflicts:      64000 | #Learnt:       8427 | 7.674
1089.52/1089.75	c total clause space: 545.701MB
1089.52/1089.75	c total #watches: 1923898
1116.12/1116.33	c total #propagations: 4022436 / total #impl: 1100786678 (eff. 0.004)
1116.12/1116.33	c #Conflicts:      65000 | #Learnt:       9427 | 7.599
1116.12/1116.33	c total clause space: 545.701MB
1116.12/1116.34	c total #watches: 2493271
1133.71/1133.97	c total #propagations: 4087887 / total #impl: 1122525312 (eff. 0.004)
1133.71/1133.97	c #Conflicts:      66000 | #Learnt:      10427 | 7.568
1133.71/1133.97	c total clause space: 545.701MB
1133.71/1133.97	c total #watches: 2799822
1148.32/1148.59	c total #propagations: 4125612 / total #impl: 1126562081 (eff. 0.004)
1148.32/1148.59	c #Conflicts:      67000 | #Learnt:      11427 | 7.551
1148.32/1148.59	c total clause space: 545.701MB
1148.32/1148.59	c total #watches: 2943631
1174.31/1174.51	c total #propagations: 4175358 / total #impl: 1126848557 (eff. 0.004)
1174.31/1174.51	c #Conflicts:      68000 | #Learnt:      12427 | 7.569
1174.31/1174.51	c total clause space: 545.701MB
1174.31/1174.51	c total #watches: 3157197
1186.21/1186.46	c total #propagations: 4202705 / total #impl: 1127070251 (eff. 0.004)
1186.21/1186.46	c GC COLLECT
1186.21/1186.46	c #Conflicts:      69000 | #Learnt:       7217 | 7.564
1186.21/1186.46	c total clause space: 545.701MB
1186.21/1186.46	c total #watches: 1923685
1206.20/1206.47	c total #propagations: 4242593 / total #impl: 1127306615 (eff. 0.004)
1206.20/1206.47	c #Conflicts:      70000 | #Learnt:       8217 | 7.617
1206.20/1206.47	c total clause space: 545.701MB
1206.20/1206.47	c total #watches: 2228422
1221.70/1221.93	c total #propagations: 4294533 / total #impl: 1128314033 (eff. 0.004)
1221.70/1221.93	c #Conflicts:      71000 | #Learnt:       9217 | 7.518
1221.70/1221.93	c total clause space: 545.701MB
1221.70/1221.93	c total #watches: 2525975
1233.50/1233.75	c total #propagations: 4324021 / total #impl: 1131264511 (eff. 0.004)
1233.50/1233.75	c #Conflicts:      72000 | #Learnt:      10217 | 7.415
1233.50/1233.75	c total clause space: 545.701MB
1233.50/1233.75	c total #watches: 2826286
1256.70/1256.97	c total #propagations: 4338092 / total #impl: 1132134707 (eff. 0.004)
1256.70/1256.97	c #Conflicts:      73000 | #Learnt:      11217 | 7.348
1256.70/1256.97	c total clause space: 545.701MB
1256.70/1256.97	c total #watches: 3168394
1347.08/1347.36	c total #propagations: 4376130 / total #impl: 1135091888 (eff. 0.004)
1347.08/1347.36	c #Conflicts:      74000 | #Learnt:      12217 | 7.565
1347.08/1347.36	c total clause space: 545.701MB
1347.08/1347.36	c total #watches: 4053484
1399.38/1399.62	c total #propagations: 4424952 / total #impl: 1186326985 (eff. 0.004)
1399.38/1399.62	c GC COLLECT
1399.38/1399.62	c #Conflicts:      75000 | #Learnt:       6719 | 7.466
1399.38/1399.62	c total clause space: 886.764MB
1399.38/1399.62	c total #watches: 2080157
1517.66/1517.95	c total #propagations: 4981701 / total #impl: 1277976197 (eff. 0.004)
1517.66/1517.95	c #Conflicts:      76000 | #Learnt:       7719 | 7.378
1517.66/1517.95	c total clause space: 886.764MB
1517.66/1517.95	c total #watches: 3362079
1607.54/1607.88	c total #propagations: 7152715 / total #impl: 1321492654 (eff. 0.005)
1607.54/1607.88	c #Conflicts:      77000 | #Learnt:       8719 | 7.428
1607.54/1607.88	c total clause space: 886.764MB
1607.54/1607.88	c total #watches: 4511759
1638.34/1638.68	c total #propagations: 8668876 / total #impl: 1355453134 (eff. 0.006)
1638.34/1638.68	c #Conflicts:      78000 | #Learnt:       9719 | 7.363
1638.34/1638.68	c total clause space: 886.764MB
1638.34/1638.68	c total #watches: 4897024
1643.83/1644.14	c total #propagations: 8760970 / total #impl: 1376791608 (eff. 0.006)
1643.83/1644.14	c #Conflicts:      79000 | #Learnt:      10719 | 7.270
1643.83/1644.14	c total clause space: 886.764MB
1643.83/1644.14	c total #watches: 5130500
1649.13/1649.45	c total #propagations: 8784504 / total #impl: 1382650097 (eff. 0.006)
1649.13/1649.45	c #Conflicts:      80000 | #Learnt:      11719 | 7.179
1649.13/1649.45	c total clause space: 886.764MB
1649.13/1649.45	c total #watches: 5351165
1657.64/1657.92	c total #propagations: 8812903 / total #impl: 1389038066 (eff. 0.006)
1657.64/1657.92	c #Conflicts:      81000 | #Learnt:      12719 | 7.091
1657.64/1657.92	c total clause space: 886.764MB
1657.64/1657.92	c total #watches: 5591293
1666.14/1666.46	c total #propagations: 8829383 / total #impl: 1394760332 (eff. 0.006)
1666.14/1666.46	c GC COLLECT
1666.14/1666.46	c #Conflicts:      82000 | #Learnt:       6920 | 7.005
1666.14/1666.46	c total clause space: 886.764MB
1666.14/1666.46	c total #watches: 2165105
1668.94/1669.25	c total #propagations: 8851604 / total #impl: 1399288575 (eff. 0.006)
1668.94/1669.25	c #Conflicts:      83000 | #Learnt:       7920 | 6.921
1668.94/1669.25	c total clause space: 886.764MB
1668.94/1669.25	c total #watches: 2546423
1682.63/1682.96	c total #propagations: 8872660 / total #impl: 1401207909 (eff. 0.006)
1682.63/1682.96	c #Conflicts:      84000 | #Learnt:       8920 | 6.904
1682.63/1682.96	c total clause space: 886.764MB
1682.63/1682.96	c total #watches: 3654603
1700.13/1700.47	c total #propagations: 8918950 / total #impl: 1448136955 (eff. 0.006)
1700.13/1700.47	c #Conflicts:      85000 | #Learnt:       9920 | 6.829
1700.13/1700.47	c total clause space: 886.764MB
1700.13/1700.47	c total #watches: 5163308
1716.93/1717.24	c total #propagations: 8947439 / total #impl: 1512570573 (eff. 0.006)
1716.93/1717.24	c #Conflicts:      86000 | #Learnt:      10920 | 6.753
1716.93/1717.24	c total clause space: 886.764MB
1716.93/1717.24	c total #watches: 6766012
1737.52/1737.84	c total #propagations: 8968443 / total #impl: 1579434122 (eff. 0.006)
1737.52/1737.84	c #Conflicts:      87000 | #Learnt:      11920 | 6.676
1737.52/1737.84	c total clause space: 886.764MB
1737.52/1737.84	c total #watches: 7859104
1769.12/1769.47	c total #propagations: 8985364 / total #impl: 1663157306 (eff. 0.005)
1769.12/1769.47	c #Conflicts:      88000 | #Learnt:      12920 | 6.600
1769.12/1769.47	c total clause space: 886.764MB
1769.12/1769.47	c total #watches: 9067700

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

pid=26249
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.25 2.28 2.22 3/176 26252
/proc/meminfo: memFree=29213336/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 26758976 29810688 5268 33554432000 4194304 6201397 140733630887744 140733551554872 4211138 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 7278 5268 130 491 0 6777 0

[startup+0.100207 s]
/proc/loadavg: 2.25 2.28 2.22 3/176 26252
/proc/meminfo: memFree=29213336/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=38420 CPUtime=0.09 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 2431 0 0 0 9 0 0 0 20 0 1 0 26758976 39342080 7631 33554432000 4194304 6201397 140733630887744 140733551554872 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 9605 7631 142 491 0 9104 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38420

[startup+0.200344 s]
/proc/loadavg: 2.25 2.28 2.22 3/176 26252
/proc/meminfo: memFree=29213336/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=38608 CPUtime=0.19 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 2718 0 0 0 19 0 0 0 20 0 1 0 26758976 39534592 8346 33554432000 4194304 6201397 140733630887744 140733551554872 5150603 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 9652 8346 142 491 0 9151 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38608

[startup+0.300302 s]
/proc/loadavg: 2.25 2.28 2.22 3/176 26252
/proc/meminfo: memFree=29213336/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=42900 CPUtime=0.29 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 3490 0 0 0 29 0 0 0 20 0 1 0 26758976 43929600 9007 33554432000 4194304 6201397 140733630887744 140733551554872 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 10725 9009 143 491 0 10224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42900

[startup+0.70024 s]
/proc/loadavg: 2.25 2.28 2.22 3/176 26252
/proc/meminfo: memFree=29213336/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=57372 CPUtime=0.69 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 5042 0 0 0 68 1 0 0 20 0 1 0 26758976 58748928 11591 33554432000 4194304 6201397 140733630887744 140733551554872 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 14343 11591 147 491 0 13842 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57372

[startup+1.5002 s]
/proc/loadavg: 2.25 2.28 2.22 3/177 26253
/proc/meminfo: memFree=29159932/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=72008 CPUtime=1.49 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 5984 0 0 0 148 1 0 0 20 0 1 0 26758976 73736192 14037 33554432000 4194304 6201397 140733630887744 140733630886024 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 18002 14037 147 491 0 17501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72008

[startup+3.10028 s]
/proc/loadavg: 2.25 2.28 2.22 3/177 26253
/proc/meminfo: memFree=29153728/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=72548 CPUtime=3.09 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 6105 0 0 0 308 1 0 0 20 0 1 0 26758976 74289152 14669 33554432000 4194304 6201397 140733630887744 140733630886024 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 18137 14669 147 491 0 17636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72548

[startup+6.30028 s]
/proc/loadavg: 2.23 2.28 2.22 3/177 26253
/proc/meminfo: memFree=29128704/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=96792 CPUtime=6.29 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 7713 0 0 0 628 1 0 0 20 0 1 0 26758976 99115008 19282 33554432000 4194304 6201397 140733630887744 140733630886408 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 24198 19282 160 491 0 23697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96792

[startup+12.7003 s]
/proc/loadavg: 2.21 2.27 2.22 4/177 26253
/proc/meminfo: memFree=29101420/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=135388 CPUtime=12.69 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 9833 0 0 0 1267 2 0 0 20 0 1 0 26758976 138637312 25980 33554432000 4194304 6201397 140733630887744 140733630886024 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 33847 25980 160 491 0 33346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135388

[startup+25.5003 s]
/proc/loadavg: 2.23 2.28 2.22 3/177 26253
/proc/meminfo: memFree=29011020/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=191892 CPUtime=25.48 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 13081 0 0 0 2546 2 0 0 20 0 1 0 26758976 196497408 37379 33554432000 4194304 6201397 140733630887744 140733630886360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 47973 37379 166 491 0 47472 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191892

[startup+51.1004 s]
/proc/loadavg: 2.15 2.25 2.21 3/177 26253
/proc/meminfo: memFree=28919160/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=290068 CPUtime=51.08 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 18232 0 0 0 5105 3 0 0 20 0 1 0 26758976 297029632 60030 33554432000 4194304 6201397 140733630887744 140733630886360 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 72517 60030 166 491 0 72016 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 290068

[startup+102.3 s]
/proc/loadavg: 2.11 2.23 2.20 4/177 26254
/proc/meminfo: memFree=28856652/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=301128 CPUtime=102.28 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 21299 0 0 0 10224 4 0 0 20 0 1 0 26758976 308355072 70542 33554432000 4194304 6201397 140733630887744 140733630886408 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 75282 70542 166 491 0 74781 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 301128

[startup+162.3 s]
/proc/loadavg: 2.22 2.24 2.21 3/177 26255
/proc/meminfo: memFree=28754920/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=451952 CPUtime=162.27 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 26716 0 0 0 16221 6 0 0 20 0 1 0 26758976 462798848 85768 33554432000 4194304 6201397 140733630887744 140733630886408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 112988 85768 166 491 0 112487 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 451952

[startup+222.307 s]
/proc/loadavg: 2.29 2.25 2.21 3/177 26257
/proc/meminfo: memFree=28636756/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=460088 CPUtime=222.26 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 28789 0 0 0 22219 7 0 0 20 0 1 0 26758976 471130112 101638 33554432000 4194304 6201397 140733630887744 140733630886360 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 115022 101638 166 491 0 114521 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 460088

[startup+282.3 s]
/proc/loadavg: 2.18 2.23 2.20 4/177 26258
/proc/meminfo: memFree=28514324/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=716504 CPUtime=282.25 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 39416 0 0 0 28215 10 0 0 20 0 1 0 26758976 733700096 123596 33554432000 4194304 6201397 140733630887744 140733630886456 4213367 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 179126 123596 166 491 0 178625 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 716504

[startup+342.3 s]
/proc/loadavg: 2.20 2.23 2.20 3/177 26259
/proc/meminfo: memFree=28499292/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=729648 CPUtime=342.24 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 42728 0 0 0 34213 11 0 0 20 0 1 0 26758976 747159552 126906 33554432000 4194304 6201397 140733630887744 140733630886408 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 182412 126906 166 491 0 181911 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 729648

[startup+402.3 s]
/proc/loadavg: 2.12 2.20 2.19 3/177 26260
/proc/meminfo: memFree=28477000/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=738776 CPUtime=402.23 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 44665 0 0 0 40211 12 0 0 20 0 1 0 26758976 756506624 128843 33554432000 4194304 6201397 140733630887744 140733630886408 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 184694 128843 166 491 0 184193 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 738776

[startup+462.3 s]
/proc/loadavg: 2.08 2.18 2.18 4/177 26261
/proc/meminfo: memFree=28459272/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=749520 CPUtime=462.22 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 47280 0 0 0 46209 13 0 0 20 0 1 0 26758976 767508480 131458 33554432000 4194304 6201397 140733630887744 140733630886408 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 187380 131458 166 491 0 186879 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 749520

[startup+522.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 26265
/proc/meminfo: memFree=28390684/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=753756 CPUtime=522.21 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 48388 0 0 0 52208 13 0 0 20 0 1 0 26758976 771846144 133588 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 188439 133588 166 491 0 187938 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 753756

[startup+582.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 26290
/proc/meminfo: memFree=28378964/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=763544 CPUtime=582.2 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 50713 0 0 0 58206 14 0 0 20 0 1 0 26758976 781869056 135913 33554432000 4194304 6201397 140733630887744 140733630886312 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 190886 135913 166 491 0 190385 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 763544


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/177 26343
/proc/meminfo: memFree=29250764/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=833596 CPUtime=942.14 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 67582 0 0 0 94193 21 0 0 20 0 1 0 26758976 853602304 192001 33554432000 4194304 6201397 140733630887744 140733630886024 4216049 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 208399 192001 166 491 0 207898 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 833596

[startup+1002.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/177 26344
/proc/meminfo: memFree=29243000/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=840308 CPUtime=1002.13 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 69244 0 0 0 100192 21 0 0 20 0 1 0 26758976 860475392 193663 33554432000 4194304 6201397 140733630887744 140733630886456 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 210077 193663 166 491 0 209576 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 840308

[startup+1062.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 26345
/proc/meminfo: memFree=29226612/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=853500 CPUtime=1062.13 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 72512 0 0 0 106191 22 0 0 20 0 1 0 26758976 873984000 196931 33554432000 4194304 6201397 140733630887744 140733630886456 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 213375 196931 166 491 0 212874 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 853500

[startup+1122.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 26349
/proc/meminfo: memFree=29212300/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=863296 CPUtime=1122.11 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 74849 0 0 0 112189 22 0 0 20 0 1 0 26758976 884015104 199268 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 215824 199268 166 491 0 215323 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 863296

[startup+1182.3 s]
/proc/loadavg: 2.33 2.25 2.19 4/177 26351
/proc/meminfo: memFree=29202152/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=872148 CPUtime=1182.11 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 76982 0 0 0 118188 23 0 0 20 0 1 0 26758976 893079552 201401 33554432000 4194304 6201397 140733630887744 140733630886872 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 218037 201401 166 491 0 217536 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 872148

[startup+1242.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/177 26352
/proc/meminfo: memFree=29189604/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=877296 CPUtime=1242.1 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 78181 0 0 0 124186 24 0 0 20 0 1 0 26758976 898351104 202600 33554432000 4194304 6201397 140733630887744 140733630886360 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 219324 202600 166 491 0 218823 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 877296

[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/177 26353
/proc/meminfo: memFree=29147284/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=883488 CPUtime=1302.09 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 79665 0 0 0 130185 24 0 0 20 0 1 0 26758976 904691712 211749 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 220872 211749 166 491 0 220371 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 883488

[startup+1362.3 s]
/proc/loadavg: 2.30 2.27 2.20 4/177 26354
/proc/meminfo: memFree=29101716/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1236616 CPUtime=1362.08 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 80727 0 0 0 136182 26 0 0 20 0 1 0 26758976 1266294784 223526 33554432000 4194304 6201397 140733630887744 140733630886776 4213387 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 309154 223526 166 491 0 308653 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1236616

[startup+1422.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/177 26355
/proc/meminfo: memFree=29026984/32872528 swapFree=1534440/1655036
[pid=26252] ppid=26249 vsize=1245724 CPUtime=1422.08 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 83047 0 0 0 142181 27 0 0 20 0 1 0 26758976 1275621376 241176 33554432000 4194304 6201397 140733630887744 140733630886024 4215532 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 311431 241176 166 491 0 310930 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1245724

[startup+1482.3 s]
/proc/loadavg: 2.13 2.22 2.18 3/177 26357
/proc/meminfo: memFree=29022876/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1249628 CPUtime=1482.06 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 84032 0 0 0 148179 27 0 0 20 0 1 0 26758976 1279619072 242161 33554432000 4194304 6201397 140733630887744 140733630886456 4213110 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 312407 242161 166 491 0 311906 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1249628

[startup+1542.31 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 26358
/proc/meminfo: memFree=29021740/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1250476 CPUtime=1542.06 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 84254 0 0 0 154179 27 0 0 20 0 1 0 26758976 1280487424 242383 33554432000 4194304 6201397 140733630887744 140733630886024 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 312619 242383 166 491 0 312118 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1250476

[startup+1602.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 26359
/proc/meminfo: memFree=29000680/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1254876 CPUtime=1602.04 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 85289 0 0 0 160177 27 0 0 20 0 1 0 26758976 1284993024 243418 33554432000 4194304 6201397 140733630887744 140733630886024 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 313719 243418 166 491 0 313218 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1254876

[startup+1662.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 26360
/proc/meminfo: memFree=28983952/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1263100 CPUtime=1662.04 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 87420 0 0 0 166176 28 0 0 20 0 1 0 26758976 1293414400 245499 33554432000 4194304 6201397 140733630887744 140733630886456 4213361 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 315775 245499 166 491 0 315274 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1263100

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 26364
/proc/meminfo: memFree=28908864/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1311344 CPUtime=1722.02 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 98936 0 0 0 172172 30 0 0 20 0 1 0 26758976 1342816256 257526 33554432000 4194304 6201397 140733630887744 140733630886456 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 327836 257526 166 491 0 327335 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1311344

[startup+1782.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/177 26366
/proc/meminfo: memFree=28821620/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1344448 CPUtime=1782.01 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 105768 0 0 0 178169 32 0 0 20 0 1 0 26758976 1376714752 276609 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 336112 276609 166 491 0 335611 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1344448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/177 26366
/proc/meminfo: memFree=28795192/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1347584 CPUtime=1800.01 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 106388 0 0 0 179968 33 0 0 20 0 1 0 26758976 1379926016 283361 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 336896 283361 166 491 0 336395 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1347584

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/177 26366
/proc/meminfo: memFree=28795192/32872528 swapFree=1534436/1655032
[pid=26252] ppid=26249 vsize=1347584 CPUtime=1800.01 cores=0,2,4,6
/proc/26252/stat : 26252 (cdcl-cuttingpla) R 26249 26252 24188 0 -1 4202496 106388 0 0 0 179968 33 0 0 20 0 1 0 26758976 1379926016 283361 33554432000 4194304 6201397 140733630887744 140733630886456 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26252/statm: 336896 283361 166 491 0 336395 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1347584

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.04
CPU user time (s): 1799.69
CPU system time (s): 0.350946
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1347584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.350946
maximum resident set size= 1133444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106388
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= 8
involuntary context switches= 2008

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

The end

Launcher Data 

Begin job on node122 at 2016-06-18 12:51:46
IDJOB=4101080
IDBENCH=1697
IDSOLVER=2550
FILE ID=node122/4101080-1466247105
RUNJOBID= node122-1466229594-24204
PBS_JOBID= 19918176
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101080-1466247105/watcher-4101080-1466247105 -o /tmp/evaluation-result-4101080-1466247105/solver-4101080-1466247105 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24204 --watchdog 1960 --input HOME/instance-4101080-1466247105.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= bac9a878c3cd85b78fbd03dede34f379
RANDOM SEED=992975688

node122.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.769
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.53
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.769
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.769
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.769
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.769
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.53
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.769
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.769
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.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29213088 kB
Buffers:          123272 kB
Cached:           206508 kB
SwapCached:            0 kB
Active:          1026220 kB
Inactive:         234540 kB
Active(anon):     923412 kB
Inactive(anon):     9916 kB
Active(file):     102808 kB
Inactive(file):   224624 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7508 kB
Writeback:            20 kB
AnonPages:       2747220 kB
Mapped:            13492 kB
Shmem:               204 kB
Slab:             608976 kB
SReclaimable:      52648 kB
SUnreclaim:       556328 kB
KernelStack:        1456 kB
PageTables:         9292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3015216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    897024 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 node122 at 2016-06-18 13:21:46