Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 405 | 1800.02 | 1778.52 |
| 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 | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1792.21 |
| 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.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.04/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.04/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.04/0.09 c no version file found!!! 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 1599470296 0.04/0.09 c Max memory 1607860224 0.04/0.09 c Total memory 1607860224 0.04/0.09 c Number of processors 8 0.08/0.11 --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.11 c No reason simplification 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3734860-1338703025.opb 0.08/0.11 c reading problem ... 0.08/0.17 c ... done. Wall clock time 0.06s. 0.08/0.17 c CPU time (experimental) 0.14s. 0.08/0.17 c #vars 198 0.08/0.17 c #constraints 16 0.26/0.25 c SATISFIABLE 0.26/0.25 c OPTIMIZING... 0.26/0.25 c Got one! Elapsed wall clock time (in seconds):0.14 0.26/0.25 o 3092 0.26/0.28 c Got one! Elapsed wall clock time (in seconds):0.164 0.26/0.28 o 3090 0.51/0.30 c Got one! Elapsed wall clock time (in seconds):0.183 0.51/0.30 o 3088 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.2 0.51/0.31 o 2714 0.51/0.33 c Got one! Elapsed wall clock time (in seconds):0.212 0.51/0.33 o 2712 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.226 0.51/0.34 o 2638 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.238 0.51/0.35 o 2540 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.251 0.51/0.36 o 2531 0.51/0.38 c Got one! Elapsed wall clock time (in seconds):0.265 0.51/0.38 o 2528 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.277 0.51/0.39 o 2371 0.66/0.40 c Got one! Elapsed wall clock time (in seconds):0.291 0.66/0.40 o 1817 0.66/0.42 c Got one! Elapsed wall clock time (in seconds):0.304 0.66/0.42 o 1729 0.66/0.44 c Got one! Elapsed wall clock time (in seconds):0.329 0.66/0.44 o 1718 0.66/0.46 c Got one! Elapsed wall clock time (in seconds):0.344 0.66/0.46 o 1715 0.66/0.47 c Got one! Elapsed wall clock time (in seconds):0.358 0.66/0.47 o 1713 0.66/0.48 c Got one! Elapsed wall clock time (in seconds):0.372 0.66/0.48 o 1712 0.86/0.51 c Got one! Elapsed wall clock time (in seconds):0.393 0.86/0.51 o 1711 0.86/0.53 c Got one! Elapsed wall clock time (in seconds):0.419 0.86/0.53 o 1658 0.86/0.56 c Got one! Elapsed wall clock time (in seconds):0.442 0.86/0.56 o 1579 0.86/0.58 c Got one! Elapsed wall clock time (in seconds):0.468 0.86/0.58 o 1528 1.11/0.61 c Got one! Elapsed wall clock time (in seconds):0.494 1.11/0.61 o 1526 1.11/0.62 c Got one! Elapsed wall clock time (in seconds):0.509 1.11/0.62 o 1512 1.11/0.64 c Got one! Elapsed wall clock time (in seconds):0.531 1.11/0.64 o 1442 1.11/0.69 c Got one! Elapsed wall clock time (in seconds):0.574 1.11/0.69 o 1440 1.22/0.71 c Got one! Elapsed wall clock time (in seconds):0.599 1.22/0.71 o 1439 1.22/0.74 c Got one! Elapsed wall clock time (in seconds):0.631 1.22/0.74 o 1437 1.22/0.77 c Got one! Elapsed wall clock time (in seconds):0.652 1.22/0.77 o 1436 1.32/0.80 c Got one! Elapsed wall clock time (in seconds):0.683 1.32/0.80 o 1434 1.32/0.83 c Got one! Elapsed wall clock time (in seconds):0.715 1.32/0.83 o 1431 1.32/0.86 c Got one! Elapsed wall clock time (in seconds):0.747 1.32/0.86 o 1430 1.32/0.88 c Got one! Elapsed wall clock time (in seconds):0.765 1.32/0.88 o 1429 1.47/0.90 c Got one! Elapsed wall clock time (in seconds):0.789 1.47/0.90 o 1318 1.47/0.93 c Got one! Elapsed wall clock time (in seconds):0.821 1.47/0.93 o 1315 1.47/0.96 c Got one! Elapsed wall clock time (in seconds):0.848 1.47/0.96 o 1314 1.47/0.99 c Got one! Elapsed wall clock time (in seconds):0.882 1.47/1.00 o 1313 1.58/1.03 c Got one! Elapsed wall clock time (in seconds):0.916 1.58/1.03 o 1306 1.58/1.06 c Got one! Elapsed wall clock time (in seconds):0.951 1.58/1.06 o 1274 1.69/1.11 c Got one! Elapsed wall clock time (in seconds):0.999 1.69/1.11 o 1272 1.69/1.15 c Got one! Elapsed wall clock time (in seconds):1.04 1.69/1.15 o 1271 1.69/1.19 c Got one! Elapsed wall clock time (in seconds):1.077 1.69/1.19 o 1269 1.84/1.22 c Got one! Elapsed wall clock time (in seconds):1.108 1.84/1.22 o 1267 1.84/1.26 c Got one! Elapsed wall clock time (in seconds):1.142 1.84/1.26 o 1264 1.84/1.29 c Got one! Elapsed wall clock time (in seconds):1.177 1.84/1.29 o 1263 1.94/1.32 c Got one! Elapsed wall clock time (in seconds):1.207 1.94/1.32 o 1261 1.94/1.35 c Got one! Elapsed wall clock time (in seconds):1.241 1.94/1.35 o 1260 1.94/1.39 c Got one! Elapsed wall clock time (in seconds):1.273 1.94/1.39 o 1258 2.06/1.42 c Got one! Elapsed wall clock time (in seconds):1.304 2.06/1.42 o 1253 2.06/1.45 c Got one! Elapsed wall clock time (in seconds):1.338 2.06/1.45 o 1252 2.06/1.49 c Got one! Elapsed wall clock time (in seconds):1.379 2.06/1.49 o 1251 2.19/1.53 c Got one! Elapsed wall clock time (in seconds):1.418 2.19/1.53 o 1249 2.19/1.57 c Got one! Elapsed wall clock time (in seconds):1.458 2.19/1.57 o 1160 2.30/1.61 c Got one! Elapsed wall clock time (in seconds):1.496 2.30/1.61 o 1159 2.30/1.64 c Got one! Elapsed wall clock time (in seconds):1.531 2.30/1.64 o 1155 2.30/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 2.30/1.69 o 1124 2.42/1.73 c Got one! Elapsed wall clock time (in seconds):1.617 2.42/1.73 o 1123 2.42/1.77 c Got one! Elapsed wall clock time (in seconds):1.66 2.42/1.77 o 1122 2.52/1.81 c Got one! Elapsed wall clock time (in seconds):1.701 2.52/1.81 o 1121 2.52/1.86 c Got one! Elapsed wall clock time (in seconds):1.745 2.52/1.86 o 1119 2.61/1.91 c Got one! Elapsed wall clock time (in seconds):1.793 2.61/1.91 o 1118 2.61/1.95 c Got one! Elapsed wall clock time (in seconds):1.836 2.61/1.95 o 1116 2.61/1.98 c Got one! Elapsed wall clock time (in seconds):1.869 2.61/1.98 o 1115 2.72/2.02 c Got one! Elapsed wall clock time (in seconds):1.907 2.72/2.02 o 1114 2.72/2.08 c Got one! Elapsed wall clock time (in seconds):1.962 2.72/2.08 o 1113 2.85/2.12 c Got one! Elapsed wall clock time (in seconds):2.004 2.85/2.12 o 1111 2.95/2.21 c Got one! Elapsed wall clock time (in seconds):2.099 2.95/2.21 o 1110 2.95/2.25 c Got one! Elapsed wall clock time (in seconds):2.133 2.95/2.25 o 1108 2.95/2.29 c Got one! Elapsed wall clock time (in seconds):2.18 2.95/2.29 o 1107 3.05/2.33 c Got one! Elapsed wall clock time (in seconds):2.213 3.05/2.33 o 1105 3.05/2.36 c Got one! Elapsed wall clock time (in seconds):2.249 3.05/2.36 o 1104 3.20/2.42 c Got one! Elapsed wall clock time (in seconds):2.309 3.20/2.42 o 1103 3.20/2.47 c Got one! Elapsed wall clock time (in seconds):2.354 3.20/2.47 o 1099 3.30/2.52 c Got one! Elapsed wall clock time (in seconds):2.403 3.30/2.52 o 1097 3.42/2.60 c Got one! Elapsed wall clock time (in seconds):2.49 3.42/2.60 o 1095 3.42/2.64 c Got one! Elapsed wall clock time (in seconds):2.529 3.42/2.64 o 1094 3.52/2.70 c Got one! Elapsed wall clock time (in seconds):2.589 3.52/2.70 o 1092 3.52/2.76 c Got one! Elapsed wall clock time (in seconds):2.643 3.52/2.76 o 1090 3.62/2.85 c Got one! Elapsed wall clock time (in seconds):2.733 3.62/2.85 o 1088 3.62/2.90 c Got one! Elapsed wall clock time (in seconds):2.782 3.62/2.90 o 1087 3.73/2.93 c Got one! Elapsed wall clock time (in seconds):2.817 3.73/2.93 o 1085 3.73/2.97 c Got one! Elapsed wall clock time (in seconds):2.859 3.73/2.97 o 1083 3.84/3.01 c Got one! Elapsed wall clock time (in seconds):2.902 3.84/3.01 o 1081 3.84/3.06 c Got one! Elapsed wall clock time (in seconds):2.947 3.84/3.06 o 1080 3.94/3.10 c Got one! Elapsed wall clock time (in seconds):2.989 3.94/3.10 o 1079 3.94/3.16 c Got one! Elapsed wall clock time (in seconds):3.045 3.94/3.16 o 1076 4.04/3.25 c Got one! Elapsed wall clock time (in seconds):3.134 4.04/3.25 o 1075 4.14/3.31 c Got one! Elapsed wall clock time (in seconds):3.197 4.14/3.31 o 1074 4.14/3.39 c Got one! Elapsed wall clock time (in seconds):3.28 4.14/3.39 o 1072 4.24/3.46 c Got one! Elapsed wall clock time (in seconds):3.349 4.24/3.46 o 1071 4.34/3.59 c Got one! Elapsed wall clock time (in seconds):3.477 4.34/3.59 o 1069 4.48/3.64 c Got one! Elapsed wall clock time (in seconds):3.529 4.48/3.64 o 1068 4.58/3.70 c Got one! Elapsed wall clock time (in seconds):3.591 4.58/3.70 o 1067 4.58/3.78 c Got one! Elapsed wall clock time (in seconds):3.664 4.58/3.78 o 1066 4.68/3.84 c Got one! Elapsed wall clock time (in seconds):3.725 4.68/3.84 o 1065 4.78/3.90 c Got one! Elapsed wall clock time (in seconds):3.788 4.78/3.90 o 1064 4.78/3.96 c Got one! Elapsed wall clock time (in seconds):3.845 4.78/3.96 o 1063 4.88/4.01 c Got one! Elapsed wall clock time (in seconds):3.901 4.88/4.01 o 1061 4.88/4.07 c Got one! Elapsed wall clock time (in seconds):3.961 4.88/4.07 o 1059 4.98/4.13 c Got one! Elapsed wall clock time (in seconds):4.019 4.98/4.13 o 1058 5.08/4.22 c Got one! Elapsed wall clock time (in seconds):4.102 5.08/4.22 o 1056 5.08/4.26 c Got one! Elapsed wall clock time (in seconds):4.149 5.08/4.26 o 1054 5.19/4.32 c Got one! Elapsed wall clock time (in seconds):4.21 5.19/4.32 o 1052 5.29/4.41 c Got one! Elapsed wall clock time (in seconds):4.299 5.29/4.42 o 1050 5.29/4.47 c Got one! Elapsed wall clock time (in seconds):4.356 5.29/4.47 o 1047 5.39/4.52 c Got one! Elapsed wall clock time (in seconds):4.41 5.39/4.52 o 1041 5.49/4.60 c Got one! Elapsed wall clock time (in seconds):4.483 5.49/4.60 o 1039 5.49/4.66 c Got one! Elapsed wall clock time (in seconds):4.55 5.49/4.66 o 1016 5.59/4.72 c Got one! Elapsed wall clock time (in seconds):4.609 5.59/4.72 o 1014 5.59/4.77 c Got one! Elapsed wall clock time (in seconds):4.66 5.59/4.77 o 1013 5.69/4.83 c Got one! Elapsed wall clock time (in seconds):4.721 5.69/4.83 o 1010 5.69/4.88 c Got one! Elapsed wall clock time (in seconds):4.77 5.69/4.88 o 1009 5.79/4.93 c Got one! Elapsed wall clock time (in seconds):4.818 5.79/4.93 o 1002 5.79/4.98 c Got one! Elapsed wall clock time (in seconds):4.866 5.79/4.98 o 1000 5.89/5.05 c Got one! Elapsed wall clock time (in seconds):4.936 5.89/5.05 o 999 5.99/5.11 c Got one! Elapsed wall clock time (in seconds):4.994 5.99/5.11 o 997 5.99/5.18 c Got one! Elapsed wall clock time (in seconds):5.067 5.99/5.18 o 995 6.09/5.27 c Got one! Elapsed wall clock time (in seconds):5.161 6.09/5.27 o 993 6.22/5.32 c Got one! Elapsed wall clock time (in seconds):5.211 6.22/5.32 o 991 6.22/5.38 c Got one! Elapsed wall clock time (in seconds):5.266 6.22/5.38 o 989 6.34/5.44 c Got one! Elapsed wall clock time (in seconds):5.33 6.34/5.44 o 931 6.44/5.56 c Got one! Elapsed wall clock time (in seconds):5.449 6.44/5.56 o 930 6.53/5.63 c Got one! Elapsed wall clock time (in seconds):5.512 6.53/5.63 o 929 6.53/5.68 c Got one! Elapsed wall clock time (in seconds):5.563 6.53/5.68 o 927 6.63/5.72 c Got one! Elapsed wall clock time (in seconds):5.607 6.63/5.72 o 925 6.63/5.77 c Got one! Elapsed wall clock time (in seconds):5.661 6.63/5.77 o 923 6.73/5.84 c Got one! Elapsed wall clock time (in seconds):5.726 6.73/5.84 o 922 6.73/5.90 c Got one! Elapsed wall clock time (in seconds):5.783 6.73/5.90 o 871 6.83/5.94 c Got one! Elapsed wall clock time (in seconds):5.831 6.83/5.94 o 869 6.93/6.03 c Got one! Elapsed wall clock time (in seconds):5.919 6.93/6.03 o 867 6.93/6.08 c Got one! Elapsed wall clock time (in seconds):5.963 6.93/6.08 o 866 7.03/6.13 c Got one! Elapsed wall clock time (in seconds):6.015 7.03/6.13 o 865 7.13/6.23 c Got one! Elapsed wall clock time (in seconds):6.112 7.13/6.23 o 863 7.23/6.31 c Got one! Elapsed wall clock time (in seconds):6.193 7.23/6.31 o 862 7.23/6.36 c Got one! Elapsed wall clock time (in seconds):6.247 7.23/6.36 o 860 7.33/6.42 c Got one! Elapsed wall clock time (in seconds):6.311 7.33/6.42 o 858 7.33/6.50 c Got one! Elapsed wall clock time (in seconds):6.387 7.33/6.50 o 857 7.43/6.57 c Got one! Elapsed wall clock time (in seconds):6.46 7.43/6.57 o 856 7.53/6.65 c Got one! Elapsed wall clock time (in seconds):6.537 7.53/6.65 o 854 7.63/6.75 c Got one! Elapsed wall clock time (in seconds):6.634 7.63/6.75 o 846 7.73/6.81 c Got one! Elapsed wall clock time (in seconds):6.698 7.73/6.81 o 845 7.73/6.87 c Got one! Elapsed wall clock time (in seconds):6.76 7.73/6.87 o 844 7.83/6.98 c Got one! Elapsed wall clock time (in seconds):6.866 7.83/6.98 o 843 8.18/7.27 c Got one! Elapsed wall clock time (in seconds):7.158 8.18/7.27 o 841 8.28/7.35 c Got one! Elapsed wall clock time (in seconds):7.235 8.28/7.35 o 839 8.38/7.41 c Got one! Elapsed wall clock time (in seconds):7.301 8.38/7.41 o 837 8.48/7.54 c Got one! Elapsed wall clock time (in seconds):7.425 8.48/7.54 o 835 8.69/7.72 c Got one! Elapsed wall clock time (in seconds):7.607 8.69/7.72 o 833 8.99/8.00 c Got one! Elapsed wall clock time (in seconds):7.889 8.99/8.00 o 829 8.99/8.09 c Got one! Elapsed wall clock time (in seconds):7.977 8.99/8.09 o 827 9.19/8.23 c Got one! Elapsed wall clock time (in seconds):8.112 9.19/8.23 o 826 9.32/8.36 c Got one! Elapsed wall clock time (in seconds):8.246 9.32/8.36 o 824 9.42/8.44 c Got one! Elapsed wall clock time (in seconds):8.332 9.42/8.44 o 822 9.52/8.56 c Got one! Elapsed wall clock time (in seconds):8.444 9.52/8.56 o 821 9.62/8.67 c Got one! Elapsed wall clock time (in seconds):8.556 9.62/8.67 o 820 9.92/8.93 c Got one! Elapsed wall clock time (in seconds):8.813 9.92/8.93 o 819 10.02/9.02 c Got one! Elapsed wall clock time (in seconds):8.904 10.02/9.02 o 818 10.12/9.13 c Got one! Elapsed wall clock time (in seconds):9.014 10.12/9.13 o 817 10.22/9.22 c Got one! Elapsed wall clock time (in seconds):9.111 10.22/9.22 o 816 10.32/9.31 c Got one! Elapsed wall clock time (in seconds):9.202 10.32/9.31 o 814 10.42/9.41 c Got one! Elapsed wall clock time (in seconds):9.296 10.42/9.41 o 812 10.52/9.52 c Got one! Elapsed wall clock time (in seconds):9.41 10.52/9.52 o 810 10.52/9.59 c Got one! Elapsed wall clock time (in seconds):9.479 10.52/9.59 o 808 10.77/9.71 c Got one! Elapsed wall clock time (in seconds):9.592 10.77/9.71 o 806 10.89/9.84 c Got one! Elapsed wall clock time (in seconds):9.727 10.89/9.84 o 800 10.99/9.98 c Got one! Elapsed wall clock time (in seconds):9.867 10.99/9.98 o 798 11.09/10.09 c Got one! Elapsed wall clock time (in seconds):9.98 11.09/10.09 o 797 11.29/10.22 c Got one! Elapsed wall clock time (in seconds):10.103 11.29/10.22 o 796 11.38/10.31 c Got one! Elapsed wall clock time (in seconds):10.192 11.38/10.31 o 794 11.38/10.39 c Got one! Elapsed wall clock time (in seconds):10.281 11.38/10.39 o 793 11.58/10.50 c Got one! Elapsed wall clock time (in seconds):10.391 11.58/10.50 o 791 11.78/10.78 c Got one! Elapsed wall clock time (in seconds):10.664 11.78/10.78 o 789 11.99/10.91 c Got one! Elapsed wall clock time (in seconds):10.801 11.99/10.91 o 788 12.18/11.13 c Got one! Elapsed wall clock time (in seconds):11.021 12.18/11.13 o 786 12.39/11.34 c Got one! Elapsed wall clock time (in seconds):11.223 12.39/11.34 o 785 12.49/11.46 c Got one! Elapsed wall clock time (in seconds):11.351 12.49/11.46 o 784 12.68/11.56 c Got one! Elapsed wall clock time (in seconds):11.445 12.68/11.56 o 781 12.78/11.65 c Got one! Elapsed wall clock time (in seconds):11.534 12.78/11.65 o 779 12.88/11.74 c Got one! Elapsed wall clock time (in seconds):11.623 12.88/11.74 o 777 12.98/11.87 c Got one! Elapsed wall clock time (in seconds):11.758 12.98/11.87 o 775 13.08/11.98 c Got one! Elapsed wall clock time (in seconds):11.865 13.08/11.98 o 736 13.78/12.68 c Got one! Elapsed wall clock time (in seconds):12.57 13.78/12.68 o 734 13.98/12.82 c Got one! Elapsed wall clock time (in seconds):12.702 13.98/12.82 o 733 14.08/12.95 c Got one! Elapsed wall clock time (in seconds):12.834 14.08/12.95 o 731 14.28/13.18 c Got one! Elapsed wall clock time (in seconds):13.071 14.28/13.18 o 729 14.53/13.33 c Got one! Elapsed wall clock time (in seconds):13.221 14.53/13.33 o 728 14.73/13.50 c Got one! Elapsed wall clock time (in seconds):13.387 14.73/13.50 o 727 14.93/13.75 c Got one! Elapsed wall clock time (in seconds):13.642 14.93/13.75 o 725 15.03/13.87 c Got one! Elapsed wall clock time (in seconds):13.757 15.03/13.87 o 723 15.23/14.01 c Got one! Elapsed wall clock time (in seconds):13.897 15.23/14.01 o 721 15.83/14.62 c Got one! Elapsed wall clock time (in seconds):14.507 15.83/14.62 o 719 16.46/15.24 c Got one! Elapsed wall clock time (in seconds):15.128 16.46/15.24 o 718 16.66/15.45 c Got one! Elapsed wall clock time (in seconds):15.338 16.66/15.45 o 716 17.26/16.09 c Got one! Elapsed wall clock time (in seconds):15.977 17.26/16.09 o 715 17.46/16.23 c Got one! Elapsed wall clock time (in seconds):16.12 17.46/16.23 o 714 17.66/16.49 c Got one! Elapsed wall clock time (in seconds):16.373 17.66/16.49 o 713 18.47/17.29 c Got one! Elapsed wall clock time (in seconds):17.178 18.47/17.29 o 711 18.79/17.54 c Got one! Elapsed wall clock time (in seconds):17.423 18.79/17.54 o 709 19.28/18.02 c Got one! Elapsed wall clock time (in seconds):17.908 19.28/18.02 o 707 23.13/21.90 c Got one! Elapsed wall clock time (in seconds):21.784 23.13/21.90 o 705 23.34/22.09 c Got one! Elapsed wall clock time (in seconds):21.977 23.34/22.09 o 704 23.73/22.49 c Got one! Elapsed wall clock time (in seconds):22.381 23.73/22.49 o 702 23.93/22.61 c Got one! Elapsed wall clock time (in seconds):22.496 23.93/22.61 o 700 24.23/22.91 c Got one! Elapsed wall clock time (in seconds):22.794 24.23/22.91 o 699 24.34/23.04 c Got one! Elapsed wall clock time (in seconds):22.923 24.34/23.04 o 697 24.44/23.19 c Got one! Elapsed wall clock time (in seconds):23.082 24.44/23.19 o 696 24.63/23.32 c Got one! Elapsed wall clock time (in seconds):23.211 24.63/23.32 o 694 24.95/23.63 c Got one! Elapsed wall clock time (in seconds):23.512 24.95/23.63 o 692 33.64/32.27 c Got one! Elapsed wall clock time (in seconds):32.152 33.64/32.27 o 690 34.14/32.75 c Got one! Elapsed wall clock time (in seconds):32.633 34.14/32.75 o 688 34.64/33.29 c Got one! Elapsed wall clock time (in seconds):33.172 34.64/33.29 o 686 34.74/33.40 c Got one! Elapsed wall clock time (in seconds):33.282 34.74/33.40 o 685 35.16/33.74 c Got one! Elapsed wall clock time (in seconds):33.627 35.16/33.74 o 684 36.88/35.47 c Got one! Elapsed wall clock time (in seconds):35.357 36.88/35.47 o 682 37.08/35.65 c Got one! Elapsed wall clock time (in seconds):35.537 37.08/35.65 o 675 38.28/36.89 c Got one! Elapsed wall clock time (in seconds):36.778 38.28/36.89 o 673 38.58/37.10 c Got one! Elapsed wall clock time (in seconds):36.989 38.58/37.10 o 671 42.32/40.90 c Got one! Elapsed wall clock time (in seconds):40.783 42.32/40.90 o 670 42.62/41.19 c Got one! Elapsed wall clock time (in seconds):41.079 42.62/41.19 o 669 42.82/41.38 c Got one! Elapsed wall clock time (in seconds):41.27 42.82/41.38 o 667 43.92/42.44 c Got one! Elapsed wall clock time (in seconds):42.329 43.92/42.44 o 665 44.13/42.62 c Got one! Elapsed wall clock time (in seconds):42.511 44.13/42.62 o 663 44.35/42.83 c Got one! Elapsed wall clock time (in seconds):42.721 44.35/42.83 o 662 44.54/43.02 c Got one! Elapsed wall clock time (in seconds):42.908 44.54/43.02 o 658 44.74/43.23 c Got one! Elapsed wall clock time (in seconds):43.116 44.74/43.23 o 655 44.94/43.45 c Got one! Elapsed wall clock time (in seconds):43.339 44.94/43.45 o 650 45.34/43.82 c Got one! Elapsed wall clock time (in seconds):43.705 45.34/43.82 o 648 45.55/44.06 c Got one! Elapsed wall clock time (in seconds):43.952 45.55/44.06 o 647 47.35/45.84 c Got one! Elapsed wall clock time (in seconds):45.728 47.35/45.84 o 645 48.16/46.65 c Got one! Elapsed wall clock time (in seconds):46.538 48.16/46.65 o 643 48.36/46.85 c Got one! Elapsed wall clock time (in seconds):46.742 48.36/46.85 o 641 48.66/47.12 c Got one! Elapsed wall clock time (in seconds):47.003 48.66/47.12 o 640 57.78/56.18 c Got one! Elapsed wall clock time (in seconds):56.068 57.78/56.18 o 638 58.07/56.45 c Got one! Elapsed wall clock time (in seconds):56.334 58.07/56.45 o 636 58.58/56.99 c Got one! Elapsed wall clock time (in seconds):56.881 58.58/56.99 o 635 59.11/57.42 c Got one! Elapsed wall clock time (in seconds):57.307 59.11/57.42 o 632 59.81/58.16 c Got one! Elapsed wall clock time (in seconds):58.046 59.81/58.16 o 630 60.11/58.44 c Got one! Elapsed wall clock time (in seconds):58.331 60.11/58.44 o 629 60.31/58.60 c Got one! Elapsed wall clock time (in seconds):58.488 60.31/58.60 o 628 60.71/59.03 c Got one! Elapsed wall clock time (in seconds):58.918 60.71/59.03 o 626 61.11/59.44 c Got one! Elapsed wall clock time (in seconds):59.332 61.11/59.44 o 625 61.31/59.64 c Got one! Elapsed wall clock time (in seconds):59.528 61.31/59.64 o 624 64.17/62.48 c Got one! Elapsed wall clock time (in seconds):62.371 64.17/62.48 o 622 64.87/63.16 c Got one! Elapsed wall clock time (in seconds):63.049 64.87/63.16 o 620 65.48/63.78 c Got one! Elapsed wall clock time (in seconds):63.668 65.48/63.78 o 619 73.17/71.33 c Got one! Elapsed wall clock time (in seconds):71.214 73.17/71.33 o 617 74.97/73.16 c Got one! Elapsed wall clock time (in seconds):73.046 74.97/73.16 o 616 75.27/73.41 c Got one! Elapsed wall clock time (in seconds):73.295 75.27/73.41 o 610 75.79/73.91 c Got one! Elapsed wall clock time (in seconds):73.792 75.79/73.91 o 608 75.99/74.19 c Got one! Elapsed wall clock time (in seconds):74.075 75.99/74.19 o 606 79.02/77.15 c Got one! Elapsed wall clock time (in seconds):77.041 79.02/77.15 o 605 79.82/77.95 c Got one! Elapsed wall clock time (in seconds):77.839 79.82/77.95 o 604 80.12/78.26 c Got one! Elapsed wall clock time (in seconds):78.147 80.12/78.26 o 603 82.16/80.25 c Got one! Elapsed wall clock time (in seconds):80.141 82.16/80.25 o 602 87.62/85.66 c Got one! Elapsed wall clock time (in seconds):85.551 87.62/85.66 o 601 88.42/86.45 c Got one! Elapsed wall clock time (in seconds):86.333 88.42/86.45 o 598 88.93/86.97 c Got one! Elapsed wall clock time (in seconds):86.855 88.93/86.97 o 596 91.14/89.18 c Got one! Elapsed wall clock time (in seconds):89.069 91.14/89.18 o 594 91.44/89.44 c Got one! Elapsed wall clock time (in seconds):89.324 91.44/89.44 o 593 93.15/91.12 c Got one! Elapsed wall clock time (in seconds):91.009 93.15/91.12 o 592 94.46/92.44 c Got one! Elapsed wall clock time (in seconds):92.325 94.46/92.44 o 590 94.96/92.96 c Got one! Elapsed wall clock time (in seconds):92.85 94.96/92.96 o 588 96.46/94.44 c Got one! Elapsed wall clock time (in seconds):94.322 96.46/94.44 o 587 98.49/96.48 c Got one! Elapsed wall clock time (in seconds):96.367 98.49/96.48 o 584 102.11/100.04 c Got one! Elapsed wall clock time (in seconds):99.931 102.11/100.04 o 582 102.61/100.50 c Got one! Elapsed wall clock time (in seconds):100.39 102.61/100.50 o 580 118.94/116.62 c Got one! Elapsed wall clock time (in seconds):116.503 118.94/116.62 o 578 122.47/120.14 c Got one! Elapsed wall clock time (in seconds):120.026 122.47/120.14 o 577 129.15/126.76 c Got one! Elapsed wall clock time (in seconds):126.647 129.15/126.76 o 576 137.10/134.69 c Got one! Elapsed wall clock time (in seconds):134.573 137.10/134.69 o 575 140.63/138.13 c Got one! Elapsed wall clock time (in seconds):138.019 140.63/138.13 o 573 144.46/141.96 c Got one! Elapsed wall clock time (in seconds):141.849 144.46/141.96 o 571 147.63/145.03 c Got one! Elapsed wall clock time (in seconds):144.914 147.63/145.03 o 570 148.43/145.84 c Got one! Elapsed wall clock time (in seconds):145.724 148.43/145.84 o 568 149.73/147.10 c Got one! Elapsed wall clock time (in seconds):146.991 149.73/147.10 o 567 150.33/147.77 c Got one! Elapsed wall clock time (in seconds):147.66 150.33/147.77 o 566 191.19/188.24 c Got one! Elapsed wall clock time (in seconds):188.127 191.19/188.24 o 564 191.79/188.86 c Got one! Elapsed wall clock time (in seconds):188.742 191.79/188.86 o 563 193.41/190.45 c Got one! Elapsed wall clock time (in seconds):190.335 193.41/190.45 o 562 202.29/199.26 c Got one! Elapsed wall clock time (in seconds):199.145 202.29/199.26 o 561 202.79/199.78 c Got one! Elapsed wall clock time (in seconds):199.668 202.79/199.78 o 559 204.49/201.41 c Got one! Elapsed wall clock time (in seconds):201.299 204.49/201.41 o 558 205.83/202.77 c Got one! Elapsed wall clock time (in seconds):202.659 205.83/202.77 o 557 206.23/203.15 c Got one! Elapsed wall clock time (in seconds):203.042 206.23/203.15 o 555 208.43/205.31 c Got one! Elapsed wall clock time (in seconds):205.194 208.43/205.31 o 554 220.39/217.10 c Got one! Elapsed wall clock time (in seconds):216.989 220.39/217.10 o 553 225.92/222.65 c Got one! Elapsed wall clock time (in seconds):222.537 225.92/222.65 o 552 229.04/225.77 c Got one! Elapsed wall clock time (in seconds):225.652 229.04/225.77 o 550 229.95/226.65 c Got one! Elapsed wall clock time (in seconds):226.542 229.95/226.65 o 546 231.97/228.63 c Got one! Elapsed wall clock time (in seconds):228.516 231.97/228.63 o 544 233.67/230.31 c Got one! Elapsed wall clock time (in seconds):230.196 233.67/230.31 o 543 272.12/268.38 c Got one! Elapsed wall clock time (in seconds):268.263 272.12/268.38 o 542 274.33/270.57 c Got one! Elapsed wall clock time (in seconds):270.452 274.33/270.57 o 541 276.68/272.84 c Got one! Elapsed wall clock time (in seconds):272.729 276.68/272.84 o 539 295.44/291.41 c Got one! Elapsed wall clock time (in seconds):291.297 295.44/291.41 o 537 296.24/292.21 c Got one! Elapsed wall clock time (in seconds):292.099 296.24/292.21 o 533 298.59/294.57 c Got one! Elapsed wall clock time (in seconds):294.457 298.59/294.57 o 531 299.79/295.74 c Got one! Elapsed wall clock time (in seconds):295.623 299.79/295.74 o 529 301.39/297.32 c Got one! Elapsed wall clock time (in seconds):297.204 301.39/297.32 o 528 304.14/300.08 c Got one! Elapsed wall clock time (in seconds):299.964 304.14/300.08 o 527 305.24/301.12 c Got one! Elapsed wall clock time (in seconds):301.007 305.24/301.12 o 526 307.67/303.55 c Got one! Elapsed wall clock time (in seconds):303.433 307.67/303.55 o 524 308.47/304.39 c Got one! Elapsed wall clock time (in seconds):304.275 308.47/304.39 o 523 309.57/305.44 c Got one! Elapsed wall clock time (in seconds):305.328 309.57/305.44 o 521 315.43/311.29 c Got one! Elapsed wall clock time (in seconds):311.172 315.43/311.29 o 519 324.18/319.98 c Got one! Elapsed wall clock time (in seconds):319.863 324.18/319.98 o 518 330.74/326.40 c Got one! Elapsed wall clock time (in seconds):326.284 330.74/326.40 o 516 331.94/327.63 c Got one! Elapsed wall clock time (in seconds):327.517 331.94/327.63 o 515 338.64/334.30 c Got one! Elapsed wall clock time (in seconds):334.186 338.64/334.30 o 514 362.90/358.20 c Got one! Elapsed wall clock time (in seconds):358.084 362.90/358.20 o 513 373.97/369.17 c Got one! Elapsed wall clock time (in seconds):369.057 373.97/369.17 o 507 382.94/378.08 c Got one! Elapsed wall clock time (in seconds):377.967 382.94/378.08 o 506 384.37/379.48 c Got one! Elapsed wall clock time (in seconds):379.37 384.37/379.48 o 505 387.47/382.51 c Got one! Elapsed wall clock time (in seconds):382.394 387.47/382.51 o 504 388.07/383.19 c Got one! Elapsed wall clock time (in seconds):383.079 388.07/383.19 o 502 389.17/384.20 c Got one! Elapsed wall clock time (in seconds):384.089 389.17/384.20 o 500 394.85/389.88 c Got one! Elapsed wall clock time (in seconds):389.763 394.85/389.88 o 499 398.15/393.17 c Got one! Elapsed wall clock time (in seconds):393.053 398.15/393.17 o 498 400.98/395.97 c Got one! Elapsed wall clock time (in seconds):395.856 400.98/395.97 o 440 409.08/403.94 c Got one! Elapsed wall clock time (in seconds):403.822 409.08/403.94 o 438 428.98/423.65 c Got one! Elapsed wall clock time (in seconds):423.541 428.98/423.65 o 437 435.42/430.02 c Got one! Elapsed wall clock time (in seconds):429.903 435.42/430.02 o 436 436.71/431.35 c Got one! Elapsed wall clock time (in seconds):431.233 436.71/431.35 o 435 441.06/435.65 c Got one! Elapsed wall clock time (in seconds):435.541 441.06/435.65 o 434 459.46/453.81 c Got one! Elapsed wall clock time (in seconds):453.698 459.46/453.81 o 433 485.55/479.62 c Got one! Elapsed wall clock time (in seconds):479.509 485.55/479.62 o 432 512.98/506.83 c Got one! Elapsed wall clock time (in seconds):506.712 512.98/506.83 o 430 538.36/531.98 c Got one! Elapsed wall clock time (in seconds):531.864 538.36/531.98 o 428 541.81/535.31 c Got one! Elapsed wall clock time (in seconds):535.197 541.81/535.31 o 426 545.66/539.16 c Got one! Elapsed wall clock time (in seconds):539.051 545.66/539.16 o 424 553.72/547.19 c Got one! Elapsed wall clock time (in seconds):547.073 553.72/547.19 o 423 558.78/552.17 c Got one! Elapsed wall clock time (in seconds):552.054 558.78/552.17 o 422 584.92/578.08 c Got one! Elapsed wall clock time (in seconds):577.965 584.92/578.08 o 421 594.34/587.37 c Got one! Elapsed wall clock time (in seconds):587.26 594.34/587.37 o 419 621.99/614.73 c Got one! Elapsed wall clock time (in seconds):614.621 621.99/614.73 o 418 983.99/972.09 c Got one! Elapsed wall clock time (in seconds):971.982 983.99/972.09 o 417 1419.20/1402.52 c Got one! Elapsed wall clock time (in seconds):1402.408 1419.20/1402.52 o 416 1511.15/1493.14 c Got one! Elapsed wall clock time (in seconds):1493.024 1511.15/1493.14 o 414 1604.58/1585.51 c Got one! Elapsed wall clock time (in seconds):1585.397 1604.58/1585.51 o 412 1641.57/1622.18 c Got one! Elapsed wall clock time (in seconds):1622.064 1641.57/1622.18 o 410 1657.11/1637.40 c Got one! Elapsed wall clock time (in seconds):1637.289 1657.11/1637.40 o 409 1678.54/1658.52 c Got one! Elapsed wall clock time (in seconds):1658.405 1678.54/1658.52 o 407 1774.57/1753.51 c Got one! Elapsed wall clock time (in seconds):1753.394 1774.57/1753.51 o 405 1800.02/1778.51 c starts : 1589 1800.02/1778.51 c conflicts : 1366159 1800.02/1778.51 c decisions : 1821611 1800.02/1778.51 c propagations : 27053835 1800.02/1778.51 c inspects : 9571011711 1800.02/1778.51 c learnt literals : 0 1800.02/1778.51 c learnt binary clauses : 0 1800.02/1778.51 c learnt ternary clauses : 0 1800.02/1778.51 c learnt clauses : 1366159 1800.02/1778.51 c root simplifications : 0 1800.02/1778.51 c removed literals (reason simplification) : 0 1800.02/1778.51 c reason swapping (by a shorter reason) : 0 1800.02/1778.51 c Calls to reduceDB : 0 1800.02/1778.51 c speed (decisions/second) : 72852.78355463126 1800.02/1778.51 c non guided choices 10509 1800.02/1778.51 s SATISFIABLE 1800.02/1778.51 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 -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 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 -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 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 x149 -x150 x151 x152 x153 -x154 -x155 x156 x157 x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 x173 x174 x175 x176 x177 -x178 -x179 x180 -x181 x182 x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 x193 x194 -x195 -x196 -x197 -x198 1800.02/1778.51 c objective function=405 1800.02/1778.51 c Total wall clock time (ms): 1778.399
OK 405
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3734860-1338703025/watcher-3734860-1338703025 -o /tmp/evaluation-result-3734860-1338703025/solver-3734860-1338703025 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734860-1338703025.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.03 2.00 3/196 11566 /proc/meminfo: memFree=28417056/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=268 CPUtime=0 cores=1,3,5,7 /proc/11566/stat : 11566 (java) R 11564 11566 6422 0 -1 4194304 255 0 0 0 0 0 0 0 20 0 1 0 336427334 274432 4 33554432000 0 0 140735359084003 140735991842280 215124438455 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 67 19 13 9 0 24 0 [startup+0.0624689 s] /proc/loadavg: 1.99 2.03 2.00 3/196 11566 /proc/meminfo: memFree=28417056/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=2623916 CPUtime=0.04 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 3950 0 1 0 3 1 0 0 20 0 13 0 336427334 2686889984 5158 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 655979 5158 1708 9 0 646680 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2623916 [startup+0.100314 s] /proc/loadavg: 1.99 2.03 2.00 3/196 11566 /proc/meminfo: memFree=28417056/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 4154 0 1 0 7 1 0 0 20 0 18 0 336427334 3028844544 5872 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 739464 5872 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300257 s] /proc/loadavg: 1.99 2.03 2.00 3/196 11566 /proc/meminfo: memFree=28417056/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3024420 CPUtime=0.51 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 8027 0 1 0 49 2 0 0 20 0 19 0 336427334 3097006080 10409 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 756105 10409 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 3024420 [startup+0.700312 s] /proc/loadavg: 1.99 2.03 2.00 3/196 11566 /proc/meminfo: memFree=28417056/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3024420 CPUtime=1.22 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 12630 0 1 0 117 5 0 0 20 0 19 0 336427334 3097006080 32703 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 756105 32703 2266 9 0 746526 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 3024420 [startup+1.50073 s] /proc/loadavg: 1.99 2.03 2.00 4/214 11619 /proc/meminfo: memFree=28225008/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3024420 CPUtime=2.19 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 12798 0 1 0 210 9 0 0 20 0 19 0 336427334 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 756105 80330 2269 9 0 746526 0 [pid=11566/tid=11568] ppid=11564 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3178 0 1 0 139 6 0 0 20 0 19 0 336427335 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598316790376 140598187576589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336427338 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336427339 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336427339 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3024420 CPUtime=0.47 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5660 0 0 0 47 0 0 0 20 0 19 0 336427341 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3024420 CPUtime=0.22 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 2660 0 0 0 22 0 0 0 20 0 19 0 336427341 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 80330 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 3024420 [startup+3.10079 s] /proc/loadavg: 1.99 2.03 2.00 3/215 11648 /proc/meminfo: memFree=27961420/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3024420 CPUtime=3.94 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 13376 0 1 0 382 12 0 0 20 0 19 0 336427334 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 756105 115683 2286 9 0 746526 0 [pid=11566/tid=11568] ppid=11564 vsize=3024420 CPUtime=3.05 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3248 0 1 0 296 9 0 0 20 0 19 0 336427335 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598316790376 140598187591436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336427337 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336427338 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336427339 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336427339 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3024420 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3024420 CPUtime=0.28 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3067 0 0 0 28 0 0 0 20 0 19 0 336427341 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3097006080 115683 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 3024420 [startup+6.3008 s] /proc/loadavg: 1.99 2.03 2.00 3/215 11703 /proc/meminfo: memFree=27940380/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3090984 CPUtime=7.23 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 13611 0 1 0 706 17 0 0 20 0 19 0 336427334 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 772746 120706 2287 9 0 763167 0 [pid=11566/tid=11568] ppid=11564 vsize=3090984 CPUtime=6.19 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3270 0 1 0 610 9 0 0 20 0 19 0 336427335 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598316788312 140598187564929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3090984 CPUtime=0.02 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336427337 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336427338 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3090984 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3090984 CPUtime=0.28 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3068 0 0 0 28 0 0 0 20 0 19 0 336427341 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 120706 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.23 Current children cumulated vsize (KiB) 3090984 [startup+12.7008 s] /proc/loadavg: 1.99 2.03 2.00 3/215 11764 /proc/meminfo: memFree=27839696/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3090984 CPUtime=13.88 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 13879 0 1 0 1361 27 0 0 20 0 19 0 336427334 3165167616 145798 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 772746 145798 2288 9 0 763167 0 [pid=11566/tid=11568] ppid=11564 vsize=3090984 CPUtime=12.46 cores=1,3,5,7 ################ # More data... # ################ [pid=11566/tid=11581] ppid=11564 vsize=3090984 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3165167616 286250 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3090984 CPUtime=0.29 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3070 0 0 0 29 0 0 0 20 0 19 0 336427341 3165167616 286250 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 286250 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3090984 CPUtime=0.94 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 97 0 0 0 59 35 0 0 20 0 19 0 336427341 3165167616 286250 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=12021] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/12021/stat : 12021 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336593186 3165167616 286250 33554432000 1073741824 1073778376 140735359076096 140597681612200 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1682.34 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/215 12022 /proc/meminfo: memFree=27017188/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3090984 CPUtime=1742.88 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 16142 0 1 0 174158 130 0 0 20 0 19 0 336427334 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 772746 288318 2288 9 0 763167 0 [pid=11566/tid=11568] ppid=11564 vsize=3090984 CPUtime=1710.15 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3666 0 1 0 170978 37 0 0 20 0 19 0 336427335 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598316789008 140598187673050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3090984 CPUtime=3.24 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 192 0 0 0 314 10 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3090984 CPUtime=3.38 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 205 0 0 0 328 10 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3090984 CPUtime=3.32 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 192 0 0 0 322 10 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3090984 CPUtime=3.29 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 219 0 0 0 319 10 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3090984 CPUtime=3.21 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 180 0 0 0 313 8 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3090984 CPUtime=3.36 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 208 0 0 0 327 9 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3090984 CPUtime=3.28 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 183 0 0 0 319 9 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3090984 CPUtime=3.32 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 195 0 0 0 324 8 0 0 20 0 19 0 336427337 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3090984 CPUtime=0.13 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 100 0 0 0 7 6 0 0 20 0 19 0 336427338 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3090984 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3090984 CPUtime=0.29 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3070 0 0 0 29 0 0 0 20 0 19 0 336427341 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3090984 CPUtime=0.98 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 99 0 0 0 62 36 0 0 20 0 19 0 336427341 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=12021] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/12021/stat : 12021 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336593186 3165167616 288318 33554432000 1073741824 1073778376 140735359076096 140597681612200 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1742.88 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.5 s] /proc/loadavg: 2.00 2.00 2.00 3/215 12023 /proc/meminfo: memFree=26971616/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3090984 CPUtime=1800.02 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 16184 0 1 0 179869 133 0 0 20 0 19 0 336427334 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 772746 293249 2288 9 0 763167 0 [pid=11566/tid=11568] ppid=11564 vsize=3090984 CPUtime=1765.88 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3674 0 1 0 176550 38 0 0 20 0 19 0 336427335 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598316789056 140598187576240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3090984 CPUtime=3.39 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 199 0 0 0 329 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3090984 CPUtime=3.52 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 207 0 0 0 342 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3090984 CPUtime=3.51 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 192 0 0 0 341 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3090984 CPUtime=3.41 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 220 0 0 0 331 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3090984 CPUtime=3.34 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 180 0 0 0 326 8 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3090984 CPUtime=3.51 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 214 0 0 0 341 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3090984 CPUtime=3.47 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 189 0 0 0 338 9 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3090984 CPUtime=3.49 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 197 0 0 0 341 8 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 104 0 0 0 8 6 0 0 20 0 19 0 336427338 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3090984 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3090984 CPUtime=0.29 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3070 0 0 0 29 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3090984 CPUtime=1.02 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 103 0 0 0 65 37 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=12023] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/12023/stat : 12023 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336602685 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597681612072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 3090984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1778.5 s] /proc/loadavg: 2.00 2.00 2.00 3/215 12023 /proc/meminfo: memFree=26971616/32873844 swapFree=7620/7620 [pid=11566] ppid=11564 vsize=3090984 CPUtime=1800.02 cores=1,3,5,7 /proc/11566/stat : 11566 (java) S 11564 11566 6422 0 -1 4202496 16184 0 1 0 179869 133 0 0 20 0 19 0 336427334 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140735359067232 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11566/statm: 772746 293249 2288 9 0 763167 0 [pid=11566/tid=11568] ppid=11564 vsize=3090984 CPUtime=1765.88 cores=1,3,5,7 /proc/11566/task/11568/stat : 11568 (java) R 11564 11566 6422 0 -1 4202560 3674 0 1 0 176550 38 0 0 20 0 19 0 336427335 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598316789056 140598187576240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11569] ppid=11564 vsize=3090984 CPUtime=3.39 cores=1,3,5,7 /proc/11566/task/11569/stat : 11569 (java) S 11564 11566 6422 0 -1 4202560 199 0 0 0 329 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598305851688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11570] ppid=11564 vsize=3090984 CPUtime=3.52 cores=1,3,5,7 /proc/11566/task/11570/stat : 11570 (java) S 11564 11566 6422 0 -1 4202560 207 0 0 0 342 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598181488808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11571] ppid=11564 vsize=3090984 CPUtime=3.51 cores=1,3,5,7 /proc/11566/task/11571/stat : 11571 (java) S 11564 11566 6422 0 -1 4202560 192 0 0 0 341 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598180436520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11572] ppid=11564 vsize=3090984 CPUtime=3.41 cores=1,3,5,7 /proc/11566/task/11572/stat : 11572 (java) S 11564 11566 6422 0 -1 4202560 220 0 0 0 331 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598179383720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11573] ppid=11564 vsize=3090984 CPUtime=3.34 cores=1,3,5,7 /proc/11566/task/11573/stat : 11573 (java) S 11564 11566 6422 0 -1 4202560 180 0 0 0 326 8 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598178331432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11574] ppid=11564 vsize=3090984 CPUtime=3.51 cores=1,3,5,7 /proc/11566/task/11574/stat : 11574 (java) S 11564 11566 6422 0 -1 4202560 214 0 0 0 341 10 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598177278632 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11575] ppid=11564 vsize=3090984 CPUtime=3.47 cores=1,3,5,7 /proc/11566/task/11575/stat : 11575 (java) S 11564 11566 6422 0 -1 4202560 189 0 0 0 338 9 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598176226344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11566/tid=11576] ppid=11564 vsize=3090984 CPUtime=3.49 cores=1,3,5,7 /proc/11566/task/11576/stat : 11576 (java) S 11564 11566 6422 0 -1 4202560 197 0 0 0 341 8 0 0 20 0 19 0 336427337 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140598175173544 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11577] ppid=11564 vsize=3090984 CPUtime=0.14 cores=1,3,5,7 /proc/11566/task/11577/stat : 11577 (java) S 11564 11566 6422 0 -1 4202560 104 0 0 0 8 6 0 0 20 0 19 0 336427338 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597692164328 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11578] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11578/stat : 11578 (java) S 11564 11566 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597691110392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11579] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11579/stat : 11579 (java) S 11564 11566 6422 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 336427339 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597690057992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=11580] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11580/stat : 11580 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597689006480 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11581] ppid=11564 vsize=3090984 CPUtime=0.53 cores=1,3,5,7 /proc/11566/task/11581/stat : 11581 (java) S 11564 11566 6422 0 -1 4202560 5664 0 0 0 53 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597687954104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11566/tid=11582] ppid=11564 vsize=3090984 CPUtime=0.29 cores=1,3,5,7 /proc/11566/task/11582/stat : 11582 (java) S 11564 11566 6422 0 -1 4202560 3070 0 0 0 29 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597686901304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11583] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/11583/stat : 11583 (java) S 11564 11566 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597685849208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11566/tid=11584] ppid=11564 vsize=3090984 CPUtime=1.02 cores=1,3,5,7 /proc/11566/task/11584/stat : 11584 (java) S 11564 11566 6422 0 -1 4202560 103 0 0 0 65 37 0 0 20 0 19 0 336427341 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597684796616 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11566/tid=12023] ppid=11564 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/11566/task/12023/stat : 12023 (java) S 11564 11566 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336602685 3165167616 293249 33554432000 1073741824 1073778376 140735359076096 140597681612072 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 3090984 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11566 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=68260 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=693742 # CPU time returned by wait4() is 1795.76 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1778.52 CPU time (s): 1800.02 CPU user time (s): 1798.69 CPU system time (s): 1.33 CPU usage (%): 101.209 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.07 system time used= 1.69374 maximum resident set size= 1173072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16205 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50520 involuntary context switches= 64447 runsolver used 6.29104 second user time and 16.7625 second system time The end
Begin job on node135 at 2012-06-03 07:57:06 IDJOB=3734860 IDBENCH=2912 IDSOLVER=2319 FILE ID=node135/3734860-1338703025 RUNJOBID= node135-1338678628-6442 PBS_JOBID= 14636678 Free space on /tmp= 70976 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= 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 HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734860-1338703025/watcher-3734860-1338703025 -o /tmp/evaluation-result-3734860-1338703025/solver-3734860-1338703025 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734860-1338703025.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=495905822 node135.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.820 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.64 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.820 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.57 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.820 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.54 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.820 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.820 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 : 5238.35 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28417956 kB Buffers: 357004 kB Cached: 2483360 kB SwapCached: 1672 kB Active: 1910448 kB Inactive: 1700312 kB Active(anon): 760828 kB Inactive(anon): 12036 kB Active(file): 1149620 kB Inactive(file): 1688276 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 3572 kB Writeback: 0 kB AnonPages: 776104 kB Mapped: 18620 kB Shmem: 132 kB Slab: 701276 kB SReclaimable: 143076 kB SUnreclaim: 558200 kB KernelStack: 1624 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1825296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 743424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70972 MiB End job on node135 at 2012-06-03 08:26:46