Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 41 | 1800.02 | 1796.53 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb |
| MD5SUM | 12e000f4c238d036e0b89e0774c838fa |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 29 |
| Best CPU time to get the best result obtained on this benchmark | 1797.19 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 108 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75294 |
| Sum of products size (including duplicates) | 150588 |
| Number of different products | 75294 |
| Sum of products size | 150588 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.01/0.08 c version 2.3.2.v20120418 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 c Number of processors 8 0.10/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.12 c configuring ORDERS 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=true 0.10/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3711199-1338167412.opb 0.10/0.12 c reading problem ... 2.57/1.05 c ... done. Wall clock time 0.921s. 2.57/1.05 c declared #vars 1000 2.57/1.05 c internal #vars 76294 2.57/1.05 c #constraints 151588 2.57/1.05 c constraints type 2.57/1.05 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294 2.57/1.05 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294 2.57/1.05 c 151588 constraints processed. 2.97/1.25 c SATISFIABLE 2.97/1.25 c OPTIMIZING... 2.97/1.25 c Got one! Elapsed wall clock time (in seconds):1.128 2.97/1.25 o 999 3.14/1.30 c Got one! Elapsed wall clock time (in seconds):1.178 3.14/1.30 o 998 3.14/1.36 c Got one! Elapsed wall clock time (in seconds):1.232 3.14/1.36 o 997 3.28/1.40 c Got one! Elapsed wall clock time (in seconds):1.278 3.28/1.40 o 996 3.28/1.46 c Got one! Elapsed wall clock time (in seconds):1.333 3.28/1.46 o 995 3.45/1.50 c Got one! Elapsed wall clock time (in seconds):1.378 3.45/1.50 o 994 3.45/1.55 c Got one! Elapsed wall clock time (in seconds):1.425 3.45/1.55 o 993 3.45/1.59 c Got one! Elapsed wall clock time (in seconds):1.467 3.45/1.59 o 992 3.57/1.63 c Got one! Elapsed wall clock time (in seconds):1.509 3.57/1.63 o 991 3.57/1.68 c Got one! Elapsed wall clock time (in seconds):1.551 3.57/1.68 o 990 3.68/1.72 c Got one! Elapsed wall clock time (in seconds):1.593 3.68/1.72 o 989 3.68/1.76 c Got one! Elapsed wall clock time (in seconds):1.636 3.68/1.76 o 988 3.81/1.80 c Got one! Elapsed wall clock time (in seconds):1.677 3.81/1.80 o 987 3.81/1.84 c Got one! Elapsed wall clock time (in seconds):1.719 3.81/1.84 o 986 3.81/1.88 c Got one! Elapsed wall clock time (in seconds):1.76 3.81/1.88 o 985 3.91/1.93 c Got one! Elapsed wall clock time (in seconds):1.802 3.91/1.93 o 984 3.91/1.97 c Got one! Elapsed wall clock time (in seconds):1.843 3.91/1.97 o 983 4.01/2.01 c Got one! Elapsed wall clock time (in seconds):1.885 4.01/2.01 o 982 4.01/2.05 c Got one! Elapsed wall clock time (in seconds):1.926 4.01/2.05 o 981 4.01/2.09 c Got one! Elapsed wall clock time (in seconds):1.968 4.01/2.09 o 980 4.12/2.14 c Got one! Elapsed wall clock time (in seconds):2.011 4.12/2.14 o 979 4.12/2.18 c Got one! Elapsed wall clock time (in seconds):2.054 4.12/2.18 o 978 4.22/2.22 c Got one! Elapsed wall clock time (in seconds):2.098 4.22/2.22 o 977 4.22/2.27 c Got one! Elapsed wall clock time (in seconds):2.141 4.22/2.27 o 976 4.31/2.31 c Got one! Elapsed wall clock time (in seconds):2.185 4.31/2.31 o 975 4.31/2.35 c Got one! Elapsed wall clock time (in seconds):2.228 4.31/2.35 o 974 4.60/2.46 c Got one! Elapsed wall clock time (in seconds):2.333 4.60/2.46 o 973 4.60/2.49 c Got one! Elapsed wall clock time (in seconds):2.369 4.60/2.49 o 972 4.69/2.53 c Got one! Elapsed wall clock time (in seconds):2.407 4.69/2.53 o 971 4.69/2.57 c Got one! Elapsed wall clock time (in seconds):2.443 4.69/2.57 o 970 4.79/2.60 c Got one! Elapsed wall clock time (in seconds):2.48 4.79/2.60 o 969 4.79/2.64 c Got one! Elapsed wall clock time (in seconds):2.517 4.79/2.64 o 968 4.79/2.68 c Got one! Elapsed wall clock time (in seconds):2.553 4.79/2.68 o 967 4.89/2.71 c Got one! Elapsed wall clock time (in seconds):2.59 4.89/2.71 o 966 4.89/2.75 c Got one! Elapsed wall clock time (in seconds):2.627 4.89/2.75 o 965 4.89/2.79 c Got one! Elapsed wall clock time (in seconds):2.663 4.89/2.79 o 964 4.99/2.82 c Got one! Elapsed wall clock time (in seconds):2.7 4.99/2.82 o 963 4.99/2.86 c Got one! Elapsed wall clock time (in seconds):2.737 4.99/2.86 o 962 5.09/2.90 c Got one! Elapsed wall clock time (in seconds):2.774 5.09/2.90 o 961 5.09/2.94 c Got one! Elapsed wall clock time (in seconds):2.811 5.09/2.94 o 960 5.09/2.97 c Got one! Elapsed wall clock time (in seconds):2.848 5.09/2.97 o 959 5.19/3.01 c Got one! Elapsed wall clock time (in seconds):2.884 5.19/3.01 o 958 5.19/3.05 c Got one! Elapsed wall clock time (in seconds):2.921 5.19/3.05 o 957 5.19/3.08 c Got one! Elapsed wall clock time (in seconds):2.958 5.19/3.08 o 956 5.29/3.12 c Got one! Elapsed wall clock time (in seconds):2.995 5.29/3.12 o 955 5.29/3.16 c Got one! Elapsed wall clock time (in seconds):3.031 5.29/3.16 o 954 5.29/3.19 c Got one! Elapsed wall clock time (in seconds):3.068 5.29/3.19 o 953 5.39/3.23 c Got one! Elapsed wall clock time (in seconds):3.105 5.39/3.23 o 952 5.39/3.27 c Got one! Elapsed wall clock time (in seconds):3.141 5.39/3.27 o 951 5.39/3.30 c Got one! Elapsed wall clock time (in seconds):3.178 5.39/3.30 o 950 5.49/3.34 c Got one! Elapsed wall clock time (in seconds):3.215 5.49/3.34 o 949 5.49/3.38 c Got one! Elapsed wall clock time (in seconds):3.251 5.49/3.38 o 948 5.59/3.41 c Got one! Elapsed wall clock time (in seconds):3.289 5.59/3.41 o 947 5.59/3.45 c Got one! Elapsed wall clock time (in seconds):3.325 5.59/3.45 o 946 5.59/3.49 c Got one! Elapsed wall clock time (in seconds):3.362 5.59/3.49 o 945 5.69/3.52 c Got one! Elapsed wall clock time (in seconds):3.399 5.69/3.52 o 944 5.69/3.56 c Got one! Elapsed wall clock time (in seconds):3.436 5.69/3.56 o 943 5.69/3.60 c Got one! Elapsed wall clock time (in seconds):3.472 5.69/3.60 o 942 5.79/3.63 c Got one! Elapsed wall clock time (in seconds):3.509 5.79/3.63 o 941 5.79/3.67 c Got one! Elapsed wall clock time (in seconds):3.546 5.79/3.67 o 940 5.89/3.71 c Got one! Elapsed wall clock time (in seconds):3.583 5.89/3.71 o 939 5.89/3.74 c Got one! Elapsed wall clock time (in seconds):3.619 5.89/3.74 o 938 5.89/3.78 c Got one! Elapsed wall clock time (in seconds):3.656 5.89/3.78 o 937 5.98/3.82 c Got one! Elapsed wall clock time (in seconds):3.693 5.98/3.82 o 936 5.98/3.85 c Got one! Elapsed wall clock time (in seconds):3.73 5.98/3.85 o 935 5.98/3.89 c Got one! Elapsed wall clock time (in seconds):3.767 5.98/3.89 o 934 6.10/3.93 c Got one! Elapsed wall clock time (in seconds):3.805 6.10/3.93 o 933 6.10/3.97 c Got one! Elapsed wall clock time (in seconds):3.842 6.10/3.97 o 932 6.20/4.00 c Got one! Elapsed wall clock time (in seconds):3.878 6.20/4.00 o 931 6.20/4.04 c Got one! Elapsed wall clock time (in seconds):3.915 6.20/4.04 o 930 6.20/4.08 c Got one! Elapsed wall clock time (in seconds):3.952 6.20/4.08 o 929 6.30/4.11 c Got one! Elapsed wall clock time (in seconds):3.989 6.30/4.11 o 928 6.30/4.15 c Got one! Elapsed wall clock time (in seconds):4.026 6.30/4.15 o 927 6.30/4.19 c Got one! Elapsed wall clock time (in seconds):4.062 6.30/4.19 o 926 6.40/4.22 c Got one! Elapsed wall clock time (in seconds):4.099 6.40/4.22 o 925 6.40/4.26 c Got one! Elapsed wall clock time (in seconds):4.137 6.40/4.26 o 924 6.40/4.30 c Got one! Elapsed wall clock time (in seconds):4.174 6.40/4.30 o 923 6.51/4.34 c Got one! Elapsed wall clock time (in seconds):4.212 6.51/4.34 o 922 6.51/4.37 c Got one! Elapsed wall clock time (in seconds):4.249 6.51/4.37 o 921 6.61/4.41 c Got one! Elapsed wall clock time (in seconds):4.286 6.61/4.41 o 920 6.61/4.45 c Got one! Elapsed wall clock time (in seconds):4.324 6.61/4.45 o 919 6.61/4.49 c Got one! Elapsed wall clock time (in seconds):4.361 6.61/4.49 o 918 6.70/4.52 c Got one! Elapsed wall clock time (in seconds):4.399 6.70/4.52 o 917 6.70/4.56 c Got one! Elapsed wall clock time (in seconds):4.436 6.70/4.56 o 916 6.81/4.60 c Got one! Elapsed wall clock time (in seconds):4.473 6.81/4.60 o 915 6.81/4.64 c Got one! Elapsed wall clock time (in seconds):4.511 6.81/4.64 o 914 6.81/4.67 c Got one! Elapsed wall clock time (in seconds):4.548 6.81/4.67 o 913 6.90/4.71 c Got one! Elapsed wall clock time (in seconds):4.585 6.90/4.71 o 912 6.90/4.75 c Got one! Elapsed wall clock time (in seconds):4.623 6.90/4.75 o 911 6.90/4.78 c Got one! Elapsed wall clock time (in seconds):4.66 6.90/4.78 o 910 7.00/4.82 c Got one! Elapsed wall clock time (in seconds):4.697 7.00/4.82 o 909 7.00/4.86 c Got one! Elapsed wall clock time (in seconds):4.735 7.00/4.86 o 908 7.00/4.90 c Got one! Elapsed wall clock time (in seconds):4.772 7.00/4.90 o 907 7.10/4.93 c Got one! Elapsed wall clock time (in seconds):4.81 7.10/4.93 o 906 7.10/4.97 c Got one! Elapsed wall clock time (in seconds):4.848 7.10/4.97 o 905 7.20/5.01 c Got one! Elapsed wall clock time (in seconds):4.886 7.20/5.01 o 904 7.20/5.05 c Got one! Elapsed wall clock time (in seconds):4.924 7.20/5.05 o 903 7.20/5.09 c Got one! Elapsed wall clock time (in seconds):4.961 7.20/5.09 o 902 7.31/5.12 c Got one! Elapsed wall clock time (in seconds):4.999 7.31/5.12 o 901 7.31/5.16 c Got one! Elapsed wall clock time (in seconds):5.037 7.31/5.16 o 900 7.41/5.20 c Got one! Elapsed wall clock time (in seconds):5.075 7.41/5.20 o 899 7.41/5.24 c Got one! Elapsed wall clock time (in seconds):5.113 7.41/5.24 o 898 7.41/5.27 c Got one! Elapsed wall clock time (in seconds):5.15 7.41/5.27 o 897 7.50/5.31 c Got one! Elapsed wall clock time (in seconds):5.188 7.50/5.31 o 896 7.50/5.35 c Got one! Elapsed wall clock time (in seconds):5.226 7.50/5.35 o 895 7.50/5.39 c Got one! Elapsed wall clock time (in seconds):5.263 7.50/5.39 o 894 7.61/5.43 c Got one! Elapsed wall clock time (in seconds):5.301 7.61/5.43 o 893 7.61/5.46 c Got one! Elapsed wall clock time (in seconds):5.339 7.61/5.46 o 892 7.61/5.50 c Got one! Elapsed wall clock time (in seconds):5.376 7.61/5.50 o 891 7.81/5.57 c Got one! Elapsed wall clock time (in seconds):5.449 7.81/5.57 o 890 7.91/5.61 c Got one! Elapsed wall clock time (in seconds):5.487 7.91/5.61 o 889 7.91/5.65 c Got one! Elapsed wall clock time (in seconds):5.525 7.91/5.65 o 888 7.91/5.69 c Got one! Elapsed wall clock time (in seconds):5.563 7.91/5.69 o 887 8.01/5.73 c Got one! Elapsed wall clock time (in seconds):5.601 8.01/5.73 o 886 8.01/5.76 c Got one! Elapsed wall clock time (in seconds):5.639 8.01/5.76 o 885 8.11/5.80 c Got one! Elapsed wall clock time (in seconds):5.677 8.11/5.80 o 884 8.11/5.84 c Got one! Elapsed wall clock time (in seconds):5.716 8.11/5.84 o 883 8.11/5.88 c Got one! Elapsed wall clock time (in seconds):5.753 8.11/5.88 o 882 8.21/5.92 c Got one! Elapsed wall clock time (in seconds):5.792 8.21/5.92 o 881 8.21/5.95 c Got one! Elapsed wall clock time (in seconds):5.83 8.21/5.95 o 880 8.21/5.99 c Got one! Elapsed wall clock time (in seconds):5.868 8.21/5.99 o 879 8.31/6.03 c Got one! Elapsed wall clock time (in seconds):5.906 8.31/6.03 o 878 8.31/6.07 c Got one! Elapsed wall clock time (in seconds):5.944 8.31/6.07 o 877 8.41/6.11 c Got one! Elapsed wall clock time (in seconds):5.982 8.41/6.11 o 876 8.41/6.14 c Got one! Elapsed wall clock time (in seconds):6.02 8.41/6.14 o 875 8.41/6.18 c Got one! Elapsed wall clock time (in seconds):6.058 8.41/6.18 o 874 8.51/6.22 c Got one! Elapsed wall clock time (in seconds):6.096 8.51/6.22 o 873 8.51/6.26 c Got one! Elapsed wall clock time (in seconds):6.134 8.51/6.26 o 872 8.61/6.30 c Got one! Elapsed wall clock time (in seconds):6.172 8.61/6.30 o 871 8.61/6.34 c Got one! Elapsed wall clock time (in seconds):6.211 8.61/6.34 o 870 8.61/6.37 c Got one! Elapsed wall clock time (in seconds):6.249 8.61/6.37 o 869 8.71/6.41 c Got one! Elapsed wall clock time (in seconds):6.288 8.71/6.41 o 868 8.71/6.45 c Got one! Elapsed wall clock time (in seconds):6.326 8.71/6.45 o 867 8.71/6.49 c Got one! Elapsed wall clock time (in seconds):6.364 8.71/6.49 o 866 8.81/6.53 c Got one! Elapsed wall clock time (in seconds):6.402 8.81/6.53 o 865 8.81/6.56 c Got one! Elapsed wall clock time (in seconds):6.44 8.81/6.56 o 864 8.81/6.60 c Got one! Elapsed wall clock time (in seconds):6.478 8.81/6.60 o 863 8.91/6.64 c Got one! Elapsed wall clock time (in seconds):6.517 8.91/6.64 o 862 8.91/6.68 c Got one! Elapsed wall clock time (in seconds):6.555 8.91/6.68 o 861 9.01/6.72 c Got one! Elapsed wall clock time (in seconds):6.593 9.01/6.72 o 860 9.01/6.76 c Got one! Elapsed wall clock time (in seconds):6.632 9.01/6.76 o 859 9.01/6.79 c Got one! Elapsed wall clock time (in seconds):6.67 9.01/6.79 o 858 9.12/6.83 c Got one! Elapsed wall clock time (in seconds):6.709 9.12/6.83 o 857 9.12/6.87 c Got one! Elapsed wall clock time (in seconds):6.746 9.12/6.87 o 856 9.22/6.91 c Got one! Elapsed wall clock time (in seconds):6.785 9.22/6.91 o 855 9.22/6.95 c Got one! Elapsed wall clock time (in seconds):6.823 9.22/6.95 o 854 9.22/6.99 c Got one! Elapsed wall clock time (in seconds):6.862 9.22/6.99 o 853 9.32/7.02 c Got one! Elapsed wall clock time (in seconds):6.898 9.32/7.02 o 852 9.32/7.06 c Got one! Elapsed wall clock time (in seconds):6.934 9.32/7.06 o 851 9.32/7.09 c Got one! Elapsed wall clock time (in seconds):6.971 9.32/7.09 o 850 9.42/7.13 c Got one! Elapsed wall clock time (in seconds):7.007 9.42/7.13 o 849 9.42/7.17 c Got one! Elapsed wall clock time (in seconds):7.043 9.42/7.17 o 848 9.52/7.20 c Got one! Elapsed wall clock time (in seconds):7.08 9.52/7.20 o 847 9.52/7.24 c Got one! Elapsed wall clock time (in seconds):7.116 9.52/7.24 o 846 9.52/7.28 c Got one! Elapsed wall clock time (in seconds):7.153 9.52/7.28 o 845 9.62/7.31 c Got one! Elapsed wall clock time (in seconds):7.189 9.62/7.31 o 844 9.62/7.35 c Got one! Elapsed wall clock time (in seconds):7.225 9.62/7.35 o 843 9.62/7.39 c Got one! Elapsed wall clock time (in seconds):7.262 9.62/7.39 o 842 9.72/7.42 c Got one! Elapsed wall clock time (in seconds):7.298 9.72/7.42 o 841 9.72/7.46 c Got one! Elapsed wall clock time (in seconds):7.335 9.72/7.46 o 840 9.72/7.50 c Got one! Elapsed wall clock time (in seconds):7.371 9.72/7.50 o 839 9.82/7.53 c Got one! Elapsed wall clock time (in seconds):7.408 9.82/7.53 o 838 9.82/7.57 c Got one! Elapsed wall clock time (in seconds):7.448 9.82/7.57 o 837 9.92/7.61 c Got one! Elapsed wall clock time (in seconds):7.487 9.92/7.61 o 836 9.92/7.65 c Got one! Elapsed wall clock time (in seconds):7.526 9.92/7.65 o 835 9.92/7.69 c Got one! Elapsed wall clock time (in seconds):7.564 9.92/7.69 o 834 10.02/7.73 c Got one! Elapsed wall clock time (in seconds):7.603 10.02/7.73 o 833 10.02/7.77 c Got one! Elapsed wall clock time (in seconds):7.641 10.02/7.77 o 832 10.12/7.80 c Got one! Elapsed wall clock time (in seconds):7.68 10.12/7.80 o 831 10.12/7.84 c Got one! Elapsed wall clock time (in seconds):7.719 10.12/7.84 o 830 10.12/7.88 c Got one! Elapsed wall clock time (in seconds):7.757 10.12/7.88 o 829 10.22/7.92 c Got one! Elapsed wall clock time (in seconds):7.796 10.22/7.92 o 828 10.22/7.96 c Got one! Elapsed wall clock time (in seconds):7.835 10.22/7.96 o 827 10.32/8.00 c Got one! Elapsed wall clock time (in seconds):7.874 10.32/8.00 o 826 10.32/8.04 c Got one! Elapsed wall clock time (in seconds):7.913 10.32/8.04 o 825 10.32/8.08 c Got one! Elapsed wall clock time (in seconds):7.952 10.32/8.08 o 824 10.42/8.11 c Got one! Elapsed wall clock time (in seconds):7.991 10.42/8.11 o 823 10.42/8.15 c Got one! Elapsed wall clock time (in seconds):8.03 10.42/8.15 o 822 10.42/8.19 c Got one! Elapsed wall clock time (in seconds):8.068 10.42/8.19 o 821 10.52/8.23 c Got one! Elapsed wall clock time (in seconds):8.107 10.52/8.23 o 820 10.52/8.27 c Got one! Elapsed wall clock time (in seconds):8.146 10.52/8.27 o 819 10.62/8.31 c Got one! Elapsed wall clock time (in seconds):8.185 10.62/8.31 o 818 10.62/8.35 c Got one! Elapsed wall clock time (in seconds):8.224 10.62/8.35 o 817 10.62/8.39 c Got one! Elapsed wall clock time (in seconds):8.262 10.62/8.39 o 816 10.72/8.43 c Got one! Elapsed wall clock time (in seconds):8.302 10.72/8.43 o 815 10.72/8.46 c Got one! Elapsed wall clock time (in seconds):8.341 10.72/8.46 o 814 10.82/8.50 c Got one! Elapsed wall clock time (in seconds):8.38 10.82/8.50 o 813 10.82/8.54 c Got one! Elapsed wall clock time (in seconds):8.419 10.82/8.54 o 812 10.82/8.58 c Got one! Elapsed wall clock time (in seconds):8.458 10.82/8.58 o 811 10.92/8.62 c Got one! Elapsed wall clock time (in seconds):8.497 10.92/8.62 o 810 10.92/8.66 c Got one! Elapsed wall clock time (in seconds):8.536 10.92/8.66 o 809 10.92/8.70 c Got one! Elapsed wall clock time (in seconds):8.574 10.92/8.70 o 808 11.02/8.77 c Got one! Elapsed wall clock time (in seconds):8.65 11.02/8.77 o 807 11.22/8.81 c Got one! Elapsed wall clock time (in seconds):8.689 11.22/8.81 o 806 11.22/8.85 c Got one! Elapsed wall clock time (in seconds):8.728 11.22/8.85 o 805 11.22/8.89 c Got one! Elapsed wall clock time (in seconds):8.766 11.22/8.89 o 804 11.31/8.93 c Got one! Elapsed wall clock time (in seconds):8.806 11.31/8.93 o 803 11.31/8.97 c Got one! Elapsed wall clock time (in seconds):8.844 11.31/8.97 o 802 11.41/9.01 c Got one! Elapsed wall clock time (in seconds):8.883 11.41/9.01 o 801 11.41/9.05 c Got one! Elapsed wall clock time (in seconds):8.922 11.41/9.05 o 800 11.41/9.09 c Got one! Elapsed wall clock time (in seconds):8.961 11.41/9.09 o 799 11.51/9.12 c Got one! Elapsed wall clock time (in seconds):9.0 11.51/9.12 o 798 11.51/9.16 c Got one! Elapsed wall clock time (in seconds):9.039 11.51/9.16 o 797 11.61/9.20 c Got one! Elapsed wall clock time (in seconds):9.078 11.61/9.20 o 796 11.61/9.24 c Got one! Elapsed wall clock time (in seconds):9.117 11.61/9.24 o 795 11.61/9.28 c Got one! Elapsed wall clock time (in seconds):9.156 11.61/9.28 o 794 11.71/9.32 c Got one! Elapsed wall clock time (in seconds):9.195 11.71/9.32 o 793 11.71/9.36 c Got one! Elapsed wall clock time (in seconds):9.234 11.71/9.36 o 792 11.81/9.40 c Got one! Elapsed wall clock time (in seconds):9.273 11.81/9.40 o 791 11.81/9.44 c Got one! Elapsed wall clock time (in seconds):9.313 11.81/9.44 o 790 11.81/9.48 c Got one! Elapsed wall clock time (in seconds):9.352 11.81/9.48 o 789 11.91/9.51 c Got one! Elapsed wall clock time (in seconds):9.391 11.91/9.51 o 788 11.91/9.55 c Got one! Elapsed wall clock time (in seconds):9.43 11.91/9.55 o 787 11.91/9.59 c Got one! Elapsed wall clock time (in seconds):9.469 11.91/9.59 o 786 12.01/9.63 c Got one! Elapsed wall clock time (in seconds):9.508 12.01/9.63 o 785 12.01/9.67 c Got one! Elapsed wall clock time (in seconds):9.547 12.01/9.67 o 784 12.11/9.71 c Got one! Elapsed wall clock time (in seconds):9.586 12.11/9.71 o 783 12.11/9.75 c Got one! Elapsed wall clock time (in seconds):9.625 12.11/9.75 o 782 12.11/9.79 c Got one! Elapsed wall clock time (in seconds):9.664 12.11/9.79 o 781 12.22/9.83 c Got one! Elapsed wall clock time (in seconds):9.703 12.22/9.83 o 780 12.22/9.87 c Got one! Elapsed wall clock time (in seconds):9.742 12.22/9.87 o 779 12.32/9.91 c Got one! Elapsed wall clock time (in seconds):9.781 12.32/9.91 o 778 12.32/9.95 c Got one! Elapsed wall clock time (in seconds):9.821 12.32/9.95 o 777 12.32/9.98 c Got one! Elapsed wall clock time (in seconds):9.86 12.32/9.98 o 776 12.41/10.02 c Got one! Elapsed wall clock time (in seconds):9.899 12.41/10.02 o 775 12.41/10.06 c Got one! Elapsed wall clock time (in seconds):9.939 12.41/10.06 o 774 12.51/10.10 c Got one! Elapsed wall clock time (in seconds):9.978 12.51/10.10 o 773 12.51/10.14 c Got one! Elapsed wall clock time (in seconds):10.018 12.51/10.14 o 772 12.51/10.18 c Got one! Elapsed wall clock time (in seconds):10.057 12.51/10.18 o 771 12.61/10.22 c Got one! Elapsed wall clock time (in seconds):10.096 12.61/10.22 o 770 12.61/10.26 c Got one! Elapsed wall clock time (in seconds):10.136 12.61/10.26 o 769 12.71/10.30 c Got one! Elapsed wall clock time (in seconds):10.175 12.71/10.30 o 768 12.71/10.34 c Got one! Elapsed wall clock time (in seconds):10.215 12.71/10.34 o 767 12.71/10.38 c Got one! Elapsed wall clock time (in seconds):10.254 12.71/10.38 o 766 12.81/10.42 c Got one! Elapsed wall clock time (in seconds):10.294 12.81/10.42 o 765 12.81/10.46 c Got one! Elapsed wall clock time (in seconds):10.334 12.81/10.46 o 764 12.91/10.50 c Got one! Elapsed wall clock time (in seconds):10.373 12.91/10.50 o 763 12.91/10.54 c Got one! Elapsed wall clock time (in seconds):10.413 12.91/10.54 o 762 12.91/10.58 c Got one! Elapsed wall clock time (in seconds):10.452 12.91/10.58 o 761 13.01/10.62 c Got one! Elapsed wall clock time (in seconds):10.492 13.01/10.62 o 760 13.01/10.66 c Got one! Elapsed wall clock time (in seconds):10.532 13.01/10.66 o 759 13.01/10.70 c Got one! Elapsed wall clock time (in seconds):10.571 13.01/10.70 o 758 13.11/10.74 c Got one! Elapsed wall clock time (in seconds):10.611 13.11/10.74 o 757 13.11/10.77 c Got one! Elapsed wall clock time (in seconds):10.65 13.11/10.77 o 756 13.21/10.81 c Got one! Elapsed wall clock time (in seconds):10.69 13.21/10.81 o 755 13.21/10.85 c Got one! Elapsed wall clock time (in seconds):10.73 13.21/10.85 o 754 13.21/10.89 c Got one! Elapsed wall clock time (in seconds):10.769 13.21/10.89 o 753 13.32/10.93 c Got one! Elapsed wall clock time (in seconds):10.81 13.32/10.93 o 752 13.32/10.97 c Got one! Elapsed wall clock time (in seconds):10.849 13.32/10.97 o 751 13.42/11.01 c Got one! Elapsed wall clock time (in seconds):10.889 13.42/11.01 o 750 13.42/11.05 c Got one! Elapsed wall clock time (in seconds):10.929 13.42/11.05 o 749 13.42/11.09 c Got one! Elapsed wall clock time (in seconds):10.969 13.42/11.09 o 748 13.51/11.13 c Got one! Elapsed wall clock time (in seconds):11.009 13.51/11.13 o 747 13.51/11.17 c Got one! Elapsed wall clock time (in seconds):11.048 13.51/11.17 o 746 13.61/11.21 c Got one! Elapsed wall clock time (in seconds):11.088 13.61/11.21 o 745 13.61/11.25 c Got one! Elapsed wall clock time (in seconds):11.129 13.61/11.25 o 744 13.61/11.29 c Got one! Elapsed wall clock time (in seconds):11.168 13.61/11.29 o 743 13.71/11.33 c Got one! Elapsed wall clock time (in seconds):11.209 13.71/11.33 o 742 13.71/11.37 c Got one! Elapsed wall clock time (in seconds):11.248 13.71/11.37 o 741 13.81/11.41 c Got one! Elapsed wall clock time (in seconds):11.289 13.81/11.41 o 740 13.81/11.45 c Got one! Elapsed wall clock time (in seconds):11.329 13.81/11.45 o 739 13.81/11.49 c Got one! Elapsed wall clock time (in seconds):11.368 13.81/11.49 o 738 13.91/11.53 c Got one! Elapsed wall clock time (in seconds):11.409 13.91/11.53 o 737 13.91/11.57 c Got one! Elapsed wall clock time (in seconds):11.449 13.91/11.57 o 736 14.01/11.61 c Got one! Elapsed wall clock time (in seconds):11.489 14.01/11.61 o 735 14.01/11.65 c Got one! Elapsed wall clock time (in seconds):11.529 14.01/11.65 o 734 14.01/11.69 c Got one! Elapsed wall clock time (in seconds):11.569 14.01/11.69 o 733 14.11/11.73 c Got one! Elapsed wall clock time (in seconds):11.61 14.11/11.73 o 732 14.11/11.77 c Got one! Elapsed wall clock time (in seconds):11.649 14.11/11.77 o 731 14.21/11.81 c Got one! Elapsed wall clock time (in seconds):11.69 14.21/11.81 o 730 14.21/11.85 c Got one! Elapsed wall clock time (in seconds):11.73 14.21/11.85 o 729 14.21/11.89 c Got one! Elapsed wall clock time (in seconds):11.77 14.21/11.89 o 728 14.31/11.94 c Got one! Elapsed wall clock time (in seconds):11.811 14.31/11.94 o 727 14.31/11.97 c Got one! Elapsed wall clock time (in seconds):11.851 14.31/11.97 o 726 14.42/12.02 c Got one! Elapsed wall clock time (in seconds):11.891 14.42/12.02 o 725 14.42/12.06 c Got one! Elapsed wall clock time (in seconds):11.931 14.42/12.06 o 724 14.42/12.10 c Got one! Elapsed wall clock time (in seconds):11.971 14.42/12.10 o 723 14.52/12.14 c Got one! Elapsed wall clock time (in seconds):12.012 14.52/12.14 o 722 14.52/12.18 c Got one! Elapsed wall clock time (in seconds):12.052 14.52/12.18 o 721 14.61/12.22 c Got one! Elapsed wall clock time (in seconds):12.092 14.61/12.22 o 720 14.61/12.26 c Got one! Elapsed wall clock time (in seconds):12.133 14.61/12.26 o 719 14.71/12.30 c Got one! Elapsed wall clock time (in seconds):12.173 14.71/12.30 o 718 14.71/12.34 c Got one! Elapsed wall clock time (in seconds):12.214 14.71/12.34 o 717 14.71/12.38 c Got one! Elapsed wall clock time (in seconds):12.254 14.71/12.38 o 716 14.81/12.42 c Got one! Elapsed wall clock time (in seconds):12.294 14.81/12.42 o 715 14.81/12.46 c Got one! Elapsed wall clock time (in seconds):12.335 14.81/12.46 o 714 14.91/12.50 c Got one! Elapsed wall clock time (in seconds):12.375 14.91/12.50 o 713 14.91/12.54 c Got one! Elapsed wall clock time (in seconds):12.417 14.91/12.54 o 712 14.91/12.58 c Got one! Elapsed wall clock time (in seconds):12.457 14.91/12.58 o 711 15.01/12.62 c Got one! Elapsed wall clock time (in seconds):12.498 15.01/12.62 o 710 15.01/12.66 c Got one! Elapsed wall clock time (in seconds):12.539 15.01/12.66 o 709 15.11/12.70 c Got one! Elapsed wall clock time (in seconds):12.581 15.11/12.70 o 708 15.11/12.75 c Got one! Elapsed wall clock time (in seconds):12.622 15.11/12.75 o 707 15.11/12.79 c Got one! Elapsed wall clock time (in seconds):12.662 15.11/12.79 o 706 15.22/12.83 c Got one! Elapsed wall clock time (in seconds):12.704 15.22/12.83 o 705 15.22/12.87 c Got one! Elapsed wall clock time (in seconds):12.745 15.22/12.87 o 704 15.32/12.91 c Got one! Elapsed wall clock time (in seconds):12.786 15.32/12.91 o 703 15.32/12.95 c Got one! Elapsed wall clock time (in seconds):12.828 15.32/12.95 o 702 15.32/12.99 c Got one! Elapsed wall clock time (in seconds):12.869 15.32/12.99 o 701 15.42/13.05 c Got one! Elapsed wall clock time (in seconds):12.93 15.42/13.05 o 700 15.55/13.12 c Got one! Elapsed wall clock time (in seconds):12.992 15.55/13.12 o 42 15.55/13.17 c Got one! Elapsed wall clock time (in seconds):13.049 15.55/13.17 o 41 132.08/129.58 c cleaning 2470 clauses out of 5002 with flag 5000/5002 282.15/279.36 c cleaning 4258 clauses out of 8533 with flag 11001/11003 447.19/444.34 c cleaning 5605 clauses out of 11274 with flag 18000/18002 642.20/639.29 c cleaning 6830 clauses out of 13669 with flag 26000/26002 860.59/857.64 c cleaning 7914 clauses out of 15840 with flag 35001/35003 1094.07/1091.03 c cleaning 8872 clauses out of 17925 with flag 45000/45002 1347.33/1344.20 c cleaning 9961 clauses out of 20053 with flag 56000/56002 1619.01/1615.66 c cleaning 11028 clauses out of 22092 with flag 68000/68002 1800.02/1796.51 c starts : 385 1800.02/1796.51 c conflicts : 76081 1800.02/1796.51 c decisions : 1249810 1800.02/1796.51 c propagations : 865011794 1800.02/1796.51 c inspects : 6333958278 1800.02/1796.51 c shortcuts : 0 1800.02/1796.51 c learnt literals : 0 1800.02/1796.51 c learnt binary clauses : 0 1800.02/1796.51 c learnt ternary clauses : 0 1800.02/1796.51 c learnt constraints : 76081 1800.02/1796.51 c ignored constraints : 0 1800.02/1796.51 c root simplifications : 385 1800.02/1796.51 c removed literals (reason simplification) : 11524 1800.02/1796.51 c reason swapping (by a shorter reason) : 0 1800.02/1796.51 c Calls to reduceDB : 8 1800.02/1796.51 c number of reductions to clauses (during analyze) : 0 1800.02/1796.51 c number of learned constraints concerned by reduction : 0 1800.02/1796.51 c number of learning phase by resolution : 0 1800.02/1796.51 c number of learning phase by cutting planes : 0 1800.02/1796.51 c speed (assignments/second) : 481785.3127106041 1800.02/1796.51 c non guided choices 704033 1800.02/1796.52 c learnt constraints type 1800.02/1796.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19143 1800.02/1796.52 c constraints type 1800.02/1796.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294 1800.02/1796.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/1796.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294 1800.02/1796.52 c 151589 constraints processed. 1800.02/1796.52 s SATISFIABLE 1800.02/1796.52 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 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 x301 -x302 x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 x425 -x426 -x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1800.02/1796.52 c objective function=41 1800.02/1796.52 c Total wall clock time (in seconds): 1796.396
OK 41
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-3711199-1338167412/watcher-3711199-1338167412 -o /tmp/evaluation-result-3711199-1338167412/solver-3711199-1338167412 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711199-1338167412.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/195 1472 /proc/meminfo: memFree=31115500/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/1472/stat : 1472 (java) R 1470 1472 31312 0 -1 4202496 694 0 0 0 0 0 0 0 20 0 1 0 282866760 23793664 420 33554432000 1073741824 1073778376 140736558733936 140736558723000 214360439347 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 5809 433 330 9 0 128 0 [pid=1472/tid=1473] ppid=1470 vsize=24200 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 282866761 24780800 867 33554432000 1073741824 1073778376 140736558733936 140736558723000 214369704113 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0 [startup+0.02987 s] /proc/loadavg: 1.92 1.98 1.99 3/195 1472 /proc/meminfo: memFree=31115500/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9092432 CPUtime=0.01 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 2919 0 1 0 1 0 0 0 20 0 11 0 282866760 9310650368 3617 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2273108 3617 1644 9 0 2263809 0 [pid=1472/tid=1473] ppid=1470 vsize=9092432 CPUtime=0.01 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 1758 0 1 0 1 0 0 0 20 0 11 0 282866761 9310650368 3617 33554432000 1073741824 1073778376 140736558733936 140694159330056 214373033229 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100289 s] /proc/loadavg: 1.92 1.98 1.99 3/195 1472 /proc/meminfo: memFree=31115500/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 4245 0 1 0 9 1 0 0 20 0 18 0 282866760 9787842560 5451 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2389610 5451 2115 9 0 2380296 0 [pid=1472/tid=1473] ppid=1470 vsize=9558440 CPUtime=0.07 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 282866761 9787842560 5451 33554432000 1073741824 1073778376 140736558733936 140694159310928 140694165725820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300251 s] /proc/loadavg: 1.92 1.98 1.99 3/195 1472 /proc/meminfo: memFree=31115500/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9558440 CPUtime=0.44 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 5205 0 1 0 43 1 0 0 20 0 18 0 282866760 9787842560 7705 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2389610 7705 2229 9 0 2380296 0 [pid=1472/tid=1473] ppid=1470 vsize=9558440 CPUtime=0.27 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2488 0 1 0 27 0 0 0 20 0 18 0 282866761 9787842560 7705 33554432000 1073741824 1073778376 140736558733936 140694159310928 140694018674569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558440 [startup+0.700263 s] /proc/loadavg: 1.92 1.98 1.99 3/195 1472 /proc/meminfo: memFree=31115500/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9560068 CPUtime=1.62 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 23787 0 1 0 158 4 0 0 20 0 18 0 282866760 9789509632 29287 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2390017 29319 2250 9 0 2380703 0 [pid=1472/tid=1473] ppid=1470 vsize=9560068 CPUtime=0.67 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2516 0 1 0 66 1 0 0 20 0 18 0 282866761 9789509632 29333 33554432000 1073741824 1073778376 140736558733936 140694159326616 140694018693436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9560068 [startup+1.50071 s] /proc/loadavg: 1.92 1.98 1.99 3/213 1490 /proc/meminfo: memFree=30876120/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=3.45 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 27116 0 1 0 335 10 0 0 20 0 19 0 282866760 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 62065 2273 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=1.41 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2562 0 1 0 138 3 0 0 20 0 19 0 282866761 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140694159327880 140694019674273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282866762 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 282866763 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=0.85 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 8280 0 0 0 85 0 0 0 20 0 19 0 282866766 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=0.9 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14909 0 0 0 88 2 0 0 20 0 19 0 282866766 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 62065 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.45 Current children cumulated vsize (KiB) 9625004 [startup+3.10073 s] /proc/loadavg: 1.92 1.98 1.99 3/214 1491 /proc/meminfo: memFree=30862328/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=5.29 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 27543 0 1 0 514 15 0 0 20 0 19 0 282866760 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 72144 2273 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=2.94 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2564 0 1 0 291 3 0 0 20 0 19 0 282866761 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140694159319488 140694018654246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.07 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 120 0 0 0 5 2 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 93 0 0 0 6 2 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.07 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 125 0 0 0 6 1 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 119 0 0 0 3 0 0 0 20 0 19 0 282866762 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 282866763 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 8280 0 0 0 86 0 0 0 20 0 19 0 282866766 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=0.95 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14909 0 0 0 93 2 0 0 20 0 19 0 282866766 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1491] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1491/stat : 1491 (java) S 1470 1472 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866869 9856004096 72144 33554432000 1073741824 1073778376 140736558733936 140693907699368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.29 Current children cumulated vsize (KiB) 9625004 [startup+6.30072 s] /proc/loadavg: 1.93 1.98 1.99 3/214 1491 /proc/meminfo: memFree=30725808/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=8.61 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 27779 0 1 0 841 20 0 0 20 0 19 0 282866760 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 102680 2274 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=6.09 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2618 0 1 0 605 4 0 0 20 0 19 0 282866761 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140694159319488 140694019674214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.09 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 132 0 0 0 7 2 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.12 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 104 0 0 0 9 3 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.09 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 126 0 0 0 7 2 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 121 0 0 0 3 1 0 0 20 0 19 0 282866762 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 282866763 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 8280 0 0 0 86 0 0 0 20 0 19 0 282866766 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=0.97 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14912 0 0 0 95 2 0 0 20 0 19 0 282866766 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 102680 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 9098 0 0 0 115 1 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14917 0 0 0 104 2 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 99 0 0 0 39 35 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1491] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1491/stat : 1491 (java) S 1470 1472 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866869 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693907699368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1725.77 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1503 /proc/meminfo: memFree=30536076/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=1785.81 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 29128 0 1 0 178506 75 0 0 20 0 19 0 282866760 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 129108 2292 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=1775.22 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2836 0 1 0 177489 33 0 0 20 0 19 0 282866761 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694159327536 140694019674125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0.1 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 144 0 0 0 11 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.12 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 57 0 0 0 10 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 114 0 0 0 14 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.11 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 43 0 0 0 9 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.15 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 56 0 0 0 13 4 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=1.89 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 264 0 0 0 186 3 0 0 20 0 19 0 282866763 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 9098 0 0 0 115 1 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14917 0 0 0 104 2 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 103 0 0 0 41 36 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1491] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1491/stat : 1491 (java) S 1470 1472 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866869 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693907699368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.81 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.5 s] /proc/loadavg: 2.00 2.00 2.00 5/213 1633 /proc/meminfo: memFree=30672308/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 29128 0 1 0 179926 76 0 0 20 0 19 0 282866760 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 129108 2292 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=1789.39 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2836 0 1 0 178905 34 0 0 20 0 19 0 282866761 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694159327536 140694019559744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0.1 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 144 0 0 0 11 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.12 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 57 0 0 0 10 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 114 0 0 0 14 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.11 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 43 0 0 0 9 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.15 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 56 0 0 0 13 4 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=1.89 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 264 0 0 0 186 3 0 0 20 0 19 0 282866763 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 9098 0 0 0 115 1 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14917 0 0 0 104 2 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 103 0 0 0 41 36 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1491] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1491/stat : 1491 (java) S 1470 1472 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866869 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693907699368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.5 s] /proc/loadavg: 2.00 2.00 2.00 5/213 1633 /proc/meminfo: memFree=30672308/32873844 swapFree=7624/7624 [pid=1472] ppid=1470 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6 /proc/1472/stat : 1472 (java) S 1470 1472 31312 0 -1 4202496 29128 0 1 0 179926 76 0 0 20 0 19 0 282866760 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140736558725072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1472/statm: 2406251 129108 2292 9 0 2396937 0 [pid=1472/tid=1473] ppid=1470 vsize=9625004 CPUtime=1789.39 cores=0,2,4,6 /proc/1472/task/1473/stat : 1473 (java) R 1470 1472 31312 0 -1 4202560 2836 0 1 0 178905 34 0 0 20 0 19 0 282866761 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694159327536 140694019559744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1475] ppid=1470 vsize=9625004 CPUtime=0.1 cores=0,2,4,6 /proc/1472/task/1475/stat : 1475 (java) S 1470 1472 31312 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140694137429032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1476] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1476/stat : 1476 (java) S 1470 1472 31312 0 -1 4202560 144 0 0 0 11 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693934697384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1477] ppid=1470 vsize=9625004 CPUtime=0.12 cores=0,2,4,6 /proc/1472/task/1477/stat : 1477 (java) S 1470 1472 31312 0 -1 4202560 57 0 0 0 10 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693933644584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1478] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1478/stat : 1478 (java) S 1470 1472 31312 0 -1 4202560 114 0 0 0 14 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693932591784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1479] ppid=1470 vsize=9625004 CPUtime=0.11 cores=0,2,4,6 /proc/1472/task/1479/stat : 1479 (java) S 1470 1472 31312 0 -1 4202560 43 0 0 0 9 2 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693931538984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1480] ppid=1470 vsize=9625004 CPUtime=0.15 cores=0,2,4,6 /proc/1472/task/1480/stat : 1480 (java) S 1470 1472 31312 0 -1 4202560 131 0 0 0 12 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693930486184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1481] ppid=1470 vsize=9625004 CPUtime=0.17 cores=0,2,4,6 /proc/1472/task/1481/stat : 1481 (java) S 1470 1472 31312 0 -1 4202560 56 0 0 0 13 4 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693929433384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1482] ppid=1470 vsize=9625004 CPUtime=0.13 cores=0,2,4,6 /proc/1472/task/1482/stat : 1482 (java) S 1470 1472 31312 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 19 0 282866762 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693928380584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1483] ppid=1470 vsize=9625004 CPUtime=1.89 cores=0,2,4,6 /proc/1472/task/1483/stat : 1483 (java) S 1470 1472 31312 0 -1 4202560 264 0 0 0 186 3 0 0 20 0 19 0 282866763 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693916183528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1484] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1484/stat : 1484 (java) S 1470 1472 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693915129592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1485] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1485/stat : 1485 (java) S 1470 1472 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282866764 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693914076680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1472/tid=1486] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1486/stat : 1486 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693913025168 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1487] ppid=1470 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/1472/task/1487/stat : 1487 (java) S 1470 1472 31312 0 -1 4202560 9098 0 0 0 115 1 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693911972280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1472/tid=1488] ppid=1470 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/1472/task/1488/stat : 1488 (java) S 1470 1472 31312 0 -1 4202560 14917 0 0 0 104 2 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693910919480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1489] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1489/stat : 1489 (java) S 1470 1472 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693909866872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1472/tid=1490] ppid=1470 vsize=9625004 CPUtime=0.77 cores=0,2,4,6 /proc/1472/task/1490/stat : 1490 (java) S 1470 1472 31312 0 -1 4202560 103 0 0 0 41 36 0 0 20 0 19 0 282866766 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693908814280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1472/tid=1491] ppid=1470 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/1472/task/1491/stat : 1491 (java) S 1470 1472 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282866869 9856004096 129108 33554432000 1073741824 1073778376 140736558733936 140693907699368 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1472 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=529190 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=110831 # CPU time returned by wait4() is 1795.64 # 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): 1796.53 CPU time (s): 1800.02 CPU user time (s): 1799.26 CPU system time (s): 0.76 CPU usage (%): 100.194 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.53 system time used= 1.11083 maximum resident set size= 516572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29168 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38384 involuntary context switches= 12863 runsolver used 5.34119 second user time and 15.9826 second system time The end
Begin job on node130 at 2012-05-28 03:10:12 IDJOB=3711199 IDBENCH=48149 IDSOLVER=2289 FILE ID=node130/3711199-1338167412 RUNJOBID= node130-1338158197-31328 PBS_JOBID= 14624537 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711199-1338167412/watcher-3711199-1338167412 -o /tmp/evaluation-result-3711199-1338167412/solver-3711199-1338167412 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711199-1338167412.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa RANDOM SEED=1664758945 node130.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.875 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.75 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.875 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 : 5331.91 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.875 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 : 5331.91 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.875 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 : 5331.86 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.875 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 : 5331.91 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.875 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 : 5331.92 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.875 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 : 5331.91 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.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31115832 kB Buffers: 311248 kB Cached: 489692 kB SwapCached: 4508 kB Active: 814008 kB Inactive: 105620 kB Active(anon): 108784 kB Inactive(anon): 9016 kB Active(file): 705224 kB Inactive(file): 96604 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099916 kB Dirty: 2984 kB Writeback: 0 kB AnonPages: 123568 kB Mapped: 19780 kB Shmem: 8 kB Slab: 694456 kB SReclaimable: 135852 kB SUnreclaim: 558604 kB KernelStack: 1608 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 696548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 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= 71468 MiB End job on node130 at 2012-05-28 03:40:10