Trace number 4102039

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.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
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.01	c * #variable= 787 #constraint= 65
0.00/0.01	c * #variable= 787 #constraint= 65
0.38/0.42	c S1->S2
0.38/0.42	c S2->S1
0.38/0.42	c S2->S1
0.38/0.42	c #Conflicts:       1000 | #Learnt:        999 | 0.011
0.38/0.42	c total clause space: 4.25031MB
0.38/0.42	c total #watches: 67901
1.89/1.92	c total #propagations: 157943 / total #impl: 1233622 (eff. 0.128)
1.89/1.92	c #Conflicts:       2000 | #Learnt:       1999 | 0.008
1.89/1.92	c total clause space: 6.90675MB
1.89/1.92	c total #watches: 125142
3.49/3.50	c total #propagations: 320489 / total #impl: 4377697 (eff. 0.073)
3.49/3.50	c GC COLLECT
3.49/3.50	c #Conflicts:       3000 | #Learnt:       2005 | 0.049
3.49/3.50	c total clause space: 11.2235MB
3.49/3.50	c total #watches: 165879
5.69/5.71	c total #propagations: 505888 / total #impl: 8790349 (eff. 0.058)
5.69/5.71	c #Conflicts:       4000 | #Learnt:       3005 | 0.065
5.69/5.71	c total clause space: 11.2235MB
5.69/5.71	c total #watches: 274135
12.69/12.76	c total #propagations: 686815 / total #impl: 14863060 (eff. 0.046)
12.69/12.76	c GC COLLECT
12.69/12.76	c #Conflicts:       5000 | #Learnt:       2354 | 0.052
12.69/12.76	c total clause space: 18.2382MB
12.69/12.76	c total #watches: 223761
18.70/18.78	c total #propagations: 908127 / total #impl: 23702272 (eff. 0.038)
18.70/18.78	c #Conflicts:       6000 | #Learnt:       3354 | 0.047
18.70/18.78	c total clause space: 18.2382MB
18.70/18.78	c total #watches: 282086
24.29/24.37	c total #propagations: 1084752 / total #impl: 32788654 (eff. 0.033)
24.29/24.37	c GC COLLECT
24.29/24.37	c #Conflicts:       7000 | #Learnt:       2234 | 0.047
24.29/24.37	c total clause space: 18.2382MB
24.29/24.37	c total #watches: 166789
26.28/26.33	c total #propagations: 1265788 / total #impl: 41972373 (eff. 0.030)
26.28/26.33	c #Conflicts:       8000 | #Learnt:       3233 | 0.064
26.28/26.33	c total clause space: 18.2382MB
26.28/26.33	c total #watches: 228755
28.18/28.22	c total #propagations: 1423874 / total #impl: 44397054 (eff. 0.032)
28.18/28.22	c #Conflicts:       9000 | #Learnt:       4230 | 0.100
28.18/28.22	c total clause space: 18.2382MB
28.18/28.22	c total #watches: 276383
29.18/29.21	c total #propagations: 1662138 / total #impl: 45510765 (eff. 0.037)
29.18/29.21	c S2->S1
29.18/29.21	c GC COLLECT
29.18/29.21	c #Conflicts:      10000 | #Learnt:        225 | 0.094
29.18/29.21	c total clause space: 18.2382MB
29.18/29.21	c total #watches: 14301
30.28/30.33	c total #propagations: 1858357 / total #impl: 46295659 (eff. 0.040)
30.28/30.33	c #Conflicts:      11000 | #Learnt:       1225 | 0.086
30.28/30.33	c total clause space: 18.2382MB
30.28/30.33	c total #watches: 74286
32.68/32.71	c total #propagations: 1931350 / total #impl: 47421498 (eff. 0.041)
32.68/32.71	c #Conflicts:      12000 | #Learnt:       2225 | 0.081
32.68/32.71	c total clause space: 18.2382MB
32.68/32.71	c total #watches: 144962
35.79/35.87	c total #propagations: 1999111 / total #impl: 49109340 (eff. 0.041)
35.79/35.87	c #Conflicts:      13000 | #Learnt:       3225 | 0.087
35.79/35.87	c total clause space: 29.637MB
35.79/35.87	c total #watches: 222547
39.29/39.32	c total #propagations: 2073618 / total #impl: 50942210 (eff. 0.041)
39.29/39.32	c GC COLLECT
39.29/39.32	c #Conflicts:      14000 | #Learnt:       2612 | 0.086
39.29/39.32	c total clause space: 29.637MB
39.29/39.32	c total #watches: 198506
44.10/44.14	c total #propagations: 2167052 / total #impl: 53931322 (eff. 0.040)
44.10/44.14	c #Conflicts:      15000 | #Learnt:       3612 | 0.084
44.10/44.14	c total clause space: 29.637MB
44.10/44.14	c total #watches: 255713
54.18/54.21	c total #propagations: 2258643 / total #impl: 57889550 (eff. 0.039)
54.18/54.21	c #Conflicts:      16000 | #Learnt:       4612 | 0.080
54.18/54.21	c total clause space: 29.637MB
54.18/54.21	c total #watches: 321103
59.08/59.19	c total #propagations: 2370931 / total #impl: 67430048 (eff. 0.035)
59.08/59.19	c GC COLLECT
59.08/59.19	c #Conflicts:      17000 | #Learnt:       3056 | 0.092
59.08/59.19	c total clause space: 29.637MB
59.08/59.19	c total #watches: 259653
63.79/63.88	c total #propagations: 2444056 / total #impl: 72423775 (eff. 0.034)
63.79/63.88	c #Conflicts:      18000 | #Learnt:       4056 | 0.088
63.79/63.88	c total clause space: 29.637MB
63.79/63.88	c total #watches: 349952
67.18/67.26	c total #propagations: 2540264 / total #impl: 77545849 (eff. 0.033)
67.18/67.26	c #Conflicts:      19000 | #Learnt:       5056 | 0.088
67.18/67.26	c total clause space: 48.1602MB
67.18/67.26	c total #watches: 417215
81.18/81.20	c total #propagations: 2613615 / total #impl: 81075940 (eff. 0.032)
81.18/81.20	c #Conflicts:      20000 | #Learnt:       6056 | 0.086
81.18/81.20	c total clause space: 48.1602MB
81.18/81.20	c total #watches: 474843
92.87/92.96	c total #propagations: 2700851 / total #impl: 94668807 (eff. 0.029)
92.87/92.96	c GC COLLECT
92.87/92.96	c #Conflicts:      21000 | #Learnt:       3877 | 0.090
92.87/92.96	c total clause space: 48.1602MB
92.87/92.96	c total #watches: 334761
103.07/103.16	c total #propagations: 2791454 / total #impl: 104961752 (eff. 0.027)
103.07/103.16	c #Conflicts:      22000 | #Learnt:       4877 | 0.089
103.07/103.16	c total clause space: 48.1602MB
103.07/103.16	c total #watches: 432813
118.27/118.36	c total #propagations: 2875169 / total #impl: 113703108 (eff. 0.025)
118.27/118.36	c #Conflicts:      23000 | #Learnt:       5877 | 0.090
118.27/118.36	c total clause space: 48.1602MB
118.27/118.36	c total #watches: 520747
138.76/138.86	c total #propagations: 2967909 / total #impl: 127483203 (eff. 0.023)
138.76/138.86	c #Conflicts:      24000 | #Learnt:       6877 | 0.089
138.76/138.86	c total clause space: 48.1602MB
138.76/138.86	c total #watches: 607927
152.46/152.56	c total #propagations: 3046839 / total #impl: 146623280 (eff. 0.021)
152.46/152.56	c GC COLLECT
152.46/152.56	c #Conflicts:      25000 | #Learnt:       4235 | 0.092
152.46/152.56	c total clause space: 48.1602MB
152.46/152.56	c total #watches: 454055
177.06/177.16	c total #propagations: 3125415 / total #impl: 158783246 (eff. 0.020)
177.06/177.16	c #Conflicts:      26000 | #Learnt:       5235 | 0.093
177.06/177.16	c total clause space: 48.1602MB
177.06/177.16	c total #watches: 587805
203.25/203.38	c total #propagations: 3226262 / total #impl: 181315956 (eff. 0.018)
203.25/203.38	c #Conflicts:      27000 | #Learnt:       6235 | 0.099
203.25/203.38	c total clause space: 48.1602MB
203.25/203.38	c total #watches: 729489
230.15/230.27	c total #propagations: 3322578 / total #impl: 209373063 (eff. 0.016)
230.15/230.27	c #Conflicts:      28000 | #Learnt:       7235 | 0.096
230.15/230.27	c total clause space: 48.1602MB
230.15/230.27	c total #watches: 833919
262.54/262.66	c total #propagations: 3419344 / total #impl: 232641803 (eff. 0.015)
262.54/262.66	c GC COLLECT
262.54/262.66	c #Conflicts:      29000 | #Learnt:       4216 | 0.102
262.54/262.66	c total clause space: 48.1602MB
262.54/262.66	c total #watches: 551220
273.74/273.82	c total #propagations: 3507853 / total #impl: 255501676 (eff. 0.014)
273.74/273.82	c #Conflicts:      30000 | #Learnt:       5216 | 0.098
273.74/273.82	c total clause space: 48.1602MB
273.74/273.82	c total #watches: 731336
293.34/293.44	c total #propagations: 3625014 / total #impl: 266194679 (eff. 0.014)
293.34/293.44	c #Conflicts:      31000 | #Learnt:       6216 | 0.096
293.34/293.44	c total clause space: 48.1602MB
293.34/293.44	c total #watches: 863854
318.14/318.27	c total #propagations: 3734075 / total #impl: 282814332 (eff. 0.013)
318.14/318.27	c #Conflicts:      32000 | #Learnt:       7216 | 0.097
318.14/318.27	c total clause space: 78.2603MB
318.14/318.27	c total #watches: 1050150
349.02/349.10	c total #propagations: 3838962 / total #impl: 302637971 (eff. 0.013)
349.02/349.10	c #Conflicts:      33000 | #Learnt:       8216 | 0.094
349.02/349.10	c total clause space: 78.2603MB
349.02/349.10	c total #watches: 1218606
373.12/373.22	c total #propagations: 3950820 / total #impl: 326154031 (eff. 0.012)
373.12/373.22	c GC COLLECT
373.12/373.22	c #Conflicts:      34000 | #Learnt:       4855 | 0.092
373.12/373.22	c total clause space: 78.2603MB
373.12/373.22	c total #watches: 780271
399.11/399.29	c total #propagations: 4075088 / total #impl: 346337800 (eff. 0.012)
399.11/399.29	c #Conflicts:      35000 | #Learnt:       5855 | 0.089
399.11/399.29	c total clause space: 78.2603MB
399.11/399.29	c total #watches: 872805
435.41/435.52	c total #propagations: 4193515 / total #impl: 367175237 (eff. 0.011)
435.41/435.52	c #Conflicts:      36000 | #Learnt:       6855 | 0.089
435.41/435.52	c total clause space: 78.2603MB
435.41/435.52	c total #watches: 962289
453.71/453.82	c total #propagations: 4299221 / total #impl: 394669846 (eff. 0.011)
453.71/453.82	c #Conflicts:      37000 | #Learnt:       7855 | 0.088
453.71/453.82	c total clause space: 78.2603MB
453.71/453.82	c total #watches: 1051042
471.82/471.94	c total #propagations: 4385772 / total #impl: 413034511 (eff. 0.011)
471.82/471.94	c #Conflicts:      38000 | #Learnt:       8855 | 0.087
471.82/471.94	c total clause space: 78.2603MB
471.82/471.94	c total #watches: 1179788
489.70/489.81	c total #propagations: 4481237 / total #impl: 431828699 (eff. 0.010)
489.70/489.81	c GC COLLECT
489.70/489.81	c #Conflicts:      39000 | #Learnt:       5174 | 0.085
489.70/489.81	c total clause space: 78.2603MB
489.70/489.81	c total #watches: 577860
505.40/505.59	c total #propagations: 4587109 / total #impl: 453543903 (eff. 0.010)
505.40/505.59	c #Conflicts:      40000 | #Learnt:       6174 | 0.083
505.40/505.59	c total clause space: 78.2603MB
505.40/505.59	c total #watches: 687997
522.20/522.38	c total #propagations: 4689050 / total #impl: 476290162 (eff. 0.010)
522.20/522.38	c #Conflicts:      41000 | #Learnt:       7174 | 0.081
522.20/522.38	c total clause space: 78.2603MB
522.20/522.38	c total #watches: 798791
548.39/548.57	c total #propagations: 4794835 / total #impl: 499975319 (eff. 0.010)
548.39/548.57	c #Conflicts:      42000 | #Learnt:       8174 | 0.079
548.39/548.57	c total clause space: 78.2603MB
548.39/548.57	c total #watches: 893476
580.39/580.52	c total #propagations: 4899907 / total #impl: 537561866 (eff. 0.009)
580.39/580.52	c #Conflicts:      43000 | #Learnt:       9174 | 0.078
580.39/580.52	c total clause space: 78.2603MB
580.39/580.52	c total #watches: 974126
600.38/600.50	c total #propagations: 4992302 / total #impl: 578950535 (eff. 0.009)
600.38/600.50	c GC COLLECT
600.38/600.50	c #Conflicts:      44000 | #Learnt:       5188 | 0.076
600.38/600.50	c total clause space: 78.2603MB
600.38/600.50	c total #watches: 574622
607.58/607.79	c total #propagations: 5100688 / total #impl: 605021620 (eff. 0.008)
607.58/607.79	c #Conflicts:      45000 | #Learnt:       6188 | 0.074
607.58/607.79	c total clause space: 78.2603MB
607.58/607.79	c total #watches: 727772
642.88/643.07	c total #propagations: 5208181 / total #impl: 617483192 (eff. 0.008)
642.88/643.07	c #Conflicts:      46000 | #Learnt:       7188 | 0.074
642.88/643.07	c total clause space: 78.2603MB
642.88/643.07	c total #watches: 887430
675.57/675.73	c total #propagations: 5326474 / total #impl: 652850244 (eff. 0.008)
675.57/675.73	c #Conflicts:      47000 | #Learnt:       8188 | 0.073
675.57/675.73	c total clause space: 78.2603MB
675.57/675.73	c total #watches: 1015671
716.08/716.27	c total #propagations: 5448323 / total #impl: 685984334 (eff. 0.008)
716.08/716.27	c #Conflicts:      48000 | #Learnt:       9188 | 0.071
716.08/716.27	c total clause space: 78.2603MB
716.08/716.27	c total #watches: 1092866
758.56/758.70	c total #propagations: 5551017 / total #impl: 723358661 (eff. 0.008)
758.56/758.70	c #Conflicts:      49000 | #Learnt:      10188 | 0.070
758.56/758.70	c total clause space: 78.2603MB
758.56/758.70	c total #watches: 1211612
786.56/786.77	c total #propagations: 5676790 / total #impl: 761097222 (eff. 0.007)
786.56/786.77	c GC COLLECT
786.56/786.77	c #Conflicts:      50000 | #Learnt:       5888 | 0.072
786.56/786.77	c total clause space: 78.2603MB
786.56/786.77	c total #watches: 768439
812.25/812.43	c total #propagations: 5767075 / total #impl: 784849480 (eff. 0.007)
812.25/812.43	c #Conflicts:      51000 | #Learnt:       6888 | 0.071
812.25/812.43	c total clause space: 78.2603MB
812.25/812.43	c total #watches: 871877
850.95/851.14	c total #propagations: 5856908 / total #impl: 808418480 (eff. 0.007)
850.95/851.14	c #Conflicts:      52000 | #Learnt:       7888 | 0.069
850.95/851.14	c total clause space: 78.2603MB
850.95/851.14	c total #watches: 975828
888.35/888.56	c total #propagations: 5950936 / total #impl: 836982376 (eff. 0.007)
888.35/888.56	c #Conflicts:      53000 | #Learnt:       8888 | 0.069
888.35/888.56	c total clause space: 78.2603MB
888.35/888.56	c total #watches: 1109854
925.74/925.97	c total #propagations: 6075198 / total #impl: 861418458 (eff. 0.007)
925.74/925.97	c #Conflicts:      54000 | #Learnt:       9888 | 0.068
925.74/925.97	c total clause space: 78.2603MB
925.74/925.97	c total #watches: 1250849
974.93/975.19	c total #propagations: 6199247 / total #impl: 888984803 (eff. 0.007)
974.93/975.19	c #Conflicts:      55000 | #Learnt:      10888 | 0.067
974.93/975.19	c total clause space: 78.2603MB
974.93/975.19	c total #watches: 1347908
998.03/998.22	c total #propagations: 6316103 / total #impl: 927652105 (eff. 0.007)
998.03/998.22	c GC COLLECT
998.03/998.22	c #Conflicts:      56000 | #Learnt:       6293 | 0.067
998.03/998.22	c total clause space: 78.2603MB
998.03/998.22	c total #watches: 761074
1030.82/1031.08	c total #propagations: 6408896 / total #impl: 947389968 (eff. 0.007)
1030.82/1031.08	c #Conflicts:      57000 | #Learnt:       7293 | 0.070
1030.82/1031.08	c total clause space: 78.2603MB
1030.82/1031.08	c total #watches: 900500
1067.12/1067.32	c total #propagations: 6505606 / total #impl: 969521624 (eff. 0.007)
1067.12/1067.32	c #Conflicts:      58000 | #Learnt:       8292 | 0.071
1067.12/1067.32	c total clause space: 78.2603MB
1067.12/1067.32	c total #watches: 1012819
1117.81/1118.09	c total #propagations: 6665232 / total #impl: 990077403 (eff. 0.007)
1117.81/1118.09	c #Conflicts:      59000 | #Learnt:       9289 | 0.076
1117.81/1118.09	c total clause space: 78.2603MB
1117.81/1118.09	c total #watches: 1081686
1179.40/1179.60	c total #propagations: 6837188 / total #impl: 1016318514 (eff. 0.007)
1179.40/1179.60	c #Conflicts:      60000 | #Learnt:      10289 | 0.080
1179.40/1179.60	c total clause space: 78.2603MB
1179.40/1179.60	c total #watches: 1104445
1215.09/1215.37	c total #propagations: 7076318 / total #impl: 1047941489 (eff. 0.007)
1215.09/1215.37	c #Conflicts:      61000 | #Learnt:      11289 | 0.079
1215.09/1215.37	c total clause space: 78.2603MB
1215.09/1215.37	c total #watches: 1122619
1234.59/1234.89	c total #propagations: 7334071 / total #impl: 1066374866 (eff. 0.007)
1234.59/1234.89	c GC COLLECT
1234.59/1234.89	c #Conflicts:      62000 | #Learnt:       6390 | 0.093
1234.59/1234.89	c total clause space: 78.2603MB
1234.59/1234.89	c total #watches: 517406
1250.09/1250.31	c total #propagations: 7515751 / total #impl: 1075298211 (eff. 0.007)
1250.09/1250.31	c #Conflicts:      63000 | #Learnt:       7390 | 0.092
1250.09/1250.31	c total clause space: 78.2603MB
1250.09/1250.31	c total #watches: 544945
1273.98/1274.27	c total #propagations: 7691256 / total #impl: 1084276430 (eff. 0.007)
1273.98/1274.27	c #Conflicts:      64000 | #Learnt:       8389 | 0.091
1273.98/1274.27	c total clause space: 78.2603MB
1273.98/1274.27	c total #watches: 567356
1276.68/1276.91	c total #propagations: 7925783 / total #impl: 1097707909 (eff. 0.007)
1276.68/1276.91	c S2->S1
1276.68/1276.91	c S1->S2
1276.68/1276.91	c #Conflicts:      65000 | #Learnt:        927 | 0.090
1276.68/1276.91	c total clause space: 78.2603MB
1276.68/1276.91	c total #watches: 191231
1278.88/1279.18	c total #propagations: 8000613 / total #impl: 1099468399 (eff. 0.007)
1278.88/1279.18	c #Conflicts:      66000 | #Learnt:       1927 | 0.089
1278.88/1279.18	c total clause space: 78.2603MB
1278.88/1279.18	c total #watches: 245503
1282.68/1282.99	c total #propagations: 8069482 / total #impl: 1101441675 (eff. 0.007)
1282.68/1282.99	c #Conflicts:      67000 | #Learnt:       2927 | 0.091
1282.68/1282.99	c total clause space: 78.2603MB
1282.68/1282.99	c total #watches: 327977
1287.48/1287.74	c total #propagations: 8136160 / total #impl: 1105132169 (eff. 0.007)
1287.48/1287.74	c #Conflicts:      68000 | #Learnt:       3927 | 0.092
1287.48/1287.74	c total clause space: 78.2603MB
1287.48/1287.74	c total #watches: 408080
1292.29/1292.51	c total #propagations: 8200719 / total #impl: 1109077494 (eff. 0.007)
1292.29/1292.51	c GC COLLECT
1292.29/1292.51	c #Conflicts:      69000 | #Learnt:       2961 | 0.092
1292.29/1292.51	c total clause space: 78.2603MB
1292.29/1292.51	c total #watches: 297987
1298.78/1299.05	c total #propagations: 8259248 / total #impl: 1113394353 (eff. 0.007)
1298.78/1299.05	c #Conflicts:      70000 | #Learnt:       3961 | 0.095
1298.78/1299.05	c total clause space: 78.2603MB
1298.78/1299.05	c total #watches: 408860
1306.17/1306.45	c total #propagations: 8331115 / total #impl: 1120446047 (eff. 0.007)
1306.17/1306.45	c #Conflicts:      71000 | #Learnt:       4961 | 0.096
1306.17/1306.45	c total clause space: 78.2603MB
1306.17/1306.45	c total #watches: 489419
1315.87/1316.18	c total #propagations: 8400347 / total #impl: 1128226003 (eff. 0.007)
1315.87/1316.18	c #Conflicts:      72000 | #Learnt:       5961 | 0.096
1315.87/1316.18	c total clause space: 78.2603MB
1315.87/1316.18	c total #watches: 638233
1330.97/1331.29	c total #propagations: 8466976 / total #impl: 1141093148 (eff. 0.007)
1330.97/1331.29	c #Conflicts:      73000 | #Learnt:       6961 | 0.095
1330.97/1331.29	c total clause space: 78.2603MB
1330.97/1331.29	c total #watches: 723609
1357.36/1357.63	c total #propagations: 8520669 / total #impl: 1154637373 (eff. 0.007)
1357.36/1357.63	c #Conflicts:      74000 | #Learnt:       7961 | 0.101
1357.36/1357.63	c total clause space: 78.2603MB
1357.36/1357.63	c total #watches: 833236
1382.26/1382.55	c total #propagations: 8588614 / total #impl: 1174202875 (eff. 0.007)
1382.26/1382.55	c GC COLLECT
1382.26/1382.55	c #Conflicts:      75000 | #Learnt:       4573 | 0.104
1382.26/1382.55	c total clause space: 78.2603MB
1382.26/1382.55	c total #watches: 506010
1405.86/1406.11	c total #propagations: 8669332 / total #impl: 1198271162 (eff. 0.007)
1405.86/1406.11	c #Conflicts:      76000 | #Learnt:       5573 | 0.105
1405.86/1406.11	c total clause space: 78.2603MB
1405.86/1406.11	c total #watches: 581017
1422.36/1422.62	c total #propagations: 8771671 / total #impl: 1221310690 (eff. 0.007)
1422.36/1422.62	c #Conflicts:      77000 | #Learnt:       6572 | 0.107
1422.36/1422.62	c total clause space: 78.2603MB
1422.36/1422.62	c total #watches: 610394
1446.15/1446.43	c total #propagations: 8840228 / total #impl: 1230177406 (eff. 0.007)
1446.15/1446.43	c #Conflicts:      78000 | #Learnt:       7572 | 0.106
1446.15/1446.43	c total clause space: 78.2603MB
1446.15/1446.43	c total #watches: 669210
1502.45/1502.78	c total #propagations: 8914977 / total #impl: 1244601912 (eff. 0.007)
1502.45/1502.78	c #Conflicts:      79000 | #Learnt:       8572 | 0.108
1502.45/1502.78	c total clause space: 78.2603MB
1502.45/1502.78	c total #watches: 729123
1543.24/1543.50	c total #propagations: 9069073 / total #impl: 1280094440 (eff. 0.007)
1543.24/1543.50	c #Conflicts:      80000 | #Learnt:       9572 | 0.108
1543.24/1543.50	c total clause space: 78.2603MB
1543.24/1543.50	c total #watches: 765691
1568.23/1568.53	c total #propagations: 9152178 / total #impl: 1305525248 (eff. 0.007)
1568.23/1568.53	c #Conflicts:      81000 | #Learnt:      10572 | 0.110
1568.23/1568.53	c total clause space: 78.2603MB
1568.23/1568.53	c total #watches: 797938
1592.43/1592.75	c total #propagations: 9233343 / total #impl: 1320397971 (eff. 0.007)
1592.43/1592.75	c GC COLLECT
1592.43/1592.75	c #Conflicts:      82000 | #Learnt:       5835 | 0.110
1592.43/1592.75	c total clause space: 78.2603MB
1592.43/1592.75	c total #watches: 312365
1600.73/1601.06	c total #propagations: 9341791 / total #impl: 1335403744 (eff. 0.007)
1600.73/1601.06	c #Conflicts:      83000 | #Learnt:       6835 | 0.109
1600.73/1601.06	c total clause space: 78.2603MB
1600.73/1601.06	c total #watches: 346374
1607.52/1607.83	c total #propagations: 9440282 / total #impl: 1342447384 (eff. 0.007)
1607.52/1607.83	c #Conflicts:      84000 | #Learnt:       7835 | 0.108
1607.52/1607.83	c total clause space: 78.2603MB
1607.52/1607.83	c total #watches: 379328
1615.52/1615.81	c total #propagations: 9517165 / total #impl: 1347977681 (eff. 0.007)
1615.52/1615.81	c #Conflicts:      85000 | #Learnt:       8835 | 0.107
1615.52/1615.81	c total clause space: 78.2603MB
1615.52/1615.81	c total #watches: 438033
1627.43/1627.71	c total #propagations: 9566909 / total #impl: 1354754340 (eff. 0.007)
1627.43/1627.71	c #Conflicts:      86000 | #Learnt:       9835 | 0.106
1627.43/1627.71	c total clause space: 78.2603MB
1627.43/1627.71	c total #watches: 495958
1640.83/1641.11	c total #propagations: 9636232 / total #impl: 1364972815 (eff. 0.007)
1640.83/1641.11	c #Conflicts:      87000 | #Learnt:      10835 | 0.106
1640.83/1641.11	c total clause space: 78.2603MB
1640.83/1641.11	c total #watches: 522550
1652.32/1652.64	c total #propagations: 9711304 / total #impl: 1376930054 (eff. 0.007)
1652.32/1652.64	c #Conflicts:      88000 | #Learnt:      11835 | 0.104
1652.32/1652.64	c total clause space: 78.2603MB
1652.32/1652.64	c total #watches: 558506
1661.93/1662.27	c total #propagations: 9797605 / total #impl: 1387568904 (eff. 0.007)
1661.93/1662.27	c #Conflicts:      89000 | #Learnt:      12835 | 0.104
1661.93/1662.27	c total clause space: 127.173MB
1661.93/1662.27	c total #watches: 613067
1678.33/1678.62	c total #propagations: 9870270 / total #impl: 1397274545 (eff. 0.007)
1678.33/1678.62	c GC COLLECT
1678.33/1678.62	c #Conflicts:      90000 | #Learnt:       7250 | 0.103
1678.33/1678.62	c total clause space: 127.173MB
1678.33/1678.62	c total #watches: 333189
1690.92/1691.25	c total #propagations: 9981999 / total #impl: 1415893735 (eff. 0.007)
1690.92/1691.25	c #Conflicts:      91000 | #Learnt:       8250 | 0.102
1690.92/1691.25	c total clause space: 127.173MB
1690.92/1691.25	c total #watches: 375009
1701.42/1701.75	c total #propagations: 10090605 / total #impl: 1429938737 (eff. 0.007)
1701.42/1701.75	c #Conflicts:      92000 | #Learnt:       9250 | 0.101
1701.42/1701.75	c total clause space: 127.173MB
1701.42/1701.75	c total #watches: 411612
1714.62/1714.92	c total #propagations: 10174318 / total #impl: 1443022626 (eff. 0.007)
1714.62/1714.92	c #Conflicts:      93000 | #Learnt:      10250 | 0.101
1714.62/1714.92	c total clause space: 127.173MB
1714.62/1714.92	c total #watches: 440800
1719.71/1720.09	c total #propagations: 10272922 / total #impl: 1456417526 (eff. 0.007)
1719.71/1720.09	c #Conflicts:      94000 | #Learnt:      11250 | 0.100
1719.71/1720.09	c total clause space: 127.173MB
1719.71/1720.09	c total #watches: 459878
1733.01/1733.39	c total #propagations: 10358149 / total #impl: 1462218281 (eff. 0.007)
1733.01/1733.39	c #Conflicts:      95000 | #Learnt:      12250 | 0.099
1733.01/1733.39	c total clause space: 127.173MB
1733.01/1733.39	c total #watches: 487994
1738.92/1739.21	c total #propagations: 10463019 / total #impl: 1473796568 (eff. 0.007)
1738.92/1739.21	c #Conflicts:      96000 | #Learnt:      13250 | 0.098
1738.92/1739.21	c total clause space: 127.173MB
1738.92/1739.21	c total #watches: 542698
1745.01/1745.32	c total #propagations: 10537858 / total #impl: 1480200284 (eff. 0.007)
1745.01/1745.32	c #Conflicts:      97000 | #Learnt:      14250 | 0.097
1745.01/1745.32	c total clause space: 127.173MB
1745.01/1745.32	c total #watches: 597987
1749.82/1750.14	c total #propagations: 10598651 / total #impl: 1486485508 (eff. 0.007)
1749.82/1750.14	c GC COLLECT
1749.82/1750.14	c #Conflicts:      98000 | #Learnt:       8108 | 0.096
1749.82/1750.14	c total clause space: 127.173MB
1749.82/1750.14	c total #watches: 333760
1754.90/1755.22	c total #propagations: 10662760 / total #impl: 1492331900 (eff. 0.007)
1754.90/1755.22	c #Conflicts:      99000 | #Learnt:       9108 | 0.095
1754.90/1755.22	c total clause space: 127.173MB
1754.90/1755.22	c total #watches: 377352
1762.60/1762.95	c total #propagations: 10791824 / total #impl: 1497900703 (eff. 0.007)
1762.60/1762.95	c #Conflicts:     100000 | #Learnt:      10108 | 0.094
1762.60/1762.95	c total clause space: 127.173MB
1762.60/1762.95	c total #watches: 400559
1771.10/1771.43	c total #propagations: 10926390 / total #impl: 1506171328 (eff. 0.007)
1771.10/1771.43	c #Conflicts:     101000 | #Learnt:      11108 | 0.093
1771.10/1771.43	c total clause space: 127.173MB
1771.10/1771.43	c total #watches: 425804
1785.50/1785.84	c total #propagations: 11053882 / total #impl: 1514793346 (eff. 0.007)
1785.50/1785.84	c #Conflicts:     102000 | #Learnt:      12108 | 0.093
1785.50/1785.84	c total clause space: 127.173MB
1785.50/1785.84	c total #watches: 449028
1792.21/1792.50	c total #propagations: 11176753 / total #impl: 1528764340 (eff. 0.007)
1792.21/1792.50	c #Conflicts:     103000 | #Learnt:      13108 | 0.092
1792.21/1792.50	c total clause space: 127.173MB
1792.21/1792.50	c total #watches: 496511

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-4102039-1466262093/watcher-4102039-1466262093 -o /tmp/evaluation-result-4102039-1466262093/solver-4102039-1466262093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27534 --watchdog 1960 --input HOME/instance-4102039-1466262093.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=31306
running on 8 cores: 4-7,12-15

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.08 2.07 2.01 3/259 31309
/proc/meminfo: memFree=31592824/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=55976 CPUtime=0 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 28253906 57319424 10922 33554432000 4194304 6211289 140734331725888 140733937746312 4319744 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 13994 10922 131 493 0 13491 0

[startup+0.100078 s]
/proc/loadavg: 2.08 2.07 2.01 3/259 31309
/proc/meminfo: memFree=31592824/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=65200 CPUtime=0.08 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 1053 0 0 0 8 0 0 0 20 0 1 0 28253906 66764800 13025 33554432000 4194304 6211289 140734331725888 140733937746312 4205291 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 16300 13025 204 493 0 15797 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 65200

[startup+0.200323 s]
/proc/loadavg: 2.08 2.07 2.01 3/259 31309
/proc/meminfo: memFree=31592824/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=65452 CPUtime=0.18 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 1448 0 0 0 18 0 0 0 20 0 1 0 28253906 67022848 13286 33554432000 4194304 6211289 140734331725888 140733937746312 4205291 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 16363 13286 204 493 0 15860 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 65452

[startup+0.300224 s]
/proc/loadavg: 2.08 2.07 2.01 3/259 31309
/proc/meminfo: memFree=31592824/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=65584 CPUtime=0.28 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 1511 0 0 0 28 0 0 0 20 0 1 0 28253906 67158016 13854 33554432000 4194304 6211289 140734331725888 140733937746312 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 16396 13854 204 493 0 15893 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 65584

[startup+0.700218 s]
/proc/loadavg: 2.08 2.07 2.01 3/259 31309
/proc/meminfo: memFree=31592824/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=65996 CPUtime=0.68 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 1608 0 0 0 68 0 0 0 20 0 1 0 28253906 67579904 13951 33554432000 4194304 6211289 140734331725888 140734331723800 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 16499 13951 214 493 0 15996 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 65996

[startup+1.50022 s]
/proc/loadavg: 2.08 2.07 2.01 3/260 31310
/proc/meminfo: memFree=31536928/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=69112 CPUtime=1.49 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 2292 0 0 0 148 1 0 0 20 0 1 0 28253906 70770688 14383 33554432000 4194304 6211289 140734331725888 140734331723800 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 17278 14383 214 493 0 16775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69112

[startup+3.10022 s]
/proc/loadavg: 2.08 2.07 2.01 3/260 31310
/proc/meminfo: memFree=31534816/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=69764 CPUtime=3.09 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 3067 0 0 0 308 1 0 0 20 0 1 0 28253906 71438336 14905 33554432000 4194304 6211289 140734331725888 140734331723800 4209468 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 17441 14905 219 493 0 16938 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69764

[startup+6.30024 s]
/proc/loadavg: 2.07 2.07 2.01 3/260 31310
/proc/meminfo: memFree=31529100/32872528 swapFree=7808/7808
[pid=31309] ppid=31306 vsize=83324 CPUtime=6.29 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 4807 0 0 0 628 1 0 0 20 0 1 0 28253906 85323776 16589 33554432000 4194304 6211289 140734331725888 140734331724056 4209306 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 20831 16589 219 493 0 20328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83324

[startup+12.7002 s]
/proc/loadavg: 2.06 2.07 2.01 3/260 31310
/proc/meminfo: memFree=31524872/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=83888 CPUtime=12.69 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 5137 0 0 0 1268 1 0 0 20 0 1 0 28253906 85901312 17336 33554432000 4194304 6211289 140734331725888 140734331723752 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 20972 17336 219 493 0 20469 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83888

[startup+25.5003 s]
/proc/loadavg: 2.05 2.06 2.01 3/260 31310
/proc/meminfo: memFree=31520696/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=85168 CPUtime=25.48 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 5440 0 0 0 2547 1 0 0 20 0 1 0 28253906 87212032 18146 33554432000 4194304 6211289 140734331725888 140734331724232 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 21292 18146 219 493 0 20789 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85168

[startup+51.1004 s]
/proc/loadavg: 2.03 2.06 2.01 3/259 31310
/proc/meminfo: memFree=31508488/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=100256 CPUtime=51.08 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 7027 0 0 0 5106 2 0 0 20 0 1 0 28253906 102662144 20956 33554432000 4194304 6211289 140734331725888 140734331723752 4209244 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 25064 20956 219 493 0 24561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100256

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/259 31311
/proc/meminfo: memFree=31489560/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=122972 CPUtime=102.28 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 8798 0 0 0 10225 3 0 0 20 0 1 0 28253906 125923328 25518 33554432000 4194304 6211289 140734331725888 140734331723752 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 30743 25518 219 493 0 30240 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 122972

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 31312
/proc/meminfo: memFree=31480888/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=124876 CPUtime=162.26 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 9260 0 0 0 16223 3 0 0 20 0 1 0 28253906 127873024 27501 33554432000 4194304 6211289 140734331725888 140734331724232 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 31219 27501 219 493 0 30716 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 124876

[startup+222.311 s]
/proc/loadavg: 2.08 2.05 2.01 3/259 31313
/proc/meminfo: memFree=31474992/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=127884 CPUtime=222.26 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 9963 0 0 0 22222 4 0 0 20 0 1 0 28253906 130953216 28204 33554432000 4194304 6211289 140734331725888 140734331723752 4209497 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 31971 28204 219 493 0 31468 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 127884

[startup+282.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/259 31315
/proc/meminfo: memFree=31462896/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=129228 CPUtime=282.24 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 10182 0 0 0 28219 5 0 0 20 0 1 0 28253906 132329472 29445 33554432000 4194304 6211289 140734331725888 140734331724232 4209306 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 32307 29445 219 493 0 31804 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 129228

[startup+342.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/259 31316
/proc/meminfo: memFree=31447420/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=163600 CPUtime=342.23 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 11559 0 0 0 34217 6 0 0 20 0 1 0 28253906 167526400 32105 33554432000 4194304 6211289 140734331725888 140734331723752 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 40900 32105 219 493 0 40397 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 163600

[startup+402.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/259 31317
/proc/meminfo: memFree=31438928/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=165044 CPUtime=402.21 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 11916 0 0 0 40214 7 0 0 20 0 1 0 28253906 169005056 34034 33554432000 4194304 6211289 140734331725888 140734331724232 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 41261 34034 219 493 0 40758 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 165044

[startup+462.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/259 31318
/proc/meminfo: memFree=31434136/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=166388 CPUtime=462.2 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 12261 0 0 0 46212 8 0 0 20 0 1 0 28253906 170381312 34365 33554432000 4194304 6211289 140734331725888 140734331723800 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 41597 34365 219 493 0 41094 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 166388

[startup+522.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/260 31322
/proc/meminfo: memFree=31417376/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=167156 CPUtime=522.2 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 12418 0 0 0 52211 9 0 0 20 0 1 0 28253906 171167744 36560 33554432000 4194304 6211289 140734331725888 140734331724232 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 41789 36560 219 493 0 41286 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 167156

[startup+582.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/259 31324
/proc/meminfo: memFree=31416412/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=167348 CPUtime=582.19 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 12479 0 0 0 58209 10 0 0 20 0 1 0 28253906 171364352 36621 33554432000 4194304 6211289 140734331725888 140734331724232 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 41837 36621 219 493 0 41334 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 167348


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


[startup+942.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/259 31331
/proc/meminfo: memFree=31361504/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173048 CPUtime=942.14 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13468 0 0 0 94202 12 0 0 20 0 1 0 28253906 177201152 40092 33554432000 4194304 6211289 140734331725888 140734331723800 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43262 40092 219 493 0 42759 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 173048

[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/259 31332
/proc/meminfo: memFree=31356580/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173048 CPUtime=1002.13 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13479 0 0 0 100201 12 0 0 20 0 1 0 28253906 177201152 40614 33554432000 4194304 6211289 140734331725888 140734331724232 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43262 40614 219 493 0 42759 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 173048

[startup+1062.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/259 31333
/proc/meminfo: memFree=31355712/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173048 CPUtime=1062.12 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13481 0 0 0 106199 13 0 0 20 0 1 0 28253906 177201152 40616 33554432000 4194304 6211289 140734331725888 140734331724232 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43262 40616 219 493 0 42759 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 173048

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/260 31613
/proc/meminfo: memFree=31569004/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173240 CPUtime=1122.11 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13508 0 0 0 112197 14 0 0 20 0 1 0 28253906 177397760 40643 33554432000 4194304 6211289 140734331725888 140734331724232 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43310 40643 219 493 0 42807 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 173240

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 31615
/proc/meminfo: memFree=31552196/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173240 CPUtime=1182.1 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13510 0 0 0 118196 14 0 0 20 0 1 0 28253906 177397760 40754 33554432000 4194304 6211289 140734331725888 140734331724232 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43310 40754 219 493 0 42807 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 173240

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/259 31616
/proc/meminfo: memFree=31533316/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173432 CPUtime=1242.09 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13550 0 0 0 124195 14 0 0 20 0 1 0 28253906 177594368 40794 33554432000 4194304 6211289 140734331725888 140734331724232 4209503 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43358 40794 219 493 0 42855 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 173432

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/259 31617
/proc/meminfo: memFree=31522540/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=173432 CPUtime=1302.08 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13569 0 0 0 130194 14 0 0 20 0 1 0 28253906 177594368 41316 33554432000 4194304 6211289 140734331725888 140734331724232 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43358 41316 219 493 0 42855 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 173432

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/259 31618
/proc/meminfo: memFree=31510684/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=174840 CPUtime=1362.06 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13837 0 0 0 136191 15 0 0 20 0 1 0 28253906 179036160 41584 33554432000 4194304 6211289 140734331725888 140734331724232 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43710 41584 219 493 0 43207 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 174840

[startup+1422.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/259 31619
/proc/meminfo: memFree=31495264/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=174984 CPUtime=1422.07 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13887 0 0 0 142191 16 0 0 20 0 1 0 28253906 179183616 41634 33554432000 4194304 6211289 140734331725888 140734331723752 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43746 41634 219 493 0 43243 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 174984

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/259 31621
/proc/meminfo: memFree=31478256/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=175304 CPUtime=1482.04 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13970 0 0 0 148188 16 0 0 20 0 1 0 28253906 179511296 41717 33554432000 4194304 6211289 140734331725888 140734331724232 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43826 41717 219 493 0 43323 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 175304

[startup+1542.31 s]
/proc/loadavg: 2.14 2.08 2.02 3/259 31622
/proc/meminfo: memFree=31462388/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=175464 CPUtime=1542.05 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 13984 0 0 0 154188 17 0 0 20 0 1 0 28253906 179675136 41731 33554432000 4194304 6211289 140734331725888 140734331723752 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43866 41731 219 493 0 43363 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 175464

[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/259 31623
/proc/meminfo: memFree=31461764/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=175624 CPUtime=1602.03 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 14033 0 0 0 160186 17 0 0 20 0 1 0 28253906 179838976 41879 33554432000 4194304 6211289 140734331725888 140734331724232 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 43906 41879 219 493 0 43403 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 175624

[startup+1662.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/259 31624
/proc/meminfo: memFree=31448488/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=226176 CPUtime=1662.02 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 14669 0 0 0 166184 18 0 0 20 0 1 0 28253906 231604224 42300 33554432000 4194304 6211289 140734331725888 140734331724120 4209244 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 56544 42300 219 493 0 56041 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 226176

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/260 31628
/proc/meminfo: memFree=31428672/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=227860 CPUtime=1722.01 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 15310 0 0 0 172181 20 0 0 20 0 1 0 28253906 233328640 46861 33554432000 4194304 6211289 140734331725888 140734331724232 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 56965 46861 219 493 0 56462 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 227860

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/259 31630
/proc/meminfo: memFree=31401656/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=229044 CPUtime=1782 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 15593 0 0 0 178180 20 0 0 20 0 1 0 28253906 234541056 53272 33554432000 4194304 6211289 140734331725888 140734331723752 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 57261 53272 219 493 0 56758 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 229044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/259 31630
/proc/meminfo: memFree=31393476/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=230516 CPUtime=1800 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 15948 0 0 0 179979 21 0 0 20 0 1 0 28253906 236048384 55131 33554432000 4194304 6211289 140734331725888 140734331723752 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 57629 55131 219 493 0 57126 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 230516

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/259 31630
/proc/meminfo: memFree=31393476/32872528 swapFree=7804/7804
[pid=31309] ppid=31306 vsize=230516 CPUtime=1800 cores=4-7,12-15
/proc/31309/stat : 31309 (cdcl-cuttingpla) R 31306 31309 27517 0 -1 4202496 15948 0 0 0 179979 21 0 0 20 0 1 0 28253906 236048384 55131 33554432000 4194304 6211289 140734331725888 140734331723752 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31309/statm: 57629 55131 219 493 0 57126 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 230516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.8
CPU system time (s): 0.214967
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 230516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.214967
maximum resident set size= 220524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15948
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= 2088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82881 second user time and 10.7934 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 17:01:33
IDJOB=4102039
IDBENCH=1877
IDSOLVER=2549
FILE ID=node132/4102039-1466262093
RUNJOBID= node132-1466229528-27534
PBS_JOBID= 19918175
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8
RANDOM SEED=102161635

node132.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	: 8
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	: 0
siblings	: 8
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.51
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	: 8
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.51
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	: 0
siblings	: 8
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.51
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	: 1
siblings	: 8
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	: 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	: 8
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	: 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	: 1
siblings	: 8
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	: 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	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31592848 kB
Buffers:          105352 kB
Cached:           171352 kB
SwapCached:         1776 kB
Active:           320068 kB
Inactive:         202704 kB
Active(anon):     246484 kB
Inactive(anon):     2368 kB
Active(file):      73584 kB
Inactive(file):   200336 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              2508 kB
Writeback:             4 kB
AnonPages:        315912 kB
Mapped:             7928 kB
Shmem:                 0 kB
Slab:             608032 kB
SReclaimable:      48264 kB
SUnreclaim:       559768 kB
KernelStack:        2216 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     438088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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= 71732 MiB
End job on node132 at 2016-06-18 17:31:34