Trace number 4100743

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-01OPT-41 1571.14 1571.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark321.257
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.03	c * #variable= 4260 #constraint= 174
0.00/0.06	c * #variable= 4260 #constraint= 174
2.99/3.02	c S1->S2
2.99/3.02	c S2->S1
2.99/3.02	c S1->S2
2.99/3.02	c S1->S2
2.99/3.02	c S2->S1
2.99/3.02	c S2->S1
2.99/3.02	c S1->S2
2.99/3.02	c S1->S2
2.99/3.02	c S1->S2
2.99/3.02	c S2->S1
2.99/3.02	c #Conflicts:       1000 | #Learnt:        247 | 5.838
2.99/3.02	c total clause space: 11.2235MB
2.99/3.02	c total #watches: 184942
8.99/9.06	c total #propagations: 627323 / total #impl: 11386393 (eff. 0.055)
8.99/9.06	c S1->S2
8.99/9.06	c S1->S2
8.99/9.06	c S1->S2
8.99/9.06	c #Conflicts:       2000 | #Learnt:       1246 | 5.999
8.99/9.06	c total clause space: 18.2382MB
8.99/9.06	c total #watches: 443449
18.29/18.35	c total #propagations: 1402892 / total #impl: 41787910 (eff. 0.034)
18.29/18.35	c GC COLLECT
18.29/18.35	c S1->S2
18.29/18.35	c #Conflicts:       3000 | #Learnt:       1636 | 4.639
18.29/18.35	c total clause space: 29.637MB
18.29/18.35	c total #watches: 791498
28.48/28.58	c total #propagations: 2338967 / total #impl: 92944211 (eff. 0.025)
28.48/28.58	c #Conflicts:       4000 | #Learnt:       2636 | 3.643
28.48/28.58	c total clause space: 48.1602MB
28.48/28.58	c total #watches: 878411
39.28/39.39	c total #propagations: 3359614 / total #impl: 117796045 (eff. 0.029)
39.28/39.39	c GC COLLECT
39.28/39.39	c #Conflicts:       5000 | #Learnt:       2180 | 3.042
39.28/39.39	c total clause space: 48.1602MB
39.28/39.39	c total #watches: 408256
47.88/47.96	c total #propagations: 4385896 / total #impl: 149241798 (eff. 0.029)
47.88/47.96	c #Conflicts:       6000 | #Learnt:       3180 | 2.592
47.88/47.96	c total clause space: 48.1602MB
47.88/47.96	c total #watches: 506569
58.18/58.29	c total #propagations: 5448412 / total #impl: 169272842 (eff. 0.032)
58.18/58.29	c GC COLLECT
58.18/58.29	c #Conflicts:       7000 | #Learnt:       2153 | 2.278
58.18/58.29	c total clause space: 48.1602MB
58.18/58.29	c total #watches: 406941
66.57/66.60	c total #propagations: 6270854 / total #impl: 194519538 (eff. 0.032)
66.57/66.60	c #Conflicts:       8000 | #Learnt:       3153 | 2.042
66.57/66.60	c total clause space: 48.1602MB
66.57/66.60	c total #watches: 750174
82.48/82.54	c total #propagations: 6689901 / total #impl: 256336286 (eff. 0.026)
82.48/82.54	c #Conflicts:       9000 | #Learnt:       4153 | 2.105
82.48/82.54	c total clause space: 48.1602MB
82.48/82.54	c total #watches: 897300
97.78/97.90	c total #propagations: 7857586 / total #impl: 296234760 (eff. 0.027)
97.78/97.90	c GC COLLECT
97.78/97.90	c #Conflicts:      10000 | #Learnt:       2687 | 2.053
97.78/97.90	c total clause space: 48.1602MB
97.78/97.90	c total #watches: 723942
112.77/112.80	c total #propagations: 9025349 / total #impl: 326621121 (eff. 0.028)
112.77/112.80	c #Conflicts:      11000 | #Learnt:       3687 | 1.875
112.77/112.80	c total clause space: 48.1602MB
112.77/112.80	c total #watches: 781464
122.08/122.19	c total #propagations: 10471539 / total #impl: 345354387 (eff. 0.030)
122.08/122.19	c #Conflicts:      12000 | #Learnt:       4686 | 1.721
122.08/122.19	c total clause space: 48.1602MB
122.08/122.19	c total #watches: 829089
139.07/139.14	c total #propagations: 11815870 / total #impl: 362814288 (eff. 0.033)
139.07/139.14	c #Conflicts:      13000 | #Learnt:       5686 | 1.603
139.07/139.14	c total clause space: 48.1602MB
139.07/139.14	c total #watches: 1007283
153.57/153.63	c total #propagations: 12387475 / total #impl: 429617238 (eff. 0.029)
153.57/153.63	c GC COLLECT
153.57/153.63	c #Conflicts:      14000 | #Learnt:       3865 | 1.708
153.57/153.63	c total clause space: 48.1602MB
153.57/153.63	c total #watches: 766778
178.36/178.42	c total #propagations: 12860580 / total #impl: 503460586 (eff. 0.026)
178.36/178.42	c #Conflicts:      15000 | #Learnt:       4864 | 1.727
178.36/178.42	c total clause space: 48.1602MB
178.36/178.42	c total #watches: 958458
219.66/219.78	c total #propagations: 13715980 / total #impl: 589258422 (eff. 0.023)
219.66/219.78	c #Conflicts:      16000 | #Learnt:       5864 | 1.653
219.66/219.78	c total clause space: 48.1602MB
219.66/219.78	c total #watches: 1104939
232.85/232.94	c total #propagations: 15021484 / total #impl: 794758958 (eff. 0.019)
232.85/232.94	c GC COLLECT
232.85/232.94	c #Conflicts:      17000 | #Learnt:       3686 | 1.616
232.85/232.94	c total clause space: 78.2603MB
232.85/232.94	c total #watches: 870207
242.55/242.67	c total #propagations: 15989293 / total #impl: 829933387 (eff. 0.019)
242.55/242.67	c #Conflicts:      18000 | #Learnt:       4686 | 1.563
242.55/242.67	c total clause space: 78.2603MB
242.55/242.67	c total #watches: 1007667
253.35/253.44	c total #propagations: 17007157 / total #impl: 852768335 (eff. 0.020)
253.35/253.44	c #Conflicts:      19000 | #Learnt:       5686 | 1.519
253.35/253.44	c total clause space: 78.2603MB
253.35/253.44	c total #watches: 1187473
275.24/275.34	c total #propagations: 17470790 / total #impl: 895889098 (eff. 0.020)
275.24/275.34	c #Conflicts:      20000 | #Learnt:       6686 | 1.444
275.24/275.34	c total clause space: 78.2603MB
275.24/275.34	c total #watches: 1289926
308.74/308.85	c total #propagations: 18382678 / total #impl: 985876682 (eff. 0.019)
308.74/308.85	c GC COLLECT
308.74/308.85	c #Conflicts:      21000 | #Learnt:       4205 | 1.447
308.74/308.85	c total clause space: 78.2603MB
308.74/308.85	c total #watches: 809791
326.34/326.44	c total #propagations: 19668414 / total #impl: 1045296808 (eff. 0.019)
326.34/326.44	c #Conflicts:      22000 | #Learnt:       5205 | 1.389
326.34/326.44	c total clause space: 78.2603MB
326.34/326.44	c total #watches: 886945
341.23/341.34	c total #propagations: 20813899 / total #impl: 1080780610 (eff. 0.019)
341.23/341.34	c #Conflicts:      23000 | #Learnt:       6205 | 1.329
341.23/341.34	c total clause space: 78.2603MB
341.23/341.34	c total #watches: 925320
356.93/357.00	c total #propagations: 21865315 / total #impl: 1102474497 (eff. 0.020)
356.93/357.00	c #Conflicts:      24000 | #Learnt:       7205 | 1.274
356.93/357.00	c total clause space: 78.2603MB
356.93/357.00	c total #watches: 953374
371.53/371.66	c total #propagations: 23149307 / total #impl: 1118740885 (eff. 0.021)
371.53/371.66	c GC COLLECT
371.53/371.66	c #Conflicts:      25000 | #Learnt:       4402 | 1.223
371.53/371.66	c total clause space: 78.2603MB
371.53/371.66	c total #watches: 462747
380.83/380.95	c total #propagations: 24174241 / total #impl: 1142152384 (eff. 0.021)
380.83/380.95	c #Conflicts:      26000 | #Learnt:       5402 | 1.189
380.83/380.95	c total clause space: 78.2603MB
380.83/380.95	c total #watches: 487640
390.33/390.42	c total #propagations: 25423411 / total #impl: 1171223858 (eff. 0.022)
390.33/390.42	c #Conflicts:      27000 | #Learnt:       6402 | 1.171
390.33/390.42	c total clause space: 78.2603MB
390.33/390.42	c total #watches: 736863
417.42/417.52	c total #propagations: 25944605 / total #impl: 1261080401 (eff. 0.021)
417.42/417.52	c #Conflicts:      28000 | #Learnt:       7402 | 1.152
417.42/417.52	c total clause space: 78.2603MB
417.42/417.52	c total #watches: 873471
443.32/443.41	c total #propagations: 26992389 / total #impl: 1425733270 (eff. 0.019)
443.32/443.41	c GC COLLECT
443.32/443.41	c #Conflicts:      29000 | #Learnt:       4301 | 1.114
443.32/443.41	c total clause space: 78.2603MB
443.32/443.41	c total #watches: 687321
459.72/459.82	c total #propagations: 28190729 / total #impl: 1460102296 (eff. 0.019)
459.72/459.82	c #Conflicts:      30000 | #Learnt:       5301 | 1.077
459.72/459.82	c total clause space: 78.2603MB
459.72/459.82	c total #watches: 749093
476.71/476.84	c total #propagations: 29172118 / total #impl: 1485798405 (eff. 0.020)
476.71/476.84	c #Conflicts:      31000 | #Learnt:       6301 | 1.047
476.71/476.84	c total clause space: 78.2603MB
476.71/476.84	c total #watches: 827927
492.72/492.86	c total #propagations: 30124454 / total #impl: 1527282276 (eff. 0.020)
492.72/492.86	c #Conflicts:      32000 | #Learnt:       7301 | 1.015
492.72/492.86	c total clause space: 78.2603MB
492.72/492.86	c total #watches: 908065
514.51/514.66	c total #propagations: 31136826 / total #impl: 1556439687 (eff. 0.020)
514.51/514.66	c #Conflicts:      33000 | #Learnt:       8301 | 0.984
514.51/514.66	c total clause space: 78.2603MB
514.51/514.66	c total #watches: 959714
524.80/524.92	c total #propagations: 32524190 / total #impl: 1607433884 (eff. 0.020)
524.80/524.92	c GC COLLECT
524.80/524.92	c #Conflicts:      34000 | #Learnt:       4928 | 0.955
524.80/524.92	c total clause space: 78.2603MB
524.80/524.92	c total #watches: 595730
532.70/532.85	c total #propagations: 33463185 / total #impl: 1636006719 (eff. 0.020)
532.70/532.85	c #Conflicts:      35000 | #Learnt:       5928 | 0.928
532.70/532.85	c total clause space: 78.2603MB
532.70/532.85	c total #watches: 682617
551.01/551.13	c total #propagations: 34176306 / total #impl: 1667838131 (eff. 0.020)
551.01/551.13	c #Conflicts:      36000 | #Learnt:       6928 | 0.902
551.01/551.13	c total clause space: 78.2603MB
551.01/551.13	c total #watches: 790630
565.60/565.77	c total #propagations: 35671106 / total #impl: 1728066397 (eff. 0.021)
565.60/565.77	c #Conflicts:      37000 | #Learnt:       7928 | 0.879
565.60/565.77	c total clause space: 78.2603MB
565.60/565.77	c total #watches: 878851
576.70/576.86	c total #propagations: 36489646 / total #impl: 1811440779 (eff. 0.020)
576.70/576.86	c #Conflicts:      38000 | #Learnt:       8928 | 0.858
576.70/576.86	c total clause space: 78.2603MB
576.70/576.86	c total #watches: 1023366
590.89/591.04	c total #propagations: 37491448 / total #impl: 1845507999 (eff. 0.020)
590.89/591.04	c GC COLLECT
590.89/591.04	c #Conflicts:      39000 | #Learnt:       5218 | 0.836
590.89/591.04	c total clause space: 78.2603MB
590.89/591.04	c total #watches: 757628
610.99/611.17	c total #propagations: 38680359 / total #impl: 1882002138 (eff. 0.021)
610.99/611.17	c #Conflicts:      40000 | #Learnt:       6218 | 0.815
610.99/611.17	c total clause space: 78.2603MB
610.99/611.17	c total #watches: 790752
635.79/635.94	c total #propagations: 39543665 / total #impl: 1924485423 (eff. 0.021)
635.79/635.94	c #Conflicts:      41000 | #Learnt:       7218 | 0.795
635.79/635.94	c total clause space: 78.2603MB
635.79/635.94	c total #watches: 810857
648.89/649.06	c total #propagations: 40361089 / total #impl: 1993405884 (eff. 0.020)
648.89/649.06	c #Conflicts:      42000 | #Learnt:       8218 | 0.777
648.89/649.06	c total clause space: 78.2603MB
648.89/649.06	c total #watches: 832469
657.38/657.56	c total #propagations: 41006608 / total #impl: 2014225181 (eff. 0.020)
657.38/657.56	c #Conflicts:      43000 | #Learnt:       9218 | 0.761
657.38/657.56	c total clause space: 78.2603MB
657.38/657.56	c total #watches: 947547
672.88/673.08	c total #propagations: 41637176 / total #impl: 2035215521 (eff. 0.020)
672.88/673.08	c GC COLLECT
672.88/673.08	c #Conflicts:      44000 | #Learnt:       5212 | 0.743
672.88/673.08	c total clause space: 78.2603MB
672.88/673.08	c total #watches: 514401
681.48/681.62	c total #propagations: 42651685 / total #impl: 2068643567 (eff. 0.021)
681.48/681.62	c #Conflicts:      45000 | #Learnt:       6212 | 0.727
681.48/681.62	c total clause space: 78.2603MB
681.48/681.62	c total #watches: 534506
696.58/696.73	c total #propagations: 43521906 / total #impl: 2088851623 (eff. 0.021)
696.58/696.73	c #Conflicts:      46000 | #Learnt:       7212 | 0.711
696.58/696.73	c total clause space: 78.2603MB
696.58/696.73	c total #watches: 568522
708.38/708.51	c total #propagations: 44752366 / total #impl: 2124587790 (eff. 0.021)
708.38/708.51	c #Conflicts:      47000 | #Learnt:       8212 | 0.696
708.38/708.51	c total clause space: 78.2603MB
708.38/708.51	c total #watches: 599721
719.07/719.24	c total #propagations: 45961495 / total #impl: 2150059074 (eff. 0.021)
719.07/719.24	c #Conflicts:      48000 | #Learnt:       9212 | 0.685
719.07/719.24	c total clause space: 78.2603MB
719.07/719.24	c total #watches: 651879
729.57/729.75	c total #propagations: 46930637 / total #impl: 2172769968 (eff. 0.022)
729.57/729.75	c #Conflicts:      49000 | #Learnt:      10212 | 0.672
729.57/729.75	c total clause space: 78.2603MB
729.57/729.75	c total #watches: 705829
737.07/737.27	c total #propagations: 48049980 / total #impl: 2204268692 (eff. 0.022)
737.07/737.27	c GC COLLECT
737.07/737.27	c #Conflicts:      50000 | #Learnt:       5903 | 0.660
737.07/737.27	c total clause space: 78.2603MB
737.07/737.27	c total #watches: 515402
742.77/742.97	c total #propagations: 49234683 / total #impl: 2219727973 (eff. 0.022)
742.77/742.97	c #Conflicts:      51000 | #Learnt:       6903 | 0.647
742.77/742.97	c total clause space: 78.2603MB
742.77/742.97	c total #watches: 554532
749.27/749.47	c total #propagations: 50196564 / total #impl: 2231819942 (eff. 0.022)
749.27/749.47	c #Conflicts:      52000 | #Learnt:       7903 | 0.643
749.27/749.47	c total clause space: 78.2603MB
749.27/749.47	c total #watches: 635377
754.17/754.35	c total #propagations: 50855953 / total #impl: 2255015942 (eff. 0.023)
754.17/754.35	c #Conflicts:      53000 | #Learnt:       8903 | 0.631
754.17/754.35	c total clause space: 78.2603MB
754.17/754.35	c total #watches: 695831
767.77/767.93	c total #propagations: 51238250 / total #impl: 2275134580 (eff. 0.023)
767.77/767.93	c #Conflicts:      54000 | #Learnt:       9903 | 0.622
767.77/767.93	c total clause space: 78.2603MB
767.77/767.93	c total #watches: 741515
781.87/782.00	c total #propagations: 52466450 / total #impl: 2304830882 (eff. 0.023)
781.87/782.00	c #Conflicts:      55000 | #Learnt:      10903 | 0.611
781.87/782.00	c total clause space: 78.2603MB
781.87/782.00	c total #watches: 795897
796.57/796.75	c total #propagations: 53643141 / total #impl: 2334963026 (eff. 0.023)
796.57/796.75	c GC COLLECT
796.57/796.75	c #Conflicts:      56000 | #Learnt:       6306 | 0.600
796.57/796.75	c total clause space: 78.2603MB
796.57/796.75	c total #watches: 666996
807.38/807.58	c total #propagations: 54817031 / total #impl: 2367648477 (eff. 0.023)
807.38/807.58	c #Conflicts:      57000 | #Learnt:       7306 | 0.590
807.38/807.58	c total clause space: 78.2603MB
807.38/807.58	c total #watches: 731112
815.77/815.96	c total #propagations: 55845946 / total #impl: 2388374009 (eff. 0.023)
815.77/815.96	c #Conflicts:      58000 | #Learnt:       8306 | 0.580
815.77/815.96	c total clause space: 78.2603MB
815.77/815.96	c total #watches: 775713
828.07/828.23	c total #propagations: 56703532 / total #impl: 2409194423 (eff. 0.024)
828.07/828.23	c #Conflicts:      59000 | #Learnt:       9306 | 0.570
828.07/828.23	c total clause space: 78.2603MB
828.07/828.23	c total #watches: 822868
836.47/836.63	c total #propagations: 58096985 / total #impl: 2435064907 (eff. 0.024)
836.47/836.63	c #Conflicts:      60000 | #Learnt:      10306 | 0.563
836.47/836.63	c total clause space: 78.2603MB
836.47/836.63	c total #watches: 854821
846.56/846.72	c total #propagations: 59391390 / total #impl: 2456948824 (eff. 0.024)
846.56/846.72	c #Conflicts:      61000 | #Learnt:      11306 | 0.554
846.56/846.72	c total clause space: 78.2603MB
846.56/846.72	c total #watches: 880053
859.56/859.72	c total #propagations: 60536204 / total #impl: 2481323821 (eff. 0.024)
859.56/859.72	c GC COLLECT
859.56/859.72	c #Conflicts:      62000 | #Learnt:       6400 | 0.547
859.56/859.72	c total clause space: 78.2603MB
859.56/859.72	c total #watches: 679586
878.36/878.55	c total #propagations: 61746776 / total #impl: 2514605166 (eff. 0.025)
878.36/878.55	c #Conflicts:      63000 | #Learnt:       7400 | 0.542
878.36/878.55	c total clause space: 78.2603MB
878.36/878.55	c total #watches: 790865
888.06/888.21	c total #propagations: 63048537 / total #impl: 2590556456 (eff. 0.024)
888.06/888.21	c #Conflicts:      64000 | #Learnt:       8400 | 0.534
888.06/888.21	c total clause space: 78.2603MB
888.06/888.21	c total #watches: 832788
903.86/904.07	c total #propagations: 64445370 / total #impl: 2620030102 (eff. 0.025)
903.86/904.07	c #Conflicts:      65000 | #Learnt:       9400 | 0.525
903.86/904.07	c total clause space: 78.2603MB
903.86/904.07	c total #watches: 886867
918.85/919.01	c total #propagations: 65849594 / total #impl: 2674489573 (eff. 0.025)
918.85/919.01	c #Conflicts:      66000 | #Learnt:      10400 | 0.520
918.85/919.01	c total clause space: 78.2603MB
918.85/919.01	c total #watches: 930458
929.95/930.12	c total #propagations: 66928829 / total #impl: 2722887740 (eff. 0.025)
929.95/930.12	c #Conflicts:      67000 | #Learnt:      11400 | 0.512
929.95/930.12	c total clause space: 78.2603MB
929.95/930.12	c total #watches: 961818
958.64/958.82	c total #propagations: 67829635 / total #impl: 2742114547 (eff. 0.025)
958.64/958.82	c #Conflicts:      68000 | #Learnt:      12400 | 0.505
958.64/958.82	c total clause space: 78.2603MB
958.64/958.82	c total #watches: 1067942
969.74/969.96	c total #propagations: 68947407 / total #impl: 2836610546 (eff. 0.024)
969.74/969.96	c GC COLLECT
969.74/969.96	c #Conflicts:      69000 | #Learnt:       7194 | 0.498
969.74/969.96	c total clause space: 78.2603MB
969.74/969.96	c total #watches: 732117
982.93/983.14	c total #propagations: 70033271 / total #impl: 2869864767 (eff. 0.024)
982.93/983.14	c #Conflicts:      70000 | #Learnt:       8194 | 0.491
982.93/983.14	c total clause space: 78.2603MB
982.93/983.14	c total #watches: 766159
994.03/994.27	c total #propagations: 71507543 / total #impl: 2909144880 (eff. 0.025)
994.03/994.27	c #Conflicts:      71000 | #Learnt:       9194 | 0.484
994.03/994.27	c total clause space: 78.2603MB
994.03/994.27	c total #watches: 818868
1013.63/1013.87	c total #propagations: 72735005 / total #impl: 2946798688 (eff. 0.025)
1013.63/1013.87	c #Conflicts:      72000 | #Learnt:      10194 | 0.477
1013.63/1013.87	c total clause space: 78.2603MB
1013.63/1013.87	c total #watches: 889513
1032.53/1032.74	c total #propagations: 73771819 / total #impl: 3042707410 (eff. 0.024)
1032.53/1032.74	c #Conflicts:      73000 | #Learnt:      11194 | 0.471
1032.53/1032.74	c total clause space: 78.2603MB
1032.53/1032.74	c total #watches: 980731
1050.52/1050.72	c total #propagations: 74858136 / total #impl: 3113309393 (eff. 0.024)
1050.52/1050.72	c #Conflicts:      74000 | #Learnt:      12194 | 0.464
1050.52/1050.72	c total clause space: 78.2603MB
1050.52/1050.72	c total #watches: 1070363
1062.82/1063.01	c total #propagations: 75812103 / total #impl: 3160188342 (eff. 0.024)
1062.82/1063.01	c GC COLLECT
1062.82/1063.01	c #Conflicts:      75000 | #Learnt:       6693 | 0.458
1062.82/1063.01	c total clause space: 78.2603MB
1062.82/1063.01	c total #watches: 804113
1077.02/1077.25	c total #propagations: 76532146 / total #impl: 3185786685 (eff. 0.024)
1077.02/1077.25	c #Conflicts:      76000 | #Learnt:       7693 | 0.452
1077.02/1077.25	c total clause space: 78.2603MB
1077.02/1077.25	c total #watches: 904885
1096.11/1096.30	c total #propagations: 77603743 / total #impl: 3234567352 (eff. 0.024)
1096.11/1096.30	c #Conflicts:      77000 | #Learnt:       8693 | 0.446
1096.11/1096.30	c total clause space: 78.2603MB
1096.11/1096.30	c total #watches: 941346
1110.21/1110.45	c total #propagations: 79089732 / total #impl: 3302603080 (eff. 0.024)
1110.21/1110.45	c #Conflicts:      78000 | #Learnt:       9693 | 0.442
1110.21/1110.45	c total clause space: 78.2603MB
1110.21/1110.45	c total #watches: 1002270
1122.81/1123.04	c total #propagations: 80171780 / total #impl: 3345409334 (eff. 0.024)
1122.81/1123.04	c #Conflicts:      79000 | #Learnt:      10693 | 0.437
1122.81/1123.04	c total clause space: 78.2603MB
1122.81/1123.04	c total #watches: 1139247
1132.21/1132.44	c total #propagations: 80982238 / total #impl: 3394306758 (eff. 0.024)
1132.21/1132.44	c #Conflicts:      80000 | #Learnt:      11693 | 0.431
1132.21/1132.44	c total clause space: 78.2603MB
1132.21/1132.44	c total #watches: 1243159
1146.21/1146.49	c total #propagations: 81689399 / total #impl: 3434670999 (eff. 0.024)
1146.21/1146.49	c #Conflicts:      81000 | #Learnt:      12693 | 0.428
1146.21/1146.49	c total clause space: 78.2603MB
1146.21/1146.49	c total #watches: 1307049
1160.10/1160.37	c total #propagations: 82839972 / total #impl: 3481247554 (eff. 0.024)
1160.10/1160.37	c GC COLLECT
1160.10/1160.37	c #Conflicts:      82000 | #Learnt:       6901 | 0.423
1160.10/1160.37	c total clause space: 78.2603MB
1160.10/1160.37	c total #watches: 859256
1170.40/1170.62	c total #propagations: 84104908 / total #impl: 3521685585 (eff. 0.024)
1170.40/1170.62	c #Conflicts:      83000 | #Learnt:       7901 | 0.418
1170.40/1170.62	c total clause space: 78.2603MB
1170.40/1170.62	c total #watches: 1022048
1179.80/1180.09	c total #propagations: 85093550 / total #impl: 3552688757 (eff. 0.024)
1179.80/1180.09	c #Conflicts:      84000 | #Learnt:       8901 | 0.413
1179.80/1180.09	c total clause space: 78.2603MB
1179.80/1180.09	c total #watches: 1060381
1190.40/1190.64	c total #propagations: 86063931 / total #impl: 3580990933 (eff. 0.024)
1190.40/1190.64	c #Conflicts:      85000 | #Learnt:       9901 | 0.408
1190.40/1190.64	c total clause space: 78.2603MB
1190.40/1190.64	c total #watches: 1130365
1200.80/1201.05	c total #propagations: 87056647 / total #impl: 3601869747 (eff. 0.024)
1200.80/1201.05	c #Conflicts:      86000 | #Learnt:      10901 | 0.403
1200.80/1201.05	c total clause space: 78.2603MB
1200.80/1201.05	c total #watches: 1175064
1212.49/1212.79	c total #propagations: 87664788 / total #impl: 3630112994 (eff. 0.024)
1212.49/1212.79	c #Conflicts:      87000 | #Learnt:      11901 | 0.399
1212.49/1212.79	c total clause space: 78.2603MB
1212.49/1212.79	c total #watches: 1217224
1224.59/1224.82	c total #propagations: 88511081 / total #impl: 3662389684 (eff. 0.024)
1224.59/1224.82	c #Conflicts:      88000 | #Learnt:      12901 | 0.394
1224.59/1224.82	c total clause space: 78.2603MB
1224.59/1224.82	c total #watches: 1284924
1243.19/1243.45	c total #propagations: 89340870 / total #impl: 3694460017 (eff. 0.024)
1243.19/1243.45	c #Conflicts:      89000 | #Learnt:      13901 | 0.390
1243.19/1243.45	c total clause space: 78.2603MB
1243.19/1243.45	c total #watches: 1341587
1253.69/1253.98	c total #propagations: 90246246 / total #impl: 3764850299 (eff. 0.024)
1253.69/1253.98	c GC COLLECT
1253.69/1253.98	c #Conflicts:      90000 | #Learnt:       7831 | 0.385
1253.69/1253.98	c total clause space: 78.2603MB
1253.69/1253.98	c total #watches: 870355
1263.39/1263.69	c total #propagations: 90864810 / total #impl: 3806019386 (eff. 0.024)
1263.39/1263.69	c #Conflicts:      91000 | #Learnt:       8831 | 0.382
1263.39/1263.69	c total clause space: 78.2603MB
1263.39/1263.69	c total #watches: 998147
1276.68/1276.90	c total #propagations: 91638753 / total #impl: 3845436497 (eff. 0.024)
1276.68/1276.90	c #Conflicts:      92000 | #Learnt:       9831 | 0.377
1276.68/1276.90	c total clause space: 78.2603MB
1276.68/1276.90	c total #watches: 1081984
1291.58/1291.87	c total #propagations: 92554435 / total #impl: 3912811428 (eff. 0.024)
1291.58/1291.87	c #Conflicts:      93000 | #Learnt:      10831 | 0.373
1291.58/1291.87	c total clause space: 78.2603MB
1291.58/1291.87	c total #watches: 1280135
1296.98/1297.21	c total #propagations: 93524690 / total #impl: 3970811501 (eff. 0.024)
1296.98/1297.21	c #Conflicts:      94000 | #Learnt:      11831 | 0.369
1296.98/1297.21	c total clause space: 78.2603MB
1296.98/1297.21	c total #watches: 1451687
1309.68/1309.95	c total #propagations: 93895807 / total #impl: 3996757325 (eff. 0.023)
1309.68/1309.95	c #Conflicts:      95000 | #Learnt:      12831 | 0.366
1309.68/1309.95	c total clause space: 127.173MB
1309.68/1309.95	c total #watches: 1489796
1325.88/1326.16	c total #propagations: 94594152 / total #impl: 4035508754 (eff. 0.023)
1325.88/1326.16	c #Conflicts:      96000 | #Learnt:      13831 | 0.362
1325.88/1326.16	c total clause space: 127.173MB
1325.88/1326.16	c total #watches: 1527346
1341.57/1341.83	c total #propagations: 95513167 / total #impl: 4094167103 (eff. 0.023)
1341.57/1341.83	c #Conflicts:      97000 | #Learnt:      14831 | 0.358
1341.57/1341.83	c total clause space: 127.173MB
1341.57/1341.83	c total #watches: 1693350
1356.09/1356.36	c total #propagations: 96331305 / total #impl: 4148211155 (eff. 0.023)
1356.09/1356.36	c GC COLLECT
1356.09/1356.36	c #Conflicts:      98000 | #Learnt:       8416 | 0.354
1356.09/1356.36	c total clause space: 127.173MB
1356.09/1356.36	c total #watches: 1319344
1371.88/1372.11	c total #propagations: 97014898 / total #impl: 4193397758 (eff. 0.023)
1371.88/1372.11	c #Conflicts:      99000 | #Learnt:       9416 | 0.351
1371.88/1372.11	c total clause space: 127.173MB
1371.88/1372.11	c total #watches: 1378998
1384.27/1384.59	c total #propagations: 97858569 / total #impl: 4235913589 (eff. 0.023)
1384.27/1384.59	c #Conflicts:     100000 | #Learnt:      10416 | 0.347
1384.27/1384.59	c total clause space: 127.173MB
1384.27/1384.59	c total #watches: 1422856
1397.37/1397.69	c total #propagations: 98517321 / total #impl: 4257434670 (eff. 0.023)
1397.37/1397.69	c #Conflicts:     101000 | #Learnt:      11416 | 0.344
1397.37/1397.69	c total clause space: 127.173MB
1397.37/1397.69	c total #watches: 1456216
1408.47/1408.75	c total #propagations: 99228416 / total #impl: 4292947658 (eff. 0.023)
1408.47/1408.75	c #Conflicts:     102000 | #Learnt:      12416 | 0.341
1408.47/1408.75	c total clause space: 127.173MB
1408.47/1408.75	c total #watches: 1491532
1419.87/1420.13	c total #propagations: 99664847 / total #impl: 4315475647 (eff. 0.023)
1419.87/1420.13	c #Conflicts:     103000 | #Learnt:      13416 | 0.338
1419.87/1420.13	c total clause space: 127.173MB
1419.87/1420.13	c total #watches: 1547382
1442.26/1442.53	c total #propagations: 100013510 / total #impl: 4339995654 (eff. 0.023)
1442.26/1442.53	c #Conflicts:     104000 | #Learnt:      14416 | 0.334
1442.26/1442.53	c total clause space: 127.173MB
1442.26/1442.53	c total #watches: 1581482
1464.06/1464.38	c total #propagations: 101109838 / total #impl: 4381161044 (eff. 0.023)
1464.06/1464.38	c #Conflicts:     105000 | #Learnt:      15416 | 0.354
1464.06/1464.38	c total clause space: 127.173MB
1464.06/1464.38	c total #watches: 1663288
1484.86/1485.14	c total #propagations: 101964063 / total #impl: 4413186465 (eff. 0.023)
1484.86/1485.14	c GC COLLECT
1484.86/1485.14	c #Conflicts:     106000 | #Learnt:       8712 | 0.357
1484.86/1485.14	c total clause space: 127.173MB
1484.86/1485.14	c total #watches: 991834
1499.46/1499.79	c total #propagations: 102796743 / total #impl: 4463686965 (eff. 0.023)
1499.46/1499.79	c S2->S1
1499.46/1499.79	c S2->S1
1499.46/1499.79	c S2->S1
1499.46/1499.79	c S2->S1
1499.46/1499.79	c #Conflicts:     107000 | #Learnt:       1475 | 0.558
1499.46/1499.79	c total clause space: 206.656MB
1499.46/1499.79	c total #watches: 3606886
1519.15/1519.41	c total #propagations: 103423778 / total #impl: 4504316676 (eff. 0.023)
1519.15/1519.41	c #Conflicts:     108000 | #Learnt:       2474 | 0.559
1519.15/1519.41	c total clause space: 206.656MB
1519.15/1519.41	c total #watches: 3598816
1538.44/1538.79	c total #propagations: 104234793 / total #impl: 4551433288 (eff. 0.023)
1538.44/1538.79	c S1->S2
1538.44/1538.79	c #Conflicts:     109000 | #Learnt:       3474 | 0.569
1538.44/1538.79	c total clause space: 206.656MB
1538.44/1538.79	c total #watches: 3640476
1548.85/1549.17	c total #propagations: 104769223 / total #impl: 4590398907 (eff. 0.023)
1548.85/1549.17	c #Conflicts:     110000 | #Learnt:       4473 | 0.594
1548.85/1549.17	c total clause space: 335.816MB
1548.85/1549.17	c total #watches: 4071076
1559.74/1560.01	c total #propagations: 104970165 / total #impl: 4620671617 (eff. 0.023)
1559.74/1560.01	c S1->S2
1559.74/1560.01	c #Conflicts:     111000 | #Learnt:       5474 | 0.595
1559.74/1560.01	c total clause space: 335.816MB
1559.74/1560.01	c total #watches: 4656162
1571.04/1571.35	c total #propagations: 105016567 / total #impl: 4667285945 (eff. 0.023)
1571.04/1571.35	c S2->S1
1571.04/1571.35	o -41
1571.04/1571.35	s OPTIMUM FOUND
1571.04/1571.35	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 x784 x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
1571.04/1571.36	c CPU time              : 1570.92 s

Verifier Data 

OK	-41

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-4100743-1466245125/watcher-4100743-1466245125 -o /tmp/evaluation-result-4100743-1466245125/solver-4100743-1466245125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4100743-1466245125.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.38 2.31 2.28 3/176 23097
/proc/meminfo: memFree=29580292/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 26558207 57319424 6780 33554432000 4194304 6211289 140735110392896 140735794728504 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 13994 6780 98 493 0 13491 0

[startup+0.1002 s]
/proc/loadavg: 2.38 2.31 2.28 3/176 23097
/proc/meminfo: memFree=29580292/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=67548 CPUtime=0.09 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 1495 0 0 0 8 1 0 0 20 0 1 0 26558207 69169152 14361 33554432000 4194304 6211289 140735110392896 140735794728504 5310751 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 16887 14361 150 493 0 16384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67548

[startup+0.200374 s]
/proc/loadavg: 2.38 2.31 2.28 3/176 23097
/proc/meminfo: memFree=29580292/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=67696 CPUtime=0.19 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 1587 0 0 0 18 1 0 0 20 0 1 0 26558207 69320704 14964 33554432000 4194304 6211289 140735110392896 140735794728504 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 16924 14964 204 493 0 16421 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67696

[startup+0.300227 s]
/proc/loadavg: 2.38 2.31 2.28 3/176 23097
/proc/meminfo: memFree=29580292/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=67968 CPUtime=0.29 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 1748 0 0 0 28 1 0 0 20 0 1 0 26558207 69599232 15105 33554432000 4194304 6211289 140735110392896 140735794728504 4201826 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 16992 15105 204 493 0 16489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67968

[startup+0.70019 s]
/proc/loadavg: 2.38 2.31 2.28 3/176 23097
/proc/meminfo: memFree=29580292/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=68104 CPUtime=0.69 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 1795 0 0 0 68 1 0 0 20 0 1 0 26558207 69738496 15152 33554432000 4194304 6211289 140735110392896 140735110390888 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 17026 15152 204 493 0 16523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68104

[startup+1.50021 s]
/proc/loadavg: 2.35 2.31 2.27 3/177 23098
/proc/meminfo: memFree=29520492/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=71492 CPUtime=1.49 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 2484 0 0 0 148 1 0 0 20 0 1 0 26558207 73207808 15610 33554432000 4194304 6211289 140735110392896 140735110390888 4209507 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 17873 15610 204 493 0 17370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71492

[startup+3.10019 s]
/proc/loadavg: 2.35 2.31 2.27 3/177 23098
/proc/meminfo: memFree=29516780/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=76852 CPUtime=3.09 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 3394 0 0 0 308 1 0 0 20 0 1 0 26558207 78696448 16791 33554432000 4194304 6211289 140735110392896 140735110390808 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 19213 16791 214 493 0 18710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76852

[startup+6.30025 s]
/proc/loadavg: 2.35 2.31 2.27 4/177 23098
/proc/meminfo: memFree=29513120/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=103080 CPUtime=6.29 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 6147 0 0 0 627 2 0 0 20 0 1 0 26558207 105553920 21502 33554432000 4194304 6211289 140735110392896 140735110390888 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 25770 21502 214 493 0 25267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103080

[startup+12.7003 s]
/proc/loadavg: 2.29 2.30 2.27 3/177 23098
/proc/meminfo: memFree=29442148/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=163764 CPUtime=12.69 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 12837 0 0 0 1266 3 0 0 20 0 1 0 26558207 167694336 34487 33554432000 4194304 6211289 140735110392896 140735110390888 4202037 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 40941 34487 219 493 0 40438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 163764

[startup+25.5004 s]
/proc/loadavg: 2.25 2.29 2.27 3/177 23098
/proc/meminfo: memFree=29434400/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=182884 CPUtime=25.49 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 12964 0 0 0 2546 3 0 0 20 0 1 0 26558207 187273216 36120 33554432000 4194304 6211289 140735110392896 140735110390888 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 45721 36120 219 493 0 45218 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182884

[startup+51.1003 s]
/proc/loadavg: 2.36 2.31 2.28 3/177 23098
/proc/meminfo: memFree=29424116/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=185340 CPUtime=51.08 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 14223 0 0 0 5105 3 0 0 20 0 1 0 26558207 189788160 38259 33554432000 4194304 6211289 140735110392896 140735110391240 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 46335 38259 219 493 0 45832 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 185340

[startup+102.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/178 23102
/proc/meminfo: memFree=29410852/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=189640 CPUtime=102.28 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 15480 0 0 0 10224 4 0 0 20 0 1 0 26558207 194191360 41465 33554432000 4194304 6211289 140735110392896 140735110391240 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 47410 41465 219 493 0 46907 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 189640

[startup+162.3 s]
/proc/loadavg: 2.25 2.29 2.27 3/177 23103
/proc/meminfo: memFree=29402972/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=190320 CPUtime=162.27 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 15666 0 0 0 16223 4 0 0 20 0 1 0 26558207 194887680 42162 33554432000 4194304 6211289 140735110392896 140735110390888 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 47580 42162 219 493 0 47077 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 190320

[startup+222.307 s]
/proc/loadavg: 2.37 2.31 2.28 4/177 23105
/proc/meminfo: memFree=29382852/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=222596 CPUtime=222.26 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 16551 0 0 0 22222 4 0 0 20 0 1 0 26558207 227938304 43333 33554432000 4194304 6211289 140735110392896 140735110390888 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 55649 43333 219 493 0 55146 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 222596

[startup+282.3 s]
/proc/loadavg: 2.39 2.33 2.28 3/177 23106
/proc/meminfo: memFree=29353704/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=226168 CPUtime=282.24 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 17825 0 0 0 28220 4 0 0 20 0 1 0 26558207 231596032 46457 33554432000 4194304 6211289 140735110392896 140735110391240 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 56542 46457 219 493 0 56039 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 226168

[startup+342.3 s]
/proc/loadavg: 2.28 2.31 2.27 4/177 23107
/proc/meminfo: memFree=29352708/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=226304 CPUtime=342.23 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 17850 0 0 0 34219 4 0 0 20 0 1 0 26558207 231735296 46477 33554432000 4194304 6211289 140735110392896 140735110391240 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 56576 46477 219 493 0 56073 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 226304

[startup+402.3 s]
/proc/loadavg: 2.43 2.34 2.28 4/177 23108
/proc/meminfo: memFree=29345256/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=226860 CPUtime=402.22 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18029 0 0 0 40218 4 0 0 20 0 1 0 26558207 232304640 46656 33554432000 4194304 6211289 140735110392896 140735110390760 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 56715 46656 219 493 0 56212 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 226860

[startup+462.3 s]
/proc/loadavg: 2.36 2.34 2.28 3/177 23155
/proc/meminfo: memFree=29738816/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=227692 CPUtime=462.21 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18215 0 0 0 46217 4 0 0 20 0 1 0 26558207 233156608 46842 33554432000 4194304 6211289 140735110392896 140735110391240 5151548 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 56923 46842 219 493 0 56420 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 227692

[startup+522.3 s]
/proc/loadavg: 2.28 2.32 2.27 3/177 23157
/proc/meminfo: memFree=29689464/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=227964 CPUtime=522.2 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18309 0 0 0 52216 4 0 0 20 0 1 0 26558207 233435136 46936 33554432000 4194304 6211289 140735110392896 140735110391240 4240669 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 56991 46936 219 493 0 56488 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 227964

[startup+582.3 s]
/proc/loadavg: 2.30 2.32 2.27 4/176 23158
/proc/meminfo: memFree=29648516/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=228400 CPUtime=582.2 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18405 0 0 0 58216 4 0 0 20 0 1 0 26558207 233881600 47032 33554432000 4194304 6211289 140735110392896 140735110390888 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 57100 47032 219 493 0 56597 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 228400


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

/proc/loadavg: 2.26 2.26 2.26 3/177 23170
/proc/meminfo: memFree=29579180/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=229864 CPUtime=1002.13 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18749 0 0 0 100208 5 0 0 20 0 1 0 26558207 235380736 49935 33554432000 4194304 6211289 140735110392896 140735110390888 4240824 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 57466 49935 219 493 0 56963 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 229864

[startup+1062.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/177 23171
/proc/meminfo: memFree=29573688/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=230440 CPUtime=1062.12 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 18898 0 0 0 106207 5 0 0 20 0 1 0 26558207 235970560 50950 33554432000 4194304 6211289 140735110392896 140735110390888 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 57610 50950 219 493 0 57107 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 230440

[startup+1122.3 s]
/proc/loadavg: 2.22 2.24 2.25 4/177 23173
/proc/meminfo: memFree=29568460/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=233640 CPUtime=1122.11 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 19706 0 0 0 112206 5 0 0 20 0 1 0 26558207 239247360 51758 33554432000 4194304 6211289 140735110392896 140735110390808 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 58410 51758 219 493 0 57907 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 233640

[startup+1182.3 s]
/proc/loadavg: 2.31 2.26 2.26 3/177 23174
/proc/meminfo: memFree=29561460/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=234352 CPUtime=1182.1 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 19873 0 0 0 118205 5 0 0 20 0 1 0 26558207 239976448 53458 33554432000 4194304 6211289 140735110392896 140735110391240 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 58588 53458 219 493 0 58085 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 234352

[startup+1242.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/177 23175
/proc/meminfo: memFree=29557648/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=234656 CPUtime=1242.09 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 19945 0 0 0 124204 5 0 0 20 0 1 0 26558207 240287744 54552 33554432000 4194304 6211289 140735110392896 140735110390808 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 58664 54552 219 493 0 58161 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 234656

[startup+1302.3 s]
/proc/loadavg: 2.24 2.24 2.25 4/178 23179
/proc/meminfo: memFree=29551728/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=285224 CPUtime=1302.08 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 20554 0 0 0 130203 5 0 0 20 0 1 0 26558207 292069376 56002 33554432000 4194304 6211289 140735110392896 140735110391128 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 71306 56002 219 493 0 70803 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 285224

[startup+1362.3 s]
/proc/loadavg: 2.23 2.25 2.25 3/177 23180
/proc/meminfo: memFree=29529584/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=292124 CPUtime=1362.08 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 22104 0 0 0 136202 6 0 0 20 0 1 0 26558207 299134976 60951 33554432000 4194304 6211289 140735110392896 140735110391240 4209481 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 73031 60951 219 493 0 72528 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 292124

[startup+1422.3 s]
/proc/loadavg: 2.30 2.26 2.26 3/177 23182
/proc/meminfo: memFree=29520504/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=292400 CPUtime=1422.07 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 22315 0 0 0 142201 6 0 0 20 0 1 0 26558207 299417600 63198 33554432000 4194304 6211289 140735110392896 140735110391240 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 73100 63198 219 493 0 72597 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 292400

[startup+1482.3 s]
/proc/loadavg: 2.29 2.26 2.26 4/177 23183
/proc/meminfo: memFree=29509776/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=292832 CPUtime=1482.06 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 22419 0 0 0 148200 6 0 0 20 0 1 0 26558207 299859968 65842 33554432000 4194304 6211289 140735110392896 140735110391240 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 73208 65842 219 493 0 72705 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 292832

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.25 3/177 23184
/proc/meminfo: memFree=29337008/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=505424 CPUtime=1542.05 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 34001 0 0 0 154194 11 0 0 20 0 1 0 26558207 517554176 108964 33554432000 4194304 6211289 140735110392896 140735110391240 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 126356 108964 219 493 0 125853 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 505424

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23097 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1548.8 s]
/proc/loadavg: 2.20 2.23 2.25 3/177 23184
/proc/meminfo: memFree=29323792/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=638180 CPUtime=1548.56 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 34755 0 0 0 154843 13 0 0 20 0 1 0 26558207 653496320 112159 33554432000 4194304 6211289 140735110392896 140735110390808 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 159545 112159 219 493 0 159042 0
Current children cumulated CPU time (s) 1548.56
Current children cumulated vsize (KiB) 638180

[startup+1561.6 s]
/proc/loadavg: 2.17 2.23 2.24 3/177 23184
/proc/meminfo: memFree=29189704/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=746656 CPUtime=1561.34 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 41275 0 0 0 156118 16 0 0 20 0 1 0 26558207 764575744 146148 33554432000 4194304 6211289 140735110392896 140735110391240 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 186664 146148 219 493 0 186161 0
Current children cumulated CPU time (s) 1561.34
Current children cumulated vsize (KiB) 746656

[startup+1568 s]
/proc/loadavg: 2.15 2.22 2.24 3/177 23185
/proc/meminfo: memFree=29186780/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=746816 CPUtime=1567.74 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 41331 0 0 0 156758 16 0 0 20 0 1 0 26558207 764739584 146204 33554432000 4194304 6211289 140735110392896 140735110390808 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 186704 146204 219 493 0 186201 0
Current children cumulated CPU time (s) 1567.74
Current children cumulated vsize (KiB) 746816

[startup+1569.6 s]
/proc/loadavg: 2.15 2.22 2.24 4/177 23185
/proc/meminfo: memFree=29186904/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=746816 CPUtime=1569.34 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 41343 0 0 0 156918 16 0 0 20 0 1 0 26558207 764739584 146727 33554432000 4194304 6211289 140735110392896 140735110390808 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 186704 146727 219 493 0 186201 0
Current children cumulated CPU time (s) 1569.34
Current children cumulated vsize (KiB) 746816

[startup+1570.4 s]
/proc/loadavg: 2.15 2.22 2.24 4/177 23185
/proc/meminfo: memFree=29184860/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=746960 CPUtime=1570.14 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 41381 0 0 0 156998 16 0 0 20 0 1 0 26558207 764887040 146765 33554432000 4194304 6211289 140735110392896 140735110390808 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 186740 146765 219 493 0 186237 0
Current children cumulated CPU time (s) 1570.14
Current children cumulated vsize (KiB) 746960

[startup+1570.8 s]
/proc/loadavg: 2.15 2.22 2.24 4/177 23185
/proc/meminfo: memFree=29184860/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=746960 CPUtime=1570.55 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 41388 0 0 0 157039 16 0 0 20 0 1 0 26558207 764887040 146772 33554432000 4194304 6211289 140735110392896 140735110390808 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 186740 146772 219 493 0 186237 0
Current children cumulated CPU time (s) 1570.55
Current children cumulated vsize (KiB) 746960

[startup+1571.2 s]
/proc/loadavg: 2.15 2.22 2.24 4/177 23185
/proc/meminfo: memFree=29184860/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=749472 CPUtime=1570.94 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 42329 0 0 0 157077 17 0 0 20 0 1 0 26558207 767459328 156400 33554432000 4194304 6211289 140735110392896 140735110390808 4216601 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 187368 156400 219 493 0 186865 0
Current children cumulated CPU time (s) 1570.94
Current children cumulated vsize (KiB) 749472

[startup+1571.3 s]
/proc/loadavg: 2.15 2.22 2.24 4/177 23185
/proc/meminfo: memFree=29184860/32872528 swapFree=1499884/1696108
[pid=23097] ppid=23094 vsize=765000 CPUtime=1571.04 cores=1,3,5,7
/proc/23097/stat : 23097 (cdcl-cuttingpla) R 23094 23097 21079 0 -1 4202496 45129 0 0 0 157086 18 0 0 20 0 1 0 26558207 783360000 168909 33554432000 4194304 6211289 140735110392896 140735110390808 4216601 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23097/statm: 191290 168915 219 493 0 190787 0
Current children cumulated CPU time (s) 1571.04
Current children cumulated vsize (KiB) 765000

Child status: 30
Real time (s): 1571.38
CPU time (s): 1571.14
CPU user time (s): 1570.92
CPU system time (s): 0.212967
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 765000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1570.92
system time used= 0.212967
maximum resident set size= 698492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46756
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= 20
involuntary context switches= 1623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9554 second user time and 6.05308 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 12:18:45
IDJOB=4100743
IDBENCH=1655
IDSOLVER=2549
FILE ID=node137/4100743-1466245125
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71700 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100743-1466245125/watcher-4100743-1466245125 -o /tmp/evaluation-result-4100743-1466245125/solver-4100743-1466245125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4100743-1466245125.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3
RANDOM SEED=227601701

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29580672 kB
Buffers:          125040 kB
Cached:           189884 kB
SwapCached:         1268 kB
Active:           637156 kB
Inactive:         220752 kB
Active(anon):     544436 kB
Inactive(anon):     1024 kB
Active(file):      92720 kB
Inactive(file):   219728 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:              2788 kB
Writeback:             8 kB
AnonPages:       2238468 kB
Mapped:             7732 kB
Shmem:                 0 kB
Slab:             604664 kB
SReclaimable:      48616 kB
SUnreclaim:       556048 kB
KernelStack:        1472 kB
PageTables:         8440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2367864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    712704 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= 71696 MiB
End job on node137 at 2016-06-18 12:44:56