Trace number 4103087

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.08 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-3.opb
MD5SUM1925793f412227c60146f261684ef7c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
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 constraints94127
Number of constraints which are clauses94127
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= 94127
0.29/0.30	c * #variable= 1272 #constraint= 94127
1.49/1.54	c S1->S2
1.49/1.54	c S2->S1
1.49/1.54	c #Conflicts:       1000 | #Learnt:        752 | 0.000
1.49/1.54	c total clause space: 48.1602MB
1.49/1.54	c total #watches: 300243
6.09/6.11	c total #propagations: 57528 / total #impl: 114143 (eff. 0.504)
6.09/6.11	c #Conflicts:       2000 | #Learnt:       1752 | 0.000
6.09/6.11	c total clause space: 78.2603MB
6.09/6.11	c total #watches: 427068
12.09/12.16	c total #propagations: 134129 / total #impl: 259375 (eff. 0.517)
12.09/12.16	c GC COLLECT
12.09/12.16	c #Conflicts:       3000 | #Learnt:       1865 | 0.000
12.09/12.16	c total clause space: 78.2603MB
12.09/12.16	c total #watches: 426442
20.28/20.35	c total #propagations: 209690 / total #impl: 400214 (eff. 0.524)
20.28/20.35	c #Conflicts:       4000 | #Learnt:       2865 | 0.000
20.28/20.35	c total clause space: 78.2603MB
20.28/20.35	c total #watches: 486731
26.28/26.40	c total #propagations: 295350 / total #impl: 551508 (eff. 0.536)
26.28/26.40	c GC COLLECT
26.28/26.40	c #Conflicts:       5000 | #Learnt:       2274 | 0.000
26.28/26.40	c total clause space: 127.173MB
26.28/26.40	c total #watches: 388904
33.68/33.75	c total #propagations: 372248 / total #impl: 703060 (eff. 0.529)
33.68/33.75	c #Conflicts:       6000 | #Learnt:       3274 | 0.000
33.68/33.75	c total clause space: 127.173MB
33.68/33.75	c total #watches: 462778
41.59/41.63	c total #propagations: 450204 / total #impl: 852204 (eff. 0.528)
41.59/41.63	c GC COLLECT
41.59/41.63	c #Conflicts:       7000 | #Learnt:       2173 | 0.000
41.59/41.63	c total clause space: 127.173MB
41.59/41.63	c total #watches: 361028
48.39/48.49	c total #propagations: 533070 / total #impl: 999825 (eff. 0.533)
48.39/48.49	c #Conflicts:       8000 | #Learnt:       3173 | 0.000
48.39/48.49	c total clause space: 127.173MB
48.39/48.49	c total #watches: 386676
56.09/56.16	c total #propagations: 643610 / total #impl: 1222294 (eff. 0.527)
56.09/56.16	c #Conflicts:       9000 | #Learnt:       4173 | 0.000
56.09/56.16	c total clause space: 127.173MB
56.09/56.16	c total #watches: 424369
61.58/61.66	c total #propagations: 753454 / total #impl: 1460431 (eff. 0.516)
61.58/61.66	c GC COLLECT
61.58/61.66	c #Conflicts:      10000 | #Learnt:       2660 | 0.000
61.58/61.66	c total clause space: 127.173MB
61.58/61.66	c total #watches: 343549
67.38/67.45	c total #propagations: 832230 / total #impl: 1615312 (eff. 0.515)
67.38/67.45	c #Conflicts:      11000 | #Learnt:       3660 | 0.000
67.38/67.45	c total clause space: 127.173MB
67.38/67.45	c total #watches: 400053
72.28/72.39	c total #propagations: 915053 / total #impl: 1775694 (eff. 0.515)
72.28/72.39	c #Conflicts:      12000 | #Learnt:       4660 | 0.000
72.28/72.39	c total clause space: 127.173MB
72.28/72.39	c total #watches: 500228
80.18/80.26	c total #propagations: 992794 / total #impl: 1917635 (eff. 0.518)
80.18/80.26	c #Conflicts:      13000 | #Learnt:       5660 | 0.000
80.18/80.26	c total clause space: 127.173MB
80.18/80.26	c total #watches: 602642
89.98/90.02	c total #propagations: 1074696 / total #impl: 2070439 (eff. 0.519)
89.98/90.02	c GC COLLECT
89.98/90.02	c #Conflicts:      14000 | #Learnt:       3804 | 0.000
89.98/90.02	c total clause space: 127.173MB
89.98/90.02	c total #watches: 544424
101.47/101.59	c total #propagations: 1151006 / total #impl: 2230211 (eff. 0.516)
101.47/101.59	c #Conflicts:      15000 | #Learnt:       4804 | 0.000
101.47/101.59	c total clause space: 127.173MB
101.47/101.59	c total #watches: 604860
113.57/113.65	c total #propagations: 1233300 / total #impl: 2385350 (eff. 0.517)
113.57/113.65	c #Conflicts:      16000 | #Learnt:       5804 | 0.000
113.57/113.65	c total clause space: 127.173MB
113.57/113.65	c total #watches: 672425
121.47/121.54	c total #propagations: 1318708 / total #impl: 2541523 (eff. 0.519)
121.47/121.54	c GC COLLECT
121.47/121.54	c #Conflicts:      17000 | #Learnt:       3628 | 0.000
121.47/121.54	c total clause space: 206.656MB
121.47/121.54	c total #watches: 427507
127.58/127.63	c total #propagations: 1416680 / total #impl: 2740295 (eff. 0.517)
127.58/127.63	c #Conflicts:      18000 | #Learnt:       4628 | 0.000
127.58/127.63	c total clause space: 206.656MB
127.58/127.63	c total #watches: 470639
133.37/133.42	c total #propagations: 1509180 / total #impl: 2975701 (eff. 0.507)
133.37/133.42	c #Conflicts:      19000 | #Learnt:       5628 | 0.000
133.37/133.42	c total clause space: 206.656MB
133.37/133.42	c total #watches: 523833
140.66/140.77	c total #propagations: 1599416 / total #impl: 3137098 (eff. 0.510)
140.66/140.77	c #Conflicts:      20000 | #Learnt:       6628 | 0.000
140.66/140.77	c total clause space: 206.656MB
140.66/140.77	c total #watches: 536960
147.26/147.31	c total #propagations: 1720649 / total #impl: 3362301 (eff. 0.512)
147.26/147.31	c GC COLLECT
147.26/147.31	c #Conflicts:      21000 | #Learnt:       4140 | 0.000
147.26/147.31	c total clause space: 206.656MB
147.26/147.31	c total #watches: 378740
153.16/153.29	c total #propagations: 1816141 / total #impl: 3570152 (eff. 0.509)
153.16/153.29	c #Conflicts:      22000 | #Learnt:       5140 | 0.000
153.16/153.29	c total clause space: 206.656MB
153.16/153.29	c total #watches: 482550
161.67/161.74	c total #propagations: 1890729 / total #impl: 3720577 (eff. 0.508)
161.67/161.74	c #Conflicts:      23000 | #Learnt:       6140 | 0.000
161.67/161.74	c total clause space: 206.656MB
161.67/161.74	c total #watches: 571657
171.86/171.91	c total #propagations: 1969612 / total #impl: 3868794 (eff. 0.509)
171.86/171.91	c #Conflicts:      24000 | #Learnt:       7140 | 0.000
171.86/171.91	c total clause space: 206.656MB
171.86/171.91	c total #watches: 655743
184.26/184.36	c total #propagations: 2045140 / total #impl: 4007453 (eff. 0.510)
184.26/184.36	c GC COLLECT
184.26/184.36	c #Conflicts:      25000 | #Learnt:       4348 | 0.000
184.26/184.36	c total clause space: 206.656MB
184.26/184.36	c total #watches: 576289
196.26/196.34	c total #propagations: 2120676 / total #impl: 4153811 (eff. 0.511)
196.26/196.34	c #Conflicts:      26000 | #Learnt:       5348 | 0.000
196.26/196.34	c total clause space: 206.656MB
196.26/196.34	c total #watches: 662425
209.16/209.26	c total #propagations: 2198693 / total #impl: 4305929 (eff. 0.511)
209.16/209.26	c #Conflicts:      27000 | #Learnt:       6348 | 0.000
209.16/209.26	c total clause space: 206.656MB
209.16/209.26	c total #watches: 750405
220.75/220.84	c total #propagations: 2279333 / total #impl: 4455584 (eff. 0.512)
220.75/220.84	c #Conflicts:      28000 | #Learnt:       7348 | 0.000
220.75/220.84	c total clause space: 206.656MB
220.75/220.84	c total #watches: 818250
234.95/235.02	c total #propagations: 2367193 / total #impl: 4607838 (eff. 0.514)
234.95/235.02	c GC COLLECT
234.95/235.02	c #Conflicts:      29000 | #Learnt:       4248 | 0.000
234.95/235.02	c total clause space: 206.656MB
234.95/235.02	c total #watches: 561978
246.25/246.33	c total #propagations: 2449025 / total #impl: 4753494 (eff. 0.515)
246.25/246.33	c #Conflicts:      30000 | #Learnt:       5248 | 0.000
246.25/246.33	c total clause space: 206.656MB
246.25/246.33	c total #watches: 637529
259.95/260.07	c total #propagations: 2528662 / total #impl: 4904160 (eff. 0.516)
259.95/260.07	c #Conflicts:      31000 | #Learnt:       6248 | 0.000
259.95/260.07	c total clause space: 206.656MB
259.95/260.07	c total #watches: 723427
276.95/277.00	c total #propagations: 2608515 / total #impl: 5056556 (eff. 0.516)
276.95/277.00	c #Conflicts:      32000 | #Learnt:       7248 | 0.000
276.95/277.00	c total clause space: 206.656MB
276.95/277.00	c total #watches: 793585
293.15/293.25	c total #propagations: 2687154 / total #impl: 5208194 (eff. 0.516)
293.15/293.25	c #Conflicts:      33000 | #Learnt:       8248 | 0.000
293.15/293.25	c total clause space: 206.656MB
293.15/293.25	c total #watches: 891535
309.44/309.56	c total #propagations: 2760924 / total #impl: 5345495 (eff. 0.516)
309.44/309.56	c GC COLLECT
309.44/309.56	c #Conflicts:      34000 | #Learnt:       4845 | 0.000
309.44/309.56	c total clause space: 206.656MB
309.44/309.56	c total #watches: 616202
319.53/319.66	c total #propagations: 2839649 / total #impl: 5502272 (eff. 0.516)
319.53/319.66	c #Conflicts:      35000 | #Learnt:       5845 | 0.000
319.53/319.66	c total clause space: 206.656MB
319.53/319.66	c total #watches: 677047
336.73/336.86	c total #propagations: 2924684 / total #impl: 5653860 (eff. 0.517)
336.73/336.86	c #Conflicts:      36000 | #Learnt:       6845 | 0.000
336.73/336.86	c total clause space: 206.656MB
336.73/336.86	c total #watches: 733211
358.02/358.12	c total #propagations: 3021501 / total #impl: 5872929 (eff. 0.514)
358.02/358.12	c #Conflicts:      37000 | #Learnt:       7845 | 0.000
358.02/358.12	c total clause space: 206.656MB
358.02/358.12	c total #watches: 772200
369.21/369.37	c total #propagations: 3131079 / total #impl: 6162094 (eff. 0.508)
369.21/369.37	c #Conflicts:      38000 | #Learnt:       8845 | 0.000
369.21/369.37	c total clause space: 206.656MB
369.21/369.37	c total #watches: 870301
378.90/379.03	c total #propagations: 3217036 / total #impl: 6327947 (eff. 0.508)
378.90/379.03	c GC COLLECT
378.90/379.03	c #Conflicts:      39000 | #Learnt:       5134 | 0.000
378.90/379.03	c total clause space: 206.656MB
378.90/379.03	c total #watches: 497603
388.40/388.56	c total #propagations: 3311989 / total #impl: 6484960 (eff. 0.511)
388.40/388.56	c #Conflicts:      40000 | #Learnt:       6134 | 0.000
388.40/388.56	c total clause space: 206.656MB
388.40/388.56	c total #watches: 508719
401.69/401.86	c total #propagations: 3445157 / total #impl: 6754149 (eff. 0.510)
401.69/401.86	c #Conflicts:      41000 | #Learnt:       7134 | 0.000
401.69/401.86	c total clause space: 206.656MB
401.69/401.86	c total #watches: 551882
409.69/409.87	c total #propagations: 3567615 / total #impl: 7067320 (eff. 0.505)
409.69/409.87	c #Conflicts:      42000 | #Learnt:       8134 | 0.000
409.69/409.87	c total clause space: 206.656MB
409.69/409.87	c total #watches: 635930
422.18/422.39	c total #propagations: 3654580 / total #impl: 7244725 (eff. 0.504)
422.18/422.39	c #Conflicts:      43000 | #Learnt:       9134 | 0.000
422.18/422.39	c total clause space: 206.656MB
422.18/422.39	c total #watches: 676944
436.28/436.47	c total #propagations: 3746702 / total #impl: 7403339 (eff. 0.506)
436.28/436.47	c GC COLLECT
436.28/436.47	c #Conflicts:      44000 | #Learnt:        115 | 0.000
436.28/436.47	c total clause space: 206.656MB
436.28/436.47	c total #watches: 203379
437.18/437.36	c total #propagations: 3851094 / total #impl: 7606140 (eff. 0.506)
437.18/437.36	c #Conflicts:      45000 | #Learnt:       1115 | 0.000
437.18/437.36	c total clause space: 206.656MB
437.18/437.36	c total #watches: 310046
440.38/440.53	c total #propagations: 3933793 / total #impl: 7746470 (eff. 0.508)
440.38/440.53	c #Conflicts:      46000 | #Learnt:       2115 | 0.000
440.38/440.53	c total clause space: 206.656MB
440.38/440.53	c total #watches: 337516
444.78/444.95	c total #propagations: 4044767 / total #impl: 7974184 (eff. 0.507)
444.78/444.95	c #Conflicts:      47000 | #Learnt:       3115 | 0.000
444.78/444.95	c total clause space: 206.656MB
444.78/444.95	c total #watches: 355824
449.68/449.81	c total #propagations: 4233720 / total #impl: 8394598 (eff. 0.504)
449.68/449.81	c #Conflicts:      48000 | #Learnt:       4115 | 0.000
449.68/449.81	c total clause space: 206.656MB
449.68/449.81	c total #watches: 380378
453.98/454.19	c total #propagations: 4343262 / total #impl: 8615501 (eff. 0.504)
453.98/454.19	c #Conflicts:      49000 | #Learnt:       5115 | 0.000
453.98/454.19	c total clause space: 206.656MB
453.98/454.19	c total #watches: 498373
458.28/458.46	c total #propagations: 4417285 / total #impl: 8756859 (eff. 0.504)
458.28/458.46	c GC COLLECT
458.28/458.46	c #Conflicts:      50000 | #Learnt:        454 | 0.000
458.28/458.46	c total clause space: 206.656MB
458.28/458.46	c total #watches: 262819
462.28/462.40	c total #propagations: 4492114 / total #impl: 8906314 (eff. 0.504)
462.28/462.40	c #Conflicts:      51000 | #Learnt:       1454 | 0.000
462.28/462.40	c total clause space: 206.656MB
462.28/462.40	c total #watches: 389216
470.98/471.17	c total #propagations: 4571759 / total #impl: 9057781 (eff. 0.505)
470.98/471.17	c #Conflicts:      52000 | #Learnt:       2454 | 0.000
470.98/471.17	c total clause space: 206.656MB
470.98/471.17	c total #watches: 484359
482.07/482.25	c total #propagations: 4644877 / total #impl: 9206511 (eff. 0.505)
482.07/482.25	c #Conflicts:      53000 | #Learnt:       3454 | 0.000
482.07/482.25	c total clause space: 206.656MB
482.07/482.25	c total #watches: 541971
494.57/494.70	c total #propagations: 4728094 / total #impl: 9357844 (eff. 0.505)
494.57/494.70	c #Conflicts:      54000 | #Learnt:       4454 | 0.000
494.57/494.70	c total clause space: 206.656MB
494.57/494.70	c total #watches: 586361
507.67/507.87	c total #propagations: 4817782 / total #impl: 9514508 (eff. 0.506)
507.67/507.87	c #Conflicts:      55000 | #Learnt:       5454 | 0.000
507.67/507.87	c total clause space: 206.656MB
507.67/507.87	c total #watches: 643303
514.97/515.11	c total #propagations: 4914180 / total #impl: 9701709 (eff. 0.507)
514.97/515.11	c GC COLLECT
514.97/515.11	c #Conflicts:      56000 | #Learnt:        524 | 0.000
514.97/515.11	c total clause space: 206.656MB
514.97/515.11	c total #watches: 251265
518.08/518.29	c total #propagations: 4992310 / total #impl: 9855300 (eff. 0.507)
518.08/518.29	c #Conflicts:      57000 | #Learnt:       1524 | 0.000
518.08/518.29	c total clause space: 206.656MB
518.08/518.29	c total #watches: 376741
523.67/523.82	c total #propagations: 5063528 / total #impl: 9992325 (eff. 0.507)
523.67/523.82	c #Conflicts:      58000 | #Learnt:       2524 | 0.000
523.67/523.82	c total clause space: 206.656MB
523.67/523.82	c total #watches: 487822
534.47/534.61	c total #propagations: 5139692 / total #impl: 10133255 (eff. 0.507)
534.47/534.61	c #Conflicts:      59000 | #Learnt:       3524 | 0.000
534.47/534.61	c total clause space: 206.656MB
534.47/534.61	c total #watches: 587982
549.87/550.06	c total #propagations: 5215656 / total #impl: 10283419 (eff. 0.507)
549.87/550.06	c #Conflicts:      60000 | #Learnt:       4524 | 0.000
549.87/550.06	c total clause space: 206.656MB
549.87/550.06	c total #watches: 663665
567.57/567.77	c total #propagations: 5290415 / total #impl: 10434396 (eff. 0.507)
567.57/567.77	c #Conflicts:      61000 | #Learnt:       5524 | 0.000
567.57/567.77	c total clause space: 206.656MB
567.57/567.77	c total #watches: 730570
580.16/580.38	c total #propagations: 5370133 / total #impl: 10588739 (eff. 0.507)
580.16/580.38	c GC COLLECT
580.16/580.38	c #Conflicts:      62000 | #Learnt:        316 | 0.000
580.16/580.38	c total clause space: 206.656MB
580.16/580.38	c total #watches: 222720
581.36/581.52	c total #propagations: 5451064 / total #impl: 10744496 (eff. 0.507)
581.36/581.52	c #Conflicts:      63000 | #Learnt:       1316 | 0.000
581.36/581.52	c total clause space: 206.656MB
581.36/581.52	c total #watches: 329977
584.06/584.23	c total #propagations: 5527263 / total #impl: 10886916 (eff. 0.508)
584.06/584.23	c #Conflicts:      64000 | #Learnt:       2316 | 0.000
584.06/584.23	c total clause space: 206.656MB
584.06/584.23	c total #watches: 401802
589.75/589.93	c total #propagations: 5618145 / total #impl: 11040207 (eff. 0.509)
589.75/589.93	c #Conflicts:      65000 | #Learnt:       3316 | 0.000
589.75/589.93	c total clause space: 206.656MB
589.75/589.93	c total #watches: 435798
596.25/596.49	c total #propagations: 5717285 / total #impl: 11214910 (eff. 0.510)
596.25/596.49	c #Conflicts:      66000 | #Learnt:       4316 | 0.000
596.25/596.49	c total clause space: 206.656MB
596.25/596.49	c total #watches: 445363
604.25/604.43	c total #propagations: 5871249 / total #impl: 11496459 (eff. 0.511)
604.25/604.43	c #Conflicts:      67000 | #Learnt:       5316 | 0.000
604.25/604.43	c total clause space: 206.656MB
604.25/604.43	c total #watches: 540229
613.95/614.17	c total #propagations: 5955835 / total #impl: 11653732 (eff. 0.511)
613.95/614.17	c #Conflicts:      68000 | #Learnt:       6316 | 0.000
613.95/614.17	c total clause space: 206.656MB
613.95/614.17	c total #watches: 652007
617.15/617.31	c total #propagations: 6029946 / total #impl: 11799925 (eff. 0.511)
617.15/617.31	c GC COLLECT
617.15/617.31	c #Conflicts:      69000 | #Learnt:        811 | 0.000
617.15/617.31	c total clause space: 206.656MB
617.15/617.31	c total #watches: 303051
620.85/621.03	c total #propagations: 6098299 / total #impl: 11932732 (eff. 0.511)
620.85/621.03	c #Conflicts:      70000 | #Learnt:       1811 | 0.000
620.85/621.03	c total clause space: 206.656MB
620.85/621.03	c total #watches: 397017
628.15/628.38	c total #propagations: 6173777 / total #impl: 12084301 (eff. 0.511)
628.15/628.38	c #Conflicts:      71000 | #Learnt:       2811 | 0.000
628.15/628.38	c total clause space: 206.656MB
628.15/628.38	c total #watches: 476364
637.15/637.34	c total #propagations: 6248446 / total #impl: 12230499 (eff. 0.511)
637.15/637.34	c #Conflicts:      72000 | #Learnt:       3811 | 0.000
637.15/637.34	c total clause space: 206.656MB
637.15/637.34	c total #watches: 585873
648.74/649.00	c total #propagations: 6322797 / total #impl: 12377453 (eff. 0.511)
648.74/649.00	c #Conflicts:      73000 | #Learnt:       4811 | 0.000
648.74/649.00	c total clause space: 206.656MB
648.74/649.00	c total #watches: 638474
667.74/667.94	c total #propagations: 6411340 / total #impl: 12531530 (eff. 0.512)
667.74/667.94	c #Conflicts:      74000 | #Learnt:       5811 | 0.000
667.74/667.94	c total clause space: 206.656MB
667.74/667.94	c total #watches: 658615
683.24/683.46	c total #propagations: 6527962 / total #impl: 12776828 (eff. 0.511)
683.24/683.46	c GC COLLECT
683.24/683.46	c #Conflicts:      75000 | #Learnt:         17 | 0.000
683.24/683.46	c total clause space: 206.656MB
683.24/683.46	c total #watches: 190833
684.74/684.98	c total #propagations: 6616247 / total #impl: 12976105 (eff. 0.510)
684.74/684.98	c #Conflicts:      76000 | #Learnt:       1017 | 0.000
684.74/684.98	c total clause space: 206.656MB
684.74/684.98	c total #watches: 300685
689.24/689.43	c total #propagations: 6692473 / total #impl: 13120499 (eff. 0.510)
689.24/689.43	c #Conflicts:      77000 | #Learnt:       2017 | 0.000
689.24/689.43	c total clause space: 206.656MB
689.24/689.43	c total #watches: 432283
697.13/697.30	c total #propagations: 6761959 / total #impl: 13256189 (eff. 0.510)
697.13/697.30	c #Conflicts:      78000 | #Learnt:       3017 | 0.000
697.13/697.30	c total clause space: 206.656MB
697.13/697.30	c total #watches: 518997
708.53/708.77	c total #propagations: 6840578 / total #impl: 13400357 (eff. 0.510)
708.53/708.77	c #Conflicts:      79000 | #Learnt:       4017 | 0.000
708.53/708.77	c total clause space: 206.656MB
708.53/708.77	c total #watches: 638837
725.94/726.15	c total #propagations: 6918939 / total #impl: 13554340 (eff. 0.510)
725.94/726.15	c #Conflicts:      80000 | #Learnt:       5017 | 0.000
725.94/726.15	c total clause space: 206.656MB
725.94/726.15	c total #watches: 730718
753.53/753.77	c total #propagations: 6993419 / total #impl: 13701159 (eff. 0.510)
753.53/753.77	c #Conflicts:      81000 | #Learnt:       6017 | 0.000
753.53/753.77	c total clause space: 206.656MB
753.53/753.77	c total #watches: 771201
784.62/784.83	c total #propagations: 7087261 / total #impl: 13893677 (eff. 0.510)
784.62/784.83	c #Conflicts:      82000 | #Learnt:       7017 | 0.000
784.62/784.83	c total clause space: 206.656MB
784.62/784.83	c total #watches: 798870
799.92/800.19	c total #propagations: 7197947 / total #impl: 14141658 (eff. 0.509)
799.92/800.19	c GC COLLECT
799.92/800.19	c #Conflicts:      83000 | #Learnt:       4472 | 0.000
799.92/800.19	c total clause space: 206.656MB
799.92/800.19	c total #watches: 680076
815.32/815.57	c total #propagations: 7278156 / total #impl: 14291710 (eff. 0.509)
815.32/815.57	c #Conflicts:      84000 | #Learnt:       5472 | 0.000
815.32/815.57	c total clause space: 206.656MB
815.32/815.57	c total #watches: 730032
836.42/836.69	c total #propagations: 7374204 / total #impl: 14451992 (eff. 0.510)
836.42/836.69	c #Conflicts:      85000 | #Learnt:       6472 | 0.000
836.42/836.69	c total clause space: 206.656MB
836.42/836.69	c total #watches: 763101
864.01/864.22	c total #propagations: 7468924 / total #impl: 14653090 (eff. 0.510)
864.01/864.22	c #Conflicts:      86000 | #Learnt:       7472 | 0.000
864.01/864.22	c total clause space: 206.656MB
864.01/864.22	c total #watches: 781111
885.11/885.31	c total #propagations: 7593003 / total #impl: 14933298 (eff. 0.508)
885.11/885.31	c #Conflicts:      87000 | #Learnt:       8472 | 0.000
885.11/885.31	c total clause space: 206.656MB
885.11/885.31	c total #watches: 798669
907.31/907.53	c total #propagations: 7728859 / total #impl: 15215839 (eff. 0.508)
907.31/907.53	c #Conflicts:      88000 | #Learnt:       9472 | 0.000
907.31/907.53	c total clause space: 206.656MB
907.31/907.53	c total #watches: 808869
929.21/929.50	c total #propagations: 7875748 / total #impl: 15509327 (eff. 0.508)
929.21/929.50	c #Conflicts:      89000 | #Learnt:      10472 | 0.000
929.21/929.50	c total clause space: 206.656MB
929.21/929.50	c total #watches: 816636
952.60/952.84	c total #propagations: 8029279 / total #impl: 15822897 (eff. 0.507)
952.60/952.84	c GC COLLECT
952.60/952.84	c #Conflicts:      90000 | #Learnt:       5998 | 0.000
952.60/952.84	c total clause space: 206.656MB
952.60/952.84	c total #watches: 753565
980.29/980.59	c total #propagations: 8153448 / total #impl: 16082387 (eff. 0.507)
980.29/980.59	c #Conflicts:      91000 | #Learnt:       6998 | 0.000
980.29/980.59	c total clause space: 206.656MB
980.29/980.59	c total #watches: 772060
1009.29/1009.55	c total #propagations: 8293749 / total #impl: 16369662 (eff. 0.507)
1009.29/1009.55	c #Conflicts:      92000 | #Learnt:       7998 | 0.000
1009.29/1009.55	c total clause space: 206.656MB
1009.29/1009.55	c total #watches: 795124
1038.98/1039.27	c total #propagations: 8466003 / total #impl: 16783875 (eff. 0.504)
1038.98/1039.27	c #Conflicts:      93000 | #Learnt:       8998 | 0.000
1038.98/1039.27	c total clause space: 206.656MB
1038.98/1039.27	c total #watches: 814079
1069.09/1069.34	c total #propagations: 8600971 / total #impl: 17089395 (eff. 0.503)
1069.09/1069.34	c #Conflicts:      94000 | #Learnt:       9998 | 0.000
1069.09/1069.34	c total clause space: 206.656MB
1069.09/1069.34	c total #watches: 841496
1096.97/1097.22	c total #propagations: 8715643 / total #impl: 17381378 (eff. 0.501)
1096.97/1097.22	c #Conflicts:      95000 | #Learnt:      10998 | 0.000
1096.97/1097.22	c total clause space: 206.656MB
1096.97/1097.22	c total #watches: 870589
1122.27/1122.59	c total #propagations: 8834842 / total #impl: 17665928 (eff. 0.500)
1122.27/1122.59	c #Conflicts:      96000 | #Learnt:      11998 | 0.000
1122.27/1122.59	c total clause space: 335.816MB
1122.27/1122.59	c total #watches: 897622
1146.97/1147.20	c total #propagations: 8952292 / total #impl: 17943048 (eff. 0.499)
1146.97/1147.20	c #Conflicts:      97000 | #Learnt:      12998 | 0.000
1146.97/1147.20	c total clause space: 335.816MB
1146.97/1147.20	c total #watches: 923304
1169.17/1169.42	c total #propagations: 9045361 / total #impl: 18107523 (eff. 0.500)
1169.17/1169.42	c GC COLLECT
1169.17/1169.42	c #Conflicts:      98000 | #Learnt:       7412 | 0.000
1169.17/1169.42	c total clause space: 335.816MB
1169.17/1169.42	c total #watches: 820366
1193.06/1193.36	c total #propagations: 9127221 / total #impl: 18258897 (eff. 0.500)
1193.06/1193.36	c #Conflicts:      99000 | #Learnt:       8412 | 0.000
1193.06/1193.36	c total clause space: 335.816MB
1193.06/1193.36	c total #watches: 844636
1218.15/1218.42	c total #propagations: 9218215 / total #impl: 18424530 (eff. 0.500)
1218.15/1218.42	c #Conflicts:     100000 | #Learnt:       9412 | 0.000
1218.15/1218.42	c total clause space: 335.816MB
1218.15/1218.42	c total #watches: 856208
1247.46/1247.70	c total #propagations: 9342439 / total #impl: 18683876 (eff. 0.500)
1247.46/1247.70	c #Conflicts:     101000 | #Learnt:      10412 | 0.000
1247.46/1247.70	c total clause space: 335.816MB
1247.46/1247.70	c total #watches: 870395
1274.55/1274.82	c total #propagations: 9485909 / total #impl: 18991067 (eff. 0.499)
1274.55/1274.82	c #Conflicts:     102000 | #Learnt:      11412 | 0.000
1274.55/1274.82	c total clause space: 335.816MB
1274.55/1274.82	c total #watches: 880336
1305.75/1306.03	c total #propagations: 9622877 / total #impl: 19274544 (eff. 0.499)
1305.75/1306.03	c #Conflicts:     103000 | #Learnt:      12412 | 0.000
1305.75/1306.03	c total clause space: 335.816MB
1305.75/1306.03	c total #watches: 895875
1337.14/1337.47	c total #propagations: 9753232 / total #impl: 19572619 (eff. 0.498)
1337.14/1337.47	c #Conflicts:     104000 | #Learnt:      13412 | 0.000
1337.14/1337.47	c total clause space: 335.816MB
1337.14/1337.47	c total #watches: 913428
1373.43/1373.71	c total #propagations: 9882938 / total #impl: 19883044 (eff. 0.497)
1373.43/1373.71	c #Conflicts:     105000 | #Learnt:      14412 | 0.000
1373.43/1373.71	c total clause space: 335.816MB
1373.43/1373.71	c total #watches: 931625
1394.43/1394.74	c total #propagations: 10013062 / total #impl: 20187812 (eff. 0.496)
1394.43/1394.74	c GC COLLECT
1394.43/1394.74	c #Conflicts:     106000 | #Learnt:       8098 | 0.000
1394.43/1394.74	c total clause space: 335.816MB
1394.43/1394.74	c total #watches: 882189
1418.13/1418.47	c total #propagations: 10083695 / total #impl: 20326973 (eff. 0.496)
1418.13/1418.47	c #Conflicts:     107000 | #Learnt:       9098 | 0.000
1418.13/1418.47	c total clause space: 335.816MB
1418.13/1418.47	c total #watches: 991530
1440.73/1441.03	c total #propagations: 10156368 / total #impl: 20467564 (eff. 0.496)
1440.73/1441.03	c #Conflicts:     108000 | #Learnt:      10098 | 0.000
1440.73/1441.03	c total clause space: 335.816MB
1440.73/1441.03	c total #watches: 1082717
1469.02/1469.35	c total #propagations: 10235046 / total #impl: 20613442 (eff. 0.497)
1469.02/1469.35	c #Conflicts:     109000 | #Learnt:      11098 | 0.000
1469.02/1469.35	c total clause space: 335.816MB
1469.02/1469.35	c total #watches: 1183656
1509.11/1509.46	c total #propagations: 10312504 / total #impl: 20760735 (eff. 0.497)
1509.11/1509.46	c #Conflicts:     110000 | #Learnt:      12098 | 0.000
1509.11/1509.46	c total clause space: 335.816MB
1509.11/1509.46	c total #watches: 1258639
1553.80/1554.13	c total #propagations: 10394780 / total #impl: 20926698 (eff. 0.497)
1553.80/1554.13	c #Conflicts:     111000 | #Learnt:      13098 | 0.000
1553.80/1554.13	c total clause space: 335.816MB
1553.80/1554.13	c total #watches: 1332644
1593.30/1593.62	c total #propagations: 10473779 / total #impl: 21073348 (eff. 0.497)
1593.30/1593.62	c #Conflicts:     112000 | #Learnt:      14098 | 0.000
1593.30/1593.62	c total clause space: 335.816MB
1593.30/1593.62	c total #watches: 1394070
1629.59/1629.91	c total #propagations: 10555851 / total #impl: 21230596 (eff. 0.497)
1629.59/1629.91	c #Conflicts:     113000 | #Learnt:      15098 | 0.000
1629.59/1629.91	c total clause space: 335.816MB
1629.59/1629.91	c total #watches: 1460279
1667.29/1667.68	c total #propagations: 10643002 / total #impl: 21377807 (eff. 0.498)
1667.29/1667.68	c GC COLLECT
1667.29/1667.68	c #Conflicts:     114000 | #Learnt:       8286 | 0.000
1667.29/1667.68	c total clause space: 335.816MB
1667.29/1667.68	c total #watches: 915795
1692.28/1692.63	c total #propagations: 10726779 / total #impl: 21542016 (eff. 0.498)
1692.28/1692.63	c #Conflicts:     115000 | #Learnt:       9286 | 0.000
1692.28/1692.63	c total clause space: 335.816MB
1692.28/1692.63	c total #watches: 1000414
1719.38/1719.74	c total #propagations: 10807855 / total #impl: 21699670 (eff. 0.498)
1719.38/1719.74	c #Conflicts:     116000 | #Learnt:      10286 | 0.000
1719.38/1719.74	c total clause space: 335.816MB
1719.38/1719.74	c total #watches: 1109259
1758.38/1758.78	c total #propagations: 10885396 / total #impl: 21842745 (eff. 0.498)
1758.38/1758.78	c #Conflicts:     117000 | #Learnt:      11286 | 0.000
1758.38/1758.78	c total clause space: 335.816MB
1758.38/1758.78	c total #watches: 1157546
1796.57/1796.99	c total #propagations: 10972937 / total #impl: 22002310 (eff. 0.499)
1796.57/1796.99	c #Conflicts:     118000 | #Learnt:      12286 | 0.000
1796.57/1796.99	c total clause space: 335.816MB
1796.57/1796.99	c total #watches: 1250028

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-4103087-1466272033/watcher-4103087-1466272033 -o /tmp/evaluation-result-4103087-1466272033/solver-4103087-1466272033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4103087-1466272033.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=17455
running on 4 cores: 1,3,5,7

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.05 2.10 2.05 3/176 17458
/proc/meminfo: memFree=31193620/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 29249942 57319424 7292 33554432000 4194304 6211289 140734026742160 140737442316792 4206544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 13994 7292 98 493 0 13491 0

[startup+0.100163 s]
/proc/loadavg: 2.05 2.10 2.05 3/176 17458
/proc/meminfo: memFree=31193620/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=58728 CPUtime=0.09 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 1006 0 0 0 9 0 0 0 20 0 1 0 29249942 60137472 11505 33554432000 4194304 6211289 140734026742160 140737442316792 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 14682 11505 121 493 0 14179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58728

[startup+0.200301 s]
/proc/loadavg: 2.05 2.10 2.05 3/176 17458
/proc/meminfo: memFree=31193620/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=69440 CPUtime=0.19 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 3032 0 0 0 18 1 0 0 20 0 1 0 29249942 71106560 15064 33554432000 4194304 6211289 140734026742160 140737442316792 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 17360 15066 143 493 0 16857 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69440

[startup+0.300348 s]
/proc/loadavg: 2.05 2.10 2.05 3/176 17458
/proc/meminfo: memFree=31193620/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=82612 CPUtime=0.29 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 4599 0 0 0 28 1 0 0 20 0 1 0 29249942 84594688 17653 33554432000 4194304 6211289 140734026742160 140734026739688 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 20653 17653 143 493 0 20150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82612

[startup+0.7003 s]
/proc/loadavg: 2.05 2.10 2.05 3/176 17458
/proc/meminfo: memFree=31193620/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=115896 CPUtime=0.69 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 7964 0 0 0 67 2 0 0 20 0 1 0 29249942 118677504 25500 33554432000 4194304 6211289 140734026742160 140734026739688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 28974 25500 204 493 0 28471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115896

[startup+1.50024 s]
/proc/loadavg: 2.05 2.10 2.05 3/177 17459
/proc/meminfo: memFree=31085132/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=135260 CPUtime=1.49 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 8355 0 0 0 146 3 0 0 20 0 1 0 29249942 138506240 28367 33554432000 4194304 6211289 140734026742160 140734026740072 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 33815 28367 204 493 0 33312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135260

[startup+3.10025 s]
/proc/loadavg: 2.05 2.10 2.05 3/177 17459
/proc/meminfo: memFree=31075724/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=168076 CPUtime=3.09 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 9211 0 0 0 306 3 0 0 20 0 1 0 29249942 172109824 31172 33554432000 4194304 6211289 140734026742160 140734026740072 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 42019 31172 214 493 0 41516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 168076

[startup+6.3003 s]
/proc/loadavg: 2.05 2.10 2.05 3/177 17459
/proc/meminfo: memFree=31058380/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=171188 CPUtime=6.29 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 11020 0 0 0 626 3 0 0 20 0 1 0 29249942 175296512 36188 33554432000 4194304 6211289 140734026742160 140734026740072 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 42797 36188 214 493 0 42294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171188

[startup+12.7002 s]
/proc/loadavg: 2.04 2.10 2.05 3/177 17459
/proc/meminfo: memFree=31047868/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=172004 CPUtime=12.69 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 11333 0 0 0 1266 3 0 0 20 0 1 0 29249942 176132096 36501 33554432000 4194304 6211289 140734026742160 140734026740504 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 43001 36501 219 493 0 42498 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 172004

[startup+25.5003 s]
/proc/loadavg: 2.03 2.09 2.04 3/177 17459
/proc/meminfo: memFree=31030944/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=223448 CPUtime=25.48 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 12391 0 0 0 2545 3 0 0 20 0 1 0 29249942 228810752 40756 33554432000 4194304 6211289 140734026742160 140734026740152 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 55862 40756 219 493 0 55359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 223448

[startup+51.1003 s]
/proc/loadavg: 2.02 2.08 2.04 3/177 17459
/proc/meminfo: memFree=31011360/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=226020 CPUtime=51.08 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 13187 0 0 0 5104 4 0 0 20 0 1 0 29249942 231444480 45126 33554432000 4194304 6211289 140734026742160 140734026740504 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 56505 45126 219 493 0 56002 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 226020

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/177 17460
/proc/meminfo: memFree=30979688/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=229332 CPUtime=102.28 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 14043 0 0 0 10223 5 0 0 20 0 1 0 29249942 234835968 52625 33554432000 4194304 6211289 140734026742160 140734026740504 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 57333 52625 219 493 0 56830 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 229332

[startup+162.3 s]
/proc/loadavg: 2.17 2.10 2.05 3/176 17461
/proc/meminfo: memFree=30960528/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=312308 CPUtime=162.26 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 14725 0 0 0 16220 6 0 0 20 0 1 0 29249942 319803392 56248 33554432000 4194304 6211289 140734026742160 140734026740504 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 78077 56248 219 493 0 77574 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 312308

[startup+222.307 s]
/proc/loadavg: 2.06 2.08 2.04 3/178 17466
/proc/meminfo: memFree=30934492/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=313748 CPUtime=222.26 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 15188 0 0 0 22219 7 0 0 20 0 1 0 29249942 321277952 62843 33554432000 4194304 6211289 140734026742160 140734026740504 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 78437 62843 219 493 0 77934 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 313748

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.04 3/177 17467
/proc/meminfo: memFree=30914764/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=317704 CPUtime=282.25 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 15979 0 0 0 28217 8 0 0 20 0 1 0 29249942 325328896 67722 33554432000 4194304 6211289 140734026742160 140734026740072 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 79426 67722 219 493 0 78923 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 317704

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/177 17468
/proc/meminfo: memFree=30897280/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321064 CPUtime=342.23 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16562 0 0 0 34214 9 0 0 20 0 1 0 29249942 328769536 71931 33554432000 4194304 6211289 140734026742160 140734026740504 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80266 71931 219 493 0 79763 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 321064

[startup+402.3 s]
/proc/loadavg: 1.94 2.02 2.02 3/177 17515
/proc/meminfo: memFree=31110564/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321384 CPUtime=402.19 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16661 0 0 0 40210 9 0 0 20 0 1 0 29249942 329097216 73007 33554432000 4194304 6211289 140734026742160 140734026740504 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80346 73007 219 493 0 79843 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 321384

[startup+462.3 s]
/proc/loadavg: 1.98 2.02 2.01 3/177 17516
/proc/meminfo: memFree=31085220/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321384 CPUtime=462.18 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16689 0 0 0 46209 9 0 0 20 0 1 0 29249942 329097216 73030 33554432000 4194304 6211289 140734026742160 140734026740504 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80346 73030 219 493 0 79843 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 321384

[startup+522.3 s]
/proc/loadavg: 1.99 2.01 2.01 3/177 17518
/proc/meminfo: memFree=31068716/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321384 CPUtime=522.17 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16689 0 0 0 52208 9 0 0 20 0 1 0 29249942 329097216 73043 33554432000 4194304 6211289 140734026742160 140734026740504 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80346 73043 219 493 0 79843 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 321384

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 17519
/proc/meminfo: memFree=31061240/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321384 CPUtime=582.16 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16692 0 0 0 58207 9 0 0 20 0 1 0 29249942 329097216 73046 33554432000 4194304 6211289 140734026742160 140734026740504 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80346 73046 219 493 0 79843 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 321384


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 17551
/proc/meminfo: memFree=30832488/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=321864 CPUtime=882.11 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16752 0 0 0 88201 10 0 0 20 0 1 0 29249942 329588736 73106 33554432000 4194304 6211289 140734026742160 140734026740024 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80466 73106 219 493 0 79963 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 321864

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17552
/proc/meminfo: memFree=30818720/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=322664 CPUtime=942.1 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16922 0 0 0 94199 11 0 0 20 0 1 0 29249942 330407936 73275 33554432000 4194304 6211289 140734026742160 140734026740024 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80666 73275 219 493 0 80163 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 322664

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 17553
/proc/meminfo: memFree=30818216/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=322824 CPUtime=1002.09 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 16948 0 0 0 100198 11 0 0 20 0 1 0 29249942 330571776 73301 33554432000 4194304 6211289 140734026742160 140734026740024 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80706 73301 219 493 0 80203 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 322824

[startup+1062.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 17554
/proc/meminfo: memFree=30788840/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=323144 CPUtime=1062.08 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 17010 0 0 0 106197 11 0 0 20 0 1 0 29249942 330899456 73363 33554432000 4194304 6211289 140734026742160 140734026740024 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 80786 73363 219 493 0 80283 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 323144

[startup+1122.3 s]
/proc/loadavg: 2.31 2.11 2.03 3/177 17556
/proc/meminfo: memFree=30764332/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=456364 CPUtime=1122.07 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 17600 0 0 0 112195 12 0 0 20 0 1 0 29249942 467316736 79438 33554432000 4194304 6211289 140734026742160 140734026740024 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 114091 79438 219 493 0 113588 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 456364

[startup+1182.3 s]
/proc/loadavg: 2.30 2.14 2.04 3/177 17557
/proc/meminfo: memFree=30737604/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=458288 CPUtime=1182.06 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 17963 0 0 0 118194 12 0 0 20 0 1 0 29249942 469286912 83889 33554432000 4194304 6211289 140734026742160 140734026740024 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 114572 83889 219 493 0 114069 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 458288

[startup+1242.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/177 17558
/proc/meminfo: memFree=30731772/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=458608 CPUtime=1242.06 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 18023 0 0 0 124193 13 0 0 20 0 1 0 29249942 469614592 83949 33554432000 4194304 6211289 140734026742160 140734026740072 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 114652 83949 219 493 0 114149 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 458608

[startup+1302.3 s]
/proc/loadavg: 2.04 2.09 2.03 3/177 17559
/proc/meminfo: memFree=30731408/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=458768 CPUtime=1302.05 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 18080 0 0 0 130192 13 0 0 20 0 1 0 29249942 469778432 84005 33554432000 4194304 6211289 140734026742160 140734026740504 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 114692 84005 219 493 0 114189 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 458768

[startup+1362.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/177 17560
/proc/meminfo: memFree=30729668/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=459152 CPUtime=1362.04 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 18357 0 0 0 136191 13 0 0 20 0 1 0 29249942 470171648 84212 33554432000 4194304 6211289 140734026742160 140734026740504 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 114788 84212 219 493 0 114285 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 459152

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 17565
/proc/meminfo: memFree=30710716/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=461104 CPUtime=1422.04 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 18684 0 0 0 142190 14 0 0 20 0 1 0 29249942 472170496 86072 33554432000 4194304 6211289 140734026742160 140734026740024 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 115276 86072 219 493 0 114773 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 461104

[startup+1482.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/177 17566
/proc/meminfo: memFree=30694460/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=464464 CPUtime=1482.01 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 19435 0 0 0 148187 14 0 0 20 0 1 0 29249942 475611136 88450 33554432000 4194304 6211289 140734026742160 140734026740024 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116116 88450 219 493 0 115613 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 464464

[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 17567
/proc/meminfo: memFree=30664608/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=465904 CPUtime=1542.01 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 19770 0 0 0 154186 15 0 0 20 0 1 0 29249942 477085696 95939 33554432000 4194304 6211289 140734026742160 140734026740024 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116476 95939 219 493 0 115973 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 465904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/177 17568
/proc/meminfo: memFree=30617808/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=466388 CPUtime=1602 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 19884 0 0 0 160184 16 0 0 20 0 1 0 29249942 477581312 103718 33554432000 4194304 6211289 140734026742160 140734026740024 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116597 103718 219 493 0 116094 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 466388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17569
/proc/meminfo: memFree=30597988/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=467252 CPUtime=1661.99 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 20084 0 0 0 166183 16 0 0 20 0 1 0 29249942 478466048 108582 33554432000 4194304 6211289 140734026742160 140734026740024 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116813 108582 219 493 0 116310 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 467252

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17571
/proc/meminfo: memFree=30597612/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=467252 CPUtime=1721.98 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 20084 0 0 0 172181 17 0 0 20 0 1 0 29249942 478466048 108582 33554432000 4194304 6211289 140734026742160 140734026740504 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116813 108582 219 493 0 116310 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 467252

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17572
/proc/meminfo: memFree=30585680/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=467252 CPUtime=1781.98 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 20084 0 0 0 178181 17 0 0 20 0 1 0 29249942 478466048 108582 33554432000 4194304 6211289 140734026742160 140734026740504 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116813 108582 219 493 0 116310 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 467252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 17572
/proc/meminfo: memFree=30585680/32872528 swapFree=303544/319896
[pid=17458] ppid=17455 vsize=467252 CPUtime=1800.07 cores=1,3,5,7
/proc/17458/stat : 17458 (cdcl-cuttingpla) R 17455 17458 14217 0 -1 4202496 20084 0 0 0 179990 17 0 0 20 0 1 0 29249942 478466048 108582 33554432000 4194304 6211289 140734026742160 140734026740504 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/17458/statm: 116813 108582 219 493 0 116310 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 467252

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 17458 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.08
CPU user time (s): 1799.91
CPU system time (s): 0.172973
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 467252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.172973
maximum resident set size= 434328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20084
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= 73
involuntary context switches= 2047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53831 second user time and 6.92395 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 19:47:13
IDJOB=4103087
IDBENCH=2255
IDSOLVER=2549
FILE ID=node128/4103087-1466272033
RUNJOBID= node128-1466241415-14234
PBS_JOBID= 19918208
Free space on /tmp= 71704 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-3.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103087-1466272033/watcher-4103087-1466272033 -o /tmp/evaluation-result-4103087-1466272033/solver-4103087-1466272033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4103087-1466272033.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1925793f412227c60146f261684ef7c1
RANDOM SEED=1620351706

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.56
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.768
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.768
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.57
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.768
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.768
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.56
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.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31194000 kB
Buffers:          144600 kB
Cached:           155660 kB
SwapCached:         2708 kB
Active:           389236 kB
Inactive:         221764 kB
Active(anon):     310008 kB
Inactive(anon):     2684 kB
Active(file):      79228 kB
Inactive(file):   219080 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              4684 kB
Writeback:             0 kB
AnonPages:        782640 kB
Mapped:             9720 kB
Shmem:                 0 kB
Slab:             612420 kB
SReclaimable:      56136 kB
SUnreclaim:       556284 kB
KernelStack:        1472 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     872148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 71704 MiB
End job on node128 at 2016-06-18 20:17:14