Trace number 4100711

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.13 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
MD5SUM86f5ae05f91cc0663afe4f54ca2c84e2
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71610
Total number of constraints704
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 constraints704
Minimum length of a constraint30
Maximum length of a constraint1830
Number of terms in the objective function 71610
Biggest coefficient in the objective function 2031
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 584663
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 584663
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.08/0.11	c * #variable= 71610 #constraint= 704
0.19/0.28	c * #variable= 71610 #constraint= 704
1.38/1.48	c #Conflicts:       1000 | #Learnt:        999 | 1.549
1.38/1.48	c total clause space: 29.637MB
1.38/1.48	c total #watches: 366688
2.49/2.52	c total #propagations: 34736 / total #impl: 5161728 (eff. 0.007)
2.49/2.52	c #Conflicts:       2000 | #Learnt:       1999 | 2.329
2.49/2.52	c total clause space: 48.1602MB
2.49/2.52	c total #watches: 442949
3.40/3.46	c total #propagations: 54065 / total #impl: 5229891 (eff. 0.010)
3.40/3.46	c GC COLLECT
3.40/3.46	c #Conflicts:       3000 | #Learnt:       2003 | 2.323
3.40/3.46	c total clause space: 48.1602MB
3.59/3.60	c total #watches: 394306
6.79/6.84	c total #propagations: 67375 / total #impl: 5681809 (eff. 0.012)
6.79/6.84	c #Conflicts:       4000 | #Learnt:       3003 | 4.674
6.79/6.84	c total clause space: 78.2603MB
6.79/6.84	c total #watches: 657815
7.59/7.64	c total #propagations: 93716 / total #impl: 9718035 (eff. 0.010)
7.59/7.64	c GC COLLECT
7.59/7.64	c #Conflicts:       5000 | #Learnt:       2358 | 4.546
7.59/7.64	c total clause space: 78.2603MB
7.59/7.64	c total #watches: 568749
10.00/10.04	c total #propagations: 118358 / total #impl: 10932491 (eff. 0.011)
10.00/10.04	c #Conflicts:       6000 | #Learnt:       3358 | 3.887
10.00/10.04	c total clause space: 127.173MB
10.00/10.04	c total #watches: 787727
11.89/11.96	c total #propagations: 179469 / total #impl: 19439951 (eff. 0.009)
11.89/11.96	c GC COLLECT
11.89/11.96	c #Conflicts:       7000 | #Learnt:       2250 | 3.585
11.89/11.96	c total clause space: 127.173MB
11.89/11.96	c total #watches: 571867
13.48/13.50	c total #propagations: 195898 / total #impl: 22962805 (eff. 0.009)
13.48/13.50	c #Conflicts:       8000 | #Learnt:       3250 | 3.144
13.48/13.50	c total clause space: 127.173MB
13.48/13.50	c total #watches: 716368
17.89/17.91	c total #propagations: 199195 / total #impl: 24804778 (eff. 0.008)
17.89/17.91	c #Conflicts:       9000 | #Learnt:       4250 | 3.370
17.89/17.91	c total clause space: 127.173MB
17.89/17.91	c total #watches: 897715
25.09/25.20	c total #propagations: 223208 / total #impl: 26607337 (eff. 0.008)
25.09/25.20	c GC COLLECT
25.09/25.20	c #Conflicts:      10000 | #Learnt:       2725 | 3.979
25.09/25.20	c total clause space: 206.656MB
25.19/25.20	c total #watches: 880053
28.19/28.29	c total #propagations: 254811 / total #impl: 48826608 (eff. 0.005)
28.19/28.29	c #Conflicts:      11000 | #Learnt:       3725 | 4.136
28.19/28.29	c total clause space: 206.656MB
28.19/28.29	c total #watches: 1058211
36.79/36.83	c total #propagations: 270446 / total #impl: 54431635 (eff. 0.005)
36.79/36.83	c #Conflicts:      12000 | #Learnt:       4725 | 5.863
36.79/36.83	c total clause space: 206.656MB
36.79/36.83	c total #watches: 1208952
43.99/44.06	c total #propagations: 298106 / total #impl: 55576199 (eff. 0.005)
43.99/44.06	c #Conflicts:      13000 | #Learnt:       5725 | 6.439
43.99/44.06	c total clause space: 206.656MB
43.99/44.06	c total #watches: 1475195
54.48/54.52	c total #propagations: 339210 / total #impl: 57149630 (eff. 0.006)
54.48/54.52	c GC COLLECT
54.48/54.52	c #Conflicts:      14000 | #Learnt:       3866 | 6.782
54.48/54.52	c total clause space: 206.656MB
54.48/54.52	c total #watches: 1038824
58.88/58.92	c total #propagations: 412802 / total #impl: 61337843 (eff. 0.007)
58.88/58.92	c #Conflicts:      15000 | #Learnt:       4866 | 6.638
58.88/58.92	c total clause space: 206.656MB
58.88/58.92	c total #watches: 1252616
65.48/65.54	c total #propagations: 439565 / total #impl: 64150517 (eff. 0.007)
65.48/65.54	c #Conflicts:      16000 | #Learnt:       5866 | 6.231
65.48/65.54	c total clause space: 206.656MB
65.48/65.54	c total #watches: 1418700
69.97/70.01	c total #propagations: 478628 / total #impl: 73827432 (eff. 0.006)
69.97/70.01	c GC COLLECT
69.97/70.01	c #Conflicts:      17000 | #Learnt:       3691 | 5.887
69.97/70.01	c total clause space: 206.656MB
69.97/70.01	c total #watches: 1170836
71.68/71.72	c total #propagations: 495756 / total #impl: 80280345 (eff. 0.006)
71.68/71.72	c #Conflicts:      18000 | #Learnt:       4691 | 5.560
71.68/71.72	c total clause space: 206.656MB
71.68/71.72	c total #watches: 1495180
74.79/74.87	c total #propagations: 508387 / total #impl: 89753799 (eff. 0.006)
74.79/74.87	c #Conflicts:      19000 | #Learnt:       5691 | 5.267
74.79/74.87	c total clause space: 206.656MB
74.79/74.87	c total #watches: 1866554
85.89/85.98	c total #propagations: 524706 / total #impl: 105395367 (eff. 0.005)
85.89/85.98	c #Conflicts:      20000 | #Learnt:       6691 | 5.199
85.89/85.98	c total clause space: 206.656MB
85.89/85.98	c total #watches: 2127684
104.78/104.88	c total #propagations: 557170 / total #impl: 112450207 (eff. 0.005)
104.78/104.88	c GC COLLECT
104.78/104.88	c #Conflicts:      21000 | #Learnt:       4201 | 6.083
104.78/104.88	c total clause space: 206.656MB
104.78/104.88	c total #watches: 1679861
113.98/114.09	c total #propagations: 638684 / total #impl: 121739393 (eff. 0.005)
113.98/114.09	c #Conflicts:      22000 | #Learnt:       5201 | 6.005
113.98/114.09	c total clause space: 206.656MB
113.98/114.09	c total #watches: 1953684
121.17/121.24	c total #propagations: 691405 / total #impl: 134897009 (eff. 0.005)
121.17/121.24	c #Conflicts:      23000 | #Learnt:       6201 | 5.965
121.17/121.24	c total clause space: 206.656MB
121.17/121.24	c total #watches: 2186192
128.27/128.33	c total #propagations: 760720 / total #impl: 142778329 (eff. 0.005)
128.27/128.33	c #Conflicts:      24000 | #Learnt:       7201 | 6.068
128.27/128.33	c total clause space: 206.656MB
128.27/128.33	c total #watches: 2733903
131.67/131.75	c total #propagations: 836837 / total #impl: 195392461 (eff. 0.004)
131.67/131.75	c GC COLLECT
131.67/131.75	c #Conflicts:      25000 | #Learnt:       4402 | 5.825
131.67/131.75	c total clause space: 206.656MB
131.67/131.75	c total #watches: 1563246
134.56/134.60	c total #propagations: 845327 / total #impl: 207664015 (eff. 0.004)
134.56/134.60	c #Conflicts:      26000 | #Learnt:       5402 | 5.601
134.56/134.60	c total clause space: 206.656MB
134.56/134.60	c total #watches: 1643237
137.27/137.35	c total #propagations: 849274 / total #impl: 216698788 (eff. 0.004)
137.27/137.35	c #Conflicts:      27000 | #Learnt:       6402 | 5.394
137.27/137.35	c total clause space: 206.656MB
137.27/137.35	c total #watches: 1725092
145.97/146.00	c total #propagations: 854977 / total #impl: 226066697 (eff. 0.004)
145.97/146.00	c #Conflicts:      28000 | #Learnt:       7402 | 5.526
145.97/146.00	c total clause space: 206.656MB
145.97/146.00	c total #watches: 1928211
151.46/151.58	c total #propagations: 881158 / total #impl: 247209928 (eff. 0.004)
151.46/151.58	c GC COLLECT
151.46/151.58	c #Conflicts:      29000 | #Learnt:       4316 | 5.762
151.46/151.58	c total clause space: 335.816MB
151.46/151.58	c total #watches: 871443
152.76/152.90	c total #propagations: 939458 / total #impl: 261325217 (eff. 0.004)
152.76/152.90	c #Conflicts:      30000 | #Learnt:       5316 | 5.729
152.76/152.90	c total clause space: 335.816MB
152.76/152.90	c total #watches: 976345
157.66/157.76	c total #propagations: 956693 / total #impl: 264233938 (eff. 0.004)
157.66/157.76	c #Conflicts:      31000 | #Learnt:       6316 | 5.817
157.66/157.76	c total clause space: 335.816MB
157.66/157.76	c total #watches: 1054211
166.46/166.57	c total #propagations: 968783 / total #impl: 264842524 (eff. 0.004)
166.46/166.57	c #Conflicts:      32000 | #Learnt:       7316 | 6.210
166.46/166.57	c total clause space: 335.816MB
166.46/166.57	c total #watches: 1132748
177.66/177.73	c total #propagations: 982882 / total #impl: 265165772 (eff. 0.004)
177.66/177.73	c #Conflicts:      33000 | #Learnt:       8316 | 6.530
177.66/177.73	c total clause space: 335.816MB
177.66/177.73	c total #watches: 1202662
186.86/186.95	c total #propagations: 1007365 / total #impl: 265575437 (eff. 0.004)
186.86/186.95	c GC COLLECT
186.86/186.95	c #Conflicts:      34000 | #Learnt:       4915 | 6.817
186.86/186.95	c total clause space: 335.816MB
186.86/186.95	c total #watches: 647589
190.66/190.72	c total #propagations: 1020762 / total #impl: 265838815 (eff. 0.004)
190.66/190.72	c #Conflicts:      35000 | #Learnt:       5915 | 6.755
190.66/190.72	c total clause space: 335.816MB
190.66/190.72	c total #watches: 762269
195.46/195.56	c total #propagations: 1028928 / total #impl: 265993688 (eff. 0.004)
195.46/195.56	c #Conflicts:      36000 | #Learnt:       6915 | 6.729
195.46/195.56	c total clause space: 335.816MB
195.46/195.57	c total #watches: 902191
200.36/200.47	c total #propagations: 1037567 / total #impl: 266238513 (eff. 0.004)
200.36/200.47	c #Conflicts:      37000 | #Learnt:       7915 | 6.669
200.36/200.47	c total clause space: 335.816MB
200.36/200.47	c total #watches: 1024774
206.36/206.40	c total #propagations: 1044671 / total #impl: 266423515 (eff. 0.004)
206.36/206.40	c #Conflicts:      38000 | #Learnt:       8915 | 6.660
206.36/206.40	c total clause space: 335.816MB
206.36/206.40	c total #watches: 1173543
214.55/214.64	c total #propagations: 1052417 / total #impl: 266662895 (eff. 0.004)
214.55/214.64	c GC COLLECT
214.55/214.64	c #Conflicts:      39000 | #Learnt:       5210 | 6.598
214.55/214.64	c total clause space: 335.816MB
214.55/214.64	c total #watches: 813478
222.45/222.50	c total #propagations: 1057554 / total #impl: 266797818 (eff. 0.004)
222.45/222.50	c #Conflicts:      40000 | #Learnt:       6210 | 6.566
222.45/222.50	c total clause space: 335.816MB
222.45/222.50	c total #watches: 859391
232.95/233.08	c total #propagations: 1061928 / total #impl: 266871745 (eff. 0.004)
232.95/233.08	c #Conflicts:      41000 | #Learnt:       7210 | 6.610
232.95/233.08	c total clause space: 335.816MB
232.95/233.08	c total #watches: 911225
246.24/246.34	c total #propagations: 1066159 / total #impl: 266947668 (eff. 0.004)
246.24/246.34	c #Conflicts:      42000 | #Learnt:       8210 | 6.683
246.24/246.34	c total clause space: 335.816MB
246.24/246.34	c total #watches: 954570
259.94/260.04	c total #propagations: 1070678 / total #impl: 267028519 (eff. 0.004)
259.94/260.04	c #Conflicts:      43000 | #Learnt:       9210 | 6.721
259.94/260.04	c total clause space: 335.816MB
259.94/260.04	c total #watches: 984967
271.44/271.58	c total #propagations: 1075699 / total #impl: 267130017 (eff. 0.004)
271.44/271.58	c S1->S2
271.44/271.58	c S1->S2
271.44/271.58	c S1->S2
271.44/271.58	c S1->S2
271.44/271.58	c GC COLLECT
271.44/271.58	c #Conflicts:      44000 | #Learnt:       5212 | 6.577
271.44/271.58	c total clause space: 335.816MB
271.44/271.58	c total #watches: 1080325
278.63/278.71	c total #propagations: 1492011 / total #impl: 291777835 (eff. 0.005)
278.63/278.71	c #Conflicts:      45000 | #Learnt:       6212 | 6.452
278.63/278.71	c total clause space: 335.816MB
278.63/278.71	c total #watches: 1412670
297.04/297.19	c total #propagations: 1691644 / total #impl: 311692423 (eff. 0.005)
297.04/297.19	c #Conflicts:      46000 | #Learnt:       7212 | 6.354
297.04/297.19	c total clause space: 335.816MB
297.04/297.19	c total #watches: 2189062
324.12/324.27	c total #propagations: 2355943 / total #impl: 331570526 (eff. 0.007)
324.12/324.27	c #Conflicts:      47000 | #Learnt:       8212 | 6.237
324.12/324.27	c total clause space: 335.816MB
324.12/324.27	c total #watches: 2718682
353.02/353.11	c total #propagations: 2691593 / total #impl: 349345583 (eff. 0.008)
353.02/353.11	c #Conflicts:      48000 | #Learnt:       9212 | 6.110
353.02/353.11	c total clause space: 335.816MB
353.02/353.11	c total #watches: 3347856
437.59/437.78	c total #propagations: 3371390 / total #impl: 389471021 (eff. 0.009)
437.59/437.78	c #Conflicts:      49000 | #Learnt:      10212 | 6.017
437.59/437.78	c total clause space: 545.701MB
437.59/437.78	c total #watches: 4041488
446.89/447.05	c total #propagations: 4047877 / total #impl: 421328471 (eff. 0.010)
446.89/447.05	c GC COLLECT
446.89/447.05	c #Conflicts:      50000 | #Learnt:       5902 | 6.141
446.89/447.05	c total clause space: 545.701MB
446.89/447.05	c total #watches: 1211122
462.09/462.28	c total #propagations: 4060103 / total #impl: 422128505 (eff. 0.010)
462.09/462.28	c #Conflicts:      51000 | #Learnt:       6902 | 6.038
462.09/462.28	c total clause space: 545.701MB
462.09/462.28	c total #watches: 2251583
485.98/486.19	c total #propagations: 6015342 / total #impl: 444275867 (eff. 0.014)
485.98/486.19	c #Conflicts:      52000 | #Learnt:       7902 | 5.922
485.98/486.19	c total clause space: 545.701MB
485.98/486.19	c total #watches: 2956015
525.48/525.62	c total #propagations: 6951948 / total #impl: 503076989 (eff. 0.014)
525.48/525.62	c #Conflicts:      53000 | #Learnt:       8902 | 5.811
525.48/525.62	c total clause space: 545.701MB
525.48/525.62	c total #watches: 3547059
576.87/577.02	c total #propagations: 7908152 / total #impl: 550666524 (eff. 0.014)
576.87/577.02	c #Conflicts:      54000 | #Learnt:       9902 | 5.715
576.87/577.02	c total clause space: 545.701MB
576.87/577.02	c total #watches: 4323898
674.05/674.29	c total #propagations: 8842568 / total #impl: 569189986 (eff. 0.016)
674.05/674.29	c #Conflicts:      55000 | #Learnt:      10902 | 5.744
674.05/674.29	c total clause space: 545.701MB
674.05/674.29	c total #watches: 5128943
697.16/697.38	c total #propagations: 9551368 / total #impl: 604586536 (eff. 0.016)
697.16/697.38	c GC COLLECT
697.16/697.38	c #Conflicts:      56000 | #Learnt:       6309 | 5.642
697.16/697.38	c total clause space: 545.701MB
697.16/697.38	c total #watches: 1976928
748.96/749.17	c total #propagations: 10431534 / total #impl: 646657095 (eff. 0.016)
748.96/749.17	c #Conflicts:      57000 | #Learnt:       7309 | 5.557
748.96/749.17	c total clause space: 545.701MB
748.96/749.17	c total #watches: 2733717
809.34/809.55	c total #propagations: 11240731 / total #impl: 672956758 (eff. 0.017)
809.34/809.55	c #Conflicts:      58000 | #Learnt:       8309 | 5.483
809.34/809.55	c total clause space: 545.701MB
809.34/809.55	c total #watches: 3635620
832.54/832.72	c total #propagations: 12137024 / total #impl: 700106790 (eff. 0.017)
832.54/832.72	c #Conflicts:      59000 | #Learnt:       9309 | 5.390
832.54/832.72	c total clause space: 545.701MB
832.54/832.72	c total #watches: 4393475
865.73/865.91	c total #propagations: 13368455 / total #impl: 722721205 (eff. 0.018)
865.73/865.91	c #Conflicts:      60000 | #Learnt:      10309 | 5.302
865.73/865.91	c total clause space: 545.701MB
865.73/865.91	c total #watches: 5628223
901.22/901.43	c total #propagations: 14300621 / total #impl: 784710954 (eff. 0.018)
901.22/901.43	c #Conflicts:      61000 | #Learnt:      11309 | 5.215
901.22/901.43	c total clause space: 545.701MB
901.22/901.43	c total #watches: 6828224
904.72/904.96	c total #propagations: 15799051 / total #impl: 828522278 (eff. 0.019)
904.72/904.96	c GC COLLECT
904.72/904.96	c #Conflicts:      62000 | #Learnt:       6412 | 5.131
904.72/904.96	c total clause space: 545.701MB
904.72/904.96	c total #watches: 1872896
909.02/909.23	c total #propagations: 15810597 / total #impl: 837598232 (eff. 0.019)
909.02/909.23	c #Conflicts:      63000 | #Learnt:       7412 | 5.049
909.02/909.23	c total clause space: 545.701MB
909.02/909.23	c total #watches: 2409310
912.23/912.41	c total #propagations: 15821153 / total #impl: 860467894 (eff. 0.018)
912.23/912.41	c #Conflicts:      64000 | #Learnt:       8412 | 4.970
912.23/912.41	c total clause space: 545.701MB
912.23/912.41	c total #watches: 2669828
937.82/938.08	c total #propagations: 15835416 / total #impl: 883939349 (eff. 0.018)
937.82/938.08	c #Conflicts:      65000 | #Learnt:       9412 | 5.016
937.82/938.08	c total clause space: 545.701MB
937.82/938.09	c total #watches: 3343774
951.02/951.23	c total #propagations: 16056981 / total #impl: 923419571 (eff. 0.017)
951.02/951.23	c #Conflicts:      66000 | #Learnt:      10412 | 4.983
951.02/951.23	c total clause space: 545.701MB
951.02/951.23	c total #watches: 3721520
967.51/967.75	c total #propagations: 16084275 / total #impl: 936073070 (eff. 0.017)
967.51/967.75	c #Conflicts:      67000 | #Learnt:      11412 | 5.220
967.51/967.75	c total clause space: 545.701MB
967.51/967.75	c total #watches: 3908072
985.31/985.50	c total #propagations: 16123288 / total #impl: 950230100 (eff. 0.017)
985.31/985.50	c #Conflicts:      68000 | #Learnt:      12412 | 5.200
985.31/985.50	c total clause space: 545.701MB
985.31/985.50	c total #watches: 4069137
996.51/996.79	c total #propagations: 16230446 / total #impl: 981072455 (eff. 0.017)
996.51/996.79	c GC COLLECT
996.51/996.79	c #Conflicts:      69000 | #Learnt:       7205 | 5.251
996.51/996.79	c total clause space: 545.701MB
996.51/996.79	c total #watches: 2128745
1003.11/1003.38	c total #propagations: 16371254 / total #impl: 1021262242 (eff. 0.016)
1003.11/1003.38	c #Conflicts:      70000 | #Learnt:       8205 | 5.215
1003.11/1003.38	c total clause space: 545.701MB
1003.11/1003.38	c total #watches: 2518354
1006.31/1006.57	c total #propagations: 16414708 / total #impl: 1039813173 (eff. 0.016)
1006.31/1006.57	c #Conflicts:      71000 | #Learnt:       9205 | 5.141
1006.31/1006.57	c total clause space: 545.701MB
1006.31/1006.57	c total #watches: 2757832
1012.70/1012.91	c total #propagations: 16430739 / total #impl: 1047722887 (eff. 0.016)
1012.70/1012.91	c #Conflicts:      72000 | #Learnt:      10205 | 5.070
1012.70/1012.91	c total clause space: 545.701MB
1012.70/1012.91	c total #watches: 3070792
1024.40/1024.69	c total #propagations: 16466506 / total #impl: 1074748418 (eff. 0.015)
1024.40/1024.69	c #Conflicts:      73000 | #Learnt:      11205 | 5.041
1024.40/1024.69	c total clause space: 545.701MB
1024.40/1024.69	c total #watches: 3363571
1027.41/1027.65	c total #propagations: 16509971 / total #impl: 1102928705 (eff. 0.015)
1027.41/1027.65	c #Conflicts:      74000 | #Learnt:      12205 | 5.143
1027.41/1027.65	c total clause space: 545.701MB
1027.41/1027.65	c total #watches: 3469519
1042.51/1042.80	c total #propagations: 16551783 / total #impl: 1103648932 (eff. 0.015)
1042.51/1042.80	c GC COLLECT
1042.51/1042.80	c #Conflicts:      75000 | #Learnt:       6712 | 5.109
1042.51/1042.80	c total clause space: 545.701MB
1042.51/1042.80	c total #watches: 2015309
1071.60/1071.86	c total #propagations: 17373874 / total #impl: 1129281358 (eff. 0.015)
1071.60/1071.86	c #Conflicts:      76000 | #Learnt:       7712 | 5.043
1071.60/1071.86	c total clause space: 545.701MB
1071.60/1071.86	c total #watches: 2849645
1109.20/1109.42	c total #propagations: 18178370 / total #impl: 1175352952 (eff. 0.015)
1109.20/1109.42	c #Conflicts:      77000 | #Learnt:       8712 | 4.982
1109.20/1109.42	c total clause space: 545.701MB
1109.20/1109.42	c total #watches: 3558036
1172.68/1172.96	c total #propagations: 19034807 / total #impl: 1217518089 (eff. 0.016)
1172.68/1172.96	c #Conflicts:      78000 | #Learnt:       9712 | 4.921
1172.68/1172.96	c total clause space: 545.701MB
1172.68/1172.96	c total #watches: 4427717
1207.88/1208.10	c total #propagations: 19845346 / total #impl: 1322355216 (eff. 0.015)
1207.88/1208.10	c #Conflicts:      79000 | #Learnt:      10712 | 4.859
1207.88/1208.10	c total clause space: 545.701MB
1207.88/1208.10	c total #watches: 5319081
1224.67/1224.91	c total #propagations: 20451427 / total #impl: 1420049210 (eff. 0.014)
1224.67/1224.91	c #Conflicts:      80000 | #Learnt:      11712 | 4.799
1224.67/1224.91	c total clause space: 545.701MB
1224.67/1224.91	c total #watches: 6032188
1280.36/1280.61	c total #propagations: 20867252 / total #impl: 1518179838 (eff. 0.014)
1280.36/1280.61	c #Conflicts:      81000 | #Learnt:      12712 | 4.742
1280.36/1280.61	c total clause space: 545.701MB
1280.36/1280.61	c total #watches: 6898482
1323.45/1323.77	c total #propagations: 21525568 / total #impl: 1639571417 (eff. 0.013)
1323.45/1323.77	c GC COLLECT
1323.45/1323.77	c #Conflicts:      82000 | #Learnt:       6924 | 4.691
1323.45/1323.77	c total clause space: 886.764MB
1323.45/1323.77	c total #watches: 2283185
1336.95/1337.23	c total #propagations: 22300050 / total #impl: 1744495009 (eff. 0.013)
1336.95/1337.23	c #Conflicts:      83000 | #Learnt:       7924 | 4.637
1336.95/1337.23	c total clause space: 886.764MB
1336.95/1337.23	c total #watches: 3088286
1362.75/1363.03	c total #propagations: 22929953 / total #impl: 1816680058 (eff. 0.013)
1362.75/1363.03	c #Conflicts:      84000 | #Learnt:       8924 | 4.585
1362.75/1363.03	c total clause space: 886.764MB
1362.75/1363.03	c total #watches: 4068844
1392.24/1392.56	c total #propagations: 23472312 / total #impl: 1906169922 (eff. 0.012)
1392.24/1392.56	c #Conflicts:      85000 | #Learnt:       9924 | 4.531
1392.24/1392.56	c total clause space: 886.764MB
1392.24/1392.56	c total #watches: 4842166
1430.15/1430.49	c total #propagations: 24137316 / total #impl: 2040689930 (eff. 0.012)
1430.15/1430.49	c #Conflicts:      86000 | #Learnt:      10924 | 4.478
1430.15/1430.49	c total clause space: 886.764MB
1430.15/1430.49	c total #watches: 5945019
1479.74/1480.08	c total #propagations: 24702517 / total #impl: 2229001981 (eff. 0.011)
1479.74/1480.08	c #Conflicts:      87000 | #Learnt:      11924 | 4.427
1479.74/1480.08	c total clause space: 886.764MB
1479.74/1480.08	c total #watches: 7037539
1544.03/1544.30	c total #propagations: 25300889 / total #impl: 2483571177 (eff. 0.010)
1544.03/1544.30	c #Conflicts:      88000 | #Learnt:      12924 | 4.377
1544.03/1544.30	c total clause space: 886.764MB
1544.03/1544.30	c total #watches: 8064254
1622.62/1622.90	c total #propagations: 25920776 / total #impl: 2799369354 (eff. 0.009)
1622.62/1622.90	c #Conflicts:      89000 | #Learnt:      13924 | 4.327
1622.62/1622.90	c total clause space: 886.764MB
1622.62/1622.90	c total #watches: 9016117
1664.90/1665.24	c total #propagations: 26586129 / total #impl: 3211667574 (eff. 0.008)
1664.90/1665.24	c GC COLLECT
1664.90/1665.24	c #Conflicts:      90000 | #Learnt:       7822 | 4.279
1664.90/1665.24	c total clause space: 886.764MB
1664.90/1665.24	c total #watches: 3115190
1686.90/1687.25	c total #propagations: 27389490 / total #impl: 3399256107 (eff. 0.008)
1686.90/1687.25	c #Conflicts:      91000 | #Learnt:       8822 | 4.232
1686.90/1687.25	c total clause space: 886.764MB
1686.90/1687.25	c total #watches: 4100579
1720.29/1720.62	c total #propagations: 28056820 / total #impl: 3521475341 (eff. 0.008)
1720.29/1720.62	c #Conflicts:      92000 | #Learnt:       9822 | 4.186
1720.29/1720.62	c total clause space: 886.764MB
1720.29/1720.62	c total #watches: 5160658
1759.09/1759.49	c total #propagations: 28669172 / total #impl: 3722121994 (eff. 0.008)
1759.09/1759.49	c #Conflicts:      93000 | #Learnt:      10822 | 4.141
1759.09/1759.49	c total clause space: 886.764MB
1759.09/1759.49	c total #watches: 6472761
1797.28/1797.69	c total #propagations: 29191845 / total #impl: 3988875155 (eff. 0.007)
1797.28/1797.69	c #Conflicts:      94000 | #Learnt:      11822 | 4.097
1797.28/1797.69	c total clause space: 886.764MB
1797.28/1797.69	c total #watches: 7652095

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-4100711-1466245018/watcher-4100711-1466245018 -o /tmp/evaluation-result-4100711-1466245018/solver-4100711-1466245018 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14233 --watchdog 1960 --input HOME/instance-4100711-1466245018.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 14651
/proc/meminfo: memFree=31508492/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 26548400 57319424 7804 33554432000 4194304 6211289 140736890712608 140735628130712 4206551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 13994 7804 98 493 0 13491 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 14651
/proc/meminfo: memFree=31508492/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=61964 CPUtime=0.08 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 1691 0 0 0 8 0 0 0 20 0 1 0 26548400 63451136 12256 33554432000 4194304 6211289 140736890712608 140735628130712 5418912 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 15491 12256 121 493 0 14988 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 61964

[startup+0.200342 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 14651
/proc/meminfo: memFree=31508492/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=72320 CPUtime=0.19 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 3435 0 0 0 18 1 0 0 20 0 1 0 26548400 74055680 15682 33554432000 4194304 6211289 140736890712608 140735628130712 4366971 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 18080 15682 144 493 0 17577 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72320

[startup+0.300354 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 14651
/proc/meminfo: memFree=31508492/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=87756 CPUtime=0.29 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 5010 0 0 0 28 1 0 0 20 0 1 0 26548400 89862144 17556 33554432000 4194304 6211289 140736890712608 140735628130712 4366957 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 21939 17556 144 493 0 21436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87756

[startup+0.700232 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 14651
/proc/meminfo: memFree=31508492/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=105800 CPUtime=0.68 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 6818 0 0 0 67 1 0 0 20 0 1 0 26548400 108339200 21267 33554432000 4194304 6211289 140736890712608 140736890710840 4246368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 26450 21267 150 493 0 25947 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105800

[startup+1.50027 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31370844/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=117476 CPUtime=1.48 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 7474 0 0 0 147 1 0 0 20 0 1 0 26548400 120295424 23763 33554432000 4194304 6211289 140736890712608 140736890710840 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 29369 23763 160 493 0 28866 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 117476

[startup+3.10024 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31353968/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=138324 CPUtime=3.09 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 9659 0 0 0 307 2 0 0 20 0 1 0 26548400 141643776 27476 33554432000 4194304 6211289 140736890712608 140736890710952 4205577 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 34581 27476 165 493 0 34078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138324

[startup+6.30025 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31313876/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=175412 CPUtime=6.29 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 11319 0 0 0 626 3 0 0 20 0 1 0 26548400 179621888 36793 33554432000 4194304 6211289 140736890712608 140736890710600 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 43853 36793 165 493 0 43350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175412

[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31222644/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=236652 CPUtime=12.69 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 15067 0 0 0 1265 4 0 0 20 0 1 0 26548400 242331648 49270 33554432000 4194304 6211289 140736890712608 140736890710520 4243365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 59163 49270 165 493 0 58660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 236652

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 14652
/proc/meminfo: memFree=31145040/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=328712 CPUtime=25.49 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 18721 0 0 0 2543 6 0 0 20 0 1 0 26548400 336601088 58564 33554432000 4194304 6211289 140736890712608 140736890710520 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 82178 58564 165 493 0 81675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 328712

[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14652
/proc/meminfo: memFree=31102416/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=337572 CPUtime=51.08 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 21150 0 0 0 5102 6 0 0 20 0 1 0 26548400 345673728 64037 33554432000 4194304 6211289 140736890712608 140736890710520 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 84393 64037 165 493 0 83890 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 337572

[startup+102.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 14653
/proc/meminfo: memFree=31020636/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=370436 CPUtime=102.28 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 28772 0 0 0 10219 9 0 0 20 0 1 0 26548400 379326464 79324 33554432000 4194304 6211289 140736890712608 140736890710520 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 92609 79324 165 493 0 92106 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 370436

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 14654
/proc/meminfo: memFree=30937684/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=537284 CPUtime=162.26 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 37736 0 0 0 16216 10 0 0 20 0 1 0 26548400 550178816 97647 33554432000 4194304 6211289 140736890712608 140736890710520 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 134321 97647 165 493 0 133818 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 537284

[startup+222.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 14658
/proc/meminfo: memFree=30893612/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=555484 CPUtime=222.25 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 41465 0 0 0 22214 11 0 0 20 0 1 0 26548400 568815616 101444 33554432000 4194304 6211289 140736890712608 140736890710952 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 138871 101444 165 493 0 138368 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 555484

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14660
/proc/meminfo: memFree=30088228/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1493748 CPUtime=282.23 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 54891 0 0 0 28199 24 0 0 20 0 1 0 26548400 1529597952 301885 33554432000 4194304 6211289 140736890712608 140736890710472 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 373437 301885 219 493 0 372934 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1493748

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14662
/proc/meminfo: memFree=30000200/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1510856 CPUtime=342.22 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 59189 0 0 0 34195 27 0 0 20 0 1 0 26548400 1547116544 319018 33554432000 4194304 6211289 140736890712608 140736890710600 4240647 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 377714 319018 219 493 0 377211 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1510856

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14663
/proc/meminfo: memFree=29920400/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1524152 CPUtime=402.2 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 62292 0 0 0 40192 28 0 0 20 0 1 0 26548400 1560731648 336932 33554432000 4194304 6211289 140736890712608 140736890710600 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 381038 336932 219 493 0 380535 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1524152

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14664
/proc/meminfo: memFree=29854804/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1742844 CPUtime=462.19 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 63393 0 0 0 46188 31 0 0 20 0 1 0 26548400 1784672256 349149 33554432000 4194304 6211289 140736890712608 140736890710600 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 435711 349149 219 493 0 435208 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1742844

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14665
/proc/meminfo: memFree=29829000/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1764756 CPUtime=522.18 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 68430 0 0 0 52186 32 0 0 20 0 1 0 26548400 1807110144 354458 33554432000 4194304 6211289 140736890712608 140736890710600 4241789 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 441189 354458 219 493 0 440686 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1764756

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14666
/proc/meminfo: memFree=29801440/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1766648 CPUtime=582.17 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 69101 0 0 0 58185 32 0 0 20 0 1 0 26548400 1809047552 360469 33554432000 4194304 6211289 140736890712608 140736890710952 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 441662 360469 219 493 0 441159 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1766648


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


[startup+882.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14675
/proc/meminfo: memFree=29510524/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1803220 CPUtime=882.13 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 77534 0 0 0 88178 35 0 0 20 0 1 0 26548400 1846497280 389898 33554432000 4194304 6211289 140736890712608 140736890710600 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 450805 389898 219 493 0 450302 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 1803220

[startup+942.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 14677
/proc/meminfo: memFree=29465416/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1825996 CPUtime=942.12 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 82832 0 0 0 94176 36 0 0 20 0 1 0 26548400 1869819904 400815 33554432000 4194304 6211289 140736890712608 140736890710600 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 456499 400815 219 493 0 455996 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1825996

[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 14678
/proc/meminfo: memFree=29456612/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1833984 CPUtime=1002.11 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 84764 0 0 0 100175 36 0 0 20 0 1 0 26548400 1877999616 402747 33554432000 4194304 6211289 140736890712608 140736890710952 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 458496 402747 219 493 0 457993 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1833984

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14679
/proc/meminfo: memFree=29436284/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1854436 CPUtime=1062.1 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 89622 0 0 0 106173 37 0 0 20 0 1 0 26548400 1898942464 407605 33554432000 4194304 6211289 140736890712608 140736890710472 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 463609 407605 219 493 0 463106 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1854436

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14680
/proc/meminfo: memFree=29424752/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1863576 CPUtime=1122.09 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 91770 0 0 0 112171 38 0 0 20 0 1 0 26548400 1908301824 409753 33554432000 4194304 6211289 140736890712608 140736890710600 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 465894 409753 219 493 0 465391 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1863576

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14681
/proc/meminfo: memFree=29417436/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1869008 CPUtime=1182.08 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 93096 0 0 0 118170 38 0 0 20 0 1 0 26548400 1913864192 411075 33554432000 4194304 6211289 140736890712608 140736890710600 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 467252 411075 219 493 0 466749 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1869008

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14683
/proc/meminfo: memFree=29396356/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=1884076 CPUtime=1242.07 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 96415 0 0 0 124168 39 0 0 20 0 1 0 26548400 1929293824 414394 33554432000 4194304 6211289 140736890712608 140736890710472 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 471019 414394 219 493 0 470516 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1884076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14684
/proc/meminfo: memFree=29321732/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2236588 CPUtime=1302.06 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 97632 0 0 0 130164 42 0 0 20 0 1 0 26548400 2290266112 430384 33554432000 4194304 6211289 140736890712608 140736890710840 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 559147 430384 219 493 0 558644 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2236588

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14685
/proc/meminfo: memFree=29286316/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2238384 CPUtime=1362.05 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 98244 0 0 0 136163 42 0 0 20 0 1 0 26548400 2292105216 438661 33554432000 4194304 6211289 140736890712608 140736890710952 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 559596 438661 219 493 0 559093 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2238384

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 14689
/proc/meminfo: memFree=29286692/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2238384 CPUtime=1422.05 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 98289 0 0 0 142163 42 0 0 20 0 1 0 26548400 2292105216 438698 33554432000 4194304 6211289 140736890712608 140736890710952 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 559596 438698 219 493 0 559093 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2238384

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14691
/proc/meminfo: memFree=29282476/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2243124 CPUtime=1482.04 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 99394 0 0 0 148161 43 0 0 20 0 1 0 26548400 2296958976 439803 33554432000 4194304 6211289 140736890712608 140736890710520 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 560781 439803 219 493 0 560278 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2243124

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 14693
/proc/meminfo: memFree=29276288/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2250136 CPUtime=1542.03 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 101005 0 0 0 154160 43 0 0 20 0 1 0 26548400 2304139264 441381 33554432000 4194304 6211289 140736890712608 140736890710520 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 562534 441381 219 493 0 562031 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2250136

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14694
/proc/meminfo: memFree=29223220/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2257176 CPUtime=1602.02 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 102270 0 0 0 160158 44 0 0 20 0 1 0 26548400 2311348224 454399 33554432000 4194304 6211289 140736890712608 140736890710600 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 564294 454399 219 493 0 563791 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2257176

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14695
/proc/meminfo: memFree=29177756/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2264892 CPUtime=1662.01 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 103962 0 0 0 166157 44 0 0 20 0 1 0 26548400 2319249408 465597 33554432000 4194304 6211289 140736890712608 140736890710600 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 566223 465597 219 493 0 565720 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2264892

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14696
/proc/meminfo: memFree=29169596/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2264892 CPUtime=1721.99 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 103996 0 0 0 172155 44 0 0 20 0 1 0 26548400 2319249408 467460 33554432000 4194304 6211289 140736890712608 140736890710952 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 566223 467460 219 493 0 565720 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2264892

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14697
/proc/meminfo: memFree=29156640/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2270908 CPUtime=1781.99 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 105305 0 0 0 178154 45 0 0 20 0 1 0 26548400 2325409792 470483 33554432000 4194304 6211289 140736890712608 140736890710600 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 567727 470483 219 493 0 567224 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2270908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14697
/proc/meminfo: memFree=29155996/32872528 swapFree=303544/319896
[pid=14651] ppid=14648 vsize=2272416 CPUtime=1800.08 cores=0,2,4,6
/proc/14651/stat : 14651 (cdcl-cuttingpla) R 14648 14651 14217 0 -1 4202496 105575 0 0 0 179963 45 0 0 20 0 1 0 26548400 2326953984 470753 33554432000 4194304 6211289 140736890712608 140736890710952 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/14651/statm: 568104 470753 219 493 0 567601 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2272416

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 14651 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.43
CPU time (s): 1800.13
CPU user time (s): 1799.64
CPU system time (s): 0.485926
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 2272416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.485926
maximum resident set size= 1883012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105575
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= 57
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1345 second user time and 14.0659 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 12:16:58
IDJOB=4100711
IDBENCH=1651
IDSOLVER=2549
FILE ID=node128/4100711-1466245018
RUNJOBID= node128-1466241415-14233
PBS_JOBID= 19918208
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 86f5ae05f91cc0663afe4f54ca2c84e2
RANDOM SEED=1996591092

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31514108 kB
Buffers:          110632 kB
Cached:           136072 kB
SwapCached:         2708 kB
Active:           121996 kB
Inactive:         172536 kB
Active(anon):      47716 kB
Inactive(anon):     2684 kB
Active(file):      74280 kB
Inactive(file):   169852 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              7824 kB
Writeback:             4 kB
AnonPages:        324452 kB
Mapped:             9032 kB
Shmem:                 0 kB
Slab:             612328 kB
SReclaimable:      55528 kB
SUnreclaim:       556800 kB
KernelStack:        1472 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     493168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71700 MiB
End job on node128 at 2016-06-18 12:46:58