| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cdcl-cuttingplanes OPT linear search 2016-05-01 | ? (TO) | 1800.02 | 1800.31 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
| MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 381 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 419 |
| 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 | 495618 |
| 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 | 495618 |
| 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.49/3.55 c #Conflicts: 1000 | #Learnt: 1023 | 0.000 3.49/3.55 c total clause space: 206.656MB 3.49/3.55 c total #watches: 1653483 18.09/18.15 c total #propagations: 339124 / total #impl: 10426601 (eff. 0.033) 18.09/18.15 c #Conflicts: 2000 | #Learnt: 2056 | 0.003 18.09/18.15 c total clause space: 206.656MB 18.09/18.15 c total #watches: 2803981 28.59/28.69 c total #propagations: 862243 / total #impl: 108218389 (eff. 0.008) 28.59/28.69 c #Conflicts: 3000 | #Learnt: 2047 | 0.004 28.59/28.69 c total clause space: 335.816MB 28.59/28.69 c total #watches: 3207965 43.68/43.73 c total #propagations: 1047311 / total #impl: 191132075 (eff. 0.005) 43.68/43.73 c #Conflicts: 4000 | #Learnt: 3047 | 0.003 43.68/43.73 c total clause space: 335.816MB 43.68/43.73 c total #watches: 3529989 59.88/59.96 c total #propagations: 1338573 / total #impl: 304423796 (eff. 0.004) 59.88/59.96 c GC COLLECT 59.88/59.96 c #Conflicts: 5000 | #Learnt: 2412 | 0.003 59.88/59.96 c total clause space: 335.816MB 59.88/59.96 c total #watches: 3526182 75.98/76.02 c total #propagations: 1603800 / total #impl: 379879594 (eff. 0.004) 75.98/76.02 c #Conflicts: 6000 | #Learnt: 3412 | 0.003 75.98/76.02 c total clause space: 335.816MB 75.98/76.02 c total #watches: 3842910 91.38/91.48 c total #propagations: 1820475 / total #impl: 461453429 (eff. 0.004) 91.38/91.48 c GC COLLECT 91.38/91.48 c #Conflicts: 7000 | #Learnt: 2315 | 0.002 91.38/91.48 c total clause space: 335.816MB 91.38/91.48 c total #watches: 3352593 104.37/104.41 c total #propagations: 2001057 / total #impl: 544350206 (eff. 0.004) 104.37/104.41 c #Conflicts: 8000 | #Learnt: 3315 | 0.002 104.37/104.41 c total clause space: 335.816MB 104.37/104.41 c total #watches: 3645920 127.37/127.41 c total #propagations: 2225103 / total #impl: 637939528 (eff. 0.003) 127.37/127.41 c #Conflicts: 9000 | #Learnt: 4315 | 0.002 127.37/127.41 c total clause space: 335.816MB 127.37/127.41 c total #watches: 3940816 151.87/151.93 c total #propagations: 2550234 / total #impl: 715640640 (eff. 0.004) 151.87/151.93 c GC COLLECT 151.87/151.93 c #Conflicts: 10000 | #Learnt: 2825 | 0.002 151.87/151.93 c total clause space: 545.701MB 151.87/151.93 c total #watches: 3448378 167.96/168.03 c total #propagations: 2871324 / total #impl: 786633995 (eff. 0.004) 167.96/168.03 c #Conflicts: 11000 | #Learnt: 3825 | 0.002 167.96/168.03 c total clause space: 545.701MB 167.96/168.03 c total #watches: 3751150 190.46/190.53 c total #propagations: 3153965 / total #impl: 880885159 (eff. 0.004) 190.46/190.53 c #Conflicts: 12000 | #Learnt: 4825 | 0.002 190.46/190.53 c total clause space: 545.701MB 190.46/190.53 c total #watches: 4089972 218.36/218.43 c total #propagations: 3437988 / total #impl: 928297355 (eff. 0.004) 218.36/218.43 c #Conflicts: 13000 | #Learnt: 5825 | 0.002 218.36/218.43 c total clause space: 545.701MB 218.36/218.43 c total #watches: 4504044 239.65/239.73 c total #propagations: 3714740 / total #impl: 984198279 (eff. 0.004) 239.65/239.73 c GC COLLECT 239.65/239.73 c #Conflicts: 14000 | #Learnt: 3971 | 0.002 239.65/239.73 c total clause space: 545.701MB 239.65/239.73 c total #watches: 3997957 258.25/258.36 c total #propagations: 4054340 / total #impl: 1029698049 (eff. 0.004) 258.25/258.36 c #Conflicts: 15000 | #Learnt: 4971 | 0.003 258.25/258.36 c total clause space: 545.701MB 258.25/258.36 c total #watches: 4366906 280.35/280.50 c total #propagations: 4311921 / total #impl: 1080587205 (eff. 0.004) 280.35/280.50 c #Conflicts: 16000 | #Learnt: 5971 | 0.003 280.35/280.50 c total clause space: 545.701MB 280.35/280.50 c total #watches: 4804243 303.65/303.79 c total #propagations: 4568334 / total #impl: 1159883674 (eff. 0.004) 303.65/303.79 c GC COLLECT 303.65/303.79 c #Conflicts: 17000 | #Learnt: 3816 | 0.003 303.65/303.79 c total clause space: 545.701MB 303.65/303.79 c total #watches: 3998587 321.84/321.97 c total #propagations: 4874369 / total #impl: 1240101310 (eff. 0.004) 321.84/321.97 c #Conflicts: 18000 | #Learnt: 4816 | 0.003 321.84/321.97 c total clause space: 545.701MB 321.84/321.97 c total #watches: 4293710 344.13/344.30 c total #propagations: 5124453 / total #impl: 1333510261 (eff. 0.004) 344.13/344.30 c #Conflicts: 19000 | #Learnt: 5816 | 0.006 344.13/344.30 c total clause space: 545.701MB 344.13/344.30 c total #watches: 4641652 381.74/381.81 c total #propagations: 5411595 / total #impl: 1458039171 (eff. 0.004) 381.74/381.81 c #Conflicts: 20000 | #Learnt: 6816 | 0.006 381.74/381.81 c total clause space: 545.701MB 381.74/381.81 c total #watches: 5127392 414.42/414.51 c total #propagations: 5734624 / total #impl: 1615766469 (eff. 0.004) 414.42/414.51 c GC COLLECT 414.42/414.51 c #Conflicts: 21000 | #Learnt: 4316 | 0.005 414.42/414.51 c total clause space: 545.701MB 414.42/414.51 c total #watches: 4083707 437.91/438.07 c total #propagations: 6077465 / total #impl: 1751237081 (eff. 0.003) 437.91/438.07 c #Conflicts: 22000 | #Learnt: 5316 | 0.005 437.91/438.07 c total clause space: 545.701MB 437.91/438.07 c total #watches: 4539854 471.01/471.11 c total #propagations: 6345584 / total #impl: 1906478268 (eff. 0.003) 471.01/471.11 c #Conflicts: 23000 | #Learnt: 6316 | 0.005 471.01/471.11 c total clause space: 545.701MB 471.01/471.11 c total #watches: 4981816 511.70/511.82 c total #propagations: 6680107 / total #impl: 2051518969 (eff. 0.003) 511.70/511.82 c #Conflicts: 24000 | #Learnt: 7316 | 0.005 511.70/511.82 c total clause space: 886.764MB 511.70/511.82 c total #watches: 5355895 549.49/549.60 c total #propagations: 7032485 / total #impl: 2173551442 (eff. 0.003) 549.49/549.60 c GC COLLECT 549.49/549.60 c #Conflicts: 25000 | #Learnt: 4513 | 0.006 549.49/549.60 c total clause space: 886.764MB 549.49/549.60 c total #watches: 4374549 570.99/571.16 c total #propagations: 7388635 / total #impl: 2278022164 (eff. 0.003) 570.99/571.16 c #Conflicts: 26000 | #Learnt: 5513 | 0.006 570.99/571.16 c total clause space: 886.764MB 570.99/571.16 c total #watches: 4887759 593.99/594.18 c total #propagations: 7627919 / total #impl: 2413037892 (eff. 0.003) 593.99/594.18 c #Conflicts: 27000 | #Learnt: 6513 | 0.007 593.99/594.18 c total clause space: 886.764MB 593.99/594.18 c total #watches: 5551094 640.38/640.52 c total #propagations: 7882561 / total #impl: 2533069101 (eff. 0.003) 640.38/640.52 c #Conflicts: 28000 | #Learnt: 7513 | 0.010 640.38/640.52 c total clause space: 886.764MB 640.38/640.52 c total #watches: 5950882 683.87/684.03 c total #propagations: 8224949 / total #impl: 2669782714 (eff. 0.003) 683.87/684.03 c GC COLLECT 683.87/684.03 c #Conflicts: 29000 | #Learnt: 4412 | 0.010 683.87/684.03 c total clause space: 886.764MB 683.87/684.03 c total #watches: 4613745 713.27/713.40 c total #propagations: 8527916 / total #impl: 2843013848 (eff. 0.003) 713.27/713.40 c #Conflicts: 30000 | #Learnt: 5412 | 0.009 713.27/713.40 c total clause space: 886.764MB 713.27/713.40 c total #watches: 5089232 747.97/748.17 c total #propagations: 8826825 / total #impl: 2957040185 (eff. 0.003) 747.97/748.17 c #Conflicts: 31000 | #Learnt: 6412 | 0.009 747.97/748.17 c total clause space: 886.764MB 747.97/748.17 c total #watches: 5401338 792.97/793.12 c total #propagations: 9130886 / total #impl: 3071198169 (eff. 0.003) 792.97/793.12 c #Conflicts: 32000 | #Learnt: 7412 | 0.009 792.97/793.12 c total clause space: 886.764MB 792.97/793.12 c total #watches: 5785784 842.36/842.50 c total #propagations: 9444266 / total #impl: 3212764086 (eff. 0.003) 842.36/842.50 c #Conflicts: 33000 | #Learnt: 8412 | 0.009 842.36/842.50 c total clause space: 886.764MB 842.36/842.50 c total #watches: 6111965 870.35/870.55 c total #propagations: 9792320 / total #impl: 3321769301 (eff. 0.003) 870.35/870.55 c GC COLLECT 870.35/870.55 c #Conflicts: 34000 | #Learnt: 5011 | 0.008 870.35/870.55 c total clause space: 886.764MB 870.35/870.55 c total #watches: 4518748 888.65/888.87 c total #propagations: 10112302 / total #impl: 3478344394 (eff. 0.003) 888.65/888.87 c #Conflicts: 35000 | #Learnt: 6011 | 0.008 888.65/888.87 c total clause space: 886.764MB 888.65/888.87 c total #watches: 4887367 913.44/913.60 c total #propagations: 10357225 / total #impl: 3603419404 (eff. 0.003) 913.44/913.60 c #Conflicts: 36000 | #Learnt: 7011 | 0.008 913.44/913.60 c total clause space: 886.764MB 913.44/913.60 c total #watches: 5147760 936.54/936.78 c total #propagations: 10668280 / total #impl: 3753893730 (eff. 0.003) 936.54/936.78 c #Conflicts: 37000 | #Learnt: 8011 | 0.008 936.54/936.78 c total clause space: 886.764MB 936.54/936.78 c total #watches: 5442699 960.93/961.10 c total #propagations: 10937241 / total #impl: 3932121512 (eff. 0.003) 960.93/961.10 c #Conflicts: 38000 | #Learnt: 9011 | 0.008 960.93/961.10 c total clause space: 886.764MB 960.93/961.10 c total #watches: 5698952 986.23/986.46 c total #propagations: 11252331 / total #impl: 4092059635 (eff. 0.003) 986.23/986.46 c GC COLLECT 986.23/986.46 c #Conflicts: 39000 | #Learnt: 5316 | 0.007 986.23/986.46 c total clause space: 886.764MB 986.23/986.46 c total #watches: 4391459 1004.73/1004.99 c total #propagations: 11546929 / total #impl: 4254663548 (eff. 0.003) 1004.73/1004.99 c #Conflicts: 40000 | #Learnt: 6316 | 0.007 1004.73/1004.99 c total clause space: 886.764MB 1004.73/1004.99 c total #watches: 4653353 1025.32/1025.51 c total #propagations: 11805397 / total #impl: 4409118763 (eff. 0.003) 1025.32/1025.51 c #Conflicts: 41000 | #Learnt: 7316 | 0.007 1025.32/1025.51 c total clause space: 886.764MB 1025.32/1025.51 c total #watches: 4826705 1046.82/1047.01 c total #propagations: 12154096 / total #impl: 4580679891 (eff. 0.003) 1046.82/1047.01 c #Conflicts: 42000 | #Learnt: 8316 | 0.007 1046.82/1047.01 c total clause space: 886.764MB 1046.82/1047.01 c total #watches: 5125468 1066.62/1066.81 c total #propagations: 12439385 / total #impl: 4731488808 (eff. 0.003) 1066.62/1066.81 c #Conflicts: 43000 | #Learnt: 9316 | 0.007 1066.62/1066.81 c total clause space: 886.764MB 1066.62/1066.81 c total #watches: 5428032 1087.41/1087.65 c total #propagations: 12661237 / total #impl: 4838320946 (eff. 0.003) 1087.41/1087.65 c GC COLLECT 1087.41/1087.65 c #Conflicts: 44000 | #Learnt: 5316 | 0.007 1087.41/1087.65 c total clause space: 886.764MB 1087.41/1087.65 c total #watches: 4460753 1108.61/1108.82 c total #propagations: 12863088 / total #impl: 4948656431 (eff. 0.003) 1108.61/1108.82 c #Conflicts: 45000 | #Learnt: 6316 | 0.009 1108.61/1108.82 c total clause space: 886.764MB 1108.61/1108.82 c total #watches: 4702013 1146.50/1146.71 c total #propagations: 13057838 / total #impl: 5058109067 (eff. 0.003) 1146.50/1146.71 c #Conflicts: 46000 | #Learnt: 7316 | 0.008 1146.50/1146.71 c total clause space: 886.764MB 1146.50/1146.71 c total #watches: 4851675 1190.99/1191.26 c total #propagations: 13337586 / total #impl: 5195193866 (eff. 0.003) 1190.99/1191.26 c #Conflicts: 47000 | #Learnt: 8316 | 0.008 1190.99/1191.26 c total clause space: 886.764MB 1190.99/1191.26 c total #watches: 4964891 1218.60/1218.86 c total #propagations: 13728888 / total #impl: 5318453270 (eff. 0.003) 1218.60/1218.86 c #Conflicts: 48000 | #Learnt: 9316 | 0.008 1218.60/1218.86 c total clause space: 886.764MB 1218.60/1218.86 c total #watches: 5181678 1265.38/1265.63 c total #propagations: 14049024 / total #impl: 5426893066 (eff. 0.003) 1265.38/1265.63 c #Conflicts: 49000 | #Learnt: 10316 | 0.008 1265.38/1265.63 c total clause space: 886.764MB 1265.38/1265.63 c total #watches: 5580092 1303.58/1303.84 c total #propagations: 14418695 / total #impl: 5521480872 (eff. 0.003) 1303.58/1303.84 c GC COLLECT 1303.58/1303.84 c #Conflicts: 50000 | #Learnt: 6007 | 0.008 1303.58/1303.84 c total clause space: 886.764MB 1303.58/1303.84 c total #watches: 4720647 1329.27/1329.52 c total #propagations: 14740995 / total #impl: 5591337208 (eff. 0.003) 1329.27/1329.52 c #Conflicts: 51000 | #Learnt: 7007 | 0.008 1329.27/1329.52 c total clause space: 886.764MB 1329.27/1329.52 c total #watches: 4911847 1354.17/1354.49 c total #propagations: 15048157 / total #impl: 5659869478 (eff. 0.003) 1354.17/1354.49 c #Conflicts: 52000 | #Learnt: 8007 | 0.008 1354.17/1354.49 c total clause space: 886.764MB 1354.17/1354.49 c total #watches: 5258469 1381.27/1381.58 c total #propagations: 15324767 / total #impl: 5715998589 (eff. 0.003) 1381.27/1381.58 c #Conflicts: 53000 | #Learnt: 9007 | 0.008 1381.27/1381.58 c total clause space: 886.764MB 1381.27/1381.58 c total #watches: 5434513 1428.36/1428.62 c total #propagations: 15577102 / total #impl: 5774688557 (eff. 0.003) 1428.36/1428.62 c #Conflicts: 54000 | #Learnt: 10007 | 0.009 1428.36/1428.62 c total clause space: 886.764MB 1428.36/1428.62 c total #watches: 5696694 1493.05/1493.32 c total #propagations: 15893598 / total #impl: 5811092577 (eff. 0.003) 1493.05/1493.32 c #Conflicts: 55000 | #Learnt: 11007 | 0.009 1493.05/1493.32 c total clause space: 886.764MB 1493.05/1493.32 c total #watches: 6012966 1525.64/1525.94 c total #propagations: 16247946 / total #impl: 5852575677 (eff. 0.003) 1525.64/1525.94 c GC COLLECT 1525.64/1525.94 c #Conflicts: 56000 | #Learnt: 6400 | 0.009 1525.64/1525.94 c total clause space: 886.764MB 1525.64/1525.94 c total #watches: 4689250 1568.34/1568.62 c total #propagations: 16513224 / total #impl: 5885936021 (eff. 0.003) 1568.34/1568.62 c #Conflicts: 57000 | #Learnt: 7400 | 0.009 1568.34/1568.62 c total clause space: 886.764MB 1568.34/1568.62 c total #watches: 4941142 1610.43/1610.77 c total #propagations: 16858137 / total #impl: 5941346057 (eff. 0.003) 1610.43/1610.77 c #Conflicts: 58000 | #Learnt: 8400 | 0.009 1610.43/1610.77 c total clause space: 886.764MB 1610.43/1610.77 c total #watches: 5292453 1648.32/1648.67 c total #propagations: 17122438 / total #impl: 5995934696 (eff. 0.003) 1648.32/1648.67 c #Conflicts: 59000 | #Learnt: 9400 | 0.009 1648.32/1648.67 c total clause space: 886.764MB 1648.32/1648.67 c total #watches: 5786579 1681.32/1681.63 c total #propagations: 17423317 / total #impl: 6051442725 (eff. 0.003) 1681.32/1681.63 c #Conflicts: 60000 | #Learnt: 10400 | 0.009 1681.32/1681.63 c total clause space: 886.764MB 1681.32/1681.63 c total #watches: 6131427 1718.22/1718.51 c total #propagations: 17727028 / total #impl: 6109346450 (eff. 0.003) 1718.22/1718.51 c #Conflicts: 61000 | #Learnt: 11400 | 0.008 1718.22/1718.51 c total clause space: 886.764MB 1718.22/1718.51 c total #watches: 6462477 1747.12/1747.42 c total #propagations: 18032290 / total #impl: 6175235720 (eff. 0.003) 1747.12/1747.42 c GC COLLECT 1747.12/1747.42 c #Conflicts: 62000 | #Learnt: 6507 | 0.008 1747.12/1747.42 c total clause space: 886.764MB 1747.12/1747.42 c total #watches: 5073656 1771.31/1771.62 c total #propagations: 18315113 / total #impl: 6275295624 (eff. 0.003) 1771.31/1771.62 c #Conflicts: 63000 | #Learnt: 7507 | 0.008 1771.31/1771.62 c total clause space: 886.764MB 1771.31/1771.62 c total #watches: 5608097 1797.71/1798.02 c total #propagations: 18595016 / total #impl: 6368831791 (eff. 0.003) 1797.71/1798.02 c #Conflicts: 64000 | #Learnt: 8507 | 0.008 1797.71/1798.02 c total clause space: 886.764MB 1797.71/1798.02 c total #watches: 6013155
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-4088109-1465392976/watcher-4088109-1465392976 -o /tmp/evaluation-result-4088109-1465392976/solver-4088109-1465392976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4088109-1465392976.opb ./cdcl-cuttingplanes-opt-linearsearch-release pid=26085 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.28 2.27 2.20 3/172 26089 /proc/meminfo: memFree=30008132/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=29112 CPUtime=0 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 121230016 29810688 5268 33554432000 4194304 6201397 140736544320640 140736178138680 4211056 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 7278 5268 130 491 0 6777 0 [startup+0.100167 s] /proc/loadavg: 2.28 2.27 2.20 3/172 26089 /proc/meminfo: memFree=30008132/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=34516 CPUtime=0.09 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 1382 0 0 0 9 0 0 0 20 0 1 0 121230016 35344384 7541 33554432000 4194304 6201397 140736544320640 140736178138680 4207438 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 8629 7542 142 491 0 8128 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34516 [startup+0.200351 s] /proc/loadavg: 2.28 2.27 2.20 3/172 26089 /proc/meminfo: memFree=30008132/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=42444 CPUtime=0.19 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 2776 0 0 0 19 0 0 0 20 0 1 0 121230016 43462656 8902 33554432000 4194304 6201397 140736544320640 140736178138680 4207438 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 10611 8902 143 491 0 10110 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 42444 [startup+0.300312 s] /proc/loadavg: 2.28 2.27 2.20 3/172 26089 /proc/meminfo: memFree=30008132/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=50936 CPUtime=0.29 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 4076 0 0 0 28 1 0 0 20 0 1 0 121230016 52158464 10743 33554432000 4194304 6201397 140736544320640 140736178138680 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 12734 10743 143 491 0 12233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50936 [startup+0.700275 s] /proc/loadavg: 2.28 2.27 2.20 3/172 26089 /proc/meminfo: memFree=30008132/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=85260 CPUtime=0.68 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 6965 0 0 0 67 1 0 0 20 0 1 0 121230016 87306240 16283 33554432000 4194304 6201397 140736544320640 140736544318776 5150858 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 21315 16284 143 491 0 20814 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 85260 [startup+1.50027 s] /proc/loadavg: 2.28 2.27 2.20 3/177 26094 /proc/meminfo: memFree=29835736/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=123176 CPUtime=1.48 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 9934 0 0 0 146 2 0 0 20 0 1 0 121230016 126132224 27283 33554432000 4194304 6201397 140736544320640 140736544318776 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 30794 27283 143 491 0 30293 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 123176 [startup+3.10024 s] /proc/loadavg: 2.28 2.27 2.20 3/177 26094 /proc/meminfo: memFree=29696352/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=185216 CPUtime=3.09 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 13484 0 0 0 305 4 0 0 20 0 1 0 121230016 189661184 44741 33554432000 4194304 6201397 140736544320640 140736544319208 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 46304 44741 147 491 0 45803 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 185216 [startup+6.30028 s] /proc/loadavg: 2.25 2.27 2.20 3/177 26094 /proc/meminfo: memFree=29619108/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=268260 CPUtime=6.28 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 14136 0 0 0 624 4 0 0 20 0 1 0 121230016 274698240 49422 33554432000 4194304 6201397 140736544320640 140736544319352 4213339 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 67065 49422 160 491 0 66564 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 268260 [startup+12.7003 s] /proc/loadavg: 2.23 2.26 2.20 4/176 26094 /proc/meminfo: memFree=29544884/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=279964 CPUtime=12.68 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 17075 0 0 0 1263 5 0 0 20 0 1 0 121230016 286683136 57982 33554432000 4194304 6201397 140736544320640 140736544319208 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 69991 57982 160 491 0 69490 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 279964 [startup+25.5003 s] /proc/loadavg: 2.18 2.25 2.20 3/177 26095 /proc/meminfo: memFree=29445872/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=417348 CPUtime=25.49 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 18580 0 0 0 2543 6 0 0 20 0 1 0 121230016 427364352 71205 33554432000 4194304 6201397 140736544320640 140736544319672 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 104337 71205 166 491 0 103836 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 417348 [startup+51.1004 s] /proc/loadavg: 2.18 2.24 2.19 3/177 26095 /proc/meminfo: memFree=29307724/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=429744 CPUtime=51.08 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 22276 0 0 0 5101 7 0 0 20 0 1 0 121230016 440057856 91564 33554432000 4194304 6201397 140736544320640 140736544318920 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 107436 91564 166 491 0 106935 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 429744 [startup+102.3 s] /proc/loadavg: 2.45 2.29 2.21 4/177 26096 /proc/meminfo: memFree=29218624/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=437836 CPUtime=102.28 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 24773 0 0 0 10220 8 0 0 20 0 1 0 121230016 448344064 102642 33554432000 4194304 6201397 140736544320640 140736544319768 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 109459 102642 166 491 0 108958 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 437836 [startup+162.3 s] /proc/loadavg: 2.32 2.29 2.21 3/177 26097 /proc/meminfo: memFree=29146456/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=653824 CPUtime=162.27 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 25527 0 0 0 16218 9 0 0 20 0 1 0 121230016 669515776 114327 33554432000 4194304 6201397 140736544320640 140736544319768 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 163456 114327 166 491 0 162955 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 653824 [startup+222.308 s] /proc/loadavg: 2.42 2.31 2.22 3/177 26098 /proc/meminfo: memFree=29095740/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=656648 CPUtime=222.27 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 26448 0 0 0 22217 10 0 0 20 0 1 0 121230016 672407552 122863 33554432000 4194304 6201397 140736544320640 140736544318920 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 164162 122863 166 491 0 163661 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 656648 [startup+282.3 s] /proc/loadavg: 2.48 2.34 2.23 4/178 26102 /proc/meminfo: memFree=29045108/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=659460 CPUtime=282.25 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 27231 0 0 0 28215 10 0 0 20 0 1 0 121230016 675287040 126710 33554432000 4194304 6201397 140736544320640 140736544319768 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 164865 126710 166 491 0 164364 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 659460 [startup+342.3 s] /proc/loadavg: 2.29 2.31 2.23 4/177 26104 /proc/meminfo: memFree=28988700/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=660364 CPUtime=342.23 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 27506 0 0 0 34213 10 0 0 20 0 1 0 121230016 676212736 135669 33554432000 4194304 6201397 140736544320640 140736544319352 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 165091 135669 166 491 0 164590 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 660364 [startup+402.3 s] /proc/loadavg: 2.27 2.30 2.23 4/177 26105 /proc/meminfo: memFree=28887584/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=667092 CPUtime=402.22 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 29251 0 0 0 40210 12 0 0 20 0 1 0 121230016 683102208 158876 33554432000 4194304 6201397 140736544320640 140736544319352 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 166773 158876 166 491 0 166272 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 667092 [startup+462.3 s] /proc/loadavg: 2.33 2.30 2.23 3/177 26106 /proc/meminfo: memFree=28803664/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=667504 CPUtime=462.21 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 29374 0 0 0 46209 12 0 0 20 0 1 0 121230016 683524096 158994 33554432000 4194304 6201397 140736544320640 140736544319352 4213206 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 166876 158994 166 491 0 166375 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 667504 [startup+522.3 s] /proc/loadavg: 2.32 2.30 2.23 3/177 26107 /proc/meminfo: memFree=28750628/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1023876 CPUtime=522.2 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 31355 0 0 0 52207 13 0 0 20 0 1 0 121230016 1048449024 172228 33554432000 4194304 6201397 140736544320640 140736544318920 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 255969 172228 166 491 0 255468 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 1023876 [startup+582.3 s] /proc/loadavg: 2.20 2.28 2.23 4/177 26108 /proc/meminfo: memFree=28729148/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1025520 CPUtime=582.19 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 32039 0 0 0 58206 13 0 0 20 0 1 0 121230016 1050132480 176196 33554432000 4194304 6201397 140736544320640 140736544319768 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 256380 176196 166 491 0 255879 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 1025520 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.16 2.23 2.22 4/177 26119 /proc/meminfo: memFree=28575144/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1041740 CPUtime=942.14 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36247 0 0 0 94199 15 0 0 20 0 1 0 121230016 1066741760 194685 33554432000 4194304 6201397 140736544320640 140736544319768 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260435 194685 166 491 0 259934 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 1041740 [startup+1002.3 s] /proc/loadavg: 2.19 2.23 2.22 3/177 26120 /proc/meminfo: memFree=28515660/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1041932 CPUtime=1002.13 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36299 0 0 0 100198 15 0 0 20 0 1 0 121230016 1066938368 205468 33554432000 4194304 6201397 140736544320640 140736544319768 4240998 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260483 205468 166 491 0 259982 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 1041932 [startup+1062.3 s] /proc/loadavg: 2.16 2.22 2.21 3/177 26121 /proc/meminfo: memFree=28490696/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1041932 CPUtime=1062.11 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36357 0 0 0 106196 15 0 0 20 0 1 0 121230016 1066938368 212169 33554432000 4194304 6201397 140736544320640 140736544319768 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260483 212169 166 491 0 259982 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 1041932 [startup+1122.3 s] /proc/loadavg: 2.30 2.25 2.22 4/177 26122 /proc/meminfo: memFree=28428760/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1041932 CPUtime=1122.11 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36392 0 0 0 112195 16 0 0 20 0 1 0 121230016 1066938368 226001 33554432000 4194304 6201397 140736544320640 140736544319768 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260483 226001 166 491 0 259982 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 1041932 [startup+1182.3 s] /proc/loadavg: 2.21 2.23 2.21 3/177 26123 /proc/meminfo: memFree=28393992/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1041932 CPUtime=1182.1 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36412 0 0 0 118194 16 0 0 20 0 1 0 121230016 1066938368 226021 33554432000 4194304 6201397 140736544320640 140736544319768 4218639 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260483 226021 166 491 0 259982 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 1041932 [startup+1242.3 s] /proc/loadavg: 2.21 2.23 2.21 3/177 26125 /proc/meminfo: memFree=28393216/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042076 CPUtime=1242.09 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36434 0 0 0 124193 16 0 0 20 0 1 0 121230016 1067085824 226043 33554432000 4194304 6201397 140736544320640 140736544319352 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260519 226043 166 491 0 260018 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 1042076 [startup+1302.3 s] /proc/loadavg: 2.12 2.20 2.20 4/177 26126 /proc/meminfo: memFree=28349688/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042076 CPUtime=1302.08 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36450 0 0 0 130192 16 0 0 20 0 1 0 121230016 1067085824 226059 33554432000 4194304 6201397 140736544320640 140736544319768 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260519 226059 166 491 0 260018 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1042076 [startup+1362.3 s] /proc/loadavg: 2.25 2.22 2.20 3/177 26127 /proc/meminfo: memFree=28327696/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042076 CPUtime=1362.07 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36473 0 0 0 136191 16 0 0 20 0 1 0 121230016 1067085824 226082 33554432000 4194304 6201397 140736544320640 140736544319768 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260519 226082 166 491 0 260018 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 1042076 [startup+1422.3 s] /proc/loadavg: 2.18 2.21 2.20 4/177 26128 /proc/meminfo: memFree=28326920/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042220 CPUtime=1422.07 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36480 0 0 0 142191 16 0 0 20 0 1 0 121230016 1067233280 226089 33554432000 4194304 6201397 140736544320640 140736544319352 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260555 226089 166 491 0 260054 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1042220 [startup+1482.3 s] /proc/loadavg: 2.22 2.23 2.20 4/178 26132 /proc/meminfo: memFree=28257976/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042220 CPUtime=1482.05 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36505 0 0 0 148189 16 0 0 20 0 1 0 121230016 1067233280 226114 33554432000 4194304 6201397 140736544320640 140736544319768 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260555 226114 166 491 0 260054 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 1042220 [startup+1542.31 s] /proc/loadavg: 2.34 2.26 2.21 4/178 26156 /proc/meminfo: memFree=28240500/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042416 CPUtime=1542.05 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36524 0 0 0 154189 16 0 0 20 0 1 0 121230016 1067433984 226133 33554432000 4194304 6201397 140736544320640 140736544319768 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260604 226133 166 491 0 260103 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 1042416 [startup+1602.3 s] /proc/loadavg: 2.21 2.24 2.20 3/177 26157 /proc/meminfo: memFree=28239732/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042416 CPUtime=1602.03 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36544 0 0 0 160187 16 0 0 20 0 1 0 121230016 1067433984 226153 33554432000 4194304 6201397 140736544320640 140736544319768 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260604 226153 166 491 0 260103 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1042416 [startup+1662.3 s] /proc/loadavg: 2.21 2.23 2.20 4/177 26158 /proc/meminfo: memFree=28239088/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1042552 CPUtime=1662.02 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 36583 0 0 0 166186 16 0 0 20 0 1 0 121230016 1067573248 226192 33554432000 4194304 6201397 140736544320640 140736544319768 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 260638 226192 166 491 0 260137 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 1042552 [startup+1722.3 s] /proc/loadavg: 2.27 2.25 2.20 3/177 26159 /proc/meminfo: memFree=28236324/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1045008 CPUtime=1722.02 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 37226 0 0 0 172185 17 0 0 20 0 1 0 121230016 1070088192 226835 33554432000 4194304 6201397 140736544320640 140736544318920 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 261252 226835 166 491 0 260751 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 1045008 [startup+1782.3 s] /proc/loadavg: 2.20 2.23 2.20 3/177 26160 /proc/meminfo: memFree=28232076/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1048104 CPUtime=1782.01 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 37997 0 0 0 178184 17 0 0 20 0 1 0 121230016 1073258496 227606 33554432000 4194304 6201397 140736544320640 140736544319768 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 262026 227606 166 491 0 261525 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 1048104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.30 2.25 2.20 4/177 26160 /proc/meminfo: memFree=28232324/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1048300 CPUtime=1800.01 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 38053 0 0 0 179984 17 0 0 20 0 1 0 121230016 1073459200 227662 33554432000 4194304 6201397 140736544320640 140736544319768 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 262075 227662 166 491 0 261574 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1048300 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 26089 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.30 2.25 2.20 4/177 26160 /proc/meminfo: memFree=28232324/32872528 swapFree=16636/1570076 [pid=26089] ppid=26085 vsize=1048300 CPUtime=1800.01 cores=0,2,4,6 /proc/26089/stat : 26089 (cdcl-cuttingpla) R 26085 26089 25616 0 -1 4202496 38053 0 0 0 179984 17 0 0 20 0 1 0 121230016 1073459200 227662 33554432000 4194304 6201397 140736544320640 140736544319768 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0 /proc/26089/statm: 262075 227662 166 491 0 261574 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1048300 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1799.84 CPU system time (s): 0.177972 CPU usage (%): 99.9842 Max. virtual memory (cumulated for all children) (KiB): 1048300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.177972 maximum resident set size= 910648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38053 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= 18 involuntary context switches= 1852 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.25205 second user time and 7.2329 second system time The end
Begin job on node140 at 2016-06-08 15:36:17 IDJOB=4088109 IDBENCH=1964 IDSOLVER=2550 FILE ID=node140/4088109-1465392976 RUNJOBID= node140-1465387573-25632 PBS_JOBID= 19853863 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_12.opb.PB06.opb COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088109-1465392976/watcher-4088109-1465392976 -o /tmp/evaluation-result-4088109-1465392976/solver-4088109-1465392976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4088109-1465392976.opb ./cdcl-cuttingplanes-opt-linearsearch-release TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=2086769109 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30009808 kB Buffers: 112172 kB Cached: 427440 kB SwapCached: 1664 kB Active: 180472 kB Inactive: 362340 kB Active(anon): 2600 kB Inactive(anon): 2932 kB Active(file): 177872 kB Inactive(file): 359408 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098768 kB Dirty: 38556 kB Writeback: 164 kB AnonPages: 1577024 kB Mapped: 7160 kB Shmem: 0 kB Slab: 615704 kB SReclaimable: 59188 kB SUnreclaim: 556516 kB KernelStack: 1440 kB PageTables: 7200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1666284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1560576 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= 71704 MiB End job on node140 at 2016-06-08 16:06:17