Trace number 4087318

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark217.128
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.06	c * #variable= 11247 #constraint= 9744
0.09/0.13	c * #variable= 11247 #constraint= 9744
0.49/0.54	c S1->S2
0.49/0.54	c S1->S2
0.49/0.54	c #Conflicts:       1000 | #Learnt:        998 | 0.030
0.49/0.54	c total clause space: 11.2235MB
0.49/0.54	c total #watches: 166234
0.99/1.03	c total #propagations: 472202 / total #impl: 1825235 (eff. 0.259)
0.99/1.03	c #Conflicts:       2000 | #Learnt:       1995 | 0.231
0.99/1.03	c total clause space: 11.2235MB
0.99/1.03	c total #watches: 191373
1.59/1.60	c total #propagations: 914585 / total #impl: 4739747 (eff. 0.193)
1.59/1.60	c #Conflicts:       3000 | #Learnt:       2010 | 0.154
1.59/1.60	c total clause space: 11.2235MB
1.59/1.60	c total #watches: 197927
2.50/2.55	c total #propagations: 1344531 / total #impl: 8709930 (eff. 0.154)
2.50/2.55	c #Conflicts:       4000 | #Learnt:       3010 | 0.116
2.50/2.55	c total clause space: 18.2382MB
2.50/2.55	c total #watches: 225646
3.39/3.48	c total #propagations: 1807665 / total #impl: 14301454 (eff. 0.126)
3.39/3.48	c GC COLLECT
3.39/3.48	c #Conflicts:       5000 | #Learnt:       2371 | 0.097
3.39/3.48	c total clause space: 18.2382MB
3.39/3.48	c total #watches: 218685
4.79/4.84	c total #propagations: 2304829 / total #impl: 18787475 (eff. 0.123)
4.79/4.84	c #Conflicts:       6000 | #Learnt:       3371 | 0.081
4.79/4.84	c total clause space: 18.2382MB
4.79/4.84	c total #watches: 267141
6.99/7.03	c total #propagations: 2868314 / total #impl: 26941522 (eff. 0.106)
6.99/7.03	c GC COLLECT
6.99/7.03	c #Conflicts:       7000 | #Learnt:       2255 | 0.070
6.99/7.03	c total clause space: 18.2382MB
6.99/7.03	c total #watches: 260976
11.69/11.77	c total #propagations: 3396149 / total #impl: 35841593 (eff. 0.095)
11.69/11.77	c #Conflicts:       8000 | #Learnt:       3255 | 0.062
11.69/11.77	c total clause space: 18.2382MB
11.69/11.77	c total #watches: 331287
15.59/15.63	c total #propagations: 4324572 / total #impl: 53076122 (eff. 0.081)
15.59/15.63	c #Conflicts:       9000 | #Learnt:       4255 | 0.055
15.59/15.63	c total clause space: 29.637MB
15.59/15.63	c total #watches: 363721
18.38/18.48	c total #propagations: 4791859 / total #impl: 61230768 (eff. 0.078)
18.38/18.48	c GC COLLECT
18.38/18.48	c #Conflicts:      10000 | #Learnt:       2736 | 0.049
18.38/18.48	c total clause space: 29.637MB
18.38/18.48	c total #watches: 267335
20.79/20.80	c total #propagations: 5262437 / total #impl: 68121942 (eff. 0.077)
20.79/20.80	c #Conflicts:      11000 | #Learnt:       3735 | 0.045
20.79/20.80	c total clause space: 29.637MB
20.79/20.80	c total #watches: 303126
24.19/24.24	c total #propagations: 5740249 / total #impl: 76299256 (eff. 0.075)
24.19/24.24	c #Conflicts:      12000 | #Learnt:       4734 | 0.041
24.19/24.24	c total clause space: 29.637MB
24.19/24.24	c total #watches: 339068
28.49/28.58	c total #propagations: 6255303 / total #impl: 86780276 (eff. 0.072)
28.49/28.58	c #Conflicts:      13000 | #Learnt:       5734 | 0.038
28.49/28.58	c total clause space: 29.637MB
28.49/28.58	c total #watches: 372671
30.49/30.58	c total #propagations: 6720522 / total #impl: 95503204 (eff. 0.070)
30.49/30.58	c GC COLLECT
30.49/30.58	c #Conflicts:      14000 | #Learnt:       3868 | 0.035
30.49/30.58	c total clause space: 29.637MB
30.49/30.58	c total #watches: 338471
34.49/34.50	c total #propagations: 7251920 / total #impl: 107852998 (eff. 0.067)
34.49/34.50	c #Conflicts:      15000 | #Learnt:       4868 | 0.033
34.49/34.50	c total clause space: 29.637MB
34.49/34.50	c total #watches: 434422
43.59/43.65	c total #propagations: 8010076 / total #impl: 131011839 (eff. 0.061)
43.59/43.65	c #Conflicts:      16000 | #Learnt:       5868 | 0.031
43.59/43.65	c total clause space: 48.1602MB
43.59/43.65	c total #watches: 538235
52.09/52.17	c total #propagations: 8558856 / total #impl: 159217037 (eff. 0.054)
52.09/52.17	c GC COLLECT
52.09/52.17	c #Conflicts:      17000 | #Learnt:       3686 | 0.029
52.09/52.17	c total clause space: 48.1602MB
52.09/52.17	c total #watches: 439989
59.88/59.99	c total #propagations: 8989852 / total #impl: 173076650 (eff. 0.052)
59.88/59.99	c #Conflicts:      18000 | #Learnt:       4686 | 0.027
59.88/59.99	c total clause space: 48.1602MB
59.88/59.99	c total #watches: 469289
66.58/66.62	c total #propagations: 9399553 / total #impl: 187230821 (eff. 0.050)
66.58/66.62	c #Conflicts:      19000 | #Learnt:       5686 | 0.029
66.58/66.62	c total clause space: 48.1602MB
66.58/66.62	c total #watches: 555905
87.67/87.78	c total #propagations: 9831873 / total #impl: 205199959 (eff. 0.048)
87.67/87.78	c #Conflicts:      20000 | #Learnt:       6685 | 0.028
87.67/87.78	c total clause space: 48.1602MB
87.67/87.78	c total #watches: 642787
96.67/96.74	c total #propagations: 10615227 / total #impl: 245865507 (eff. 0.043)
96.67/96.74	c GC COLLECT
96.67/96.74	c #Conflicts:      21000 | #Learnt:       4198 | 0.026
96.67/96.74	c total clause space: 48.1602MB
96.67/96.74	c total #watches: 427221
109.08/109.17	c total #propagations: 11090990 / total #impl: 262363204 (eff. 0.042)
109.08/109.17	c #Conflicts:      22000 | #Learnt:       5198 | 0.025
109.08/109.17	c total clause space: 48.1602MB
109.08/109.17	c total #watches: 547137
124.08/124.12	c total #propagations: 11874000 / total #impl: 296011910 (eff. 0.040)
124.08/124.12	c #Conflicts:      23000 | #Learnt:       6198 | 0.024
124.08/124.12	c total clause space: 48.1602MB
124.08/124.12	c total #watches: 598116
134.87/134.92	c total #propagations: 12445505 / total #impl: 315958194 (eff. 0.039)
134.87/134.92	c #Conflicts:      24000 | #Learnt:       7198 | 0.023
134.87/134.92	c total clause space: 48.1602MB
134.87/134.92	c total #watches: 639604
146.67/146.72	c total #propagations: 12826834 / total #impl: 327648145 (eff. 0.039)
146.67/146.72	c GC COLLECT
146.67/146.72	c #Conflicts:      25000 | #Learnt:       4414 | 0.022
146.67/146.72	c total clause space: 48.1602MB
146.67/146.72	c total #watches: 474714
154.77/154.86	c total #propagations: 13358007 / total #impl: 346858428 (eff. 0.039)
154.77/154.86	c #Conflicts:      26000 | #Learnt:       5414 | 0.021
154.77/154.86	c total clause space: 48.1602MB
154.77/154.86	c total #watches: 529972
165.47/165.50	c total #propagations: 13870819 / total #impl: 362254280 (eff. 0.038)
165.47/165.50	c #Conflicts:      27000 | #Learnt:       6414 | 0.020
165.47/165.50	c total clause space: 48.1602MB
165.47/165.50	c total #watches: 566033
178.77/178.80	c total #propagations: 14399740 / total #impl: 375881151 (eff. 0.038)
178.77/178.80	c #Conflicts:      28000 | #Learnt:       7414 | 0.020
178.77/178.80	c total clause space: 48.1602MB
178.77/178.80	c total #watches: 615003
191.06/191.16	c total #propagations: 14956080 / total #impl: 396215387 (eff. 0.038)
191.06/191.16	c GC COLLECT
191.06/191.16	c #Conflicts:      29000 | #Learnt:       4322 | 0.019
191.06/191.16	c total clause space: 48.1602MB
191.06/191.16	c total #watches: 423275
197.17/197.27	c total #propagations: 15581698 / total #impl: 421048819 (eff. 0.037)
197.17/197.27	c #Conflicts:      30000 | #Learnt:       5322 | 0.018
197.17/197.27	c total clause space: 48.1602MB
197.17/197.27	c total #watches: 453438
203.67/203.79	c total #propagations: 16082130 / total #impl: 436220628 (eff. 0.037)
203.67/203.79	c #Conflicts:      31000 | #Learnt:       6322 | 0.018
203.67/203.79	c total clause space: 48.1602MB
203.67/203.79	c total #watches: 469742
213.46/213.58	c total #propagations: 16526922 / total #impl: 445889450 (eff. 0.037)
213.46/213.58	c #Conflicts:      32000 | #Learnt:       7322 | 0.017
213.46/213.58	c total clause space: 48.1602MB
213.46/213.58	c total #watches: 553335
224.76/224.85	c total #propagations: 17186771 / total #impl: 476992602 (eff. 0.036)
224.76/224.85	c #Conflicts:      33000 | #Learnt:       8322 | 0.017
224.76/224.85	c total clause space: 48.1602MB
224.76/224.85	c total #watches: 592624
231.66/231.79	c total #propagations: 17739193 / total #impl: 499136423 (eff. 0.036)
231.66/231.79	c GC COLLECT
231.66/231.79	c #Conflicts:      34000 | #Learnt:       4914 | 0.016
231.66/231.79	c total clause space: 48.1602MB
231.66/231.79	c total #watches: 397694
239.16/239.24	c total #propagations: 18120912 / total #impl: 514590755 (eff. 0.035)
239.16/239.24	c #Conflicts:      35000 | #Learnt:       5914 | 0.016
239.16/239.24	c total clause space: 48.1602MB
239.16/239.24	c total #watches: 466472
246.16/246.30	c total #propagations: 18675249 / total #impl: 540929355 (eff. 0.035)
246.16/246.30	c #Conflicts:      36000 | #Learnt:       6914 | 0.015
246.16/246.30	c total clause space: 48.1602MB
246.16/246.30	c total #watches: 500298
251.76/251.86	c total #propagations: 19127826 / total #impl: 555992074 (eff. 0.034)
251.76/251.86	c #Conflicts:      37000 | #Learnt:       7914 | 0.015
251.76/251.86	c total clause space: 48.1602MB
251.76/251.86	c total #watches: 519883
258.55/258.64	c total #propagations: 19466267 / total #impl: 568368799 (eff. 0.034)
258.55/258.64	c #Conflicts:      38000 | #Learnt:       8912 | 0.015
258.55/258.64	c total clause space: 48.1602MB
258.55/258.64	c total #watches: 538486
265.05/265.11	c total #propagations: 19908452 / total #impl: 580488463 (eff. 0.034)
265.05/265.11	c GC COLLECT
265.05/265.11	c #Conflicts:      39000 | #Learnt:       5210 | 0.014
265.05/265.11	c total clause space: 48.1602MB
265.05/265.11	c total #watches: 402184
269.85/269.94	c total #propagations: 20541934 / total #impl: 600492230 (eff. 0.034)
269.85/269.94	c #Conflicts:      40000 | #Learnt:       6210 | 0.014
269.85/269.94	c total clause space: 48.1602MB
269.85/269.94	c total #watches: 507610
278.25/278.38	c total #propagations: 21162162 / total #impl: 627461817 (eff. 0.034)
278.25/278.38	c #Conflicts:      41000 | #Learnt:       7210 | 0.014
278.25/278.38	c total clause space: 48.1602MB
278.25/278.38	c total #watches: 573546
290.55/290.61	c total #propagations: 21666334 / total #impl: 655042400 (eff. 0.033)
290.55/290.61	c #Conflicts:      42000 | #Learnt:       8210 | 0.013
290.55/290.61	c total clause space: 48.1602MB
290.55/290.61	c total #watches: 666429
306.14/306.23	c total #propagations: 22328759 / total #impl: 697578164 (eff. 0.032)
306.14/306.23	c #Conflicts:      43000 | #Learnt:       9210 | 0.013
306.14/306.23	c total clause space: 78.2603MB
306.14/306.23	c total #watches: 746805
324.34/324.46	c total #propagations: 22861556 / total #impl: 738434219 (eff. 0.031)
324.34/324.46	c GC COLLECT
324.34/324.46	c #Conflicts:      44000 | #Learnt:       5217 | 0.013
324.34/324.46	c total clause space: 78.2603MB
324.34/324.46	c total #watches: 624766
340.64/340.77	c total #propagations: 23401415 / total #impl: 789523719 (eff. 0.030)
340.64/340.77	c #Conflicts:      45000 | #Learnt:       6217 | 0.012
340.64/340.77	c total clause space: 78.2603MB
340.64/340.77	c total #watches: 674047
364.04/364.11	c total #propagations: 23850224 / total #impl: 818089289 (eff. 0.029)
364.04/364.11	c #Conflicts:      46000 | #Learnt:       7217 | 0.012
364.04/364.11	c total clause space: 78.2603MB
364.04/364.11	c total #watches: 744223
381.53/381.65	c total #propagations: 24457574 / total #impl: 869157603 (eff. 0.028)
381.53/381.65	c #Conflicts:      47000 | #Learnt:       8217 | 0.012
381.53/381.65	c total clause space: 78.2603MB
381.53/381.65	c total #watches: 776545
403.63/403.71	c total #propagations: 24844041 / total #impl: 885594002 (eff. 0.028)
403.63/403.71	c #Conflicts:      48000 | #Learnt:       9217 | 0.012
403.63/403.71	c total clause space: 78.2603MB
403.63/403.71	c total #watches: 841492
433.02/433.11	c total #propagations: 25358963 / total #impl: 919003257 (eff. 0.028)
433.02/433.11	c #Conflicts:      49000 | #Learnt:      10217 | 0.011
433.02/433.11	c total clause space: 78.2603MB
433.02/433.11	c total #watches: 891372
447.42/447.53	c total #propagations: 25845555 / total #impl: 949992054 (eff. 0.027)
447.42/447.53	c GC COLLECT
447.42/447.53	c #Conflicts:      50000 | #Learnt:       5912 | 0.011
447.42/447.53	c total clause space: 78.2603MB
447.42/447.53	c total #watches: 533482
460.32/460.47	c total #propagations: 26423935 / total #impl: 974010480 (eff. 0.027)
460.32/460.47	c #Conflicts:      51000 | #Learnt:       6911 | 0.011
460.32/460.47	c total clause space: 78.2603MB
460.32/460.47	c total #watches: 582016
471.61/471.73	c total #propagations: 27040932 / total #impl: 995836270 (eff. 0.027)
471.61/471.73	c #Conflicts:      52000 | #Learnt:       7911 | 0.011
471.61/471.73	c total clause space: 78.2603MB
471.61/471.73	c total #watches: 639187
487.42/487.60	c total #propagations: 27537447 / total #impl: 1024458463 (eff. 0.027)
487.42/487.60	c #Conflicts:      53000 | #Learnt:       8911 | 0.011
487.42/487.60	c total clause space: 78.2603MB
487.42/487.60	c total #watches: 729068
506.81/506.96	c total #propagations: 28127958 / total #impl: 1062097333 (eff. 0.026)
506.81/506.96	c #Conflicts:      54000 | #Learnt:       9911 | 0.010
506.81/506.96	c total clause space: 78.2603MB
506.81/506.96	c total #watches: 814782
533.10/533.26	c total #propagations: 28804185 / total #impl: 1093529770 (eff. 0.026)
533.10/533.26	c #Conflicts:      55000 | #Learnt:      10911 | 0.011
533.10/533.26	c total clause space: 78.2603MB
533.10/533.26	c total #watches: 866185
547.50/547.62	c total #propagations: 29315038 / total #impl: 1118221886 (eff. 0.026)
547.50/547.62	c GC COLLECT
547.50/547.62	c #Conflicts:      56000 | #Learnt:       6314 | 0.010
547.50/547.62	c total clause space: 78.2603MB
547.50/547.62	c total #watches: 586254
561.60/561.75	c total #propagations: 29670851 / total #impl: 1142209758 (eff. 0.026)
561.60/561.75	c #Conflicts:      57000 | #Learnt:       7314 | 0.010
561.60/561.75	c total clause space: 78.2603MB
561.60/561.75	c total #watches: 635387
577.30/577.42	c total #propagations: 30221376 / total #impl: 1170812687 (eff. 0.026)
577.30/577.42	c #Conflicts:      58000 | #Learnt:       8314 | 0.010
577.30/577.42	c total clause space: 78.2603MB
577.30/577.42	c total #watches: 659697
591.00/591.18	c total #propagations: 30775118 / total #impl: 1191063063 (eff. 0.026)
591.00/591.18	c #Conflicts:      59000 | #Learnt:       9314 | 0.010
591.00/591.18	c total clause space: 78.2603MB
591.00/591.18	c total #watches: 704149
603.00/603.16	c total #propagations: 31210996 / total #impl: 1214742833 (eff. 0.026)
603.00/603.16	c #Conflicts:      60000 | #Learnt:      10314 | 0.010
603.00/603.16	c total clause space: 78.2603MB
603.00/603.16	c total #watches: 754127
624.49/624.64	c total #propagations: 31577804 / total #impl: 1238632332 (eff. 0.025)
624.49/624.64	c #Conflicts:      61000 | #Learnt:      11313 | 0.010
624.49/624.64	c total clause space: 78.2603MB
624.49/624.64	c total #watches: 785705
635.49/635.61	c total #propagations: 32207698 / total #impl: 1264522807 (eff. 0.025)
635.49/635.61	c GC COLLECT
635.49/635.61	c #Conflicts:      62000 | #Learnt:       6416 | 0.010
635.49/635.61	c total clause space: 78.2603MB
635.49/635.61	c total #watches: 504794
647.99/648.16	c total #propagations: 32742697 / total #impl: 1290649594 (eff. 0.025)
647.99/648.16	c #Conflicts:      63000 | #Learnt:       7416 | 0.009
647.99/648.16	c total clause space: 78.2603MB
647.99/648.16	c total #watches: 555202
660.69/660.80	c total #propagations: 33180602 / total #impl: 1325710879 (eff. 0.025)
660.69/660.80	c #Conflicts:      64000 | #Learnt:       8416 | 0.009
660.69/660.80	c total clause space: 78.2603MB
660.69/660.80	c total #watches: 620363
675.88/676.06	c total #propagations: 33661642 / total #impl: 1367959495 (eff. 0.025)
675.88/676.06	c #Conflicts:      65000 | #Learnt:       9416 | 0.009
675.88/676.06	c total clause space: 78.2603MB
675.88/676.06	c total #watches: 664396
691.38/691.53	c total #propagations: 34167058 / total #impl: 1403508274 (eff. 0.024)
691.38/691.53	c #Conflicts:      66000 | #Learnt:      10416 | 0.009
691.38/691.53	c total clause space: 78.2603MB
691.38/691.53	c total #watches: 707620
702.98/703.20	c total #propagations: 34580466 / total #impl: 1429467499 (eff. 0.024)
702.98/703.20	c #Conflicts:      67000 | #Learnt:      11416 | 0.009
702.98/703.20	c total clause space: 78.2603MB
702.98/703.20	c total #watches: 795260
721.77/721.98	c total #propagations: 35205576 / total #impl: 1462214356 (eff. 0.024)
721.77/721.98	c #Conflicts:      68000 | #Learnt:      12416 | 0.009
721.77/721.98	c total clause space: 78.2603MB
721.77/721.98	c total #watches: 918273
740.25/740.40	c total #propagations: 35861899 / total #impl: 1507801456 (eff. 0.024)
740.25/740.40	c GC COLLECT
740.25/740.40	c #Conflicts:      69000 | #Learnt:       7207 | 0.009
740.25/740.40	c total clause space: 78.2603MB
740.25/740.40	c total #watches: 676740
758.55/758.72	c total #propagations: 36465357 / total #impl: 1552761765 (eff. 0.023)
758.55/758.72	c #Conflicts:      70000 | #Learnt:       8205 | 0.009
758.55/758.72	c total clause space: 78.2603MB
758.55/758.72	c total #watches: 725503
780.54/780.70	c total #propagations: 37086216 / total #impl: 1577347675 (eff. 0.024)
780.54/780.70	c #Conflicts:      71000 | #Learnt:       9205 | 0.009
780.54/780.70	c total clause space: 78.2603MB
780.54/780.70	c total #watches: 789265
802.05/802.20	c total #propagations: 37708647 / total #impl: 1617311000 (eff. 0.023)
802.05/802.20	c #Conflicts:      72000 | #Learnt:      10205 | 0.009
802.05/802.20	c total clause space: 78.2603MB
802.05/802.20	c total #watches: 823557
818.34/818.54	c total #propagations: 38346420 / total #impl: 1649012058 (eff. 0.023)
818.34/818.54	c #Conflicts:      73000 | #Learnt:      11205 | 0.009
818.34/818.54	c total clause space: 78.2603MB
818.34/818.54	c total #watches: 847636
841.04/841.20	c total #propagations: 38819649 / total #impl: 1665181422 (eff. 0.023)
841.04/841.20	c #Conflicts:      74000 | #Learnt:      12205 | 0.009
841.04/841.20	c total clause space: 78.2603MB
841.04/841.20	c total #watches: 926147
862.55/862.74	c total #propagations: 39381167 / total #impl: 1702461423 (eff. 0.023)
862.55/862.74	c GC COLLECT
862.55/862.74	c #Conflicts:      75000 | #Learnt:       6702 | 0.009
862.55/862.74	c total clause space: 78.2603MB
862.55/862.74	c total #watches: 569701
873.24/873.45	c total #propagations: 39852800 / total #impl: 1738878752 (eff. 0.023)
873.24/873.45	c #Conflicts:      76000 | #Learnt:       7702 | 0.009
873.24/873.45	c total clause space: 78.2603MB
873.24/873.45	c total #watches: 708068
896.83/897.07	c total #propagations: 40365509 / total #impl: 1776779116 (eff. 0.023)
896.83/897.07	c #Conflicts:      77000 | #Learnt:       8702 | 0.008
896.83/897.07	c total clause space: 78.2603MB
896.83/897.07	c total #watches: 849648
924.53/924.77	c total #propagations: 40940468 / total #impl: 1833202261 (eff. 0.022)
924.53/924.77	c #Conflicts:      78000 | #Learnt:       9702 | 0.008
924.53/924.77	c total clause space: 78.2603MB
924.53/924.77	c total #watches: 952508
951.92/952.17	c total #propagations: 41444536 / total #impl: 1892211292 (eff. 0.022)
951.92/952.17	c #Conflicts:      79000 | #Learnt:      10702 | 0.008
951.92/952.17	c total clause space: 78.2603MB
951.92/952.17	c total #watches: 1037590
971.82/972.05	c total #propagations: 41902044 / total #impl: 1940639496 (eff. 0.022)
971.82/972.05	c #Conflicts:      80000 | #Learnt:      11702 | 0.008
971.82/972.05	c total clause space: 127.173MB
971.82/972.05	c total #watches: 1181734
1008.31/1008.52	c total #propagations: 42390466 / total #impl: 1995653064 (eff. 0.021)
1008.31/1008.52	c #Conflicts:      81000 | #Learnt:      12701 | 0.008
1008.31/1008.52	c total clause space: 127.173MB
1008.31/1008.52	c total #watches: 1341748
1062.72/1062.96	c total #propagations: 42933749 / total #impl: 2072944455 (eff. 0.021)
1062.72/1062.96	c GC COLLECT
1062.72/1062.96	c #Conflicts:      82000 | #Learnt:       6913 | 0.008
1062.72/1062.96	c total clause space: 127.173MB
1062.72/1062.96	c total #watches: 998253
1097.20/1097.46	c total #propagations: 43462489 / total #impl: 2124360396 (eff. 0.020)
1097.20/1097.46	c #Conflicts:      83000 | #Learnt:       7913 | 0.008
1097.20/1097.46	c total clause space: 127.173MB
1097.20/1097.46	c total #watches: 1073556
1134.90/1135.17	c total #propagations: 43901365 / total #impl: 2178075876 (eff. 0.020)
1134.90/1135.17	c #Conflicts:      84000 | #Learnt:       8913 | 0.008
1134.90/1135.17	c total clause space: 127.173MB
1134.90/1135.17	c total #watches: 1201694
1156.79/1157.02	c total #propagations: 44460806 / total #impl: 2257581029 (eff. 0.020)
1156.79/1157.02	c S1->S2
1156.79/1157.02	c S2->S1
1156.79/1157.02	c S2->S1
1156.79/1157.02	c #Conflicts:      85000 | #Learnt:       9426 | 0.008
1156.79/1157.02	c total clause space: 335.816MB
1156.79/1157.02	c total #watches: 2089889
1193.08/1193.35	c total #propagations: 44847243 / total #impl: 2265999175 (eff. 0.020)
1193.08/1193.35	c #Conflicts:      86000 | #Learnt:      10425 | 0.008
1193.08/1193.35	c total clause space: 335.816MB
1193.08/1193.35	c total #watches: 1828685
1236.48/1236.79	c total #propagations: 45273257 / total #impl: 2270732330 (eff. 0.020)
1236.48/1236.79	c #Conflicts:      87000 | #Learnt:      11425 | 0.008
1236.48/1236.79	c total clause space: 335.816MB
1236.48/1236.79	c total #watches: 1822445
1278.57/1278.82	c total #propagations: 45728776 / total #impl: 2277458182 (eff. 0.020)
1278.57/1278.82	c #Conflicts:      88000 | #Learnt:      12424 | 0.008
1278.57/1278.82	c total clause space: 335.816MB
1278.57/1278.82	c total #watches: 1829685
1324.86/1325.18	c total #propagations: 46169550 / total #impl: 2286444182 (eff. 0.020)
1324.86/1325.18	c #Conflicts:      89000 | #Learnt:      13424 | 0.007
1324.86/1325.18	c total clause space: 335.816MB
1324.86/1325.18	c total #watches: 1849690
1366.76/1367.06	c total #propagations: 46605387 / total #impl: 2296894511 (eff. 0.020)
1366.76/1367.06	c GC COLLECT
1366.76/1367.06	c #Conflicts:      90000 | #Learnt:       7569 | 0.007
1366.76/1367.06	c total clause space: 335.816MB
1366.76/1367.06	c total #watches: 1015945
1406.25/1406.56	c total #propagations: 47051262 / total #impl: 2305672620 (eff. 0.020)
1406.25/1406.56	c #Conflicts:      91000 | #Learnt:       8569 | 0.007
1406.25/1406.56	c total clause space: 335.816MB
1406.25/1406.56	c total #watches: 1038900
1441.05/1441.31	c total #propagations: 47493812 / total #impl: 2315613019 (eff. 0.021)
1441.05/1441.31	c #Conflicts:      92000 | #Learnt:       9568 | 0.007
1441.05/1441.31	c total clause space: 335.816MB
1441.05/1441.31	c total #watches: 1060083
1481.94/1482.25	c total #propagations: 47891933 / total #impl: 2325004467 (eff. 0.021)
1481.94/1482.25	c #Conflicts:      93000 | #Learnt:      10568 | 0.007
1481.94/1482.25	c total clause space: 335.816MB
1481.94/1482.25	c total #watches: 1101372
1530.93/1531.20	c total #propagations: 48308113 / total #impl: 2342621364 (eff. 0.021)
1530.93/1531.20	c #Conflicts:      94000 | #Learnt:      11568 | 0.007
1530.93/1531.20	c total clause space: 335.816MB
1530.93/1531.20	c total #watches: 1155182
1584.92/1585.28	c total #propagations: 48823164 / total #impl: 2366472861 (eff. 0.021)
1584.92/1585.28	c #Conflicts:      95000 | #Learnt:      12568 | 0.007
1584.92/1585.28	c total clause space: 335.816MB
1584.92/1585.28	c total #watches: 1194078
1630.72/1631.03	c total #propagations: 49334422 / total #impl: 2391405899 (eff. 0.021)
1630.72/1631.03	c #Conflicts:      96000 | #Learnt:      13568 | 0.007
1630.72/1631.03	c total clause space: 335.816MB
1630.72/1631.03	c total #watches: 1326501
1673.91/1674.27	c total #propagations: 49908882 / total #impl: 2419870101 (eff. 0.021)
1673.91/1674.27	c #Conflicts:      97000 | #Learnt:      14568 | 0.007
1673.91/1674.27	c total clause space: 335.816MB
1673.91/1674.27	c total #watches: 1616763
1717.40/1717.71	c total #propagations: 50526307 / total #impl: 2523157860 (eff. 0.020)
1717.40/1717.71	c GC COLLECT
1717.40/1717.71	c #Conflicts:      98000 | #Learnt:       8311 | 0.007
1717.40/1717.71	c total clause space: 335.816MB
1717.40/1717.71	c total #watches: 1164911
1782.49/1782.82	c total #propagations: 51250801 / total #impl: 2554944389 (eff. 0.020)
1782.49/1782.82	c #Conflicts:      99000 | #Learnt:       9311 | 0.007
1782.49/1782.82	c total clause space: 335.816MB
1782.49/1782.82	c total #watches: 1297226

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4087318-1465389204/watcher-4087318-1465389204 -o /tmp/evaluation-result-4087318-1465389204/solver-4087318-1465389204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465387403-19478 --watchdog 1960 --input HOME/instance-4087318-1465389204.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=19630
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.12 2.17 2.03 4/172 19633
/proc/meminfo: memFree=29613348/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 120853956 57319424 7804 33554432000 4194304 6211289 140736052943296 140733213564552 4206544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 13994 7804 98 493 0 13491 0

[startup+0.100184 s]
/proc/loadavg: 2.12 2.17 2.03 4/172 19633
/proc/meminfo: memFree=29613348/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=64804 CPUtime=0.09 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 2158 0 0 0 9 0 0 0 20 0 1 0 120853956 66359296 13839 33554432000 4194304 6211289 140736052943296 140733213564552 5161098 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 16201 13839 144 493 0 15698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64804

[startup+0.418088 s]
/proc/loadavg: 2.12 2.17 2.03 4/172 19633
/proc/meminfo: memFree=29613348/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=77436 CPUtime=0.41 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 5342 0 0 0 40 1 0 0 20 0 1 0 120853956 79294464 17540 33554432000 4194304 6211289 140736052943296 140736052940760 4209484 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 19359 17540 204 493 0 18856 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 77436

[startup+0.500307 s]
/proc/loadavg: 2.12 2.17 2.03 4/172 19633
/proc/meminfo: memFree=29613348/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=81856 CPUtime=0.49 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 5431 0 0 0 48 1 0 0 20 0 1 0 120853956 83820544 17594 33554432000 4194304 6211289 140736052943296 140736052940760 4201956 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 20464 17594 204 493 0 19961 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 81856

[startup+0.700217 s]
/proc/loadavg: 2.12 2.17 2.03 4/172 19633
/proc/meminfo: memFree=29613348/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=81856 CPUtime=0.69 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 5717 0 0 0 68 1 0 0 20 0 1 0 120853956 83820544 17760 33554432000 4194304 6211289 140736052943296 140736052940760 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 20464 17760 214 493 0 19961 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81856

[startup+1.5003 s]
/proc/loadavg: 2.12 2.17 2.03 4/177 19645
/proc/meminfo: memFree=29318068/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=81856 CPUtime=1.49 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 6047 0 0 0 148 1 0 0 20 0 1 0 120853956 83820544 18460 33554432000 4194304 6211289 140736052943296 140736052941640 4201956 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 20464 18460 219 493 0 19961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81856

[startup+3.10024 s]
/proc/loadavg: 2.19 2.19 2.03 4/177 19645
/proc/meminfo: memFree=29194480/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=89568 CPUtime=3.09 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 7143 0 0 0 308 1 0 0 20 0 1 0 120853956 91717632 19118 33554432000 4194304 6211289 140736052943296 140736052941208 4209318 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 22392 19118 219 493 0 21889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89568

[startup+6.30021 s]
/proc/loadavg: 2.19 2.19 2.03 3/177 19645
/proc/meminfo: memFree=29057144/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=90492 CPUtime=6.29 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 7455 0 0 0 628 1 0 0 20 0 1 0 120853956 92663808 20439 33554432000 4194304 6211289 140736052943296 140736052941288 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 22623 20439 219 493 0 22120 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90492

[startup+12.7002 s]
/proc/loadavg: 2.24 2.20 2.04 3/177 19645
/proc/meminfo: memFree=28980940/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=103244 CPUtime=12.68 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 8461 0 0 0 1267 1 0 0 20 0 1 0 120853956 105721856 21135 33554432000 4194304 6211289 140736052943296 140736052941160 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 25811 21135 219 493 0 25308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 103244

[startup+25.5002 s]
/proc/loadavg: 2.20 2.19 2.04 3/177 19645
/proc/meminfo: memFree=28858628/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=104172 CPUtime=25.5 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 9538 0 0 0 2548 2 0 0 20 0 1 0 120853956 106672128 22339 33554432000 4194304 6211289 140736052943296 140736052941288 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 26043 22339 219 493 0 25540 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 104172

[startup+51.1002 s]
/proc/loadavg: 2.21 2.19 2.04 3/177 19645
/proc/meminfo: memFree=28576236/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=126164 CPUtime=51.09 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 11036 0 0 0 5106 3 0 0 20 0 1 0 120853956 129191936 25532 33554432000 4194304 6211289 140736052943296 140736052941208 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 31541 25532 219 493 0 31038 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126164

[startup+102.3 s]
/proc/loadavg: 2.21 2.19 2.05 3/177 19646
/proc/meminfo: memFree=28426308/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=127664 CPUtime=102.27 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 11537 0 0 0 10224 3 0 0 20 0 1 0 120853956 130727936 29081 33554432000 4194304 6211289 140736052943296 140736052941640 4209472 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 31916 29081 219 493 0 31413 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 127664

[startup+162.3 s]
/proc/loadavg: 2.24 2.20 2.06 3/177 19647
/proc/meminfo: memFree=28032180/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=128608 CPUtime=162.27 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 11771 0 0 0 16223 4 0 0 20 0 1 0 120853956 131694592 29826 33554432000 4194304 6211289 140736052943296 140736052941208 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 32152 29826 219 493 0 31649 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 128608

[startup+222.3 s]
/proc/loadavg: 2.31 2.22 2.07 3/177 19648
/proc/meminfo: memFree=28013508/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=129184 CPUtime=222.26 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 11906 0 0 0 22222 4 0 0 20 0 1 0 120853956 132284416 29961 33554432000 4194304 6211289 140736052943296 140736052941640 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 32296 29961 219 493 0 31793 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 129184

[startup+282.3 s]
/proc/loadavg: 2.26 2.22 2.08 3/177 19649
/proc/meminfo: memFree=27899372/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=130048 CPUtime=282.25 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 12083 0 0 0 28221 4 0 0 20 0 1 0 120853956 133169152 30138 33554432000 4194304 6211289 140736052943296 140736052941288 4209411 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 32512 30138 219 493 0 32009 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 130048

[startup+342.3 s]
/proc/loadavg: 2.39 2.26 2.10 3/177 19651
/proc/meminfo: memFree=27729024/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=162248 CPUtime=342.25 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 13423 0 0 0 34220 5 0 0 20 0 1 0 120853956 166141952 34630 33554432000 4194304 6211289 140736052943296 140736052941640 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 40562 34630 219 493 0 40059 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 162248

[startup+402.3 s]
/proc/loadavg: 2.27 2.24 2.10 3/178 19655
/proc/meminfo: memFree=27571528/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=163664 CPUtime=402.23 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 13761 0 0 0 40218 5 0 0 20 0 1 0 120853956 167591936 35990 33554432000 4194304 6211289 140736052943296 140736052941288 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 40916 35990 219 493 0 40413 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 163664

[startup+462.307 s]
/proc/loadavg: 2.22 2.23 2.10 3/177 19656
/proc/meminfo: memFree=27457732/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=164976 CPUtime=462.22 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 14038 0 0 0 46217 5 0 0 20 0 1 0 120853956 168935424 38819 33554432000 4194304 6211289 140736052943296 140736052941640 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 41244 38819 219 493 0 40741 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 164976

[startup+522.3 s]
/proc/loadavg: 2.42 2.28 2.13 3/177 19657
/proc/meminfo: memFree=27400828/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=165688 CPUtime=522.21 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 14207 0 0 0 52216 5 0 0 20 0 1 0 120853956 169664512 38988 33554432000 4194304 6211289 140736052943296 140736052941160 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 41422 38988 219 493 0 40919 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 165688

[startup+582.3 s]
/proc/loadavg: 2.27 2.26 2.12 3/177 19658
/proc/meminfo: memFree=27324568/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=165832 CPUtime=582.2 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 14234 0 0 0 58215 5 0 0 20 0 1 0 120853956 169811968 39014 33554432000 4194304 6211289 140736052943296 140736052941640 4209484 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 41458 39014 219 493 0 40955 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 165832


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


[startup+882.3 s]
/proc/loadavg: 2.32 2.34 2.19 3/177 19664
/proc/meminfo: memFree=26506236/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=167912 CPUtime=882.14 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 14741 0 0 0 88208 6 0 0 20 0 1 0 120853956 171941888 39691 33554432000 4194304 6211289 140736052943296 140736052941208 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 41978 39691 219 493 0 41475 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 167912

[startup+942.3 s]
/proc/loadavg: 2.20 2.31 2.18 3/177 19666
/proc/meminfo: memFree=26503420/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=168732 CPUtime=942.13 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 14918 0 0 0 94207 6 0 0 20 0 1 0 120853956 172781568 39868 33554432000 4194304 6211289 140736052943296 140736052941160 4209497 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 42183 39868 219 493 0 41680 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 168732

[startup+1002.3 s]
/proc/loadavg: 2.36 2.32 2.19 4/178 19670
/proc/meminfo: memFree=26431332/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=220392 CPUtime=1002.12 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 15813 0 0 0 100206 6 0 0 20 0 1 0 120853956 225681408 45167 33554432000 4194304 6211289 140736052943296 140736052941208 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 55098 45167 219 493 0 54595 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 220392

[startup+1062.3 s]
/proc/loadavg: 2.25 2.31 2.19 3/177 19671
/proc/meminfo: memFree=26321852/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=222440 CPUtime=1062.11 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 16382 0 0 0 106204 7 0 0 20 0 1 0 120853956 227778560 47627 33554432000 4194304 6211289 140736052943296 140736052941160 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 55610 47627 219 493 0 55107 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 222440

[startup+1122.31 s]
/proc/loadavg: 2.14 2.26 2.18 4/177 19672
/proc/meminfo: memFree=26299372/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=222736 CPUtime=1122.11 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 16552 0 0 0 112204 7 0 0 20 0 1 0 120853956 228081664 47785 33554432000 4194304 6211289 140736052943296 140736052941288 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 55684 47785 219 493 0 55181 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 222736

[startup+1182.3 s]
/proc/loadavg: 2.26 2.27 2.19 4/177 19673
/proc/meminfo: memFree=26059764/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1182.09 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26605 0 0 0 118195 14 0 0 20 0 1 0 120853956 601505792 105486 33554432000 4194304 6211289 140736052943296 140736052941640 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 105486 219 493 0 146349 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 587408

[startup+1242.3 s]
/proc/loadavg: 2.22 2.25 2.18 3/177 19675
/proc/meminfo: memFree=26047152/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1242.08 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26616 0 0 0 124194 14 0 0 20 0 1 0 120853956 601505792 106519 33554432000 4194304 6211289 140736052943296 140736052941640 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 106519 219 493 0 146349 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 587408

[startup+1302.3 s]
/proc/loadavg: 2.41 2.31 2.20 3/177 19676
/proc/meminfo: memFree=26034044/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1302.07 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26629 0 0 0 130193 14 0 0 20 0 1 0 120853956 601505792 108065 33554432000 4194304 6211289 140736052943296 140736052941640 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108065 219 493 0 146349 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 587408

[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.20 3/177 19677
/proc/meminfo: memFree=26027000/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1362.06 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26842 0 0 0 136192 14 0 0 20 0 1 0 120853956 601505792 108582 33554432000 4194304 6211289 140736052943296 140736052941640 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108582 219 493 0 146349 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 587408

[startup+1422.3 s]
/proc/loadavg: 2.20 2.27 2.19 3/177 19678
/proc/meminfo: memFree=26027160/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1422.05 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26842 0 0 0 142191 14 0 0 20 0 1 0 120853956 601505792 108582 33554432000 4194304 6211289 140736052943296 140736052941640 4209468 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108582 219 493 0 146349 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 587408

[startup+1482.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/177 19679
/proc/meminfo: memFree=26026700/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1482.04 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26901 0 0 0 148190 14 0 0 20 0 1 0 120853956 601505792 108634 33554432000 4194304 6211289 140736052943296 140736052941640 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108634 219 493 0 146349 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 587408

[startup+1542.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/177 19681
/proc/meminfo: memFree=26026680/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1542.03 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26908 0 0 0 154189 14 0 0 20 0 1 0 120853956 601505792 108640 33554432000 4194304 6211289 140736052943296 140736052941640 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108640 219 493 0 146349 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 587408

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/178 19685
/proc/meminfo: memFree=26024368/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=587408 CPUtime=1602.02 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 26909 0 0 0 160188 14 0 0 20 0 1 0 120853956 601505792 108641 33554432000 4194304 6211289 140736052943296 140736052941640 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 146852 108641 219 493 0 146349 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 587408

[startup+1662.3 s]
/proc/loadavg: 2.15 2.23 2.18 3/178 19709
/proc/meminfo: memFree=26022648/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=588088 CPUtime=1662.02 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 27100 0 0 0 166188 14 0 0 20 0 1 0 120853956 602202112 108832 33554432000 4194304 6211289 140736052943296 140736052941288 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 147022 108832 219 493 0 146519 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 588088

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 19710
/proc/meminfo: memFree=26023160/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=588776 CPUtime=1722 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 27251 0 0 0 172186 14 0 0 20 0 1 0 120853956 602906624 108983 33554432000 4194304 6211289 140736052943296 140736052941640 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 147194 108983 219 493 0 146691 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 588776

[startup+1782.31 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 19711
/proc/meminfo: memFree=26022072/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=588776 CPUtime=1782 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 27277 0 0 0 178186 14 0 0 20 0 1 0 120853956 602906624 109007 33554432000 4194304 6211289 140736052943296 140736052941640 4209244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 147194 109007 219 493 0 146691 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 588776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.21 2.18 4/177 19711
/proc/meminfo: memFree=26022540/32872528 swapFree=15644/1722384
[pid=19633] ppid=19630 vsize=588776 CPUtime=1800.09 cores=0,2,4,6
/proc/19633/stat : 19633 (cdcl-cuttingpla) R 19630 19633 19462 0 -1 4202496 27288 0 0 0 179995 14 0 0 20 0 1 0 120853956 602906624 109018 33554432000 4194304 6211289 140736052943296 140736052941640 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/19633/statm: 147194 109018 219 493 0 146691 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 588776

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1799.96
CPU system time (s): 0.165974
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 588776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.165974
maximum resident set size= 436072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27288
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= 32
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2532 second user time and 6.542 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-08 14:33:24
IDJOB=4087318
IDBENCH=1875
IDSOLVER=2549
FILE ID=node120/4087318-1465389204
RUNJOBID= node120-1465387403-19478
PBS_JOBID= 19853858
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087318-1465389204/watcher-4087318-1465389204 -o /tmp/evaluation-result-4087318-1465389204/solver-4087318-1465389204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465387403-19478 --watchdog 1960 --input HOME/instance-4087318-1465389204.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=730421177

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29613612 kB
Buffers:          130972 kB
Cached:           648804 kB
SwapCached:         1084 kB
Active:           158424 kB
Inactive:         628644 kB
Active(anon):       6336 kB
Inactive(anon):     3328 kB
Active(file):     152088 kB
Inactive(file):   625316 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099696 kB
Dirty:              7012 kB
Writeback:             0 kB
AnonPages:       1753476 kB
Mapped:             8316 kB
Shmem:                 0 kB
Slab:             615004 kB
SReclaimable:      59320 kB
SUnreclaim:       555684 kB
KernelStack:        1472 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1736704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node120 at 2016-06-08 15:03:24