Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 418 | 1800.28 | 1786.36 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.11/0.23 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.11/0.23 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.11/0.23 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.11/0.23 c no version file found!!! 0.11/0.23 c sun.arch.data.model 32 0.11/0.24 c java.version 1.6.0 0.11/0.24 c os.name Linux 0.11/0.24 c os.version 2.6.9-22.EL.rootsmp 0.11/0.24 c os.arch i386 0.11/0.24 c Free memory 1651659224 0.11/0.24 c Max memory 1654456320 0.11/0.24 c Total memory 1654456320 0.11/0.24 c Number of processors 2 0.11/0.29 --- Begin Solver configuration --- 0.11/0.29 c Stops conflict analysis at the first Unique Implication Point 0.11/0.29 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.11/0.29 c Learn all clauses as in MiniSAT 0.11/0.29 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.29 c VSIDS like heuristics from MiniSAT using a heap 0.11/0.29 c No reason simplification 0.11/0.29 c --- End Solver configuration --- 0.11/0.29 c solving /tmp/evaluation/354865-1176729462/instance-354865-1176729462.opb 0.11/0.29 c reading problem ... 0.33/0.45 c ... done. Wall clock time 0.158s. 0.33/0.45 c CPU time (experimental) 0.29s. 0.33/0.45 c #vars 198 0.33/0.45 c #constraints 16 0.69/0.67 c SATISFIABLE 0.69/0.67 c OPTIMIZING... 0.69/0.67 c Got one! Elapsed wall clock time (in seconds):0.383 0.69/0.68 o 3092 0.86/0.74 c Got one! Elapsed wall clock time (in seconds):0.444 0.86/0.74 o 3090 0.86/0.78 c Got one! Elapsed wall clock time (in seconds):0.493 0.86/0.78 o 3088 0.99/0.83 c Got one! Elapsed wall clock time (in seconds):0.54 0.99/0.83 o 2714 0.99/0.86 c Got one! Elapsed wall clock time (in seconds):0.571 0.99/0.86 o 2712 1.13/0.90 c Got one! Elapsed wall clock time (in seconds):0.611 1.13/0.90 o 2638 1.13/0.94 c Got one! Elapsed wall clock time (in seconds):0.647 1.13/0.94 o 2540 1.13/0.97 c Got one! Elapsed wall clock time (in seconds):0.679 1.13/0.97 o 2531 1.24/1.01 c Got one! Elapsed wall clock time (in seconds):0.722 1.24/1.01 o 2528 1.24/1.05 c Got one! Elapsed wall clock time (in seconds):0.754 1.24/1.05 o 2371 1.24/1.08 c Got one! Elapsed wall clock time (in seconds):0.792 1.24/1.08 o 1817 1.33/1.12 c Got one! Elapsed wall clock time (in seconds):0.828 1.33/1.12 o 1729 1.33/1.19 c Got one! Elapsed wall clock time (in seconds):0.903 1.33/1.19 o 1718 1.51/1.23 c Got one! Elapsed wall clock time (in seconds):0.942 1.51/1.23 o 1715 1.51/1.27 c Got one! Elapsed wall clock time (in seconds):0.98 1.51/1.27 o 1713 1.71/1.32 c Got one! Elapsed wall clock time (in seconds):1.031 1.71/1.32 o 1712 1.71/1.39 c Got one! Elapsed wall clock time (in seconds):1.094 1.71/1.39 o 1711 1.91/1.49 c Got one! Elapsed wall clock time (in seconds):1.196 1.91/1.49 o 1658 2.11/1.55 c Got one! Elapsed wall clock time (in seconds):1.256 2.11/1.55 o 1579 2.31/1.62 c Got one! Elapsed wall clock time (in seconds):1.33 2.31/1.62 o 1528 2.50/1.70 c Got one! Elapsed wall clock time (in seconds):1.413 2.50/1.70 o 1526 2.50/1.75 c Got one! Elapsed wall clock time (in seconds):1.456 2.50/1.75 o 1512 2.70/1.81 c Got one! Elapsed wall clock time (in seconds):1.519 2.70/1.81 o 1442 2.88/1.92 c Got one! Elapsed wall clock time (in seconds):1.633 2.88/1.92 o 1440 2.98/2.00 c Got one! Elapsed wall clock time (in seconds):1.709 2.98/2.00 o 1439 2.98/2.10 c Got one! Elapsed wall clock time (in seconds):1.804 2.98/2.10 o 1437 3.08/2.15 c Got one! Elapsed wall clock time (in seconds):1.863 3.08/2.15 o 1436 3.18/2.25 c Got one! Elapsed wall clock time (in seconds):1.955 3.18/2.25 o 1434 3.28/2.34 c Got one! Elapsed wall clock time (in seconds):2.046 3.28/2.34 o 1431 3.43/2.45 c Got one! Elapsed wall clock time (in seconds):2.162 3.43/2.45 o 1430 3.56/2.50 c Got one! Elapsed wall clock time (in seconds):2.209 3.56/2.50 o 1429 3.56/2.57 c Got one! Elapsed wall clock time (in seconds):2.278 3.56/2.57 o 1318 3.66/2.66 c Got one! Elapsed wall clock time (in seconds):2.366 3.66/2.66 o 1315 3.76/2.74 c Got one! Elapsed wall clock time (in seconds):2.444 3.76/2.74 o 1314 3.86/2.84 c Got one! Elapsed wall clock time (in seconds):2.553 3.86/2.84 o 1313 3.99/2.92 c Got one! Elapsed wall clock time (in seconds):2.629 3.99/2.92 o 1306 4.09/3.00 c Got one! Elapsed wall clock time (in seconds):2.708 4.09/3.00 o 1274 4.19/3.11 c Got one! Elapsed wall clock time (in seconds):2.815 4.19/3.11 o 1272 4.19/3.19 c Got one! Elapsed wall clock time (in seconds):2.903 4.19/3.19 o 1271 4.38/3.28 c Got one! Elapsed wall clock time (in seconds):2.988 4.38/3.28 o 1269 4.51/3.35 c Got one! Elapsed wall clock time (in seconds):3.063 4.51/3.35 o 1267 4.60/3.43 c Got one! Elapsed wall clock time (in seconds):3.143 4.60/3.43 o 1264 4.70/3.52 c Got one! Elapsed wall clock time (in seconds):3.227 4.70/3.52 o 1263 4.70/3.59 c Got one! Elapsed wall clock time (in seconds):3.296 4.70/3.59 o 1261 4.81/3.67 c Got one! Elapsed wall clock time (in seconds):3.377 4.81/3.67 o 1260 4.94/3.75 c Got one! Elapsed wall clock time (in seconds):3.454 4.94/3.75 o 1258 5.04/3.82 c Got one! Elapsed wall clock time (in seconds):3.532 5.04/3.82 o 1253 5.04/3.90 c Got one! Elapsed wall clock time (in seconds):3.605 5.04/3.90 o 1252 5.15/3.99 c Got one! Elapsed wall clock time (in seconds):3.702 5.15/3.99 o 1251 5.28/4.09 c Got one! Elapsed wall clock time (in seconds):3.801 5.28/4.09 o 1249 5.38/4.19 c Got one! Elapsed wall clock time (in seconds):3.896 5.38/4.19 o 1160 5.50/4.28 c Got one! Elapsed wall clock time (in seconds):3.992 5.50/4.28 o 1159 5.63/4.39 c Got one! Elapsed wall clock time (in seconds):4.101 5.63/4.39 o 1155 5.75/4.49 c Got one! Elapsed wall clock time (in seconds):4.199 5.75/4.49 o 1124 5.85/4.60 c Got one! Elapsed wall clock time (in seconds):4.305 5.85/4.60 o 1123 6.05/4.70 c Got one! Elapsed wall clock time (in seconds):4.409 6.05/4.70 o 1122 6.15/4.80 c Got one! Elapsed wall clock time (in seconds):4.51 6.15/4.80 o 1121 6.24/4.91 c Got one! Elapsed wall clock time (in seconds):4.618 6.24/4.91 o 1119 6.34/5.03 c Got one! Elapsed wall clock time (in seconds):4.737 6.34/5.03 o 1118 6.44/5.13 c Got one! Elapsed wall clock time (in seconds):4.838 6.44/5.13 o 1116 6.54/5.22 c Got one! Elapsed wall clock time (in seconds):4.925 6.54/5.22 o 1115 6.64/5.31 c Got one! Elapsed wall clock time (in seconds):5.023 6.64/5.31 o 1114 6.75/5.44 c Got one! Elapsed wall clock time (in seconds):5.147 6.75/5.44 o 1113 6.85/5.56 c Got one! Elapsed wall clock time (in seconds):5.269 6.85/5.56 o 1111 7.14/5.81 c Got one! Elapsed wall clock time (in seconds):5.52 7.14/5.81 o 1110 7.24/5.91 c Got one! Elapsed wall clock time (in seconds):5.618 7.24/5.91 o 1108 7.37/6.05 c Got one! Elapsed wall clock time (in seconds):5.754 7.37/6.05 o 1107 7.47/6.13 c Got one! Elapsed wall clock time (in seconds):5.841 7.47/6.13 o 1105 7.60/6.22 c Got one! Elapsed wall clock time (in seconds):5.928 7.60/6.22 o 1104 7.76/6.37 c Got one! Elapsed wall clock time (in seconds):6.077 7.76/6.37 o 1103 7.86/6.48 c Got one! Elapsed wall clock time (in seconds):6.192 7.86/6.48 o 1099 8.06/6.62 c Got one! Elapsed wall clock time (in seconds):6.326 8.06/6.62 o 1097 8.25/6.83 c Got one! Elapsed wall clock time (in seconds):6.541 8.25/6.83 o 1095 8.35/6.94 c Got one! Elapsed wall clock time (in seconds):6.647 8.35/6.94 o 1094 8.55/7.10 c Got one! Elapsed wall clock time (in seconds):6.808 8.55/7.10 o 1092 8.65/7.24 c Got one! Elapsed wall clock time (in seconds):6.95 8.65/7.24 o 1090 8.87/7.49 c Got one! Elapsed wall clock time (in seconds):7.196 8.87/7.49 o 1088 9.15/7.63 c Got one! Elapsed wall clock time (in seconds):7.337 9.15/7.63 o 1087 9.27/7.72 c Got one! Elapsed wall clock time (in seconds):7.433 9.27/7.72 o 1085 9.36/7.85 c Got one! Elapsed wall clock time (in seconds):7.556 9.36/7.85 o 1083 9.46/7.97 c Got one! Elapsed wall clock time (in seconds):7.676 9.46/7.97 o 1081 9.56/8.10 c Got one! Elapsed wall clock time (in seconds):7.804 9.56/8.10 o 1080 9.76/8.21 c Got one! Elapsed wall clock time (in seconds):7.921 9.76/8.21 o 1079 9.86/8.36 c Got one! Elapsed wall clock time (in seconds):8.072 9.86/8.36 o 1076 10.09/8.58 c Got one! Elapsed wall clock time (in seconds):8.291 10.09/8.58 o 1075 10.29/8.75 c Got one! Elapsed wall clock time (in seconds):8.455 10.29/8.75 o 1074 10.48/8.96 c Got one! Elapsed wall clock time (in seconds):8.665 10.48/8.96 o 1072 10.71/9.16 c Got one! Elapsed wall clock time (in seconds):8.867 10.71/9.16 o 1071 11.01/9.42 c Got one! Elapsed wall clock time (in seconds):9.128 11.01/9.42 o 1069 11.11/9.56 c Got one! Elapsed wall clock time (in seconds):9.271 11.11/9.56 o 1068 11.31/9.73 c Got one! Elapsed wall clock time (in seconds):9.441 11.31/9.73 o 1067 11.51/9.93 c Got one! Elapsed wall clock time (in seconds):9.638 11.51/9.93 o 1066 11.61/10.09 c Got one! Elapsed wall clock time (in seconds):9.801 11.61/10.09 o 1065 11.81/10.26 c Got one! Elapsed wall clock time (in seconds):9.966 11.81/10.26 o 1064 12.01/10.42 c Got one! Elapsed wall clock time (in seconds):10.127 12.01/10.42 o 1063 12.11/10.58 c Got one! Elapsed wall clock time (in seconds):10.286 12.11/10.58 o 1061 12.34/10.77 c Got one! Elapsed wall clock time (in seconds):10.477 12.34/10.77 o 1059 12.55/10.93 c Got one! Elapsed wall clock time (in seconds):10.634 12.55/10.93 o 1058 12.74/11.14 c Got one! Elapsed wall clock time (in seconds):10.849 12.74/11.14 o 1056 12.84/11.27 c Got one! Elapsed wall clock time (in seconds):10.977 12.84/11.27 o 1054 13.04/11.43 c Got one! Elapsed wall clock time (in seconds):11.134 13.04/11.43 o 1052 13.24/11.65 c Got one! Elapsed wall clock time (in seconds):11.361 13.24/11.65 o 1050 13.44/11.81 c Got one! Elapsed wall clock time (in seconds):11.518 13.44/11.81 o 1047 13.54/11.97 c Got one! Elapsed wall clock time (in seconds):11.679 13.54/11.97 o 1041 13.74/12.17 c Got one! Elapsed wall clock time (in seconds):11.882 13.74/12.17 o 1039 13.94/12.39 c Got one! Elapsed wall clock time (in seconds):12.099 13.94/12.39 o 1016 14.18/12.55 c Got one! Elapsed wall clock time (in seconds):12.259 14.18/12.55 o 1014 14.28/12.69 c Got one! Elapsed wall clock time (in seconds):12.401 14.28/12.69 o 1013 14.48/12.86 c Got one! Elapsed wall clock time (in seconds):12.566 14.48/12.86 o 1010 14.58/13.00 c Got one! Elapsed wall clock time (in seconds):12.706 14.58/13.00 o 1009 14.79/13.13 c Got one! Elapsed wall clock time (in seconds):12.843 14.79/13.13 o 1002 14.89/13.27 c Got one! Elapsed wall clock time (in seconds):12.978 14.89/13.27 o 1000 15.08/13.46 c Got one! Elapsed wall clock time (in seconds):13.171 15.08/13.46 o 999 15.28/13.62 c Got one! Elapsed wall clock time (in seconds):13.333 15.28/13.62 o 997 15.48/13.82 c Got one! Elapsed wall clock time (in seconds):13.53 15.48/13.82 o 995 15.68/14.02 c Got one! Elapsed wall clock time (in seconds):13.731 15.68/14.02 o 993 15.80/14.19 c Got one! Elapsed wall clock time (in seconds):13.898 15.80/14.19 o 991 16.01/14.34 c Got one! Elapsed wall clock time (in seconds):14.049 16.01/14.34 o 989 16.20/14.52 c Got one! Elapsed wall clock time (in seconds):14.23 16.20/14.52 o 931 16.50/14.86 c Got one! Elapsed wall clock time (in seconds):14.574 16.50/14.86 o 930 16.70/15.05 c Got one! Elapsed wall clock time (in seconds):14.759 16.70/15.05 o 929 16.80/15.19 c Got one! Elapsed wall clock time (in seconds):14.898 16.80/15.19 o 927 17.01/15.31 c Got one! Elapsed wall clock time (in seconds):15.022 17.01/15.31 o 925 17.11/15.46 c Got one! Elapsed wall clock time (in seconds):15.173 17.11/15.46 o 923 17.30/15.65 c Got one! Elapsed wall clock time (in seconds):15.356 17.30/15.65 o 922 17.50/15.82 c Got one! Elapsed wall clock time (in seconds):15.532 17.50/15.82 o 871 17.60/15.96 c Got one! Elapsed wall clock time (in seconds):15.671 17.60/15.96 o 869 17.93/16.23 c Got one! Elapsed wall clock time (in seconds):15.934 17.93/16.23 o 867 18.03/16.34 c Got one! Elapsed wall clock time (in seconds):16.052 18.03/16.34 o 866 18.13/16.49 c Got one! Elapsed wall clock time (in seconds):16.199 18.13/16.49 o 865 18.43/16.75 c Got one! Elapsed wall clock time (in seconds):16.458 18.43/16.75 o 863 18.63/16.99 c Got one! Elapsed wall clock time (in seconds):16.695 18.63/16.99 o 862 18.83/17.14 c Got one! Elapsed wall clock time (in seconds):16.851 18.83/17.14 o 860 19.03/17.33 c Got one! Elapsed wall clock time (in seconds):17.038 19.03/17.33 o 858 19.23/17.56 c Got one! Elapsed wall clock time (in seconds):17.265 19.23/17.56 o 857 19.43/17.77 c Got one! Elapsed wall clock time (in seconds):17.483 19.43/17.77 o 856 19.63/17.99 c Got one! Elapsed wall clock time (in seconds):17.703 19.63/17.99 o 854 19.94/18.27 c Got one! Elapsed wall clock time (in seconds):17.977 19.94/18.27 o 846 20.14/18.44 c Got one! Elapsed wall clock time (in seconds):18.147 20.14/18.44 o 845 20.34/18.62 c Got one! Elapsed wall clock time (in seconds):18.327 20.34/18.62 o 844 20.54/18.85 c Got one! Elapsed wall clock time (in seconds):18.564 20.54/18.85 o 843 21.34/19.66 c Got one! Elapsed wall clock time (in seconds):19.367 21.34/19.66 o 841 21.57/19.88 c Got one! Elapsed wall clock time (in seconds):19.592 21.57/19.88 o 839 21.76/20.05 c Got one! Elapsed wall clock time (in seconds):19.763 21.76/20.05 o 837 22.06/20.35 c Got one! Elapsed wall clock time (in seconds):20.064 22.06/20.35 o 835 22.56/20.82 c Got one! Elapsed wall clock time (in seconds):20.531 22.56/20.82 o 833 23.27/21.57 c Got one! Elapsed wall clock time (in seconds):21.28 23.27/21.57 o 829 23.57/21.80 c Got one! Elapsed wall clock time (in seconds):21.513 23.57/21.80 o 827 23.87/22.16 c Got one! Elapsed wall clock time (in seconds):21.865 23.87/22.16 o 826 24.17/22.47 c Got one! Elapsed wall clock time (in seconds):22.178 24.17/22.47 o 824 24.37/22.70 c Got one! Elapsed wall clock time (in seconds):22.406 24.47/22.70 o 822 24.78/23.01 c Got one! Elapsed wall clock time (in seconds):22.718 24.78/23.01 o 821 25.07/23.30 c Got one! Elapsed wall clock time (in seconds):23.007 25.07/23.30 o 820 25.67/23.99 c Got one! Elapsed wall clock time (in seconds):23.703 25.67/23.99 o 819 25.97/24.24 c Got one! Elapsed wall clock time (in seconds):23.948 25.97/24.24 o 818 26.28/24.52 c Got one! Elapsed wall clock time (in seconds):24.225 26.28/24.52 o 817 26.48/24.76 c Got one! Elapsed wall clock time (in seconds):24.465 26.48/24.76 o 816 26.68/24.99 c Got one! Elapsed wall clock time (in seconds):24.696 26.68/24.99 o 814 26.98/25.23 c Got one! Elapsed wall clock time (in seconds):24.935 26.98/25.23 o 812 27.28/25.52 c Got one! Elapsed wall clock time (in seconds):25.229 27.28/25.52 o 810 27.48/25.70 c Got one! Elapsed wall clock time (in seconds):25.411 27.48/25.70 o 808 27.68/25.92 c Got one! Elapsed wall clock time (in seconds):25.626 27.68/25.92 o 806 27.98/26.26 c Got one! Elapsed wall clock time (in seconds):25.973 27.98/26.26 o 800 28.38/26.64 c Got one! Elapsed wall clock time (in seconds):26.348 28.38/26.64 o 798 28.68/26.93 c Got one! Elapsed wall clock time (in seconds):26.643 28.68/26.93 o 797 28.99/27.27 c Got one! Elapsed wall clock time (in seconds):26.978 28.99/27.27 o 796 29.29/27.51 c Got one! Elapsed wall clock time (in seconds):27.219 29.29/27.51 o 794 29.49/27.75 c Got one! Elapsed wall clock time (in seconds):27.455 29.49/27.75 o 793 29.79/28.03 c Got one! Elapsed wall clock time (in seconds):27.738 29.79/28.03 o 791 30.49/28.77 c Got one! Elapsed wall clock time (in seconds):28.481 30.49/28.77 o 789 30.89/29.13 c Got one! Elapsed wall clock time (in seconds):28.842 30.89/29.13 o 788 31.50/29.70 c Got one! Elapsed wall clock time (in seconds):29.411 31.50/29.70 o 786 32.00/30.22 c Got one! Elapsed wall clock time (in seconds):29.93 32.00/30.22 o 785 32.19/30.48 c Got one! Elapsed wall clock time (in seconds):30.186 32.19/30.48 o 784 32.50/30.72 c Got one! Elapsed wall clock time (in seconds):30.432 32.50/30.72 o 781 32.69/30.98 c Got one! Elapsed wall clock time (in seconds):30.686 32.69/30.98 o 779 32.99/31.22 c Got one! Elapsed wall clock time (in seconds):30.932 32.99/31.22 o 777 33.29/31.58 c Got one! Elapsed wall clock time (in seconds):31.287 33.29/31.58 o 775 33.60/31.87 c Got one! Elapsed wall clock time (in seconds):31.579 33.60/31.87 o 736 35.61/33.89 c Got one! Elapsed wall clock time (in seconds):33.595 35.61/33.89 o 734 36.01/34.25 c Got one! Elapsed wall clock time (in seconds):33.956 36.01/34.25 o 733 36.41/34.60 c Got one! Elapsed wall clock time (in seconds):34.308 36.41/34.60 o 731 37.02/35.27 c Got one! Elapsed wall clock time (in seconds):34.981 37.02/35.27 o 729 37.41/35.63 c Got one! Elapsed wall clock time (in seconds):35.34 37.41/35.63 o 728 37.92/36.10 c Got one! Elapsed wall clock time (in seconds):35.809 37.92/36.10 o 727 38.52/36.78 c Got one! Elapsed wall clock time (in seconds):36.493 38.52/36.78 o 725 38.92/37.12 c Got one! Elapsed wall clock time (in seconds):36.824 38.92/37.12 o 723 39.32/37.52 c Got one! Elapsed wall clock time (in seconds):37.225 39.32/37.52 o 721 40.92/39.18 c Got one! Elapsed wall clock time (in seconds):38.894 40.92/39.18 o 719 42.64/40.82 c Got one! Elapsed wall clock time (in seconds):40.533 42.64/40.82 o 718 43.14/41.39 c Got one! Elapsed wall clock time (in seconds):41.096 43.14/41.39 o 716 44.95/43.18 c Got one! Elapsed wall clock time (in seconds):42.89 44.95/43.18 o 715 45.35/43.57 c Got one! Elapsed wall clock time (in seconds):43.281 45.35/43.57 o 714 46.05/44.25 c Got one! Elapsed wall clock time (in seconds):43.96 46.05/44.25 o 713 48.37/46.52 c Got one! Elapsed wall clock time (in seconds):46.233 48.37/46.52 o 711 49.07/47.20 c Got one! Elapsed wall clock time (in seconds):46.913 49.07/47.20 o 709 50.37/48.57 c Got one! Elapsed wall clock time (in seconds):48.281 50.37/48.57 o 707 61.23/59.36 c Got one! Elapsed wall clock time (in seconds):59.067 61.23/59.36 o 705 61.83/59.90 c Got one! Elapsed wall clock time (in seconds):59.606 61.83/59.90 o 704 62.93/61.06 c Got one! Elapsed wall clock time (in seconds):60.765 62.93/61.06 o 702 63.23/61.38 c Got one! Elapsed wall clock time (in seconds):61.094 63.23/61.38 o 700 64.14/62.28 c Got one! Elapsed wall clock time (in seconds):61.987 64.14/62.28 o 699 64.54/62.64 c Got one! Elapsed wall clock time (in seconds):62.35 64.54/62.64 o 697 64.94/63.09 c Got one! Elapsed wall clock time (in seconds):62.8 64.94/63.09 o 696 65.34/63.44 c Got one! Elapsed wall clock time (in seconds):63.149 65.34/63.44 o 694 66.15/64.23 c Got one! Elapsed wall clock time (in seconds):63.942 66.15/64.23 o 692 90.92/88.86 c Got one! Elapsed wall clock time (in seconds):88.566 90.92/88.86 o 690 92.24/90.18 c Got one! Elapsed wall clock time (in seconds):89.887 92.24/90.18 o 688 93.74/91.68 c Got one! Elapsed wall clock time (in seconds):91.387 93.74/91.68 o 686 94.04/91.99 c Got one! Elapsed wall clock time (in seconds):91.697 94.04/91.99 o 685 95.05/92.90 c Got one! Elapsed wall clock time (in seconds):92.612 95.05/92.90 o 684 99.90/97.76 c Got one! Elapsed wall clock time (in seconds):97.468 99.90/97.76 o 682 100.40/98.25 c Got one! Elapsed wall clock time (in seconds):97.959 100.40/98.25 o 675 103.83/101.63 c Got one! Elapsed wall clock time (in seconds):101.335 103.83/101.63 o 673 104.44/102.21 c Got one! Elapsed wall clock time (in seconds):101.916 104.44/102.21 o 671 114.61/112.34 c Got one! Elapsed wall clock time (in seconds):112.044 114.61/112.34 o 670 115.41/113.11 c Got one! Elapsed wall clock time (in seconds):112.823 115.41/113.11 o 669 115.92/113.64 c Got one! Elapsed wall clock time (in seconds):113.346 115.92/113.64 o 667 118.74/116.49 c Got one! Elapsed wall clock time (in seconds):116.202 118.74/116.49 o 665 119.34/117.00 c Got one! Elapsed wall clock time (in seconds):116.709 119.34/117.00 o 663 119.84/117.53 c Got one! Elapsed wall clock time (in seconds):117.242 119.84/117.53 o 662 120.35/118.05 c Got one! Elapsed wall clock time (in seconds):117.763 120.35/118.05 o 658 120.95/118.63 c Got one! Elapsed wall clock time (in seconds):118.335 120.95/118.63 o 655 121.55/119.23 c Got one! Elapsed wall clock time (in seconds):118.937 121.55/119.23 o 650 122.46/120.19 c Got one! Elapsed wall clock time (in seconds):119.894 122.46/120.19 o 648 123.16/120.85 c Got one! Elapsed wall clock time (in seconds):120.559 123.16/120.85 o 647 128.09/125.72 c Got one! Elapsed wall clock time (in seconds):125.426 128.09/125.72 o 645 130.21/127.81 c Got one! Elapsed wall clock time (in seconds):127.524 130.21/127.81 o 643 130.71/128.36 c Got one! Elapsed wall clock time (in seconds):128.069 130.71/128.36 o 641 131.42/129.07 c Got one! Elapsed wall clock time (in seconds):128.782 131.42/129.07 o 640 156.61/154.07 c Got one! Elapsed wall clock time (in seconds):153.779 156.61/154.07 o 638 157.31/154.78 c Got one! Elapsed wall clock time (in seconds):154.49 157.31/154.78 o 636 158.82/156.24 c Got one! Elapsed wall clock time (in seconds):155.945 158.82/156.24 o 635 159.93/157.34 c Got one! Elapsed wall clock time (in seconds):157.046 159.93/157.34 o 632 161.94/159.30 c Got one! Elapsed wall clock time (in seconds):159.013 161.94/159.30 o 630 162.64/160.06 c Got one! Elapsed wall clock time (in seconds):159.769 162.64/160.06 o 629 163.04/160.47 c Got one! Elapsed wall clock time (in seconds):160.18 163.04/160.47 o 628 164.25/161.62 c Got one! Elapsed wall clock time (in seconds):161.326 164.25/161.62 o 626 165.37/162.74 c Got one! Elapsed wall clock time (in seconds):162.446 165.37/162.74 o 625 165.87/163.26 c Got one! Elapsed wall clock time (in seconds):162.964 165.87/163.26 o 624 173.82/171.13 c Got one! Elapsed wall clock time (in seconds):170.841 173.82/171.13 o 622 175.64/172.91 c Got one! Elapsed wall clock time (in seconds):172.615 175.64/172.91 o 620 177.25/174.58 c Got one! Elapsed wall clock time (in seconds):174.284 177.25/174.58 o 619 198.01/195.14 c Got one! Elapsed wall clock time (in seconds):194.847 198.01/195.14 o 617 202.94/200.05 c Got one! Elapsed wall clock time (in seconds):199.761 202.94/200.05 o 616 203.64/200.72 c Got one! Elapsed wall clock time (in seconds):200.428 203.64/200.72 o 610 204.95/202.06 c Got one! Elapsed wall clock time (in seconds):201.771 204.95/202.06 o 608 205.75/202.82 c Got one! Elapsed wall clock time (in seconds):202.527 205.75/202.82 o 606 213.82/210.83 c Got one! Elapsed wall clock time (in seconds):210.541 213.82/210.83 o 605 215.93/212.95 c Got one! Elapsed wall clock time (in seconds):212.659 215.93/212.95 o 604 216.83/213.80 c Got one! Elapsed wall clock time (in seconds):213.511 216.83/213.80 o 603 222.09/219.07 c Got one! Elapsed wall clock time (in seconds):218.782 222.09/219.07 o 602 237.09/233.96 c Got one! Elapsed wall clock time (in seconds):233.667 237.09/233.96 o 601 239.20/236.07 c Got one! Elapsed wall clock time (in seconds):235.778 239.20/236.07 o 598 240.61/237.49 c Got one! Elapsed wall clock time (in seconds):237.2 240.61/237.49 o 596 246.74/243.57 c Got one! Elapsed wall clock time (in seconds):243.282 246.74/243.57 o 594 247.45/244.26 c Got one! Elapsed wall clock time (in seconds):243.971 247.45/244.26 o 593 251.98/248.71 c Got one! Elapsed wall clock time (in seconds):248.421 251.98/248.71 o 592 255.42/252.18 c Got one! Elapsed wall clock time (in seconds):251.891 255.42/252.18 o 590 256.82/253.57 c Got one! Elapsed wall clock time (in seconds):253.276 256.82/253.57 o 588 260.96/257.65 c Got one! Elapsed wall clock time (in seconds):257.364 260.96/257.65 o 587 266.68/263.37 c Got one! Elapsed wall clock time (in seconds):263.077 266.68/263.37 o 584 276.56/273.13 c Got one! Elapsed wall clock time (in seconds):272.837 276.56/273.13 o 582 277.76/274.36 c Got one! Elapsed wall clock time (in seconds):274.067 277.76/274.36 o 580 322.41/318.65 c Got one! Elapsed wall clock time (in seconds):318.359 322.41/318.65 o 578 332.17/328.38 c Got one! Elapsed wall clock time (in seconds):328.085 332.17/328.38 o 577 350.41/346.44 c Got one! Elapsed wall clock time (in seconds):346.15 350.41/346.44 o 576 372.92/368.81 c Got one! Elapsed wall clock time (in seconds):368.515 372.92/368.81 o 575 382.38/378.22 c Got one! Elapsed wall clock time (in seconds):377.926 382.38/378.22 o 573 392.87/388.66 c Got one! Elapsed wall clock time (in seconds):388.369 392.87/388.66 o 571 401.45/397.19 c Got one! Elapsed wall clock time (in seconds):396.896 401.45/397.19 o 570 403.67/399.33 c Got one! Elapsed wall clock time (in seconds):399.039 403.67/399.33 o 568 406.99/402.63 c Got one! Elapsed wall clock time (in seconds):402.337 406.99/402.63 o 567 408.80/404.40 c Got one! Elapsed wall clock time (in seconds):404.111 408.80/404.40 o 566 522.60/517.49 c Got one! Elapsed wall clock time (in seconds):517.197 522.60/517.49 o 564 524.22/519.10 c Got one! Elapsed wall clock time (in seconds):518.807 524.22/519.10 o 563 528.53/523.40 c Got one! Elapsed wall clock time (in seconds):523.105 528.53/523.40 o 562 552.49/547.16 c Got one! Elapsed wall clock time (in seconds):546.865 552.49/547.16 o 561 553.90/548.51 c Got one! Elapsed wall clock time (in seconds):548.223 553.90/548.51 o 559 558.24/552.83 c Got one! Elapsed wall clock time (in seconds):552.536 558.24/552.83 o 558 561.85/556.44 c Got one! Elapsed wall clock time (in seconds):556.154 561.85/556.44 o 557 562.85/557.46 c Got one! Elapsed wall clock time (in seconds):557.168 562.85/557.46 o 555 568.90/563.41 c Got one! Elapsed wall clock time (in seconds):563.122 568.90/563.41 o 554 601.25/595.54 c Got one! Elapsed wall clock time (in seconds):595.253 601.25/595.54 o 553 616.33/610.55 c Got one! Elapsed wall clock time (in seconds):610.263 616.33/610.55 o 552 624.77/618.94 c Got one! Elapsed wall clock time (in seconds):618.647 624.77/618.94 o 550 627.07/621.29 c Got one! Elapsed wall clock time (in seconds):621.002 627.07/621.29 o 546 632.43/626.53 c Got one! Elapsed wall clock time (in seconds):626.241 632.43/626.53 o 544 637.07/631.16 c Got one! Elapsed wall clock time (in seconds):630.873 637.07/631.16 o 543 743.58/736.86 c Got one! Elapsed wall clock time (in seconds):736.571 743.58/736.86 o 542 749.38/742.69 c Got one! Elapsed wall clock time (in seconds):742.394 749.38/742.69 o 541 755.41/748.69 c Got one! Elapsed wall clock time (in seconds):748.395 755.41/748.69 o 539 805.78/798.65 c Got one! Elapsed wall clock time (in seconds):798.356 805.78/798.65 o 537 807.88/800.72 c Got one! Elapsed wall clock time (in seconds):800.426 807.88/800.72 o 533 814.12/806.92 c Got one! Elapsed wall clock time (in seconds):806.628 814.12/806.92 o 531 817.24/810.07 c Got one! Elapsed wall clock time (in seconds):809.782 817.24/810.07 o 529 821.45/814.22 c Got one! Elapsed wall clock time (in seconds):813.925 821.45/814.22 o 528 828.59/821.39 c Got one! Elapsed wall clock time (in seconds):821.099 828.59/821.39 o 527 831.41/824.13 c Got one! Elapsed wall clock time (in seconds):823.841 831.41/824.13 o 526 837.86/830.58 c Got one! Elapsed wall clock time (in seconds):830.293 837.86/830.58 o 524 840.05/832.80 c Got one! Elapsed wall clock time (in seconds):832.506 840.05/832.80 o 523 842.97/835.66 c Got one! Elapsed wall clock time (in seconds):835.373 842.97/835.66 o 521 858.66/851.30 c Got one! Elapsed wall clock time (in seconds):851.007 858.66/851.30 o 519 882.14/874.56 c Got one! Elapsed wall clock time (in seconds):874.27 882.14/874.56 o 518 899.61/891.85 c Got one! Elapsed wall clock time (in seconds):891.559 899.61/891.85 o 516 902.80/895.05 c Got one! Elapsed wall clock time (in seconds):894.759 902.80/895.05 o 515 920.83/912.93 c Got one! Elapsed wall clock time (in seconds):912.64 920.83/912.93 o 514 985.29/976.91 c Got one! Elapsed wall clock time (in seconds):976.622 985.29/976.91 o 513 1015.25/1006.63 c Got one! Elapsed wall clock time (in seconds):1006.338 1015.25/1006.63 o 507 1039.49/1030.77 c Got one! Elapsed wall clock time (in seconds):1030.475 1039.49/1030.77 o 506 1043.10/1034.35 c Got one! Elapsed wall clock time (in seconds):1034.06 1043.10/1034.35 o 505 1051.27/1042.40 c Got one! Elapsed wall clock time (in seconds):1042.113 1051.27/1042.41 o 504 1052.97/1044.15 c Got one! Elapsed wall clock time (in seconds):1043.862 1052.97/1044.15 o 502 1055.57/1046.77 c Got one! Elapsed wall clock time (in seconds):1046.476 1055.57/1046.77 o 500 1070.77/1061.85 c Got one! Elapsed wall clock time (in seconds):1061.559 1070.77/1061.85 o 499 1079.42/1070.48 c Got one! Elapsed wall clock time (in seconds):1070.188 1079.42/1070.48 o 498 1086.90/1077.84 c Got one! Elapsed wall clock time (in seconds):1077.546 1086.90/1077.84 o 440 1108.55/1099.34 c Got one! Elapsed wall clock time (in seconds):1099.053 1108.55/1099.34 o 438 1161.82/1152.28 c Got one! Elapsed wall clock time (in seconds):1151.988 1161.82/1152.28 o 437 1178.63/1168.91 c Got one! Elapsed wall clock time (in seconds):1168.62 1178.63/1168.91 o 436 1182.03/1172.38 c Got one! Elapsed wall clock time (in seconds):1172.093 1182.03/1172.38 o 435 1193.42/1183.65 c Got one! Elapsed wall clock time (in seconds):1183.364 1193.42/1183.66 o 434 1243.22/1233.10 c Got one! Elapsed wall clock time (in seconds):1232.804 1243.22/1233.10 o 433 1314.46/1303.73 c Got one! Elapsed wall clock time (in seconds):1303.436 1314.46/1303.73 o 432 1387.41/1376.30 c Got one! Elapsed wall clock time (in seconds):1376.004 1387.41/1376.30 o 430 1454.40/1442.71 c Got one! Elapsed wall clock time (in seconds):1442.415 1454.40/1442.71 o 428 1463.22/1451.54 c Got one! Elapsed wall clock time (in seconds):1451.25 1463.22/1451.54 o 426 1473.40/1461.66 c Got one! Elapsed wall clock time (in seconds):1461.368 1473.40/1461.66 o 424 1494.86/1482.90 c Got one! Elapsed wall clock time (in seconds):1482.608 1494.86/1482.90 o 423 1508.28/1496.30 c Got one! Elapsed wall clock time (in seconds):1496.004 1508.28/1496.30 o 422 1576.69/1564.28 c Got one! Elapsed wall clock time (in seconds):1563.988 1576.69/1564.28 o 421 1601.38/1588.78 c Got one! Elapsed wall clock time (in seconds):1588.492 1601.38/1588.78 o 419 1673.32/1660.21 c Got one! Elapsed wall clock time (in seconds):1659.922 1673.32/1660.21 o 418 1800.08/1786.25 c starts : 1485 1800.08/1786.25 c conflicts : 728442 1800.08/1786.25 c decisions : 1053555 1800.08/1786.25 c propagations : 14374341 1800.08/1786.25 c inspects : 3476919774 1800.08/1786.25 c learnt literals : 0 1800.08/1786.25 c learnt binary clauses : 0 1800.08/1786.25 c learnt ternary clauses : 0 1800.08/1786.25 c learnt clauses : 728442 1800.08/1786.25 c root simplifications : 0 1800.08/1786.25 c removed literals (reason simplification) : 0 1800.08/1786.25 c reason swapping (by a shorter reason) : 0 1800.08/1786.25 c Calls to reduceDB : 0 1800.08/1786.25 c speed (decisions/second) : 8359.62357870014 1800.08/1786.25 c non guided choices 10267 1800.08/1786.25 s SATISFIABLE 1800.08/1786.25 v x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 1800.08/1786.25 v x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.08/1786.25 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.08/1786.25 v x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.08/1786.25 v x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.08/1786.25 v -x129 x130 x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 x140 -x141 -x142 x143 x144 x145 -x146 x147 -x148 -x149 x150 -x151 1800.08/1786.25 v -x152 x153 x154 x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 1800.08/1786.25 v x175 -x176 -x177 x178 x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 x188 x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 1800.08/1786.25 v x198 1800.08/1786.25 c objective function=418 1800.08/1786.25 c Total wall clock time (ms): 1785.954
OK 418
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-354865-1176729462 -o ROOT/results/node47/solver-354865-1176729462 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354865-1176729462/sat4jPseudoResolution.jar /tmp/evaluation/354865-1176729462/instance-354865-1176729462.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 0.99 3/77 23543 /proc/meminfo: memFree=1659496/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=18568 CPUtime=0 /proc/23543/stat : 23543 (runsolver) R 23541 23543 21459 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27791531 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/23543/statm: 4642 292 257 24 0 2626 0 [startup+0.00679407 s] /proc/loadavg: 0.99 1.00 0.99 3/77 23543 /proc/meminfo: memFree=1659496/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=152 CPUtime=0 /proc/23543/stat : 23543 (java) R 23541 23543 21459 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 27791531 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10518827 0 0 4096 0 0 0 0 17 1 0 0 /proc/23543/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.101811 s] /proc/loadavg: 0.99 1.00 0.99 3/77 23543 /proc/meminfo: memFree=1659496/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1780108 CPUtime=0.08 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 27791531 1822830592 3710 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 445027 3710 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301832 s] /proc/loadavg: 0.99 1.00 0.99 3/77 23543 /proc/meminfo: memFree=1659496/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1782044 CPUtime=0.21 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 4889 0 1 0 18 3 0 0 18 0 12 0 27791531 1824813056 4628 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 445511 4628 1246 9 0 443123 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 1782044 [startup+0.701875 s] /proc/loadavg: 0.99 1.00 0.99 3/77 23543 /proc/meminfo: memFree=1659496/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1784272 CPUtime=0.86 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 7138 0 1 0 83 3 0 0 18 0 13 0 27791531 1827094528 6113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 446068 6114 1313 9 0 443680 0 Current children cumulated CPU time (s) 0.86 Current children cumulated vsize (KiB) 1784272 [startup+1.50296 s] /proc/loadavg: 0.99 1.00 0.99 2/90 23564 /proc/meminfo: memFree=1625984/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1794064 CPUtime=2.11 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 20902 0 1 0 201 10 0 0 18 0 13 0 27791531 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448516 18640 1315 9 0 446128 0 [pid=23543/tid=23545] ppid=23541 vsize=1794064 CPUtime=1.11 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 15107 0 1 0 104 7 0 0 19 0 13 0 27791532 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109520612 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 27791534 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 27791534 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 27791536 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 27791537 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 27791537 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1794064 CPUtime=0.67 /proc/23543/task/23552/stat : 23552 (java) R 23541 23543 21459 0 -1 64 3691 0 0 0 66 1 0 0 18 0 13 0 27791540 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102396943 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1794064 CPUtime=0.3 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1373 0 0 0 30 0 0 0 16 0 13 0 27791540 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1794064 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1837121536 18640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 1794064 [startup+3.10214 s] /proc/loadavg: 0.99 1.00 0.99 2/89 23581 /proc/meminfo: memFree=1548096/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792220 CPUtime=4.19 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 46612 0 1 0 396 23 0 0 18 0 13 0 27791531 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448055 42233 1327 9 0 445667 0 [pid=23543/tid=23545] ppid=23541 vsize=1792220 CPUtime=2.62 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 37710 0 1 0 244 18 0 0 20 0 13 0 27791532 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522037 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 488 0 0 0 0 0 0 0 16 0 13 0 27791534 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 537 0 0 0 0 0 0 0 16 0 13 0 27791534 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 27791536 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 27791537 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792220 CPUtime=1.12 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5689 0 0 0 110 2 0 0 16 0 13 0 27791540 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792220 CPUtime=0.38 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1448 0 0 0 38 0 0 0 16 0 13 0 27791540 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792220 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835233280 42233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 1792220 [startup+6.30248 s] /proc/loadavg: 0.99 1.00 0.99 2/90 23618 /proc/meminfo: memFree=1488936/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=7.76 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 49355 0 1 0 751 25 0 0 18 0 13 0 27791531 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 44691 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=5.79 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 37728 0 1 0 560 19 0 0 16 0 13 0 27791532 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109510973 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=0.03 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 1876 0 0 0 3 0 0 0 17 0 13 0 27791534 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=0.03 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 1802 0 0 0 3 0 0 0 16 0 13 0 27791534 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 23 0 0 0 0 0 0 0 17 0 13 0 27791536 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.32 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5707 0 0 0 130 2 0 0 16 0 13 0 27791540 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.52 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1455 0 0 0 52 0 0 0 17 0 13 0 27791540 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 44691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.76 Current children cumulated vsize (KiB) 1792024 [startup+12.7022 s] /proc/loadavg: 0.99 1.00 0.99 2/90 23660 /proc/meminfo: memFree=1474816/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=14.38 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 55068 0 1 0 1411 27 0 0 18 0 13 0 27791531 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 48635 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=12.03 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 37750 0 1 0 1184 19 0 0 25 0 13 0 27791532 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109552684 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=0.13 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 4616 0 0 0 12 1 0 0 17 0 13 0 27791534 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=0.14 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 4668 0 0 0 13 1 0 0 16 0 13 0 27791534 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 41 0 0 0 0 0 0 0 16 0 13 0 27791536 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.36 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 134 2 0 0 16 0 13 0 27791540 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.64 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 64 0 0 0 17 0 13 0 27791540 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 48635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.38 Current children cumulated vsize (KiB) 1792024 [startup+25.5016 s] /proc/loadavg: 0.99 1.00 0.99 2/90 23714 /proc/meminfo: memFree=1446696/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=27.28 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 62050 0 1 0 2697 31 0 0 18 0 13 0 27791531 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 54131 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=24.73 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 38302 0 1 0 2453 20 0 0 25 0 13 0 27791532 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109540589 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=0.23 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 7938 0 0 0 20 3 0 0 16 0 13 0 27791534 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=0.23 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 7774 0 0 0 21 2 0 0 16 0 13 0 27791534 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791536 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 54131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0.26 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 270 0 0 0 13 13 0 0 16 0 13 0 27791536 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.38 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 136 2 0 0 17 0 13 0 27791540 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.65 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 65 0 0 0 17 0 13 0 27791540 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23888] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23888/stat : 23888 (java) S 23541 23543 21459 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 27950410 1835032576 123164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1615 Current children cumulated vsize (KiB) 1792024 [startup+1662.3 s] /proc/loadavg: 1.00 1.05 1.04 2/90 23889 /proc/meminfo: memFree=1167224/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=1675.42 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 214537 0 1 0 167410 132 0 0 18 0 13 0 27791531 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 123196 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=1647.38 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 103168 0 1 0 164683 55 0 0 25 0 13 0 27791532 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553305 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=12.81 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 69172 0 0 0 1241 40 0 0 16 0 13 0 27791534 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=12.85 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 33934 0 0 0 1268 17 0 0 17 0 13 0 27791534 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0.26 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 270 0 0 0 13 13 0 0 16 0 13 0 27791536 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.38 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 136 2 0 0 17 0 13 0 27791540 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.65 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 65 0 0 0 17 0 13 0 27791540 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23889] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23889/stat : 23889 (java) S 23541 23543 21459 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 27957553 1835032576 123196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.42 Current children cumulated vsize (KiB) 1792024 [startup+1722.3 s] /proc/loadavg: 1.07 1.05 1.03 2/90 23889 /proc/meminfo: memFree=1166456/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=1735.75 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 216250 0 1 0 173442 133 0 0 18 0 13 0 27791531 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 123311 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=1706.93 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 103180 0 1 0 170638 55 0 0 25 0 13 0 27791532 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109552861 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=13.2 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 70612 0 0 0 1279 41 0 0 16 0 13 0 27791534 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=13.23 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 34195 0 0 0 1306 17 0 0 16 0 13 0 27791534 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0.26 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 270 0 0 0 13 13 0 0 16 0 13 0 27791536 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.38 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 136 2 0 0 17 0 13 0 27791540 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.65 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 65 0 0 0 17 0 13 0 27791540 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23889] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23889/stat : 23889 (java) S 23541 23543 21459 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 27957553 1835032576 123311 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.75 Current children cumulated vsize (KiB) 1792024 [startup+1782.3 s] /proc/loadavg: 1.02 1.04 1.03 2/90 23889 /proc/meminfo: memFree=1153720/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=1796.18 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 220845 0 1 0 179482 136 0 0 18 0 13 0 27791531 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 126581 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=1766.37 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 105308 0 1 0 176581 56 0 0 25 0 13 0 27791532 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109507179 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=13.68 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 72460 0 0 0 1326 42 0 0 16 0 13 0 27791534 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=13.73 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 34804 0 0 0 1355 18 0 0 17 0 13 0 27791534 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0.27 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 280 0 0 0 13 14 0 0 16 0 13 0 27791536 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.38 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 136 2 0 0 17 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.65 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 65 0 0 0 17 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23889] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23889/stat : 23889 (java) S 23541 23543 21459 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 27957553 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 1792024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.2 s] /proc/loadavg: 1.02 1.04 1.03 2/90 23889 /proc/meminfo: memFree=1153720/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=1792024 CPUtime=1800.08 /proc/23543/stat : 23543 (java) S 23541 23543 21459 0 -1 0 220845 0 1 0 179872 136 0 0 18 0 13 0 27791531 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23543/statm: 448006 126581 1334 9 0 445618 0 [pid=23543/tid=23545] ppid=23541 vsize=1792024 CPUtime=1770.27 /proc/23543/task/23545/stat : 23545 (java) R 23541 23543 21459 0 -1 64 105308 0 1 0 176971 56 0 0 25 0 13 0 27791532 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109566920 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23546] ppid=23541 vsize=1792024 CPUtime=13.68 /proc/23543/task/23546/stat : 23546 (java) S 23541 23543 21459 0 -1 64 72460 0 0 0 1326 42 0 0 16 0 13 0 27791534 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23547] ppid=23541 vsize=1792024 CPUtime=13.73 /proc/23543/task/23547/stat : 23547 (java) S 23541 23543 21459 0 -1 64 34804 0 0 0 1355 18 0 0 17 0 13 0 27791534 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23548] ppid=23541 vsize=1792024 CPUtime=0.27 /proc/23543/task/23548/stat : 23548 (java) S 23541 23543 21459 0 -1 64 280 0 0 0 13 14 0 0 16 0 13 0 27791536 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23549] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23549/stat : 23549 (java) S 23541 23543 21459 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23550] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23550/stat : 23550 (java) S 23541 23543 21459 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 27791537 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23551] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23551/stat : 23551 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23552] ppid=23541 vsize=1792024 CPUtime=1.38 /proc/23543/task/23552/stat : 23552 (java) S 23541 23543 21459 0 -1 64 5708 0 0 0 136 2 0 0 17 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23553] ppid=23541 vsize=1792024 CPUtime=0.65 /proc/23543/task/23553/stat : 23553 (java) S 23541 23543 21459 0 -1 64 1462 0 0 0 65 0 0 0 17 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23543/tid=23554] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23554/stat : 23554 (java) S 23541 23543 21459 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23555] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23555/stat : 23555 (java) S 23541 23543 21459 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 27791540 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23543/tid=23889] ppid=23541 vsize=1792024 CPUtime=0 /proc/23543/task/23889/stat : 23889 (java) S 23541 23543 21459 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 27957553 1835032576 126581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1792024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.31 s] /proc/loadavg: 1.02 1.04 1.03 2/80 23892 /proc/meminfo: memFree=1354600/2055920 swapFree=4183744/4192956 [pid=23543] ppid=23541 vsize=0 CPUtime=1800.23 /proc/23543/stat : 23543 (java) Z 23541 23543 21459 0 -1 1036 221031 0 1 0 179883 140 0 0 15 0 2 0 27791531 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23543/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.36 CPU time (s): 1800.28 CPU user time (s): 1798.84 CPU system time (s): 1.44478 CPU usage (%): 100.779 Max. virtual memory (cumulated for all children) (KiB): 1794256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.44478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221031 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47470 involuntary context switches= 62671 runsolver used 2.29965 second user time and 5.53516 second system time The end
Begin job on node47 on Mon Apr 16 13:17:42 UTC 2007 IDJOB= 354865 IDBENCH= 2912 IDSOLVER= 159 FILE ID= node47/354865-1176729462 PBS_JOBID= 4559493 Free space on /tmp= 66560 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354865-1176729462/sat4jPseudoResolution.jar /tmp/evaluation/354865-1176729462/instance-354865-1176729462.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-354865-1176729462 -o ROOT/results/node47/solver-354865-1176729462 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354865-1176729462/sat4jPseudoResolution.jar /tmp/evaluation/354865-1176729462/instance-354865-1176729462.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED= 844897496 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1659904 kB Buffers: 29128 kB Cached: 252136 kB SwapCached: 3792 kB Active: 199468 kB Inactive: 151544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1659904 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 3684 kB Writeback: 0 kB Mapped: 83780 kB Slab: 30528 kB Committed_AS: 2556892 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node47 on Mon Apr 16 13:47:30 UTC 2007