Trace number 4087483

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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= 94227
0.29/0.30	c * #variable= 1272 #constraint= 94227
1.49/1.53	c S1->S2
1.49/1.53	c S2->S1
1.49/1.53	c #Conflicts:       1000 | #Learnt:        752 | 0.000
1.49/1.53	c total clause space: 48.1602MB
1.49/1.53	c total #watches: 268610
5.38/5.41	c total #propagations: 62842 / total #impl: 122937 (eff. 0.511)
5.38/5.41	c #Conflicts:       2000 | #Learnt:       1752 | 0.000
5.38/5.41	c total clause space: 78.2603MB
5.38/5.41	c total #watches: 393828
10.39/10.42	c total #propagations: 140993 / total #impl: 273924 (eff. 0.515)
10.39/10.42	c GC COLLECT
10.39/10.42	c #Conflicts:       3000 | #Learnt:       1871 | 0.000
10.39/10.42	c total clause space: 78.2603MB
10.39/10.42	c total #watches: 463830
18.18/18.25	c total #propagations: 205886 / total #impl: 392001 (eff. 0.525)
18.18/18.25	c #Conflicts:       4000 | #Learnt:       2871 | 0.000
18.18/18.25	c total clause space: 78.2603MB
18.18/18.25	c total #watches: 549926
24.48/24.50	c total #propagations: 289347 / total #impl: 543199 (eff. 0.533)
24.48/24.50	c GC COLLECT
24.48/24.50	c #Conflicts:       5000 | #Learnt:       2277 | 0.000
24.48/24.50	c total clause space: 127.173MB
24.48/24.50	c total #watches: 423547
33.98/34.08	c total #propagations: 365714 / total #impl: 688496 (eff. 0.531)
33.98/34.08	c #Conflicts:       6000 | #Learnt:       3277 | 0.000
33.98/34.08	c total clause space: 127.173MB
33.98/34.08	c total #watches: 527351
45.48/45.59	c total #propagations: 439099 / total #impl: 829099 (eff. 0.530)
45.48/45.59	c GC COLLECT
45.48/45.59	c #Conflicts:       7000 | #Learnt:       2180 | 0.000
45.48/45.59	c total clause space: 127.173MB
45.48/45.59	c total #watches: 398548
50.28/50.34	c total #propagations: 524525 / total #impl: 980292 (eff. 0.535)
50.28/50.34	c #Conflicts:       8000 | #Learnt:       3180 | 0.000
50.28/50.34	c total clause space: 127.173MB
50.28/50.34	c total #watches: 472329
56.88/56.97	c total #propagations: 608057 / total #impl: 1124763 (eff. 0.541)
56.88/56.97	c #Conflicts:       9000 | #Learnt:       4180 | 0.000
56.88/56.97	c total clause space: 127.173MB
56.88/56.97	c total #watches: 516297
67.27/67.37	c total #propagations: 705804 / total #impl: 1293280 (eff. 0.546)
67.27/67.37	c GC COLLECT
67.27/67.37	c #Conflicts:      10000 | #Learnt:       2666 | 0.000
67.27/67.37	c total clause space: 127.173MB
67.27/67.37	c total #watches: 357746
71.87/71.95	c total #propagations: 785774 / total #impl: 1453043 (eff. 0.541)
71.87/71.95	c #Conflicts:      11000 | #Learnt:       3666 | 0.000
71.87/71.95	c total clause space: 127.173MB
71.87/71.95	c total #watches: 446408
79.67/79.73	c total #propagations: 863621 / total #impl: 1597201 (eff. 0.541)
79.67/79.73	c #Conflicts:      12000 | #Learnt:       4666 | 0.000
79.67/79.73	c total clause space: 127.173MB
79.67/79.73	c total #watches: 496507
87.08/87.19	c total #propagations: 949659 / total #impl: 1754512 (eff. 0.541)
87.08/87.19	c #Conflicts:      13000 | #Learnt:       5666 | 0.000
87.08/87.19	c total clause space: 127.173MB
87.08/87.19	c total #watches: 585188
94.88/94.91	c total #propagations: 1024947 / total #impl: 1903257 (eff. 0.539)
94.88/94.91	c GC COLLECT
94.88/94.91	c #Conflicts:      14000 | #Learnt:       3801 | 0.000
94.88/94.91	c total clause space: 127.173MB
94.88/94.91	c total #watches: 514725
103.38/103.40	c total #propagations: 1101624 / total #impl: 2054329 (eff. 0.536)
103.38/103.40	c #Conflicts:      15000 | #Learnt:       4801 | 0.000
103.38/103.40	c total clause space: 127.173MB
103.38/103.40	c total #watches: 592946
113.07/113.12	c total #propagations: 1187784 / total #impl: 2209864 (eff. 0.537)
113.07/113.12	c #Conflicts:      16000 | #Learnt:       5801 | 0.000
113.07/113.12	c total clause space: 127.173MB
113.07/113.12	c total #watches: 667715
122.47/122.55	c total #propagations: 1267035 / total #impl: 2350259 (eff. 0.539)
122.47/122.55	c GC COLLECT
122.47/122.55	c #Conflicts:      17000 | #Learnt:       3623 | 0.000
122.47/122.55	c total clause space: 206.656MB
122.47/122.55	c total #watches: 427800
127.37/127.45	c total #propagations: 1374353 / total #impl: 2550949 (eff. 0.539)
127.37/127.45	c #Conflicts:      18000 | #Learnt:       4623 | 0.000
127.37/127.45	c total clause space: 206.656MB
127.37/127.45	c total #watches: 438875
132.77/132.85	c total #propagations: 1527537 / total #impl: 2878501 (eff. 0.531)
132.77/132.85	c #Conflicts:      19000 | #Learnt:       5623 | 0.000
132.77/132.85	c total clause space: 206.656MB
132.77/132.85	c total #watches: 452395
139.57/139.69	c total #propagations: 1700326 / total #impl: 3289584 (eff. 0.517)
139.57/139.69	c #Conflicts:      20000 | #Learnt:       6623 | 0.000
139.57/139.69	c total clause space: 206.656MB
139.57/139.69	c total #watches: 465023
143.57/143.69	c total #propagations: 1872671 / total #impl: 3722678 (eff. 0.503)
143.57/143.69	c GC COLLECT
143.57/143.69	c #Conflicts:      21000 | #Learnt:       4132 | 0.000
143.57/143.69	c total clause space: 206.656MB
143.57/143.69	c total #watches: 311348
147.97/148.00	c total #propagations: 1959766 / total #impl: 3901349 (eff. 0.502)
147.97/148.00	c #Conflicts:      22000 | #Learnt:       5132 | 0.000
147.97/148.00	c total clause space: 206.656MB
147.97/148.00	c total #watches: 417771
153.97/154.06	c total #propagations: 2034234 / total #impl: 4049472 (eff. 0.502)
153.97/154.06	c #Conflicts:      23000 | #Learnt:       6132 | 0.000
153.97/154.06	c total clause space: 206.656MB
153.97/154.06	c total #watches: 522943
164.36/164.42	c total #propagations: 2113356 / total #impl: 4191061 (eff. 0.504)
164.36/164.42	c #Conflicts:      24000 | #Learnt:       7132 | 0.000
164.36/164.42	c total clause space: 206.656MB
164.36/164.42	c total #watches: 613175
175.26/175.35	c total #propagations: 2191060 / total #impl: 4344191 (eff. 0.504)
175.26/175.35	c GC COLLECT
175.26/175.35	c #Conflicts:      25000 | #Learnt:       4332 | 0.000
175.26/175.35	c total clause space: 206.656MB
175.26/175.35	c total #watches: 635524
187.56/187.60	c total #propagations: 2265670 / total #impl: 4492680 (eff. 0.504)
187.56/187.60	c #Conflicts:      26000 | #Learnt:       5332 | 0.000
187.56/187.60	c total clause space: 206.656MB
187.56/187.60	c total #watches: 740791
204.86/204.93	c total #propagations: 2349144 / total #impl: 4643312 (eff. 0.506)
204.86/204.93	c #Conflicts:      27000 | #Learnt:       6332 | 0.000
204.86/204.93	c total clause space: 206.656MB
204.86/204.93	c total #watches: 813827
225.35/225.50	c total #propagations: 2436085 / total #impl: 4796930 (eff. 0.508)
225.35/225.50	c #Conflicts:      28000 | #Learnt:       7332 | 0.000
225.35/225.50	c total clause space: 206.656MB
225.35/225.50	c total #watches: 858143
244.26/244.34	c total #propagations: 2527802 / total #impl: 4954363 (eff. 0.510)
244.26/244.34	c GC COLLECT
244.26/244.34	c #Conflicts:      29000 | #Learnt:       4228 | 0.000
244.26/244.34	c total clause space: 206.656MB
244.26/244.34	c total #watches: 532912
253.94/254.05	c total #propagations: 2596971 / total #impl: 5091805 (eff. 0.510)
253.94/254.05	c #Conflicts:      30000 | #Learnt:       5228 | 0.000
253.94/254.05	c total clause space: 206.656MB
253.94/254.05	c total #watches: 636851
265.54/265.69	c total #propagations: 2670847 / total #impl: 5243996 (eff. 0.509)
265.54/265.69	c #Conflicts:      31000 | #Learnt:       6228 | 0.000
265.54/265.69	c total clause space: 206.656MB
265.54/265.69	c total #watches: 739617
281.73/281.89	c total #propagations: 2748114 / total #impl: 5390815 (eff. 0.510)
281.73/281.89	c #Conflicts:      32000 | #Learnt:       7228 | 0.000
281.73/281.89	c total clause space: 206.656MB
281.73/281.89	c total #watches: 839240
305.01/305.15	c total #propagations: 2829154 / total #impl: 5548221 (eff. 0.510)
305.01/305.15	c #Conflicts:      33000 | #Learnt:       8228 | 0.000
305.01/305.15	c total clause space: 206.656MB
305.01/305.15	c total #watches: 930528
323.80/323.91	c total #propagations: 2907293 / total #impl: 5698049 (eff. 0.510)
323.80/323.91	c GC COLLECT
323.80/323.91	c #Conflicts:      34000 | #Learnt:       4824 | 0.000
323.80/323.91	c total clause space: 206.656MB
323.80/323.91	c total #watches: 677111
343.70/343.87	c total #propagations: 2984842 / total #impl: 5855791 (eff. 0.510)
343.70/343.87	c #Conflicts:      35000 | #Learnt:       5824 | 0.000
343.70/343.87	c total clause space: 206.656MB
343.70/343.87	c total #watches: 729886
365.20/365.35	c total #propagations: 3070391 / total #impl: 6012421 (eff. 0.511)
365.20/365.35	c #Conflicts:      36000 | #Learnt:       6824 | 0.000
365.20/365.35	c total clause space: 206.656MB
365.20/365.35	c total #watches: 779699
383.49/383.60	c total #propagations: 3162024 / total #impl: 6195912 (eff. 0.510)
383.49/383.60	c #Conflicts:      37000 | #Learnt:       7824 | 0.000
383.49/383.60	c total clause space: 206.656MB
383.49/383.60	c total #watches: 819143
403.39/403.58	c total #propagations: 3250740 / total #impl: 6370571 (eff. 0.510)
403.39/403.58	c #Conflicts:      38000 | #Learnt:       8824 | 0.000
403.39/403.58	c total clause space: 206.656MB
403.39/403.58	c total #watches: 898950
412.99/413.13	c total #propagations: 3358002 / total #impl: 6630309 (eff. 0.506)
412.99/413.13	c GC COLLECT
412.99/413.13	c #Conflicts:      39000 | #Learnt:       5126 | 0.000
412.99/413.13	c total clause space: 206.656MB
412.99/413.13	c total #watches: 487464
419.39/419.53	c total #propagations: 3445968 / total #impl: 6779430 (eff. 0.508)
419.39/419.53	c #Conflicts:      40000 | #Learnt:       6126 | 0.000
419.39/419.53	c total clause space: 206.656MB
419.39/419.53	c total #watches: 540473
427.39/427.53	c total #propagations: 3531642 / total #impl: 6935945 (eff. 0.509)
427.39/427.53	c #Conflicts:      41000 | #Learnt:       7126 | 0.000
427.39/427.53	c total clause space: 206.656MB
427.39/427.53	c total #watches: 586868
440.38/440.59	c total #propagations: 3619223 / total #impl: 7087573 (eff. 0.511)
440.38/440.59	c #Conflicts:      42000 | #Learnt:       8126 | 0.000
440.38/440.59	c total clause space: 206.656MB
440.38/440.59	c total #watches: 614771
451.08/451.24	c total #propagations: 3733664 / total #impl: 7365041 (eff. 0.507)
451.08/451.24	c #Conflicts:      43000 | #Learnt:       9126 | 0.000
451.08/451.24	c total clause space: 206.656MB
451.08/451.24	c total #watches: 626550
463.68/463.85	c total #propagations: 3866651 / total #impl: 7652707 (eff. 0.505)
463.68/463.85	c GC COLLECT
463.68/463.85	c #Conflicts:      44000 | #Learnt:       5123 | 0.000
463.68/463.85	c total clause space: 206.656MB
463.68/463.85	c total #watches: 503051
468.98/469.18	c total #propagations: 3977516 / total #impl: 7926010 (eff. 0.502)
468.98/469.18	c #Conflicts:      45000 | #Learnt:       6123 | 0.000
468.98/469.18	c total clause space: 206.656MB
468.98/469.18	c total #watches: 580835
478.08/478.23	c total #propagations: 4058905 / total #impl: 8068416 (eff. 0.503)
478.08/478.23	c #Conflicts:      46000 | #Learnt:       7123 | 0.000
478.08/478.23	c total clause space: 206.656MB
478.08/478.23	c total #watches: 628996
489.88/490.03	c total #propagations: 4147666 / total #impl: 8228999 (eff. 0.504)
489.88/490.03	c #Conflicts:      47000 | #Learnt:       8123 | 0.000
489.88/490.03	c total clause space: 206.656MB
489.88/490.03	c total #watches: 709566
505.67/505.80	c total #propagations: 4224843 / total #impl: 8378298 (eff. 0.504)
505.67/505.80	c #Conflicts:      48000 | #Learnt:       9123 | 0.000
505.67/505.80	c total clause space: 206.656MB
505.67/505.80	c total #watches: 789587
521.38/521.57	c total #propagations: 4302065 / total #impl: 8529337 (eff. 0.504)
521.38/521.57	c #Conflicts:      49000 | #Learnt:      10123 | 0.000
521.38/521.57	c total clause space: 206.656MB
521.38/521.57	c total #watches: 882425
536.08/536.26	c total #propagations: 4380888 / total #impl: 8677732 (eff. 0.505)
536.08/536.26	c GC COLLECT
536.08/536.26	c #Conflicts:      50000 | #Learnt:       5818 | 0.000
536.08/536.26	c total clause space: 335.816MB
536.08/536.26	c total #watches: 588998
547.97/548.13	c total #propagations: 4453802 / total #impl: 8818174 (eff. 0.505)
547.97/548.13	c #Conflicts:      51000 | #Learnt:       6818 | 0.000
547.97/548.13	c total clause space: 335.816MB
547.97/548.13	c total #watches: 674323
559.17/559.39	c total #propagations: 4526827 / total #impl: 8962252 (eff. 0.505)
559.17/559.39	c #Conflicts:      52000 | #Learnt:       7818 | 0.000
559.17/559.39	c total clause space: 335.816MB
559.17/559.39	c total #watches: 800283
574.18/574.35	c total #propagations: 4598988 / total #impl: 9102297 (eff. 0.505)
574.18/574.35	c #Conflicts:      53000 | #Learnt:       8818 | 0.000
574.18/574.35	c total clause space: 335.816MB
574.18/574.35	c total #watches: 888523
598.77/598.94	c total #propagations: 4685707 / total #impl: 9255422 (eff. 0.506)
598.77/598.94	c #Conflicts:      54000 | #Learnt:       9818 | 0.000
598.77/598.94	c total clause space: 335.816MB
598.77/598.94	c total #watches: 916084
621.16/621.39	c total #propagations: 4791117 / total #impl: 9471124 (eff. 0.506)
621.16/621.39	c #Conflicts:      55000 | #Learnt:      10818 | 0.000
621.16/621.39	c total clause space: 335.816MB
621.16/621.39	c total #watches: 1005539
634.57/634.74	c total #propagations: 4870678 / total #impl: 9642972 (eff. 0.505)
634.57/634.74	c GC COLLECT
634.57/634.74	c #Conflicts:      56000 | #Learnt:       6203 | 0.000
634.57/634.74	c total clause space: 335.816MB
634.57/634.74	c total #watches: 622168
647.56/647.75	c total #propagations: 4940331 / total #impl: 9778811 (eff. 0.505)
647.56/647.75	c #Conflicts:      57000 | #Learnt:       7203 | 0.000
647.56/647.75	c total clause space: 335.816MB
647.56/647.75	c total #watches: 701771
660.05/660.21	c total #propagations: 5025519 / total #impl: 9936516 (eff. 0.506)
660.05/660.21	c #Conflicts:      58000 | #Learnt:       8203 | 0.000
660.05/660.21	c total clause space: 335.816MB
660.05/660.21	c total #watches: 792774
673.35/673.56	c total #propagations: 5107694 / total #impl: 10091080 (eff. 0.506)
673.35/673.56	c #Conflicts:      59000 | #Learnt:       9203 | 0.000
673.35/673.56	c total clause space: 335.816MB
673.35/673.56	c total #watches: 911503
697.95/698.13	c total #propagations: 5183719 / total #impl: 10238786 (eff. 0.506)
697.95/698.13	c #Conflicts:      60000 | #Learnt:      10203 | 0.000
697.95/698.13	c total clause space: 335.816MB
697.95/698.13	c total #watches: 992880
730.04/730.25	c total #propagations: 5258458 / total #impl: 10383172 (eff. 0.506)
730.04/730.25	c #Conflicts:      61000 | #Learnt:      11203 | 0.000
730.04/730.25	c total clause space: 335.816MB
730.04/730.25	c total #watches: 1023619
760.33/760.57	c total #propagations: 5349984 / total #impl: 10559675 (eff. 0.507)
760.33/760.57	c GC COLLECT
760.33/760.57	c #Conflicts:      62000 | #Learnt:       6296 | 0.000
760.33/760.57	c total clause space: 335.816MB
760.33/760.57	c total #watches: 604499
772.63/772.82	c total #propagations: 5444114 / total #impl: 10771588 (eff. 0.505)
772.63/772.82	c #Conflicts:      63000 | #Learnt:       7296 | 0.000
772.63/772.82	c total clause space: 335.816MB
772.63/772.82	c total #watches: 663906
783.23/783.42	c total #propagations: 5532830 / total #impl: 10934963 (eff. 0.506)
783.23/783.42	c #Conflicts:      64000 | #Learnt:       8296 | 0.000
783.23/783.42	c total clause space: 335.816MB
783.23/783.42	c total #watches: 715752
803.83/804.09	c total #propagations: 5625598 / total #impl: 11087575 (eff. 0.507)
803.83/804.09	c #Conflicts:      65000 | #Learnt:       9296 | 0.000
803.83/804.09	c total clause space: 335.816MB
803.83/804.09	c total #watches: 750746
822.32/822.54	c total #propagations: 5753370 / total #impl: 11430294 (eff. 0.503)
822.32/822.54	c #Conflicts:      66000 | #Learnt:      10296 | 0.000
822.32/822.54	c total clause space: 335.816MB
822.32/822.54	c total #watches: 791428
840.33/840.53	c total #propagations: 5852516 / total #impl: 11678198 (eff. 0.501)
840.33/840.53	c #Conflicts:      67000 | #Learnt:      11296 | 0.000
840.33/840.53	c total clause space: 335.816MB
840.33/840.53	c total #watches: 886410
860.13/860.36	c total #propagations: 5927674 / total #impl: 11823015 (eff. 0.501)
860.13/860.36	c #Conflicts:      68000 | #Learnt:      12296 | 0.000
860.13/860.36	c total clause space: 335.816MB
860.13/860.36	c total #watches: 977337
874.03/874.25	c total #propagations: 6000657 / total #impl: 11966575 (eff. 0.501)
874.03/874.25	c GC COLLECT
874.03/874.25	c #Conflicts:      69000 | #Learnt:       7082 | 0.000
874.03/874.25	c total clause space: 335.816MB
874.03/874.25	c total #watches: 650438
885.92/886.13	c total #propagations: 6080739 / total #impl: 12117031 (eff. 0.502)
885.92/886.13	c #Conflicts:      70000 | #Learnt:       8082 | 0.000
885.92/886.13	c total clause space: 335.816MB
885.92/886.13	c total #watches: 756088
903.92/904.16	c total #propagations: 6156972 / total #impl: 12265885 (eff. 0.502)
903.92/904.16	c #Conflicts:      71000 | #Learnt:       9082 | 0.000
903.92/904.16	c total clause space: 335.816MB
903.92/904.16	c total #watches: 837402
925.61/925.84	c total #propagations: 6230235 / total #impl: 12416743 (eff. 0.502)
925.61/925.84	c #Conflicts:      72000 | #Learnt:      10082 | 0.000
925.61/925.84	c total clause space: 335.816MB
925.61/925.84	c total #watches: 904443
956.01/956.26	c total #propagations: 6311357 / total #impl: 12570602 (eff. 0.502)
956.01/956.26	c #Conflicts:      73000 | #Learnt:      11082 | 0.000
956.01/956.26	c total clause space: 335.816MB
956.01/956.26	c total #watches: 931554
981.70/981.98	c total #propagations: 6426940 / total #impl: 12855350 (eff. 0.500)
981.70/981.98	c #Conflicts:      74000 | #Learnt:      12082 | 0.000
981.70/981.98	c total clause space: 335.816MB
981.70/981.98	c total #watches: 954752
1004.11/1004.34	c total #propagations: 6545224 / total #impl: 13155121 (eff. 0.498)
1004.11/1004.34	c GC COLLECT
1004.11/1004.34	c #Conflicts:      75000 | #Learnt:       6577 | 0.000
1004.11/1004.34	c total clause space: 335.816MB
1004.11/1004.34	c total #watches: 631914
1016.10/1016.38	c total #propagations: 6621462 / total #impl: 13311534 (eff. 0.497)
1016.10/1016.38	c #Conflicts:      76000 | #Learnt:       7577 | 0.000
1016.10/1016.38	c total clause space: 335.816MB
1016.10/1016.38	c total #watches: 743353
1034.69/1034.98	c total #propagations: 6692053 / total #impl: 13447726 (eff. 0.498)
1034.69/1034.98	c #Conflicts:      77000 | #Learnt:       8577 | 0.000
1034.69/1034.98	c total clause space: 335.816MB
1034.69/1034.98	c total #watches: 805650
1055.09/1055.37	c total #propagations: 6772725 / total #impl: 13599985 (eff. 0.498)
1055.09/1055.37	c #Conflicts:      78000 | #Learnt:       9577 | 0.000
1055.09/1055.37	c total clause space: 335.816MB
1055.09/1055.37	c total #watches: 854690
1076.49/1076.76	c total #propagations: 6859751 / total #impl: 13768399 (eff. 0.498)
1076.49/1076.76	c #Conflicts:      79000 | #Learnt:      10577 | 0.000
1076.49/1076.76	c total clause space: 335.816MB
1076.49/1076.76	c total #watches: 929979
1098.98/1099.25	c total #propagations: 6939606 / total #impl: 13927723 (eff. 0.498)
1098.98/1099.25	c #Conflicts:      80000 | #Learnt:      11577 | 0.000
1098.98/1099.25	c total clause space: 335.816MB
1098.98/1099.25	c total #watches: 1010725
1124.38/1124.69	c total #propagations: 7018319 / total #impl: 14078080 (eff. 0.499)
1124.38/1124.69	c #Conflicts:      81000 | #Learnt:      12577 | 0.000
1124.38/1124.69	c total clause space: 335.816MB
1124.38/1124.69	c total #watches: 1074578
1148.87/1149.20	c total #propagations: 7097571 / total #impl: 14228069 (eff. 0.499)
1148.87/1149.20	c #Conflicts:      82000 | #Learnt:      13577 | 0.000
1148.87/1149.20	c total clause space: 335.816MB
1148.87/1149.20	c total #watches: 1123983
1160.77/1161.00	c total #propagations: 7182757 / total #impl: 14383610 (eff. 0.499)
1160.77/1161.00	c GC COLLECT
1160.77/1161.00	c #Conflicts:      83000 | #Learnt:       7772 | 0.000
1160.77/1161.00	c total clause space: 335.816MB
1160.77/1161.00	c total #watches: 736781
1178.98/1179.26	c total #propagations: 7267664 / total #impl: 14540123 (eff. 0.500)
1178.98/1179.26	c #Conflicts:      84000 | #Learnt:       8772 | 0.000
1178.98/1179.26	c total clause space: 335.816MB
1178.98/1179.26	c total #watches: 772423
1199.37/1199.65	c total #propagations: 7368883 / total #impl: 14727821 (eff. 0.500)
1199.37/1199.65	c #Conflicts:      85000 | #Learnt:       9772 | 0.000
1199.37/1199.65	c total clause space: 335.816MB
1199.37/1199.65	c total #watches: 783464
1219.46/1219.75	c total #propagations: 7500582 / total #impl: 14998813 (eff. 0.500)
1219.46/1219.75	c #Conflicts:      86000 | #Learnt:      10772 | 0.000
1219.46/1219.75	c total clause space: 335.816MB
1219.46/1219.75	c total #watches: 814912
1238.76/1239.09	c total #propagations: 7624661 / total #impl: 15258597 (eff. 0.500)
1238.76/1239.09	c #Conflicts:      87000 | #Learnt:      11772 | 0.000
1238.76/1239.09	c total clause space: 335.816MB
1238.76/1239.09	c total #watches: 852444
1269.86/1270.10	c total #propagations: 7720570 / total #impl: 15430406 (eff. 0.500)
1269.86/1270.10	c #Conflicts:      88000 | #Learnt:      12772 | 0.000
1269.86/1270.10	c total clause space: 335.816MB
1269.86/1270.10	c total #watches: 880525
1305.46/1305.79	c total #propagations: 7856527 / total #impl: 15750434 (eff. 0.499)
1305.46/1305.79	c #Conflicts:      89000 | #Learnt:      13772 | 0.000
1305.46/1305.79	c total clause space: 335.816MB
1305.46/1305.79	c total #watches: 904911
1331.85/1332.11	c total #propagations: 7984963 / total #impl: 16043793 (eff. 0.498)
1331.85/1332.11	c GC COLLECT
1331.85/1332.11	c #Conflicts:      90000 | #Learnt:       7667 | 0.000
1331.85/1332.11	c total clause space: 335.816MB
1331.85/1332.11	c total #watches: 708397
1352.34/1352.63	c total #propagations: 8078760 / total #impl: 16245102 (eff. 0.497)
1352.34/1352.63	c #Conflicts:      91000 | #Learnt:       8667 | 0.000
1352.34/1352.63	c total clause space: 335.816MB
1352.34/1352.63	c total #watches: 731744
1369.94/1370.20	c total #propagations: 8189832 / total #impl: 16489833 (eff. 0.497)
1369.94/1370.20	c #Conflicts:      92000 | #Learnt:       9667 | 0.000
1369.94/1370.20	c total clause space: 335.816MB
1369.94/1370.20	c total #watches: 764820
1387.14/1387.46	c total #propagations: 8279809 / total #impl: 16685560 (eff. 0.496)
1387.14/1387.46	c #Conflicts:      93000 | #Learnt:      10667 | 0.000
1387.14/1387.46	c total clause space: 335.816MB
1387.14/1387.46	c total #watches: 777397
1409.73/1410.06	c total #propagations: 8397747 / total #impl: 16935860 (eff. 0.496)
1409.73/1410.06	c #Conflicts:      94000 | #Learnt:      11667 | 0.000
1409.73/1410.06	c total clause space: 335.816MB
1409.73/1410.06	c total #watches: 805379
1429.63/1430.00	c total #propagations: 8505248 / total #impl: 17179952 (eff. 0.495)
1429.63/1430.00	c #Conflicts:      95000 | #Learnt:      12667 | 0.000
1429.63/1430.00	c total clause space: 335.816MB
1429.63/1430.00	c total #watches: 839633
1448.44/1448.70	c total #propagations: 8596805 / total #impl: 17367514 (eff. 0.495)
1448.44/1448.70	c #Conflicts:      96000 | #Learnt:      13667 | 0.000
1448.44/1448.70	c total clause space: 335.816MB
1448.44/1448.70	c total #watches: 860972
1471.23/1471.50	c total #propagations: 8727182 / total #impl: 17642017 (eff. 0.495)
1471.23/1471.50	c #Conflicts:      97000 | #Learnt:      14667 | 0.000
1471.23/1471.50	c total clause space: 335.816MB
1471.23/1471.50	c total #watches: 900846
1490.82/1491.14	c total #propagations: 8856161 / total #impl: 17921148 (eff. 0.494)
1490.82/1491.14	c GC COLLECT
1490.82/1491.14	c #Conflicts:      98000 | #Learnt:       8265 | 0.000
1490.82/1491.14	c total clause space: 335.816MB
1490.82/1491.14	c total #watches: 737615
1512.02/1512.39	c total #propagations: 8941328 / total #impl: 18103747 (eff. 0.494)
1512.02/1512.39	c #Conflicts:      99000 | #Learnt:       9265 | 0.000
1512.02/1512.39	c total clause space: 335.816MB
1512.02/1512.39	c total #watches: 758365
1530.82/1531.19	c total #propagations: 9085839 / total #impl: 18461952 (eff. 0.492)
1530.82/1531.19	c #Conflicts:     100000 | #Learnt:      10265 | 0.000
1530.82/1531.19	c total clause space: 335.816MB
1530.82/1531.19	c total #watches: 777115
1549.81/1550.20	c total #propagations: 9213852 / total #impl: 18801781 (eff. 0.490)
1549.81/1550.20	c #Conflicts:     101000 | #Learnt:      11265 | 0.000
1549.81/1550.20	c total clause space: 335.816MB
1549.81/1550.20	c total #watches: 791816
1573.21/1573.55	c total #propagations: 9347581 / total #impl: 19124391 (eff. 0.489)
1573.21/1573.55	c #Conflicts:     102000 | #Learnt:      12265 | 0.000
1573.21/1573.55	c total clause space: 335.816MB
1573.21/1573.55	c total #watches: 810637
1594.91/1595.25	c total #propagations: 9486196 / total #impl: 19488760 (eff. 0.487)
1594.91/1595.25	c #Conflicts:     103000 | #Learnt:      13265 | 0.000
1594.91/1595.25	c total clause space: 335.816MB
1594.91/1595.25	c total #watches: 821087
1618.70/1619.04	c total #propagations: 9623896 / total #impl: 19829307 (eff. 0.485)
1618.70/1619.04	c #Conflicts:     104000 | #Learnt:      14265 | 0.000
1618.70/1619.04	c total clause space: 335.816MB
1618.70/1619.04	c total #watches: 834025
1645.60/1645.95	c total #propagations: 9794699 / total #impl: 20235881 (eff. 0.484)
1645.60/1645.95	c #Conflicts:     105000 | #Learnt:      15265 | 0.000
1645.60/1645.95	c total clause space: 335.816MB
1645.60/1645.95	c total #watches: 847805
1665.59/1665.96	c total #propagations: 9948457 / total #impl: 20609714 (eff. 0.483)
1665.59/1665.96	c GC COLLECT
1665.59/1665.96	c #Conflicts:     106000 | #Learnt:       8562 | 0.000
1665.59/1665.96	c total clause space: 335.816MB
1665.59/1665.96	c total #watches: 750506
1680.60/1680.97	c total #propagations: 10036896 / total #impl: 20788227 (eff. 0.483)
1680.60/1680.97	c #Conflicts:     107000 | #Learnt:       9562 | 0.000
1680.60/1680.97	c total clause space: 335.816MB
1680.60/1680.97	c total #watches: 832960
1697.99/1698.34	c total #propagations: 10111246 / total #impl: 20946444 (eff. 0.483)
1697.99/1698.34	c #Conflicts:     108000 | #Learnt:      10562 | 0.000
1697.99/1698.34	c total clause space: 335.816MB
1697.99/1698.34	c total #watches: 899827
1720.09/1720.46	c total #propagations: 10194040 / total #impl: 21097941 (eff. 0.483)
1720.09/1720.46	c #Conflicts:     109000 | #Learnt:      11562 | 0.000
1720.09/1720.46	c total clause space: 335.816MB
1720.09/1720.46	c total #watches: 970714
1741.38/1741.72	c total #propagations: 10272367 / total #impl: 21254284 (eff. 0.483)
1741.38/1741.72	c #Conflicts:     110000 | #Learnt:      12562 | 0.000
1741.38/1741.72	c total clause space: 335.816MB
1741.38/1741.72	c total #watches: 1067212
1761.99/1762.36	c total #propagations: 10346583 / total #impl: 21395332 (eff. 0.484)
1761.99/1762.36	c #Conflicts:     111000 | #Learnt:      13562 | 0.000
1761.99/1762.36	c total clause space: 335.816MB
1761.99/1762.36	c total #watches: 1157530
1788.78/1789.12	c total #propagations: 10428253 / total #impl: 21538632 (eff. 0.484)
1788.78/1789.12	c #Conflicts:     112000 | #Learnt:      14562 | 0.000
1788.78/1789.12	c total clause space: 335.816MB
1788.78/1789.12	c total #watches: 1234742

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-4087483-1465410734/watcher-4087483-1465410734 -o /tmp/evaluation-result-4087483-1465410734/solver-4087483-1465410734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087483-1465410734.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=29063
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.06 2.10 2.04 3/174 29066
/proc/meminfo: memFree=30535020/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 123008315 57319424 7292 33554432000 4194304 6211289 140734690813456 140733838325224 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 13994 7292 98 493 0 13491 0

[startup+0.100163 s]
/proc/loadavg: 2.06 2.10 2.04 3/174 29066
/proc/meminfo: memFree=30535020/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=58728 CPUtime=0.09 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 1481 0 0 0 9 0 0 0 20 0 1 0 123008315 60137472 11470 33554432000 4194304 6211289 140734690813456 140733838325224 5252361 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 14682 11470 121 493 0 14179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58728

[startup+0.200334 s]
/proc/loadavg: 2.06 2.10 2.04 3/174 29066
/proc/meminfo: memFree=30535020/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=69380 CPUtime=0.19 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 3212 0 0 0 18 1 0 0 20 0 1 0 123008315 71045120 15245 33554432000 4194304 6211289 140734690813456 140733838325224 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 17345 15245 143 493 0 16842 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69380

[startup+0.300334 s]
/proc/loadavg: 2.06 2.10 2.04 3/174 29066
/proc/meminfo: memFree=30535020/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=82584 CPUtime=0.29 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 4422 0 0 0 28 1 0 0 20 0 1 0 123008315 84566016 17477 33554432000 4194304 6211289 140734690813456 140733838325224 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 20646 17477 143 493 0 20143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82584

[startup+0.70028 s]
/proc/loadavg: 2.06 2.10 2.04 3/174 29066
/proc/meminfo: memFree=30535020/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=116116 CPUtime=0.69 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 8321 0 0 0 67 2 0 0 20 0 1 0 123008315 118902784 25830 33554432000 4194304 6211289 140734690813456 140734690810920 4205850 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 29029 25830 204 493 0 28526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116116

[startup+1.50023 s]
/proc/loadavg: 2.06 2.10 2.04 3/175 29067
/proc/meminfo: memFree=30425168/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=135084 CPUtime=1.49 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 8596 0 0 0 146 3 0 0 20 0 1 0 123008315 138326016 28591 33554432000 4194304 6211289 140734690813456 140734690810920 4209819 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 33771 28591 204 493 0 33268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135084

[startup+3.10023 s]
/proc/loadavg: 2.06 2.10 2.04 4/175 29067
/proc/meminfo: memFree=30414192/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=167896 CPUtime=3.09 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 9449 0 0 0 306 3 0 0 20 0 1 0 123008315 171925504 32406 33554432000 4194304 6211289 140734690813456 140734690811368 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 41974 32406 214 493 0 41471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 167896

[startup+6.30023 s]
/proc/loadavg: 2.05 2.09 2.04 3/175 29067
/proc/meminfo: memFree=30392040/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=168832 CPUtime=6.29 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 10682 0 0 0 625 4 0 0 20 0 1 0 123008315 172883968 36361 33554432000 4194304 6211289 140734690813456 140734690811800 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 42208 36361 214 493 0 41705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 168832

[startup+12.7003 s]
/proc/loadavg: 2.05 2.09 2.04 3/175 29067
/proc/meminfo: memFree=30386388/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=171548 CPUtime=12.69 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 11489 0 0 0 1265 4 0 0 20 0 1 0 123008315 175665152 37168 33554432000 4194304 6211289 140734690813456 140734690811368 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 42887 37168 219 493 0 42384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171548

[startup+25.5003 s]
/proc/loadavg: 2.04 2.09 2.04 3/175 29067
/proc/meminfo: memFree=30364440/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=224652 CPUtime=25.48 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 12899 0 0 0 2544 4 0 0 20 0 1 0 123008315 230043648 42796 33554432000 4194304 6211289 140734690813456 140734690811800 4248059 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 56163 42796 219 493 0 55660 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 224652

[startup+51.1003 s]
/proc/loadavg: 2.08 2.09 2.04 3/175 29067
/proc/meminfo: memFree=30349672/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=226668 CPUtime=51.08 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 13536 0 0 0 5104 4 0 0 20 0 1 0 123008315 232108032 46496 33554432000 4194304 6211289 140734690813456 140734690811800 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 56667 46496 219 493 0 56164 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 226668

[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/175 29068
/proc/meminfo: memFree=30326880/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=230832 CPUtime=102.28 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 14579 0 0 0 10223 5 0 0 20 0 1 0 123008315 236371968 52138 33554432000 4194304 6211289 140734690813456 140734690811320 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 57708 52138 219 493 0 57205 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 230832

[startup+162.3 s]
/proc/loadavg: 2.04 2.07 2.04 3/175 29069
/proc/meminfo: memFree=30307584/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=313708 CPUtime=162.26 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 15912 0 0 0 16220 6 0 0 20 0 1 0 123008315 321236992 56537 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 78427 56537 219 493 0 77924 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 313708

[startup+222.307 s]
/proc/loadavg: 2.00 2.06 2.03 3/175 29117
/proc/meminfo: memFree=30583604/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=315280 CPUtime=222.26 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 16562 0 0 0 22220 6 0 0 20 0 1 0 123008315 322846720 64341 33554432000 4194304 6211289 140734690813456 140734690811320 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 78820 64341 219 493 0 78317 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 315280

[startup+282.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/175 29118
/proc/meminfo: memFree=30534016/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=319888 CPUtime=282.23 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 17463 0 0 0 28216 7 0 0 20 0 1 0 123008315 327565312 70228 33554432000 4194304 6211289 140734690813456 140734690811320 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 79972 70228 219 493 0 79469 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 319888

[startup+342.3 s]
/proc/loadavg: 2.10 2.07 2.04 3/175 29119
/proc/meminfo: memFree=30507004/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=324180 CPUtime=342.2 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 18267 0 0 0 34213 7 0 0 20 0 1 0 123008315 331960320 74074 33554432000 4194304 6211289 140734690813456 140734690811800 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 81045 74074 219 493 0 80542 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 324180

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.03 3/175 29120
/proc/meminfo: memFree=30481696/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=324340 CPUtime=402.19 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 18289 0 0 0 40212 7 0 0 20 0 1 0 123008315 332124160 74096 33554432000 4194304 6211289 140734690813456 140734690811320 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 81085 74096 219 493 0 80582 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 324340

[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.03 3/175 29121
/proc/meminfo: memFree=30466868/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=324500 CPUtime=462.18 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 18327 0 0 0 46211 7 0 0 20 0 1 0 123008315 332288000 75667 33554432000 4194304 6211289 140734690813456 140734690811800 4209216 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 81125 75667 219 493 0 80622 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 324500

[startup+522.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/176 29126
/proc/meminfo: memFree=30464120/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=324820 CPUtime=522.17 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 18397 0 0 0 52210 7 0 0 20 0 1 0 123008315 332615680 76248 33554432000 4194304 6211289 140734690813456 140734690811320 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 81205 76248 219 493 0 80702 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 324820

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/175 29127
/proc/meminfo: memFree=30451836/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=458360 CPUtime=582.17 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 18943 0 0 0 58209 8 0 0 20 0 1 0 123008315 469360640 78229 33554432000 4194304 6211289 140734690813456 140734690811800 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 114590 78229 219 493 0 114087 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 458360


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 29133
/proc/meminfo: memFree=30378736/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=461080 CPUtime=882.13 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 19896 0 0 0 88204 9 0 0 20 0 1 0 123008315 472145920 87257 33554432000 4194304 6211289 140734690813456 140734690811800 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115270 87257 219 493 0 114767 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 461080

[startup+942.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 29134
/proc/meminfo: memFree=30373268/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=461080 CPUtime=942.11 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 19951 0 0 0 94202 9 0 0 20 0 1 0 123008315 472145920 87990 33554432000 4194304 6211289 140734690813456 140734690811800 4209838 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115270 87990 219 493 0 114767 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 461080

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 29135
/proc/meminfo: memFree=30356512/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=461372 CPUtime=1002.1 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20022 0 0 0 100201 9 0 0 20 0 1 0 123008315 472444928 89592 33554432000 4194304 6211289 140734690813456 140734690811320 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115343 89592 219 493 0 114840 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 461372

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 29136
/proc/meminfo: memFree=30345280/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=461372 CPUtime=1062.09 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20027 0 0 0 106200 9 0 0 20 0 1 0 123008315 472444928 89597 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115343 89597 219 493 0 114840 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 461372

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 29141
/proc/meminfo: memFree=30344152/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=461692 CPUtime=1122.08 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20077 0 0 0 112199 9 0 0 20 0 1 0 123008315 472772608 89643 33554432000 4194304 6211289 140734690813456 140734690811320 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115423 89643 219 493 0 114920 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 461692

[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 29142
/proc/meminfo: memFree=30324968/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462172 CPUtime=1182.07 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20177 0 0 0 118198 9 0 0 20 0 1 0 123008315 473264128 93831 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115543 93831 219 493 0 115040 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 462172

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 29143
/proc/meminfo: memFree=30324112/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462172 CPUtime=1242.06 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20197 0 0 0 124197 9 0 0 20 0 1 0 123008315 473264128 93842 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115543 93842 219 493 0 115040 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 462172

[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 29144
/proc/meminfo: memFree=30324036/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462332 CPUtime=1302.05 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20215 0 0 0 130196 9 0 0 20 0 1 0 123008315 473427968 93860 33554432000 4194304 6211289 140734690813456 140734690811368 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115583 93860 219 493 0 115080 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 462332

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 29145
/proc/meminfo: memFree=30324032/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462332 CPUtime=1362.04 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20215 0 0 0 136195 9 0 0 20 0 1 0 123008315 473427968 93860 33554432000 4194304 6211289 140734690813456 140734690811800 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115583 93860 219 493 0 115080 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 462332

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 29147
/proc/meminfo: memFree=30323404/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462332 CPUtime=1422.04 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20226 0 0 0 142195 9 0 0 20 0 1 0 123008315 473427968 93869 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115583 93869 219 493 0 115080 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 462332

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 29148
/proc/meminfo: memFree=30314964/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462492 CPUtime=1482.02 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20248 0 0 0 148193 9 0 0 20 0 1 0 123008315 473591808 93891 33554432000 4194304 6211289 140734690813456 140734690811800 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115623 93891 219 493 0 115120 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 462492

[startup+1542.31 s]
/proc/loadavg: 2.09 2.04 2.00 3/175 29149
/proc/meminfo: memFree=30314708/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462492 CPUtime=1542.02 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20250 0 0 0 154193 9 0 0 20 0 1 0 123008315 473591808 93893 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115623 93893 219 493 0 115120 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 462492

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 29150
/proc/meminfo: memFree=30314200/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=462876 CPUtime=1602.01 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20296 0 0 0 160192 9 0 0 20 0 1 0 123008315 473985024 93939 33554432000 4194304 6211289 140734690813456 140734690811320 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115719 93939 219 493 0 115216 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 462876

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 29151
/proc/meminfo: memFree=30297996/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=463836 CPUtime=1662 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20451 0 0 0 166191 9 0 0 20 0 1 0 123008315 474968064 94094 33554432000 4194304 6211289 140734690813456 140734690811320 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115959 94094 219 493 0 115456 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 463836

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29156
/proc/meminfo: memFree=30297264/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=463836 CPUtime=1721.99 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20454 0 0 0 172190 9 0 0 20 0 1 0 123008315 474968064 94243 33554432000 4194304 6211289 140734690813456 140734690811800 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115959 94243 219 493 0 115456 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 463836

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 29180
/proc/meminfo: memFree=30274872/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=463996 CPUtime=1781.98 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20498 0 0 0 178189 9 0 0 20 0 1 0 123008315 475131904 98886 33554432000 4194304 6211289 140734690813456 140734690811320 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 115999 98886 219 493 0 115496 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 463996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 29180
/proc/meminfo: memFree=30268488/32872528 swapFree=13256/481332
[pid=29066] ppid=29063 vsize=464316 CPUtime=1800.08 cores=0,2,4,6
/proc/29066/stat : 29066 (cdcl-cuttingpla) R 29063 29066 25292 0 -1 4202496 20557 0 0 0 179998 10 0 0 20 0 1 0 123008315 475459584 100478 33554432000 4194304 6211289 140734690813456 140734690811320 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29066/statm: 116079 100478 219 493 0 115576 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 464316

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.99
CPU system time (s): 0.102984
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 464316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.102984
maximum resident set size= 401912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20557
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= 69
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18736 second user time and 7.27789 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-08 20:32:15
IDJOB=4087483
IDBENCH=2259
IDSOLVER=2549
FILE ID=node104/4087483-1465410734
RUNJOBID= node104-1465387127-25308
PBS_JOBID= 19853856
Free space on /tmp= 71732 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-1.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087483-1465410734/watcher-4087483-1465410734 -o /tmp/evaluation-result-4087483-1465410734/solver-4087483-1465410734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087483-1465410734.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=109339034

node104.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.775
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.55
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.775
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.775
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.775
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.775
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.775
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.775
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.775
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:        30535400 kB
Buffers:          136856 kB
Cached:           532828 kB
SwapCached:         1724 kB
Active:           651576 kB
Inactive:         467864 kB
Active(anon):     448804 kB
Inactive(anon):     3024 kB
Active(file):     202772 kB
Inactive(file):   464840 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097284 kB
Dirty:              4668 kB
Writeback:            16 kB
AnonPages:        930028 kB
Mapped:             7936 kB
Shmem:                 0 kB
Slab:             604212 kB
SReclaimable:      48296 kB
SUnreclaim:       555916 kB
KernelStack:        1408 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 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= 71728 MiB
End job on node104 at 2016-06-08 21:02:15