Trace number 4101960

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb
MD5SUMe5622ad866d5d89568106c284dbd26e1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark238
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 521
Optimality of the best value was proved NO
Number of variables18384
Total number of constraints1752
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1704
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 11424
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533712
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 533712
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 18384 #constraint= 1752
6.29/6.38	c #Conflicts:       1000 | #Learnt:       1001 | 11.545
6.29/6.38	c total clause space: 48.1602MB
6.29/6.38	c total #watches: 541493
13.59/13.64	c total #propagations: 2946443 / total #impl: 17843651 (eff. 0.165)
13.59/13.64	c #Conflicts:       2000 | #Learnt:       2001 | 5.816
13.59/13.64	c total clause space: 78.2603MB
13.59/13.64	c total #watches: 799176
27.78/27.87	c total #propagations: 7658821 / total #impl: 38398496 (eff. 0.199)
27.78/27.87	c GC COLLECT
27.78/27.87	c #Conflicts:       3000 | #Learnt:       2006 | 3.910
27.78/27.87	c total clause space: 78.2603MB
27.78/27.87	c total #watches: 675736
37.89/37.96	c total #propagations: 11210831 / total #impl: 51860001 (eff. 0.216)
37.89/37.96	c #Conflicts:       4000 | #Learnt:       3006 | 3.007
37.89/37.96	c total clause space: 78.2603MB
37.89/37.96	c total #watches: 950946
44.58/44.69	c total #propagations: 13540263 / total #impl: 63711649 (eff. 0.213)
44.58/44.69	c GC COLLECT
44.58/44.69	c #Conflicts:       5000 | #Learnt:       2353 | 2.590
44.58/44.69	c total clause space: 127.173MB
44.58/44.69	c total #watches: 1075488
51.49/51.57	c total #propagations: 15916355 / total #impl: 77257178 (eff. 0.206)
51.49/51.57	c #Conflicts:       6000 | #Learnt:       3353 | 2.340
51.49/51.57	c total clause space: 127.173MB
51.49/51.57	c total #watches: 1168817
58.29/58.34	c total #propagations: 19803181 / total #impl: 120344534 (eff. 0.165)
58.29/58.34	c GC COLLECT
58.29/58.34	c #Conflicts:       7000 | #Learnt:       2232 | 2.014
58.29/58.34	c total clause space: 127.173MB
58.29/58.34	c total #watches: 949224
65.58/65.62	c total #propagations: 22678531 / total #impl: 151516468 (eff. 0.150)
65.58/65.62	c #Conflicts:       8000 | #Learnt:       3232 | 1.763
65.58/65.62	c total clause space: 127.173MB
65.58/65.63	c total #watches: 994903
77.58/77.62	c total #propagations: 24045678 / total #impl: 159251078 (eff. 0.151)
77.58/77.62	c #Conflicts:       9000 | #Learnt:       4231 | 1.634
77.58/77.62	c total clause space: 127.173MB
77.58/77.62	c total #watches: 1320049
88.27/88.36	c total #propagations: 25643064 / total #impl: 167824123 (eff. 0.153)
88.27/88.36	c GC COLLECT
88.27/88.36	c #Conflicts:      10000 | #Learnt:       2720 | 1.499
88.27/88.36	c total clause space: 127.173MB
88.27/88.36	c total #watches: 957597
98.78/98.89	c total #propagations: 29919882 / total #impl: 180459439 (eff. 0.166)
98.78/98.89	c #Conflicts:      11000 | #Learnt:       3720 | 1.379
98.78/98.89	c total clause space: 127.173MB
98.78/98.89	c total #watches: 1112077
109.57/109.65	c total #propagations: 36276759 / total #impl: 191810751 (eff. 0.189)
109.57/109.65	c #Conflicts:      12000 | #Learnt:       4720 | 1.413
109.57/109.65	c total clause space: 127.173MB
109.57/109.65	c total #watches: 1271303
120.07/120.16	c total #propagations: 40551947 / total #impl: 206736191 (eff. 0.196)
120.07/120.16	c #Conflicts:      13000 | #Learnt:       5720 | 1.409
120.07/120.16	c total clause space: 206.656MB
120.07/120.16	c total #watches: 1460337
132.47/132.57	c total #propagations: 43817386 / total #impl: 225839182 (eff. 0.194)
132.47/132.57	c GC COLLECT
132.47/132.57	c #Conflicts:      14000 | #Learnt:       3862 | 1.387
132.47/132.57	c total clause space: 206.656MB
132.47/132.57	c total #watches: 1341366
144.07/144.13	c total #propagations: 45311753 / total #impl: 237406521 (eff. 0.191)
144.07/144.13	c #Conflicts:      15000 | #Learnt:       4862 | 1.358
144.07/144.13	c total clause space: 206.656MB
144.07/144.13	c total #watches: 1615324
152.17/152.21	c total #propagations: 47919556 / total #impl: 251011873 (eff. 0.191)
152.17/152.21	c #Conflicts:      16000 | #Learnt:       5862 | 1.318
152.17/152.21	c total clause space: 206.656MB
152.17/152.21	c total #watches: 1754684
161.87/161.99	c total #propagations: 53939152 / total #impl: 260063965 (eff. 0.207)
161.87/161.99	c GC COLLECT
161.87/161.99	c #Conflicts:      17000 | #Learnt:       3688 | 1.244
161.87/161.99	c total clause space: 206.656MB
161.87/161.99	c total #watches: 1351342
171.27/171.30	c total #propagations: 58639844 / total #impl: 267452143 (eff. 0.219)
171.27/171.30	c #Conflicts:      18000 | #Learnt:       4688 | 1.188
171.27/171.30	c total clause space: 206.656MB
171.27/171.30	c total #watches: 1476996
181.57/181.62	c total #propagations: 62950924 / total #impl: 276676191 (eff. 0.228)
181.57/181.62	c #Conflicts:      19000 | #Learnt:       5688 | 1.135
181.57/181.62	c total clause space: 206.656MB
181.57/181.62	c total #watches: 1578265
194.06/194.17	c total #propagations: 68017061 / total #impl: 292122427 (eff. 0.233)
194.06/194.17	c #Conflicts:      20000 | #Learnt:       6688 | 1.079
194.06/194.17	c total clause space: 206.656MB
194.06/194.17	c total #watches: 1680119
206.26/206.32	c total #propagations: 73922022 / total #impl: 304712438 (eff. 0.243)
206.26/206.32	c GC COLLECT
206.26/206.32	c #Conflicts:      21000 | #Learnt:       4194 | 1.152
206.26/206.32	c total clause space: 206.656MB
206.26/206.32	c total #watches: 1274642
220.15/220.22	c total #propagations: 77757302 / total #impl: 318499872 (eff. 0.244)
220.15/220.22	c #Conflicts:      22000 | #Learnt:       5194 | 1.100
220.15/220.22	c total clause space: 206.656MB
220.15/220.22	c total #watches: 1335202
234.55/234.62	c total #propagations: 84037774 / total #impl: 328881095 (eff. 0.256)
234.55/234.62	c #Conflicts:      23000 | #Learnt:       6194 | 1.060
234.55/234.62	c total clause space: 206.656MB
234.55/234.62	c total #watches: 1401092
246.55/246.68	c total #propagations: 88246138 / total #impl: 349434686 (eff. 0.253)
246.55/246.68	c #Conflicts:      24000 | #Learnt:       7194 | 1.125
246.55/246.68	c total clause space: 206.656MB
246.55/246.68	c total #watches: 1454890
256.74/256.89	c total #propagations: 92517699 / total #impl: 367550515 (eff. 0.252)
256.74/256.89	c GC COLLECT
256.74/256.89	c #Conflicts:      25000 | #Learnt:       4399 | 1.139
256.74/256.89	c total clause space: 206.656MB
256.74/256.89	c total #watches: 1131835
264.94/265.06	c total #propagations: 96634168 / total #impl: 382857121 (eff. 0.252)
264.94/265.06	c #Conflicts:      26000 | #Learnt:       5399 | 1.115
264.94/265.06	c total clause space: 206.656MB
264.94/265.06	c total #watches: 1186522
273.55/273.61	c total #propagations: 100743339 / total #impl: 394620843 (eff. 0.255)
273.55/273.61	c #Conflicts:      27000 | #Learnt:       6399 | 1.074
273.55/273.61	c total clause space: 206.656MB
273.55/273.61	c total #watches: 1210698
289.64/289.71	c total #propagations: 102501930 / total #impl: 409303308 (eff. 0.250)
289.64/289.71	c #Conflicts:      28000 | #Learnt:       7399 | 1.044
289.64/289.71	c total clause space: 206.656MB
289.64/289.71	c total #watches: 1334104
299.44/299.54	c total #propagations: 104037089 / total #impl: 420029946 (eff. 0.248)
299.44/299.54	c GC COLLECT
299.44/299.54	c #Conflicts:      29000 | #Learnt:       4313 | 1.011
299.44/299.54	c total clause space: 206.656MB
299.44/299.54	c total #watches: 904527
308.34/308.42	c total #propagations: 104824248 / total #impl: 431927662 (eff. 0.243)
308.34/308.42	c #Conflicts:      30000 | #Learnt:       5313 | 1.082
308.34/308.42	c total clause space: 206.656MB
308.34/308.42	c total #watches: 1031431
317.43/317.51	c total #propagations: 108844543 / total #impl: 445195693 (eff. 0.244)
317.43/317.51	c #Conflicts:      31000 | #Learnt:       6313 | 1.052
317.43/317.51	c total clause space: 206.656MB
317.43/317.51	c total #watches: 1134580
326.54/326.69	c total #propagations: 114119137 / total #impl: 459100282 (eff. 0.249)
326.54/326.69	c #Conflicts:      32000 | #Learnt:       7313 | 1.108
326.54/326.69	c total clause space: 206.656MB
326.54/326.69	c total #watches: 1355025
335.84/335.91	c total #propagations: 118080259 / total #impl: 471713089 (eff. 0.250)
335.84/335.91	c #Conflicts:      33000 | #Learnt:       8312 | 1.078
335.84/335.91	c total clause space: 206.656MB
335.84/335.91	c total #watches: 1450990
343.33/343.45	c total #propagations: 119750027 / total #impl: 479079193 (eff. 0.250)
343.33/343.45	c GC COLLECT
343.33/343.45	c #Conflicts:      34000 | #Learnt:       4917 | 1.050
343.33/343.45	c total clause space: 206.656MB
343.33/343.45	c total #watches: 1113511
351.03/351.10	c total #propagations: 123103171 / total #impl: 487074386 (eff. 0.253)
351.03/351.10	c #Conflicts:      35000 | #Learnt:       5917 | 1.024
351.03/351.10	c total clause space: 206.656MB
351.03/351.10	c total #watches: 1169959
359.74/359.82	c total #propagations: 128546863 / total #impl: 497266387 (eff. 0.259)
359.74/359.82	c #Conflicts:      36000 | #Learnt:       6917 | 1.002
359.74/359.82	c total clause space: 206.656MB
359.74/359.82	c total #watches: 1212871
368.73/368.88	c total #propagations: 133882343 / total #impl: 513984516 (eff. 0.260)
368.73/368.88	c #Conflicts:      37000 | #Learnt:       7917 | 0.980
368.73/368.88	c total clause space: 206.656MB
368.73/368.88	c total #watches: 1277161
377.92/378.00	c total #propagations: 138844985 / total #impl: 524436530 (eff. 0.265)
377.92/378.00	c #Conflicts:      38000 | #Learnt:       8917 | 0.956
377.92/378.00	c total clause space: 206.656MB
377.92/378.00	c total #watches: 1308504
385.12/385.25	c total #propagations: 145086435 / total #impl: 549905218 (eff. 0.264)
385.12/385.25	c GC COLLECT
385.12/385.25	c #Conflicts:      39000 | #Learnt:       5217 | 0.941
385.12/385.25	c total clause space: 206.656MB
385.12/385.25	c total #watches: 1076162
390.23/390.33	c total #propagations: 148970543 / total #impl: 565746444 (eff. 0.263)
390.23/390.33	c #Conflicts:      40000 | #Learnt:       6217 | 0.919
390.23/390.33	c total clause space: 206.656MB
390.23/390.33	c total #watches: 1121931
395.53/395.68	c total #propagations: 149984494 / total #impl: 569788672 (eff. 0.263)
395.53/395.68	c #Conflicts:      41000 | #Learnt:       7217 | 0.898
395.53/395.68	c total clause space: 206.656MB
395.53/395.68	c total #watches: 1146311
401.43/401.56	c total #propagations: 151353436 / total #impl: 576689530 (eff. 0.262)
401.43/401.56	c #Conflicts:      42000 | #Learnt:       8217 | 0.877
401.43/401.56	c total clause space: 206.656MB
401.43/401.56	c total #watches: 1181256
407.22/407.30	c total #propagations: 152673586 / total #impl: 582168394 (eff. 0.262)
407.22/407.30	c #Conflicts:      43000 | #Learnt:       9217 | 0.857
407.22/407.30	c total clause space: 206.656MB
407.22/407.30	c total #watches: 1198155
414.52/414.69	c total #propagations: 153947439 / total #impl: 588246920 (eff. 0.262)
414.52/414.69	c GC COLLECT
414.52/414.69	c #Conflicts:      44000 | #Learnt:       5228 | 0.838
414.52/414.69	c total clause space: 206.656MB
414.52/414.69	c total #watches: 819935
420.62/420.71	c total #propagations: 155821179 / total #impl: 595739134 (eff. 0.262)
420.62/420.71	c #Conflicts:      45000 | #Learnt:       6227 | 0.820
420.62/420.71	c total clause space: 206.656MB
420.62/420.71	c total #watches: 834412
427.52/427.66	c total #propagations: 157592871 / total #impl: 602404177 (eff. 0.262)
427.52/427.66	c #Conflicts:      46000 | #Learnt:       7227 | 0.803
427.52/427.66	c total clause space: 206.656MB
427.52/427.66	c total #watches: 891115
434.32/434.49	c total #propagations: 159262517 / total #impl: 615641097 (eff. 0.259)
434.32/434.49	c #Conflicts:      47000 | #Learnt:       8226 | 0.790
434.32/434.49	c total clause space: 206.656MB
434.32/434.49	c total #watches: 1026912
441.12/441.28	c total #propagations: 162116764 / total #impl: 628490084 (eff. 0.258)
441.12/441.28	c #Conflicts:      48000 | #Learnt:       9226 | 0.774
441.12/441.28	c total clause space: 206.656MB
441.12/441.28	c total #watches: 1062253
450.12/450.28	c total #propagations: 165250784 / total #impl: 640650058 (eff. 0.258)
450.12/450.28	c #Conflicts:      49000 | #Learnt:      10226 | 0.762
450.12/450.28	c total clause space: 335.816MB
450.12/450.28	c total #watches: 1492882
458.62/458.78	c total #propagations: 168895821 / total #impl: 649819721 (eff. 0.260)
458.62/458.78	c GC COLLECT
458.62/458.78	c #Conflicts:      50000 | #Learnt:       5916 | 0.748
458.62/458.78	c total clause space: 335.816MB
458.62/458.78	c total #watches: 1322404
465.12/465.21	c total #propagations: 172193096 / total #impl: 661666455 (eff. 0.260)
465.12/465.21	c #Conflicts:      51000 | #Learnt:       6916 | 0.734
465.12/465.21	c total clause space: 335.816MB
465.12/465.21	c total #watches: 1410791
471.92/472.03	c total #propagations: 175838863 / total #impl: 669987287 (eff. 0.262)
471.92/472.03	c #Conflicts:      52000 | #Learnt:       7916 | 0.720
471.92/472.03	c total clause space: 335.816MB
471.92/472.03	c total #watches: 1501882
479.01/479.13	c total #propagations: 178227276 / total #impl: 676690227 (eff. 0.263)
479.01/479.13	c #Conflicts:      53000 | #Learnt:       8916 | 0.724
479.01/479.13	c total clause space: 335.816MB
479.01/479.13	c total #watches: 1604494
488.91/489.04	c total #propagations: 179680492 / total #impl: 683606487 (eff. 0.263)
488.91/489.04	c #Conflicts:      54000 | #Learnt:       9916 | 0.711
488.91/489.04	c total clause space: 335.816MB
488.91/489.04	c total #watches: 1829229
499.71/499.84	c total #propagations: 184295110 / total #impl: 694773294 (eff. 0.265)
499.71/499.84	c #Conflicts:      55000 | #Learnt:      10915 | 0.699
499.71/499.84	c total clause space: 335.816MB
499.71/499.84	c total #watches: 1933058
507.21/507.37	c total #propagations: 187511945 / total #impl: 705047646 (eff. 0.266)
507.21/507.37	c GC COLLECT
507.21/507.37	c #Conflicts:      56000 | #Learnt:       6305 | 0.687
507.21/507.37	c total clause space: 335.816MB
507.21/507.37	c total #watches: 1771127
517.80/517.98	c total #propagations: 191100952 / total #impl: 713064696 (eff. 0.268)
517.80/517.98	c #Conflicts:      57000 | #Learnt:       7305 | 0.676
517.80/517.98	c total clause space: 335.816MB
517.80/517.98	c total #watches: 1877454
526.71/526.80	c total #propagations: 195681005 / total #impl: 727476775 (eff. 0.269)
526.71/526.80	c #Conflicts:      58000 | #Learnt:       8305 | 0.665
526.71/526.80	c total clause space: 335.816MB
526.71/526.80	c total #watches: 1909512
535.91/536.01	c total #propagations: 199199394 / total #impl: 737540031 (eff. 0.270)
535.91/536.01	c #Conflicts:      59000 | #Learnt:       9305 | 0.662
535.91/536.01	c total clause space: 335.816MB
535.91/536.01	c total #watches: 1964845
543.31/543.42	c total #propagations: 204108147 / total #impl: 748082967 (eff. 0.273)
543.31/543.42	c #Conflicts:      60000 | #Learnt:      10305 | 0.654
543.31/543.42	c total clause space: 335.816MB
543.31/543.42	c total #watches: 1980935
550.20/550.38	c total #propagations: 206461326 / total #impl: 753880565 (eff. 0.274)
550.20/550.38	c #Conflicts:      61000 | #Learnt:      11305 | 0.644
550.20/550.38	c total clause space: 335.816MB
550.20/550.38	c total #watches: 2017416
557.50/557.60	c total #propagations: 208759817 / total #impl: 759443611 (eff. 0.275)
557.50/557.60	c GC COLLECT
557.50/557.60	c #Conflicts:      62000 | #Learnt:       6404 | 0.634
557.50/557.60	c total clause space: 335.816MB
557.50/557.60	c total #watches: 1301789
564.80/564.91	c total #propagations: 210653941 / total #impl: 764505863 (eff. 0.276)
564.80/564.91	c #Conflicts:      63000 | #Learnt:       7404 | 0.626
564.80/564.91	c total clause space: 335.816MB
564.80/564.91	c total #watches: 1375900
573.50/573.68	c total #propagations: 213409032 / total #impl: 769870711 (eff. 0.277)
573.50/573.68	c #Conflicts:      64000 | #Learnt:       8404 | 0.616
573.50/573.68	c total clause space: 335.816MB
573.50/573.68	c total #watches: 1438819
582.70/582.84	c total #propagations: 218290635 / total #impl: 781232021 (eff. 0.279)
582.70/582.84	c #Conflicts:      65000 | #Learnt:       9404 | 0.609
582.70/582.84	c total clause space: 335.816MB
582.70/582.84	c total #watches: 1503885
591.39/591.55	c total #propagations: 222375682 / total #impl: 792549214 (eff. 0.281)
591.39/591.55	c #Conflicts:      66000 | #Learnt:      10402 | 0.636
591.39/591.55	c total clause space: 335.816MB
591.39/591.55	c total #watches: 1569077
601.19/601.36	c total #propagations: 226162554 / total #impl: 804094475 (eff. 0.281)
601.19/601.36	c #Conflicts:      67000 | #Learnt:      11402 | 0.628
601.19/601.36	c total clause space: 335.816MB
601.19/601.36	c total #watches: 1659988
610.79/610.97	c total #propagations: 230769365 / total #impl: 814855412 (eff. 0.283)
610.79/610.97	c #Conflicts:      68000 | #Learnt:      12399 | 0.629
610.79/610.97	c total clause space: 335.816MB
610.79/610.97	c total #watches: 1736315
620.79/620.92	c total #propagations: 234134377 / total #impl: 824678965 (eff. 0.284)
620.79/620.92	c GC COLLECT
620.79/620.92	c #Conflicts:      69000 | #Learnt:       7208 | 0.620
620.79/620.92	c total clause space: 335.816MB
620.79/620.92	c total #watches: 1262762
627.79/627.90	c total #propagations: 238362173 / total #impl: 838003682 (eff. 0.284)
627.79/627.90	c #Conflicts:      70000 | #Learnt:       8208 | 0.612
627.79/627.90	c total clause space: 335.816MB
627.79/627.90	c total #watches: 1313926
637.68/637.82	c total #propagations: 240115456 / total #impl: 844817653 (eff. 0.284)
637.68/637.82	c #Conflicts:      71000 | #Learnt:       9208 | 0.605
637.68/637.82	c total clause space: 335.816MB
637.68/637.82	c total #watches: 1391410
652.88/653.00	c total #propagations: 241985223 / total #impl: 850400171 (eff. 0.285)
652.88/653.00	c #Conflicts:      72000 | #Learnt:      10208 | 0.599
652.88/653.00	c total clause space: 335.816MB
652.88/653.00	c total #watches: 1440663
664.78/664.93	c total #propagations: 244700359 / total #impl: 859273224 (eff. 0.285)
664.78/664.93	c #Conflicts:      73000 | #Learnt:      11207 | 0.593
664.78/664.93	c total clause space: 335.816MB
664.78/664.93	c total #watches: 1546583
676.59/676.77	c total #propagations: 246690850 / total #impl: 867361533 (eff. 0.284)
676.59/676.77	c #Conflicts:      74000 | #Learnt:      12207 | 0.586
676.59/676.77	c total clause space: 335.816MB
676.59/676.77	c total #watches: 1705550
686.18/686.39	c total #propagations: 249875111 / total #impl: 875736004 (eff. 0.285)
686.18/686.39	c GC COLLECT
686.18/686.39	c #Conflicts:      75000 | #Learnt:       6705 | 0.613
686.18/686.39	c total clause space: 335.816MB
686.18/686.39	c total #watches: 1554653
696.58/696.75	c total #propagations: 253082984 / total #impl: 882420813 (eff. 0.287)
696.58/696.75	c #Conflicts:      76000 | #Learnt:       7705 | 0.606
696.58/696.75	c total clause space: 335.816MB
696.58/696.75	c total #watches: 1605389
706.48/706.60	c total #propagations: 256121099 / total #impl: 918364373 (eff. 0.279)
706.48/706.60	c #Conflicts:      77000 | #Learnt:       8704 | 0.598
706.48/706.60	c total clause space: 335.816MB
706.48/706.60	c total #watches: 1611460
715.87/716.05	c total #propagations: 260524778 / total #impl: 951851911 (eff. 0.274)
715.87/716.05	c #Conflicts:      78000 | #Learnt:       9704 | 0.591
715.87/716.05	c total clause space: 335.816MB
715.87/716.05	c total #watches: 1624197
726.07/726.28	c total #propagations: 264745216 / total #impl: 962645400 (eff. 0.275)
726.07/726.28	c #Conflicts:      79000 | #Learnt:      10704 | 0.583
726.07/726.28	c total clause space: 335.816MB
726.07/726.28	c total #watches: 1627614
733.68/733.83	c total #propagations: 270070014 / total #impl: 972074815 (eff. 0.278)
733.68/733.83	c #Conflicts:      80000 | #Learnt:      11704 | 0.576
733.68/733.83	c total clause space: 335.816MB
733.68/733.83	c total #watches: 1645100
741.17/741.34	c total #propagations: 273479302 / total #impl: 978883970 (eff. 0.279)
741.17/741.34	c #Conflicts:      81000 | #Learnt:      12704 | 0.569
741.17/741.34	c total clause space: 335.816MB
741.17/741.34	c total #watches: 1650261
748.17/748.38	c total #propagations: 276595684 / total #impl: 985200432 (eff. 0.281)
748.17/748.38	c GC COLLECT
748.17/748.38	c #Conflicts:      82000 | #Learnt:       6903 | 0.562
748.17/748.38	c total clause space: 335.816MB
748.17/748.38	c total #watches: 1358544
755.87/756.07	c total #propagations: 280307340 / total #impl: 997767561 (eff. 0.281)
755.87/756.07	c #Conflicts:      83000 | #Learnt:       7903 | 0.556
755.87/756.07	c total clause space: 335.816MB
755.87/756.07	c total #watches: 1377383
763.67/763.83	c total #propagations: 284838180 / total #impl: 1006847213 (eff. 0.283)
763.67/763.83	c #Conflicts:      84000 | #Learnt:       8903 | 0.550
763.67/763.83	c total clause space: 335.816MB
763.67/763.83	c total #watches: 1396555
770.57/770.73	c total #propagations: 289223669 / total #impl: 1015636575 (eff. 0.285)
770.57/770.73	c #Conflicts:      85000 | #Learnt:       9903 | 0.543
770.57/770.73	c total clause space: 335.816MB
770.57/770.73	c total #watches: 1420659
778.07/778.26	c total #propagations: 293598415 / total #impl: 1022526844 (eff. 0.287)
778.07/778.26	c #Conflicts:      86000 | #Learnt:      10903 | 0.537
778.07/778.26	c total clause space: 335.816MB
778.07/778.26	c total #watches: 1431700
785.57/785.70	c total #propagations: 297537616 / total #impl: 1029377866 (eff. 0.289)
785.57/785.70	c #Conflicts:      87000 | #Learnt:      11903 | 0.533
785.57/785.70	c total clause space: 335.816MB
785.57/785.70	c total #watches: 1472950
792.97/793.12	c total #propagations: 301560044 / total #impl: 1036228859 (eff. 0.291)
792.97/793.12	c #Conflicts:      88000 | #Learnt:      12903 | 0.527
792.97/793.12	c total clause space: 335.816MB
792.97/793.12	c total #watches: 1498560
802.07/802.24	c total #propagations: 306668508 / total #impl: 1043787234 (eff. 0.294)
802.07/802.24	c #Conflicts:      89000 | #Learnt:      13903 | 0.521
802.07/802.24	c total clause space: 335.816MB
802.07/802.24	c total #watches: 1517298
810.27/810.45	c total #propagations: 310759924 / total #impl: 1050699968 (eff. 0.296)
810.27/810.45	c GC COLLECT
810.27/810.45	c #Conflicts:      90000 | #Learnt:       7814 | 0.516
810.27/810.45	c total clause space: 335.816MB
810.27/810.45	c total #watches: 858093
817.16/817.37	c total #propagations: 314829491 / total #impl: 1058445779 (eff. 0.297)
817.16/817.37	c #Conflicts:      91000 | #Learnt:       8814 | 0.511
817.16/817.37	c total clause space: 335.816MB
817.16/817.37	c total #watches: 869036
823.06/823.29	c total #propagations: 319181303 / total #impl: 1067526957 (eff. 0.299)
823.06/823.29	c #Conflicts:      92000 | #Learnt:       9814 | 0.506
823.06/823.29	c total clause space: 335.816MB
823.06/823.29	c total #watches: 898233
830.55/830.78	c total #propagations: 322415411 / total #impl: 1073537875 (eff. 0.300)
830.55/830.78	c #Conflicts:      93000 | #Learnt:      10814 | 0.501
830.55/830.78	c total clause space: 335.816MB
830.55/830.78	c total #watches: 903313
837.96/838.12	c total #propagations: 325827096 / total #impl: 1081998680 (eff. 0.301)
837.96/838.12	c #Conflicts:      94000 | #Learnt:      11814 | 0.496
837.96/838.12	c total clause space: 335.816MB
837.96/838.12	c total #watches: 916256
844.35/844.59	c total #propagations: 329638085 / total #impl: 1090953637 (eff. 0.302)
844.35/844.59	c #Conflicts:      95000 | #Learnt:      12814 | 0.490
844.35/844.59	c total clause space: 335.816MB
844.35/844.59	c total #watches: 925589
851.37/851.53	c total #propagations: 333318421 / total #impl: 1098076690 (eff. 0.304)
851.37/851.53	c #Conflicts:      96000 | #Learnt:      13814 | 0.485
851.37/851.53	c total clause space: 335.816MB
851.37/851.53	c total #watches: 945482
857.87/858.06	c total #propagations: 336775283 / total #impl: 1106584779 (eff. 0.304)
857.87/858.06	c #Conflicts:      97000 | #Learnt:      14814 | 0.480
857.87/858.06	c total clause space: 335.816MB
857.87/858.06	c total #watches: 957219
863.96/864.17	c total #propagations: 340930915 / total #impl: 1114000362 (eff. 0.306)
863.96/864.17	c GC COLLECT
863.96/864.17	c #Conflicts:      98000 | #Learnt:       8411 | 0.475
863.96/864.17	c total clause space: 335.816MB
863.96/864.17	c total #watches: 732664
870.15/870.31	c total #propagations: 345488130 / total #impl: 1122957539 (eff. 0.308)
870.15/870.31	c #Conflicts:      99000 | #Learnt:       9411 | 0.471
870.15/870.31	c total clause space: 335.816MB
870.15/870.31	c total #watches: 741353
875.86/876.04	c total #propagations: 349498901 / total #impl: 1133248892 (eff. 0.308)
875.86/876.04	c #Conflicts:     100000 | #Learnt:      10411 | 0.466
875.86/876.04	c total clause space: 335.816MB
875.86/876.04	c total #watches: 769721
881.86/882.02	c total #propagations: 353677983 / total #impl: 1142561939 (eff. 0.310)
881.86/882.02	c #Conflicts:     101000 | #Learnt:      11411 | 0.461
881.86/882.02	c total clause space: 335.816MB
881.86/882.02	c total #watches: 795322
888.35/888.52	c total #propagations: 357308107 / total #impl: 1151264813 (eff. 0.310)
888.35/888.52	c #Conflicts:     102000 | #Learnt:      12411 | 0.457
888.35/888.52	c total clause space: 335.816MB
888.35/888.52	c total #watches: 821563
894.75/894.98	c total #propagations: 360966782 / total #impl: 1161603250 (eff. 0.311)
894.75/894.98	c #Conflicts:     103000 | #Learnt:      13411 | 0.453
894.75/894.98	c total clause space: 335.816MB
894.75/894.98	c total #watches: 838247
902.64/902.81	c total #propagations: 364004112 / total #impl: 1172723696 (eff. 0.310)
902.64/902.81	c #Conflicts:     104000 | #Learnt:      14409 | 0.466
902.64/902.81	c total clause space: 335.816MB
902.64/902.81	c total #watches: 935777
910.55/910.77	c total #propagations: 365529775 / total #impl: 1181718325 (eff. 0.309)
910.55/910.77	c #Conflicts:     105000 | #Learnt:      15409 | 0.472
910.55/910.77	c total clause space: 335.816MB
910.55/910.77	c total #watches: 984663
917.26/917.46	c total #propagations: 367038777 / total #impl: 1196194635 (eff. 0.307)
917.26/917.46	c GC COLLECT
917.26/917.46	c #Conflicts:     106000 | #Learnt:       8525 | 0.482
917.26/917.46	c total clause space: 335.816MB
917.26/917.46	c total #watches: 934287
925.05/925.24	c total #propagations: 369819214 / total #impl: 1208781180 (eff. 0.306)
925.05/925.24	c #Conflicts:     107000 | #Learnt:       9525 | 0.479
925.05/925.24	c total clause space: 335.816MB
925.05/925.24	c total #watches: 1004258
931.44/931.66	c total #propagations: 373431632 / total #impl: 1222896959 (eff. 0.305)
931.44/931.66	c #Conflicts:     108000 | #Learnt:      10525 | 0.486
931.44/931.66	c total clause space: 335.816MB
931.44/931.66	c total #watches: 1044977
936.64/936.86	c total #propagations: 376275971 / total #impl: 1232161170 (eff. 0.305)
936.64/936.86	c #Conflicts:     109000 | #Learnt:      11525 | 0.481
936.64/936.86	c total clause space: 335.816MB
936.64/936.86	c total #watches: 1047994
942.24/942.48	c total #propagations: 378604390 / total #impl: 1237680206 (eff. 0.306)
942.24/942.48	c #Conflicts:     110000 | #Learnt:      12525 | 0.477
942.24/942.48	c total clause space: 335.816MB
942.24/942.48	c total #watches: 1133418
948.94/949.16	c total #propagations: 380768830 / total #impl: 1246475533 (eff. 0.305)
948.94/949.16	c #Conflicts:     111000 | #Learnt:      13525 | 0.475
948.94/949.16	c total clause space: 335.816MB
948.94/949.16	c total #watches: 1184824
955.34/955.57	c total #propagations: 382892622 / total #impl: 1256664965 (eff. 0.305)
955.34/955.57	c #Conflicts:     112000 | #Learnt:      14525 | 0.472
955.34/955.57	c total clause space: 335.816MB
955.34/955.57	c total #watches: 1222508
961.74/961.93	c total #propagations: 384973879 / total #impl: 1264157078 (eff. 0.305)
961.74/961.93	c #Conflicts:     113000 | #Learnt:      15524 | 0.468
961.74/961.93	c total clause space: 335.816MB
961.74/961.93	c total #watches: 1265399
968.84/969.00	c total #propagations: 387558285 / total #impl: 1271321486 (eff. 0.305)
968.84/969.00	c GC COLLECT
968.84/969.00	c #Conflicts:     114000 | #Learnt:       6717 | 0.471
968.84/969.00	c total clause space: 335.816MB
968.84/969.00	c total #watches: 1156566
979.84/980.08	c total #propagations: 389406072 / total #impl: 1280623440 (eff. 0.304)
979.84/980.08	c #Conflicts:     115000 | #Learnt:       7717 | 0.475
979.84/980.08	c total clause space: 335.816MB
979.84/980.08	c total #watches: 1166268
987.75/987.96	c total #propagations: 392645750 / total #impl: 1300970387 (eff. 0.302)
987.75/987.96	c #Conflicts:     116000 | #Learnt:       8717 | 0.471
987.75/987.96	c total clause space: 335.816MB
987.75/987.96	c total #watches: 1193837
995.23/995.47	c total #propagations: 396300779 / total #impl: 1319896041 (eff. 0.300)
995.23/995.47	c #Conflicts:     117000 | #Learnt:       9717 | 0.467
995.23/995.47	c total clause space: 335.816MB
995.23/995.47	c total #watches: 1213241
1001.94/1002.13	c total #propagations: 400256245 / total #impl: 1336040048 (eff. 0.300)
1001.94/1002.13	c #Conflicts:     118000 | #Learnt:      10717 | 0.463
1001.94/1002.13	c total clause space: 335.816MB
1001.94/1002.13	c total #watches: 1245496
1008.54/1008.71	c total #propagations: 404214611 / total #impl: 1348418036 (eff. 0.300)
1008.54/1008.71	c #Conflicts:     119000 | #Learnt:      11717 | 0.459
1008.54/1008.71	c total clause space: 335.816MB
1008.54/1008.71	c total #watches: 1257226
1015.53/1015.76	c total #propagations: 407739565 / total #impl: 1358576067 (eff. 0.300)
1015.53/1015.76	c #Conflicts:     120000 | #Learnt:      12717 | 0.456
1015.53/1015.76	c total clause space: 335.816MB
1015.53/1015.76	c total #watches: 1327468
1022.03/1022.28	c total #propagations: 410993296 / total #impl: 1368163717 (eff. 0.300)
1022.03/1022.28	c #Conflicts:     121000 | #Learnt:      13717 | 0.452
1022.03/1022.28	c total clause space: 335.816MB
1022.03/1022.28	c total #watches: 1352268
1029.03/1029.27	c total #propagations: 413456006 / total #impl: 1375840576 (eff. 0.301)
1029.03/1029.27	c GC COLLECT
1029.03/1029.27	c #Conflicts:     122000 | #Learnt:       7404 | 0.448
1029.03/1029.27	c total clause space: 335.816MB
1029.03/1029.27	c total #watches: 1121970
1037.23/1037.49	c total #propagations: 415855594 / total #impl: 1380682140 (eff. 0.301)
1037.23/1037.49	c #Conflicts:     123000 | #Learnt:       8404 | 0.445
1037.23/1037.49	c total clause space: 335.816MB
1037.23/1037.49	c total #watches: 1131181
1043.33/1043.53	c total #propagations: 418356451 / total #impl: 1391244859 (eff. 0.301)
1043.33/1043.53	c #Conflicts:     124000 | #Learnt:       9404 | 0.441
1043.33/1043.53	c total clause space: 335.816MB
1043.33/1043.53	c total #watches: 1144710
1051.63/1051.86	c total #propagations: 420515436 / total #impl: 1397204251 (eff. 0.301)
1051.63/1051.86	c #Conflicts:     125000 | #Learnt:      10404 | 0.439
1051.63/1051.86	c total clause space: 335.816MB
1051.63/1051.86	c total #watches: 1167348
1059.13/1059.38	c total #propagations: 423006474 / total #impl: 1407692433 (eff. 0.300)
1059.13/1059.38	c #Conflicts:     126000 | #Learnt:      11404 | 0.439
1059.13/1059.38	c total clause space: 335.816MB
1059.13/1059.38	c total #watches: 1265905
1067.52/1067.79	c total #propagations: 425166466 / total #impl: 1416892430 (eff. 0.300)
1067.52/1067.79	c #Conflicts:     127000 | #Learnt:      12404 | 0.436
1067.52/1067.79	c total clause space: 335.816MB
1067.52/1067.79	c total #watches: 1296354
1076.32/1076.53	c total #propagations: 429251564 / total #impl: 1439554415 (eff. 0.298)
1076.32/1076.53	c #Conflicts:     128000 | #Learnt:      13404 | 0.433
1076.32/1076.53	c total clause space: 335.816MB
1076.32/1076.53	c total #watches: 1323157
1083.52/1083.76	c total #propagations: 434087378 / total #impl: 1453575618 (eff. 0.299)
1083.52/1083.76	c #Conflicts:     129000 | #Learnt:      14404 | 0.430
1083.52/1083.76	c total clause space: 335.816MB
1083.52/1083.76	c total #watches: 1356480
1093.52/1093.73	c total #propagations: 438827853 / total #impl: 1461452916 (eff. 0.300)
1093.52/1093.73	c #Conflicts:     130000 | #Learnt:      15404 | 0.429
1093.52/1093.73	c total clause space: 335.816MB
1093.52/1093.73	c total #watches: 1367000
1100.02/1100.29	c total #propagations: 443837380 / total #impl: 1468075750 (eff. 0.302)
1100.02/1100.29	c GC COLLECT
1100.02/1100.29	c #Conflicts:     131000 | #Learnt:       7049 | 0.426
1100.02/1100.29	c total clause space: 335.816MB
1100.02/1100.29	c total #watches: 1087820
1109.52/1109.78	c total #propagations: 446031614 / total #impl: 1474698774 (eff. 0.302)
1109.52/1109.78	c #Conflicts:     132000 | #Learnt:       8049 | 0.428
1109.52/1109.78	c total clause space: 335.816MB
1109.52/1109.78	c total #watches: 1215546
1117.91/1118.12	c total #propagations: 449374506 / total #impl: 1485159291 (eff. 0.303)
1117.91/1118.12	c #Conflicts:     133000 | #Learnt:       9049 | 0.426
1117.91/1118.12	c total clause space: 335.816MB
1117.91/1118.12	c total #watches: 1277471
1124.92/1125.10	c total #propagations: 452941683 / total #impl: 1492820822 (eff. 0.303)
1124.92/1125.10	c #Conflicts:     134000 | #Learnt:      10049 | 0.423
1124.92/1125.10	c total clause space: 335.816MB
1124.92/1125.10	c total #watches: 1288961
1133.21/1133.49	c total #propagations: 454975195 / total #impl: 1496750370 (eff. 0.304)
1133.21/1133.49	c #Conflicts:     135000 | #Learnt:      11049 | 0.420
1133.21/1133.49	c total clause space: 335.816MB
1133.21/1133.49	c total #watches: 1337800
1142.81/1143.05	c total #propagations: 457011966 / total #impl: 1507290246 (eff. 0.303)
1142.81/1143.05	c #Conflicts:     136000 | #Learnt:      12049 | 0.418
1142.81/1143.05	c total clause space: 335.816MB
1142.81/1143.05	c total #watches: 1411570
1150.91/1151.19	c total #propagations: 460607906 / total #impl: 1518011738 (eff. 0.303)
1150.91/1151.19	c #Conflicts:     137000 | #Learnt:      13049 | 0.415
1150.91/1151.19	c total clause space: 335.816MB
1150.91/1151.19	c total #watches: 1492682
1159.22/1159.44	c total #propagations: 464854750 / total #impl: 1527093327 (eff. 0.304)
1159.22/1159.44	c #Conflicts:     138000 | #Learnt:      14049 | 0.412
1159.22/1159.44	c total clause space: 335.816MB
1159.22/1159.44	c total #watches: 1593255
1168.11/1168.35	c total #propagations: 469084945 / total #impl: 1534316214 (eff. 0.306)
1168.11/1168.35	c #Conflicts:     139000 | #Learnt:      15049 | 0.410
1168.11/1168.35	c total clause space: 335.816MB
1168.11/1168.35	c total #watches: 1635176
1177.11/1177.35	c total #propagations: 473561359 / total #impl: 1541862273 (eff. 0.307)
1177.11/1177.35	c #Conflicts:     140000 | #Learnt:      16049 | 0.407
1177.11/1177.35	c total clause space: 335.816MB
1177.11/1177.35	c total #watches: 1671720
1186.00/1186.29	c total #propagations: 477920968 / total #impl: 1550217946 (eff. 0.308)
1186.00/1186.29	c GC COLLECT
1186.00/1186.29	c #Conflicts:     141000 | #Learnt:       8569 | 0.406
1186.00/1186.29	c total clause space: 335.816MB
1186.00/1186.29	c total #watches: 1437351
1194.70/1194.92	c total #propagations: 482406546 / total #impl: 1559407596 (eff. 0.309)
1194.70/1194.92	c #Conflicts:     142000 | #Learnt:       9569 | 0.403
1194.70/1194.92	c total clause space: 335.816MB
1194.70/1194.92	c total #watches: 1470123
1206.11/1206.39	c total #propagations: 486028402 / total #impl: 1567391063 (eff. 0.310)
1206.11/1206.39	c #Conflicts:     143000 | #Learnt:      10569 | 0.401
1206.11/1206.39	c total clause space: 335.816MB
1206.11/1206.39	c total #watches: 1490756
1214.60/1214.85	c total #propagations: 490212588 / total #impl: 1574347862 (eff. 0.311)
1214.60/1214.85	c #Conflicts:     144000 | #Learnt:      11569 | 0.398
1214.60/1214.85	c total clause space: 335.816MB
1214.60/1214.85	c total #watches: 1494545
1225.00/1225.21	c total #propagations: 493424785 / total #impl: 1580918675 (eff. 0.312)
1225.00/1225.21	c #Conflicts:     145000 | #Learnt:      12568 | 0.395
1225.00/1225.21	c total clause space: 335.816MB
1225.00/1225.21	c total #watches: 1523860
1234.70/1234.99	c total #propagations: 496817019 / total #impl: 1588391425 (eff. 0.313)
1234.70/1234.99	c #Conflicts:     146000 | #Learnt:      13568 | 0.393
1234.70/1234.99	c total clause space: 335.816MB
1234.70/1234.99	c total #watches: 1544308
1243.60/1243.81	c total #propagations: 499097929 / total #impl: 1598730700 (eff. 0.312)
1243.60/1243.81	c #Conflicts:     147000 | #Learnt:      14568 | 0.390
1243.60/1243.81	c total clause space: 335.816MB
1243.60/1243.81	c total #watches: 1572705
1253.00/1253.21	c total #propagations: 500979226 / total #impl: 1604922687 (eff. 0.312)
1253.00/1253.21	c #Conflicts:     148000 | #Learnt:      15568 | 0.388
1253.00/1253.21	c total clause space: 335.816MB
1253.00/1253.21	c total #watches: 1583030
1260.70/1260.93	c total #propagations: 503802226 / total #impl: 1612108207 (eff. 0.313)
1260.70/1260.93	c #Conflicts:     149000 | #Learnt:      16568 | 0.385
1260.70/1260.93	c total clause space: 335.816MB
1260.70/1260.93	c total #watches: 1585946
1268.79/1269.03	c total #propagations: 507018857 / total #impl: 1618148292 (eff. 0.313)
1268.79/1269.03	c GC COLLECT
1268.79/1269.03	c #Conflicts:     150000 | #Learnt:       8407 | 0.383
1268.79/1269.03	c total clause space: 335.816MB
1268.79/1269.03	c total #watches: 1154058
1273.29/1273.53	c total #propagations: 509710162 / total #impl: 1627889795 (eff. 0.313)
1273.29/1273.53	c #Conflicts:     151000 | #Learnt:       9407 | 0.381
1273.29/1273.53	c total clause space: 335.816MB
1273.29/1273.53	c total #watches: 1196424
1284.19/1284.43	c total #propagations: 511901196 / total #impl: 1638051017 (eff. 0.313)
1284.19/1284.43	c #Conflicts:     152000 | #Learnt:      10407 | 0.385
1284.19/1284.43	c total clause space: 335.816MB
1284.19/1284.43	c total #watches: 1259151
1292.19/1292.47	c total #propagations: 516429816 / total #impl: 1649995875 (eff. 0.313)
1292.19/1292.47	c #Conflicts:     153000 | #Learnt:      11406 | 0.386
1292.19/1292.47	c total clause space: 335.816MB
1292.19/1292.47	c total #watches: 1304841
1303.99/1304.23	c total #propagations: 520148872 / total #impl: 1662149930 (eff. 0.313)
1303.99/1304.23	c #Conflicts:     154000 | #Learnt:      12406 | 0.384
1303.99/1304.23	c total clause space: 335.816MB
1303.99/1304.23	c total #watches: 1392897
1313.49/1313.77	c total #propagations: 521808204 / total #impl: 1672723266 (eff. 0.312)
1313.49/1313.77	c #Conflicts:     155000 | #Learnt:      13406 | 0.382
1313.49/1313.77	c total clause space: 335.816MB
1313.49/1313.77	c total #watches: 1422287
1323.68/1323.91	c total #propagations: 524433493 / total #impl: 1685228803 (eff. 0.311)
1323.68/1323.91	c #Conflicts:     156000 | #Learnt:      14406 | 0.381
1323.68/1323.91	c total clause space: 335.816MB
1323.68/1323.91	c total #watches: 1464007
1330.98/1331.25	c total #propagations: 526527909 / total #impl: 1694440319 (eff. 0.311)
1330.98/1331.25	c #Conflicts:     157000 | #Learnt:      15406 | 0.379
1330.98/1331.25	c total clause space: 335.816MB
1330.98/1331.25	c total #watches: 1485399
1339.98/1340.29	c total #propagations: 529849400 / total #impl: 1703418819 (eff. 0.311)
1339.98/1340.29	c #Conflicts:     158000 | #Learnt:      16406 | 0.377
1339.98/1340.29	c total clause space: 335.816MB
1339.98/1340.29	c total #watches: 1588933
1348.88/1349.11	c total #propagations: 532696780 / total #impl: 1711003566 (eff. 0.311)
1348.88/1349.11	c #Conflicts:     159000 | #Learnt:      17406 | 0.375
1348.88/1349.11	c total clause space: 335.816MB
1348.88/1349.11	c total #watches: 1601105
1357.28/1357.59	c total #propagations: 535451658 / total #impl: 1718792295 (eff. 0.312)
1357.28/1357.59	c GC COLLECT
1357.28/1357.59	c #Conflicts:     160000 | #Learnt:       7417 | 0.373
1357.28/1357.59	c total clause space: 335.816MB
1357.28/1357.59	c total #watches: 1356321
1364.88/1365.12	c total #propagations: 540060505 / total #impl: 1727690129 (eff. 0.313)
1364.88/1365.12	c #Conflicts:     161000 | #Learnt:       8417 | 0.371
1364.88/1365.12	c total clause space: 335.816MB
1364.88/1365.12	c total #watches: 1398851
1371.59/1371.83	c total #propagations: 543598574 / total #impl: 1736569243 (eff. 0.313)
1371.59/1371.83	c #Conflicts:     162000 | #Learnt:       9417 | 0.370
1371.59/1371.83	c total clause space: 335.816MB
1371.59/1371.83	c total #watches: 1449312
1378.19/1378.41	c total #propagations: 545856334 / total #impl: 1743579757 (eff. 0.313)
1378.19/1378.41	c #Conflicts:     163000 | #Learnt:      10417 | 0.377
1378.19/1378.41	c total clause space: 335.816MB
1378.19/1378.41	c total #watches: 1476597
1384.28/1384.53	c total #propagations: 549429896 / total #impl: 1755207403 (eff. 0.313)
1384.28/1384.53	c #Conflicts:     164000 | #Learnt:      11417 | 0.375
1384.28/1384.53	c total clause space: 335.816MB
1384.28/1384.53	c total #watches: 1545573
1390.37/1390.60	c total #propagations: 553333260 / total #impl: 1766756786 (eff. 0.313)
1390.37/1390.60	c #Conflicts:     165000 | #Learnt:      12417 | 0.373
1390.37/1390.60	c total clause space: 335.816MB
1390.37/1390.60	c total #watches: 1578435
1396.78/1397.03	c total #propagations: 557039811 / total #impl: 1775697642 (eff. 0.314)
1396.78/1397.03	c #Conflicts:     166000 | #Learnt:      13417 | 0.371
1396.78/1397.03	c total clause space: 335.816MB
1396.78/1397.03	c total #watches: 1596689
1403.48/1403.72	c total #propagations: 560032436 / total #impl: 1782691147 (eff. 0.314)
1403.48/1403.72	c #Conflicts:     167000 | #Learnt:      14417 | 0.369
1403.48/1403.72	c total clause space: 335.816MB
1403.48/1403.72	c total #watches: 1600153
1411.47/1411.77	c total #propagations: 563810474 / total #impl: 1790651112 (eff. 0.315)
1411.47/1411.77	c #Conflicts:     168000 | #Learnt:      15417 | 0.367
1411.47/1411.77	c total clause space: 335.816MB
1411.47/1411.77	c total #watches: 1630634
1418.27/1418.58	c total #propagations: 566810946 / total #impl: 1796427386 (eff. 0.316)
1418.27/1418.58	c #Conflicts:     169000 | #Learnt:      16415 | 0.366
1418.27/1418.58	c total clause space: 335.816MB
1418.27/1418.58	c total #watches: 1662723
1425.87/1426.10	c total #propagations: 568398830 / total #impl: 1802758342 (eff. 0.315)
1425.87/1426.10	c GC COLLECT
1425.87/1426.10	c #Conflicts:     170000 | #Learnt:       7322 | 0.364
1425.87/1426.10	c total clause space: 335.816MB
1425.87/1426.10	c total #watches: 1361049
1438.77/1439.05	c total #propagations: 570863796 / total #impl: 1808352778 (eff. 0.316)
1438.77/1439.05	c #Conflicts:     171000 | #Learnt:       8322 | 0.362
1438.77/1439.05	c total clause space: 335.816MB
1438.77/1439.05	c total #watches: 1404769
1448.17/1448.40	c total #propagations: 573474877 / total #impl: 1818227296 (eff. 0.315)
1448.17/1448.40	c #Conflicts:     172000 | #Learnt:       9322 | 0.362
1448.17/1448.40	c total clause space: 335.816MB
1448.17/1448.40	c total #watches: 1466495
1456.87/1457.19	c total #propagations: 575450083 / total #impl: 1830279293 (eff. 0.314)
1456.87/1457.19	c #Conflicts:     173000 | #Learnt:      10322 | 0.361
1456.87/1457.19	c total clause space: 335.816MB
1456.87/1457.19	c total #watches: 1494735
1465.96/1466.24	c total #propagations: 577331359 / total #impl: 1848098273 (eff. 0.312)
1465.96/1466.24	c #Conflicts:     174000 | #Learnt:      11322 | 0.359
1465.96/1466.24	c total clause space: 335.816MB
1465.96/1466.24	c total #watches: 1547607
1475.76/1476.03	c total #propagations: 578475612 / total #impl: 1855983930 (eff. 0.312)
1475.76/1476.03	c #Conflicts:     175000 | #Learnt:      12322 | 0.358
1475.76/1476.03	c total clause space: 335.816MB
1475.76/1476.03	c total #watches: 1613583
1487.16/1487.47	c total #propagations: 579645817 / total #impl: 1864794328 (eff. 0.311)
1487.16/1487.47	c #Conflicts:     176000 | #Learnt:      13322 | 0.443
1487.16/1487.47	c total clause space: 335.816MB
1487.16/1487.47	c total #watches: 1822180
1501.95/1502.23	c total #propagations: 580415998 / total #impl: 1893930967 (eff. 0.306)
1501.95/1502.23	c #Conflicts:     177000 | #Learnt:      14322 | 0.441
1501.95/1502.23	c total clause space: 335.816MB
1501.95/1502.23	c total #watches: 1911753
1519.85/1520.15	c total #propagations: 585245872 / total #impl: 1985369879 (eff. 0.295)
1519.85/1520.15	c #Conflicts:     178000 | #Learnt:      15322 | 0.439
1519.85/1520.15	c total clause space: 335.816MB
1519.85/1520.15	c total #watches: 2007834
1532.45/1532.72	c total #propagations: 589705074 / total #impl: 2083137500 (eff. 0.283)
1532.45/1532.72	c #Conflicts:     179000 | #Learnt:      16322 | 0.437
1532.45/1532.72	c total clause space: 335.816MB
1532.45/1532.72	c total #watches: 2062949
1544.35/1544.61	c total #propagations: 593821643 / total #impl: 2098011890 (eff. 0.283)
1544.35/1544.61	c GC COLLECT
1544.35/1544.61	c #Conflicts:     180000 | #Learnt:       7761 | 0.435
1544.35/1544.61	c total clause space: 335.816MB
1544.35/1544.61	c total #watches: 1776885
1555.95/1556.28	c total #propagations: 598978515 / total #impl: 2109856760 (eff. 0.284)
1555.95/1556.28	c #Conflicts:     181000 | #Learnt:       8761 | 0.434
1555.95/1556.28	c total clause space: 335.816MB
1555.95/1556.28	c total #watches: 1865289
1567.84/1568.11	c total #propagations: 602812118 / total #impl: 2126300977 (eff. 0.284)
1567.84/1568.11	c #Conflicts:     182000 | #Learnt:       9761 | 0.431
1567.84/1568.11	c total clause space: 335.816MB
1567.84/1568.11	c total #watches: 1903333
1580.46/1580.71	c total #propagations: 607087041 / total #impl: 2137593281 (eff. 0.284)
1580.46/1580.71	c #Conflicts:     183000 | #Learnt:      10761 | 0.429
1580.46/1580.71	c total clause space: 335.816MB
1580.46/1580.71	c total #watches: 1924388
1593.25/1593.54	c total #propagations: 610896820 / total #impl: 2147464912 (eff. 0.284)
1593.25/1593.54	c #Conflicts:     184000 | #Learnt:      11761 | 0.428
1593.25/1593.54	c total clause space: 335.816MB
1593.25/1593.54	c total #watches: 1983919
1605.95/1606.20	c total #propagations: 614336193 / total #impl: 2159265658 (eff. 0.285)
1605.95/1606.20	c #Conflicts:     185000 | #Learnt:      12761 | 0.428
1605.95/1606.20	c total clause space: 335.816MB
1605.95/1606.20	c total #watches: 2057515
1618.44/1618.80	c total #propagations: 618622557 / total #impl: 2171077351 (eff. 0.285)
1618.44/1618.80	c #Conflicts:     186000 | #Learnt:      13761 | 0.427
1618.44/1618.80	c total clause space: 335.816MB
1618.44/1618.80	c total #watches: 2119527
1631.94/1632.22	c total #propagations: 623694559 / total #impl: 2184233170 (eff. 0.286)
1631.94/1632.22	c #Conflicts:     187000 | #Learnt:      14761 | 0.425
1631.94/1632.22	c total clause space: 335.816MB
1631.94/1632.22	c total #watches: 2145506
1644.24/1644.51	c total #propagations: 628835585 / total #impl: 2197019459 (eff. 0.286)
1644.24/1644.51	c #Conflicts:     188000 | #Learnt:      15761 | 0.422
1644.24/1644.51	c total clause space: 335.816MB
1644.24/1644.51	c total #watches: 2178036
1656.83/1657.16	c total #propagations: 633818113 / total #impl: 2209345298 (eff. 0.287)
1656.83/1657.16	c #Conflicts:     189000 | #Learnt:      16761 | 0.426
1656.83/1657.16	c total clause space: 335.816MB
1656.83/1657.16	c total #watches: 2244785
1671.23/1671.53	c total #propagations: 639235278 / total #impl: 2221381018 (eff. 0.288)
1671.23/1671.53	c #Conflicts:     190000 | #Learnt:      17761 | 0.424
1671.23/1671.53	c total clause space: 335.816MB
1671.23/1671.53	c total #watches: 2273397
1685.04/1685.38	c total #propagations: 644496098 / total #impl: 2236297257 (eff. 0.288)
1685.04/1685.38	c GC COLLECT
1685.04/1685.38	c #Conflicts:     191000 | #Learnt:       8130 | 0.422
1685.04/1685.38	c total clause space: 545.701MB
1685.04/1685.38	c total #watches: 997007
1695.23/1695.51	c total #propagations: 649677217 / total #impl: 2249293692 (eff. 0.289)
1695.23/1695.51	c #Conflicts:     192000 | #Learnt:       9130 | 0.420
1695.23/1695.51	c total clause space: 545.701MB
1695.23/1695.51	c total #watches: 1045488
1704.63/1704.98	c total #propagations: 654726865 / total #impl: 2262423485 (eff. 0.289)
1704.63/1704.98	c #Conflicts:     193000 | #Learnt:      10130 | 0.418
1704.63/1704.98	c total clause space: 545.701MB
1704.63/1704.98	c total #watches: 1074958
1711.73/1712.07	c total #propagations: 659584287 / total #impl: 2275121470 (eff. 0.290)
1711.73/1712.07	c #Conflicts:     194000 | #Learnt:      11130 | 0.415
1711.73/1712.07	c total clause space: 545.701MB
1711.73/1712.07	c total #watches: 1126314
1719.32/1719.65	c total #propagations: 663535232 / total #impl: 2287568143 (eff. 0.290)
1719.32/1719.65	c #Conflicts:     195000 | #Learnt:      12130 | 0.413
1719.32/1719.65	c total clause space: 545.701MB
1719.32/1719.65	c total #watches: 1170048
1730.13/1730.47	c total #propagations: 667806210 / total #impl: 2298203096 (eff. 0.291)
1730.13/1730.47	c #Conflicts:     196000 | #Learnt:      13130 | 0.411
1730.13/1730.47	c total clause space: 545.701MB
1730.13/1730.47	c total #watches: 1192234
1740.72/1741.09	c total #propagations: 673262661 / total #impl: 2310651819 (eff. 0.291)
1740.72/1741.09	c #Conflicts:     197000 | #Learnt:      14130 | 0.409
1740.72/1741.09	c total clause space: 545.701MB
1740.72/1741.09	c total #watches: 1254401
1752.62/1752.98	c total #propagations: 678690896 / total #impl: 2324700713 (eff. 0.292)
1752.62/1752.98	c #Conflicts:     198000 | #Learnt:      15130 | 0.407
1752.62/1752.98	c total clause space: 545.701MB
1752.62/1752.98	c total #watches: 1279842
1762.52/1762.82	c total #propagations: 684570544 / total #impl: 2343784698 (eff. 0.292)
1762.52/1762.82	c #Conflicts:     199000 | #Learnt:      16130 | 0.405
1762.52/1762.82	c total clause space: 545.701MB
1762.52/1762.82	c total #watches: 1309723
1772.01/1772.37	c total #propagations: 689656611 / total #impl: 2356958904 (eff. 0.293)
1772.01/1772.37	c #Conflicts:     200000 | #Learnt:      17130 | 0.404
1772.01/1772.37	c total clause space: 545.701MB
1772.01/1772.37	c total #watches: 1413772
1782.41/1782.78	c total #propagations: 695015659 / total #impl: 2367517475 (eff. 0.294)
1782.41/1782.78	c #Conflicts:     201000 | #Learnt:      18130 | 0.402
1782.41/1782.78	c total clause space: 545.701MB
1782.41/1782.78	c total #watches: 1483448
1793.01/1793.36	c total #propagations: 699525613 / total #impl: 2383391777 (eff. 0.294)
1793.01/1793.36	c GC COLLECT
1793.01/1793.36	c #Conflicts:     202000 | #Learnt:       8639 | 0.400
1793.01/1793.36	c total clause space: 545.701MB
1793.01/1793.36	c total #watches: 785484
1798.71/1799.02	c total #propagations: 705321092 / total #impl: 2400681117 (eff. 0.294)
1798.71/1799.02	c #Conflicts:     203000 | #Learnt:       9639 | 0.401
1798.71/1799.02	c total clause space: 545.701MB
1798.71/1799.02	c total #watches: 948366

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-4101960-1466256839/watcher-4101960-1466256839 -o /tmp/evaluation-result-4101960-1466256839/solver-4101960-1466256839 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24205 --watchdog 1960 --input HOME/instance-4101960-1466256839.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.20 2.21 3/176 27248
/proc/meminfo: memFree=29662864/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 27732340 29810688 5268 33554432000 4194304 6201397 140735929667280 140734825390008 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 7278 5268 130 491 0 6777 0

[startup+0.100178 s]
/proc/loadavg: 2.27 2.20 2.21 3/176 27248
/proc/meminfo: memFree=29662864/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=35224 CPUtime=0.09 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 1170 0 0 0 9 0 0 0 20 0 1 0 27732340 36069376 7501 33554432000 4194304 6201397 140735929667280 140734825390008 4213348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 8806 7501 146 491 0 8305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35224

[startup+0.200372 s]
/proc/loadavg: 2.27 2.20 2.21 3/176 27248
/proc/meminfo: memFree=29662864/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=39648 CPUtime=0.19 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 1815 0 0 0 19 0 0 0 20 0 1 0 27732340 40599552 8127 33554432000 4194304 6201397 140735929667280 140734825390008 4215081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 9912 8127 147 491 0 9411 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39648

[startup+0.300286 s]
/proc/loadavg: 2.27 2.20 2.21 3/176 27248
/proc/meminfo: memFree=29662864/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=39684 CPUtime=0.29 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 1925 0 0 0 29 0 0 0 20 0 1 0 27732340 40636416 8217 33554432000 4194304 6201397 140735929667280 140735929666120 4216020 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 9921 8217 147 491 0 9420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39684

[startup+0.70019 s]
/proc/loadavg: 2.27 2.20 2.21 3/176 27248
/proc/meminfo: memFree=29662864/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=44328 CPUtime=0.69 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 2013 0 0 0 69 0 0 0 20 0 1 0 27732340 45391872 8805 33554432000 4194304 6201397 140735929667280 140735929666120 4216020 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 11082 8805 147 491 0 10581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44328

[startup+1.50025 s]
/proc/loadavg: 2.27 2.20 2.21 3/177 27249
/proc/meminfo: memFree=29625932/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=51508 CPUtime=1.49 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 2054 0 0 0 149 0 0 0 20 0 1 0 27732340 52744192 9346 33554432000 4194304 6201397 140735929667280 140735929666120 4214933 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 12877 9346 147 491 0 12376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51508

[startup+3.1002 s]
/proc/loadavg: 2.24 2.20 2.21 3/177 27249
/proc/meminfo: memFree=29624816/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=53652 CPUtime=3.09 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 2892 0 0 0 309 0 0 0 20 0 1 0 27732340 54939648 11085 33554432000 4194304 6201397 140735929667280 140735929665736 4240360 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 13413 11085 147 491 0 12912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53652

[startup+6.30031 s]
/proc/loadavg: 2.24 2.20 2.21 3/177 27249
/proc/meminfo: memFree=29609680/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=66120 CPUtime=6.29 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 4887 0 0 0 628 1 0 0 20 0 1 0 27732340 67706880 13981 33554432000 4194304 6201397 140735929667280 140735929665912 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 16530 13981 147 491 0 16029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66120

[startup+12.7003 s]
/proc/loadavg: 2.21 2.19 2.20 3/177 27249
/proc/meminfo: memFree=29585212/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=119812 CPUtime=12.69 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 7797 0 0 0 1267 2 0 0 20 0 1 0 27732340 122687488 20529 33554432000 4194304 6201397 140735929667280 140735929666072 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 29953 20529 160 491 0 29452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119812

[startup+25.5003 s]
/proc/loadavg: 2.25 2.20 2.21 3/177 27249
/proc/meminfo: memFree=29570976/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=120096 CPUtime=25.48 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 16267 0 0 0 2545 3 0 0 20 0 1 0 27732340 122978304 22979 33554432000 4194304 6201397 140735929667280 140735929665736 4240335 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 30024 22979 166 491 0 29523 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120096

[startup+51.1004 s]
/proc/loadavg: 2.16 2.18 2.20 3/177 27249
/proc/meminfo: memFree=29527608/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=178652 CPUtime=51.09 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 26896 0 0 0 5102 7 0 0 20 0 1 0 27732340 182939648 33763 33554432000 4194304 6201397 140735929667280 140735929666120 4240276 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 44663 33763 166 491 0 44162 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178652

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.20 3/177 27250
/proc/meminfo: memFree=29489384/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=181960 CPUtime=102.28 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 49264 0 0 0 10212 16 0 0 20 0 1 0 27732340 186327040 43365 33554432000 4194304 6201397 140735929667280 140735929666072 4215861 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 45490 43365 166 491 0 44989 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 181960

[startup+162.3 s]
/proc/loadavg: 2.30 2.22 2.20 3/177 27251
/proc/meminfo: memFree=29451012/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=269464 CPUtime=162.27 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 69226 0 0 0 16201 26 0 0 20 0 1 0 27732340 275931136 52968 33554432000 4194304 6201397 140735929667280 140735929666408 4213348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 67366 52968 166 491 0 66865 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 269464

[startup+222.308 s]
/proc/loadavg: 2.25 2.22 2.20 4/177 27252
/proc/meminfo: memFree=29441812/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=271700 CPUtime=222.26 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 70793 0 0 0 22199 27 0 0 20 0 1 0 27732340 278220800 55109 33554432000 4194304 6201397 140735929667280 140735929666408 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 67925 55109 166 491 0 67424 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 271700

[startup+282.3 s]
/proc/loadavg: 2.20 2.21 2.20 3/177 27300
/proc/meminfo: memFree=29837296/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=272760 CPUtime=282.25 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 79986 0 0 0 28190 35 0 0 20 0 1 0 27732340 279306240 56498 33554432000 4194304 6201397 140735929667280 140735929666232 4213328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 68190 56498 166 491 0 67689 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 272760

[startup+342.3 s]
/proc/loadavg: 2.29 2.23 2.20 3/177 27301
/proc/meminfo: memFree=29694900/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=275340 CPUtime=342.24 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 99303 0 0 0 34180 44 0 0 20 0 1 0 27732340 281948160 63302 33554432000 4194304 6201397 140735929667280 140735929666072 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 68835 63302 166 491 0 68334 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 275340

[startup+402.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/178 27305
/proc/meminfo: memFree=29659156/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=275900 CPUtime=402.22 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 120621 0 0 0 40165 57 0 0 20 0 1 0 27732340 282521600 63964 33554432000 4194304 6201397 140735929667280 140735929666072 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 68975 63964 166 491 0 68474 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 275900

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/177 27306
/proc/meminfo: memFree=29571736/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=414144 CPUtime=462.21 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 143241 0 0 0 46152 69 0 0 20 0 1 0 27732340 424083456 71412 33554432000 4194304 6201397 140735929667280 140735929666072 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 103536 71412 166 491 0 103035 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 414144

[startup+522.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 27307
/proc/meminfo: memFree=29517312/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=415964 CPUtime=522.21 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 158149 0 0 0 52144 77 0 0 20 0 1 0 27732340 425947136 78152 33554432000 4194304 6201397 140735929667280 140735929666232 4220352 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 103991 78152 166 491 0 103490 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 415964

[startup+582.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 27309
/proc/meminfo: memFree=29496088/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=417992 CPUtime=582.2 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 165535 0 0 0 58138 82 0 0 20 0 1 0 27732340 428023808 80772 33554432000 4194304 6201397 140735929667280 140735929666232 4216008 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 104498 80772 166 491 0 103997 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 417992


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


[startup+942.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 27316
/proc/meminfo: memFree=29382440/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=419736 CPUtime=942.14 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 205352 0 0 0 94103 111 0 0 20 0 1 0 27732340 429809664 85921 33554432000 4194304 6201397 140735929667280 140735929666232 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 104934 85921 166 491 0 104433 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 419736

[startup+1002.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 27320
/proc/meminfo: memFree=29366736/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=420536 CPUtime=1002.13 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 231772 0 0 0 100086 127 0 0 20 0 1 0 27732340 430628864 89705 33554432000 4194304 6201397 140735929667280 140735929665736 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 105134 89705 166 491 0 104633 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 420536

[startup+1062.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 27321
/proc/meminfo: memFree=29366108/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=420808 CPUtime=1062.12 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 253871 0 0 0 106070 142 0 0 20 0 1 0 27732340 430907392 89773 33554432000 4194304 6201397 140735929667280 140735929666072 4213361 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 105202 89773 166 491 0 104701 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 420808

[startup+1122.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 27322
/proc/meminfo: memFree=29351328/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=420904 CPUtime=1122.11 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 277418 0 0 0 112054 157 0 0 20 0 1 0 27732340 431005696 92869 33554432000 4194304 6201397 140735929667280 140735929666072 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 105226 92869 166 491 0 104725 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 420904

[startup+1182.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 27324
/proc/meminfo: memFree=29342748/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=421992 CPUtime=1182.1 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 290583 0 0 0 118042 168 0 0 20 0 1 0 27732340 432119808 94166 33554432000 4194304 6201397 140735929667280 140735929666232 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 105498 94166 166 491 0 104997 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 421992

[startup+1242.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/177 27325
/proc/meminfo: memFree=29340264/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=425052 CPUtime=1242.1 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 294817 0 0 0 124037 173 0 0 20 0 1 0 27732340 435253248 94803 33554432000 4194304 6201397 140735929667280 140735929666232 4213361 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 106263 94803 166 491 0 105762 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 425052

[startup+1302.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 27326
/proc/meminfo: memFree=29314564/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=425432 CPUtime=1302.09 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 294912 0 0 0 130036 173 0 0 20 0 1 0 27732340 435642368 99497 33554432000 4194304 6201397 140735929667280 140735929666408 4216811 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 106358 99497 166 491 0 105857 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 425432

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 27327
/proc/meminfo: memFree=29308400/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=425432 CPUtime=1362.07 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 295344 0 0 0 136034 173 0 0 20 0 1 0 27732340 435642368 101034 33554432000 4194304 6201397 140735929667280 140735929666232 4213328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 106358 101034 166 491 0 105857 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 425432

[startup+1422.3 s]
/proc/loadavg: 2.50 2.29 2.20 4/177 27328
/proc/meminfo: memFree=29307516/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=425608 CPUtime=1422.08 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 304259 0 0 0 142025 183 0 0 20 0 1 0 27732340 435822592 101078 33554432000 4194304 6201397 140735929667280 140735929666232 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 106402 101078 166 491 0 105901 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 425608

[startup+1482.3 s]
/proc/loadavg: 2.42 2.30 2.21 4/177 27330
/proc/meminfo: memFree=29306144/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=426348 CPUtime=1482.06 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 308647 0 0 0 148019 187 0 0 20 0 1 0 27732340 436580352 101253 33554432000 4194304 6201397 140735929667280 140735929665736 4214961 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 106587 101253 166 491 0 106086 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 426348

[startup+1542.31 s]
/proc/loadavg: 2.32 2.28 2.21 3/177 27331
/proc/meminfo: memFree=29289172/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=429460 CPUtime=1542.05 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 313345 0 0 0 154016 189 0 0 20 0 1 0 27732340 439767040 104067 33554432000 4194304 6201397 140735929667280 140735929665992 4210160 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 107365 104067 166 491 0 106864 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 429460

[startup+1602.3 s]
/proc/loadavg: 2.40 2.31 2.22 4/178 27335
/proc/meminfo: memFree=29284552/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=431032 CPUtime=1602.05 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 317030 0 0 0 160012 193 0 0 20 0 1 0 27732340 441376768 104473 33554432000 4194304 6201397 140735929667280 140735929666232 4214919 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 107758 104473 166 491 0 107257 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 431032

[startup+1662.3 s]
/proc/loadavg: 2.32 2.30 2.21 3/178 27359
/proc/meminfo: memFree=29275456/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=433892 CPUtime=1662.03 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 317704 0 0 0 166010 193 0 0 20 0 1 0 27732340 444305408 105091 33554432000 4194304 6201397 140735929667280 140735929665736 4240335 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 108473 105091 166 491 0 107972 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 433892

[startup+1722.3 s]
/proc/loadavg: 2.20 2.27 2.21 3/177 27360
/proc/meminfo: memFree=29244724/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=660488 CPUtime=1722.02 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 320959 0 0 0 172008 194 0 0 20 0 1 0 27732340 676339712 112205 33554432000 4194304 6201397 140735929667280 140735929665992 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 165122 112205 166 491 0 164621 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 660488

[startup+1782.3 s]
/proc/loadavg: 2.42 2.32 2.23 3/177 27362
/proc/meminfo: memFree=29243156/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=661996 CPUtime=1782.01 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 321243 0 0 0 178007 194 0 0 20 0 1 0 27732340 677883904 112456 33554432000 4194304 6201397 140735929667280 140735929665992 4214931 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 165499 112456 166 491 0 164998 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 661996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.37 2.32 2.23 3/177 27362
/proc/meminfo: memFree=29242908/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=661996 CPUtime=1800.01 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 321250 0 0 0 179807 194 0 0 20 0 1 0 27732340 677883904 112463 33554432000 4194304 6201397 140735929667280 140735929666408 4215861 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 165499 112463 166 491 0 164998 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 661996

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

[startup+1800.3 s]
/proc/loadavg: 2.37 2.32 2.23 3/177 27362
/proc/meminfo: memFree=29242908/32872528 swapFree=1534436/1655032
[pid=27248] ppid=27245 vsize=661996 CPUtime=1800.01 cores=1,3,5,7
/proc/27248/stat : 27248 (cdcl-cuttingpla) R 27245 27248 24188 0 -1 4202496 321250 0 0 0 179807 194 0 0 20 0 1 0 27732340 677883904 112463 33554432000 4194304 6201397 140735929667280 140735929666408 4215861 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 165499 112463 166 491 0 164998 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 661996

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 1.9487
maximum resident set size= 449852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321250
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= 19
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56231 second user time and 6.90595 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 15:33:59
IDJOB=4101960
IDBENCH=1825
IDSOLVER=2550
FILE ID=node122/4101960-1466256839
RUNJOBID= node122-1466229594-24205
PBS_JOBID= 19918176
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= e5622ad866d5d89568106c284dbd26e1
RANDOM SEED=1176708199

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29663764 kB
Buffers:          132032 kB
Cached:           210916 kB
SwapCached:            0 kB
Active:           560276 kB
Inactive:         250912 kB
Active(anon):     460492 kB
Inactive(anon):     9916 kB
Active(file):      99784 kB
Inactive(file):   240996 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3116 kB
Writeback:             0 kB
AnonPages:       2130852 kB
Mapped:            13388 kB
Shmem:               204 kB
Slab:             608760 kB
SReclaimable:      52872 kB
SUnreclaim:       555888 kB
KernelStack:        1472 kB
PageTables:         7996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2244600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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= 71736 MiB
End job on node122 at 2016-06-18 16:04:00