Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cdcl-cuttingplanes OPT linear search 2016-05-01 | ? (TO) | 1800.02 | 1800.31 |
Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb |
MD5SUM | 0e6bc42a73004b619a56f65a9590fd0d |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | |
Total number of constraints | |
Number of constraints which are clauses | |
Number of constraints which are cardinality constraints (but not clauses) | |
Number of constraints which are nor clauses,nor cardinality constraints | |
Minimum length of a constraint | |
Maximum length of a constraint | |
Number of terms in the objective function | |
Biggest coefficient in the objective function | |
Number of bits for the biggest coefficient in the objective function | |
Sum of the numbers in the objective function | |
Number of bits of the sum of numbers in the objective function | |
Biggest number in a constraint | |
Number of bits of the biggest number in a constraint | |
Biggest sum of numbers in a constraint | |
Number of bits of the biggest sum of numbers | |
Number of products (including duplicates) | |
Sum of products size (including duplicates) | |
Number of different products | |
Sum of products size |
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= 47232 #constraint= 994 0.79/0.83 c #Conflicts: 1000 | #Learnt: 999 | 0.000 0.79/0.83 c total clause space: 48.1602MB 0.79/0.83 c total #watches: 207683 10.09/10.15 c total #propagations: 226582 / total #impl: 943701 (eff. 0.240) 10.09/10.15 c #Conflicts: 2000 | #Learnt: 2025 | 0.000 10.09/10.15 c total clause space: 78.2603MB 10.09/10.15 c total #watches: 335392 11.09/11.19 c total #propagations: 1318741 / total #impl: 12300278 (eff. 0.107) 11.09/11.19 c GC COLLECT 11.09/11.19 c #Conflicts: 3000 | #Learnt: 2040 | 0.000 11.09/11.19 c total clause space: 78.2603MB 11.09/11.19 c total #watches: 386654 14.88/14.95 c total #propagations: 1422252 / total #impl: 13738599 (eff. 0.104) 14.88/14.95 c #Conflicts: 4000 | #Learnt: 3040 | 0.000 14.88/14.95 c total clause space: 127.173MB 14.88/14.95 c total #watches: 463850 20.19/20.26 c total #propagations: 1708389 / total #impl: 16213182 (eff. 0.105) 20.19/20.26 c GC COLLECT 20.19/20.26 c #Conflicts: 5000 | #Learnt: 2406 | 0.000 20.19/20.26 c total clause space: 127.173MB 20.19/20.26 c total #watches: 457449 23.59/23.60 c total #propagations: 2125224 / total #impl: 19858290 (eff. 0.107) 23.59/23.60 c #Conflicts: 6000 | #Learnt: 3407 | 0.000 23.59/23.60 c total clause space: 127.173MB 23.59/23.60 c total #watches: 535549 26.49/26.59 c total #propagations: 2316399 / total #impl: 22010755 (eff. 0.105) 26.49/26.59 c GC COLLECT 26.49/26.59 c #Conflicts: 7000 | #Learnt: 2292 | 0.000 26.49/26.59 c total clause space: 206.656MB 26.49/26.59 c total #watches: 493971 36.08/36.12 c total #propagations: 2389116 / total #impl: 24368084 (eff. 0.098) 36.08/36.12 c #Conflicts: 8000 | #Learnt: 3292 | 0.000 36.08/36.12 c total clause space: 206.656MB 36.08/36.12 c total #watches: 706651 51.48/51.58 c total #propagations: 2431296 / total #impl: 30187638 (eff. 0.081) 51.48/51.58 c #Conflicts: 9000 | #Learnt: 4292 | 0.000 51.48/51.58 c total clause space: 206.656MB 51.48/51.58 c total #watches: 783439 64.08/64.13 c total #propagations: 2787829 / total #impl: 35034397 (eff. 0.080) 64.08/64.13 c GC COLLECT 64.08/64.13 c #Conflicts: 10000 | #Learnt: 2783 | 0.000 64.08/64.13 c total clause space: 206.656MB 64.08/64.13 c total #watches: 593552 72.88/72.92 c total #propagations: 3051465 / total #impl: 38774937 (eff. 0.079) 72.88/72.92 c #Conflicts: 11000 | #Learnt: 3784 | 0.000 72.88/72.92 c total clause space: 206.656MB 72.88/72.92 c total #watches: 720386 88.28/88.38 c total #propagations: 3199016 / total #impl: 45813612 (eff. 0.070) 88.28/88.38 c #Conflicts: 12000 | #Learnt: 4784 | 0.000 88.28/88.38 c total clause space: 206.656MB 88.28/88.38 c total #watches: 823307 105.87/105.98 c total #propagations: 3495907 / total #impl: 51792495 (eff. 0.067) 105.87/105.98 c #Conflicts: 13000 | #Learnt: 5785 | 0.000 105.87/105.98 c total clause space: 206.656MB 105.87/105.98 c total #watches: 915506 111.57/111.68 c total #propagations: 3813830 / total #impl: 56693633 (eff. 0.067) 111.57/111.68 c GC COLLECT 111.57/111.68 c #Conflicts: 14000 | #Learnt: 3920 | 0.000 111.57/111.68 c total clause space: 206.656MB 111.57/111.68 c total #watches: 530601 119.57/119.61 c total #propagations: 4022787 / total #impl: 58977771 (eff. 0.068) 119.57/119.61 c #Conflicts: 15000 | #Learnt: 4920 | 0.000 119.57/119.61 c total clause space: 206.656MB 119.57/119.61 c total #watches: 630927 128.46/128.57 c total #propagations: 4178012 / total #impl: 61562616 (eff. 0.068) 128.46/128.57 c #Conflicts: 16000 | #Learnt: 5920 | 0.000 128.46/128.57 c total clause space: 206.656MB 128.46/128.57 c total #watches: 750066 134.97/135.02 c total #propagations: 4258364 / total #impl: 64237885 (eff. 0.066) 134.97/135.02 c GC COLLECT 134.97/135.02 c #Conflicts: 17000 | #Learnt: 3747 | 0.000 134.97/135.02 c total clause space: 335.816MB 134.97/135.02 c total #watches: 482569 139.87/139.99 c total #propagations: 4381430 / total #impl: 66552498 (eff. 0.066) 139.87/139.99 c #Conflicts: 18000 | #Learnt: 4747 | 0.000 139.87/139.99 c total clause space: 335.816MB 139.87/140.00 c total #watches: 559818 148.17/148.26 c total #propagations: 4472540 / total #impl: 69369896 (eff. 0.064) 148.17/148.26 c #Conflicts: 19000 | #Learnt: 5747 | 0.000 148.17/148.26 c total clause space: 335.816MB 148.17/148.26 c total #watches: 647471 163.16/163.26 c total #propagations: 4559767 / total #impl: 73541652 (eff. 0.062) 163.16/163.26 c #Conflicts: 20000 | #Learnt: 6747 | 0.001 163.16/163.26 c total clause space: 335.816MB 163.16/163.26 c total #watches: 711693 172.77/172.85 c total #propagations: 4914952 / total #impl: 76605845 (eff. 0.064) 172.77/172.85 c GC COLLECT 172.77/172.85 c #Conflicts: 21000 | #Learnt: 4258 | 0.001 172.77/172.85 c total clause space: 335.816MB 172.77/172.85 c total #watches: 505326 179.26/179.36 c total #propagations: 5276282 / total #impl: 79049309 (eff. 0.067) 179.26/179.36 c #Conflicts: 22000 | #Learnt: 5258 | 0.001 179.26/179.36 c total clause space: 335.816MB 179.26/179.36 c total #watches: 596323 188.56/188.62 c total #propagations: 5483294 / total #impl: 80760030 (eff. 0.068) 188.56/188.62 c #Conflicts: 23000 | #Learnt: 6258 | 0.001 188.56/188.62 c total clause space: 335.816MB 188.56/188.62 c total #watches: 675001 198.96/199.07 c total #propagations: 5784943 / total #impl: 83608535 (eff. 0.069) 198.96/199.07 c #Conflicts: 24000 | #Learnt: 7258 | 0.001 198.96/199.07 c total clause space: 335.816MB 198.96/199.07 c total #watches: 733684 209.06/209.13 c total #propagations: 6033737 / total #impl: 85383316 (eff. 0.071) 209.06/209.13 c GC COLLECT 209.06/209.13 c #Conflicts: 25000 | #Learnt: 4460 | 0.000 209.06/209.13 c total clause space: 335.816MB 209.06/209.13 c total #watches: 483533 214.95/215.04 c total #propagations: 6329358 / total #impl: 87449793 (eff. 0.072) 214.95/215.04 c #Conflicts: 26000 | #Learnt: 5460 | 0.000 214.95/215.04 c total clause space: 335.816MB 214.95/215.04 c total #watches: 543541 221.55/221.60 c total #propagations: 6470414 / total #impl: 89431009 (eff. 0.072) 221.55/221.60 c #Conflicts: 27000 | #Learnt: 6460 | 0.000 221.55/221.60 c total clause space: 335.816MB 221.55/221.60 c total #watches: 653622 235.36/235.44 c total #propagations: 6568137 / total #impl: 93927334 (eff. 0.070) 235.36/235.44 c #Conflicts: 28000 | #Learnt: 7460 | 0.000 235.36/235.44 c total clause space: 335.816MB 235.36/235.44 c total #watches: 740232 246.46/246.53 c total #propagations: 6912644 / total #impl: 97871760 (eff. 0.071) 246.46/246.53 c GC COLLECT 246.46/246.53 c #Conflicts: 29000 | #Learnt: 4360 | 0.000 246.46/246.53 c total clause space: 335.816MB 246.46/246.53 c total #watches: 493903 254.95/255.06 c total #propagations: 7227261 / total #impl: 100138407 (eff. 0.072) 254.95/255.06 c #Conflicts: 30000 | #Learnt: 5360 | 0.000 254.95/255.06 c total clause space: 335.816MB 254.95/255.06 c total #watches: 594807 265.75/265.88 c total #propagations: 7482027 / total #impl: 102381528 (eff. 0.073) 265.75/265.88 c #Conflicts: 31000 | #Learnt: 6360 | 0.000 265.75/265.88 c total clause space: 335.816MB 265.75/265.88 c total #watches: 693031 286.05/286.12 c total #propagations: 7726596 / total #impl: 105272512 (eff. 0.073) 286.05/286.12 c #Conflicts: 32000 | #Learnt: 7360 | 0.000 286.05/286.12 c total clause space: 335.816MB 286.05/286.12 c total #watches: 758745 311.25/311.36 c total #propagations: 8071351 / total #impl: 107946836 (eff. 0.075) 311.25/311.36 c #Conflicts: 33000 | #Learnt: 8360 | 0.000 311.25/311.36 c total clause space: 335.816MB 311.25/311.36 c total #watches: 853725 326.54/326.61 c total #propagations: 8443370 / total #impl: 110667112 (eff. 0.076) 326.54/326.61 c GC COLLECT 326.54/326.61 c #Conflicts: 34000 | #Learnt: 4957 | 0.000 326.54/326.61 c total clause space: 335.816MB 326.54/326.61 c total #watches: 536289 335.54/335.61 c total #propagations: 8565696 / total #impl: 112451538 (eff. 0.076) 335.54/335.61 c #Conflicts: 35000 | #Learnt: 5957 | 0.000 335.54/335.61 c total clause space: 335.816MB 335.54/335.61 c total #watches: 573226 346.64/346.77 c total #propagations: 8666048 / total #impl: 113909361 (eff. 0.076) 346.64/346.77 c #Conflicts: 36000 | #Learnt: 6957 | 0.000 346.64/346.77 c total clause space: 335.816MB 346.64/346.77 c total #watches: 656276 362.44/362.57 c total #propagations: 8798493 / total #impl: 115855926 (eff. 0.076) 362.44/362.57 c #Conflicts: 37000 | #Learnt: 7957 | 0.000 362.44/362.57 c total clause space: 335.816MB 362.44/362.57 c total #watches: 771234 384.03/384.12 c total #propagations: 8885271 / total #impl: 118459321 (eff. 0.075) 384.03/384.12 c #Conflicts: 38000 | #Learnt: 8957 | 0.000 384.03/384.12 c total clause space: 545.701MB 384.03/384.12 c total #watches: 904432 405.93/406.08 c total #propagations: 8967080 / total #impl: 121646990 (eff. 0.074) 405.93/406.08 c GC COLLECT 405.93/406.08 c #Conflicts: 39000 | #Learnt: 5230 | 0.000 405.93/406.08 c total clause space: 545.701MB 405.93/406.08 c total #watches: 546355 415.52/415.69 c total #propagations: 9103911 / total #impl: 124831904 (eff. 0.073) 415.52/415.69 c #Conflicts: 40000 | #Learnt: 6230 | 0.000 415.52/415.69 c total clause space: 545.701MB 415.52/415.69 c total #watches: 581579 428.02/428.13 c total #propagations: 9171850 / total #impl: 126556159 (eff. 0.072) 428.02/428.13 c #Conflicts: 41000 | #Learnt: 7230 | 0.000 428.02/428.13 c total clause space: 545.701MB 428.02/428.13 c total #watches: 623124 445.83/445.91 c total #propagations: 9244331 / total #impl: 128965409 (eff. 0.072) 445.83/445.91 c #Conflicts: 42000 | #Learnt: 8230 | 0.000 445.83/445.91 c total clause space: 545.701MB 445.83/445.91 c total #watches: 662869 468.92/469.04 c total #propagations: 9333655 / total #impl: 132133007 (eff. 0.071) 468.92/469.04 c #Conflicts: 43000 | #Learnt: 9230 | 0.000 468.92/469.04 c total clause space: 545.701MB 468.92/469.04 c total #watches: 719840 492.42/492.50 c total #propagations: 9441352 / total #impl: 136426014 (eff. 0.069) 492.42/492.50 c GC COLLECT 492.42/492.50 c #Conflicts: 44000 | #Learnt: 5219 | 0.000 492.42/492.50 c total clause space: 545.701MB 492.42/492.50 c total #watches: 545906 505.81/506.00 c total #propagations: 9554232 / total #impl: 140682292 (eff. 0.068) 505.81/506.00 c #Conflicts: 45000 | #Learnt: 6219 | 0.000 505.81/506.00 c total clause space: 545.701MB 505.81/506.00 c total #watches: 605255 523.41/523.57 c total #propagations: 9688817 / total #impl: 142956715 (eff. 0.068) 523.41/523.57 c #Conflicts: 46000 | #Learnt: 7219 | 0.000 523.41/523.57 c total clause space: 545.701MB 523.41/523.57 c total #watches: 717469 548.70/548.84 c total #propagations: 10034436 / total #impl: 146858622 (eff. 0.068) 548.70/548.84 c #Conflicts: 47000 | #Learnt: 8219 | 0.000 548.70/548.84 c total clause space: 545.701MB 548.70/548.84 c total #watches: 782345 563.60/563.72 c total #propagations: 10453966 / total #impl: 151139755 (eff. 0.069) 563.60/563.72 c #Conflicts: 48000 | #Learnt: 9219 | 0.000 563.60/563.72 c total clause space: 545.701MB 563.60/563.72 c total #watches: 846954 589.78/589.91 c total #propagations: 10582602 / total #impl: 154007146 (eff. 0.069) 589.78/589.91 c #Conflicts: 49000 | #Learnt: 10219 | 0.000 589.78/589.91 c total clause space: 545.701MB 589.78/589.91 c total #watches: 928135 607.38/607.53 c total #propagations: 10947776 / total #impl: 157524311 (eff. 0.069) 607.38/607.53 c GC COLLECT 607.38/607.53 c #Conflicts: 50000 | #Learnt: 5907 | 0.000 607.38/607.53 c total clause space: 545.701MB 607.38/607.53 c total #watches: 625077 615.68/615.83 c total #propagations: 11275339 / total #impl: 160834113 (eff. 0.070) 615.68/615.83 c #Conflicts: 51000 | #Learnt: 6907 | 0.000 615.68/615.83 c total clause space: 545.701MB 615.68/615.83 c total #watches: 702826 622.38/622.58 c total #propagations: 11430254 / total #impl: 163163048 (eff. 0.070) 622.38/622.58 c #Conflicts: 52000 | #Learnt: 7907 | 0.000 622.38/622.58 c total clause space: 545.701MB 622.38/622.58 c total #watches: 1023643 633.88/634.06 c total #propagations: 11547729 / total #impl: 168897268 (eff. 0.068) 633.88/634.06 c #Conflicts: 53000 | #Learnt: 8907 | 0.000 633.88/634.06 c total clause space: 545.701MB 633.88/634.06 c total #watches: 1427715 672.37/672.59 c total #propagations: 11659766 / total #impl: 184133543 (eff. 0.063) 672.37/672.59 c #Conflicts: 54000 | #Learnt: 9907 | 0.000 672.37/672.59 c total clause space: 545.701MB 672.37/672.59 c total #watches: 1528292 723.07/723.26 c total #propagations: 11996110 / total #impl: 189269531 (eff. 0.063) 723.07/723.26 c #Conflicts: 55000 | #Learnt: 10907 | 0.000 723.07/723.26 c total clause space: 545.701MB 723.07/723.26 c total #watches: 1628005 737.77/737.90 c total #propagations: 12358924 / total #impl: 193237905 (eff. 0.064) 737.77/737.90 c GC COLLECT 737.77/737.90 c #Conflicts: 56000 | #Learnt: 6300 | 0.000 737.77/737.90 c total clause space: 545.701MB 737.77/737.90 c total #watches: 673630 757.56/757.75 c total #propagations: 12516694 / total #impl: 196451363 (eff. 0.064) 757.56/757.75 c #Conflicts: 57000 | #Learnt: 7300 | 0.000 757.56/757.75 c total clause space: 545.701MB 757.56/757.75 c total #watches: 779600 780.46/780.67 c total #propagations: 12905585 / total #impl: 199912638 (eff. 0.065) 780.46/780.67 c #Conflicts: 58000 | #Learnt: 8300 | 0.000 780.46/780.67 c total clause space: 545.701MB 780.46/780.67 c total #watches: 922818 795.16/795.38 c total #propagations: 13246545 / total #impl: 203058651 (eff. 0.065) 795.16/795.38 c #Conflicts: 59000 | #Learnt: 9300 | 0.000 795.16/795.38 c total clause space: 545.701MB 795.16/795.38 c total #watches: 1024032 808.55/808.79 c total #propagations: 13398443 / total #impl: 205377748 (eff. 0.065) 808.55/808.79 c #Conflicts: 60000 | #Learnt: 10300 | 0.000 808.55/808.79 c total clause space: 545.701MB 808.55/808.80 c total #watches: 1165230 821.35/821.53 c total #propagations: 13522016 / total #impl: 207963685 (eff. 0.065) 821.35/821.53 c #Conflicts: 61000 | #Learnt: 11300 | 0.000 821.35/821.53 c total clause space: 545.701MB 821.35/821.53 c total #watches: 1295359 834.45/834.62 c total #propagations: 13641100 / total #impl: 211407089 (eff. 0.065) 834.45/834.62 c GC COLLECT 834.45/834.62 c #Conflicts: 62000 | #Learnt: 6399 | 0.000 834.45/834.62 c total clause space: 545.701MB 834.45/834.62 c total #watches: 704369 850.84/851.07 c total #propagations: 13755208 / total #impl: 215929621 (eff. 0.064) 850.84/851.07 c #Conflicts: 63000 | #Learnt: 7399 | 0.000 850.84/851.07 c total clause space: 545.701MB 850.84/851.07 c total #watches: 860005 874.35/874.55 c total #propagations: 13881652 / total #impl: 234998102 (eff. 0.059) 874.35/874.55 c #Conflicts: 64000 | #Learnt: 8399 | 0.000 874.35/874.55 c total clause space: 545.701MB 874.35/874.55 c total #watches: 1011672 900.04/900.27 c total #propagations: 13990791 / total #impl: 266785399 (eff. 0.052) 900.04/900.27 c #Conflicts: 65000 | #Learnt: 9399 | 0.000 900.04/900.27 c total clause space: 545.701MB 900.04/900.27 c total #watches: 1125383 930.33/930.52 c total #propagations: 14320350 / total #impl: 277891455 (eff. 0.052) 930.33/930.52 c #Conflicts: 66000 | #Learnt: 10399 | 0.000 930.33/930.52 c total clause space: 545.701MB 930.33/930.52 c total #watches: 1229721 951.73/951.90 c total #propagations: 14649633 / total #impl: 281016442 (eff. 0.052) 951.73/951.90 c #Conflicts: 67000 | #Learnt: 11399 | 0.000 951.73/951.90 c total clause space: 545.701MB 951.73/951.90 c total #watches: 1274759 984.63/984.85 c total #propagations: 14843209 / total #impl: 282901934 (eff. 0.052) 984.63/984.85 c #Conflicts: 68000 | #Learnt: 12399 | 0.000 984.63/984.85 c total clause space: 545.701MB 984.63/984.85 c total #watches: 1363007 1003.43/1003.67 c total #propagations: 15136897 / total #impl: 286006442 (eff. 0.053) 1003.43/1003.67 c GC COLLECT 1003.43/1003.67 c #Conflicts: 69000 | #Learnt: 7195 | 0.000 1003.43/1003.67 c total clause space: 545.701MB 1003.43/1003.67 c total #watches: 828066 1024.32/1024.54 c total #propagations: 15474277 / total #impl: 289110938 (eff. 0.054) 1024.32/1024.54 c #Conflicts: 70000 | #Learnt: 8195 | 0.000 1024.32/1024.54 c total clause space: 545.701MB 1024.32/1024.54 c total #watches: 917257 1046.82/1047.08 c total #propagations: 15846690 / total #impl: 291958913 (eff. 0.054) 1046.82/1047.08 c #Conflicts: 71000 | #Learnt: 9195 | 0.000 1046.82/1047.08 c total clause space: 545.701MB 1046.82/1047.08 c total #watches: 1037786 1064.22/1064.40 c total #propagations: 16107468 / total #impl: 295535220 (eff. 0.055) 1064.22/1064.40 c #Conflicts: 72000 | #Learnt: 10195 | 0.000 1064.22/1064.40 c total clause space: 545.701MB 1064.22/1064.40 c total #watches: 1195637 1102.01/1102.25 c total #propagations: 16252588 / total #impl: 301540125 (eff. 0.054) 1102.01/1102.25 c #Conflicts: 73000 | #Learnt: 11195 | 0.000 1102.01/1102.25 c total clause space: 545.701MB 1102.01/1102.25 c total #watches: 1269644 1151.61/1151.82 c total #propagations: 16634323 / total #impl: 306366660 (eff. 0.054) 1151.61/1151.82 c #Conflicts: 74000 | #Learnt: 12195 | 0.001 1151.61/1151.82 c total clause space: 545.701MB 1151.61/1151.82 c total #watches: 1381898 1191.49/1191.70 c total #propagations: 16998987 / total #impl: 310191394 (eff. 0.055) 1191.49/1191.70 c GC COLLECT 1191.49/1191.70 c #Conflicts: 75000 | #Learnt: 6700 | 0.001 1191.49/1191.70 c total clause space: 545.701MB 1191.49/1191.70 c total #watches: 706713 1213.29/1213.55 c total #propagations: 17255698 / total #impl: 313652902 (eff. 0.055) 1213.29/1213.55 c #Conflicts: 76000 | #Learnt: 7700 | 0.001 1213.29/1213.55 c total clause space: 545.701MB 1213.29/1213.56 c total #watches: 808117 1237.69/1237.98 c total #propagations: 17566597 / total #impl: 316644685 (eff. 0.055) 1237.69/1237.98 c #Conflicts: 77000 | #Learnt: 8700 | 0.001 1237.69/1237.98 c total clause space: 545.701MB 1237.69/1237.98 c total #watches: 964444 1266.18/1266.47 c total #propagations: 17937311 / total #impl: 319850615 (eff. 0.056) 1266.18/1266.47 c #Conflicts: 78000 | #Learnt: 9700 | 0.001 1266.18/1266.47 c total clause space: 545.701MB 1266.18/1266.47 c total #watches: 1104770 1280.08/1280.38 c total #propagations: 18235355 / total #impl: 322938928 (eff. 0.056) 1280.08/1280.38 c #Conflicts: 79000 | #Learnt: 10700 | 0.001 1280.08/1280.38 c total clause space: 545.701MB 1280.08/1280.38 c total #watches: 1161431 1295.17/1295.47 c total #propagations: 18334726 / total #impl: 325076201 (eff. 0.056) 1295.17/1295.47 c #Conflicts: 80000 | #Learnt: 11700 | 0.001 1295.17/1295.47 c total clause space: 545.701MB 1295.17/1295.47 c total #watches: 1231749 1306.28/1306.55 c total #propagations: 18396343 / total #impl: 327894982 (eff. 0.056) 1306.28/1306.55 c #Conflicts: 81000 | #Learnt: 12700 | 0.001 1306.28/1306.55 c total clause space: 545.701MB 1306.28/1306.55 c total #watches: 1344564 1311.88/1312.19 c total #propagations: 18473328 / total #impl: 329938933 (eff. 0.056) 1311.88/1312.19 c GC COLLECT 1311.88/1312.19 c #Conflicts: 82000 | #Learnt: 6896 | 0.001 1311.88/1312.19 c total clause space: 545.701MB 1311.88/1312.19 c total #watches: 734897 1315.88/1316.18 c total #propagations: 18514723 / total #impl: 332302791 (eff. 0.056) 1315.88/1316.18 c #Conflicts: 83000 | #Learnt: 7896 | 0.001 1315.88/1316.18 c total clause space: 545.701MB 1315.88/1316.18 c total #watches: 997787 1323.77/1324.07 c total #propagations: 18561354 / total #impl: 334925394 (eff. 0.055) 1323.77/1324.07 c #Conflicts: 84000 | #Learnt: 8896 | 0.001 1323.77/1324.07 c total clause space: 545.701MB 1323.77/1324.07 c total #watches: 1150980 1332.67/1332.93 c total #propagations: 18664183 / total #impl: 337583001 (eff. 0.055) 1332.67/1332.93 c #Conflicts: 85000 | #Learnt: 9896 | 0.001 1332.67/1332.93 c total clause space: 545.701MB 1332.67/1332.93 c total #watches: 1193403 1344.97/1345.22 c total #propagations: 18709435 / total #impl: 339249418 (eff. 0.055) 1344.97/1345.22 c #Conflicts: 86000 | #Learnt: 10896 | 0.001 1344.97/1345.22 c total clause space: 545.701MB 1344.97/1345.22 c total #watches: 1252428 1359.17/1359.42 c total #propagations: 18756949 / total #impl: 341503310 (eff. 0.055) 1359.17/1359.42 c #Conflicts: 87000 | #Learnt: 11896 | 0.001 1359.17/1359.42 c total clause space: 545.701MB 1359.17/1359.42 c total #watches: 1309231 1376.97/1377.29 c total #propagations: 18801785 / total #impl: 344151598 (eff. 0.055) 1376.97/1377.29 c #Conflicts: 88000 | #Learnt: 12896 | 0.001 1376.97/1377.29 c total clause space: 545.701MB 1376.97/1377.29 c total #watches: 1380645 1397.57/1397.84 c total #propagations: 18849335 / total #impl: 347401118 (eff. 0.054) 1397.57/1397.84 c #Conflicts: 89000 | #Learnt: 13896 | 0.001 1397.57/1397.84 c total clause space: 545.701MB 1397.57/1397.84 c total #watches: 1460381 1413.96/1414.26 c total #propagations: 18899496 / total #impl: 351423344 (eff. 0.054) 1413.96/1414.26 c GC COLLECT 1413.96/1414.26 c #Conflicts: 90000 | #Learnt: 7799 | 0.001 1413.96/1414.26 c total clause space: 545.701MB 1413.96/1414.26 c total #watches: 851283 1421.56/1421.88 c total #propagations: 18975332 / total #impl: 354233204 (eff. 0.054) 1421.56/1421.88 c #Conflicts: 91000 | #Learnt: 8799 | 0.001 1421.56/1421.88 c total clause space: 545.701MB 1421.56/1421.88 c total #watches: 938275 1430.87/1431.19 c total #propagations: 19013047 / total #impl: 355278543 (eff. 0.054) 1430.87/1431.19 c #Conflicts: 92000 | #Learnt: 9799 | 0.001 1430.87/1431.19 c total clause space: 545.701MB 1430.87/1431.19 c total #watches: 1014657 1439.46/1439.79 c total #propagations: 19054032 / total #impl: 356807781 (eff. 0.053) 1439.46/1439.79 c #Conflicts: 93000 | #Learnt: 10799 | 0.001 1439.46/1439.79 c total clause space: 545.701MB 1439.46/1439.79 c total #watches: 1096250 1448.95/1449.23 c total #propagations: 19087704 / total #impl: 358615767 (eff. 0.053) 1448.95/1449.23 c #Conflicts: 94000 | #Learnt: 11799 | 0.001 1448.95/1449.23 c total clause space: 545.701MB 1448.95/1449.23 c total #watches: 1190259 1465.15/1465.44 c total #propagations: 19122188 / total #impl: 360441520 (eff. 0.053) 1465.15/1465.44 c #Conflicts: 95000 | #Learnt: 12799 | 0.001 1465.15/1465.44 c total clause space: 545.701MB 1465.15/1465.44 c total #watches: 1280210 1489.26/1489.58 c total #propagations: 19162385 / total #impl: 363393894 (eff. 0.053) 1489.26/1489.58 c #Conflicts: 96000 | #Learnt: 13799 | 0.001 1489.26/1489.58 c total clause space: 886.764MB 1489.26/1489.58 c total #watches: 1433228 1529.54/1529.84 c total #propagations: 19213543 / total #impl: 368111342 (eff. 0.052) 1529.54/1529.84 c #Conflicts: 97000 | #Learnt: 14799 | 0.001 1529.54/1529.84 c total clause space: 886.764MB 1529.54/1529.84 c total #watches: 1530584 1539.85/1540.11 c total #propagations: 19252736 / total #impl: 372668179 (eff. 0.052) 1539.85/1540.11 c GC COLLECT 1539.85/1540.11 c #Conflicts: 98000 | #Learnt: 8389 | 0.001 1539.85/1540.11 c total clause space: 886.764MB 1539.85/1540.11 c total #watches: 920417 1550.85/1551.19 c total #propagations: 19300300 / total #impl: 374051996 (eff. 0.052) 1550.85/1551.19 c #Conflicts: 99000 | #Learnt: 9389 | 0.001 1550.85/1551.19 c total clause space: 886.764MB 1550.85/1551.19 c total #watches: 1048817 1571.34/1571.63 c total #propagations: 19355100 / total #impl: 375887069 (eff. 0.051) 1571.34/1571.63 c #Conflicts: 100000 | #Learnt: 10389 | 0.001 1571.34/1571.63 c total clause space: 886.764MB 1571.34/1571.63 c total #watches: 1239220 1593.14/1593.48 c total #propagations: 19424778 / total #impl: 379235533 (eff. 0.051) 1593.14/1593.48 c #Conflicts: 101000 | #Learnt: 11389 | 0.001 1593.14/1593.48 c total clause space: 886.764MB 1593.14/1593.48 c total #watches: 1371395 1617.13/1617.41 c total #propagations: 19486667 / total #impl: 382579156 (eff. 0.051) 1617.13/1617.41 c #Conflicts: 102000 | #Learnt: 12389 | 0.001 1617.13/1617.41 c total clause space: 886.764MB 1617.13/1617.41 c total #watches: 1461814 1663.12/1663.47 c total #propagations: 19540885 / total #impl: 385517078 (eff. 0.051) 1663.12/1663.47 c #Conflicts: 103000 | #Learnt: 13389 | 0.001 1663.12/1663.47 c total clause space: 886.764MB 1663.12/1663.47 c total #watches: 1550747 1755.91/1756.28 c total #propagations: 19840467 / total #impl: 389228391 (eff. 0.051) 1755.91/1756.28 c #Conflicts: 104000 | #Learnt: 14389 | 0.001 1755.91/1756.28 c total clause space: 886.764MB 1755.91/1756.28 c total #watches: 1637691
ERROR: no interpretation found !
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-4119814-1467267390/watcher-4119814-1467267390 -o /tmp/evaluation-result-4119814-1467267390/solver-4119814-1467267390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467267390-9967 --watchdog 1960 --input HOME/instance-4119814-1467267390.opb ./cdcl-cuttingplanes-opt-linearsearch-release pid=9984 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.53 1.92 1.88 3/171 9987 /proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=29112 CPUtime=0 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 7706349 29810688 5268 33554432000 4194304 6201397 140736083160208 140737059114680 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 7278 5268 130 491 0 6777 0 [startup+0.100163 s] /proc/loadavg: 1.53 1.92 1.88 3/171 9987 /proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=35188 CPUtime=0.09 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 1172 0 0 0 9 0 0 0 20 0 1 0 7706349 36032512 7518 33554432000 4194304 6201397 140736083160208 140737059114680 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 8797 7518 141 491 0 8296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35188 [startup+0.200358 s] /proc/loadavg: 1.53 1.92 1.88 3/171 9987 /proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=45280 CPUtime=0.18 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 2553 0 0 0 18 0 0 0 20 0 1 0 7706349 46366720 9620 33554432000 4194304 6201397 140736083160208 140737059114680 4233552 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 11320 9620 146 491 0 10819 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 45280 [startup+0.30033 s] /proc/loadavg: 1.53 1.92 1.88 3/171 9987 /proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=52720 CPUtime=0.29 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 2910 0 0 0 28 1 0 0 20 0 1 0 7706349 53985280 10909 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 13180 10909 146 491 0 12679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52720 [startup+0.70028 s] /proc/loadavg: 1.53 1.92 1.88 3/171 9987 /proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=65204 CPUtime=0.69 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 3463 0 0 0 68 1 0 0 20 0 1 0 7706349 66768896 13912 33554432000 4194304 6201397 140736083160208 140736083158824 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 16301 13912 146 491 0 15800 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 65204 [startup+1.50026 s] /proc/loadavg: 1.53 1.92 1.88 3/177 9998 /proc/meminfo: memFree=26756920/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=85916 CPUtime=1.49 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4227 0 0 0 148 1 0 0 20 0 1 0 7706349 87977984 19166 33554432000 4194304 6201397 140736083160208 140736083158872 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 21479 19166 159 491 0 20978 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85916 [startup+3.10024 s] /proc/loadavg: 1.56 1.92 1.88 3/177 9998 /proc/meminfo: memFree=26730424/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=86048 CPUtime=3.09 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4256 0 0 0 308 1 0 0 20 0 1 0 7706349 88113152 19188 33554432000 4194304 6201397 140736083160208 140736083158872 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 21512 19188 159 491 0 21011 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 86048 [startup+6.30025 s] /proc/loadavg: 1.56 1.92 1.88 3/177 9998 /proc/meminfo: memFree=26694708/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=86048 CPUtime=6.29 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4284 0 0 0 628 1 0 0 20 0 1 0 7706349 88113152 19203 33554432000 4194304 6201397 140736083160208 140736083158872 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 21512 19203 159 491 0 21011 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 86048 [startup+12.7003 s] /proc/loadavg: 1.63 1.92 1.88 3/177 9998 /proc/meminfo: memFree=26617072/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=122976 CPUtime=12.69 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 7547 0 0 0 1267 2 0 0 20 0 1 0 7706349 125927424 28107 33554432000 4194304 6201397 140736083160208 140736083158808 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 30744 28107 165 491 0 30243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 122976 [startup+25.5004 s] /proc/loadavg: 1.69 1.92 1.88 3/177 9998 /proc/meminfo: memFree=26550448/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=182696 CPUtime=25.48 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 10811 0 0 0 2545 3 0 0 20 0 1 0 7706349 187080704 42228 33554432000 4194304 6201397 140736083160208 140736083158872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 45674 42228 165 491 0 45173 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 182696 [startup+51.1004 s] /proc/loadavg: 1.93 1.96 1.89 3/177 9998 /proc/meminfo: memFree=26456580/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=276864 CPUtime=51.08 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 15046 0 0 0 5103 5 0 0 20 0 1 0 7706349 283508736 57067 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 69216 57067 165 491 0 68715 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 276864 [startup+102.3 s] /proc/loadavg: 2.10 2.00 1.91 3/177 9999 /proc/meminfo: memFree=26305160/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=286576 CPUtime=102.28 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 17782 0 0 0 10222 6 0 0 20 0 1 0 7706349 293453824 68413 33554432000 4194304 6201397 140736083160208 140736083158824 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 71644 68413 165 491 0 71143 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 286576 [startup+162.3 s] /proc/loadavg: 2.10 2.01 1.92 3/177 10000 /proc/meminfo: memFree=26192424/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=440628 CPUtime=162.26 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 24062 0 0 0 16218 8 0 0 20 0 1 0 7706349 451203072 80837 33554432000 4194304 6201397 140736083160208 140736083158872 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 110157 80837 165 491 0 109656 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 440628 [startup+222.307 s] /proc/loadavg: 2.19 2.05 1.93 3/178 10005 /proc/meminfo: memFree=26144896/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=449396 CPUtime=222.26 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 26375 0 0 0 22217 9 0 0 20 0 1 0 7706349 460181504 86162 33554432000 4194304 6201397 140736083160208 140736083159336 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 112349 86162 165 491 0 111848 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 449396 [startup+282.3 s] /proc/loadavg: 2.08 2.04 1.93 4/177 10006 /proc/meminfo: memFree=26046780/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=461124 CPUtime=282.25 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 29812 0 0 0 28215 10 0 0 20 0 1 0 7706349 472190976 89673 33554432000 4194304 6201397 140736083160208 140736083158872 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 115281 89673 165 491 0 114780 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 461124 [startup+342.3 s] /proc/loadavg: 2.17 2.06 1.94 3/177 10007 /proc/meminfo: memFree=25925076/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=464108 CPUtime=342.24 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 31018 0 0 0 34212 12 0 0 20 0 1 0 7706349 475246592 101202 33554432000 4194304 6201397 140736083160208 140736083159160 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 116027 101202 165 491 0 115526 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 464108 [startup+402.3 s] /proc/loadavg: 2.17 2.08 1.95 3/177 10008 /proc/meminfo: memFree=25775992/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=681356 CPUtime=402.22 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 34781 0 0 0 40208 14 0 0 20 0 1 0 7706349 697708544 135719 33554432000 4194304 6201397 140736083160208 140736083158824 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 170339 135719 165 491 0 169838 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 681356 [startup+462.3 s] /proc/loadavg: 2.13 2.09 1.96 4/177 10009 /proc/meminfo: memFree=25745508/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=682860 CPUtime=462.22 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 35152 0 0 0 46207 15 0 0 20 0 1 0 7706349 699248640 136090 33554432000 4194304 6201397 140736083160208 140736083158920 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 170715 136090 165 491 0 170214 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 682860 [startup+522.3 s] /proc/loadavg: 2.29 2.13 1.99 4/177 10011 /proc/meminfo: memFree=25714228/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=685204 CPUtime=522.21 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 36303 0 0 0 52206 15 0 0 20 0 1 0 7706349 701648896 136682 33554432000 4194304 6201397 140736083160208 140736083158824 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 171301 136682 165 491 0 170800 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 685204 [startup+582.3 s] /proc/loadavg: 2.21 2.14 2.00 3/177 10012 /proc/meminfo: memFree=25667712/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=689076 CPUtime=582.19 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 37712 0 0 0 58204 15 0 0 20 0 1 0 7706349 705613824 137950 33554432000 4194304 6201397 140736083160208 140736083158824 4213672 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 172269 137950 165 491 0 171768 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 689076 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.13 2.11 2.01 3/176 10022 /proc/meminfo: memFree=25509744/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=725264 CPUtime=942.13 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 48566 0 0 0 94195 18 0 0 20 0 1 0 7706349 742670336 149764 33554432000 4194304 6201397 140736083160208 140736083158920 5148079 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 181316 149764 165 491 0 180815 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 725264 [startup+1002.3 s] /proc/loadavg: 2.13 2.12 2.02 4/177 10024 /proc/meminfo: memFree=25484972/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=727464 CPUtime=1002.13 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 49105 0 0 0 100194 19 0 0 20 0 1 0 7706349 744923136 153880 33554432000 4194304 6201397 140736083160208 140736083158920 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 181866 153880 165 491 0 181365 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 727464 [startup+1062.3 s] /proc/loadavg: 2.20 2.14 2.03 4/177 10025 /proc/meminfo: memFree=25414912/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=729268 CPUtime=1062.12 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 49653 0 0 0 106193 19 0 0 20 0 1 0 7706349 746770432 154325 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 182317 154325 165 491 0 181816 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 729268 [startup+1122.3 s] /proc/loadavg: 2.20 2.14 2.03 4/177 10027 /proc/meminfo: memFree=25400116/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=735952 CPUtime=1122.1 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 51702 0 0 0 112191 19 0 0 20 0 1 0 7706349 753614848 156011 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 183988 156011 165 491 0 183487 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 735952 [startup+1182.3 s] /proc/loadavg: 2.11 2.13 2.03 4/177 10028 /proc/meminfo: memFree=25256796/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=739096 CPUtime=1182.1 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 52723 0 0 0 118190 20 0 0 20 0 1 0 7706349 756834304 167040 33554432000 4194304 6201397 140736083160208 140736083158808 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 184774 167040 165 491 0 184273 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 739096 [startup+1242.3 s] /proc/loadavg: 2.25 2.16 2.05 3/177 10029 /proc/meminfo: memFree=25246712/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=740296 CPUtime=1242.09 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 53442 0 0 0 124189 20 0 0 20 0 1 0 7706349 758063104 168874 33554432000 4194304 6201397 140736083160208 140736083159336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 185074 168874 165 491 0 184573 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 740296 [startup+1302.3 s] /proc/loadavg: 2.20 2.16 2.05 3/177 10030 /proc/meminfo: memFree=25240124/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=742180 CPUtime=1302.08 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 54322 0 0 0 130187 21 0 0 20 0 1 0 7706349 759992320 169339 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 185545 169339 165 491 0 185044 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 742180 [startup+1362.3 s] /proc/loadavg: 2.11 2.14 2.05 3/177 10031 /proc/meminfo: memFree=25233848/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=746688 CPUtime=1362.07 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 55722 0 0 0 136186 21 0 0 20 0 1 0 7706349 764608512 170469 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 186672 170469 165 491 0 186171 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 746688 [startup+1422.3 s] /proc/loadavg: 2.13 2.14 2.06 3/178 10036 /proc/meminfo: memFree=25200900/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=748344 CPUtime=1422.07 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 56312 0 0 0 142185 22 0 0 20 0 1 0 7706349 766304256 178061 33554432000 4194304 6201397 140736083160208 140736083159160 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 187086 178061 165 491 0 186585 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 748344 [startup+1482.3 s] /proc/loadavg: 2.22 2.16 2.07 3/177 10037 /proc/meminfo: memFree=25135696/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1100452 CPUtime=1482.05 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 59124 0 0 0 148181 24 0 0 20 0 1 0 7706349 1126862848 193217 33554432000 4194304 6201397 140736083160208 140736083158808 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 275113 193217 165 491 0 274612 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 1100452 [startup+1542.31 s] /proc/loadavg: 2.12 2.15 2.07 4/177 10038 /proc/meminfo: memFree=24909468/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1101480 CPUtime=1542.05 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 65851 0 0 0 154176 29 0 0 20 0 1 0 7706349 1127915520 247240 33554432000 4194304 6201397 140736083160208 140736083159336 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 275370 247240 165 491 0 274869 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 1101480 [startup+1602.3 s] /proc/loadavg: 2.31 2.19 2.09 4/177 10039 /proc/meminfo: memFree=24819284/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1101568 CPUtime=1602.04 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 66408 0 0 0 160175 29 0 0 20 0 1 0 7706349 1128005632 247241 33554432000 4194304 6201397 140736083160208 140736083158824 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 275392 247241 165 491 0 274891 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1101568 [startup+1662.3 s] /proc/loadavg: 2.24 2.19 2.09 3/177 10040 /proc/meminfo: memFree=24795752/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1113980 CPUtime=1662.02 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 78306 0 0 0 166171 31 0 0 20 0 1 0 7706349 1140715520 250141 33554432000 4194304 6201397 140736083160208 140736083158872 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 278495 250141 165 491 0 277994 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 1113980 [startup+1722.3 s] /proc/loadavg: 2.26 2.21 2.10 3/176 10041 /proc/meminfo: memFree=24786068/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1118468 CPUtime=1722.02 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 79433 0 0 0 172170 32 0 0 20 0 1 0 7706349 1145311232 251123 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 279617 251123 165 491 0 279116 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 1118468 [startup+1782.3 s] /proc/loadavg: 2.20 2.20 2.10 3/177 10043 /proc/meminfo: memFree=24779456/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1122536 CPUtime=1782.01 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80370 0 0 0 178169 32 0 0 20 0 1 0 7706349 1149476864 252060 33554432000 4194304 6201397 140736083160208 140736083158872 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 280634 252060 165 491 0 280133 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 1122536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.14 2.18 2.10 3/177 10043 /proc/meminfo: memFree=24777848/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1123672 CPUtime=1800 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80599 0 0 0 179968 32 0 0 20 0 1 0 7706349 1150640128 252289 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 280918 252289 165 491 0 280417 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1123672 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 9987 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.14 2.18 2.10 3/177 10043 /proc/meminfo: memFree=24777848/32872528 swapFree=11740/941760 [pid=9987] ppid=9984 vsize=1123672 CPUtime=1800 cores=0,2,4,6 /proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80599 0 0 0 179968 32 0 0 20 0 1 0 7706349 1150640128 252289 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0 /proc/9987/statm: 280918 252289 165 491 0 280417 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1123672 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1799.69 CPU system time (s): 0.331949 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 1123672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.331949 maximum resident set size= 1009156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80599 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= 23 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42933 second user time and 7.02993 second system time The end
Begin job on node113 at 2016-06-30 08:16:30 IDJOB=4119814 IDBENCH=111808 IDSOLVER=2550 FILE ID=node113/4119814-1467267390 RUNJOBID= node113-1467267390-9967 PBS_JOBID= 20004491 Free space on /tmp= 71728 MiB SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119814-1467267390/watcher-4119814-1467267390 -o /tmp/evaluation-result-4119814-1467267390/solver-4119814-1467267390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467267390-9967 --watchdog 1960 --input HOME/instance-4119814-1467267390.opb ./cdcl-cuttingplanes-opt-linearsearch-release TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e6bc42a73004b619a56f65a9590fd0d RANDOM SEED=1055473553 node113.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.947 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.89 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.947 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 : 5325.52 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.947 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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.54 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.947 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.56 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.947 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.947 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26902584 kB Buffers: 100544 kB Cached: 4149084 kB SwapCached: 0 kB Active: 2827868 kB Inactive: 1440484 kB Active(anon): 15948 kB Inactive(anon): 5656 kB Active(file): 2811920 kB Inactive(file): 1434828 kB Unevictable: 941760 kB Mlocked: 11740 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 10092 kB Writeback: 0 kB AnonPages: 957116 kB Mapped: 12992 kB Shmem: 204 kB Slab: 627192 kB SReclaimable: 71860 kB SUnreclaim: 555332 kB KernelStack: 1336 kB PageTables: 5896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1044900 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 935936 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= 71724 MiB End job on node113 at 2016-06-30 08:46:31