| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cdcl-cuttingplanes OPT linear search 2016-05-01 | ? (TO) | 1800.01 | 1800.3 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
| MD5SUM | 99680d01aa100bfba038606e315bf03d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 319 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 431 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 497468 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 497468 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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= 10000 #constraint= 656900 3.88/3.92 c #Conflicts: 1000 | #Learnt: 1025 | 0.000 3.88/3.92 c total clause space: 206.656MB 3.88/3.92 c total #watches: 1687011 11.48/11.52 c total #propagations: 404989 / total #impl: 10448861 (eff. 0.039) 11.48/11.52 c #Conflicts: 2000 | #Learnt: 2032 | 0.000 11.48/11.52 c total clause space: 206.656MB 11.48/11.52 c total #watches: 2234020 18.98/19.07 c total #propagations: 670190 / total #impl: 82531924 (eff. 0.008) 18.98/19.07 c #Conflicts: 3000 | #Learnt: 2028 | 0.002 18.98/19.07 c total clause space: 206.656MB 18.98/19.07 c total #watches: 2539736 31.28/31.39 c total #propagations: 881705 / total #impl: 160449675 (eff. 0.005) 31.28/31.39 c #Conflicts: 4000 | #Learnt: 3033 | 0.001 31.28/31.39 c total clause space: 335.816MB 31.28/31.39 c total #watches: 2883653 46.37/46.45 c total #propagations: 1153721 / total #impl: 234460555 (eff. 0.005) 46.37/46.45 c GC COLLECT 46.37/46.45 c #Conflicts: 5000 | #Learnt: 2394 | 0.001 46.37/46.45 c total clause space: 335.816MB 46.37/46.45 c total #watches: 3072595 58.58/58.66 c total #propagations: 1423765 / total #impl: 340162547 (eff. 0.004) 58.58/58.66 c #Conflicts: 6000 | #Learnt: 3394 | 0.001 58.58/58.66 c total clause space: 335.816MB 58.58/58.66 c total #watches: 3481503 85.78/85.82 c total #propagations: 1619909 / total #impl: 447856477 (eff. 0.004) 85.78/85.82 c GC COLLECT 85.78/85.82 c #Conflicts: 7000 | #Learnt: 2285 | 0.001 85.78/85.82 c total clause space: 335.816MB 85.78/85.82 c total #watches: 3688013 107.17/107.21 c total #propagations: 1899433 / total #impl: 590708882 (eff. 0.003) 107.17/107.21 c #Conflicts: 8000 | #Learnt: 3292 | 0.009 107.17/107.21 c total clause space: 335.816MB 107.17/107.21 c total #watches: 4310659 141.77/141.88 c total #propagations: 2152113 / total #impl: 706958752 (eff. 0.003) 141.77/141.88 c #Conflicts: 9000 | #Learnt: 4301 | 0.008 141.77/141.88 c total clause space: 335.816MB 141.77/141.88 c total #watches: 5047621 189.35/189.41 c total #propagations: 2472355 / total #impl: 814062779 (eff. 0.003) 189.35/189.41 c GC COLLECT 189.35/189.41 c #Conflicts: 10000 | #Learnt: 2800 | 0.008 189.35/189.41 c total clause space: 545.701MB 189.35/189.41 c total #watches: 5131799 221.55/221.62 c total #propagations: 2777610 / total #impl: 980880688 (eff. 0.003) 221.55/221.62 c #Conflicts: 11000 | #Learnt: 3804 | 0.012 221.55/221.62 c total clause space: 545.701MB 221.55/221.62 c total #watches: 5824539 288.25/288.32 c total #propagations: 2975570 / total #impl: 1225718535 (eff. 0.002) 288.25/288.32 c #Conflicts: 12000 | #Learnt: 4818 | 0.013 288.25/288.32 c total clause space: 545.701MB 288.25/288.32 c total #watches: 6680133 340.73/340.88 c total #propagations: 3307473 / total #impl: 1390913445 (eff. 0.002) 340.73/340.88 c #Conflicts: 13000 | #Learnt: 5822 | 0.012 340.73/340.88 c total clause space: 545.701MB 340.73/340.88 c total #watches: 7141722 369.73/369.82 c total #propagations: 3592476 / total #impl: 1513667972 (eff. 0.002) 369.73/369.82 c GC COLLECT 369.73/369.82 c #Conflicts: 14000 | #Learnt: 3976 | 0.011 369.73/369.82 c total clause space: 545.701MB 369.73/369.82 c total #watches: 5793213 395.62/395.80 c total #propagations: 3838527 / total #impl: 1587437651 (eff. 0.002) 395.62/395.80 c #Conflicts: 15000 | #Learnt: 4976 | 0.010 395.62/395.80 c total clause space: 545.701MB 395.62/395.80 c total #watches: 6054647 421.62/421.73 c total #propagations: 4027532 / total #impl: 1644340246 (eff. 0.002) 421.62/421.73 c #Conflicts: 16000 | #Learnt: 5976 | 0.009 421.62/421.73 c total clause space: 545.701MB 421.62/421.73 c total #watches: 6258910 446.11/446.21 c total #propagations: 4173908 / total #impl: 1701237058 (eff. 0.002) 446.11/446.21 c GC COLLECT 446.11/446.21 c #Conflicts: 17000 | #Learnt: 3832 | 0.009 446.11/446.21 c total clause space: 545.701MB 446.11/446.21 c total #watches: 4315720 463.91/464.06 c total #propagations: 4390196 / total #impl: 1753138043 (eff. 0.003) 463.91/464.06 c #Conflicts: 18000 | #Learnt: 4832 | 0.008 463.91/464.06 c total clause space: 545.701MB 463.91/464.06 c total #watches: 4503164 481.31/481.45 c total #propagations: 4544715 / total #impl: 1809008219 (eff. 0.003) 481.31/481.45 c #Conflicts: 19000 | #Learnt: 5832 | 0.008 481.31/481.45 c total clause space: 545.701MB 481.31/481.45 c total #watches: 4664475 509.10/509.30 c total #propagations: 4678630 / total #impl: 1868280650 (eff. 0.003) 509.10/509.30 c #Conflicts: 20000 | #Learnt: 6832 | 0.008 509.10/509.30 c total clause space: 545.701MB 509.10/509.30 c total #watches: 4848350 535.10/535.28 c total #propagations: 4929118 / total #impl: 1929215327 (eff. 0.003) 535.10/535.28 c GC COLLECT 535.10/535.28 c #Conflicts: 21000 | #Learnt: 4376 | 0.007 535.10/535.28 c total clause space: 545.701MB 535.10/535.28 c total #watches: 3760761 553.99/554.17 c total #propagations: 5245678 / total #impl: 1986400066 (eff. 0.003) 553.99/554.17 c #Conflicts: 22000 | #Learnt: 5376 | 0.007 553.99/554.17 c total clause space: 545.701MB 553.99/554.17 c total #watches: 3898829 575.59/575.77 c total #propagations: 5511137 / total #impl: 2042133698 (eff. 0.003) 575.59/575.77 c #Conflicts: 23000 | #Learnt: 6376 | 0.007 575.59/575.77 c total clause space: 545.701MB 575.59/575.77 c total #watches: 4061019 600.79/600.94 c total #propagations: 5743418 / total #impl: 2104351751 (eff. 0.003) 600.79/600.94 c #Conflicts: 24000 | #Learnt: 7376 | 0.006 600.79/600.94 c total clause space: 545.701MB 600.79/600.94 c total #watches: 4248436 622.98/623.19 c total #propagations: 6026092 / total #impl: 2158406197 (eff. 0.003) 622.98/623.19 c GC COLLECT 622.98/623.19 c #Conflicts: 25000 | #Learnt: 4593 | 0.006 622.98/623.19 c total clause space: 545.701MB 622.98/623.19 c total #watches: 3566422 637.68/637.87 c total #propagations: 6308727 / total #impl: 2220401949 (eff. 0.003) 637.68/637.87 c #Conflicts: 26000 | #Learnt: 5593 | 0.006 637.68/637.87 c total clause space: 545.701MB 637.68/637.87 c total #watches: 3672158 651.68/651.81 c total #propagations: 6556452 / total #impl: 2278893790 (eff. 0.003) 651.68/651.81 c #Conflicts: 27000 | #Learnt: 6593 | 0.006 651.68/651.81 c total clause space: 545.701MB 651.68/651.81 c total #watches: 3825587 676.27/676.50 c total #propagations: 6757055 / total #impl: 2319865905 (eff. 0.003) 676.27/676.50 c #Conflicts: 28000 | #Learnt: 7593 | 0.005 676.27/676.50 c total clause space: 545.701MB 676.27/676.50 c total #watches: 4098799 702.56/702.76 c total #propagations: 7013996 / total #impl: 2368154665 (eff. 0.003) 702.56/702.76 c GC COLLECT 702.56/702.76 c #Conflicts: 29000 | #Learnt: 4497 | 0.005 702.56/702.76 c total clause space: 545.701MB 702.56/702.76 c total #watches: 3918057 722.96/723.12 c total #propagations: 7211112 / total #impl: 2440670362 (eff. 0.003) 722.96/723.12 c #Conflicts: 30000 | #Learnt: 5497 | 0.005 722.96/723.12 c total clause space: 545.701MB 722.96/723.12 c total #watches: 4186336 745.86/746.00 c total #propagations: 7422329 / total #impl: 2517993249 (eff. 0.003) 745.86/746.00 c #Conflicts: 31000 | #Learnt: 6497 | 0.005 745.86/746.00 c total clause space: 545.701MB 745.86/746.00 c total #watches: 4395709 777.66/777.81 c total #propagations: 7636744 / total #impl: 2588768761 (eff. 0.003) 777.66/777.81 c #Conflicts: 32000 | #Learnt: 7497 | 0.005 777.66/777.81 c total clause space: 545.701MB 777.66/777.81 c total #watches: 4594479 809.56/809.72 c total #propagations: 7856396 / total #impl: 2651931386 (eff. 0.003) 809.56/809.72 c #Conflicts: 33000 | #Learnt: 8497 | 0.005 809.56/809.72 c total clause space: 545.701MB 809.56/809.72 c total #watches: 4820317 831.65/831.88 c total #propagations: 8102601 / total #impl: 2708897887 (eff. 0.003) 831.65/831.88 c GC COLLECT 831.65/831.88 c #Conflicts: 34000 | #Learnt: 5109 | 0.005 831.65/831.88 c total clause space: 886.764MB 831.65/831.88 c total #watches: 4318868 848.84/849.00 c total #propagations: 8332404 / total #impl: 2768889353 (eff. 0.003) 848.84/849.00 c #Conflicts: 35000 | #Learnt: 6109 | 0.004 848.84/849.00 c total clause space: 886.764MB 848.84/849.00 c total #watches: 4484363 870.74/870.98 c total #propagations: 8490749 / total #impl: 2843501334 (eff. 0.003) 870.74/870.98 c #Conflicts: 36000 | #Learnt: 7109 | 0.004 870.74/870.98 c total clause space: 886.764MB 870.74/870.98 c total #watches: 4590886 892.05/892.29 c total #propagations: 8727063 / total #impl: 2911443023 (eff. 0.003) 892.05/892.29 c #Conflicts: 37000 | #Learnt: 8109 | 0.004 892.05/892.29 c total clause space: 886.764MB 892.05/892.29 c total #watches: 4842053 915.74/915.98 c total #propagations: 8905480 / total #impl: 2981718734 (eff. 0.003) 915.74/915.98 c #Conflicts: 38000 | #Learnt: 9109 | 0.004 915.74/915.98 c total clause space: 886.764MB 915.74/915.98 c total #watches: 5059977 938.73/938.98 c total #propagations: 9090938 / total #impl: 3058615323 (eff. 0.003) 938.73/938.98 c GC COLLECT 938.73/938.98 c #Conflicts: 39000 | #Learnt: 5415 | 0.004 938.73/938.98 c total clause space: 886.764MB 938.73/938.98 c total #watches: 4261549 957.93/958.14 c total #propagations: 9270749 / total #impl: 3135663408 (eff. 0.003) 957.93/958.14 c #Conflicts: 40000 | #Learnt: 6415 | 0.004 957.93/958.14 c total clause space: 886.764MB 957.93/958.14 c total #watches: 4544111 978.72/978.95 c total #propagations: 9444460 / total #impl: 3212997049 (eff. 0.003) 978.72/978.95 c #Conflicts: 41000 | #Learnt: 7415 | 0.004 978.72/978.95 c total clause space: 886.764MB 978.72/978.95 c total #watches: 4690334 998.52/998.78 c total #propagations: 9673830 / total #impl: 3291858864 (eff. 0.003) 998.52/998.78 c #Conflicts: 42000 | #Learnt: 8415 | 0.004 998.52/998.78 c total clause space: 886.764MB 998.52/998.78 c total #watches: 4901778 1018.82/1019.01 c total #propagations: 9869309 / total #impl: 3387564902 (eff. 0.003) 1018.82/1019.01 c #Conflicts: 43000 | #Learnt: 9415 | 0.004 1018.82/1019.01 c total clause space: 886.764MB 1018.82/1019.01 c total #watches: 5180492 1041.01/1041.27 c total #propagations: 10052576 / total #impl: 3471906125 (eff. 0.003) 1041.01/1041.27 c GC COLLECT 1041.01/1041.27 c #Conflicts: 44000 | #Learnt: 5418 | 0.004 1041.01/1041.27 c total clause space: 886.764MB 1041.01/1041.27 c total #watches: 4464306 1062.42/1062.69 c total #propagations: 10248441 / total #impl: 3531738230 (eff. 0.003) 1062.42/1062.69 c #Conflicts: 45000 | #Learnt: 6418 | 0.004 1062.42/1062.69 c total clause space: 886.764MB 1062.42/1062.69 c total #watches: 4592480 1095.90/1096.15 c total #propagations: 10482265 / total #impl: 3586510028 (eff. 0.003) 1095.90/1096.15 c #Conflicts: 46000 | #Learnt: 7418 | 0.004 1095.90/1096.15 c total clause space: 886.764MB 1095.90/1096.15 c total #watches: 4836515 1134.00/1134.27 c total #propagations: 10779537 / total #impl: 3669946315 (eff. 0.003) 1134.00/1134.27 c #Conflicts: 47000 | #Learnt: 8418 | 0.003 1134.00/1134.27 c total clause space: 886.764MB 1134.00/1134.27 c total #watches: 5006653 1163.60/1163.89 c total #propagations: 11091333 / total #impl: 3724110890 (eff. 0.003) 1163.60/1163.89 c #Conflicts: 48000 | #Learnt: 9418 | 0.003 1163.60/1163.89 c total clause space: 886.764MB 1163.60/1163.89 c total #watches: 5269820 1213.98/1214.22 c total #propagations: 11341679 / total #impl: 3759854921 (eff. 0.003) 1213.98/1214.22 c #Conflicts: 49000 | #Learnt: 10418 | 0.003 1213.98/1214.22 c total clause space: 886.764MB 1213.98/1214.22 c total #watches: 5489690 1251.28/1251.55 c total #propagations: 11615469 / total #impl: 3809557372 (eff. 0.003) 1251.28/1251.55 c GC COLLECT 1251.28/1251.55 c #Conflicts: 50000 | #Learnt: 6101 | 0.004 1251.28/1251.55 c total clause space: 886.764MB 1251.28/1251.55 c total #watches: 4451630 1292.57/1292.87 c total #propagations: 11847773 / total #impl: 3851187937 (eff. 0.003) 1292.57/1292.87 c #Conflicts: 51000 | #Learnt: 7101 | 0.004 1292.57/1292.87 c total clause space: 886.764MB 1292.57/1292.87 c total #watches: 4605927 1326.57/1326.87 c total #propagations: 12078145 / total #impl: 3880366539 (eff. 0.003) 1326.57/1326.87 c #Conflicts: 52000 | #Learnt: 8101 | 0.004 1326.57/1326.87 c total clause space: 886.764MB 1326.57/1326.87 c total #watches: 4820093 1354.56/1354.87 c total #propagations: 12292280 / total #impl: 3931776846 (eff. 0.003) 1354.56/1354.87 c #Conflicts: 53000 | #Learnt: 9101 | 0.004 1354.56/1354.87 c total clause space: 886.764MB 1354.56/1354.87 c total #watches: 5045150 1397.96/1398.26 c total #propagations: 12502598 / total #impl: 4001314075 (eff. 0.003) 1397.96/1398.26 c #Conflicts: 54000 | #Learnt: 10101 | 0.005 1397.96/1398.26 c total clause space: 886.764MB 1397.96/1398.26 c total #watches: 5257780 1447.05/1447.31 c total #propagations: 12757978 / total #impl: 4062073088 (eff. 0.003) 1447.05/1447.31 c #Conflicts: 55000 | #Learnt: 11101 | 0.005 1447.05/1447.31 c total clause space: 886.764MB 1447.05/1447.31 c total #watches: 5535909 1475.24/1475.59 c total #propagations: 13028425 / total #impl: 4090254567 (eff. 0.003) 1475.24/1475.59 c GC COLLECT 1475.24/1475.59 c #Conflicts: 56000 | #Learnt: 6493 | 0.005 1475.24/1475.59 c total clause space: 886.764MB 1475.24/1475.59 c total #watches: 4734026 1506.85/1507.16 c total #propagations: 13244939 / total #impl: 4126659120 (eff. 0.003) 1506.85/1507.16 c #Conflicts: 57000 | #Learnt: 7493 | 0.005 1506.85/1507.16 c total clause space: 886.764MB 1506.85/1507.16 c total #watches: 5074142 1547.63/1547.98 c total #propagations: 13509357 / total #impl: 4182192714 (eff. 0.003) 1547.63/1547.98 c #Conflicts: 58000 | #Learnt: 8493 | 0.005 1547.63/1547.98 c total clause space: 886.764MB 1547.63/1547.98 c total #watches: 5316787 1584.03/1584.39 c total #propagations: 13803352 / total #impl: 4232913238 (eff. 0.003) 1584.03/1584.39 c #Conflicts: 59000 | #Learnt: 9493 | 0.005 1584.03/1584.39 c total clause space: 886.764MB 1584.03/1584.39 c total #watches: 5566376 1616.32/1616.69 c total #propagations: 14066709 / total #impl: 4273026794 (eff. 0.003) 1616.32/1616.69 c #Conflicts: 60000 | #Learnt: 10493 | 0.007 1616.32/1616.69 c total clause space: 886.764MB 1616.32/1616.69 c total #watches: 5920923 1649.52/1649.90 c total #propagations: 14312255 / total #impl: 4332933423 (eff. 0.003) 1649.52/1649.90 c #Conflicts: 61000 | #Learnt: 11493 | 0.007 1649.52/1649.90 c total clause space: 886.764MB 1649.62/1649.90 c total #watches: 6291188 1675.52/1675.84 c total #propagations: 14534320 / total #impl: 4393301511 (eff. 0.003) 1675.52/1675.84 c GC COLLECT 1675.52/1675.84 c #Conflicts: 62000 | #Learnt: 6599 | 0.007 1675.52/1675.84 c total clause space: 886.764MB 1675.52/1675.84 c total #watches: 5154510 1694.11/1694.43 c total #propagations: 14773648 / total #impl: 4467580835 (eff. 0.003) 1694.11/1694.43 c #Conflicts: 63000 | #Learnt: 7599 | 0.007 1694.11/1694.43 c total clause space: 886.764MB 1694.11/1694.43 c total #watches: 5549942 1716.31/1716.65 c total #propagations: 14974903 / total #impl: 4537396102 (eff. 0.003) 1716.31/1716.65 c #Conflicts: 64000 | #Learnt: 8599 | 0.007 1716.31/1716.65 c total clause space: 886.764MB 1716.31/1716.65 c total #watches: 5780388 1757.30/1757.61 c total #propagations: 15185541 / total #impl: 4623154125 (eff. 0.003) 1757.30/1757.61 c #Conflicts: 65000 | #Learnt: 9599 | 0.007 1757.30/1757.61 c total clause space: 886.764MB 1757.30/1757.61 c total #watches: 6021250
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-4088110-1465395041/watcher-4088110-1465395041 -o /tmp/evaluation-result-4088110-1465395041/solver-4088110-1465395041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19244 --watchdog 1960 --input HOME/instance-4088110-1465395041.opb ./cdcl-cuttingplanes-opt-linearsearch-release pid=19859 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.20 2.18 3/177 19862 /proc/meminfo: memFree=29020460/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=29112 CPUtime=0 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 121437231 29810688 5268 33554432000 4194304 6201397 140735610444656 140735663495096 4211056 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 7278 5268 130 491 0 6777 0 [startup+0.100121 s] /proc/loadavg: 2.16 2.20 2.18 3/177 19862 /proc/meminfo: memFree=29020460/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=34384 CPUtime=0.09 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 1194 0 0 0 9 0 0 0 20 0 1 0 121437231 35209216 7421 33554432000 4194304 6201397 140735610444656 140735663495096 5408672 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 8596 7422 142 491 0 8095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34384 [startup+0.200256 s] /proc/loadavg: 2.16 2.20 2.18 3/177 19862 /proc/meminfo: memFree=29020460/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=42444 CPUtime=0.19 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 2488 0 0 0 19 0 0 0 20 0 1 0 121437231 43462656 8736 33554432000 4194304 6201397 140735610444656 140735663495096 4207438 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 10611 8737 143 491 0 10110 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 42444 [startup+0.300268 s] /proc/loadavg: 2.16 2.20 2.18 3/177 19862 /proc/meminfo: memFree=29020460/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=50936 CPUtime=0.28 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 3877 0 0 0 28 0 0 0 20 0 1 0 121437231 52158464 10115 33554432000 4194304 6201397 140735610444656 140735663495096 4207438 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 12734 10115 143 491 0 12233 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 50936 [startup+0.700174 s] /proc/loadavg: 2.16 2.20 2.18 3/177 19862 /proc/meminfo: memFree=29020460/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=65500 CPUtime=0.69 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 6293 0 0 0 68 1 0 0 20 0 1 0 121437231 67072000 15298 33554432000 4194304 6201397 140735610444656 140735610442792 4207438 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 16375 15299 143 491 0 15874 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 65500 [startup+1.50022 s] /proc/loadavg: 2.15 2.20 2.18 3/178 19863 /proc/meminfo: memFree=28937716/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=121988 CPUtime=1.49 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 9566 0 0 0 147 2 0 0 20 0 1 0 121437231 124915712 25907 33554432000 4194304 6201397 140735610444656 140735610442792 4208163 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 30497 25907 143 491 0 29996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121988 [startup+3.10023 s] /proc/loadavg: 2.15 2.20 2.18 3/178 19863 /proc/meminfo: memFree=28875356/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=185276 CPUtime=3.08 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 13476 0 0 0 305 3 0 0 20 0 1 0 121437231 189722624 44746 33554432000 4194304 6201397 140735610444656 140735610443368 4213261 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 46319 44746 147 491 0 45818 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 185276 [startup+6.30023 s] /proc/loadavg: 2.15 2.20 2.18 4/178 19909 /proc/meminfo: memFree=29720532/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=268568 CPUtime=6.29 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 14244 0 0 0 625 4 0 0 20 0 1 0 121437231 275013632 49531 33554432000 4194304 6201397 140735610444656 140735610443368 4216049 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0 /proc/19862/statm: 67142 49531 160 491 0 66641 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 268568 [startup+12.7002 s] /proc/loadavg: 2.20 2.20 2.18 3/178 19909 /proc/meminfo: memFree=29559568/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=276800 CPUtime=12.69 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 16334 0 0 0 1264 5 0 0 20 0 1 0 121437231 283443200 59286 33554432000 4194304 6201397 140735610444656 140735610442936 4213379 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 69200 59286 160 491 0 68699 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 276800 [startup+25.5004 s] /proc/loadavg: 2.17 2.20 2.18 3/177 19909 /proc/meminfo: memFree=29451532/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=414080 CPUtime=25.49 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 17818 0 0 0 2543 6 0 0 20 0 1 0 121437231 424017920 72478 33554432000 4194304 6201397 140735610444656 140735610443224 4213504 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 103520 72478 166 491 0 103019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 414080 [startup+51.1003 s] /proc/loadavg: 2.16 2.19 2.18 3/177 19909 /proc/meminfo: memFree=29329684/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=419224 CPUtime=51.07 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 19992 0 0 0 5101 6 0 0 20 0 1 0 121437231 429285376 82910 33554432000 4194304 6201397 140735610444656 140735610443784 4216049 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 104806 82910 166 491 0 104305 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 419224 [startup+102.3 s] /proc/loadavg: 2.18 2.19 2.18 3/178 19912 /proc/meminfo: memFree=29201980/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=438692 CPUtime=102.28 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 25095 0 0 0 10220 8 0 0 20 0 1 0 121437231 449220608 96684 33554432000 4194304 6201397 140735610444656 140735610443784 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 109673 96684 166 491 0 109172 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 438692 [startup+162.3 s] /proc/loadavg: 2.17 2.18 2.18 3/178 19913 /proc/meminfo: memFree=29105600/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=449128 CPUtime=162.26 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 27713 0 0 0 16217 9 0 0 20 0 1 0 121437231 459907072 109011 33554432000 4194304 6201397 140735610444656 140735610442936 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 112282 109011 166 491 0 111781 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 449128 [startup+222.307 s] /proc/loadavg: 2.23 2.21 2.18 3/177 19914 /proc/meminfo: memFree=29023796/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=670036 CPUtime=222.26 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 29716 0 0 0 22217 9 0 0 20 0 1 0 121437231 686116864 117319 33554432000 4194304 6201397 140735610444656 140735610443784 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 167509 117319 166 491 0 167008 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 670036 [startup+282.3 s] /proc/loadavg: 2.29 2.23 2.19 4/177 19915 /proc/meminfo: memFree=28972392/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=679780 CPUtime=282.24 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 32168 0 0 0 28214 10 0 0 20 0 1 0 121437231 696094720 123856 33554432000 4194304 6201397 140735610444656 140735610442936 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 169945 123856 166 491 0 169444 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 679780 [startup+342.3 s] /proc/loadavg: 2.25 2.22 2.18 3/177 19916 /proc/meminfo: memFree=28879116/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=693612 CPUtime=342.23 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 35502 0 0 0 34211 12 0 0 20 0 1 0 121437231 710258688 139944 33554432000 4194304 6201397 140735610444656 140735610442936 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 173403 139944 166 491 0 172902 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 693612 [startup+402.3 s] /proc/loadavg: 2.30 2.23 2.19 3/177 19918 /proc/meminfo: memFree=28878480/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=693612 CPUtime=402.22 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 35613 0 0 0 40210 12 0 0 20 0 1 0 121437231 710258688 140054 33554432000 4194304 6201397 140735610444656 140735610443784 4214959 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 173403 140054 166 491 0 172902 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 693612 [startup+462.3 s] /proc/loadavg: 2.33 2.25 2.19 4/177 19919 /proc/meminfo: memFree=28826020/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=693612 CPUtime=462.21 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 35689 0 0 0 46209 12 0 0 20 0 1 0 121437231 710258688 145235 33554432000 4194304 6201397 140735610444656 140735610443784 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 173403 145235 166 491 0 172902 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 693612 [startup+522.3 s] /proc/loadavg: 2.21 2.23 2.19 3/177 19920 /proc/meminfo: memFree=28801696/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=693612 CPUtime=522.2 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 35707 0 0 0 52207 13 0 0 20 0 1 0 121437231 710258688 149850 33554432000 4194304 6201397 140735610444656 140735610443784 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 173403 149850 166 491 0 172902 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 693612 [startup+582.3 s] /proc/loadavg: 2.29 2.25 2.19 4/178 19924 /proc/meminfo: memFree=28776052/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=693612 CPUtime=582.19 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 35752 0 0 0 58206 13 0 0 20 0 1 0 121437231 710258688 150156 33554432000 4194304 6201397 140735610444656 140735610443784 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 173403 150156 166 491 0 172902 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 693612 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.21 2.20 2.18 3/177 19931 /proc/meminfo: memFree=28571912/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043388 CPUtime=942.13 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36661 0 0 0 94198 15 0 0 20 0 1 0 121437231 1068429312 189534 33554432000 4194304 6201397 140735610444656 140735610443784 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260847 189534 166 491 0 260346 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 1043388 [startup+1002.3 s] /proc/loadavg: 2.15 2.19 2.18 4/177 19933 /proc/meminfo: memFree=28554996/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043388 CPUtime=1002.12 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36745 0 0 0 100197 15 0 0 20 0 1 0 121437231 1068429312 189618 33554432000 4194304 6201397 140735610444656 140735610443784 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260847 189618 166 491 0 260346 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 1043388 [startup+1062.3 s] /proc/loadavg: 2.21 2.20 2.18 4/177 19934 /proc/meminfo: memFree=28522076/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043532 CPUtime=1062.11 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36792 0 0 0 106196 15 0 0 20 0 1 0 121437231 1068576768 197841 33554432000 4194304 6201397 140735610444656 140735610443784 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260883 197841 166 491 0 260382 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 1043532 [startup+1122.3 s] /proc/loadavg: 2.13 2.17 2.17 3/177 19935 /proc/meminfo: memFree=28522044/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043532 CPUtime=1122.1 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36794 0 0 0 112195 15 0 0 20 0 1 0 121437231 1068576768 197843 33554432000 4194304 6201397 140735610444656 140735610443784 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260883 197843 166 491 0 260382 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 1043532 [startup+1182.3 s] /proc/loadavg: 2.27 2.20 2.18 3/178 19939 /proc/meminfo: memFree=28520376/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043532 CPUtime=1182.09 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36864 0 0 0 118194 15 0 0 20 0 1 0 121437231 1068576768 197913 33554432000 4194304 6201397 140735610444656 140735610443784 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260883 197913 166 491 0 260382 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 1043532 [startup+1242.3 s] /proc/loadavg: 2.20 2.19 2.18 3/177 19940 /proc/meminfo: memFree=28518536/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1242.08 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36895 0 0 0 124193 15 0 0 20 0 1 0 121437231 1068822528 197944 33554432000 4194304 6201397 140735610444656 140735610443784 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197944 166 491 0 260442 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 1043772 [startup+1302.3 s] /proc/loadavg: 2.19 2.18 2.18 3/177 19942 /proc/meminfo: memFree=28488876/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1302.07 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36903 0 0 0 130192 15 0 0 20 0 1 0 121437231 1068822528 197952 33554432000 4194304 6201397 140735610444656 140735610443784 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197952 166 491 0 260442 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 1043772 [startup+1362.3 s] /proc/loadavg: 2.25 2.19 2.18 3/177 19943 /proc/meminfo: memFree=28489096/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1362.06 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36924 0 0 0 136191 15 0 0 20 0 1 0 121437231 1068822528 197973 33554432000 4194304 6201397 140735610444656 140735610443784 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197973 166 491 0 260442 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 1043772 [startup+1422.3 s] /proc/loadavg: 2.24 2.20 2.18 3/177 19944 /proc/meminfo: memFree=28486212/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1422.06 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36935 0 0 0 142191 15 0 0 20 0 1 0 121437231 1068822528 197984 33554432000 4194304 6201397 140735610444656 140735610443784 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197984 166 491 0 260442 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 1043772 [startup+1482.3 s] /proc/loadavg: 2.32 2.22 2.19 3/177 19945 /proc/meminfo: memFree=28435144/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1482.04 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36941 0 0 0 148189 15 0 0 20 0 1 0 121437231 1068822528 197990 33554432000 4194304 6201397 140735610444656 140735610443784 4213249 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197990 166 491 0 260442 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 1043772 [startup+1542.31 s] /proc/loadavg: 2.23 2.21 2.18 3/177 19946 /proc/meminfo: memFree=28434744/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043772 CPUtime=1542.04 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36949 0 0 0 154189 15 0 0 20 0 1 0 121437231 1068822528 197998 33554432000 4194304 6201397 140735610444656 140735610443784 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260943 197998 166 491 0 260442 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 1043772 [startup+1602.3 s] /proc/loadavg: 2.31 2.24 2.19 4/176 19948 /proc/meminfo: memFree=28402888/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1043932 CPUtime=1602.03 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 36991 0 0 0 160188 15 0 0 20 0 1 0 121437231 1068986368 198040 33554432000 4194304 6201397 140735610444656 140735610443784 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 260983 198040 166 491 0 260482 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1043932 [startup+1662.3 s] /proc/loadavg: 2.16 2.21 2.18 4/177 19950 /proc/meminfo: memFree=28342872/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1046248 CPUtime=1662.02 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 37589 0 0 0 166186 16 0 0 20 0 1 0 121437231 1071357952 203748 33554432000 4194304 6201397 140735610444656 140735610442936 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 261562 203748 166 491 0 261061 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 1046248 [startup+1722.3 s] /proc/loadavg: 2.10 2.18 2.17 3/177 19951 /proc/meminfo: memFree=28333536/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1046872 CPUtime=1722.01 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 37758 0 0 0 172185 16 0 0 20 0 1 0 121437231 1071996928 205961 33554432000 4194304 6201397 140735610444656 140735610443784 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 261718 205961 166 491 0 261217 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 1046872 [startup+1782.3 s] /proc/loadavg: 2.18 2.19 2.18 3/178 19955 /proc/meminfo: memFree=28330928/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1048316 CPUtime=1782 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 38102 0 0 0 178184 16 0 0 20 0 1 0 121437231 1073475584 206305 33554432000 4194304 6201397 140735610444656 140735610442936 4214892 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 262079 206305 166 491 0 261578 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 1048316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.21 2.20 2.18 3/178 19955 /proc/meminfo: memFree=28327464/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1048316 CPUtime=1800 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 38139 0 0 0 179983 17 0 0 20 0 1 0 121437231 1073475584 207364 33554432000 4194304 6201397 140735610444656 140735610442936 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 262079 207364 166 491 0 261578 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1048316 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 19862 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.21 2.20 2.18 3/178 19955 /proc/meminfo: memFree=28327464/32872528 swapFree=16384/1696552 [pid=19862] ppid=19859 vsize=1048316 CPUtime=1800 cores=0,2,4,6 /proc/19862/stat : 19862 (cdcl-cuttingpla) R 19859 19862 19228 0 -1 4202496 38139 0 0 0 179983 17 0 0 20 0 1 0 121437231 1073475584 207364 33554432000 4194304 6201397 140735610444656 140735610442936 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/19862/statm: 262079 207364 166 491 0 261578 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1048316 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.3 CPU time (s): 1800.01 CPU user time (s): 1799.84 CPU system time (s): 0.173973 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 1048316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.173973 maximum resident set size= 829456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38139 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= 20 involuntary context switches= 1995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.82127 second user time and 6.63899 second system time The end
Begin job on node125 at 2016-06-08 16:10:42 IDJOB=4088110 IDBENCH=1976 IDSOLVER=2550 FILE ID=node125/4088110-1465395041 RUNJOBID= node125-1465387837-19244 PBS_JOBID= 19853867 Free space on /tmp= 71708 MiB SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088110-1465395041/watcher-4088110-1465395041 -o /tmp/evaluation-result-4088110-1465395041/solver-4088110-1465395041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19244 --watchdog 1960 --input HOME/instance-4088110-1465395041.opb ./cdcl-cuttingplanes-opt-linearsearch-release TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED=1766004282 node125.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.456 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 : 5332.91 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.456 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.56 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.456 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.456 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.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29021252 kB Buffers: 92704 kB Cached: 330940 kB SwapCached: 1700 kB Active: 1098844 kB Inactive: 307380 kB Active(anon): 981916 kB Inactive(anon): 2960 kB Active(file): 116928 kB Inactive(file): 304420 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098584 kB Dirty: 19080 kB Writeback: 0 kB AnonPages: 2678392 kB Mapped: 7832 kB Shmem: 0 kB Slab: 613360 kB SReclaimable: 57128 kB SUnreclaim: 556232 kB KernelStack: 1456 kB PageTables: 9328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2860344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2623488 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= 71708 MiB End job on node125 at 2016-06-08 16:40:42