Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CuttingPlanes 2.3.0 | SAT (TO) | -16384 | 1800.22 | 1795.48 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
| MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -16384 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -16384 |
| Optimality of the best value was proved | NO |
| Number of variables | 787 |
| Total number of constraints | 65 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 19 |
| Biggest coefficient in the objective function | 262144 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524287 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 393216 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 917503 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3456679-1307217804.opb 0.10/0.11 c reading problem ... 0.10/0.18 c ... done. Wall clock time 0.071s. 0.10/0.18 c #vars 787 0.10/0.18 c #constraints 115 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 48 0.10/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 17 0.27/0.24 c SATISFIABLE 0.27/0.24 c OPTIMIZING... 0.27/0.24 c Got one! Elapsed wall clock time (in seconds):0.128 0.27/0.24 o 0 0.80/0.47 c Got one! Elapsed wall clock time (in seconds):0.361 0.80/0.47 o -1 1.11/0.53 c Got one! Elapsed wall clock time (in seconds):0.417 1.11/0.53 o -2 1.11/0.57 c Got one! Elapsed wall clock time (in seconds):0.462 1.11/0.57 o -3 1.41/0.63 c Got one! Elapsed wall clock time (in seconds):0.517 1.41/0.63 o -4 1.41/0.64 c Got one! Elapsed wall clock time (in seconds):0.529 1.41/0.64 o -5 1.65/0.72 c Got one! Elapsed wall clock time (in seconds):0.614 1.65/0.72 o -6 1.65/0.74 c Got one! Elapsed wall clock time (in seconds):0.634 1.65/0.74 o -7 1.65/0.76 c Got one! Elapsed wall clock time (in seconds):0.654 1.65/0.76 o -8 1.65/0.78 c Got one! Elapsed wall clock time (in seconds):0.675 1.65/0.78 o -9 1.90/0.80 c Got one! Elapsed wall clock time (in seconds):0.695 1.90/0.80 o -10 1.90/0.83 c Got one! Elapsed wall clock time (in seconds):0.716 1.90/0.83 o -11 1.90/0.85 c Got one! Elapsed wall clock time (in seconds):0.738 1.90/0.85 o -12 1.90/0.87 c Got one! Elapsed wall clock time (in seconds):0.761 1.90/0.87 o -13 1.90/0.89 c Got one! Elapsed wall clock time (in seconds):0.784 1.90/0.89 o -14 2.08/0.91 c Got one! Elapsed wall clock time (in seconds):0.803 2.08/0.91 o -15 2.08/0.93 c Got one! Elapsed wall clock time (in seconds):0.821 2.08/0.93 o -16 2.08/0.95 c Got one! Elapsed wall clock time (in seconds):0.84 2.08/0.95 o -17 2.08/0.97 c Got one! Elapsed wall clock time (in seconds):0.858 2.08/0.97 o -18 2.08/0.99 c Got one! Elapsed wall clock time (in seconds):0.881 2.08/0.99 o -19 2.08/1.01 c Got one! Elapsed wall clock time (in seconds):0.905 2.20/1.02 o -20 2.20/1.04 c Got one! Elapsed wall clock time (in seconds):0.927 2.20/1.04 o -21 2.20/1.06 c Got one! Elapsed wall clock time (in seconds):0.949 2.20/1.06 o -22 2.20/1.08 c Got one! Elapsed wall clock time (in seconds):0.971 2.20/1.08 o -23 2.20/1.10 c Got one! Elapsed wall clock time (in seconds):0.991 2.20/1.10 o -24 2.30/1.12 c Got one! Elapsed wall clock time (in seconds):1.012 2.30/1.12 o -25 2.30/1.14 c Got one! Elapsed wall clock time (in seconds):1.033 2.30/1.14 o -26 2.30/1.16 c Got one! Elapsed wall clock time (in seconds):1.055 2.30/1.16 o -27 3.27/2.02 c Got one! Elapsed wall clock time (in seconds):1.912 3.27/2.02 o -28 3.27/2.04 c Got one! Elapsed wall clock time (in seconds):1.935 3.27/2.04 o -29 3.27/2.07 c Got one! Elapsed wall clock time (in seconds):1.958 3.27/2.07 o -30 4.18/2.96 c Got one! Elapsed wall clock time (in seconds):2.851 4.18/2.96 o -31 4.18/2.98 c Got one! Elapsed wall clock time (in seconds):2.872 4.18/2.98 o -32 4.28/3.00 c Got one! Elapsed wall clock time (in seconds):2.893 4.28/3.00 o -33 4.28/3.03 c Got one! Elapsed wall clock time (in seconds):2.918 4.28/3.03 o -34 4.28/3.05 c Got one! Elapsed wall clock time (in seconds):2.94 4.28/3.05 o -35 4.28/3.07 c Got one! Elapsed wall clock time (in seconds):2.964 4.28/3.07 o -36 4.38/3.10 c Got one! Elapsed wall clock time (in seconds):2.987 4.38/3.10 o -37 4.38/3.12 c Got one! Elapsed wall clock time (in seconds):3.012 4.38/3.12 o -38 4.38/3.15 c Got one! Elapsed wall clock time (in seconds):3.038 4.38/3.15 o -39 4.38/3.17 c Got one! Elapsed wall clock time (in seconds):3.062 4.38/3.17 o -40 4.38/3.20 c Got one! Elapsed wall clock time (in seconds):3.087 4.38/3.20 o -41 4.50/3.22 c Got one! Elapsed wall clock time (in seconds):3.112 4.50/3.22 o -42 4.50/3.25 c Got one! Elapsed wall clock time (in seconds):3.137 4.50/3.25 o -43 4.50/3.27 c Got one! Elapsed wall clock time (in seconds):3.162 4.50/3.27 o -44 4.50/3.30 c Got one! Elapsed wall clock time (in seconds):3.187 4.50/3.30 o -45 4.61/3.32 c Got one! Elapsed wall clock time (in seconds):3.214 4.61/3.32 o -46 5.19/3.95 c Got one! Elapsed wall clock time (in seconds):3.843 5.19/3.95 o -47 5.29/4.06 c Got one! Elapsed wall clock time (in seconds):3.954 5.29/4.06 o -48 5.29/4.08 c Got one! Elapsed wall clock time (in seconds):3.973 5.29/4.08 o -49 5.39/4.11 c Got one! Elapsed wall clock time (in seconds):4.001 5.39/4.11 o -50 5.39/4.13 c Got one! Elapsed wall clock time (in seconds):4.024 5.39/4.13 o -51 5.39/4.16 c Got one! Elapsed wall clock time (in seconds):4.051 5.39/4.16 o -52 5.39/4.19 c Got one! Elapsed wall clock time (in seconds):4.078 5.39/4.19 o -53 5.49/4.21 c Got one! Elapsed wall clock time (in seconds):4.1 5.49/4.21 o -54 5.49/4.24 c Got one! Elapsed wall clock time (in seconds):4.13 5.49/4.24 o -55 5.49/4.27 c Got one! Elapsed wall clock time (in seconds):4.157 5.49/4.27 o -56 5.49/4.29 c Got one! Elapsed wall clock time (in seconds):4.181 5.49/4.29 o -57 5.99/4.78 c Got one! Elapsed wall clock time (in seconds):4.668 5.99/4.78 o -58 6.09/4.80 c Got one! Elapsed wall clock time (in seconds):4.693 6.09/4.80 o -59 6.09/4.83 c Got one! Elapsed wall clock time (in seconds):4.72 6.09/4.83 o -60 6.71/5.50 c Got one! Elapsed wall clock time (in seconds):5.391 6.71/5.50 o -61 6.81/5.53 c Got one! Elapsed wall clock time (in seconds):5.419 6.81/5.53 o -62 6.81/5.56 c Got one! Elapsed wall clock time (in seconds):5.451 6.81/5.56 o -63 6.81/5.59 c Got one! Elapsed wall clock time (in seconds):5.478 6.81/5.59 o -64 6.89/5.62 c Got one! Elapsed wall clock time (in seconds):5.506 6.89/5.62 o -65 6.89/5.64 c Got one! Elapsed wall clock time (in seconds):5.534 6.89/5.64 o -66 6.89/5.67 c Got one! Elapsed wall clock time (in seconds):5.561 6.89/5.67 o -67 7.03/5.72 c Got one! Elapsed wall clock time (in seconds):5.6 7.03/5.72 o -68 7.03/5.73 c Got one! Elapsed wall clock time (in seconds):5.625 7.03/5.73 o -69 7.03/5.76 c Got one! Elapsed wall clock time (in seconds):5.649 7.03/5.76 o -70 7.49/6.12 c Got one! Elapsed wall clock time (in seconds):6.012 7.49/6.12 o -71 7.49/6.15 c Got one! Elapsed wall clock time (in seconds):6.036 7.49/6.15 o -72 7.49/6.17 c Got one! Elapsed wall clock time (in seconds):6.059 7.49/6.17 o -73 7.49/6.19 c Got one! Elapsed wall clock time (in seconds):6.084 7.49/6.19 o -74 7.59/6.22 c Got one! Elapsed wall clock time (in seconds):6.11 7.59/6.22 o -75 9.40/7.92 c Got one! Elapsed wall clock time (in seconds):7.815 9.40/7.92 o -76 10.35/8.82 c Got one! Elapsed wall clock time (in seconds):8.71 10.35/8.82 o -77 10.35/8.84 c Got one! Elapsed wall clock time (in seconds):8.736 10.35/8.84 o -78 10.35/8.87 c Got one! Elapsed wall clock time (in seconds):8.762 10.35/8.87 o -79 10.43/8.90 c Got one! Elapsed wall clock time (in seconds):8.794 10.43/8.90 o -80 10.43/8.93 c Got one! Elapsed wall clock time (in seconds):8.818 10.43/8.93 o -81 10.43/8.96 c Got one! Elapsed wall clock time (in seconds):8.849 10.43/8.96 o -82 10.43/8.99 c Got one! Elapsed wall clock time (in seconds):8.876 10.43/8.99 o -83 10.54/9.01 c Got one! Elapsed wall clock time (in seconds):8.901 10.54/9.01 o -84 10.54/9.04 c Got one! Elapsed wall clock time (in seconds):8.928 10.54/9.04 o -85 10.54/9.06 c Got one! Elapsed wall clock time (in seconds):8.955 10.54/9.06 o -86 10.54/9.09 c Got one! Elapsed wall clock time (in seconds):8.981 10.54/9.09 o -87 10.64/9.12 c Got one! Elapsed wall clock time (in seconds):9.007 10.64/9.12 o -88 10.64/9.14 c Got one! Elapsed wall clock time (in seconds):9.034 10.64/9.14 o -89 10.64/9.17 c Got one! Elapsed wall clock time (in seconds):9.062 10.64/9.17 o -90 10.74/9.20 c Got one! Elapsed wall clock time (in seconds):9.09 10.74/9.20 o -91 10.74/9.23 c Got one! Elapsed wall clock time (in seconds):9.118 10.74/9.23 o -92 10.74/9.25 c Got one! Elapsed wall clock time (in seconds):9.141 10.74/9.25 o -93 10.74/9.28 c Got one! Elapsed wall clock time (in seconds):9.171 10.74/9.28 o -94 10.84/9.31 c Got one! Elapsed wall clock time (in seconds):9.2 10.84/9.31 o -95 10.84/9.34 c Got one! Elapsed wall clock time (in seconds):9.228 10.84/9.34 o -96 10.84/9.36 c Got one! Elapsed wall clock time (in seconds):9.254 10.84/9.36 o -97 10.84/9.39 c Got one! Elapsed wall clock time (in seconds):9.283 10.84/9.39 o -98 10.94/9.43 c Got one! Elapsed wall clock time (in seconds):9.316 10.94/9.43 o -99 10.94/9.45 c Got one! Elapsed wall clock time (in seconds):9.338 10.94/9.45 o -100 10.94/9.48 c Got one! Elapsed wall clock time (in seconds):9.369 10.94/9.48 o -101 11.04/9.51 c Got one! Elapsed wall clock time (in seconds):9.4 11.04/9.51 o -102 11.04/9.54 c Got one! Elapsed wall clock time (in seconds):9.429 11.04/9.54 o -103 11.04/9.57 c Got one! Elapsed wall clock time (in seconds):9.465 11.04/9.57 o -104 11.15/9.60 c Got one! Elapsed wall clock time (in seconds):9.496 11.15/9.60 o -105 11.15/9.64 c Got one! Elapsed wall clock time (in seconds):9.526 11.15/9.64 o -106 11.15/9.67 c Got one! Elapsed wall clock time (in seconds):9.556 11.15/9.67 o -107 11.15/9.69 c Got one! Elapsed wall clock time (in seconds):9.585 11.15/9.69 o -108 11.25/9.72 c Got one! Elapsed wall clock time (in seconds):9.608 11.25/9.72 o -109 11.55/10.07 c Got one! Elapsed wall clock time (in seconds):9.966 11.55/10.08 o -110 11.85/10.33 c Got one! Elapsed wall clock time (in seconds):10.219 11.85/10.33 o -111 11.85/10.36 c Got one! Elapsed wall clock time (in seconds):10.251 11.85/10.36 o -112 11.85/10.39 c Got one! Elapsed wall clock time (in seconds):10.281 11.85/10.39 o -113 11.95/10.42 c Got one! Elapsed wall clock time (in seconds):10.31 11.95/10.42 o -114 12.25/10.70 c Got one! Elapsed wall clock time (in seconds):10.588 12.25/10.70 o -115 12.25/10.73 c Got one! Elapsed wall clock time (in seconds):10.622 12.25/10.73 o -116 12.75/11.21 c Got one! Elapsed wall clock time (in seconds):11.097 12.75/11.21 o -117 23.07/21.33 c Got one! Elapsed wall clock time (in seconds):21.226 23.07/21.33 o -118 51.92/49.98 c Got one! Elapsed wall clock time (in seconds):49.875 51.92/49.98 o -120 59.33/57.23 c Got one! Elapsed wall clock time (in seconds):57.124 59.33/57.23 o -128 209.85/207.15 c Got one! Elapsed wall clock time (in seconds):207.038 209.85/207.15 o -256 310.23/307.39 c cleaning 0 clauses out of 6006 with flag 0/6006 335.13/332.12 c Got one! Elapsed wall clock time (in seconds):331.994 335.13/332.12 o -288 340.12/337.17 c Got one! Elapsed wall clock time (in seconds):337.061 340.12/337.17 o -512 345.22/342.24 c Got one! Elapsed wall clock time (in seconds):342.13 345.22/342.24 o -1024 355.54/352.53 c Got one! Elapsed wall clock time (in seconds):352.422 355.54/352.53 o -1280 361.94/358.98 c Got one! Elapsed wall clock time (in seconds):358.87 361.94/358.98 o -2048 367.07/364.04 c Got one! Elapsed wall clock time (in seconds):363.93 367.07/364.04 o -2304 372.16/369.13 c Got one! Elapsed wall clock time (in seconds):369.018 372.16/369.13 o -2560 376.97/373.97 c Got one! Elapsed wall clock time (in seconds):373.858 376.97/373.97 o -3072 381.86/378.81 c Got one! Elapsed wall clock time (in seconds):378.699 381.86/378.81 o -3584 389.20/386.13 c Got one! Elapsed wall clock time (in seconds):386.019 389.20/386.13 o -3840 533.17/529.94 c Got one! Elapsed wall clock time (in seconds):529.828 533.17/529.94 o -3904 555.89/552.65 c Got one! Elapsed wall clock time (in seconds):552.545 555.89/552.65 o -3912 561.09/557.87 c Got one! Elapsed wall clock time (in seconds):557.76 561.09/557.87 o -4096 566.19/562.93 c Got one! Elapsed wall clock time (in seconds):562.821 566.19/562.93 o -4608 577.43/574.16 c Got one! Elapsed wall clock time (in seconds):574.05 577.43/574.16 o -4616 583.22/579.94 c Got one! Elapsed wall clock time (in seconds):579.829 583.22/579.94 o -5120 589.02/585.73 c Got one! Elapsed wall clock time (in seconds):585.619 589.02/585.73 o -5376 594.52/591.28 c Got one! Elapsed wall clock time (in seconds):591.173 594.52/591.28 o -6144 600.24/596.95 c Got one! Elapsed wall clock time (in seconds):596.837 600.24/596.95 o -6656 605.74/602.49 c Got one! Elapsed wall clock time (in seconds):602.382 605.74/602.49 o -7168 611.34/608.02 c Got one! Elapsed wall clock time (in seconds):607.908 611.34/608.02 o -7680 616.44/613.19 c Got one! Elapsed wall clock time (in seconds):613.081 616.44/613.19 o -8192 621.36/618.01 c Got one! Elapsed wall clock time (in seconds):617.9 621.36/618.01 o -10240 649.39/646.07 c Got one! Elapsed wall clock time (in seconds):645.959 649.39/646.07 o -12288 761.10/757.68 c Got one! Elapsed wall clock time (in seconds):757.566 761.10/757.68 o -12304 813.24/809.71 c Got one! Elapsed wall clock time (in seconds):809.598 813.24/809.71 o -12320 820.14/816.64 c Got one! Elapsed wall clock time (in seconds):816.531 820.14/816.64 o -12416 853.28/849.72 c Got one! Elapsed wall clock time (in seconds):849.612 853.28/849.72 o -14336 948.98/945.38 c Got one! Elapsed wall clock time (in seconds):945.276 948.98/945.39 o -14352 959.00/955.36 c Got one! Elapsed wall clock time (in seconds):955.253 959.00/955.36 o -14592 1296.81/1292.70 c Got one! Elapsed wall clock time (in seconds):1292.588 1296.81/1292.70 o -14624 1454.61/1450.31 c Got one! Elapsed wall clock time (in seconds):1450.2 1454.61/1450.31 o -14656 1485.96/1481.64 c Got one! Elapsed wall clock time (in seconds):1481.53 1485.96/1481.64 o -16384 1800.03/1795.32 c starts : 179 1800.03/1795.32 c conflicts : 8375 1800.03/1795.32 c decisions : 183075 1800.03/1795.32 c propagations : 739672 1800.03/1795.32 c inspects : 1298958653 1800.03/1795.32 c shortcuts : 0 1800.03/1795.32 c learnt literals : 0 1800.03/1795.32 c learnt binary clauses : 0 1800.03/1795.32 c learnt ternary clauses : 0 1800.03/1795.32 c learnt constraints : 8374 1800.03/1795.32 c ignored constraints : 0 1800.03/1795.32 c root simplifications : 0 1800.03/1795.32 c removed literals (reason simplification) : 0 1800.03/1795.32 c reason swapping (by a shorter reason) : 0 1800.03/1795.32 c Calls to reduceDB : 1 1800.03/1795.32 c number of reductions to clauses (during analyze) : 0 1800.03/1795.32 c number of learned constraints concerned by reduction : 0 1800.03/1795.32 c number of learning phase by resolution : 0 1800.03/1795.32 c number of learning phase by cutting planes : 0 1800.03/1795.32 c speed (assignments/second) : 2358.0238648571967 1800.03/1795.32 c non guided choices 2107 1800.03/1795.33 c learnt constraints type 1800.03/1795.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8374 1800.03/1795.33 c constraints type 1800.03/1795.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 48 1800.03/1795.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48 1800.03/1795.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 18 1800.03/1795.33 s SATISFIABLE 1800.03/1795.33 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 1800.03/1795.33 c objective function=-16384 1800.03/1795.33 c Total wall clock time (in seconds): 1795.222
OK -16384
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3456679-1307217804/watcher-3456679-1307217804 -o /tmp/evaluation-result-3456679-1307217804/solver-3456679-1307217804 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456679-1307217804.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: 2.21 2.09 1.77 3/544 13723 /proc/meminfo: memFree=19186264/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 1923 0 1 0 0 0 0 0 25 0 2 0 814196238 10681323520 1624 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2607745 1638 906 9 0 2598901 0 [pid=13723/tid=13724] ppid=13721 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 5350 0 1 0 0 0 0 0 17 0 2 0 814196238 10694979584 6167 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.052125 s] /proc/loadavg: 2.21 2.09 1.77 3/544 13723 /proc/meminfo: memFree=19186264/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10532548 CPUtime=0.03 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 11379 0 1 0 2 1 0 0 25 0 13 0 814196238 10785329152 11075 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16784587 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2633137 11076 1682 9 0 2623885 0 [pid=13723/tid=13724] ppid=13721 vsize=10532548 CPUtime=0.03 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 10231 0 1 0 2 1 0 0 22 0 13 0 814196238 10785329152 11076 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 47039509243416 0 4 0 16800971 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10532548 [startup+0.101081 s] /proc/loadavg: 2.21 2.09 1.77 3/544 13723 /proc/meminfo: memFree=19186264/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10539216 CPUtime=0.1 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 13024 0 1 0 9 1 0 0 25 0 18 0 814196238 10792157184 12708 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2634804 12708 2092 9 0 2625538 0 [pid=13723/tid=13724] ppid=13721 vsize=10539216 CPUtime=0.08 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 11075 0 1 0 7 1 0 0 18 0 18 0 814196238 10792157184 12708 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 47039507304543 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539216 [startup+0.301047 s] /proc/loadavg: 2.21 2.09 1.77 3/544 13723 /proc/meminfo: memFree=19186264/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10551416 CPUtime=0.52 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 19367 0 1 0 50 2 0 0 25 0 19 0 814196238 10804649984 17349 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2637854 17349 2208 9 0 2628588 0 [pid=13723/tid=13724] ppid=13721 vsize=10551416 CPUtime=0.28 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 12255 0 1 0 27 1 0 0 19 0 19 0 814196238 10804649984 17349 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 47039510341494 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10551416 [startup+0.701009 s] /proc/loadavg: 2.21 2.09 1.77 3/544 13723 /proc/meminfo: memFree=19186264/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=1.65 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 33195 0 1 0 162 3 0 0 25 0 19 0 814196238 10809778176 29442 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 29443 2219 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=0.68 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 20318 0 1 0 66 2 0 0 18 0 19 0 814196238 10809778176 29444 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505619909 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 10556424 [startup+1.50087 s] /proc/loadavg: 2.21 2.09 1.77 3/563 13744 /proc/meminfo: memFree=18992060/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=2.77 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 116969 0 1 0 263 14 0 0 25 0 19 0 814196238 10809778176 113021 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 113029 2225 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=1.48 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 103827 0 1 0 136 12 0 0 18 0 19 0 814196238 10809778176 113031 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505619928 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 113036 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113040 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113043 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113046 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113051 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113053 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113056 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 113061 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814196241 10809778176 113065 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 814196242 10809778176 113067 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 814196242 10809778176 113070 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 113075 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.53 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 5478 0 0 0 53 0 0 0 22 0 19 0 814196244 10809778176 113079 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=0.73 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6511 0 0 0 73 0 0 0 18 0 19 0 814196244 10809778176 113081 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 113085 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 113089 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 113092 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 10556424 [startup+3.10158 s] /proc/loadavg: 2.19 2.09 1.77 3/563 13744 /proc/meminfo: memFree=18397604/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=4.38 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 342727 0 1 0 397 41 0 0 25 0 19 0 814196238 10809778176 338779 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 338779 2225 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=3.08 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 329575 0 1 0 268 40 0 0 21 0 19 0 814196238 10809778176 338779 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522124107 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 338780 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338782 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338785 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338785 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338786 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338789 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338789 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814196240 10809778176 338791 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814196241 10809778176 338794 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 814196242 10809778176 338796 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 814196242 10809778176 338798 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 338800 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.53 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 5478 0 0 0 53 0 0 0 22 0 19 0 814196244 10809778176 338802 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=0.75 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6511 0 0 0 75 0 0 0 15 0 19 0 814196244 10809778176 338803 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 338805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 338808 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 338810 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 10556424 [startup+6.301 s] /proc/loadavg: 2.19 2.09 1.77 3/563 13744 /proc/meminfo: memFree=16638272/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=7.69 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 665622 0 1 0 692 77 0 0 25 0 19 0 814196238 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 661661 2240 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=6.27 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 651027 0 1 0 552 75 0 0 21 0 19 0 814196238 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505632582 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 804 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 222 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 379 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814196240 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 814196241 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.57 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 5501 0 0 0 57 0 0 0 17 0 19 0 814196244 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=0.8 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6519 0 0 0 80 0 0 0 15 0 19 0 814196244 10809778176 661661 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.78 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 6342 0 0 0 78 0 0 0 15 0 19 0 814196244 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=1.09 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6553 0 0 0 109 0 0 0 15 0 19 0 814196244 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 943427 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1666.87 Current children cumulated vsize (KiB) 10556424 [startup+1722.3 s] /proc/loadavg: 1.99 2.03 1.96 3/563 13843 /proc/meminfo: memFree=16219160/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=1726.94 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 951295 0 1 0 172581 113 0 0 25 0 19 0 814196238 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 943990 2256 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=1720.34 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 794810 0 1 0 171942 92 0 0 25 0 19 0 814196238 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505574376 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0.48 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 15719 0 0 0 47 1 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0.52 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 16355 0 0 0 51 1 0 0 16 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0.44 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 10631 0 0 0 43 1 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0.53 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 16149 0 0 0 52 1 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0.59 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 22004 0 0 0 56 3 0 0 16 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0.56 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 25187 0 0 0 54 2 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0.49 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 14595 0 0 0 47 2 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0.61 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 19158 0 0 0 59 2 0 0 15 0 19 0 814196240 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0.38 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 2539 0 0 0 38 0 0 0 15 0 19 0 814196241 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.78 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 6342 0 0 0 78 0 0 0 15 0 19 0 814196244 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=1.09 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6553 0 0 0 109 0 0 0 15 0 19 0 814196244 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 943990 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1726.94 Current children cumulated vsize (KiB) 10556424 [startup+1782.3 s] /proc/loadavg: 1.99 2.02 1.96 3/563 13845 /proc/meminfo: memFree=15448588/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=1787 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 952055 0 1 0 178587 113 0 0 25 0 19 0 814196238 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 944696 2256 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=1780.31 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 794812 0 1 0 177939 92 0 0 25 0 19 0 814196238 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505574415 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0.5 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 15728 0 0 0 49 1 0 0 15 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0.53 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 16623 0 0 0 52 1 0 0 16 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0.44 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 10631 0 0 0 43 1 0 0 15 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0.56 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 16357 0 0 0 55 1 0 0 16 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0.59 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 22004 0 0 0 56 3 0 0 15 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0.58 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 25396 0 0 0 56 2 0 0 16 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0.49 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 14595 0 0 0 47 2 0 0 16 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0.63 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 19214 0 0 0 61 2 0 0 16 0 19 0 814196240 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0.38 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 2543 0 0 0 38 0 0 0 15 0 19 0 814196241 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.78 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 6342 0 0 0 78 0 0 0 15 0 19 0 814196244 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=1.09 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6553 0 0 0 109 0 0 0 15 0 19 0 814196244 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 944696 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1787 Current children cumulated vsize (KiB) 10556424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.3 s] /proc/loadavg: 1.99 2.02 1.96 3/563 13845 /proc/meminfo: memFree=15405432/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=10556424 CPUtime=1800.03 cores=1,3,5,7 /proc/13723/stat : 13723 (java) S 13721 13723 13318 0 -1 4202496 952167 0 1 0 179890 113 0 0 25 0 19 0 814196238 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 2639106 944805 2256 9 0 2629840 0 [pid=13723/tid=13724] ppid=13721 vsize=10556424 CPUtime=1793.31 cores=1,3,5,7 /proc/13723/task/13724/stat : 13724 (java) R 13721 13723 13318 0 -1 4202560 794813 0 1 0 179239 92 0 0 25 0 19 0 814196238 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 46912505574512 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13723/tid=13727] ppid=13721 vsize=10556424 CPUtime=0.5 cores=1,3,5,7 /proc/13723/task/13727/stat : 13727 (java) S 13721 13723 13318 0 -1 4202560 15728 0 0 0 49 1 0 0 15 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13728] ppid=13721 vsize=10556424 CPUtime=0.53 cores=1,3,5,7 /proc/13723/task/13728/stat : 13728 (java) S 13721 13723 13318 0 -1 4202560 16623 0 0 0 52 1 0 0 15 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13729] ppid=13721 vsize=10556424 CPUtime=0.44 cores=1,3,5,7 /proc/13723/task/13729/stat : 13729 (java) S 13721 13723 13318 0 -1 4202560 10631 0 0 0 43 1 0 0 15 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13730] ppid=13721 vsize=10556424 CPUtime=0.57 cores=1,3,5,7 /proc/13723/task/13730/stat : 13730 (java) S 13721 13723 13318 0 -1 4202560 16371 0 0 0 56 1 0 0 16 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13731] ppid=13721 vsize=10556424 CPUtime=0.6 cores=1,3,5,7 /proc/13723/task/13731/stat : 13731 (java) S 13721 13723 13318 0 -1 4202560 22035 0 0 0 57 3 0 0 16 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=10556424 CPUtime=0.58 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) S 13721 13723 13318 0 -1 4202560 25396 0 0 0 56 2 0 0 15 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 5 0 0 0 [pid=13723/tid=13734] ppid=13721 vsize=10556424 CPUtime=0.51 cores=1,3,5,7 /proc/13723/task/13734/stat : 13734 (java) S 13721 13723 13318 0 -1 4202560 14659 0 0 0 49 2 0 0 16 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13735] ppid=13721 vsize=10556424 CPUtime=0.63 cores=1,3,5,7 /proc/13723/task/13735/stat : 13735 (java) S 13721 13723 13318 0 -1 4202560 19214 0 0 0 61 2 0 0 15 0 19 0 814196240 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13736] ppid=13721 vsize=10556424 CPUtime=0.38 cores=1,3,5,7 /proc/13723/task/13736/stat : 13736 (java) S 13721 13723 13318 0 -1 4202560 2543 0 0 0 38 0 0 0 15 0 19 0 814196241 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 0 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13737] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13737/stat : 13737 (java) S 13721 13723 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13738] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13738/stat : 13738 (java) S 13721 13723 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814196242 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13739] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13739/stat : 13739 (java) S 13721 13723 13318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 814196244 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522121137 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13740] ppid=13721 vsize=10556424 CPUtime=0.78 cores=1,3,5,7 /proc/13723/task/13740/stat : 13740 (java) S 13721 13723 13318 0 -1 4202560 6342 0 0 0 78 0 0 0 15 0 19 0 814196244 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 [pid=13723/tid=13741] ppid=13721 vsize=10556424 CPUtime=1.09 cores=1,3,5,7 /proc/13723/task/13741/stat : 13741 (java) S 13721 13723 13318 0 -1 4202560 6553 0 0 0 109 0 0 0 15 0 19 0 814196244 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13742] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13742/stat : 13742 (java) S 13721 13723 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814196244 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522113433 0 4 0 16800975 18446604463144400064 0 0 -1 1 0 0 0 [pid=13723/tid=13743] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13743/stat : 13743 (java) S 13721 13723 13318 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814196244 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 3 0 0 0 [pid=13723/tid=13744] ppid=13721 vsize=10556424 CPUtime=0 cores=1,3,5,7 /proc/13723/task/13744/stat : 13744 (java) S 13721 13723 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814196257 10809778176 944805 33554432000 1073741824 1073778376 140737037446496 18446744073709551615 233522114048 0 4 0 16800975 18446604463144400064 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10556424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.43 s] /proc/loadavg: 1.99 2.02 1.96 3/563 13845 /proc/meminfo: memFree=15405432/32951124 swapFree=64303760/67111528 [pid=13723] ppid=13721 vsize=0 CPUtime=1800.16 cores=1,3,5,7 /proc/13723/stat : 13723 (java) Z 13721 13723 13318 0 -1 4203548 952198 0 1 0 179894 122 0 0 17 0 2 0 814196238 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/13723/statm: 0 0 0 0 0 0 0 [pid=13723/tid=13732] ppid=13721 vsize=0 CPUtime=0.67 cores=1,3,5,7 /proc/13723/task/13732/stat : 13732 (java) R 13721 13723 13318 0 -1 4203588 25396 0 0 0 56 11 0 0 15 0 2 0 814196240 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1795.48 CPU time (s): 1800.22 CPU user time (s): 1798.94 CPU system time (s): 1.28181 CPU usage (%): 100.264 Max. virtual memory (cumulated for all children) (KiB): 10556424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.2818 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 952198 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38914 involuntary context switches= 38083 runsolver used 9.30958 second user time and 22.0806 second system time The end
Begin job on node145 at 2011-06-04 22:03:24 IDJOB=3456679 IDBENCH=1877 IDSOLVER=1951 FILE ID=node145/3456679-1307217804 RUNJOBID= node145-1307215865-13337 PBS_JOBID= 13509079 Free space on /tmp= 73988 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456679-1307217804/watcher-3456679-1307217804 -o /tmp/evaluation-result-3456679-1307217804/solver-3456679-1307217804 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456679-1307217804.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=760460756 node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19186544 kB Buffers: 279968 kB Cached: 656376 kB SwapCached: 944 kB Active: 12968624 kB Inactive: 519732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19186544 kB SwapTotal: 67111528 kB SwapFree: 64303760 kB Dirty: 436 kB Writeback: 0 kB AnonPages: 12551112 kB Mapped: 42692 kB Slab: 135596 kB PageTables: 73104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 163580360 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73988 MiB End job on node145 at 2011-06-04 22:33:21