Trace number 4118338

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.01 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb
MD5SUMe41fab50c28f2d92f5119de116cc6950
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1618
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2036
Total number of constraints3952
Number of constraints which are clauses1976
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1976
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 2036
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 95824
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 95824
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 2036 #constraint= 3952
8.98/9.01	c #Conflicts:       1000 | #Learnt:       1049 | 0.000
8.98/9.01	c total clause space: 48.1602MB
8.98/9.01	c total #watches: 220867
14.69/14.70	c total #propagations: 123097 / total #impl: 9318500 (eff. 0.013)
14.69/14.70	c #Conflicts:       2000 | #Learnt:       2049 | 0.001
14.69/14.70	c total clause space: 78.2603MB
14.69/14.70	c total #watches: 255826
17.49/17.50	c total #propagations: 155798 / total #impl: 14120489 (eff. 0.011)
17.49/17.50	c GC COLLECT
17.49/17.50	c #Conflicts:       3000 | #Learnt:       2050 | 0.000
17.49/17.50	c total clause space: 78.2603MB
17.49/17.50	c total #watches: 206938
22.78/22.89	c total #propagations: 178783 / total #impl: 17779820 (eff. 0.010)
22.78/22.89	c #Conflicts:       4000 | #Learnt:       3050 | 0.000
22.78/22.89	c total clause space: 127.173MB
22.78/22.89	c total #watches: 333767
36.48/36.50	c total #propagations: 206759 / total #impl: 23658591 (eff. 0.009)
36.48/36.50	c GC COLLECT
36.48/36.50	c #Conflicts:       5000 | #Learnt:       2408 | 0.000
36.48/36.50	c total clause space: 127.173MB
36.48/36.50	c total #watches: 422902
45.68/45.73	c total #propagations: 251333 / total #impl: 35528546 (eff. 0.007)
45.68/45.73	c #Conflicts:       6000 | #Learnt:       3408 | 0.000
45.68/45.73	c total clause space: 127.173MB
45.68/45.73	c total #watches: 514505
54.38/54.41	c total #propagations: 283996 / total #impl: 42610546 (eff. 0.007)
54.38/54.41	c GC COLLECT
54.38/54.41	c #Conflicts:       7000 | #Learnt:       2295 | 0.000
54.38/54.41	c total clause space: 206.656MB
54.38/54.41	c total #watches: 361156
59.98/60.00	c total #propagations: 309922 / total #impl: 49394709 (eff. 0.006)
59.98/60.00	c #Conflicts:       8000 | #Learnt:       3295 | 0.000
59.98/60.00	c total clause space: 206.656MB
59.98/60.00	c total #watches: 474221
77.08/77.17	c total #propagations: 331011 / total #impl: 56145426 (eff. 0.006)
77.08/77.17	c #Conflicts:       9000 | #Learnt:       4299 | 0.000
77.08/77.17	c total clause space: 206.656MB
77.08/77.17	c total #watches: 562839
90.97/91.08	c total #propagations: 375051 / total #impl: 62943257 (eff. 0.006)
90.97/91.08	c GC COLLECT
90.97/91.08	c #Conflicts:      10000 | #Learnt:       2786 | 0.000
90.97/91.08	c total clause space: 206.656MB
90.97/91.08	c total #watches: 425687
98.98/99.05	c total #propagations: 409015 / total #impl: 67582068 (eff. 0.006)
98.98/99.05	c #Conflicts:      11000 | #Learnt:       3786 | 0.000
98.98/99.05	c total clause space: 206.656MB
98.98/99.05	c total #watches: 495681
110.17/110.29	c total #propagations: 441780 / total #impl: 76141112 (eff. 0.006)
110.17/110.29	c #Conflicts:      12000 | #Learnt:       4786 | 0.000
110.17/110.29	c total clause space: 206.656MB
110.17/110.29	c total #watches: 548617
123.27/123.32	c total #propagations: 471629 / total #impl: 80278533 (eff. 0.006)
123.27/123.32	c #Conflicts:      13000 | #Learnt:       5786 | 0.000
123.27/123.32	c total clause space: 335.816MB
123.27/123.32	c total #watches: 656475
131.97/132.04	c total #propagations: 498579 / total #impl: 85777138 (eff. 0.006)
131.97/132.04	c GC COLLECT
131.97/132.04	c #Conflicts:      14000 | #Learnt:       3931 | 0.000
131.97/132.04	c total clause space: 335.816MB
131.97/132.04	c total #watches: 540498
148.76/148.84	c total #propagations: 524467 / total #impl: 95569823 (eff. 0.005)
148.76/148.84	c #Conflicts:      15000 | #Learnt:       4931 | 0.000
148.76/148.84	c total clause space: 335.816MB
148.76/148.84	c total #watches: 678511
168.95/169.00	c total #propagations: 555693 / total #impl: 118754768 (eff. 0.005)
168.95/169.00	c #Conflicts:      16000 | #Learnt:       5931 | 0.000
168.95/169.00	c total clause space: 335.816MB
168.95/169.00	c total #watches: 838295
205.44/205.50	c total #propagations: 586523 / total #impl: 137470709 (eff. 0.004)
205.44/205.50	c GC COLLECT
205.44/205.50	c #Conflicts:      17000 | #Learnt:       3757 | 0.000
205.44/205.50	c total clause space: 335.816MB
205.44/205.50	c total #watches: 714226
239.34/239.46	c total #propagations: 648237 / total #impl: 171302453 (eff. 0.004)
239.34/239.46	c #Conflicts:      18000 | #Learnt:       4757 | 0.000
239.34/239.46	c total clause space: 335.816MB
239.34/239.46	c total #watches: 899279
286.44/286.52	c total #propagations: 701154 / total #impl: 216911801 (eff. 0.003)
286.44/286.52	c #Conflicts:      19000 | #Learnt:       5757 | 0.000
286.44/286.52	c total clause space: 335.816MB
286.44/286.52	c total #watches: 1140637
330.83/330.99	c total #propagations: 755503 / total #impl: 265301117 (eff. 0.003)
330.83/330.99	c #Conflicts:      20000 | #Learnt:       6757 | 0.000
330.83/330.99	c total clause space: 335.816MB
330.83/330.99	c total #watches: 1213123
360.62/360.71	c total #propagations: 806115 / total #impl: 287371319 (eff. 0.003)
360.62/360.71	c GC COLLECT
360.62/360.71	c #Conflicts:      21000 | #Learnt:       4269 | 0.000
360.62/360.71	c total clause space: 335.816MB
360.62/360.71	c total #watches: 696086
386.72/386.89	c total #propagations: 864192 / total #impl: 294603477 (eff. 0.003)
386.72/386.89	c #Conflicts:      22000 | #Learnt:       5269 | 0.000
386.72/386.89	c total clause space: 335.816MB
386.72/386.89	c total #watches: 764508
416.92/417.06	c total #propagations: 921328 / total #impl: 310942323 (eff. 0.003)
416.92/417.06	c #Conflicts:      23000 | #Learnt:       6269 | 0.000
416.92/417.06	c total clause space: 335.816MB
416.92/417.06	c total #watches: 809102
441.81/441.97	c total #propagations: 974313 / total #impl: 322471171 (eff. 0.003)
441.81/441.97	c #Conflicts:      24000 | #Learnt:       7269 | 0.000
441.81/441.97	c total clause space: 335.816MB
441.81/441.97	c total #watches: 850912
457.81/457.97	c total #propagations: 1020650 / total #impl: 333971330 (eff. 0.003)
457.81/457.97	c GC COLLECT
457.81/457.97	c #Conflicts:      25000 | #Learnt:       4472 | 0.000
457.81/457.97	c total clause space: 335.816MB
457.81/457.97	c total #watches: 419821
471.01/471.15	c total #propagations: 1059422 / total #impl: 345711230 (eff. 0.003)
471.01/471.15	c #Conflicts:      26000 | #Learnt:       5472 | 0.000
471.01/471.15	c total clause space: 335.816MB
471.01/471.15	c total #watches: 499370
483.31/483.48	c total #propagations: 1105704 / total #impl: 357380820 (eff. 0.003)
483.31/483.48	c #Conflicts:      27000 | #Learnt:       6472 | 0.000
483.31/483.48	c total clause space: 335.816MB
483.31/483.48	c total #watches: 526234
502.21/502.31	c total #propagations: 1146574 / total #impl: 361981751 (eff. 0.003)
502.21/502.31	c #Conflicts:      28000 | #Learnt:       7472 | 0.000
502.21/502.31	c total clause space: 335.816MB
502.21/502.31	c total #watches: 535693
523.10/523.28	c total #propagations: 1206603 / total #impl: 365018068 (eff. 0.003)
523.10/523.28	c GC COLLECT
523.10/523.28	c #Conflicts:      29000 | #Learnt:       4377 | 0.000
523.10/523.28	c total clause space: 335.816MB
523.10/523.28	c total #watches: 343090
541.30/541.44	c total #propagations: 1268089 / total #impl: 372252260 (eff. 0.003)
541.30/541.44	c #Conflicts:      30000 | #Learnt:       5377 | 0.000
541.30/541.44	c total clause space: 335.816MB
541.30/541.44	c total #watches: 360066
558.90/559.03	c total #propagations: 1344397 / total #impl: 390468053 (eff. 0.003)
558.90/559.03	c #Conflicts:      31000 | #Learnt:       6377 | 0.000
558.90/559.03	c total clause space: 335.816MB
558.90/559.03	c total #watches: 370426
567.50/567.64	c total #propagations: 1435631 / total #impl: 397843026 (eff. 0.004)
567.50/567.64	c #Conflicts:      32000 | #Learnt:       7377 | 0.000
567.50/567.64	c total clause space: 335.816MB
567.50/567.64	c total #watches: 447238
583.59/583.74	c total #propagations: 1471210 / total #impl: 401825181 (eff. 0.004)
583.59/583.74	c #Conflicts:      33000 | #Learnt:       8377 | 0.000
583.59/583.74	c total clause space: 335.816MB
583.59/583.74	c total #watches: 457663
597.69/597.82	c total #propagations: 1545549 / total #impl: 407305311 (eff. 0.004)
597.69/597.82	c GC COLLECT
597.69/597.82	c #Conflicts:      34000 | #Learnt:       4975 | 0.000
597.69/597.82	c total clause space: 335.816MB
597.69/597.82	c total #watches: 306079
607.28/607.49	c total #propagations: 1595094 / total #impl: 423043535 (eff. 0.004)
607.28/607.49	c #Conflicts:      35000 | #Learnt:       5975 | 0.000
607.28/607.49	c total clause space: 335.816MB
607.28/607.49	c total #watches: 328977
621.88/622.07	c total #propagations: 1654078 / total #impl: 431881687 (eff. 0.004)
621.88/622.07	c #Conflicts:      36000 | #Learnt:       6975 | 0.000
621.88/622.07	c total clause space: 335.816MB
621.88/622.07	c total #watches: 369953
630.78/630.98	c total #propagations: 1721909 / total #impl: 442951709 (eff. 0.004)
630.78/630.98	c #Conflicts:      37000 | #Learnt:       7975 | 0.000
630.78/630.98	c total clause space: 335.816MB
630.78/630.98	c total #watches: 398565
645.48/645.64	c total #propagations: 1766023 / total #impl: 448946193 (eff. 0.004)
645.48/645.64	c #Conflicts:      38000 | #Learnt:       8975 | 0.000
645.48/645.64	c total clause space: 335.816MB
645.48/645.64	c total #watches: 415334
657.47/657.61	c total #propagations: 1836384 / total #impl: 456639624 (eff. 0.004)
657.47/657.61	c GC COLLECT
657.47/657.61	c #Conflicts:      39000 | #Learnt:       5277 | 0.000
657.47/657.61	c total clause space: 335.816MB
657.47/657.61	c total #watches: 315772
669.88/670.05	c total #propagations: 1894307 / total #impl: 466974624 (eff. 0.004)
669.88/670.05	c #Conflicts:      40000 | #Learnt:       6277 | 0.000
669.88/670.05	c total clause space: 335.816MB
669.88/670.05	c total #watches: 321923
680.57/680.76	c total #propagations: 1983786 / total #impl: 480155100 (eff. 0.004)
680.57/680.76	c #Conflicts:      41000 | #Learnt:       7277 | 0.000
680.57/680.76	c total clause space: 335.816MB
680.57/680.76	c total #watches: 335375
688.47/688.66	c total #propagations: 2077482 / total #impl: 484218606 (eff. 0.004)
688.47/688.66	c #Conflicts:      42000 | #Learnt:       8277 | 0.000
688.47/688.66	c total clause space: 335.816MB
688.47/688.66	c total #watches: 338652
699.27/699.48	c total #propagations: 2174708 / total #impl: 485411223 (eff. 0.004)
699.27/699.48	c #Conflicts:      43000 | #Learnt:       9277 | 0.000
699.27/699.48	c total clause space: 335.816MB
699.27/699.48	c total #watches: 354504
711.17/711.32	c total #propagations: 2261480 / total #impl: 489664293 (eff. 0.005)
711.17/711.32	c GC COLLECT
711.17/711.32	c #Conflicts:      44000 | #Learnt:       5243 | 0.000
711.17/711.32	c total clause space: 335.816MB
711.17/711.32	c total #watches: 318249
717.47/717.60	c total #propagations: 2332511 / total #impl: 499781212 (eff. 0.005)
717.47/717.60	c #Conflicts:      45000 | #Learnt:       6243 | 0.000
717.47/717.60	c total clause space: 335.816MB
717.47/717.60	c total #watches: 386309
728.97/729.17	c total #propagations: 2379900 / total #impl: 503563406 (eff. 0.005)
728.97/729.17	c #Conflicts:      46000 | #Learnt:       7243 | 0.000
728.97/729.17	c total clause space: 335.816MB
728.97/729.17	c total #watches: 391738
743.87/744.05	c total #propagations: 2462529 / total #impl: 505819664 (eff. 0.005)
743.87/744.05	c #Conflicts:      47000 | #Learnt:       8243 | 0.000
743.87/744.05	c total clause space: 335.816MB
743.87/744.05	c total #watches: 470081
756.86/757.09	c total #propagations: 2527523 / total #impl: 519259532 (eff. 0.005)
756.86/757.09	c #Conflicts:      48000 | #Learnt:       9243 | 0.000
756.86/757.09	c total clause space: 335.816MB
756.86/757.09	c total #watches: 572339
784.26/784.42	c total #propagations: 2586542 / total #impl: 540065354 (eff. 0.005)
784.26/784.42	c #Conflicts:      49000 | #Learnt:      10243 | 0.000
784.26/784.42	c total clause space: 545.701MB
784.26/784.42	c total #watches: 641715
796.95/797.15	c total #propagations: 2668808 / total #impl: 550280486 (eff. 0.005)
796.95/797.15	c GC COLLECT
796.95/797.15	c #Conflicts:      50000 | #Learnt:       5923 | 0.000
796.95/797.15	c total clause space: 545.701MB
796.95/797.15	c total #watches: 353728
808.36/808.59	c total #propagations: 2716199 / total #impl: 557880381 (eff. 0.005)
808.36/808.59	c #Conflicts:      51000 | #Learnt:       6923 | 0.000
808.36/808.59	c total clause space: 545.701MB
808.36/808.59	c total #watches: 391162
822.85/823.01	c total #propagations: 2774340 / total #impl: 560344280 (eff. 0.005)
822.85/823.01	c #Conflicts:      52000 | #Learnt:       7923 | 0.000
822.85/823.01	c total clause space: 545.701MB
822.85/823.01	c total #watches: 421441
837.95/838.11	c total #propagations: 2837926 / total #impl: 570322603 (eff. 0.005)
837.95/838.11	c #Conflicts:      53000 | #Learnt:       8923 | 0.000
837.95/838.11	c total clause space: 545.701MB
837.95/838.11	c total #watches: 460637
848.64/848.81	c total #propagations: 2888988 / total #impl: 579381594 (eff. 0.005)
848.64/848.81	c #Conflicts:      54000 | #Learnt:       9923 | 0.000
848.64/848.81	c total clause space: 545.701MB
848.64/848.81	c total #watches: 518602
871.54/871.71	c total #propagations: 2927076 / total #impl: 588110680 (eff. 0.005)
871.54/871.71	c #Conflicts:      55000 | #Learnt:      10923 | 0.000
871.54/871.71	c total clause space: 545.701MB
871.54/871.71	c total #watches: 591515
884.74/884.94	c total #propagations: 2996053 / total #impl: 606278536 (eff. 0.005)
884.74/884.94	c GC COLLECT
884.74/884.94	c #Conflicts:      56000 | #Learnt:       6314 | 0.000
884.74/884.94	c total clause space: 545.701MB
884.74/884.94	c total #watches: 396916
898.33/898.55	c total #propagations: 3039422 / total #impl: 622613845 (eff. 0.005)
898.33/898.55	c #Conflicts:      57000 | #Learnt:       7314 | 0.000
898.33/898.55	c total clause space: 545.701MB
898.33/898.55	c total #watches: 410355
909.54/909.73	c total #propagations: 3091122 / total #impl: 633768654 (eff. 0.005)
909.54/909.73	c #Conflicts:      58000 | #Learnt:       8314 | 0.000
909.54/909.73	c total clause space: 545.701MB
909.54/909.73	c total #watches: 444811
918.03/918.29	c total #propagations: 3133790 / total #impl: 644950535 (eff. 0.005)
918.03/918.29	c #Conflicts:      59000 | #Learnt:       9314 | 0.000
918.03/918.29	c total clause space: 545.701MB
918.03/918.29	c total #watches: 481693
927.93/928.10	c total #propagations: 3182174 / total #impl: 656732502 (eff. 0.005)
927.93/928.10	c #Conflicts:      60000 | #Learnt:      10314 | 0.000
927.93/928.10	c total clause space: 545.701MB
927.93/928.10	c total #watches: 486272
938.73/938.97	c total #propagations: 3247427 / total #impl: 662068468 (eff. 0.005)
938.73/938.97	c #Conflicts:      61000 | #Learnt:      11314 | 0.000
938.73/938.97	c total clause space: 545.701MB
938.73/938.97	c total #watches: 504197
947.23/947.44	c total #propagations: 3305754 / total #impl: 664569601 (eff. 0.005)
947.23/947.44	c GC COLLECT
947.23/947.44	c #Conflicts:      62000 | #Learnt:       6414 | 0.000
947.23/947.44	c total clause space: 545.701MB
947.23/947.44	c total #watches: 411464
954.82/955.09	c total #propagations: 3338575 / total #impl: 672215405 (eff. 0.005)
954.82/955.09	c #Conflicts:      63000 | #Learnt:       7414 | 0.000
954.82/955.09	c total clause space: 545.701MB
954.82/955.09	c total #watches: 438956
963.92/964.10	c total #propagations: 3371109 / total #impl: 679956168 (eff. 0.005)
963.92/964.10	c #Conflicts:      64000 | #Learnt:       8414 | 0.000
963.92/964.10	c total clause space: 545.701MB
963.92/964.10	c total #watches: 505566
981.13/981.36	c total #propagations: 3396069 / total #impl: 686984893 (eff. 0.005)
981.13/981.36	c #Conflicts:      65000 | #Learnt:       9414 | 0.000
981.13/981.36	c total clause space: 545.701MB
981.13/981.36	c total #watches: 531606
997.02/997.23	c total #propagations: 3461516 / total #impl: 692835394 (eff. 0.005)
997.02/997.23	c #Conflicts:      66000 | #Learnt:      10416 | 0.000
997.02/997.23	c total clause space: 545.701MB
997.02/997.23	c total #watches: 635318
1009.31/1009.58	c total #propagations: 3510699 / total #impl: 704645771 (eff. 0.005)
1009.31/1009.58	c #Conflicts:      67000 | #Learnt:      11416 | 0.000
1009.31/1009.58	c total clause space: 545.701MB
1009.31/1009.58	c total #watches: 716978
1029.02/1029.24	c total #propagations: 3543667 / total #impl: 711220367 (eff. 0.005)
1029.02/1029.24	c #Conflicts:      68000 | #Learnt:      12416 | 0.000
1029.02/1029.24	c total clause space: 545.701MB
1029.02/1029.24	c total #watches: 794958
1040.92/1041.12	c total #propagations: 3584656 / total #impl: 716412376 (eff. 0.005)
1040.92/1041.12	c GC COLLECT
1040.92/1041.12	c #Conflicts:      69000 | #Learnt:       7211 | 0.000
1040.92/1041.12	c total clause space: 545.701MB
1040.92/1041.12	c total #watches: 593096
1060.72/1060.98	c total #propagations: 3619914 / total #impl: 733001479 (eff. 0.005)
1060.72/1060.98	c #Conflicts:      70000 | #Learnt:       8211 | 0.000
1060.72/1060.98	c total clause space: 545.701MB
1060.72/1060.98	c total #watches: 646677
1080.91/1081.10	c total #propagations: 3664108 / total #impl: 739670956 (eff. 0.005)
1080.91/1081.10	c #Conflicts:      71000 | #Learnt:       9211 | 0.000
1080.91/1081.10	c total clause space: 545.701MB
1080.91/1081.10	c total #watches: 738662
1106.61/1106.89	c total #propagations: 3702421 / total #impl: 745273074 (eff. 0.005)
1106.61/1106.89	c #Conflicts:      72000 | #Learnt:      10211 | 0.000
1106.61/1106.89	c total clause space: 545.701MB
1106.61/1106.89	c total #watches: 777729
1133.10/1133.31	c total #propagations: 3744942 / total #impl: 750365296 (eff. 0.005)
1133.10/1133.31	c #Conflicts:      73000 | #Learnt:      11211 | 0.000
1133.10/1133.31	c total clause space: 545.701MB
1133.10/1133.31	c total #watches: 850882
1155.70/1155.97	c total #propagations: 3788925 / total #impl: 758583962 (eff. 0.005)
1155.70/1155.97	c #Conflicts:      74000 | #Learnt:      12211 | 0.000
1155.70/1155.97	c total clause space: 545.701MB
1155.70/1155.97	c total #watches: 910320
1176.39/1176.61	c total #propagations: 3830438 / total #impl: 769445246 (eff. 0.005)
1176.39/1176.61	c GC COLLECT
1176.39/1176.61	c #Conflicts:      75000 | #Learnt:       6711 | 0.000
1176.39/1176.61	c total clause space: 545.701MB
1176.39/1176.61	c total #watches: 433799
1190.19/1190.48	c total #propagations: 3877339 / total #impl: 775635040 (eff. 0.005)
1190.19/1190.48	c #Conflicts:      76000 | #Learnt:       7711 | 0.000
1190.19/1190.48	c total clause space: 545.701MB
1190.19/1190.48	c total #watches: 476729
1206.09/1206.31	c total #propagations: 3922784 / total #impl: 785078046 (eff. 0.005)
1206.09/1206.31	c #Conflicts:      77000 | #Learnt:       8711 | 0.000
1206.09/1206.31	c total clause space: 545.701MB
1206.09/1206.31	c total #watches: 624885
1218.09/1218.33	c total #propagations: 3961029 / total #impl: 799778480 (eff. 0.005)
1218.09/1218.33	c #Conflicts:      78000 | #Learnt:       9711 | 0.000
1218.09/1218.33	c total clause space: 545.701MB
1218.09/1218.33	c total #watches: 677144
1229.08/1229.33	c total #propagations: 3990223 / total #impl: 803900693 (eff. 0.005)
1229.08/1229.33	c #Conflicts:      79000 | #Learnt:      10711 | 0.000
1229.08/1229.33	c total clause space: 545.701MB
1229.08/1229.33	c total #watches: 760518
1238.58/1238.86	c total #propagations: 4010937 / total #impl: 815499025 (eff. 0.005)
1238.58/1238.86	c #Conflicts:      80000 | #Learnt:      11711 | 0.000
1238.58/1238.86	c total clause space: 545.701MB
1238.58/1238.86	c total #watches: 879651
1251.48/1251.78	c total #propagations: 4029285 / total #impl: 827404713 (eff. 0.005)
1251.48/1251.78	c #Conflicts:      81000 | #Learnt:      12711 | 0.000
1251.48/1251.78	c total clause space: 545.701MB
1251.48/1251.78	c total #watches: 998302
1262.58/1262.81	c total #propagations: 4052905 / total #impl: 838038423 (eff. 0.005)
1262.58/1262.81	c GC COLLECT
1262.58/1262.81	c #Conflicts:      82000 | #Learnt:       6908 | 0.000
1262.58/1262.81	c total clause space: 545.701MB
1262.58/1262.81	c total #watches: 453845
1269.97/1270.20	c total #propagations: 4073706 / total #impl: 851834567 (eff. 0.005)
1269.97/1270.20	c #Conflicts:      83000 | #Learnt:       7908 | 0.000
1269.97/1270.20	c total clause space: 545.701MB
1269.97/1270.20	c total #watches: 631383
1282.87/1283.14	c total #propagations: 4095889 / total #impl: 860184489 (eff. 0.005)
1282.87/1283.14	c #Conflicts:      84000 | #Learnt:       8908 | 0.000
1282.87/1283.14	c total clause space: 545.701MB
1282.87/1283.14	c total #watches: 835401
1307.68/1307.95	c total #propagations: 4123112 / total #impl: 872252987 (eff. 0.005)
1307.68/1307.95	c #Conflicts:      85000 | #Learnt:       9908 | 0.000
1307.68/1307.95	c total clause space: 545.701MB
1307.68/1307.95	c total #watches: 988150
1338.47/1338.70	c total #propagations: 4161815 / total #impl: 880987814 (eff. 0.005)
1338.47/1338.70	c #Conflicts:      86000 | #Learnt:      10908 | 0.000
1338.47/1338.70	c total clause space: 545.701MB
1338.47/1338.70	c total #watches: 1117960
1372.57/1372.90	c total #propagations: 4202203 / total #impl: 888856157 (eff. 0.005)
1372.57/1372.90	c #Conflicts:      87000 | #Learnt:      11908 | 0.000
1372.57/1372.90	c total clause space: 545.701MB
1372.57/1372.90	c total #watches: 1254663
1422.26/1422.50	c total #propagations: 4251299 / total #impl: 901995484 (eff. 0.005)
1422.26/1422.50	c #Conflicts:      88000 | #Learnt:      12908 | 0.000
1422.26/1422.50	c total clause space: 545.701MB
1422.26/1422.50	c total #watches: 1320277
1452.86/1453.15	c total #propagations: 4310857 / total #impl: 913470889 (eff. 0.005)
1452.86/1453.15	c #Conflicts:      89000 | #Learnt:      13908 | 0.000
1452.86/1453.15	c total clause space: 545.701MB
1452.86/1453.15	c total #watches: 1364457
1472.25/1472.57	c total #propagations: 4356470 / total #impl: 922500637 (eff. 0.005)
1472.25/1472.57	c GC COLLECT
1472.25/1472.57	c #Conflicts:      90000 | #Learnt:       7807 | 0.000
1472.25/1472.57	c total clause space: 545.701MB
1472.25/1472.57	c total #watches: 499972
1480.24/1480.52	c total #propagations: 4400762 / total #impl: 938762217 (eff. 0.005)
1480.24/1480.52	c #Conflicts:      91000 | #Learnt:       8807 | 0.000
1480.24/1480.52	c total clause space: 545.701MB
1480.24/1480.52	c total #watches: 564917
1491.84/1492.14	c total #propagations: 4436503 / total #impl: 947498727 (eff. 0.005)
1491.84/1492.14	c #Conflicts:      92000 | #Learnt:       9807 | 0.000
1491.84/1492.14	c total clause space: 545.701MB
1491.84/1492.14	c total #watches: 655825
1514.64/1515.00	c total #propagations: 4476465 / total #impl: 963480731 (eff. 0.005)
1514.64/1515.00	c #Conflicts:      93000 | #Learnt:      10807 | 0.000
1514.64/1515.00	c total clause space: 545.701MB
1514.64/1515.00	c total #watches: 750831
1531.84/1532.12	c total #propagations: 4529585 / total #impl: 995023978 (eff. 0.005)
1531.84/1532.12	c #Conflicts:      94000 | #Learnt:      11807 | 0.000
1531.84/1532.12	c total clause space: 545.701MB
1531.84/1532.12	c total #watches: 857254
1555.53/1555.81	c total #propagations: 4571989 / total #impl: 1011865047 (eff. 0.005)
1555.53/1555.81	c #Conflicts:      95000 | #Learnt:      12807 | 0.000
1555.53/1555.81	c total clause space: 545.701MB
1555.53/1555.81	c total #watches: 986978
1585.23/1585.53	c total #propagations: 4615021 / total #impl: 1024697367 (eff. 0.005)
1585.23/1585.53	c #Conflicts:      96000 | #Learnt:      13807 | 0.000
1585.23/1585.53	c total clause space: 545.701MB
1585.23/1585.53	c total #watches: 1010182
1621.02/1621.31	c total #propagations: 4671007 / total #impl: 1033265014 (eff. 0.005)
1621.02/1621.31	c #Conflicts:      97000 | #Learnt:      14807 | 0.000
1621.02/1621.31	c total clause space: 545.701MB
1621.02/1621.31	c total #watches: 1029604
1636.42/1636.75	c total #propagations: 4734412 / total #impl: 1040063131 (eff. 0.005)
1636.42/1636.75	c GC COLLECT
1636.42/1636.75	c #Conflicts:      98000 | #Learnt:       8410 | 0.000
1636.42/1636.75	c total clause space: 545.701MB
1636.42/1636.75	c total #watches: 498316
1654.22/1654.58	c total #propagations: 4803629 / total #impl: 1045173616 (eff. 0.005)
1654.22/1654.58	c #Conflicts:      99000 | #Learnt:       9410 | 0.000
1654.22/1654.58	c total clause space: 545.701MB
1654.22/1654.58	c total #watches: 533838
1675.12/1675.42	c total #propagations: 4873281 / total #impl: 1053090577 (eff. 0.005)
1675.12/1675.42	c #Conflicts:     100000 | #Learnt:      10410 | 0.000
1675.12/1675.42	c total clause space: 545.701MB
1675.12/1675.42	c total #watches: 591288
1697.41/1697.77	c total #propagations: 4938527 / total #impl: 1062377503 (eff. 0.005)
1697.41/1697.77	c #Conflicts:     101000 | #Learnt:      11410 | 0.000
1697.41/1697.77	c total clause space: 545.701MB
1697.41/1697.77	c total #watches: 634094
1717.91/1718.21	c total #propagations: 5007939 / total #impl: 1070411722 (eff. 0.005)
1717.91/1718.21	c #Conflicts:     102000 | #Learnt:      12410 | 0.000
1717.91/1718.21	c total clause space: 545.701MB
1717.91/1718.21	c total #watches: 668106
1751.01/1751.34	c total #propagations: 5074825 / total #impl: 1082067302 (eff. 0.005)
1751.01/1751.34	c #Conflicts:     103000 | #Learnt:      13410 | 0.000
1751.01/1751.34	c total clause space: 545.701MB
1751.01/1751.34	c total #watches: 722679
1772.80/1773.17	c total #propagations: 5161319 / total #impl: 1098618344 (eff. 0.005)
1772.80/1773.17	c #Conflicts:     104000 | #Learnt:      14410 | 0.000
1772.80/1773.17	c total clause space: 545.701MB
1772.80/1773.17	c total #watches: 779675

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-4118338-1467219321/watcher-4118338-1467219321 -o /tmp/evaluation-result-4118338-1467219321/solver-4118338-1467219321 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118338-1467219321.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=2934
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.00 2.02 2.00 3/176 2937
/proc/meminfo: memFree=31608184/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 963480 29810688 5268 33554432000 4194304 6201397 140735223704736 140734226702280 4211056 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/2937/statm: 7278 5268 130 491 0 6777 0

[startup+0.100118 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 2937
/proc/meminfo: memFree=31608184/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=33976 CPUtime=0.09 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 851 0 0 0 9 0 0 0 20 0 1 0 963480 34791424 6690 33554432000 4194304 6201397 140735223704736 140734226702280 4213268 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/2937/statm: 8494 6690 146 491 0 7993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33976

[startup+0.200299 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 2937
/proc/meminfo: memFree=31608184/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=34104 CPUtime=0.19 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 941 0 0 0 19 0 0 0 20 0 1 0 963480 34922496 7280 33554432000 4194304 6201397 140735223704736 140734226702280 4213240 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/2937/statm: 8526 7280 146 491 0 8025 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34104

[startup+0.300212 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 2937
/proc/meminfo: memFree=31608184/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=34204 CPUtime=0.29 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 951 0 0 0 29 0 0 0 20 0 1 0 963480 35024896 7290 33554432000 4194304 6201397 140735223704736 140734226702280 4213178 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/2937/statm: 8551 7290 146 491 0 8050 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34204

[startup+0.700182 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 2937
/proc/meminfo: memFree=31608184/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=34336 CPUtime=0.69 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 1002 0 0 0 69 0 0 0 20 0 1 0 963480 35160064 7341 33554432000 4194304 6201397 140735223704736 140734226702280 4213240 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/2937/statm: 8584 7341 146 491 0 8083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34336

[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2938
/proc/meminfo: memFree=31575388/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=41944 CPUtime=1.49 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 1579 0 0 0 149 0 0 0 20 0 1 0 963480 42950656 8326 33554432000 4194304 6201397 140735223704736 140735223703544 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 10486 8326 147 491 0 9985 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41944

[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2938
/proc/meminfo: memFree=31568192/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=50084 CPUtime=3.09 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 2056 0 0 0 309 0 0 0 20 0 1 0 963480 51286016 10280 33554432000 4194304 6201397 140735223704736 140735223703688 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 12521 10280 147 491 0 12020 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50084

[startup+6.30023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2938
/proc/meminfo: memFree=31554748/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=62192 CPUtime=6.29 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 2411 0 0 0 629 0 0 0 20 0 1 0 963480 63684608 11091 33554432000 4194304 6201397 140735223704736 140735223703448 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 15548 11091 147 491 0 15047 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62192

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2938
/proc/meminfo: memFree=31511708/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=113536 CPUtime=12.68 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 3288 0 0 0 1268 0 0 0 20 0 1 0 963480 116260864 22074 33554432000 4194304 6201397 140735223704736 140735223703768 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 28384 22074 160 491 0 27883 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 113536

[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 2938
/proc/meminfo: memFree=31429768/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=166332 CPUtime=25.49 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 6564 0 0 0 2547 2 0 0 20 0 1 0 963480 170323968 38076 33554432000 4194304 6201397 140735223704736 140735223703864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 41583 38076 166 491 0 41082 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166332

[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 2938
/proc/meminfo: memFree=31378332/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=252460 CPUtime=51.08 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 8676 0 0 0 5106 2 0 0 20 0 1 0 963480 258519040 44405 33554432000 4194304 6201397 140735223704736 140735223703688 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 63115 44405 166 491 0 62614 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 252460

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 2939
/proc/meminfo: memFree=31295908/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=254216 CPUtime=102.28 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 9941 0 0 0 10225 3 0 0 20 0 1 0 963480 260317184 56574 33554432000 4194304 6201397 140735223704736 140735223703864 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 63554 56574 166 491 0 63053 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 254216

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2941
/proc/meminfo: memFree=31140432/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=388460 CPUtime=162.26 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 10908 0 0 0 16222 4 0 0 20 0 1 0 963480 397783040 62848 33554432000 4194304 6201397 140735223704736 140735223703400 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 97115 62848 166 491 0 96614 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 388460

[startup+222.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2942
/proc/meminfo: memFree=31073592/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=391296 CPUtime=222.25 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 11745 0 0 0 22221 4 0 0 20 0 1 0 963480 400687104 69741 33554432000 4194304 6201397 140735223704736 140735223703864 4213387 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 97824 69741 166 491 0 97323 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 391296

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 2946
/proc/meminfo: memFree=31030372/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=392000 CPUtime=282.24 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 11921 0 0 0 28219 5 0 0 20 0 1 0 963480 401408000 69917 33554432000 4194304 6201397 140735223704736 140735223703448 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 98000 69917 166 491 0 97499 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 392000

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 2970
/proc/meminfo: memFree=30995188/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=399768 CPUtime=342.22 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 13745 0 0 0 34217 5 0 0 20 0 1 0 963480 409362432 76851 33554432000 4194304 6201397 140735223704736 140735223703864 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 99942 76851 166 491 0 99441 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 399768

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2971
/proc/meminfo: memFree=30994384/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=399768 CPUtime=402.21 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 13770 0 0 0 40216 5 0 0 20 0 1 0 963480 409362432 77387 33554432000 4194304 6201397 140735223704736 140735223703864 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 99942 77387 166 491 0 99441 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 399768

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2972
/proc/meminfo: memFree=30960056/32872528 swapFree=170024/176156
[pid=2937] ppid=2934 vsize=399768 CPUtime=462.21 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 13842 0 0 0 46215 6 0 0 20 0 1 0 963480 409362432 81036 33554432000 4194304 6201397 140735223704736 140735223703864 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 99942 81036 166 491 0 99441 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 399768

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2974
/proc/meminfo: memFree=30927144/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=399768 CPUtime=522.2 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 13889 0 0 0 52214 6 0 0 20 0 1 0 963480 409362432 85171 33554432000 4194304 6201397 140735223704736 140735223703864 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 99942 85171 166 491 0 99441 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 399768

[startup+582.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 2975
/proc/meminfo: memFree=30898400/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=399768 CPUtime=582.19 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 13900 0 0 0 58213 6 0 0 20 0 1 0 963480 409362432 85182 33554432000 4194304 6201397 140735223704736 140735223703864 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 99942 85182 166 491 0 99441 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 399768


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


[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 2985
/proc/meminfo: memFree=30673144/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=942.13 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14547 0 0 0 94206 7 0 0 20 0 1 0 963480 629444608 112586 33554432000 4194304 6201397 140735223704736 140735223703864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 112586 166 491 0 153172 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 614692

[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 2986
/proc/meminfo: memFree=30599280/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1002.12 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14578 0 0 0 100205 7 0 0 20 0 1 0 963480 629444608 114655 33554432000 4194304 6201397 140735223704736 140735223703864 4220746 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 114655 166 491 0 153172 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 614692

[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 2987
/proc/meminfo: memFree=30523764/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1062.12 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14597 0 0 0 106204 8 0 0 20 0 1 0 963480 629444608 120291 33554432000 4194304 6201397 140735223704736 140735223703864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 120291 166 491 0 153172 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 614692

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2989
/proc/meminfo: memFree=30494100/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1122.11 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14623 0 0 0 112203 8 0 0 20 0 1 0 963480 629444608 120310 33554432000 4194304 6201397 140735223704736 140735223703864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 120310 166 491 0 153172 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 614692

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 2990
/proc/meminfo: memFree=30471312/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1182.09 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14639 0 0 0 118201 8 0 0 20 0 1 0 963480 629444608 125947 33554432000 4194304 6201397 140735223704736 140735223703864 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 125947 166 491 0 153172 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 614692

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 2991
/proc/meminfo: memFree=30470696/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1242.08 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14671 0 0 0 124200 8 0 0 20 0 1 0 963480 629444608 125971 33554432000 4194304 6201397 140735223704736 140735223703864 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 125971 166 491 0 153172 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 614692

[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 2992
/proc/meminfo: memFree=30443324/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614692 CPUtime=1302.07 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14684 0 0 0 130199 8 0 0 20 0 1 0 963480 629444608 132627 33554432000 4194304 6201397 140735223704736 140735223703864 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153673 132627 166 491 0 153172 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 614692

[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 2993
/proc/meminfo: memFree=30401740/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=614836 CPUtime=1362.06 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14717 0 0 0 136198 8 0 0 20 0 1 0 963480 629592064 132659 33554432000 4194304 6201397 140735223704736 140735223703448 4213195 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153709 132659 166 491 0 153208 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 614836

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 2995
/proc/meminfo: memFree=30372552/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615268 CPUtime=1422.07 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14796 0 0 0 142198 9 0 0 20 0 1 0 963480 630034432 132738 33554432000 4194304 6201397 140735223704736 140735223703448 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153817 132738 166 491 0 153316 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 615268

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 2999
/proc/meminfo: memFree=30309972/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615556 CPUtime=1482.04 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14880 0 0 0 148195 9 0 0 20 0 1 0 963480 630329344 137932 33554432000 4194304 6201397 140735223704736 140735223703864 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153889 137932 166 491 0 153388 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 615556

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 3000
/proc/meminfo: memFree=30300588/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615556 CPUtime=1542.04 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14880 0 0 0 154195 9 0 0 20 0 1 0 963480 630329344 137932 33554432000 4194304 6201397 140735223704736 140735223703864 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153889 137932 166 491 0 153388 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 615556

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3001
/proc/meminfo: memFree=30300832/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615556 CPUtime=1602.02 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14881 0 0 0 160193 9 0 0 20 0 1 0 963480 630329344 137933 33554432000 4194304 6201397 140735223704736 140735223703864 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153889 137933 166 491 0 153388 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 615556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3002
/proc/meminfo: memFree=30286000/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615684 CPUtime=1662.01 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14895 0 0 0 166192 9 0 0 20 0 1 0 963480 630460416 141524 33554432000 4194304 6201397 140735223704736 140735223703864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153921 141524 166 491 0 153420 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 615684

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 3004
/proc/meminfo: memFree=30286000/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615684 CPUtime=1722 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14895 0 0 0 172191 9 0 0 20 0 1 0 963480 630460416 141524 33554432000 4194304 6201397 140735223704736 140735223703864 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153921 141524 166 491 0 153420 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 615684

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3005
/proc/meminfo: memFree=30285128/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615684 CPUtime=1782 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14895 0 0 0 178191 9 0 0 20 0 1 0 963480 630460416 141524 33554432000 4194304 6201397 140735223704736 140735223703864 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153921 141524 166 491 0 153420 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 615684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3005
/proc/meminfo: memFree=30273336/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615684 CPUtime=1800 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14898 0 0 0 179990 10 0 0 20 0 1 0 963480 630460416 142549 33554432000 4194304 6201397 140735223704736 140735223703864 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153921 142549 166 491 0 153420 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 615684

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

[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3005
/proc/meminfo: memFree=30273336/32872528 swapFree=170020/176152
[pid=2937] ppid=2934 vsize=615684 CPUtime=1800 cores=0,2,4,6
/proc/2937/stat : 2937 (cdcl-cuttingpla) R 2934 2937 1985 0 -1 4202496 14898 0 0 0 179990 10 0 0 20 0 1 0 963480 630460416 142549 33554432000 4194304 6201397 140735223704736 140735223703864 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/2937/statm: 153921 142549 166 491 0 153420 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 615684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.91
CPU system time (s): 0.102984
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 615684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.102984
maximum resident set size= 570196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14898
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= 18
involuntary context switches= 2177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55131 second user time and 6.91195 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-29 18:55:21
IDJOB=4118338
IDBENCH=111482
IDSOLVER=2550
FILE ID=node105/4118338-1467219321
RUNJOBID= node105-1467210315-2001
PBS_JOBID= 19997600
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118338-1467219321/watcher-4118338-1467219321 -o /tmp/evaluation-result-4118338-1467219321/solver-4118338-1467219321 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118338-1467219321.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= e41fab50c28f2d92f5119de116cc6950
RANDOM SEED=148638457

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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.487
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:        31607952 kB
Buffers:           53528 kB
Cached:           281896 kB
SwapCached:            0 kB
Active:           116216 kB
Inactive:         265076 kB
Active(anon):      48160 kB
Inactive(anon):        4 kB
Active(file):      68056 kB
Inactive(file):   265072 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        221552 kB
Mapped:            14540 kB
Shmem:               204 kB
Slab:             577232 kB
SReclaimable:      21088 kB
SUnreclaim:       556144 kB
KernelStack:        1456 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     330864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71736 MiB
End job on node105 at 2016-06-29 19:25:22