Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | -94 | 1800.23 | 919.161 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
| MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
| 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 | -146 |
| Best CPU time to get the best result obtained on this benchmark | 1796.83 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -139 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| 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) | 12632 |
| Sum of products size (including duplicates) | 25264 |
| Number of different products | 6316 |
| Sum of products size | 12632 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.14 c Pseudo Boolean Optimization 0.07/0.14 c ManyCore solver with 2 solvers running in parallel 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.14 c No reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3737493-1338722578.opb 0.07/0.14 c reading problem ... 1.21/0.66 c ... done. Wall clock time 0.526s. 1.21/0.66 c #vars 7316 1.21/0.66 c #constraints 14134 1.21/0.66 c constraints type 1.21/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316 1.21/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.21/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.21/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316 1.21/0.66 c constraints type 1.21/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.21/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6316 1.21/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.21/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6316 2.76/1.07 c And the winner is CuttingPlanes 3.06/1.17 c SATISFIABLE 3.06/1.17 c OPTIMIZING... 3.06/1.17 c Got one! Elapsed wall clock time (in seconds):1.037 3.06/1.17 o -12 3.15/1.26 c And the winner is CuttingPlanes 3.34/1.68 c Got one! Elapsed wall clock time (in seconds):1.543 3.34/1.68 o -13 3.41/1.75 c And the winner is CuttingPlanes 3.56/2.18 c Got one! Elapsed wall clock time (in seconds):2.047 3.56/2.18 o -14 3.64/2.24 c And the winner is CuttingPlanes 3.75/2.68 c Got one! Elapsed wall clock time (in seconds):2.549 3.75/2.68 o -15 3.77/2.79 c And the winner is CuttingPlanes 4.07/3.19 c Got one! Elapsed wall clock time (in seconds):3.052 4.07/3.19 o -16 4.10/3.25 c And the winner is CuttingPlanes 4.21/3.69 c Got one! Elapsed wall clock time (in seconds):3.555 4.21/3.69 o -19 4.22/3.77 c And the winner is CuttingPlanes 4.37/4.19 c Got one! Elapsed wall clock time (in seconds):4.058 4.37/4.19 o -20 4.38/4.26 c And the winner is CuttingPlanes 4.51/4.70 c Got one! Elapsed wall clock time (in seconds):4.56 4.51/4.70 o -21 4.72/4.80 c And the winner is CuttingPlanes 4.74/5.20 c Got one! Elapsed wall clock time (in seconds):5.063 4.74/5.20 o -22 4.74/5.26 c And the winner is CuttingPlanes 4.87/5.70 c Got one! Elapsed wall clock time (in seconds):5.566 4.87/5.70 o -23 4.87/5.78 c And the winner is CuttingPlanes 5.05/6.20 c Got one! Elapsed wall clock time (in seconds):6.068 5.05/6.20 o -24 5.27/6.31 c And the winner is CuttingPlanes 5.32/6.71 c Got one! Elapsed wall clock time (in seconds):6.571 5.32/6.71 o -25 5.32/6.79 c And the winner is CuttingPlanes 5.51/7.21 c Got one! Elapsed wall clock time (in seconds):7.074 5.51/7.21 o -26 5.68/7.32 c And the winner is CuttingPlanes 5.73/7.71 c Got one! Elapsed wall clock time (in seconds):7.576 5.73/7.71 o -29 5.73/7.78 c And the winner is CuttingPlanes 5.87/8.21 c Got one! Elapsed wall clock time (in seconds):8.079 5.87/8.21 o -30 6.04/8.32 c And the winner is CuttingPlanes 6.10/8.72 c Got one! Elapsed wall clock time (in seconds):8.581 6.10/8.72 o -31 6.28/8.81 c And the winner is CuttingPlanes 6.30/9.22 c Got one! Elapsed wall clock time (in seconds):9.084 6.30/9.22 o -32 6.45/9.33 c And the winner is CuttingPlanes 6.54/9.72 c Got one! Elapsed wall clock time (in seconds):9.586 6.54/9.72 o -33 6.74/9.86 c And the winner is CuttingPlanes 6.86/10.22 c Got one! Elapsed wall clock time (in seconds):10.089 6.86/10.22 o -34 7.01/10.30 c And the winner is CuttingPlanes 7.03/10.73 c Got one! Elapsed wall clock time (in seconds):10.592 7.03/10.73 o -35 7.17/10.82 c And the winner is CuttingPlanes 7.23/11.23 c Got one! Elapsed wall clock time (in seconds):11.094 7.23/11.23 o -36 7.38/11.31 c And the winner is CuttingPlanes 7.41/11.73 c Got one! Elapsed wall clock time (in seconds):11.596 7.41/11.73 o -40 7.54/11.83 c And the winner is CuttingPlanes 7.63/12.23 c Got one! Elapsed wall clock time (in seconds):12.099 7.63/12.23 o -41 7.76/12.34 c And the winner is CuttingPlanes 7.86/12.74 c Got one! Elapsed wall clock time (in seconds):12.601 7.86/12.74 o -47 8.02/12.85 c And the winner is CuttingPlanes 8.13/13.26 c Got one! Elapsed wall clock time (in seconds):13.128 8.13/13.26 o -48 8.19/13.36 c And the winner is CuttingPlanes 8.33/13.77 c Got one! Elapsed wall clock time (in seconds):13.631 8.33/13.77 o -49 8.38/13.86 c And the winner is CuttingPlanes 8.53/14.27 c Got one! Elapsed wall clock time (in seconds):14.133 8.53/14.27 o -55 8.61/14.35 c And the winner is CuttingPlanes 8.73/14.77 c Got one! Elapsed wall clock time (in seconds):14.635 8.73/14.77 o -59 8.99/14.97 c And the winner is CuttingPlanes 9.13/15.27 c Got one! Elapsed wall clock time (in seconds):15.138 9.13/15.27 o -60 9.19/15.36 c And the winner is CuttingPlanes 9.33/15.78 c Got one! Elapsed wall clock time (in seconds):15.64 9.33/15.78 o -61 9.37/15.88 c And the winner is CuttingPlanes 9.53/16.28 c Got one! Elapsed wall clock time (in seconds):16.142 9.53/16.28 o -62 9.57/16.37 c And the winner is CuttingPlanes 9.73/16.78 c Got one! Elapsed wall clock time (in seconds):16.644 9.73/16.78 o -63 9.96/16.91 c And the winner is CuttingPlanes 10.01/17.28 c Got one! Elapsed wall clock time (in seconds):17.147 10.01/17.28 o -64 10.24/17.42 c And the winner is CuttingPlanes 10.31/17.78 c Got one! Elapsed wall clock time (in seconds):17.649 10.31/17.78 o -65 10.34/17.86 c And the winner is CuttingPlanes 10.48/18.29 c Got one! Elapsed wall clock time (in seconds):18.151 10.48/18.29 o -67 10.69/18.47 c And the winner is CuttingPlanes 10.85/18.79 c Got one! Elapsed wall clock time (in seconds):18.654 10.85/18.79 o -68 11.26/19.08 c And the winner is CuttingPlanes 11.45/19.29 c Got one! Elapsed wall clock time (in seconds):19.156 11.45/19.29 o -69 14.06/20.62 c And the winner is CuttingPlanes 14.13/20.79 c Got one! Elapsed wall clock time (in seconds):20.658 14.13/20.79 o -70 20.17/23.88 c cleaning 5800 clauses out of 11614 with flag 4000/11614 24.72/26.14 c And the winner is CuttingPlanes 24.80/26.30 c Got one! Elapsed wall clock time (in seconds):26.161 24.80/26.30 o -71 29.00/28.42 c cleaning 5815 clauses out of 11639 with flag 3001/17439 37.56/32.79 c cleaning 5906 clauses out of 11824 with flag 9001/23439 48.13/38.01 c cleaning 6454 clauses out of 12917 with flag 16000/30438 60.24/44.14 c cleaning 7228 clauses out of 14464 with flag 24001/38439 63.39/45.77 c And the winner is Resolution 63.57/45.86 c Got one! Elapsed wall clock time (in seconds):45.729 63.57/45.86 o -82 67.86/48.02 c cleaning 6162 clauses out of 12324 with flag 3001/43527 76.81/52.54 c cleaning 6076 clauses out of 12162 with flag 9001/49527 87.56/57.91 c cleaning 6538 clauses out of 13085 with flag 16000/56526 93.66/61.06 c And the winner is Resolution 93.90/61.37 c Got one! Elapsed wall clock time (in seconds):61.234 93.90/61.37 o -86 95.16/62.06 c cleaning 5781 clauses out of 11564 with flag 1000/61543 103.91/66.50 c cleaning 5885 clauses out of 11784 with flag 7001/67544 114.24/71.67 c cleaning 6439 clauses out of 12898 with flag 14000/74543 126.18/77.68 c cleaning 7226 clauses out of 14459 with flag 22000/82543 192.71/110.93 c cleaning 8035 clauses out of 16233 with flag 31000/91543 242.04/135.61 c cleaning 9018 clauses out of 18198 with flag 41000/101543 247.99/138.65 c And the winner is CuttingPlanes 248.12/138.89 c Got one! Elapsed wall clock time (in seconds):138.754 248.12/138.89 o -87 253.74/141.76 c cleaning 7195 clauses out of 14398 with flag 4000/106761 262.47/146.20 c cleaning 6600 clauses out of 13204 with flag 10001/112762 291.96/160.95 c cleaning 6755 clauses out of 13603 with flag 17000/119761 328.70/179.36 c cleaning 7383 clauses out of 14848 with flag 25000/127761 367.80/198.99 c cleaning 8142 clauses out of 16465 with flag 34000/136761 408.13/219.16 c cleaning 8986 clauses out of 18323 with flag 44000/146761 448.01/239.18 c cleaning 9982 clauses out of 20337 with flag 55000/157761 471.95/251.10 c And the winner is CuttingPlanes 472.00/251.48 c Got one! Elapsed wall clock time (in seconds):251.345 472.00/251.48 o -88 479.26/255.16 c cleaning 11358 clauses out of 22716 with flag 5000/170122 480.36/255.77 c And the winner is CuttingPlanes 480.52/255.98 c Got one! Elapsed wall clock time (in seconds):255.848 480.52/255.98 o -89 487.78/259.61 c cleaning 8510 clauses out of 17028 with flag 5001/175792 501.47/266.57 c cleaning 7254 clauses out of 14517 with flag 11000/181791 536.74/284.26 c cleaning 7041 clauses out of 14263 with flag 18000/188791 574.26/303.01 c cleaning 7361 clauses out of 15222 with flag 26000/196791 613.91/322.89 c cleaning 8406 clauses out of 16861 with flag 35000/205791 654.54/343.15 c cleaning 9121 clauses out of 18455 with flag 45000/215791 695.18/363.55 c cleaning 9910 clauses out of 20334 with flag 56000/226791 708.48/370.25 c And the winner is CuttingPlanes 708.61/370.52 c Got one! Elapsed wall clock time (in seconds):370.388 708.61/370.52 o -90 711.55/372.04 c cleaning 8162 clauses out of 16331 with flag 2000/232698 721.06/376.82 c cleaning 7079 clauses out of 14169 with flag 8000/238698 755.76/394.26 c cleaning 6951 clauses out of 14090 with flag 15000/245698 791.00/411.93 c cleaning 7466 clauses out of 15139 with flag 23000/253698 830.31/431.69 c cleaning 8287 clauses out of 16673 with flag 32000/262698 832.99/433.03 c And the winner is CuttingPlanes 832.99/433.07 c Got one! Elapsed wall clock time (in seconds):432.931 832.99/433.07 o -91 840.54/436.83 c cleaning 6938 clauses out of 13889 with flag 5001/268201 884.47/458.80 c cleaning 6094 clauses out of 12950 with flag 11000/274200 916.93/475.14 c cleaning 6870 clauses out of 13856 with flag 18000/281200 920.82/477.13 c And the winner is CuttingPlanes 920.90/477.58 c Got one! Elapsed wall clock time (in seconds):477.444 920.90/477.58 o -92 938.34/486.37 c cleaning 6129 clauses out of 12807 with flag 5000/287021 966.24/500.40 c cleaning 6109 clauses out of 12678 with flag 11000/293021 997.94/516.25 c cleaning 6644 clauses out of 13569 with flag 18000/300021 1033.80/534.29 c cleaning 7455 clauses out of 14926 with flag 26001/308022 1074.31/554.57 c cleaning 8145 clauses out of 16470 with flag 35000/317021 1116.60/575.74 c cleaning 8847 clauses out of 18325 with flag 45000/327021 1158.91/596.93 c cleaning 10194 clauses out of 20478 with flag 56000/338021 1198.93/617.06 c cleaning 10877 clauses out of 22284 with flag 68000/350021 1214.99/625.11 c And the winner is CuttingPlanes 1215.08/625.41 c Got one! Elapsed wall clock time (in seconds):625.272 1215.08/625.41 o -93 1231.87/633.87 c cleaning 10653 clauses out of 21779 with flag 5000/360393 1258.55/647.26 c cleaning 8454 clauses out of 17126 with flag 11000/366393 1288.45/662.24 c cleaning 7795 clauses out of 15672 with flag 18000/373393 1321.07/678.69 c cleaning 7685 clauses out of 15877 with flag 26000/381393 1354.75/695.54 c cleaning 8512 clauses out of 17192 with flag 35000/390393 1377.81/707.16 c And the winner is CuttingPlanes 1377.81/707.20 c Got one! Elapsed wall clock time (in seconds):707.062 1377.81/707.20 o -94 1397.78/717.18 c cleaning 9959 clauses out of 20424 with flag 5000/402137 1424.63/730.63 c cleaning 8174 clauses out of 16465 with flag 11000/408137 1454.42/745.67 c cleaning 7584 clauses out of 15291 with flag 18000/415137 1489.28/763.16 c cleaning 7663 clauses out of 15707 with flag 26000/423137 1528.95/783.07 c cleaning 8481 clauses out of 17044 with flag 35000/432137 1573.22/805.25 c cleaning 8986 clauses out of 18563 with flag 45000/442137 1618.18/827.81 c cleaning 10049 clauses out of 20577 with flag 56000/453137 1661.25/849.40 c cleaning 11114 clauses out of 22528 with flag 68000/465137 1700.73/869.22 c cleaning 12091 clauses out of 24414 with flag 81000/478137 1733.00/885.50 c cleaning 12798 clauses out of 26323 with flag 95000/492137 1800.16/919.14 c starts : 79 1800.16/919.14 c conflicts : 7631 1800.16/919.14 c decisions : 487896 1800.16/919.14 c propagations : 6007929 1800.16/919.14 c inspects : 477858146 1800.16/919.14 c shortcuts : 0 1800.16/919.14 c learnt literals : 0 1800.16/919.14 c learnt binary clauses : 0 1800.16/919.14 c learnt ternary clauses : 0 1800.16/919.14 c learnt constraints : 7631 1800.16/919.14 c ignored constraints : 0 1800.16/919.14 c root simplifications : 0 1800.16/919.14 c removed literals (reason simplification) : 0 1800.16/919.14 c reason swapping (by a shorter reason) : 0 1800.16/919.14 c Calls to reduceDB : 0 1800.16/919.14 c number of reductions to clauses (during analyze) : 0 1800.16/919.14 c number of learned constraints concerned by reduction : 0 1800.16/919.14 c number of learning phase by resolution : 0 1800.16/919.14 c number of learning phase by cutting planes : 0 1800.16/919.14 c speed (assignments/second) : 28347.4443118067 1800.16/919.14 c non guided choices 184 1800.16/919.14 c learnt constraints type 1800.16/919.14 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 1800.16/919.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7627 1800.16/919.14 c constraints type 1800.16/919.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316 1800.16/919.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1003 1800.16/919.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1800.16/919.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316 1800.16/919.14 c constraints type 1800.16/919.14 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1800.16/919.14 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6316 1800.16/919.14 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 1800.16/919.14 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6316 1800.16/919.14 s SATISFIABLE 1800.16/919.14 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.16/919.14 c objective function=-94 1800.16/919.14 c Total wall clock time (in seconds): 919.008
OK -94
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-3737493-1338722578/watcher-3737493-1338722578 -o /tmp/evaluation-result-3737493-1338722578/solver-3737493-1338722578 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737493-1338722578.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: 3.80 3.83 3.66 4/197 3528 /proc/meminfo: memFree=30287416/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/3528/stat : 3528 (java) D 3526 3528 1279 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 338384740 9515008 182 33554432000 1073741824 1073778376 140734685534304 140734685525336 233411788469 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2323 182 140 9 0 71 0 [startup+0.035332 s] /proc/loadavg: 3.80 3.83 3.66 4/197 3528 /proc/meminfo: memFree=30287416/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11042732 CPUtime=0.01 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 3410 0 1 0 0 1 0 0 20 0 10 0 338384740 11307757568 10246 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2760683 10249 1011 9 0 2751792 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11042732 [startup+0.10024 s] /proc/loadavg: 3.80 3.83 3.66 4/197 3528 /proc/meminfo: memFree=30287416/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 4479 0 1 0 6 1 0 0 20 0 18 0 338384740 11864465408 12843 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2896598 12843 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300218 s] /proc/loadavg: 3.80 3.83 3.66 4/197 3528 /proc/meminfo: memFree=30287416/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11586392 CPUtime=0.42 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 6953 0 1 0 40 2 0 0 20 0 18 0 338384740 11864465408 16352 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2896598 16352 2221 9 0 2887285 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 11586392 [startup+0.700172 s] /proc/loadavg: 3.80 3.83 3.66 4/197 3528 /proc/meminfo: memFree=30287416/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 14723 0 1 0 150 4 0 0 20 0 22 0 338384740 12137111552 39006 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 39006 2253 9 0 2953849 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 11852648 [startup+1.50069 s] /proc/loadavg: 3.80 3.83 3.66 7/219 3550 /proc/meminfo: memFree=30127312/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=3.34 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 17401 0 1 0 325 9 0 0 20 0 19 0 338384740 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 50385 2268 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3428 0 1 0 61 3 0 0 20 0 19 0 338384742 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692399678616 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338384745 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338384746 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338384746 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384748 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=0.86 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6567 0 0 0 86 0 0 0 20 0 19 0 338384748 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6085 0 0 0 80 2 0 0 20 0 19 0 338384749 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384749 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384749 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3550] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3550/stat : 3550 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338384809 12137111552 50385 33554432000 1073741824 1073778376 140733223973888 140692205368616 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.34 Current children cumulated vsize (KiB) 11852648 [startup+3.10068 s] /proc/loadavg: 3.80 3.83 3.66 3/216 3556 /proc/meminfo: memFree=30076880/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=4.07 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 17450 0 1 0 392 15 0 0 20 0 19 0 338384740 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 64211 2269 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3428 0 1 0 62 3 0 0 20 0 19 0 338384742 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692399678632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338384744 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338384745 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338384746 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338384746 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384748 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6567 0 0 0 93 2 0 0 20 0 19 0 338384748 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6088 0 0 0 94 2 0 0 20 0 19 0 338384749 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384749 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338384749 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3550] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3550/stat : 3550 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338384809 12137111552 64211 33554432000 1073741824 1073778376 140733223973888 140692205368616 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.07 Current children cumulated vsize (KiB) 11852648 [startup+6.30065 s] /proc/loadavg: 3.82 3.83 3.66 3/216 3577 /proc/meminfo: memFree=29933016/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=5.27 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 17591 0 1 0 499 28 0 0 20 0 22 0 338384740 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 102081 2270 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3430 0 1 0 64 3 0 0 20 0 22 0 338384742 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692399678632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338384744 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338384745 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384748 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6573 0 0 0 98 2 0 0 20 0 22 0 338384748 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6088 0 0 0 94 2 0 0 20 0 22 0 338384749 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384749 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384749 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3550] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3550/stat : 3550 (java) S 3526 3528 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338384809 12137111552 102081 33554432000 1073741824 1073778376 140733223973888 140692205368616 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.27 Current children cumulated vsize (KiB) 11852648 [startup+12.7007 s] ################ # More data... # ################ [pid=3528/tid=3700] ppid=3526 vsize=11852648 CPUtime=113.88 cores=0,2,4,6 /proc/3528/task/3700/stat : 3700 (java) R 3526 3528 1279 0 -1 4202560 5 0 0 0 11387 1 0 0 20 0 22 0 338455461 12137111552 705987 33554432000 1073741824 1073778376 140733223973888 140692207473104 140692272568768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3701] ppid=3526 vsize=11852648 CPUtime=113.86 cores=0,2,4,6 /proc/3528/task/3701/stat : 3701 (java) R 3526 3528 1279 0 -1 4202560 4 0 0 0 11385 1 0 0 20 0 22 0 338455461 12137111552 705987 33554432000 1073741824 1073778376 140733223973888 140692206418416 140692272521120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3702] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3702/stat : 3702 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338455461 12137111552 705987 33554432000 1073741824 1073778376 140733223973888 140692208526248 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1607.18 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.89 3.87 3.76 5/218 3807 /proc/meminfo: memFree=25883344/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=1726.79 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 19684 0 1 0 172497 182 0 0 20 0 22 0 338384740 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 708051 2295 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.8 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3445 0 1 0 75 5 0 0 20 0 22 0 338384742 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692399678600 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 59 0 0 0 26 2 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 50 0 0 0 31 2 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 45 0 0 0 27 0 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 47 0 0 0 30 2 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 40 0 0 0 28 1 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 46 0 0 0 30 1 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 43 0 0 0 28 2 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 25 0 0 0 25 0 0 0 20 0 22 0 338384744 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=7.47 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 140 0 0 0 740 7 0 0 20 0 22 0 338384745 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384748 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=1.4 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6596 0 0 0 138 2 0 0 20 0 22 0 338384748 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6096 0 0 0 116 2 0 0 20 0 22 0 338384749 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384749 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 51 0 0 0 23 14 0 0 20 0 22 0 338384749 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3673] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3673/stat : 3673 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338390878 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692205368232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3700] ppid=3526 vsize=11852648 CPUtime=173.35 cores=0,2,4,6 /proc/3528/task/3700/stat : 3700 (java) R 3526 3528 1279 0 -1 4202560 7 0 0 0 17331 4 0 0 20 0 22 0 338455461 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692207473104 140692272515042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3701] ppid=3526 vsize=11852648 CPUtime=173.33 cores=0,2,4,6 /proc/3528/task/3701/stat : 3701 (java) R 3526 3528 1279 0 -1 4202560 6 0 0 0 17331 2 0 0 20 0 22 0 338455461 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692206418416 140692272638552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3702] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3702/stat : 3702 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338455461 12137111552 708051 33554432000 1073741824 1073778376 140733223973888 140692208526248 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1726.79 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+919.101 s] /proc/loadavg: 3.94 3.88 3.76 5/219 3808 /proc/meminfo: memFree=25083500/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=1800.16 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 20080 0 1 0 179817 199 0 0 20 0 22 0 338384740 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 897003 2295 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.8 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3446 0 1 0 75 5 0 0 20 0 22 0 338384742 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692399678600 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 59 0 0 0 26 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 73 0 0 0 31 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 45 0 0 0 28 0 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 47 0 0 0 30 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 40 0 0 0 28 1 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 47 0 0 0 31 1 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 43 0 0 0 28 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 25 0 0 0 25 0 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=7.74 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 140 0 0 0 767 7 0 0 20 0 22 0 338384745 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384748 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=1.4 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6596 0 0 0 138 2 0 0 20 0 22 0 338384748 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6096 0 0 0 116 2 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 53 0 0 0 24 14 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3673] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3673/stat : 3673 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338390878 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692205368232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3700] ppid=3526 vsize=11852648 CPUtime=209.88 cores=0,2,4,6 /proc/3528/task/3700/stat : 3700 (java) R 3526 3528 1279 0 -1 4202560 8 0 0 0 20983 5 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692207473104 140692272115015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3701] ppid=3526 vsize=11852648 CPUtime=209.86 cores=0,2,4,6 /proc/3528/task/3701/stat : 3701 (java) R 3526 3528 1279 0 -1 4202560 374 0 0 0 20967 19 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692206418416 140692272477436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3702] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3702/stat : 3702 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692208526248 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+919.101 s] /proc/loadavg: 3.94 3.88 3.76 5/219 3808 /proc/meminfo: memFree=25083500/32873844 swapFree=7116/7116 [pid=3528] ppid=3526 vsize=11852648 CPUtime=1800.16 cores=0,2,4,6 /proc/3528/stat : 3528 (java) S 3526 3528 1279 0 -1 4202496 20080 0 1 0 179817 199 0 0 20 0 22 0 338384740 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140733223965024 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3528/statm: 2963162 897003 2295 9 0 2953849 0 [pid=3528/tid=3530] ppid=3526 vsize=11852648 CPUtime=0.8 cores=0,2,4,6 /proc/3528/task/3530/stat : 3530 (java) S 3526 3528 1279 0 -1 4202560 3446 0 1 0 75 5 0 0 20 0 22 0 338384742 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692399678600 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3531] ppid=3526 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/3528/task/3531/stat : 3531 (java) S 3526 3528 1279 0 -1 4202560 59 0 0 0 26 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692236516392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3532] ppid=3526 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/3528/task/3532/stat : 3532 (java) S 3526 3528 1279 0 -1 4202560 73 0 0 0 31 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692235463592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3533] ppid=3526 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/3528/task/3533/stat : 3533 (java) S 3526 3528 1279 0 -1 4202560 45 0 0 0 28 0 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692234410792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3534] ppid=3526 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/3528/task/3534/stat : 3534 (java) S 3526 3528 1279 0 -1 4202560 47 0 0 0 30 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692233357992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3535] ppid=3526 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/3528/task/3535/stat : 3535 (java) S 3526 3528 1279 0 -1 4202560 40 0 0 0 28 1 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692232305192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3536] ppid=3526 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/3528/task/3536/stat : 3536 (java) S 3526 3528 1279 0 -1 4202560 47 0 0 0 31 1 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692231252392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3537] ppid=3526 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/3528/task/3537/stat : 3537 (java) S 3526 3528 1279 0 -1 4202560 43 0 0 0 28 2 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692230199592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3538] ppid=3526 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/3528/task/3538/stat : 3538 (java) S 3526 3528 1279 0 -1 4202560 25 0 0 0 25 0 0 0 20 0 22 0 338384744 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692229146792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3539] ppid=3526 vsize=11852648 CPUtime=7.74 cores=0,2,4,6 /proc/3528/task/3539/stat : 3539 (java) S 3526 3528 1279 0 -1 4202560 140 0 0 0 767 7 0 0 20 0 22 0 338384745 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692216949736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3540] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3540/stat : 3540 (java) S 3526 3528 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692215895800 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3541] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3541/stat : 3541 (java) S 3526 3528 1279 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 338384746 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692214842888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3542] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3542/stat : 3542 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384748 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692213791376 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3543] ppid=3526 vsize=11852648 CPUtime=1.4 cores=0,2,4,6 /proc/3528/task/3543/stat : 3543 (java) S 3526 3528 1279 0 -1 4202560 6596 0 0 0 138 2 0 0 20 0 22 0 338384748 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692212738488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3544] ppid=3526 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/3528/task/3544/stat : 3544 (java) S 3526 3528 1279 0 -1 4202560 6096 0 0 0 116 2 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692211685688 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3545] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3545/stat : 3545 (java) S 3526 3528 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692210633080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3546] ppid=3526 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/3528/task/3546/stat : 3546 (java) S 3526 3528 1279 0 -1 4202560 53 0 0 0 24 14 0 0 20 0 22 0 338384749 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692209580488 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3528/tid=3673] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3673/stat : 3673 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338390878 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692205368232 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3528/tid=3700] ppid=3526 vsize=11852648 CPUtime=209.88 cores=0,2,4,6 /proc/3528/task/3700/stat : 3700 (java) R 3526 3528 1279 0 -1 4202560 8 0 0 0 20983 5 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692207473104 140692272115015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3528/tid=3701] ppid=3526 vsize=11852648 CPUtime=209.86 cores=0,2,4,6 /proc/3528/task/3701/stat : 3701 (java) R 3526 3528 1279 0 -1 4202560 374 0 0 0 20967 19 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692206418416 140692272477436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3528/tid=3702] ppid=3526 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/3528/task/3702/stat : 3702 (java) S 3526 3528 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338455461 12137111552 897003 33554432000 1073741824 1073778376 140733223973888 140692208526248 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 919.161 CPU time (s): 1800.23 CPU user time (s): 1798.09 CPU system time (s): 2.14167 CPU usage (%): 195.856 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 2.14167 maximum resident set size= 3594280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20127 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24803 involuntary context switches= 10685 runsolver used 3.57246 second user time and 7.68183 second system time The end
Begin job on node111 at 2012-06-03 13:22:58 IDJOB=3737493 IDBENCH=48247 IDSOLVER=2328 FILE ID=node111/3737493-1338722578 RUNJOBID= node111-1338712999-1295 PBS_JOBID= 14636722 Free space on /tmp= 67396 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737493-1338722578/watcher-3737493-1338722578 -o /tmp/evaluation-result-3737493-1338722578/solver-3737493-1338722578 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737493-1338722578.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=1450353464 node111.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.152 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 : 5332.30 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.152 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.152 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.92 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.152 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.91 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.152 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.152 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.91 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.152 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.152 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30287680 kB Buffers: 190828 kB Cached: 507900 kB SwapCached: 1404 kB Active: 1257896 kB Inactive: 538468 kB Active(anon): 1098504 kB Inactive(anon): 1276 kB Active(file): 159392 kB Inactive(file): 537192 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 456 kB Writeback: 0 kB AnonPages: 1105028 kB Mapped: 17060 kB Shmem: 0 kB Slab: 646260 kB SReclaimable: 88376 kB SUnreclaim: 557884 kB KernelStack: 1624 kB PageTables: 6616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10460288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1060864 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= 67396 MiB End job on node111 at 2012-06-03 13:38:19