Trace number 4103095

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.09/0.10	c * #variable= 1272 #constraint= 94289
0.29/0.31	c * #variable= 1272 #constraint= 94289
1.89/1.96	c S1->S2
1.89/1.96	c S2->S1
1.89/1.96	c #Conflicts:       1000 | #Learnt:        752 | 0.000
1.89/1.96	c total clause space: 48.1602MB
1.89/1.96	c total #watches: 315379
7.80/7.85	c total #propagations: 56501 / total #impl: 115177 (eff. 0.491)
7.80/7.85	c #Conflicts:       2000 | #Learnt:       1752 | 0.000
7.80/7.85	c total clause space: 78.2603MB
7.80/7.85	c total #watches: 419291
12.49/12.58	c total #propagations: 136832 / total #impl: 275071 (eff. 0.497)
12.49/12.58	c GC COLLECT
12.49/12.58	c #Conflicts:       3000 | #Learnt:       1887 | 0.000
12.49/12.58	c total clause space: 78.2603MB
12.49/12.58	c total #watches: 386761
20.29/20.39	c total #propagations: 218029 / total #impl: 431337 (eff. 0.505)
20.29/20.39	c #Conflicts:       4000 | #Learnt:       2887 | 0.000
20.29/20.39	c total clause space: 127.173MB
20.29/20.39	c total #watches: 490835
27.39/27.41	c total #propagations: 295611 / total #impl: 573878 (eff. 0.515)
27.39/27.41	c GC COLLECT
27.39/27.41	c #Conflicts:       5000 | #Learnt:       2295 | 0.000
27.39/27.41	c total clause space: 127.173MB
27.39/27.41	c total #watches: 447421
35.88/35.94	c total #propagations: 368285 / total #impl: 718969 (eff. 0.512)
35.88/35.94	c #Conflicts:       6000 | #Learnt:       3295 | 0.000
35.88/35.94	c total clause space: 127.173MB
35.88/35.94	c total #watches: 561274
45.89/45.90	c total #propagations: 440083 / total #impl: 851788 (eff. 0.517)
45.89/45.90	c GC COLLECT
45.89/45.90	c #Conflicts:       7000 | #Learnt:       2197 | 0.000
45.89/45.90	c total clause space: 127.173MB
45.89/45.90	c total #watches: 435378
52.09/52.15	c total #propagations: 515585 / total #impl: 990667 (eff. 0.520)
52.09/52.15	c #Conflicts:       8000 | #Learnt:       3197 | 0.000
52.09/52.15	c total clause space: 127.173MB
52.09/52.15	c total #watches: 505639
61.78/61.80	c total #propagations: 599647 / total #impl: 1135706 (eff. 0.528)
61.78/61.80	c #Conflicts:       9000 | #Learnt:       4197 | 0.000
61.78/61.80	c total clause space: 127.173MB
61.78/61.80	c total #watches: 557774
72.59/72.63	c total #propagations: 688096 / total #impl: 1295880 (eff. 0.531)
72.59/72.63	c GC COLLECT
72.59/72.63	c #Conflicts:      10000 | #Learnt:       2709 | 0.000
72.59/72.63	c total clause space: 127.173MB
72.59/72.63	c total #watches: 384647
77.88/77.98	c total #propagations: 769156 / total #impl: 1458343 (eff. 0.527)
77.88/77.98	c #Conflicts:      11000 | #Learnt:       3709 | 0.000
77.88/77.98	c total clause space: 127.173MB
77.88/77.98	c total #watches: 513029
85.28/85.31	c total #propagations: 839108 / total #impl: 1597277 (eff. 0.525)
85.28/85.31	c #Conflicts:      12000 | #Learnt:       4709 | 0.000
85.28/85.31	c total clause space: 127.173MB
85.28/85.31	c total #watches: 623419
99.67/99.75	c total #propagations: 919633 / total #impl: 1740672 (eff. 0.528)
99.67/99.75	c #Conflicts:      13000 | #Learnt:       5709 | 0.000
99.67/99.75	c total clause space: 127.173MB
99.67/99.75	c total #watches: 704662
112.67/112.76	c total #propagations: 993558 / total #impl: 1885382 (eff. 0.527)
112.67/112.76	c GC COLLECT
112.67/112.76	c #Conflicts:      14000 | #Learnt:       3863 | 0.000
112.67/112.76	c total clause space: 127.173MB
112.67/112.76	c total #watches: 569880
123.37/123.46	c total #propagations: 1079287 / total #impl: 2069957 (eff. 0.521)
123.37/123.46	c #Conflicts:      15000 | #Learnt:       4863 | 0.000
123.37/123.46	c total clause space: 127.173MB
123.37/123.46	c total #watches: 662612
134.47/134.59	c total #propagations: 1159046 / total #impl: 2213311 (eff. 0.524)
134.47/134.59	c #Conflicts:      16000 | #Learnt:       5863 | 0.000
134.47/134.59	c total clause space: 206.656MB
134.47/134.59	c total #watches: 760447
143.97/144.01	c total #propagations: 1243401 / total #impl: 2360501 (eff. 0.527)
143.97/144.01	c GC COLLECT
143.97/144.01	c #Conflicts:      17000 | #Learnt:       3687 | 0.000
143.97/144.01	c total clause space: 206.656MB
143.97/144.01	c total #watches: 492983
154.26/154.30	c total #propagations: 1330335 / total #impl: 2513383 (eff. 0.529)
154.26/154.30	c #Conflicts:      18000 | #Learnt:       4687 | 0.000
154.26/154.30	c total clause space: 206.656MB
154.26/154.30	c total #watches: 563669
163.97/164.07	c total #propagations: 1423308 / total #impl: 2708074 (eff. 0.526)
163.97/164.07	c #Conflicts:      19000 | #Learnt:       5687 | 0.000
163.97/164.07	c total clause space: 206.656MB
163.97/164.07	c total #watches: 625071
177.17/177.25	c total #propagations: 1532785 / total #impl: 2946225 (eff. 0.520)
177.17/177.25	c #Conflicts:      20000 | #Learnt:       6687 | 0.000
177.17/177.25	c total clause space: 206.656MB
177.17/177.25	c total #watches: 647193
184.96/185.00	c total #propagations: 1641985 / total #impl: 3175800 (eff. 0.517)
184.96/185.00	c GC COLLECT
184.96/185.00	c #Conflicts:      21000 | #Learnt:       4191 | 0.000
184.96/185.00	c total clause space: 206.656MB
184.96/185.00	c total #watches: 475036
193.86/193.90	c total #propagations: 1726033 / total #impl: 3343844 (eff. 0.516)
193.86/193.90	c #Conflicts:      22000 | #Learnt:       5191 | 0.000
193.86/193.90	c total clause space: 206.656MB
193.86/193.90	c total #watches: 610134
207.66/207.70	c total #propagations: 1799752 / total #impl: 3484165 (eff. 0.517)
207.66/207.70	c #Conflicts:      23000 | #Learnt:       6191 | 0.000
207.66/207.70	c total clause space: 206.656MB
207.66/207.70	c total #watches: 698419
226.26/226.34	c total #propagations: 1879574 / total #impl: 3636184 (eff. 0.517)
226.26/226.34	c #Conflicts:      24000 | #Learnt:       7191 | 0.000
226.26/226.34	c total clause space: 206.656MB
226.26/226.34	c total #watches: 793713
243.26/243.39	c total #propagations: 1959517 / total #impl: 3790165 (eff. 0.517)
243.26/243.39	c GC COLLECT
243.26/243.39	c #Conflicts:      25000 | #Learnt:       4391 | 0.000
243.26/243.39	c total clause space: 206.656MB
243.26/243.39	c total #watches: 661162
256.26/256.34	c total #propagations: 2030975 / total #impl: 3930980 (eff. 0.517)
256.26/256.34	c #Conflicts:      26000 | #Learnt:       5391 | 0.000
256.26/256.34	c total clause space: 206.656MB
256.26/256.34	c total #watches: 767905
272.76/272.86	c total #propagations: 2106271 / total #impl: 4079442 (eff. 0.516)
272.76/272.86	c #Conflicts:      27000 | #Learnt:       6391 | 0.000
272.76/272.86	c total clause space: 206.656MB
272.76/272.86	c total #watches: 806154
297.15/297.21	c total #propagations: 2195377 / total #impl: 4239137 (eff. 0.518)
297.15/297.21	c #Conflicts:      28000 | #Learnt:       7391 | 0.000
297.15/297.21	c total clause space: 206.656MB
297.15/297.21	c total #watches: 855629
318.24/318.33	c total #propagations: 2290852 / total #impl: 4462552 (eff. 0.513)
318.24/318.33	c GC COLLECT
318.24/318.33	c #Conflicts:      29000 | #Learnt:       4280 | 0.000
318.24/318.33	c total clause space: 206.656MB
318.24/318.33	c total #watches: 519068
327.14/327.28	c total #propagations: 2367735 / total #impl: 4616708 (eff. 0.513)
327.14/327.28	c #Conflicts:      30000 | #Learnt:       5280 | 0.000
327.14/327.28	c total clause space: 206.656MB
327.14/327.28	c total #watches: 626978
341.64/341.70	c total #propagations: 2448973 / total #impl: 4770451 (eff. 0.513)
341.64/341.70	c #Conflicts:      31000 | #Learnt:       6280 | 0.000
341.64/341.70	c total clause space: 206.656MB
341.64/341.70	c total #watches: 722397
355.73/355.89	c total #propagations: 2521912 / total #impl: 4916305 (eff. 0.513)
355.73/355.89	c #Conflicts:      32000 | #Learnt:       7280 | 0.000
355.73/355.89	c total clause space: 206.656MB
355.73/355.89	c total #watches: 822731
377.83/377.97	c total #propagations: 2596630 / total #impl: 5056303 (eff. 0.514)
377.83/377.97	c #Conflicts:      33000 | #Learnt:       8280 | 0.000
377.83/377.97	c total clause space: 206.656MB
377.83/377.97	c total #watches: 911233
398.93/399.06	c total #propagations: 2681775 / total #impl: 5229117 (eff. 0.513)
398.93/399.06	c GC COLLECT
398.93/399.06	c #Conflicts:      34000 | #Learnt:       4873 | 0.000
398.93/399.06	c total clause space: 206.656MB
398.93/399.06	c total #watches: 702068
418.83/418.92	c total #propagations: 2751889 / total #impl: 5363497 (eff. 0.513)
418.83/418.92	c #Conflicts:      35000 | #Learnt:       5873 | 0.000
418.83/418.92	c total clause space: 206.656MB
418.83/418.92	c total #watches: 770776
446.63/446.71	c total #propagations: 2834663 / total #impl: 5519403 (eff. 0.514)
446.63/446.71	c #Conflicts:      36000 | #Learnt:       6873 | 0.000
446.63/446.71	c total clause space: 206.656MB
446.63/446.71	c total #watches: 797870
471.62/471.78	c total #propagations: 2933000 / total #impl: 5754542 (eff. 0.510)
471.62/471.78	c #Conflicts:      37000 | #Learnt:       7873 | 0.000
471.62/471.78	c total clause space: 206.656MB
471.62/471.78	c total #watches: 849255
486.13/486.28	c total #propagations: 3036444 / total #impl: 6019105 (eff. 0.504)
486.13/486.28	c #Conflicts:      38000 | #Learnt:       8873 | 0.000
486.13/486.28	c total clause space: 206.656MB
486.13/486.28	c total #watches: 933501
501.71/501.84	c total #propagations: 3118629 / total #impl: 6173158 (eff. 0.505)
501.71/501.84	c GC COLLECT
501.71/501.84	c #Conflicts:      39000 | #Learnt:       5174 | 0.000
501.71/501.84	c total clause space: 206.656MB
501.71/501.84	c total #watches: 453914
509.81/509.93	c total #propagations: 3248310 / total #impl: 6405083 (eff. 0.507)
509.81/509.93	c #Conflicts:      40000 | #Learnt:       6174 | 0.000
509.81/509.93	c total clause space: 206.656MB
509.81/509.93	c total #watches: 465055
519.01/519.11	c total #propagations: 3377486 / total #impl: 6673527 (eff. 0.506)
519.01/519.11	c #Conflicts:      41000 | #Learnt:       7174 | 0.000
519.01/519.11	c total clause space: 206.656MB
519.01/519.11	c total #watches: 491641
530.41/530.56	c total #propagations: 3488659 / total #impl: 6929068 (eff. 0.503)
530.41/530.56	c #Conflicts:      42000 | #Learnt:       8174 | 0.000
530.41/530.56	c total clause space: 206.656MB
530.41/530.56	c total #watches: 553139
541.01/541.18	c total #propagations: 3591652 / total #impl: 7177174 (eff. 0.500)
541.01/541.18	c #Conflicts:      43000 | #Learnt:       9174 | 0.000
541.01/541.18	c total clause space: 206.656MB
541.01/541.18	c total #watches: 590782
554.31/554.41	c total #propagations: 3698872 / total #impl: 7405837 (eff. 0.499)
554.31/554.41	c GC COLLECT
554.31/554.41	c #Conflicts:      44000 | #Learnt:       5171 | 0.000
554.31/554.41	c total clause space: 206.656MB
554.31/554.41	c total #watches: 471905
559.21/559.34	c total #propagations: 3819836 / total #impl: 7698662 (eff. 0.496)
559.21/559.34	c #Conflicts:      45000 | #Learnt:       6171 | 0.000
559.21/559.34	c total clause space: 206.656MB
559.21/559.34	c total #watches: 559910
567.80/567.96	c total #propagations: 3902122 / total #impl: 7844458 (eff. 0.497)
567.80/567.96	c #Conflicts:      46000 | #Learnt:       7171 | 0.000
567.80/567.96	c total clause space: 206.656MB
567.80/567.96	c total #watches: 594872
577.70/577.86	c total #propagations: 3997725 / total #impl: 8001265 (eff. 0.500)
577.70/577.86	c #Conflicts:      47000 | #Learnt:       8171 | 0.000
577.70/577.86	c total clause space: 206.656MB
577.70/577.86	c total #watches: 672385
592.91/593.03	c total #propagations: 4109769 / total #impl: 8223657 (eff. 0.500)
592.91/593.03	c #Conflicts:      48000 | #Learnt:       9171 | 0.000
592.91/593.03	c total clause space: 206.656MB
592.91/593.03	c total #watches: 742399
609.50/609.60	c total #propagations: 4186791 / total #impl: 8378272 (eff. 0.500)
609.50/609.60	c #Conflicts:      49000 | #Learnt:      10171 | 0.000
609.50/609.60	c total clause space: 206.656MB
609.50/609.60	c total #watches: 829275
624.90/625.02	c total #propagations: 4262289 / total #impl: 8526236 (eff. 0.500)
624.90/625.02	c GC COLLECT
624.90/625.02	c #Conflicts:      50000 | #Learnt:       5867 | 0.000
624.90/625.02	c total clause space: 206.656MB
624.90/625.02	c total #watches: 547381
635.19/635.32	c total #propagations: 4344864 / total #impl: 8679802 (eff. 0.501)
635.19/635.32	c #Conflicts:      51000 | #Learnt:       6867 | 0.000
635.19/635.32	c total clause space: 206.656MB
635.19/635.32	c total #watches: 657481
649.89/650.04	c total #propagations: 4419750 / total #impl: 8823629 (eff. 0.501)
649.89/650.04	c #Conflicts:      52000 | #Learnt:       7867 | 0.000
649.89/650.04	c total clause space: 206.656MB
649.89/650.04	c total #watches: 752885
667.99/668.14	c total #propagations: 4494870 / total #impl: 8967295 (eff. 0.501)
667.99/668.14	c #Conflicts:      53000 | #Learnt:       8867 | 0.000
667.99/668.14	c total clause space: 206.656MB
667.99/668.14	c total #watches: 817729
693.58/693.73	c total #propagations: 4576025 / total #impl: 9115944 (eff. 0.502)
693.58/693.73	c #Conflicts:      54000 | #Learnt:       9867 | 0.000
693.58/693.73	c total clause space: 206.656MB
693.58/693.73	c total #watches: 840285
714.88/715.03	c total #propagations: 4676448 / total #impl: 9298481 (eff. 0.503)
714.88/715.03	c #Conflicts:      55000 | #Learnt:      10867 | 0.000
714.88/715.03	c total clause space: 206.656MB
714.88/715.03	c total #watches: 899156
727.66/727.85	c total #propagations: 4764775 / total #impl: 9473263 (eff. 0.503)
727.66/727.85	c GC COLLECT
727.66/727.85	c #Conflicts:      56000 | #Learnt:       6264 | 0.000
727.66/727.85	c total clause space: 335.816MB
727.66/727.85	c total #watches: 552179
737.36/737.55	c total #propagations: 4837096 / total #impl: 9616818 (eff. 0.503)
737.36/737.55	c #Conflicts:      57000 | #Learnt:       7264 | 0.000
737.36/737.55	c total clause space: 335.816MB
737.36/737.55	c total #watches: 669549
752.95/753.16	c total #propagations: 4907078 / total #impl: 9754263 (eff. 0.503)
752.95/753.16	c #Conflicts:      58000 | #Learnt:       8264 | 0.000
752.95/753.16	c total clause space: 335.816MB
752.95/753.16	c total #watches: 753435
769.24/769.43	c total #propagations: 4991082 / total #impl: 9906955 (eff. 0.504)
769.24/769.43	c #Conflicts:      59000 | #Learnt:       9264 | 0.000
769.24/769.43	c total clause space: 335.816MB
769.24/769.43	c total #watches: 875637
794.24/794.43	c total #propagations: 5066005 / total #impl: 10054043 (eff. 0.504)
794.24/794.43	c #Conflicts:      60000 | #Learnt:      10264 | 0.000
794.24/794.43	c total clause space: 335.816MB
794.24/794.43	c total #watches: 937485
819.73/819.97	c total #propagations: 5142315 / total #impl: 10205386 (eff. 0.504)
819.73/819.97	c #Conflicts:      61000 | #Learnt:      11264 | 0.000
819.73/819.97	c total clause space: 335.816MB
819.73/819.97	c total #watches: 977460
835.95/836.17	c total #propagations: 5224901 / total #impl: 10362371 (eff. 0.504)
835.95/836.17	c GC COLLECT
835.95/836.17	c #Conflicts:      62000 | #Learnt:       6366 | 0.000
835.95/836.17	c total clause space: 335.816MB
835.95/836.17	c total #watches: 560600
848.14/848.35	c total #propagations: 5307486 / total #impl: 10524312 (eff. 0.504)
848.14/848.35	c #Conflicts:      63000 | #Learnt:       7366 | 0.000
848.14/848.35	c total clause space: 335.816MB
848.14/848.35	c total #watches: 591179
864.83/865.01	c total #propagations: 5395583 / total #impl: 10688593 (eff. 0.505)
864.83/865.01	c #Conflicts:      64000 | #Learnt:       8366 | 0.000
864.83/865.01	c total clause space: 335.816MB
864.83/865.01	c total #watches: 620315
884.13/884.30	c total #propagations: 5514776 / total #impl: 10936118 (eff. 0.504)
884.13/884.30	c #Conflicts:      65000 | #Learnt:       9366 | 0.000
884.13/884.30	c total clause space: 335.816MB
884.13/884.30	c total #watches: 639942
899.93/900.19	c total #propagations: 5664488 / total #impl: 11266002 (eff. 0.503)
899.93/900.19	c #Conflicts:      66000 | #Learnt:      10366 | 0.000
899.93/900.19	c total clause space: 335.816MB
899.93/900.19	c total #watches: 688012
913.23/913.48	c total #propagations: 5789877 / total #impl: 11529334 (eff. 0.502)
913.23/913.48	c #Conflicts:      67000 | #Learnt:      11366 | 0.000
913.23/913.48	c total clause space: 335.816MB
913.23/913.48	c total #watches: 775771
930.62/930.83	c total #propagations: 5869061 / total #impl: 11688105 (eff. 0.502)
930.62/930.83	c #Conflicts:      68000 | #Learnt:      12366 | 0.000
930.62/930.83	c total clause space: 335.816MB
930.62/930.83	c total #watches: 872813
940.62/940.83	c total #propagations: 5942239 / total #impl: 11827731 (eff. 0.502)
940.62/940.83	c GC COLLECT
940.62/940.83	c #Conflicts:      69000 | #Learnt:       7164 | 0.000
940.62/940.83	c total clause space: 335.816MB
940.62/940.83	c total #watches: 661880
955.73/956.00	c total #propagations: 6021190 / total #impl: 11968938 (eff. 0.503)
955.73/956.00	c #Conflicts:      70000 | #Learnt:       8164 | 0.000
955.73/956.00	c total clause space: 335.816MB
955.73/956.00	c total #watches: 745433
975.72/975.96	c total #propagations: 6096354 / total #impl: 12123721 (eff. 0.503)
975.72/975.96	c #Conflicts:      71000 | #Learnt:       9164 | 0.000
975.72/975.96	c total clause space: 335.816MB
975.72/975.96	c total #watches: 796058
996.11/996.33	c total #propagations: 6175842 / total #impl: 12283806 (eff. 0.503)
996.11/996.33	c #Conflicts:      72000 | #Learnt:      10164 | 0.000
996.11/996.33	c total clause space: 335.816MB
996.11/996.33	c total #watches: 859438
1017.91/1018.12	c total #propagations: 6251854 / total #impl: 12436227 (eff. 0.503)
1017.91/1018.12	c #Conflicts:      73000 | #Learnt:      11164 | 0.000
1017.91/1018.12	c total clause space: 335.816MB
1017.91/1018.12	c total #watches: 892350
1045.71/1045.90	c total #propagations: 6339879 / total #impl: 12604938 (eff. 0.503)
1045.71/1045.90	c #Conflicts:      74000 | #Learnt:      12164 | 0.000
1045.71/1045.90	c total clause space: 335.816MB
1045.71/1045.90	c total #watches: 915283
1065.50/1065.76	c total #propagations: 6444975 / total #impl: 12846446 (eff. 0.502)
1065.50/1065.76	c GC COLLECT
1065.50/1065.76	c #Conflicts:      75000 | #Learnt:       6654 | 0.000
1065.50/1065.76	c total clause space: 335.816MB
1065.50/1065.76	c total #watches: 620883
1077.50/1077.74	c total #propagations: 6525412 / total #impl: 13005191 (eff. 0.502)
1077.50/1077.74	c #Conflicts:      76000 | #Learnt:       7654 | 0.000
1077.50/1077.74	c total clause space: 335.816MB
1077.50/1077.74	c total #watches: 711336
1089.30/1089.57	c total #propagations: 6602323 / total #impl: 13155090 (eff. 0.502)
1089.30/1089.57	c #Conflicts:      77000 | #Learnt:       8654 | 0.000
1089.30/1089.57	c total clause space: 335.816MB
1089.30/1089.57	c total #watches: 833834
1106.59/1106.86	c total #propagations: 6676791 / total #impl: 13287937 (eff. 0.502)
1106.59/1106.86	c #Conflicts:      78000 | #Learnt:       9654 | 0.000
1106.59/1106.86	c total clause space: 335.816MB
1106.59/1106.86	c total #watches: 933015
1132.99/1133.20	c total #propagations: 6748989 / total #impl: 13448510 (eff. 0.502)
1132.99/1133.20	c #Conflicts:      79000 | #Learnt:      10654 | 0.000
1132.99/1133.20	c total clause space: 335.816MB
1132.99/1133.20	c total #watches: 1009473
1164.18/1164.49	c total #propagations: 6827503 / total #impl: 13638869 (eff. 0.501)
1164.18/1164.49	c #Conflicts:      80000 | #Learnt:      11654 | 0.000
1164.18/1164.49	c total clause space: 335.816MB
1164.18/1164.49	c total #watches: 1062213
1195.08/1195.32	c total #propagations: 6909708 / total #impl: 13797220 (eff. 0.501)
1195.08/1195.32	c #Conflicts:      81000 | #Learnt:      12654 | 0.000
1195.08/1195.32	c total clause space: 335.816MB
1195.08/1195.32	c total #watches: 1121605
1229.18/1229.46	c total #propagations: 6992974 / total #impl: 13950504 (eff. 0.501)
1229.18/1229.46	c GC COLLECT
1229.18/1229.46	c #Conflicts:      82000 | #Learnt:       6853 | 0.000
1229.18/1229.46	c total clause space: 335.816MB
1229.18/1229.46	c total #watches: 636569
1241.78/1242.02	c total #propagations: 7108907 / total #impl: 14166486 (eff. 0.502)
1241.78/1242.02	c #Conflicts:      83000 | #Learnt:       7853 | 0.000
1241.78/1242.02	c total clause space: 335.816MB
1241.78/1242.02	c total #watches: 716037
1262.27/1262.51	c total #propagations: 7186147 / total #impl: 14309546 (eff. 0.502)
1262.27/1262.51	c #Conflicts:      84000 | #Learnt:       8853 | 0.000
1262.27/1262.51	c total clause space: 335.816MB
1262.27/1262.51	c total #watches: 736416
1281.17/1281.48	c total #propagations: 7310315 / total #impl: 14565388 (eff. 0.502)
1281.17/1281.48	c #Conflicts:      85000 | #Learnt:       9853 | 0.000
1281.17/1281.48	c total clause space: 335.816MB
1281.17/1281.48	c total #watches: 749526
1298.77/1299.08	c total #propagations: 7424593 / total #impl: 14808426 (eff. 0.501)
1298.77/1299.08	c #Conflicts:      86000 | #Learnt:      10853 | 0.000
1298.77/1299.08	c total clause space: 335.816MB
1298.77/1299.08	c total #watches: 770110
1325.16/1325.46	c total #propagations: 7533595 / total #impl: 15031877 (eff. 0.501)
1325.16/1325.46	c #Conflicts:      87000 | #Learnt:      11853 | 0.000
1325.16/1325.46	c total clause space: 335.816MB
1325.16/1325.46	c total #watches: 796378
1347.86/1348.14	c total #propagations: 7644756 / total #impl: 15285017 (eff. 0.500)
1347.86/1348.14	c #Conflicts:      88000 | #Learnt:      12853 | 0.000
1347.86/1348.14	c total clause space: 335.816MB
1347.86/1348.14	c total #watches: 839883
1362.56/1362.85	c total #propagations: 7744177 / total #impl: 15518644 (eff. 0.499)
1362.56/1362.85	c #Conflicts:      89000 | #Learnt:      13853 | 0.000
1362.56/1362.85	c total clause space: 335.816MB
1362.56/1362.85	c total #watches: 885375
1378.75/1379.07	c total #propagations: 7834561 / total #impl: 15675108 (eff. 0.500)
1378.75/1379.07	c GC COLLECT
1378.75/1379.07	c #Conflicts:      90000 | #Learnt:       7751 | 0.000
1378.75/1379.07	c total clause space: 335.816MB
1378.75/1379.07	c total #watches: 727890
1390.16/1390.48	c total #propagations: 7941063 / total #impl: 15925746 (eff. 0.499)
1390.16/1390.48	c #Conflicts:      91000 | #Learnt:       8751 | 0.000
1390.16/1390.48	c total clause space: 335.816MB
1390.16/1390.48	c total #watches: 806750
1406.05/1406.37	c total #propagations: 8020974 / total #impl: 16066882 (eff. 0.499)
1406.05/1406.37	c #Conflicts:      92000 | #Learnt:       9751 | 0.000
1406.05/1406.37	c total clause space: 335.816MB
1406.05/1406.37	c total #watches: 839002
1430.55/1430.89	c total #propagations: 8117317 / total #impl: 16244536 (eff. 0.500)
1430.55/1430.89	c #Conflicts:      93000 | #Learnt:      10751 | 0.000
1430.55/1430.89	c total clause space: 335.816MB
1430.55/1430.89	c total #watches: 866241
1458.04/1458.31	c total #propagations: 8224217 / total #impl: 16473909 (eff. 0.499)
1458.04/1458.31	c #Conflicts:      94000 | #Learnt:      11751 | 0.000
1458.04/1458.31	c total clause space: 335.816MB
1458.04/1458.31	c total #watches: 889006
1485.44/1485.76	c total #propagations: 8369506 / total #impl: 16815916 (eff. 0.498)
1485.44/1485.76	c #Conflicts:      95000 | #Learnt:      12751 | 0.000
1485.44/1485.76	c total clause space: 335.816MB
1485.44/1485.76	c total #watches: 923191
1514.33/1514.68	c total #propagations: 8504245 / total #impl: 17161026 (eff. 0.496)
1514.33/1514.68	c #Conflicts:      96000 | #Learnt:      13751 | 0.000
1514.33/1514.68	c total clause space: 335.816MB
1514.33/1514.68	c total #watches: 954278
1546.93/1547.23	c total #propagations: 8625760 / total #impl: 17483784 (eff. 0.493)
1546.93/1547.23	c #Conflicts:      97000 | #Learnt:      14751 | 0.000
1546.93/1547.23	c total clause space: 335.816MB
1546.93/1547.23	c total #watches: 971376
1565.43/1565.73	c total #propagations: 8755714 / total #impl: 17808617 (eff. 0.492)
1565.43/1565.73	c GC COLLECT
1565.43/1565.73	c #Conflicts:      98000 | #Learnt:       8345 | 0.000
1565.43/1565.73	c total clause space: 335.816MB
1565.43/1565.73	c total #watches: 745553
1583.52/1583.88	c total #propagations: 8838764 / total #impl: 17989195 (eff. 0.491)
1583.52/1583.88	c #Conflicts:      99000 | #Learnt:       9345 | 0.000
1583.52/1583.88	c total clause space: 335.816MB
1583.52/1583.88	c total #watches: 759495
1601.43/1601.78	c total #propagations: 8938785 / total #impl: 18208755 (eff. 0.491)
1601.43/1601.78	c #Conflicts:     100000 | #Learnt:      10345 | 0.000
1601.43/1601.78	c total clause space: 335.816MB
1601.43/1601.78	c total #watches: 783958
1615.62/1615.95	c total #propagations: 9033088 / total #impl: 18417446 (eff. 0.490)
1615.62/1615.95	c #Conflicts:     101000 | #Learnt:      11345 | 0.000
1615.62/1615.95	c total clause space: 335.816MB
1615.62/1615.95	c total #watches: 837024
1635.32/1635.66	c total #propagations: 9126547 / total #impl: 18622972 (eff. 0.490)
1635.32/1635.66	c #Conflicts:     102000 | #Learnt:      12345 | 0.000
1635.32/1635.66	c total clause space: 335.816MB
1635.32/1635.66	c total #watches: 868877
1658.81/1659.14	c total #propagations: 9217327 / total #impl: 18788514 (eff. 0.491)
1658.81/1659.14	c #Conflicts:     103000 | #Learnt:      13345 | 0.000
1658.81/1659.14	c total clause space: 335.816MB
1658.81/1659.14	c total #watches: 890921
1681.21/1681.50	c total #propagations: 9325915 / total #impl: 19037203 (eff. 0.490)
1681.21/1681.50	c #Conflicts:     104000 | #Learnt:      14345 | 0.000
1681.21/1681.50	c total clause space: 335.816MB
1681.21/1681.50	c total #watches: 907365
1698.81/1699.13	c total #propagations: 9435031 / total #impl: 19253370 (eff. 0.490)
1698.81/1699.13	c #Conflicts:     105000 | #Learnt:      15345 | 0.000
1698.81/1699.13	c total clause space: 335.816MB
1698.81/1699.13	c total #watches: 920324
1714.10/1714.48	c total #propagations: 9549149 / total #impl: 19471963 (eff. 0.490)
1714.10/1714.48	c GC COLLECT
1714.10/1714.48	c #Conflicts:     106000 | #Learnt:       8642 | 0.000
1714.10/1714.48	c total clause space: 335.816MB
1714.10/1714.48	c total #watches: 805627
1732.50/1732.82	c total #propagations: 9629889 / total #impl: 19625039 (eff. 0.491)
1732.50/1732.82	c #Conflicts:     107000 | #Learnt:       9642 | 0.000
1732.50/1732.82	c total clause space: 335.816MB
1732.50/1732.82	c total #watches: 887280
1755.50/1755.84	c total #propagations: 9710929 / total #impl: 19784439 (eff. 0.491)
1755.50/1755.84	c #Conflicts:     108000 | #Learnt:      10642 | 0.000
1755.50/1755.84	c total clause space: 335.816MB
1755.50/1755.84	c total #watches: 939792
1783.90/1784.26	c total #propagations: 9795297 / total #impl: 19940978 (eff. 0.491)
1783.90/1784.26	c #Conflicts:     109000 | #Learnt:      11642 | 0.000
1783.90/1784.26	c total clause space: 335.816MB
1783.90/1784.26	c total #watches: 996675

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-4103095-1466272241/watcher-4103095-1466272241 -o /tmp/evaluation-result-4103095-1466272241/solver-4103095-1466272241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4103095-1466272241.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=20480
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.40 2.32 2.28 4/177 20483
/proc/meminfo: memFree=29820084/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 29269807 57319424 7804 33554432000 4194304 6211289 140735404785728 140735404785032 4206551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 13994 7804 98 493 0 13491 0

[startup+0.100211 s]
/proc/loadavg: 2.40 2.32 2.28 4/177 20483
/proc/meminfo: memFree=29820084/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=58728 CPUtime=0.09 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 1478 0 0 0 8 1 0 0 20 0 1 0 29269807 60137472 11467 33554432000 4194304 6211289 140735404785728 140735404785032 5252361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 14682 11468 121 493 0 14179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58728

[startup+0.200347 s]
/proc/loadavg: 2.40 2.32 2.28 4/177 20483
/proc/meminfo: memFree=29820084/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=69272 CPUtime=0.19 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 3124 0 0 0 18 1 0 0 20 0 1 0 29269807 70934528 15157 33554432000 4194304 6211289 140735404785728 140735404785032 5161098 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 17318 15157 143 493 0 16815 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69272

[startup+0.300345 s]
/proc/loadavg: 2.40 2.32 2.28 4/177 20483
/proc/meminfo: memFree=29820084/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=82356 CPUtime=0.29 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 4303 0 0 0 28 1 0 0 20 0 1 0 29269807 84332544 17358 33554432000 4194304 6211289 140735404785728 140735404785032 5161098 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 20589 17359 143 493 0 20086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82356

[startup+0.70024 s]
/proc/loadavg: 2.40 2.32 2.28 4/177 20483
/proc/meminfo: memFree=29820084/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=116060 CPUtime=0.69 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 7566 0 0 0 67 2 0 0 20 0 1 0 29269807 118845440 25609 33554432000 4194304 6211289 140735404785728 140735404783640 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 29015 25609 204 493 0 28512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116060

[startup+1.50023 s]
/proc/loadavg: 2.37 2.31 2.28 3/178 20484
/proc/meminfo: memFree=29710408/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=135428 CPUtime=1.49 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 7981 0 0 0 146 3 0 0 20 0 1 0 29269807 138678272 28492 33554432000 4194304 6211289 140735404785728 140735404783640 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 33857 28492 204 493 0 33354 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135428

[startup+3.10023 s]
/proc/loadavg: 2.37 2.31 2.28 3/178 20484
/proc/meminfo: memFree=29700356/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=167704 CPUtime=3.09 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 8406 0 0 0 306 3 0 0 20 0 1 0 29269807 171728896 31459 33554432000 4194304 6211289 140735404785728 140735404783640 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 41926 31459 214 493 0 41423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 167704

[startup+6.30022 s]
/proc/loadavg: 2.34 2.31 2.27 3/178 20484
/proc/meminfo: memFree=29680344/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=168904 CPUtime=6.29 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 8706 0 0 0 625 4 0 0 20 0 1 0 29269807 172957696 34825 33554432000 4194304 6211289 140735404785728 140735404783640 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 42226 34825 214 493 0 41723 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 168904

[startup+12.7002 s]
/proc/loadavg: 2.31 2.30 2.27 3/178 20484
/proc/meminfo: memFree=29668732/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=169308 CPUtime=12.69 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 9556 0 0 0 1265 4 0 0 20 0 1 0 29269807 173371392 36633 33554432000 4194304 6211289 140735404785728 140735404784072 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 42327 36633 219 493 0 41824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169308

[startup+25.5003 s]
/proc/loadavg: 2.34 2.31 2.27 4/177 20484
/proc/meminfo: memFree=29637172/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=223900 CPUtime=25.49 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 11273 0 0 0 2545 4 0 0 20 0 1 0 29269807 229273600 43074 33554432000 4194304 6211289 140735404785728 140735404783640 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 55975 43074 219 493 0 55472 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 223900

[startup+51.1004 s]
/proc/loadavg: 2.32 2.31 2.27 3/177 20484
/proc/meminfo: memFree=29608012/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=228632 CPUtime=51.09 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 12393 0 0 0 5104 5 0 0 20 0 1 0 29269807 234119168 48791 33554432000 4194304 6211289 140735404785728 140735404784072 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 57158 48791 219 493 0 56655 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 228632

[startup+102.3 s]
/proc/loadavg: 2.42 2.33 2.28 3/177 20485
/proc/meminfo: memFree=29579080/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=231644 CPUtime=102.28 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 13498 0 0 0 10223 5 0 0 20 0 1 0 29269807 237203456 54868 33554432000 4194304 6211289 140735404785728 140735404784072 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 57911 54868 219 493 0 57408 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 231644

[startup+162.3 s]
/proc/loadavg: 2.43 2.35 2.29 4/177 20486
/proc/meminfo: memFree=29558160/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=313608 CPUtime=162.26 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 14309 0 0 0 16220 6 0 0 20 0 1 0 29269807 321134592 59903 33554432000 4194304 6211289 140735404785728 140735404783640 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 78402 59903 219 493 0 77899 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 313608

[startup+222.307 s]
/proc/loadavg: 2.41 2.36 2.29 3/177 20487
/proc/meminfo: memFree=29549040/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=315048 CPUtime=222.26 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 14974 0 0 0 22220 6 0 0 20 0 1 0 29269807 322609152 62101 33554432000 4194304 6211289 140735404785728 140735404783640 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 78762 62101 219 493 0 78259 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 315048

[startup+282.3 s]
/proc/loadavg: 2.42 2.38 2.30 3/177 20489
/proc/meminfo: memFree=29508336/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=315772 CPUtime=282.25 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 15269 0 0 0 28218 7 0 0 20 0 1 0 29269807 323350528 65462 33554432000 4194304 6211289 140735404785728 140735404783640 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 78943 65462 219 493 0 78440 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 315772

[startup+342.3 s]
/proc/loadavg: 2.42 2.38 2.30 4/177 20490
/proc/meminfo: memFree=29480340/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=316732 CPUtime=342.24 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 15511 0 0 0 34217 7 0 0 20 0 1 0 29269807 324333568 70814 33554432000 4194304 6211289 140735404785728 140735404784072 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 79183 70814 219 493 0 78680 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 316732

[startup+402.3 s]
/proc/loadavg: 2.13 2.31 2.28 3/177 23849
/proc/meminfo: memFree=29867124/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=319292 CPUtime=402.22 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 15966 0 0 0 40214 8 0 0 20 0 1 0 29269807 326955008 74846 33554432000 4194304 6211289 140735404785728 140735404784072 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 79823 74846 219 493 0 79320 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 319292

[startup+462.3 s]
/proc/loadavg: 2.06 2.25 2.26 4/177 27989
/proc/meminfo: memFree=29646832/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=319612 CPUtime=462.22 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 16023 0 0 0 46212 10 0 0 20 0 1 0 29269807 327282688 74903 33554432000 4194304 6211289 140735404785728 140735404783640 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 79903 74903 219 493 0 79400 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 319612

[startup+522.3 s]
/proc/loadavg: 2.30 2.28 2.27 4/177 27990
/proc/meminfo: memFree=29495036/32872528 swapFree=1402780/1580608
[pid=20483] ppid=20480 vsize=321852 CPUtime=522.21 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 16408 0 0 0 52211 10 0 0 20 0 1 0 29269807 329576448 75288 33554432000 4194304 6211289 140735404785728 140735404784072 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 80463 75288 219 493 0 79960 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 321852

[startup+582.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/178 27995
/proc/meminfo: memFree=29476952/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=322012 CPUtime=582.2 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 16453 0 0 0 58210 10 0 0 20 0 1 0 29269807 329740288 75333 33554432000 4194304 6211289 140735404785728 140735404784072 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 80503 75333 219 493 0 80000 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 322012


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


[startup+882.307 s]
/proc/loadavg: 2.35 2.31 2.28 4/177 28024
/proc/meminfo: memFree=29402420/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=459204 CPUtime=882.14 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 17939 0 0 0 88203 11 0 0 20 0 1 0 29269807 470224896 83012 33554432000 4194304 6211289 140735404785728 140735404784072 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 114801 83012 219 493 0 114298 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 459204

[startup+942.3 s]
/proc/loadavg: 2.33 2.32 2.28 4/177 28025
/proc/meminfo: memFree=29395780/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=459524 CPUtime=942.12 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 17986 0 0 0 94201 11 0 0 20 0 1 0 29269807 470552576 83059 33554432000 4194304 6211289 140735404785728 140735404784072 4209819 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 114881 83059 219 493 0 114378 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 459524

[startup+1002.3 s]
/proc/loadavg: 2.21 2.29 2.27 4/177 28026
/proc/meminfo: memFree=29383892/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=459524 CPUtime=1002.11 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 17995 0 0 0 100200 11 0 0 20 0 1 0 29269807 470552576 83068 33554432000 4194304 6211289 140735404785728 140735404784072 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 114881 83068 219 493 0 114378 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 459524

[startup+1062.3 s]
/proc/loadavg: 2.17 2.26 2.26 4/177 28027
/proc/meminfo: memFree=29337636/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=460324 CPUtime=1062.1 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18156 0 0 0 106199 11 0 0 20 0 1 0 29269807 471371776 86806 33554432000 4194304 6211289 140735404785728 140735404783640 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115081 86806 219 493 0 114578 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 460324

[startup+1122.3 s]
/proc/loadavg: 2.22 2.26 2.26 4/177 28028
/proc/meminfo: memFree=29307724/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=460484 CPUtime=1122.09 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18185 0 0 0 112198 11 0 0 20 0 1 0 29269807 471535616 87346 33554432000 4194304 6211289 140735404785728 140735404783592 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115121 87346 219 493 0 114618 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 460484

[startup+1182.3 s]
/proc/loadavg: 2.26 2.25 2.26 4/178 28033
/proc/meminfo: memFree=29307656/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=461764 CPUtime=1182.08 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18415 0 0 0 118197 11 0 0 20 0 1 0 29269807 472846336 87576 33554432000 4194304 6211289 140735404785728 140735404783592 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115441 87576 219 493 0 114938 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 461764

[startup+1242.3 s]
/proc/loadavg: 2.25 2.25 2.25 3/177 28034
/proc/meminfo: memFree=29286464/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=462724 CPUtime=1242.08 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18637 0 0 0 124196 12 0 0 20 0 1 0 29269807 473829376 92908 33554432000 4194304 6211289 140735404785728 140735404784072 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115681 92908 219 493 0 115178 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 462724

[startup+1302.3 s]
/proc/loadavg: 2.35 2.28 2.26 3/177 28035
/proc/meminfo: memFree=29286368/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=462724 CPUtime=1302.07 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18637 0 0 0 130195 12 0 0 20 0 1 0 29269807 473829376 92908 33554432000 4194304 6211289 140735404785728 140735404784072 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115681 92908 219 493 0 115178 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 462724

[startup+1362.3 s]
/proc/loadavg: 2.34 2.28 2.27 3/176 28036
/proc/meminfo: memFree=29287060/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=462724 CPUtime=1362.06 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18663 0 0 0 136194 12 0 0 20 0 1 0 29269807 473829376 92934 33554432000 4194304 6211289 140735404785728 140735404784072 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115681 92934 219 493 0 115178 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 462724

[startup+1422.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/177 28038
/proc/meminfo: memFree=29228532/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=462884 CPUtime=1422.05 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18675 0 0 0 142193 12 0 0 20 0 1 0 29269807 473993216 92946 33554432000 4194304 6211289 140735404785728 140735404784072 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115721 92946 219 493 0 115218 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 462884

[startup+1482.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/177 28040
/proc/meminfo: memFree=29224356/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463044 CPUtime=1482.04 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18698 0 0 0 148192 12 0 0 20 0 1 0 29269807 474157056 92969 33554432000 4194304 6211289 140735404785728 140735404783640 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115761 92969 219 493 0 115258 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 463044

[startup+1542.31 s]
/proc/loadavg: 2.25 2.25 2.26 3/177 28041
/proc/meminfo: memFree=29223148/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463620 CPUtime=1542.04 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18803 0 0 0 154192 12 0 0 20 0 1 0 29269807 474746880 93074 33554432000 4194304 6211289 140735404785728 140735404783592 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115905 93074 219 493 0 115402 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 463620

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.26 3/177 28042
/proc/meminfo: memFree=29159724/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463620 CPUtime=1602.02 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18817 0 0 0 160190 12 0 0 20 0 1 0 29269807 474746880 93088 33554432000 4194304 6211289 140735404785728 140735404784072 4243125 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115905 93088 219 493 0 115402 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 463620

[startup+1662.3 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 28043
/proc/meminfo: memFree=29159312/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463620 CPUtime=1662.01 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18817 0 0 0 166189 12 0 0 20 0 1 0 29269807 474746880 93088 33554432000 4194304 6211289 140735404785728 140735404784072 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115905 93088 219 493 0 115402 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 463620

[startup+1722.3 s]
/proc/loadavg: 2.29 2.26 2.26 3/177 28044
/proc/meminfo: memFree=29158684/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463812 CPUtime=1722 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18842 0 0 0 172188 12 0 0 20 0 1 0 29269807 474943488 93113 33554432000 4194304 6211289 140735404785728 140735404784072 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115953 93113 219 493 0 115450 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 463812

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.26 3/178 28049
/proc/meminfo: memFree=29158056/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463812 CPUtime=1781.99 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18843 0 0 0 178187 12 0 0 20 0 1 0 29269807 474943488 93114 33554432000 4194304 6211289 140735404785728 140735404784072 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115953 93114 219 493 0 115450 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 463812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.27 2.26 3/178 28049
/proc/meminfo: memFree=29158060/32872528 swapFree=1402776/1580604
[pid=20483] ppid=20480 vsize=463812 CPUtime=1800.09 cores=0,2,4,6
/proc/20483/stat : 20483 (cdcl-cuttingpla) R 20480 20483 16728 0 -1 4202496 18847 0 0 0 179997 12 0 0 20 0 1 0 29269807 474943488 93118 33554432000 4194304 6211289 140735404785728 140735404784072 4209882 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20483/statm: 115953 93118 219 493 0 115450 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 463812

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 20483 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.1
CPU user time (s): 1799.98
CPU system time (s): 0.124981
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 463812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.124981
maximum resident set size= 372472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18847
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= 61
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89626 second user time and 6.588 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 19:50:41
IDJOB=4103095
IDBENCH=2257
IDSOLVER=2549
FILE ID=node139/4103095-1466272241
RUNJOBID= node139-1466240178-16744
PBS_JOBID= 19918187
Free space on /tmp= 71588 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103095-1466272241/watcher-4103095-1466272241 -o /tmp/evaluation-result-4103095-1466272241/solver-4103095-1466272241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4103095-1466272241.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=462682413

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        29819836 kB
Buffers:          165300 kB
Cached:           156016 kB
SwapCached:         1904 kB
Active:           495912 kB
Inactive:         234012 kB
Active(anon):     409252 kB
Inactive(anon):     1476 kB
Active(file):      86660 kB
Inactive(file):   232536 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:              4668 kB
Writeback:             0 kB
AnonPages:       1990232 kB
Mapped:             8036 kB
Shmem:                 0 kB
Slab:             605960 kB
SReclaimable:      50008 kB
SUnreclaim:       555952 kB
KernelStack:        1448 kB
PageTables:         7984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2167164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    567296 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= 71588 MiB
End job on node139 at 2016-06-18 20:20:41