Trace number 4087708

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
MD5SUM1b0ac127de7b79f6251c1506cbcbe6c3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.155975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables8805
Total number of constraints27496
Number of constraints which are clauses27496
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4284
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4284
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4284
Number of bits of the biggest sum of numbers13
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.04	c * #variable= 8805 #constraint= 27496
0.09/0.11	c * #variable= 8805 #constraint= 27496
0.99/1.05	c S1->S2
0.99/1.05	c S1->S2
0.99/1.05	c S1->S2
0.99/1.05	c S1->S2
0.99/1.05	c S2->S1
0.99/1.05	c #Conflicts:       1000 | #Learnt:        653 | 0.000
0.99/1.05	c total clause space: 78.2603MB
0.99/1.05	c total #watches: 2294613
2.99/3.09	c total #propagations: 1207107 / total #impl: 3797047 (eff. 0.318)
2.99/3.09	c S2->S1
2.99/3.09	c #Conflicts:       2000 | #Learnt:        897 | 0.000
2.99/3.09	c total clause space: 206.656MB
2.99/3.09	c total #watches: 3755346
7.80/7.88	c total #propagations: 2426156 / total #impl: 81591504 (eff. 0.030)
7.80/7.88	c GC COLLECT
7.80/7.88	c #Conflicts:       3000 | #Learnt:       1452 | 0.000
7.80/7.88	c total clause space: 206.656MB
7.80/7.88	c total #watches: 1618653
32.39/32.46	c total #propagations: 2566677 / total #impl: 251106323 (eff. 0.010)
32.39/32.46	c #Conflicts:       4000 | #Learnt:       2452 | 0.000
32.39/32.46	c total clause space: 206.656MB
32.39/32.46	c total #watches: 2445031
64.48/64.59	c total #propagations: 3053325 / total #impl: 1277048527 (eff. 0.002)
64.48/64.59	c GC COLLECT
64.48/64.59	c #Conflicts:       5000 | #Learnt:       2078 | 0.000
64.48/64.59	c total clause space: 206.656MB
64.48/64.59	c total #watches: 2523559
82.08/82.14	c total #propagations: 3729389 / total #impl: 1736397086 (eff. 0.002)
82.08/82.14	c #Conflicts:       6000 | #Learnt:       3078 | 0.000
82.08/82.14	c total clause space: 206.656MB
82.08/82.14	c total #watches: 4130873
97.68/97.71	c total #propagations: 4473944 / total #impl: 1801260029 (eff. 0.002)
97.68/97.71	c GC COLLECT
97.68/97.71	c #Conflicts:       7000 | #Learnt:       2090 | 0.000
97.68/97.71	c total clause space: 206.656MB
97.68/97.71	c total #watches: 3988206
112.78/112.82	c total #propagations: 4601665 / total #impl: 1899675344 (eff. 0.002)
112.78/112.82	c #Conflicts:       8000 | #Learnt:       3090 | 0.000
112.78/112.82	c total clause space: 206.656MB
112.78/112.82	c total #watches: 5394161
155.47/155.54	c total #propagations: 4701818 / total #impl: 2029558045 (eff. 0.002)
155.47/155.54	c #Conflicts:       9000 | #Learnt:       4090 | 0.000
155.47/155.54	c total clause space: 335.816MB
155.47/155.54	c total #watches: 6412768
208.76/208.88	c total #propagations: 5494351 / total #impl: 2408865829 (eff. 0.002)
208.76/208.88	c GC COLLECT
208.76/208.88	c #Conflicts:      10000 | #Learnt:       2659 | 0.000
208.76/208.88	c total clause space: 335.816MB
208.76/208.88	c total #watches: 4154871
247.35/247.44	c total #propagations: 6205497 / total #impl: 2685150949 (eff. 0.002)
247.35/247.44	c #Conflicts:      11000 | #Learnt:       3659 | 0.000
247.35/247.44	c total clause space: 335.816MB
247.35/247.44	c total #watches: 5191397
296.45/296.57	c total #propagations: 7147494 / total #impl: 3132751710 (eff. 0.002)
296.45/296.57	c #Conflicts:      12000 | #Learnt:       4659 | 0.000
296.45/296.57	c total clause space: 335.816MB
296.45/296.57	c total #watches: 5931767
354.24/354.39	c total #propagations: 7487323 / total #impl: 3770699494 (eff. 0.002)
354.24/354.39	c #Conflicts:      13000 | #Learnt:       5659 | 0.000
354.24/354.39	c total clause space: 335.816MB
354.24/354.39	c total #watches: 6893112
405.83/405.98	c total #propagations: 7756535 / total #impl: 4430255261 (eff. 0.002)
405.83/405.98	c GC COLLECT
405.83/405.98	c #Conflicts:      14000 | #Learnt:       3831 | 0.000
405.83/405.98	c total clause space: 335.816MB
405.83/405.98	c total #watches: 4873105
478.99/479.11	c total #propagations: 8143348 / total #impl: 4743437714 (eff. 0.002)
478.99/479.11	c #Conflicts:      15000 | #Learnt:       4831 | 0.000
478.99/479.11	c total clause space: 335.816MB
478.99/479.11	c total #watches: 5626258
523.18/523.38	c total #propagations: 8661540 / total #impl: 5030706423 (eff. 0.002)
523.18/523.38	c #Conflicts:      16000 | #Learnt:       5831 | 0.000
523.18/523.38	c total clause space: 335.816MB
523.18/523.38	c total #watches: 5909516
545.27/545.44	c total #propagations: 8868699 / total #impl: 5127704333 (eff. 0.002)
545.27/545.44	c GC COLLECT
545.27/545.44	c #Conflicts:      17000 | #Learnt:       3667 | 0.000
545.27/545.44	c total clause space: 335.816MB
545.27/545.44	c total #watches: 4091914
568.27/568.46	c total #propagations: 9531494 / total #impl: 5143504211 (eff. 0.002)
568.27/568.46	c #Conflicts:      18000 | #Learnt:       4667 | 0.000
568.27/568.46	c total clause space: 335.816MB
568.27/568.46	c total #watches: 4864501
590.87/591.05	c total #propagations: 10329432 / total #impl: 5181825037 (eff. 0.002)
590.87/591.05	c #Conflicts:      19000 | #Learnt:       5667 | 0.000
590.87/591.05	c total clause space: 335.816MB
590.87/591.05	c total #watches: 5964951
610.86/611.01	c total #propagations: 11121358 / total #impl: 5209102397 (eff. 0.002)
610.86/611.01	c #Conflicts:      20000 | #Learnt:       6667 | 0.000
610.86/611.01	c total clause space: 335.816MB
610.86/611.01	c total #watches: 7347722
624.77/624.99	c total #propagations: 11807719 / total #impl: 5226924918 (eff. 0.002)
624.77/624.99	c GC COLLECT
624.77/624.99	c #Conflicts:      21000 | #Learnt:       4183 | 0.000
624.77/624.99	c total clause space: 335.816MB
624.77/624.99	c total #watches: 4940723
632.06/632.25	c total #propagations: 12916496 / total #impl: 5279005575 (eff. 0.002)
632.06/632.25	c #Conflicts:      22000 | #Learnt:       5183 | 0.000
632.06/632.25	c total clause space: 335.816MB
632.06/632.25	c total #watches: 5822121
639.36/639.58	c total #propagations: 13636844 / total #impl: 5297103946 (eff. 0.003)
639.36/639.58	c #Conflicts:      23000 | #Learnt:       6183 | 0.000
639.36/639.58	c total clause space: 335.816MB
639.36/639.58	c total #watches: 6614844
649.96/650.19	c total #propagations: 14937268 / total #impl: 5319194529 (eff. 0.003)
649.96/650.19	c #Conflicts:      24000 | #Learnt:       7182 | 0.000
649.96/650.19	c total clause space: 335.816MB
649.96/650.19	c total #watches: 7940066
663.55/663.75	c total #propagations: 15654799 / total #impl: 5369277565 (eff. 0.003)
663.55/663.75	c GC COLLECT
663.55/663.75	c #Conflicts:      25000 | #Learnt:       4391 | 0.000
663.55/663.75	c total clause space: 335.816MB
663.55/663.75	c total #watches: 5395418
673.16/673.37	c total #propagations: 16476413 / total #impl: 5487116442 (eff. 0.003)
673.16/673.37	c #Conflicts:      26000 | #Learnt:       5391 | 0.000
673.16/673.37	c total clause space: 335.816MB
673.16/673.37	c total #watches: 6572139
682.15/682.34	c total #propagations: 17122827 / total #impl: 5531593057 (eff. 0.003)
682.15/682.34	c #Conflicts:      27000 | #Learnt:       6391 | 0.000
682.15/682.34	c total clause space: 335.816MB
682.15/682.34	c total #watches: 7422176
691.05/691.29	c total #propagations: 17311968 / total #impl: 5560070526 (eff. 0.003)
691.05/691.29	c #Conflicts:      28000 | #Learnt:       7391 | 0.000
691.05/691.29	c total clause space: 335.816MB
691.05/691.29	c total #watches: 8314230
699.14/699.33	c total #propagations: 17715443 / total #impl: 5608320302 (eff. 0.003)
699.14/699.33	c GC COLLECT
699.14/699.33	c #Conflicts:      29000 | #Learnt:       4294 | 0.000
699.14/699.33	c total clause space: 335.816MB
699.14/699.33	c total #watches: 5266244
702.94/703.14	c total #propagations: 18218932 / total #impl: 5633051994 (eff. 0.003)
702.94/703.14	c #Conflicts:      30000 | #Learnt:       5294 | 0.000
702.94/703.14	c total clause space: 335.816MB
702.94/703.14	c total #watches: 6474592
706.74/706.90	c total #propagations: 18576157 / total #impl: 5655658183 (eff. 0.003)
706.74/706.90	c #Conflicts:      31000 | #Learnt:       6294 | 0.000
706.74/706.90	c total clause space: 335.816MB
706.74/706.90	c total #watches: 7578914
712.04/712.26	c total #propagations: 19003781 / total #impl: 5703233991 (eff. 0.003)
712.04/712.26	c #Conflicts:      32000 | #Learnt:       7294 | 0.000
712.04/712.26	c total clause space: 335.816MB
712.04/712.26	c total #watches: 8762889
718.65/718.88	c total #propagations: 19467958 / total #impl: 5738389485 (eff. 0.003)
718.65/718.88	c #Conflicts:      33000 | #Learnt:       8294 | 0.000
718.65/718.88	c total clause space: 335.816MB
718.65/718.88	c total #watches: 10077788
725.85/726.00	c total #propagations: 19859495 / total #impl: 5758628947 (eff. 0.003)
725.85/726.00	c GC COLLECT
725.85/726.00	c #Conflicts:      34000 | #Learnt:       4900 | 0.000
725.85/726.00	c total clause space: 545.701MB
725.85/726.00	c total #watches: 6337668
730.84/731.01	c total #propagations: 20434830 / total #impl: 5794768665 (eff. 0.004)
730.84/731.01	c #Conflicts:      35000 | #Learnt:       5900 | 0.000
730.84/731.01	c total clause space: 545.701MB
730.84/731.01	c total #watches: 7404016
736.95/737.19	c total #propagations: 20728196 / total #impl: 5832374403 (eff. 0.004)
736.95/737.19	c #Conflicts:      36000 | #Learnt:       6900 | 0.000
736.95/737.19	c total clause space: 545.701MB
736.95/737.19	c total #watches: 8158735
745.94/746.18	c total #propagations: 21538435 / total #impl: 5909028328 (eff. 0.004)
745.94/746.18	c #Conflicts:      37000 | #Learnt:       7900 | 0.004
745.94/746.18	c total clause space: 545.701MB
745.94/746.18	c total #watches: 8959033
753.64/753.86	c total #propagations: 21873498 / total #impl: 5983337080 (eff. 0.004)
753.64/753.86	c #Conflicts:      38000 | #Learnt:       8900 | 0.004
753.64/753.86	c total clause space: 545.701MB
753.64/753.86	c total #watches: 9964705
764.04/764.27	c total #propagations: 22288414 / total #impl: 6039841556 (eff. 0.004)
764.04/764.27	c GC COLLECT
764.04/764.27	c #Conflicts:      39000 | #Learnt:       5204 | 0.004
764.04/764.27	c total clause space: 545.701MB
764.04/764.27	c total #watches: 5593054
771.33/771.55	c total #propagations: 23108593 / total #impl: 6074746170 (eff. 0.004)
771.33/771.55	c #Conflicts:      40000 | #Learnt:       6204 | 0.004
771.33/771.55	c total clause space: 545.701MB
771.33/771.55	c total #watches: 6519123
776.83/777.01	c total #propagations: 23244652 / total #impl: 6122192815 (eff. 0.004)
776.83/777.01	c #Conflicts:      41000 | #Learnt:       7204 | 0.004
776.83/777.01	c total clause space: 545.701MB
776.83/777.01	c total #watches: 7723991
782.13/782.39	c total #propagations: 24105876 / total #impl: 6148026376 (eff. 0.004)
782.13/782.39	c #Conflicts:      42000 | #Learnt:       8204 | 0.004
782.13/782.39	c total clause space: 545.701MB
782.13/782.39	c total #watches: 8842881
787.54/787.77	c total #propagations: 24312435 / total #impl: 6178041543 (eff. 0.004)
787.54/787.77	c #Conflicts:      43000 | #Learnt:       9204 | 0.003
787.54/787.77	c total clause space: 545.701MB
787.54/787.77	c total #watches: 10225520
794.24/794.44	c total #propagations: 24485797 / total #impl: 6222663882 (eff. 0.004)
794.24/794.44	c GC COLLECT
794.24/794.44	c #Conflicts:      44000 | #Learnt:       5221 | 0.003
794.24/794.44	c total clause space: 545.701MB
794.24/794.44	c total #watches: 5771122
799.43/799.70	c total #propagations: 24630276 / total #impl: 6291299805 (eff. 0.004)
799.43/799.70	c #Conflicts:      45000 | #Learnt:       6221 | 0.003
799.43/799.70	c total clause space: 545.701MB
799.43/799.70	c total #watches: 6867499
806.33/806.57	c total #propagations: 24701229 / total #impl: 6336013660 (eff. 0.004)
806.33/806.57	c #Conflicts:      46000 | #Learnt:       7221 | 0.003
806.33/806.57	c total clause space: 545.701MB
806.33/806.57	c total #watches: 7528488
813.03/813.22	c total #propagations: 25114280 / total #impl: 6382023002 (eff. 0.004)
813.03/813.22	c #Conflicts:      47000 | #Learnt:       8221 | 0.003
813.03/813.22	c total clause space: 545.701MB
813.03/813.22	c total #watches: 8212790
819.63/819.81	c total #propagations: 25409875 / total #impl: 6430869772 (eff. 0.004)
819.63/819.81	c #Conflicts:      48000 | #Learnt:       9221 | 0.003
819.63/819.81	c total clause space: 545.701MB
819.63/819.81	c total #watches: 9495394
826.13/826.34	c total #propagations: 25834703 / total #impl: 6484146909 (eff. 0.004)
826.13/826.34	c #Conflicts:      49000 | #Learnt:      10221 | 0.003
826.13/826.34	c total clause space: 545.701MB
826.13/826.34	c total #watches: 11042888
833.03/833.26	c total #propagations: 25971643 / total #impl: 6529148511 (eff. 0.004)
833.03/833.26	c GC COLLECT
833.03/833.26	c #Conflicts:      50000 | #Learnt:       5922 | 0.003
833.03/833.26	c total clause space: 545.701MB
833.03/833.26	c total #watches: 6915754
840.43/840.64	c total #propagations: 26471410 / total #impl: 6586827585 (eff. 0.004)
840.43/840.64	c #Conflicts:      51000 | #Learnt:       6922 | 0.003
840.43/840.64	c total clause space: 545.701MB
840.43/840.64	c total #watches: 7982998
853.02/853.27	c total #propagations: 27241238 / total #impl: 6632758146 (eff. 0.004)
853.02/853.27	c #Conflicts:      52000 | #Learnt:       7922 | 0.003
853.02/853.27	c total clause space: 545.701MB
853.02/853.27	c total #watches: 9473439
875.32/875.55	c total #propagations: 27837231 / total #impl: 6786905430 (eff. 0.004)
875.32/875.55	c #Conflicts:      53000 | #Learnt:       8922 | 0.003
875.32/875.55	c total clause space: 545.701MB
875.32/875.55	c total #watches: 10802098
914.02/914.25	c total #propagations: 28407657 / total #impl: 6962157438 (eff. 0.004)
914.02/914.25	c #Conflicts:      54000 | #Learnt:       9922 | 0.003
914.02/914.25	c total clause space: 545.701MB
914.02/914.25	c total #watches: 12212937
950.51/950.74	c total #propagations: 28982717 / total #impl: 7343633312 (eff. 0.004)
950.51/950.74	c #Conflicts:      55000 | #Learnt:      10922 | 0.003
950.51/950.74	c total clause space: 545.701MB
950.51/950.74	c total #watches: 13477581
967.01/967.27	c total #propagations: 29957677 / total #impl: 7475682402 (eff. 0.004)
967.01/967.27	c GC COLLECT
967.01/967.27	c #Conflicts:      56000 | #Learnt:       6315 | 0.003
967.01/967.27	c total clause space: 545.701MB
967.01/967.27	c total #watches: 7152415
982.51/982.77	c total #propagations: 30452540 / total #impl: 7552340376 (eff. 0.004)
982.51/982.77	c #Conflicts:      57000 | #Learnt:       7315 | 0.003
982.51/982.77	c total clause space: 545.701MB
982.51/982.77	c total #watches: 8601501
1011.41/1011.61	c total #propagations: 31169200 / total #impl: 7684946674 (eff. 0.004)
1011.41/1011.61	c #Conflicts:      58000 | #Learnt:       8315 | 0.003
1011.41/1011.61	c total clause space: 545.701MB
1011.41/1011.61	c total #watches: 9474120
1044.20/1044.48	c total #propagations: 32353785 / total #impl: 8071143305 (eff. 0.004)
1044.20/1044.48	c #Conflicts:      59000 | #Learnt:       9315 | 0.003
1044.20/1044.48	c total clause space: 545.701MB
1044.20/1044.48	c total #watches: 10469711
1095.29/1095.58	c total #propagations: 33222804 / total #impl: 8333296329 (eff. 0.004)
1095.29/1095.58	c #Conflicts:      60000 | #Learnt:      10315 | 0.002
1095.29/1095.58	c total clause space: 545.701MB
1095.29/1095.58	c total #watches: 11112475
1151.08/1151.35	c total #propagations: 34054230 / total #impl: 8683118662 (eff. 0.004)
1151.08/1151.35	c #Conflicts:      61000 | #Learnt:      11315 | 0.002
1151.08/1151.35	c total clause space: 545.701MB
1151.08/1151.35	c total #watches: 11660522
1181.08/1181.32	c total #propagations: 34369345 / total #impl: 8982393243 (eff. 0.004)
1181.08/1181.32	c GC COLLECT
1181.08/1181.32	c #Conflicts:      62000 | #Learnt:       6425 | 0.002
1181.08/1181.32	c total clause space: 545.701MB
1181.08/1181.32	c total #watches: 7717211
1202.58/1202.80	c total #propagations: 34568893 / total #impl: 9155087983 (eff. 0.004)
1202.58/1202.80	c #Conflicts:      63000 | #Learnt:       7425 | 0.002
1202.58/1202.80	c total clause space: 545.701MB
1202.58/1202.80	c total #watches: 8773979
1231.37/1231.60	c total #propagations: 34773226 / total #impl: 9352644989 (eff. 0.004)
1231.37/1231.60	c #Conflicts:      64000 | #Learnt:       8425 | 0.002
1231.37/1231.60	c total clause space: 545.701MB
1231.37/1231.60	c total #watches: 9502127
1256.47/1256.76	c total #propagations: 35052069 / total #impl: 9681116716 (eff. 0.004)
1256.47/1256.76	c #Conflicts:      65000 | #Learnt:       9425 | 0.002
1256.47/1256.76	c total clause space: 545.701MB
1256.47/1256.76	c total #watches: 10378317
1292.96/1293.29	c total #propagations: 35848435 / total #impl: 9839124695 (eff. 0.004)
1292.96/1293.29	c #Conflicts:      66000 | #Learnt:      10425 | 0.002
1292.96/1293.29	c total clause space: 545.701MB
1292.96/1293.29	c total #watches: 11328582
1348.75/1349.01	c total #propagations: 36196586 / total #impl: 10318615886 (eff. 0.004)
1348.75/1349.01	c #Conflicts:      67000 | #Learnt:      11425 | 0.002
1348.75/1349.01	c total clause space: 545.701MB
1348.75/1349.01	c total #watches: 12480031
1402.25/1402.60	c total #propagations: 36633489 / total #impl: 10692230751 (eff. 0.003)
1402.25/1402.60	c #Conflicts:      68000 | #Learnt:      12425 | 0.002
1402.25/1402.60	c total clause space: 545.701MB
1402.25/1402.60	c total #watches: 14138761
1417.54/1417.82	c total #propagations: 37107363 / total #impl: 10908541167 (eff. 0.003)
1417.54/1417.82	c GC COLLECT
1417.54/1417.82	c #Conflicts:      69000 | #Learnt:       7218 | 0.002
1417.54/1417.82	c total clause space: 545.701MB
1417.54/1417.82	c total #watches: 8732623
1435.94/1436.24	c total #propagations: 37649475 / total #impl: 10963725117 (eff. 0.003)
1435.94/1436.24	c #Conflicts:      70000 | #Learnt:       8218 | 0.002
1435.94/1436.24	c total clause space: 545.701MB
1435.94/1436.24	c total #watches: 9590093
1450.44/1450.73	c total #propagations: 38564589 / total #impl: 11027965915 (eff. 0.003)
1450.44/1450.73	c #Conflicts:      71000 | #Learnt:       9218 | 0.002
1450.44/1450.73	c total clause space: 545.701MB
1450.44/1450.73	c total #watches: 10561225
1470.44/1470.77	c total #propagations: 39377413 / total #impl: 11107855503 (eff. 0.004)
1470.44/1470.77	c #Conflicts:      72000 | #Learnt:      10218 | 0.002
1470.44/1470.77	c total clause space: 545.701MB
1470.44/1470.77	c total #watches: 11684841
1488.83/1489.12	c total #propagations: 39896418 / total #impl: 11273215044 (eff. 0.004)
1488.83/1489.12	c #Conflicts:      73000 | #Learnt:      11218 | 0.002
1488.83/1489.12	c total clause space: 545.701MB
1488.83/1489.12	c total #watches: 12132514
1509.43/1509.75	c total #propagations: 40756960 / total #impl: 11601689789 (eff. 0.004)
1509.43/1509.75	c #Conflicts:      74000 | #Learnt:      12218 | 0.002
1509.43/1509.75	c total clause space: 545.701MB
1509.43/1509.75	c total #watches: 12828189
1542.03/1542.34	c total #propagations: 41550788 / total #impl: 11829377483 (eff. 0.004)
1542.03/1542.34	c GC COLLECT
1542.03/1542.34	c #Conflicts:      75000 | #Learnt:       6720 | 0.002
1542.03/1542.34	c total clause space: 545.701MB
1542.03/1542.34	c total #watches: 8277850
1548.82/1549.12	c total #propagations: 41810255 / total #impl: 12007162011 (eff. 0.003)
1548.82/1549.12	c #Conflicts:      76000 | #Learnt:       7720 | 0.002
1548.82/1549.12	c total clause space: 545.701MB
1548.82/1549.12	c total #watches: 9707537
1553.52/1553.80	c total #propagations: 42515082 / total #impl: 12063930541 (eff. 0.004)
1553.52/1553.80	c #Conflicts:      77000 | #Learnt:       8720 | 0.002
1553.52/1553.80	c total clause space: 545.701MB
1553.52/1553.80	c total #watches: 9966768
1558.53/1558.83	c total #propagations: 43236214 / total #impl: 12092086763 (eff. 0.004)
1558.53/1558.83	c #Conflicts:      78000 | #Learnt:       9720 | 0.002
1558.53/1558.83	c total clause space: 545.701MB
1558.53/1558.83	c total #watches: 10152391
1563.93/1564.22	c total #propagations: 43520486 / total #impl: 12112149049 (eff. 0.004)
1563.93/1564.22	c #Conflicts:      79000 | #Learnt:      10720 | 0.002
1563.93/1564.22	c total clause space: 545.701MB
1563.93/1564.22	c total #watches: 10533785
1572.12/1572.42	c total #propagations: 44318275 / total #impl: 12151136568 (eff. 0.004)
1572.12/1572.42	c #Conflicts:      80000 | #Learnt:      11720 | 0.002
1572.12/1572.42	c total clause space: 545.701MB
1572.12/1572.42	c total #watches: 10939834
1582.82/1583.19	c total #propagations: 44821979 / total #impl: 12187446524 (eff. 0.004)
1582.82/1583.19	c #Conflicts:      81000 | #Learnt:      12720 | 0.002
1582.82/1583.19	c total clause space: 545.701MB
1582.82/1583.19	c total #watches: 11235567
1591.42/1591.73	c total #propagations: 45407535 / total #impl: 12220737452 (eff. 0.004)
1591.42/1591.73	c GC COLLECT
1591.42/1591.73	c #Conflicts:      82000 | #Learnt:       6912 | 0.002
1591.42/1591.73	c total clause space: 545.701MB
1591.42/1591.73	c total #watches: 8558507
1600.91/1601.29	c total #propagations: 45769509 / total #impl: 12258623471 (eff. 0.004)
1600.91/1601.29	c #Conflicts:      83000 | #Learnt:       7912 | 0.002
1600.91/1601.29	c total clause space: 545.701MB
1600.91/1601.29	c total #watches: 9295854
1612.91/1613.26	c total #propagations: 47158077 / total #impl: 12291801975 (eff. 0.004)
1612.91/1613.26	c #Conflicts:      84000 | #Learnt:       8912 | 0.002
1612.91/1613.26	c total clause space: 545.701MB
1612.91/1613.26	c total #watches: 10328265
1628.71/1629.10	c total #propagations: 47516648 / total #impl: 12324526979 (eff. 0.004)
1628.71/1629.10	c #Conflicts:      85000 | #Learnt:       9912 | 0.002
1628.71/1629.10	c total clause space: 545.701MB
1628.71/1629.10	c total #watches: 11599929
1645.81/1646.10	c total #propagations: 48065855 / total #impl: 12377751091 (eff. 0.004)
1645.81/1646.10	c #Conflicts:      86000 | #Learnt:      10912 | 0.002
1645.81/1646.10	c total clause space: 545.701MB
1645.81/1646.10	c total #watches: 12065464
1663.50/1663.80	c total #propagations: 50386496 / total #impl: 12512971863 (eff. 0.004)
1663.50/1663.80	c #Conflicts:      87000 | #Learnt:      11912 | 0.002
1663.50/1663.80	c total clause space: 545.701MB
1663.50/1663.80	c total #watches: 13145725
1697.01/1697.34	c total #propagations: 51412361 / total #impl: 12608686056 (eff. 0.004)
1697.01/1697.34	c #Conflicts:      88000 | #Learnt:      12912 | 0.002
1697.01/1697.34	c total clause space: 545.701MB
1697.01/1697.34	c total #watches: 14009357
1738.49/1738.82	c total #propagations: 51836582 / total #impl: 13076970094 (eff. 0.004)
1738.49/1738.82	c #Conflicts:      89000 | #Learnt:      13912 | 0.002
1738.49/1738.82	c total clause space: 545.701MB
1738.49/1738.82	c total #watches: 15153589
1767.78/1768.14	c total #propagations: 52126665 / total #impl: 13468273589 (eff. 0.004)
1767.78/1768.14	c GC COLLECT
1767.78/1768.14	c #Conflicts:      90000 | #Learnt:       7825 | 0.002
1767.78/1768.14	c total clause space: 545.701MB
1767.78/1768.14	c total #watches: 9930986
1786.38/1786.73	c total #propagations: 52348118 / total #impl: 13625976965 (eff. 0.004)
1786.38/1786.73	c #Conflicts:      91000 | #Learnt:       8825 | 0.002
1786.38/1786.73	c total clause space: 545.701MB
1786.38/1786.73	c total #watches: 10980316

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-4087708-1465430693/watcher-4087708-1465430693 -o /tmp/evaluation-result-4087708-1465430693/solver-4087708-1465430693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465427010-20261 --watchdog 1960 --input HOME/instance-4087708-1465430693.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=20633
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.12 2.09 2.09 3/176 20636
/proc/meminfo: memFree=30139148/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 125001865 57319424 7293 33554432000 4194304 6211289 140734925799408 140733531211480 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 13994 7293 98 493 0 13491 0

[startup+0.100217 s]
/proc/loadavg: 2.12 2.09 2.09 3/176 20636
/proc/meminfo: memFree=30139148/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=63160 CPUtime=0.09 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 1720 0 0 0 9 0 0 0 20 0 1 0 125001865 64675840 13603 33554432000 4194304 6211289 140734925799408 140734925798248 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 15790 13604 144 493 0 15287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63160

[startup+0.200355 s]
/proc/loadavg: 2.12 2.09 2.09 3/176 20636
/proc/meminfo: memFree=30139148/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=74136 CPUtime=0.19 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 2462 0 0 0 18 1 0 0 20 0 1 0 125001865 75915264 15671 33554432000 4194304 6211289 140734925799408 140734925798248 4209221 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 18534 15671 204 493 0 18031 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74136

[startup+0.300332 s]
/proc/loadavg: 2.12 2.09 2.09 3/176 20636
/proc/meminfo: memFree=30139148/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=89088 CPUtime=0.29 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 3823 0 0 0 28 1 0 0 20 0 1 0 125001865 91226112 17987 33554432000 4194304 6211289 140734925799408 140734925798248 4216606 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 22272 17987 204 493 0 21769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89088

[startup+0.700277 s]
/proc/loadavg: 2.12 2.09 2.09 3/176 20636
/proc/meminfo: memFree=30139148/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=161448 CPUtime=0.69 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 7086 0 0 0 67 2 0 0 20 0 1 0 125001865 165322752 28320 33554432000 4194304 6211289 140734925799408 140734925798248 4249389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 40362 28320 204 493 0 39859 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161448

[startup+1.50028 s]
/proc/loadavg: 2.12 2.09 2.09 3/177 20637
/proc/meminfo: memFree=29980164/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=226824 CPUtime=1.49 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 11227 0 0 0 145 4 0 0 20 0 1 0 125001865 232267776 48776 33554432000 4194304 6211289 140734925799408 140734925797400 5310739 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 56706 48776 214 493 0 56203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226824

[startup+3.10024 s]
/proc/loadavg: 2.11 2.09 2.09 3/177 20637
/proc/meminfo: memFree=29911360/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=333628 CPUtime=3.09 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 16655 0 0 0 304 5 0 0 20 0 1 0 125001865 341635072 57728 33554432000 4194304 6211289 140734925799408 140734925797320 4251803 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 83407 57728 214 493 0 82904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 333628

[startup+6.30028 s]
/proc/loadavg: 2.11 2.09 2.09 3/177 20637
/proc/meminfo: memFree=29896224/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=333628 CPUtime=6.29 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 18831 0 0 0 623 6 0 0 20 0 1 0 125001865 341635072 59493 33554432000 4194304 6211289 140734925799408 140734925797752 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 83407 59493 219 493 0 82904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 333628

[startup+12.7003 s]
/proc/loadavg: 2.10 2.08 2.09 3/177 20637
/proc/meminfo: memFree=29890056/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=333628 CPUtime=12.69 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 18831 0 0 0 1263 6 0 0 20 0 1 0 125001865 341635072 59493 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 83407 59493 219 493 0 82904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 333628

[startup+25.5004 s]
/proc/loadavg: 2.08 2.08 2.09 3/177 20637
/proc/meminfo: memFree=29887776/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=333772 CPUtime=25.49 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 19140 0 0 0 2543 6 0 0 20 0 1 0 125001865 341782528 59726 33554432000 4194304 6211289 140734925799408 140734925797400 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 83443 59726 219 493 0 82940 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 333772

[startup+51.1004 s]
/proc/loadavg: 2.21 2.10 2.09 3/177 20637
/proc/meminfo: memFree=29866184/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=333904 CPUtime=51.08 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 20481 0 0 0 5102 6 0 0 20 0 1 0 125001865 341917696 60394 33554432000 4194304 6211289 140734925799408 140734925797400 4241570 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 83476 60394 219 493 0 82973 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 333904

[startup+102.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/177 20638
/proc/meminfo: memFree=29773696/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=336640 CPUtime=102.28 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 22906 0 0 0 10220 8 0 0 20 0 1 0 125001865 344719360 77618 33554432000 4194304 6211289 140734925799408 140734925797752 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 84160 77618 219 493 0 83657 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 336640

[startup+162.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/177 20639
/proc/meminfo: memFree=29735320/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=470884 CPUtime=162.26 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 23528 0 0 0 16217 9 0 0 20 0 1 0 125001865 482185216 86865 33554432000 4194304 6211289 140734925799408 140734925797320 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 117721 86865 219 493 0 117218 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 470884

[startup+222.307 s]
/proc/loadavg: 2.21 2.12 2.10 4/177 20640
/proc/meminfo: memFree=29668288/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=519868 CPUtime=222.26 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32376 0 0 0 22215 11 0 0 20 0 1 0 125001865 532344832 103600 33554432000 4194304 6211289 140734925799408 140734925797752 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 129967 103600 219 493 0 129464 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 519868

[startup+282.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/177 20641
/proc/meminfo: memFree=29668540/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=520028 CPUtime=282.25 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32390 0 0 0 28214 11 0 0 20 0 1 0 125001865 532508672 103614 33554432000 4194304 6211289 140734925799408 140734925797400 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130007 103614 219 493 0 129504 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 520028

[startup+342.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/178 20646
/proc/meminfo: memFree=29665820/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=520508 CPUtime=342.24 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32632 0 0 0 34213 11 0 0 20 0 1 0 125001865 533000192 103872 33554432000 4194304 6211289 140734925799408 140734925797400 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130127 103872 219 493 0 129624 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 520508

[startup+402.3 s]
/proc/loadavg: 2.17 2.13 2.09 4/177 20647
/proc/meminfo: memFree=29649316/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=521024 CPUtime=402.22 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32743 0 0 0 40211 11 0 0 20 0 1 0 125001865 533528576 107885 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130256 107885 219 493 0 129753 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 521024

[startup+462.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 20648
/proc/meminfo: memFree=29649212/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=521024 CPUtime=462.19 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32794 0 0 0 46208 11 0 0 20 0 1 0 125001865 533528576 107900 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130256 107900 219 493 0 129753 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 521024

[startup+522.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/178 20650
/proc/meminfo: memFree=29648688/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=521184 CPUtime=522.18 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32926 0 0 0 52207 11 0 0 20 0 1 0 125001865 533692416 108017 33554432000 4194304 6211289 140734925799408 140734925797752 4244782 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130296 108017 219 493 0 129793 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 521184

[startup+582.3 s]
/proc/loadavg: 2.20 2.13 2.10 4/177 20651
/proc/meminfo: memFree=29648996/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=521344 CPUtime=582.17 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 32955 0 0 0 58206 11 0 0 20 0 1 0 125001865 533856256 108046 33554432000 4194304 6211289 140734925799408 140734925797320 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 130336 108046 219 493 0 129833 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 521344


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


[startup+882.307 s]
/proc/loadavg: 2.12 2.14 2.09 3/177 20657
/proc/meminfo: memFree=29520512/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=738892 CPUtime=882.13 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 34375 0 0 0 88200 13 0 0 20 0 1 0 125001865 756625408 139689 33554432000 4194304 6211289 140734925799408 140734925797752 4202033 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 184723 139689 219 493 0 184220 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 738892

[startup+942.3 s]
/proc/loadavg: 2.20 2.16 2.10 4/178 20662
/proc/meminfo: memFree=29411776/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832228 CPUtime=942.11 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 48495 0 0 0 94195 16 0 0 20 0 1 0 125001865 852201472 166584 33554432000 4194304 6211289 140734925799408 140734925797320 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208057 166584 219 493 0 207554 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 832228

[startup+1002.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 20663
/proc/meminfo: memFree=29384472/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832420 CPUtime=1002.11 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49146 0 0 0 100194 17 0 0 20 0 1 0 125001865 852398080 173367 33554432000 4194304 6211289 140734925799408 140734925797752 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208105 173367 219 493 0 207602 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 832420

[startup+1062.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/177 20664
/proc/meminfo: memFree=29384160/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832420 CPUtime=1062.1 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49173 0 0 0 106193 17 0 0 20 0 1 0 125001865 852398080 173394 33554432000 4194304 6211289 140734925799408 140734925797752 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208105 173394 219 493 0 207602 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 832420

[startup+1122.3 s]
/proc/loadavg: 2.16 2.14 2.09 4/177 20665
/proc/meminfo: memFree=29384284/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832420 CPUtime=1122.09 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49173 0 0 0 112192 17 0 0 20 0 1 0 125001865 852398080 173394 33554432000 4194304 6211289 140734925799408 140734925797752 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208105 173394 219 493 0 207602 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 832420

[startup+1182.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/177 20666
/proc/meminfo: memFree=29383780/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1182.08 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49182 0 0 0 118191 17 0 0 20 0 1 0 125001865 852594688 173403 33554432000 4194304 6211289 140734925799408 140734925797752 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 173403 219 493 0 207650 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 832612

[startup+1242.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/177 20668
/proc/meminfo: memFree=29383280/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1242.07 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49182 0 0 0 124190 17 0 0 20 0 1 0 125001865 852594688 173403 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 173403 219 493 0 207650 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 832612

[startup+1302.3 s]
/proc/loadavg: 2.13 2.14 2.09 4/177 20669
/proc/meminfo: memFree=29345368/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1302.06 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49261 0 0 0 130189 17 0 0 20 0 1 0 125001865 852594688 181103 33554432000 4194304 6211289 140734925799408 140734925797752 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 181103 219 493 0 207650 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 832612

[startup+1362.3 s]
/proc/loadavg: 2.13 2.14 2.09 4/177 20670
/proc/meminfo: memFree=29341400/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1362.05 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49261 0 0 0 136188 17 0 0 20 0 1 0 125001865 852594688 182260 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 182260 219 493 0 207650 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 832612

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 20671
/proc/meminfo: memFree=29308252/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1422.05 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49291 0 0 0 142188 17 0 0 20 0 1 0 125001865 852594688 188422 33554432000 4194304 6211289 140734925799408 140734925797752 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 188422 219 493 0 207650 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 832612

[startup+1482.3 s]
/proc/loadavg: 2.29 2.17 2.10 4/177 20672
/proc/meminfo: memFree=29303908/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832612 CPUtime=1482.03 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49291 0 0 0 148186 17 0 0 20 0 1 0 125001865 852594688 188422 33554432000 4194304 6211289 140734925799408 140734925797752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208153 188422 219 493 0 207650 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 832612

[startup+1542.31 s]
/proc/loadavg: 2.25 2.19 2.11 3/178 20677
/proc/meminfo: memFree=29303176/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832996 CPUtime=1542.03 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49336 0 0 0 154186 17 0 0 20 0 1 0 125001865 852987904 188467 33554432000 4194304 6211289 140734925799408 140734925797320 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208249 188467 219 493 0 207746 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 832996

[startup+1602.3 s]
/proc/loadavg: 2.22 2.18 2.11 3/177 20678
/proc/meminfo: memFree=29303180/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832996 CPUtime=1602.01 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49343 0 0 0 160184 17 0 0 20 0 1 0 125001865 852987904 188474 33554432000 4194304 6211289 140734925799408 140734925797752 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208249 188474 219 493 0 207746 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 832996

[startup+1662.3 s]
/proc/loadavg: 2.23 2.19 2.11 4/177 20679
/proc/meminfo: memFree=29303056/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=832996 CPUtime=1662 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49359 0 0 0 166183 17 0 0 20 0 1 0 125001865 852987904 188490 33554432000 4194304 6211289 140734925799408 140734925797752 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208249 188490 219 493 0 207746 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 832996

[startup+1722.3 s]
/proc/loadavg: 2.19 2.19 2.11 4/177 20680
/proc/meminfo: memFree=29303056/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=833188 CPUtime=1721.99 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49378 0 0 0 172182 17 0 0 20 0 1 0 125001865 853184512 188509 33554432000 4194304 6211289 140734925799408 140734925797272 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208297 188509 219 493 0 207794 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 833188

[startup+1782.3 s]
/proc/loadavg: 2.12 2.16 2.10 3/177 20727
/proc/meminfo: memFree=29308512/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=833380 CPUtime=1781.98 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49448 0 0 0 178181 17 0 0 20 0 1 0 125001865 853381120 197777 33554432000 4194304 6211289 140734925799408 140734925797752 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208345 197777 219 493 0 207842 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 833380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.17 2.10 3/177 20727
/proc/meminfo: memFree=29264020/32872528 swapFree=12328/568296
[pid=20636] ppid=20633 vsize=833380 CPUtime=1800.08 cores=0,2,4,6
/proc/20636/stat : 20636 (cdcl-cuttingpla) R 20633 20636 20245 0 -1 4202496 49448 0 0 0 179991 17 0 0 20 0 1 0 125001865 853381120 197777 33554432000 4194304 6211289 140734925799408 140734925797752 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/20636/statm: 208345 197777 219 493 0 207842 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 833380

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 20636 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.09
CPU user time (s): 1799.91
CPU system time (s): 0.181972
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 833380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.181972
maximum resident set size= 791108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49448
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= 67
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72128 second user time and 6.80497 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-09 02:04:53
IDJOB=4087708
IDBENCH=24992
IDSOLVER=2549
FILE ID=node138/4087708-1465430693
RUNJOBID= node138-1465427010-20261
PBS_JOBID= 19859777
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087708-1465430693/watcher-4087708-1465430693 -o /tmp/evaluation-result-4087708-1465430693/solver-4087708-1465430693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465427010-20261 --watchdog 1960 --input HOME/instance-4087708-1465430693.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3
RANDOM SEED=547412963

node138.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.807
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.61
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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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.807
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.807
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.807
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.807
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.807
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:        30139676 kB
Buffers:          119704 kB
Cached:          1027668 kB
SwapCached:        46616 kB
Active:           814304 kB
Inactive:         610044 kB
Active(anon):     231504 kB
Inactive(anon):    47808 kB
Active(file):     582800 kB
Inactive(file):   562236 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053732 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:        883616 kB
Mapped:             9144 kB
Shmem:                 0 kB
Slab:             609412 kB
SReclaimable:      53040 kB
SUnreclaim:       556372 kB
KernelStack:        1472 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     928376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    737280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node138 at 2016-06-09 02:34:54