Trace number 4101840

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
MD5SUM1c32686691bf96e75781667309b05481
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables9818
Total number of constraints291
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 constraints291
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 9818
Biggest coefficient in the objective function 7770
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 533087
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 533087
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 9818 #constraint= 291
30.79/30.89	c #Conflicts:       1000 | #Learnt:       1000 | 0.106
30.79/30.89	c total clause space: 11.2235MB
30.79/30.89	c total #watches: 296336
69.08/69.17	c total #propagations: 3634596 / total #impl: 127396638 (eff. 0.029)
69.08/69.17	c #Conflicts:       2000 | #Learnt:       2000 | 0.322
69.08/69.17	c total clause space: 18.2382MB
69.08/69.17	c total #watches: 509543
101.68/101.75	c total #propagations: 7175797 / total #impl: 194242520 (eff. 0.037)
101.68/101.75	c GC COLLECT
101.68/101.75	c #Conflicts:       3000 | #Learnt:       2005 | 0.354
101.68/101.75	c total clause space: 29.637MB
101.68/101.75	c total #watches: 614488
120.57/120.62	c total #propagations: 11686685 / total #impl: 216025797 (eff. 0.054)
120.57/120.62	c #Conflicts:       4000 | #Learnt:       3005 | 0.514
120.57/120.62	c total clause space: 48.1602MB
120.57/120.62	c total #watches: 913732
136.48/136.51	c total #propagations: 17043045 / total #impl: 249838735 (eff. 0.068)
136.48/136.51	c GC COLLECT
136.48/136.51	c #Conflicts:       5000 | #Learnt:       2404 | 0.554
136.48/136.51	c total clause space: 48.1602MB
136.48/136.51	c total #watches: 999031
161.16/161.28	c total #propagations: 21676224 / total #impl: 276317824 (eff. 0.078)
161.16/161.28	c #Conflicts:       6000 | #Learnt:       3404 | 0.468
161.16/161.28	c total clause space: 48.1602MB
161.16/161.28	c total #watches: 1157755
193.06/193.18	c total #propagations: 27155114 / total #impl: 297708392 (eff. 0.091)
193.06/193.18	c GC COLLECT
193.06/193.18	c #Conflicts:       7000 | #Learnt:       2258 | 0.402
193.06/193.18	c total clause space: 48.1602MB
193.06/193.18	c total #watches: 939600
219.36/219.41	c total #propagations: 32215494 / total #impl: 321785283 (eff. 0.100)
219.36/219.41	c #Conflicts:       8000 | #Learnt:       3258 | 0.370
219.36/219.41	c total clause space: 48.1602MB
219.36/219.41	c total #watches: 1186062
255.75/255.83	c total #propagations: 37901157 / total #impl: 332208200 (eff. 0.114)
255.75/255.83	c #Conflicts:       9000 | #Learnt:       4258 | 0.333
255.75/255.83	c total clause space: 78.2603MB
255.75/255.83	c total #watches: 1394627
288.44/288.57	c total #propagations: 42670255 / total #impl: 345173068 (eff. 0.124)
288.44/288.57	c GC COLLECT
288.44/288.57	c #Conflicts:      10000 | #Learnt:       2736 | 0.393
288.44/288.57	c total clause space: 78.2603MB
288.44/288.57	c total #watches: 1151801
323.94/324.09	c total #propagations: 47657699 / total #impl: 356097224 (eff. 0.134)
323.94/324.09	c #Conflicts:      11000 | #Learnt:       3736 | 0.885
323.94/324.09	c total clause space: 78.2603MB
323.94/324.09	c total #watches: 1417222
353.64/353.72	c total #propagations: 52700106 / total #impl: 370987811 (eff. 0.142)
353.64/353.72	c #Conflicts:      12000 | #Learnt:       4736 | 0.845
353.64/353.72	c total clause space: 78.2603MB
353.64/353.72	c total #watches: 1652734
379.13/379.29	c total #propagations: 57327235 / total #impl: 385469487 (eff. 0.149)
379.13/379.29	c #Conflicts:      13000 | #Learnt:       5736 | 0.856
379.13/379.29	c total clause space: 78.2603MB
379.13/379.29	c total #watches: 1912395
402.33/402.48	c total #propagations: 61130840 / total #impl: 397767418 (eff. 0.154)
402.33/402.48	c GC COLLECT
402.33/402.48	c #Conflicts:      14000 | #Learnt:       3898 | 0.800
402.33/402.48	c total clause space: 78.2603MB
402.33/402.48	c total #watches: 1523071
436.32/436.47	c total #propagations: 65080436 / total #impl: 409356674 (eff. 0.159)
436.32/436.47	c #Conflicts:      15000 | #Learnt:       4898 | 0.757
436.32/436.47	c total clause space: 78.2603MB
436.32/436.47	c total #watches: 1854296
461.51/461.61	c total #propagations: 70474639 / total #impl: 426403458 (eff. 0.165)
461.51/461.61	c #Conflicts:      16000 | #Learnt:       5898 | 0.753
461.51/461.61	c total clause space: 78.2603MB
461.51/461.61	c total #watches: 2071479
478.22/478.36	c total #propagations: 74924868 / total #impl: 442089771 (eff. 0.169)
478.22/478.36	c GC COLLECT
478.22/478.36	c #Conflicts:      17000 | #Learnt:       3704 | 0.766
478.22/478.36	c total clause space: 78.2603MB
478.22/478.36	c total #watches: 1592346
488.61/488.72	c total #propagations: 78928828 / total #impl: 466994759 (eff. 0.169)
488.61/488.72	c #Conflicts:      18000 | #Learnt:       4704 | 0.729
488.61/488.72	c total clause space: 78.2603MB
488.61/488.72	c total #watches: 1840754
502.01/502.12	c total #propagations: 83083263 / total #impl: 485266187 (eff. 0.171)
502.01/502.12	c #Conflicts:      19000 | #Learnt:       5704 | 0.744
502.01/502.12	c total clause space: 78.2603MB
502.01/502.12	c total #watches: 1998969
522.10/522.29	c total #propagations: 87166638 / total #impl: 505991494 (eff. 0.172)
522.10/522.29	c #Conflicts:      20000 | #Learnt:       6704 | 0.737
522.10/522.29	c total clause space: 78.2603MB
522.10/522.29	c total #watches: 2210455
533.01/533.19	c total #propagations: 91246769 / total #impl: 538898099 (eff. 0.169)
533.01/533.19	c GC COLLECT
533.01/533.19	c #Conflicts:      21000 | #Learnt:       4205 | 0.727
533.01/533.19	c total clause space: 78.2603MB
533.01/533.19	c total #watches: 1567601
557.71/557.89	c total #propagations: 93281770 / total #impl: 549414940 (eff. 0.170)
557.71/557.89	c #Conflicts:      22000 | #Learnt:       5205 | 0.697
557.71/557.89	c total clause space: 78.2603MB
557.71/557.89	c total #watches: 1772527
585.60/585.79	c total #propagations: 98095921 / total #impl: 576065727 (eff. 0.170)
585.60/585.79	c #Conflicts:      23000 | #Learnt:       6205 | 0.825
585.60/585.79	c total clause space: 78.2603MB
585.60/585.79	c total #watches: 2078415
604.30/604.42	c total #propagations: 101851195 / total #impl: 595252475 (eff. 0.171)
604.30/604.42	c #Conflicts:      24000 | #Learnt:       7205 | 0.797
604.30/604.42	c total clause space: 127.173MB
604.30/604.42	c total #watches: 2322944
633.39/633.55	c total #propagations: 105237485 / total #impl: 616010388 (eff. 0.171)
633.39/633.55	c GC COLLECT
633.39/633.55	c #Conflicts:      25000 | #Learnt:       4413 | 0.774
633.39/633.55	c total clause space: 127.173MB
633.39/633.55	c total #watches: 1579105
651.79/651.93	c total #propagations: 109323416 / total #impl: 632152821 (eff. 0.173)
651.79/651.93	c #Conflicts:      26000 | #Learnt:       5413 | 0.751
651.79/651.93	c total clause space: 127.173MB
651.79/651.93	c total #watches: 1827859
672.99/673.12	c total #propagations: 112976774 / total #impl: 641854300 (eff. 0.176)
672.99/673.12	c #Conflicts:      27000 | #Learnt:       6413 | 0.723
672.99/673.12	c total clause space: 127.173MB
672.99/673.12	c total #watches: 2052381
695.58/695.75	c total #propagations: 117433321 / total #impl: 660330790 (eff. 0.178)
695.58/695.75	c #Conflicts:      28000 | #Learnt:       7413 | 0.698
695.58/695.75	c total clause space: 127.173MB
695.58/695.75	c total #watches: 2280193
719.58/719.72	c total #propagations: 122229316 / total #impl: 691438110 (eff. 0.177)
719.58/719.72	c GC COLLECT
719.58/719.72	c #Conflicts:      29000 | #Learnt:       4304 | 0.674
719.58/719.72	c total clause space: 127.173MB
719.58/719.72	c total #watches: 1596248
731.77/731.96	c total #propagations: 127320331 / total #impl: 713858090 (eff. 0.178)
731.77/731.96	c #Conflicts:      30000 | #Learnt:       5304 | 0.651
731.77/731.96	c total clause space: 127.173MB
731.77/731.96	c total #watches: 1782802
751.18/751.37	c total #propagations: 132292205 / total #impl: 730163632 (eff. 0.181)
751.18/751.37	c #Conflicts:      31000 | #Learnt:       6304 | 0.631
751.18/751.37	c total clause space: 127.173MB
751.18/751.37	c total #watches: 2026840
769.57/769.70	c total #propagations: 137566499 / total #impl: 752315153 (eff. 0.183)
769.57/769.70	c #Conflicts:      32000 | #Learnt:       7304 | 0.613
769.57/769.70	c total clause space: 127.173MB
769.57/769.70	c total #watches: 2213909
779.27/779.45	c total #propagations: 140568590 / total #impl: 777114224 (eff. 0.181)
779.27/779.45	c #Conflicts:      33000 | #Learnt:       8304 | 0.609
779.27/779.45	c total clause space: 127.173MB
779.27/779.45	c total #watches: 2363975
787.27/787.45	c total #propagations: 146302978 / total #impl: 786970836 (eff. 0.186)
787.27/787.45	c GC COLLECT
787.27/787.45	c #Conflicts:      34000 | #Learnt:       4933 | 0.599
787.27/787.45	c total clause space: 127.173MB
787.27/787.45	c total #watches: 1665094
801.46/801.64	c total #propagations: 151097367 / total #impl: 797006633 (eff. 0.190)
801.46/801.64	c #Conflicts:      35000 | #Learnt:       5933 | 0.582
801.46/801.64	c total clause space: 127.173MB
801.46/801.64	c total #watches: 1811632
816.27/816.42	c total #propagations: 156653094 / total #impl: 810015026 (eff. 0.193)
816.27/816.42	c #Conflicts:      36000 | #Learnt:       6933 | 0.566
816.27/816.42	c total clause space: 127.173MB
816.27/816.42	c total #watches: 1946286
834.17/834.30	c total #propagations: 162482340 / total #impl: 822224188 (eff. 0.198)
834.17/834.30	c #Conflicts:      37000 | #Learnt:       7933 | 0.551
834.17/834.30	c total clause space: 127.173MB
834.17/834.30	c total #watches: 2080390
854.06/854.24	c total #propagations: 168139574 / total #impl: 838061149 (eff. 0.201)
854.06/854.24	c #Conflicts:      38000 | #Learnt:       8933 | 0.537
854.06/854.24	c total clause space: 127.173MB
854.06/854.24	c total #watches: 2214099
865.46/865.61	c total #propagations: 174065112 / total #impl: 853497247 (eff. 0.204)
865.46/865.61	c GC COLLECT
865.46/865.61	c #Conflicts:      39000 | #Learnt:       5214 | 0.524
865.46/865.61	c total clause space: 127.173MB
865.46/865.61	c total #watches: 1344070
873.86/874.08	c total #propagations: 179781537 / total #impl: 866030838 (eff. 0.208)
873.86/874.08	c #Conflicts:      40000 | #Learnt:       6214 | 0.511
873.86/874.08	c total clause space: 127.173MB
873.86/874.08	c total #watches: 1462413
889.15/889.30	c total #propagations: 183927444 / total #impl: 875312106 (eff. 0.210)
889.15/889.30	c #Conflicts:      41000 | #Learnt:       7214 | 0.498
889.15/889.30	c total clause space: 127.173MB
889.15/889.30	c total #watches: 1582982
901.86/902.04	c total #propagations: 189637510 / total #impl: 889720685 (eff. 0.213)
901.86/902.04	c #Conflicts:      42000 | #Learnt:       8214 | 0.487
901.86/902.04	c total clause space: 127.173MB
901.86/902.04	c total #watches: 1674679
917.85/918.09	c total #propagations: 195355385 / total #impl: 906416485 (eff. 0.216)
917.85/918.09	c #Conflicts:      43000 | #Learnt:       9214 | 0.476
917.85/918.09	c total clause space: 127.173MB
917.85/918.09	c total #watches: 1801899
928.55/928.70	c total #propagations: 200991119 / total #impl: 919780786 (eff. 0.219)
928.55/928.70	c GC COLLECT
928.55/928.70	c #Conflicts:      44000 | #Learnt:       5214 | 0.465
928.55/928.70	c total clause space: 127.173MB
928.55/928.70	c total #watches: 939614
939.25/939.42	c total #propagations: 206715069 / total #impl: 940694509 (eff. 0.220)
939.25/939.42	c #Conflicts:      45000 | #Learnt:       6214 | 0.455
939.25/939.42	c total clause space: 127.173MB
939.25/939.42	c total #watches: 1091991
957.65/957.86	c total #propagations: 212497717 / total #impl: 960509572 (eff. 0.221)
957.65/957.86	c #Conflicts:      46000 | #Learnt:       7214 | 0.446
957.65/957.86	c total clause space: 127.173MB
957.65/957.86	c total #watches: 1245056
989.14/989.35	c total #propagations: 218052070 / total #impl: 976836807 (eff. 0.223)
989.14/989.35	c #Conflicts:      47000 | #Learnt:       8214 | 0.437
989.14/989.35	c total clause space: 127.173MB
989.14/989.35	c total #watches: 1356897
1029.53/1029.71	c total #propagations: 223359526 / total #impl: 987628418 (eff. 0.226)
1029.53/1029.71	c #Conflicts:      48000 | #Learnt:       9214 | 0.428
1029.53/1029.71	c total clause space: 127.173MB
1029.53/1029.71	c total #watches: 1477478
1039.23/1039.45	c total #propagations: 228679797 / total #impl: 998256895 (eff. 0.229)
1039.23/1039.45	c #Conflicts:      49000 | #Learnt:      10214 | 0.422
1039.23/1039.45	c total clause space: 127.173MB
1039.23/1039.45	c total #watches: 1608842
1057.03/1057.26	c total #propagations: 232701737 / total #impl: 1007531840 (eff. 0.231)
1057.03/1057.26	c GC COLLECT
1057.03/1057.26	c #Conflicts:      50000 | #Learnt:       5910 | 0.414
1057.03/1057.26	c total clause space: 127.173MB
1057.03/1057.26	c total #watches: 1145166
1066.83/1067.08	c total #propagations: 237212353 / total #impl: 1016940128 (eff. 0.233)
1066.83/1067.08	c #Conflicts:      51000 | #Learnt:       6910 | 0.408
1066.83/1067.08	c total clause space: 127.173MB
1066.83/1067.08	c total #watches: 1289213
1081.13/1081.39	c total #propagations: 242537489 / total #impl: 1026394781 (eff. 0.236)
1081.13/1081.39	c #Conflicts:      52000 | #Learnt:       7910 | 0.410
1081.13/1081.39	c total clause space: 127.173MB
1081.13/1081.39	c total #watches: 1575410
1095.72/1095.96	c total #propagations: 247485610 / total #impl: 1042544194 (eff. 0.237)
1095.72/1095.96	c #Conflicts:      53000 | #Learnt:       8910 | 0.404
1095.72/1095.96	c total clause space: 127.173MB
1095.72/1095.96	c total #watches: 1770106
1124.22/1124.44	c total #propagations: 252332831 / total #impl: 1078102303 (eff. 0.234)
1124.22/1124.44	c #Conflicts:      54000 | #Learnt:       9910 | 0.397
1124.22/1124.44	c total clause space: 127.173MB
1124.22/1124.44	c total #watches: 1962741
1145.42/1145.63	c total #propagations: 258090302 / total #impl: 1102309566 (eff. 0.234)
1145.42/1145.63	c #Conflicts:      55000 | #Learnt:      10910 | 0.399
1145.42/1145.63	c total clause space: 127.173MB
1145.42/1145.63	c total #watches: 2190664
1168.02/1168.25	c total #propagations: 262515256 / total #impl: 1122302473 (eff. 0.234)
1168.02/1168.25	c GC COLLECT
1168.02/1168.25	c #Conflicts:      56000 | #Learnt:       6304 | 0.404
1168.02/1168.25	c total clause space: 127.173MB
1168.02/1168.25	c total #watches: 1795802
1186.81/1187.05	c total #propagations: 266629360 / total #impl: 1142336576 (eff. 0.233)
1186.81/1187.05	c #Conflicts:      57000 | #Learnt:       7304 | 0.404
1186.81/1187.05	c total clause space: 127.173MB
1186.81/1187.05	c total #watches: 2005204
1201.01/1201.24	c total #propagations: 270864637 / total #impl: 1165183631 (eff. 0.232)
1201.01/1201.24	c #Conflicts:      58000 | #Learnt:       8304 | 0.401
1201.01/1201.24	c total clause space: 127.173MB
1201.01/1201.24	c total #watches: 2136166
1211.60/1211.83	c total #propagations: 275359064 / total #impl: 1174238360 (eff. 0.235)
1211.60/1211.83	c #Conflicts:      59000 | #Learnt:       9304 | 0.394
1211.60/1211.83	c total clause space: 127.173MB
1211.60/1211.83	c total #watches: 2232466
1221.91/1222.11	c total #propagations: 280976557 / total #impl: 1189469237 (eff. 0.236)
1221.91/1222.11	c #Conflicts:      60000 | #Learnt:      10304 | 0.390
1221.91/1222.11	c total clause space: 127.173MB
1221.91/1222.11	c total #watches: 2338526
1241.80/1242.00	c total #propagations: 286554552 / total #impl: 1202214471 (eff. 0.238)
1241.80/1242.00	c #Conflicts:      61000 | #Learnt:      11304 | 0.384
1241.80/1242.00	c total clause space: 127.173MB
1241.80/1242.00	c total #watches: 2469320
1256.79/1257.07	c total #propagations: 292280997 / total #impl: 1214859354 (eff. 0.241)
1256.79/1257.07	c GC COLLECT
1256.79/1257.07	c #Conflicts:      62000 | #Learnt:       6408 | 0.381
1256.79/1257.07	c total clause space: 127.173MB
1256.79/1257.07	c total #watches: 1618033
1271.29/1271.51	c total #propagations: 297742979 / total #impl: 1227889813 (eff. 0.242)
1271.29/1271.51	c #Conflicts:      63000 | #Learnt:       7408 | 0.375
1271.29/1271.51	c total clause space: 127.173MB
1271.29/1271.51	c total #watches: 1709326
1291.08/1291.36	c total #propagations: 302850645 / total #impl: 1240884836 (eff. 0.244)
1291.08/1291.36	c #Conflicts:      64000 | #Learnt:       8408 | 0.369
1291.08/1291.36	c total clause space: 127.173MB
1291.08/1291.36	c total #watches: 1823117
1311.78/1312.09	c total #propagations: 308364611 / total #impl: 1257224984 (eff. 0.245)
1311.78/1312.09	c #Conflicts:      65000 | #Learnt:       9408 | 0.363
1311.78/1312.09	c total clause space: 127.173MB
1311.78/1312.09	c total #watches: 1981835
1334.68/1334.94	c total #propagations: 313171107 / total #impl: 1279602646 (eff. 0.245)
1334.68/1334.94	c #Conflicts:      66000 | #Learnt:      10408 | 0.361
1334.68/1334.94	c total clause space: 127.173MB
1334.68/1334.94	c total #watches: 2191288
1360.88/1361.14	c total #propagations: 317897559 / total #impl: 1294782684 (eff. 0.246)
1360.88/1361.14	c #Conflicts:      67000 | #Learnt:      11408 | 0.355
1360.88/1361.14	c total clause space: 127.173MB
1360.88/1361.14	c total #watches: 2341523
1374.57/1374.83	c total #propagations: 322993047 / total #impl: 1311449455 (eff. 0.246)
1374.57/1374.83	c #Conflicts:      68000 | #Learnt:      12408 | 0.350
1374.57/1374.83	c total clause space: 127.173MB
1374.57/1374.83	c total #watches: 2537979
1384.27/1384.56	c total #propagations: 327843158 / total #impl: 1324392189 (eff. 0.248)
1384.27/1384.56	c GC COLLECT
1384.27/1384.56	c #Conflicts:      69000 | #Learnt:       7209 | 0.346
1384.27/1384.56	c total clause space: 127.173MB
1384.27/1384.56	c total #watches: 1553234
1397.17/1397.46	c total #propagations: 332817010 / total #impl: 1335836571 (eff. 0.249)
1397.17/1397.46	c #Conflicts:      70000 | #Learnt:       8209 | 0.341
1397.17/1397.46	c total clause space: 127.173MB
1397.17/1397.46	c total #watches: 1730121
1409.37/1409.63	c total #propagations: 336460445 / total #impl: 1345592723 (eff. 0.250)
1409.37/1409.63	c #Conflicts:      71000 | #Learnt:       9209 | 0.336
1409.37/1409.63	c total clause space: 127.173MB
1409.37/1409.63	c total #watches: 1870708
1427.77/1428.05	c total #propagations: 339225468 / total #impl: 1357976110 (eff. 0.250)
1427.77/1428.05	c #Conflicts:      72000 | #Learnt:      10209 | 0.332
1427.77/1428.05	c total clause space: 127.173MB
1427.77/1428.05	c total #watches: 2045186
1444.66/1444.95	c total #propagations: 344262220 / total #impl: 1376253819 (eff. 0.250)
1444.66/1444.95	c #Conflicts:      73000 | #Learnt:      11209 | 0.352
1444.66/1444.95	c total clause space: 127.173MB
1444.66/1444.95	c total #watches: 2290037
1463.16/1463.41	c total #propagations: 348283363 / total #impl: 1397116764 (eff. 0.249)
1463.16/1463.41	c #Conflicts:      74000 | #Learnt:      12209 | 0.348
1463.16/1463.41	c total clause space: 127.173MB
1463.16/1463.41	c total #watches: 2443226
1473.56/1473.82	c total #propagations: 351995404 / total #impl: 1414533370 (eff. 0.249)
1473.56/1473.82	c GC COLLECT
1473.56/1473.82	c #Conflicts:      75000 | #Learnt:       6706 | 0.343
1473.56/1473.82	c total clause space: 127.173MB
1473.56/1473.82	c total #watches: 1791862
1495.45/1495.75	c total #propagations: 355702067 / total #impl: 1425399261 (eff. 0.250)
1495.45/1495.75	c #Conflicts:      76000 | #Learnt:       7706 | 0.355
1495.45/1495.75	c total clause space: 127.173MB
1495.45/1495.75	c total #watches: 1999838
1527.95/1528.22	c total #propagations: 360143723 / total #impl: 1448791552 (eff. 0.249)
1527.95/1528.22	c #Conflicts:      77000 | #Learnt:       8706 | 0.358
1527.95/1528.22	c total clause space: 127.173MB
1527.95/1528.22	c total #watches: 2248768
1546.36/1546.60	c total #propagations: 364935225 / total #impl: 1467215299 (eff. 0.249)
1546.36/1546.60	c #Conflicts:      78000 | #Learnt:       9706 | 0.358
1546.36/1546.60	c total clause space: 127.173MB
1546.36/1546.60	c total #watches: 2476548
1556.55/1556.85	c total #propagations: 369173429 / total #impl: 1478485006 (eff. 0.250)
1556.55/1556.85	c #Conflicts:      79000 | #Learnt:      10706 | 0.354
1556.55/1556.85	c total clause space: 127.173MB
1556.55/1556.85	c total #watches: 2604383
1566.15/1566.42	c total #propagations: 374966850 / total #impl: 1488003021 (eff. 0.252)
1566.15/1566.42	c #Conflicts:      80000 | #Learnt:      11706 | 0.350
1566.15/1566.42	c total clause space: 127.173MB
1566.15/1566.42	c total #watches: 2750833
1579.84/1580.13	c total #propagations: 380688020 / total #impl: 1497503290 (eff. 0.254)
1579.84/1580.13	c #Conflicts:      81000 | #Learnt:      12706 | 0.348
1579.84/1580.13	c total clause space: 127.173MB
1579.84/1580.13	c total #watches: 2892854
1591.45/1591.72	c total #propagations: 386429095 / total #impl: 1509788378 (eff. 0.256)
1591.45/1591.72	c GC COLLECT
1591.45/1591.72	c #Conflicts:      82000 | #Learnt:       6905 | 0.349
1591.45/1591.72	c total clause space: 127.173MB
1591.45/1591.72	c total #watches: 1899595
1604.04/1604.34	c total #propagations: 391830346 / total #impl: 1518405414 (eff. 0.258)
1604.04/1604.34	c #Conflicts:      83000 | #Learnt:       7905 | 0.345
1604.04/1604.34	c total clause space: 127.173MB
1604.04/1604.34	c total #watches: 2005472
1616.84/1617.11	c total #propagations: 397174693 / total #impl: 1529500972 (eff. 0.260)
1616.84/1617.11	c #Conflicts:      84000 | #Learnt:       8905 | 0.341
1616.84/1617.11	c total clause space: 127.173MB
1616.84/1617.11	c total #watches: 2137168
1627.74/1628.04	c total #propagations: 402246170 / total #impl: 1538873492 (eff. 0.261)
1627.74/1628.04	c #Conflicts:      85000 | #Learnt:       9905 | 0.338
1627.74/1628.04	c total clause space: 127.173MB
1627.74/1628.04	c total #watches: 2293402
1638.63/1638.99	c total #propagations: 407329030 / total #impl: 1553962815 (eff. 0.262)
1638.63/1638.99	c #Conflicts:      86000 | #Learnt:      10905 | 0.334
1638.63/1638.99	c total clause space: 127.173MB
1638.63/1638.99	c total #watches: 2435906
1650.73/1651.09	c total #propagations: 412212172 / total #impl: 1569004839 (eff. 0.263)
1650.73/1651.09	c #Conflicts:      87000 | #Learnt:      11905 | 0.331
1650.73/1651.09	c total clause space: 127.173MB
1650.73/1651.09	c total #watches: 2552437
1664.33/1664.63	c total #propagations: 416910639 / total #impl: 1592183267 (eff. 0.262)
1664.33/1664.63	c #Conflicts:      88000 | #Learnt:      12905 | 0.328
1664.33/1664.63	c total clause space: 127.173MB
1664.33/1664.63	c total #watches: 2691227
1676.83/1677.19	c total #propagations: 421727763 / total #impl: 1619892478 (eff. 0.260)
1676.83/1677.19	c #Conflicts:      89000 | #Learnt:      13905 | 0.324
1676.83/1677.19	c total clause space: 127.173MB
1676.83/1677.19	c total #watches: 2800970
1687.14/1687.47	c total #propagations: 426688410 / total #impl: 1644813059 (eff. 0.259)
1687.14/1687.47	c GC COLLECT
1687.14/1687.47	c #Conflicts:      90000 | #Learnt:       7803 | 0.322
1687.14/1687.47	c total clause space: 127.173MB
1687.14/1687.47	c total #watches: 1559768
1693.13/1693.41	c total #propagations: 431453780 / total #impl: 1669063859 (eff. 0.259)
1693.13/1693.41	c #Conflicts:      91000 | #Learnt:       8803 | 0.318
1693.13/1693.41	c total clause space: 127.173MB
1693.13/1693.41	c total #watches: 1692822
1698.73/1699.05	c total #propagations: 436090502 / total #impl: 1680712293 (eff. 0.259)
1698.73/1699.05	c #Conflicts:      92000 | #Learnt:       9803 | 0.316
1698.73/1699.05	c total clause space: 127.173MB
1698.73/1699.05	c total #watches: 1813587
1705.94/1706.21	c total #propagations: 440809295 / total #impl: 1690616041 (eff. 0.261)
1705.94/1706.21	c #Conflicts:      93000 | #Learnt:      10803 | 0.312
1705.94/1706.21	c total clause space: 127.173MB
1705.94/1706.21	c total #watches: 1917595
1713.83/1714.19	c total #propagations: 445825416 / total #impl: 1702681616 (eff. 0.262)
1713.83/1714.19	c #Conflicts:      94000 | #Learnt:      11803 | 0.309
1713.83/1714.19	c total clause space: 127.173MB
1713.83/1714.19	c total #watches: 2048004
1731.53/1731.85	c total #propagations: 450432501 / total #impl: 1721258340 (eff. 0.262)
1731.53/1731.85	c #Conflicts:      95000 | #Learnt:      12803 | 0.307
1731.53/1731.85	c total clause space: 127.173MB
1731.53/1731.85	c total #watches: 2172518
1755.62/1755.98	c total #propagations: 455678418 / total #impl: 1735063558 (eff. 0.263)
1755.62/1755.98	c #Conflicts:      96000 | #Learnt:      13803 | 0.304
1755.62/1755.98	c total clause space: 127.173MB
1755.62/1755.98	c total #watches: 2289043
1772.32/1772.68	c total #propagations: 461215276 / total #impl: 1762502415 (eff. 0.262)
1772.32/1772.68	c #Conflicts:      97000 | #Learnt:      14803 | 0.300
1772.32/1772.68	c total clause space: 127.173MB
1772.32/1772.68	c total #watches: 2432426
1793.12/1793.47	c total #propagations: 465890419 / total #impl: 1792022353 (eff. 0.260)
1793.12/1793.47	c GC COLLECT
1793.12/1793.47	c #Conflicts:      98000 | #Learnt:       8406 | 0.298
1793.12/1793.47	c total clause space: 127.173MB
1793.12/1793.47	c total #watches: 1412843

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-4101840-1466255550/watcher-4101840-1466255550 -o /tmp/evaluation-result-4101840-1466255550/solver-4101840-1466255550 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466241134-6654 --watchdog 1960 --input HOME/instance-4101840-1466255550.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=8138
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.33 2.32 2.27 4/174 8141
/proc/meminfo: memFree=30034228/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27601948 29810688 5268 33554432000 4194304 6201397 140734877501344 140734613485432 4211060 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 7278 5268 130 491 0 6777 0

[startup+0.10012 s]
/proc/loadavg: 2.33 2.32 2.27 4/174 8141
/proc/meminfo: memFree=30034228/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=34760 CPUtime=0.09 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1116 0 0 0 9 0 0 0 20 0 1 0 27601948 35594240 7448 33554432000 4194304 6201397 140734877501344 140734613485432 4216049 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8690 7448 146 491 0 8189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34760

[startup+0.200338 s]
/proc/loadavg: 2.33 2.32 2.27 4/174 8141
/proc/meminfo: memFree=30034228/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=34760 CPUtime=0.19 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1124 0 0 0 19 0 0 0 20 0 1 0 27601948 35594240 7456 33554432000 4194304 6201397 140734877501344 140734613485432 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8690 7456 146 491 0 8189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34760

[startup+0.30029 s]
/proc/loadavg: 2.33 2.32 2.27 4/174 8141
/proc/meminfo: memFree=30034228/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=34760 CPUtime=0.29 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1124 0 0 0 29 0 0 0 20 0 1 0 27601948 35594240 7456 33554432000 4194304 6201397 140734877501344 140734877500184 4240326 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8690 7456 146 491 0 8189 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34760

[startup+0.700212 s]
/proc/loadavg: 2.33 2.32 2.27 4/174 8141
/proc/meminfo: memFree=30034228/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=35024 CPUtime=0.69 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1190 0 0 0 69 0 0 0 20 0 1 0 27601948 35864576 7522 33554432000 4194304 6201397 140734877501344 140734877500184 4240328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8756 7522 146 491 0 8255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35024

[startup+1.50023 s]
/proc/loadavg: 2.39 2.33 2.28 4/175 8142
/proc/meminfo: memFree=30004520/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=35024 CPUtime=1.49 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1190 0 0 0 149 0 0 0 20 0 1 0 27601948 35864576 7522 33554432000 4194304 6201397 140734877501344 140734877500056 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8756 7522 146 491 0 8255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35024

[startup+3.10023 s]
/proc/loadavg: 2.39 2.33 2.28 4/175 8142
/proc/meminfo: memFree=30003792/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=35408 CPUtime=3.09 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1277 0 0 0 309 0 0 0 20 0 1 0 27601948 36257792 7609 33554432000 4194304 6201397 140734877501344 140734877500056 4219573 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 8852 7609 146 491 0 8351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35408

[startup+6.30023 s]
/proc/loadavg: 2.39 2.33 2.28 3/175 8142
/proc/meminfo: memFree=30003032/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=38224 CPUtime=6.29 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 1615 0 0 0 629 0 0 0 20 0 1 0 27601948 39141376 7819 33554432000 4194304 6201397 140734877501344 140734877500296 4215851 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 9556 7819 147 491 0 9055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38224

[startup+12.7002 s]
/proc/loadavg: 2.33 2.32 2.27 3/175 8142
/proc/meminfo: memFree=30001064/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=43952 CPUtime=12.69 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 3275 0 0 0 1269 0 0 0 20 0 1 0 27601948 45006848 8538 33554432000 4194304 6201397 140734877501344 140734877499800 4240387 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 10988 8538 147 491 0 10487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43952

[startup+25.5003 s]
/proc/loadavg: 2.28 2.31 2.27 3/175 8142
/proc/meminfo: memFree=29996304/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=44684 CPUtime=25.48 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 3927 0 0 0 2548 0 0 0 20 0 1 0 27601948 45756416 9332 33554432000 4194304 6201397 140734877501344 140734877500056 4216824 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 11171 9332 147 491 0 10670 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44684

[startup+51.1002 s]
/proc/loadavg: 2.33 2.32 2.27 3/175 8142
/proc/meminfo: memFree=29984176/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=53444 CPUtime=51.08 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 6706 0 0 0 5107 1 0 0 20 0 1 0 27601948 54726656 11139 33554432000 4194304 6201397 140734877501344 140734877499800 4240284 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 13361 11139 160 491 0 12860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53444

[startup+102.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/175 8144
/proc/meminfo: memFree=29954704/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=68860 CPUtime=102.28 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 12891 0 0 0 10225 3 0 0 20 0 1 0 27601948 70512640 14018 33554432000 4194304 6201397 140734877501344 140734877500472 4214911 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 17215 14018 166 491 0 16714 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 68860

[startup+162.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/175 8145
/proc/meminfo: memFree=29918020/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=96180 CPUtime=162.26 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 19342 0 0 0 16222 4 0 0 20 0 1 0 27601948 98488320 20739 33554432000 4194304 6201397 140734877501344 140734877500472 4240360 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 24045 20739 166 491 0 23544 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 96180

[startup+222.307 s]
/proc/loadavg: 2.16 2.24 2.25 4/175 8146
/proc/meminfo: memFree=29901812/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=98740 CPUtime=222.27 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 22272 0 0 0 22221 6 0 0 20 0 1 0 27601948 101109760 22947 33554432000 4194304 6201397 140734877501344 140734877500136 4215861 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 24685 22947 166 491 0 24184 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 98740

[startup+282.3 s]
/proc/loadavg: 2.32 2.27 2.26 3/175 8147
/proc/meminfo: memFree=29871080/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=130324 CPUtime=282.24 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 24428 0 0 0 28218 6 0 0 20 0 1 0 27601948 133451776 25182 33554432000 4194304 6201397 140734877501344 140734877500184 5148079 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 32581 25182 166 491 0 32080 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 130324

[startup+342.3 s]
/proc/loadavg: 2.26 2.27 2.26 4/175 8148
/proc/meminfo: memFree=29848336/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=138444 CPUtime=342.24 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 28175 0 0 0 34216 8 0 0 20 0 1 0 27601948 141766656 27267 33554432000 4194304 6201397 140734877501344 140734877500296 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 34611 27267 166 491 0 34110 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 138444

[startup+402.3 s]
/proc/loadavg: 2.19 2.25 2.25 3/175 8150
/proc/meminfo: memFree=29828600/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=141708 CPUtime=402.23 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 31322 0 0 0 40214 9 0 0 20 0 1 0 27601948 145108992 31071 33554432000 4194304 6201397 140734877501344 140734877499800 4240276 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 35427 31071 166 491 0 34926 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 141708

[startup+462.3 s]
/proc/loadavg: 2.28 2.26 2.26 3/176 8154
/proc/meminfo: memFree=29815096/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=144564 CPUtime=462.21 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 35016 0 0 0 46211 10 0 0 20 0 1 0 27601948 148033536 33328 33554432000 4194304 6201397 140734877501344 140734877500136 4218890 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 36141 33328 166 491 0 35640 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 144564

[startup+522.3 s]
/proc/loadavg: 2.17 2.22 2.25 3/175 8155
/proc/meminfo: memFree=29802112/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=149252 CPUtime=522.2 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 38132 0 0 0 52209 11 0 0 20 0 1 0 27601948 152834048 35424 33554432000 4194304 6201397 140734877501344 140734877499800 4240423 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 37313 35424 166 491 0 36812 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 149252

[startup+582.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/175 8156
/proc/meminfo: memFree=29788896/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=150496 CPUtime=582.2 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 42140 0 0 0 58206 14 0 0 20 0 1 0 27601948 154107904 36260 33554432000 4194304 6201397 140734877501344 140734877500296 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 37624 36260 166 491 0 37123 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 150496


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.24 2.24 3/175 8163
/proc/meminfo: memFree=29635116/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=216544 CPUtime=942.15 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 59952 0 0 0 94195 20 0 0 20 0 1 0 27601948 221741056 42030 33554432000 4194304 6201397 140734877501344 140734877500472 4214933 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 54136 42030 166 491 0 53635 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 216544

[startup+1002.3 s]
/proc/loadavg: 2.40 2.27 2.25 3/175 8211
/proc/meminfo: memFree=29671652/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=216728 CPUtime=1002.14 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 62395 0 0 0 100193 21 0 0 20 0 1 0 27601948 221929472 42087 33554432000 4194304 6201397 140734877501344 140734877499800 4214926 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 54182 42087 166 491 0 53681 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 216728

[startup+1062.3 s]
/proc/loadavg: 2.43 2.30 2.26 3/176 8215
/proc/meminfo: memFree=29668004/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=218100 CPUtime=1062.12 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 68529 0 0 0 106190 22 0 0 20 0 1 0 27601948 223334400 42413 33554432000 4194304 6201397 140734877501344 140734877500472 4215962 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 54525 42413 166 491 0 54024 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 218100

[startup+1122.3 s]
/proc/loadavg: 2.30 2.29 2.26 3/175 8216
/proc/meminfo: memFree=29658504/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=220652 CPUtime=1122.12 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 74106 0 0 0 112187 25 0 0 20 0 1 0 27601948 225947648 43050 33554432000 4194304 6201397 140734877501344 140734877499800 4240328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 55163 43050 166 491 0 54662 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 220652

[startup+1182.3 s]
/proc/loadavg: 2.29 2.29 2.26 3/175 8217
/proc/meminfo: memFree=29648148/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=223676 CPUtime=1182.11 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 76447 0 0 0 118185 26 0 0 20 0 1 0 27601948 229044224 43746 33554432000 4194304 6201397 140734877501344 140734877500296 4215537 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 55919 43746 166 491 0 55418 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 223676

[startup+1242.3 s]
/proc/loadavg: 2.21 2.26 2.26 4/175 8218
/proc/meminfo: memFree=29637344/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=226076 CPUtime=1242.1 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 80548 0 0 0 124182 28 0 0 20 0 1 0 27601948 231501824 45360 33554432000 4194304 6201397 140734877501344 140734877500472 4240264 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 56519 45360 166 491 0 56018 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 226076

[startup+1302.3 s]
/proc/loadavg: 2.16 2.24 2.25 3/175 8220
/proc/meminfo: memFree=29629472/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=228664 CPUtime=1302.08 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 81112 0 0 0 130180 28 0 0 20 0 1 0 27601948 234151936 46827 33554432000 4194304 6201397 140734877501344 140734877500008 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 57166 46827 166 491 0 56665 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 228664

[startup+1362.3 s]
/proc/loadavg: 2.29 2.26 2.25 3/175 8221
/proc/meminfo: memFree=29624148/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=229304 CPUtime=1362.08 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 81796 0 0 0 136179 29 0 0 20 0 1 0 27601948 234807296 47035 33554432000 4194304 6201397 140734877501344 140734877499800 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 57326 47035 166 491 0 56825 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 229304

[startup+1422.3 s]
/proc/loadavg: 2.14 2.22 2.24 3/175 8222
/proc/meminfo: memFree=29605048/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=232520 CPUtime=1422.07 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 84534 0 0 0 142176 31 0 0 20 0 1 0 27601948 238100480 49211 33554432000 4194304 6201397 140734877501344 140734877500136 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 58130 49211 166 491 0 57629 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 232520

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.24 3/175 8223
/proc/meminfo: memFree=29594904/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=234908 CPUtime=1482.06 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 87400 0 0 0 148173 33 0 0 20 0 1 0 27601948 240545792 50840 33554432000 4194304 6201397 140734877501344 140734877499800 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 58727 50840 166 491 0 58226 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 234908

[startup+1542.31 s]
/proc/loadavg: 2.33 2.27 2.25 3/175 8224
/proc/meminfo: memFree=29591800/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=236356 CPUtime=1542.06 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 88901 0 0 0 154172 34 0 0 20 0 1 0 27601948 242028544 51170 33554432000 4194304 6201397 140734877501344 140734877500184 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 59089 51170 166 491 0 58588 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 236356

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.24 3/175 8226
/proc/meminfo: memFree=29576504/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=239316 CPUtime=1602.04 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 92133 0 0 0 160169 35 0 0 20 0 1 0 27601948 245059584 54436 33554432000 4194304 6201397 140734877501344 140734877500472 4214937 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 59829 54436 166 491 0 59328 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 239316

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.23 3/176 8230
/proc/meminfo: memFree=29571628/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=241880 CPUtime=1662.03 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 92774 0 0 0 166168 35 0 0 20 0 1 0 27601948 247685120 55058 33554432000 4194304 6201397 140734877501344 140734877499800 4240423 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 60470 55058 166 491 0 59969 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 241880

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.23 3/175 8231
/proc/meminfo: memFree=29565780/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=247940 CPUtime=1722.03 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 93711 0 0 0 172167 36 0 0 20 0 1 0 27601948 253890560 55995 33554432000 4194304 6201397 140734877501344 140734877500056 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 61985 55995 166 491 0 61484 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 247940

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.23 3/175 8232
/proc/meminfo: memFree=29559580/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=249656 CPUtime=1782.02 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 94111 0 0 0 178166 36 0 0 20 0 1 0 27601948 255647744 56395 33554432000 4194304 6201397 140734877501344 140734877500472 4215962 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 62414 56395 166 491 0 61913 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 249656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.21 2.23 3/175 8232
/proc/meminfo: memFree=29559456/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=249656 CPUtime=1800.02 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 94111 0 0 0 179966 36 0 0 20 0 1 0 27601948 255647744 56395 33554432000 4194304 6201397 140734877501344 140734877500472 4240291 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 62414 56395 166 491 0 61913 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 249656

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.21 2.23 3/175 8232
/proc/meminfo: memFree=29559456/32872528 swapFree=1316768/1463936
[pid=8141] ppid=8138 vsize=249656 CPUtime=1800.02 cores=0,2,4,6
/proc/8141/stat : 8141 (cdcl-cuttingpla) R 8138 8141 6638 0 -1 4202496 94111 0 0 0 179966 36 0 0 20 0 1 0 27601948 255647744 56395 33554432000 4194304 6201397 140734877501344 140734877500472 4240291 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/8141/statm: 62414 56395 166 491 0 61913 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 249656

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.66
CPU system time (s): 0.362944
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 249656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.362944
maximum resident set size= 225580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94111
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= 16
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8848 second user time and 8.38573 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-18 15:12:30
IDJOB=4101840
IDBENCH=1800
IDSOLVER=2550
FILE ID=node121/4101840-1466255550
RUNJOBID= node121-1466241134-6654
PBS_JOBID= 19918202
Free space on /tmp= 71720 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101840-1466255550/watcher-4101840-1466255550 -o /tmp/evaluation-result-4101840-1466255550/solver-4101840-1466255550 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466241134-6654 --watchdog 1960 --input HOME/instance-4101840-1466255550.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 1c32686691bf96e75781667309b05481
RANDOM SEED=878365184

node121.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.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.38
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.691
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.691
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.691
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.691
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.54
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.691
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.691
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.691
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:        30034384 kB
Buffers:          136256 kB
Cached:           195452 kB
SwapCached:         1900 kB
Active:           374548 kB
Inactive:         255976 kB
Active(anon):     298784 kB
Inactive(anon):     2792 kB
Active(file):      75764 kB
Inactive(file):   253184 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101124 kB
Dirty:              2892 kB
Writeback:             0 kB
AnonPages:       1761888 kB
Mapped:             9328 kB
Shmem:                 0 kB
Slab:             610700 kB
SReclaimable:      54872 kB
SUnreclaim:       555828 kB
KernelStack:        1440 kB
PageTables:         7824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1940316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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= 71640 MiB
End job on node121 at 2016-06-18 15:42:31