Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | -94 | 1800.33 | 919.549 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
| MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
| 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 | 1797.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -131 |
| 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) | 12540 |
| Sum of products size (including duplicates) | 25080 |
| Number of different products | 6270 |
| Sum of products size | 12540 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3454064-1307195631.opb 0.09/0.12 c reading problem ... 1.22/0.66 c ... done. Wall clock time 0.545s. 1.22/0.66 c #vars 7270 1.22/0.66 c #constraints 14042 1.22/0.66 c constraints type 1.22/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270 1.22/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.22/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.22/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270 1.22/0.66 c constraints type 1.22/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.22/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6270 1.22/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.22/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270 2.78/1.04 c And the winner is CuttingPlanes 2.87/1.17 c SATISFIABLE 2.87/1.17 c OPTIMIZING... 2.87/1.17 c Got one! Elapsed wall clock time (in seconds):1.057 2.87/1.18 o -10 3.23/1.31 c And the winner is CuttingPlanes 3.25/1.68 c Got one! Elapsed wall clock time (in seconds):1.566 3.25/1.68 o -15 3.29/1.75 c And the winner is CuttingPlanes 3.43/2.19 c Got one! Elapsed wall clock time (in seconds):2.072 3.43/2.19 o -25 3.53/2.28 c And the winner is CuttingPlanes 3.69/2.70 c Got one! Elapsed wall clock time (in seconds):2.577 3.69/2.70 o -26 3.69/2.77 c And the winner is CuttingPlanes 3.85/3.20 c Got one! Elapsed wall clock time (in seconds):3.084 3.85/3.20 o -27 3.86/3.30 c And the winner is CuttingPlanes 4.08/3.71 c Got one! Elapsed wall clock time (in seconds):3.589 4.08/3.71 o -28 4.35/3.80 c And the winner is CuttingPlanes 4.39/4.21 c Got one! Elapsed wall clock time (in seconds):4.094 4.39/4.21 o -29 4.39/4.30 c And the winner is CuttingPlanes 4.63/4.72 c Got one! Elapsed wall clock time (in seconds):4.599 4.63/4.72 o -30 4.79/4.83 c And the winner is CuttingPlanes 4.85/5.22 c Got one! Elapsed wall clock time (in seconds):5.104 4.85/5.22 o -31 5.00/5.30 c And the winner is CuttingPlanes 5.01/5.73 c Got one! Elapsed wall clock time (in seconds):5.609 5.01/5.73 o -32 5.14/5.83 c And the winner is CuttingPlanes 5.22/6.23 c Got one! Elapsed wall clock time (in seconds):6.114 5.22/6.23 o -33 5.34/6.30 c And the winner is CuttingPlanes 5.35/6.74 c Got one! Elapsed wall clock time (in seconds):6.618 5.35/6.74 o -34 5.47/6.84 c And the winner is CuttingPlanes 5.56/7.24 c Got one! Elapsed wall clock time (in seconds):7.125 5.56/7.24 o -35 5.66/7.33 c And the winner is CuttingPlanes 5.74/7.75 c Got one! Elapsed wall clock time (in seconds):7.629 5.74/7.75 o -36 5.87/7.84 c And the winner is CuttingPlanes 5.95/8.25 c Got one! Elapsed wall clock time (in seconds):8.133 5.95/8.25 o -37 6.04/8.35 c And the winner is CuttingPlanes 6.15/8.75 c Got one! Elapsed wall clock time (in seconds):8.637 6.15/8.75 o -38 6.27/8.88 c And the winner is CuttingPlanes 6.41/9.26 c Got one! Elapsed wall clock time (in seconds):9.141 6.41/9.26 o -39 6.48/9.37 c And the winner is CuttingPlanes 6.63/9.76 c Got one! Elapsed wall clock time (in seconds):9.645 6.63/9.76 o -40 6.72/9.87 c And the winner is CuttingPlanes 6.86/10.27 c Got one! Elapsed wall clock time (in seconds):10.149 6.86/10.27 o -41 6.91/10.36 c And the winner is CuttingPlanes 7.06/10.77 c Got one! Elapsed wall clock time (in seconds):10.653 7.06/10.77 o -44 7.11/10.87 c And the winner is CuttingPlanes 7.25/11.27 c Got one! Elapsed wall clock time (in seconds):11.157 7.25/11.27 o -45 7.30/11.39 c And the winner is CuttingPlanes 7.49/11.78 c Got one! Elapsed wall clock time (in seconds):11.66 7.49/11.78 o -46 7.52/11.89 c And the winner is CuttingPlanes 7.72/12.28 c Got one! Elapsed wall clock time (in seconds):12.164 7.72/12.28 o -47 7.75/12.38 c And the winner is CuttingPlanes 7.92/12.79 c Got one! Elapsed wall clock time (in seconds):12.668 7.92/12.79 o -48 8.15/12.96 c And the winner is CuttingPlanes 8.29/13.31 c Got one! Elapsed wall clock time (in seconds):13.189 8.29/13.31 o -49 8.47/13.42 c And the winner is CuttingPlanes 8.53/13.81 c Got one! Elapsed wall clock time (in seconds):13.693 8.53/13.81 o -50 8.71/13.99 c And the winner is CuttingPlanes 8.89/14.31 c Got one! Elapsed wall clock time (in seconds):14.197 8.89/14.31 o -51 9.05/14.48 c And the winner is CuttingPlanes 9.27/14.82 c Got one! Elapsed wall clock time (in seconds):14.701 9.27/14.82 o -52 9.43/14.92 c And the winner is CuttingPlanes 9.48/15.32 c Got one! Elapsed wall clock time (in seconds):15.205 9.48/15.32 o -53 9.66/15.42 c And the winner is CuttingPlanes 9.67/15.83 c Got one! Elapsed wall clock time (in seconds):15.708 9.67/15.83 o -73 9.82/15.95 c And the winner is CuttingPlanes 9.93/16.33 c Got one! Elapsed wall clock time (in seconds):16.212 9.93/16.33 o -74 10.66/16.79 c And the winner is CuttingPlanes 10.85/16.83 c Got one! Elapsed wall clock time (in seconds):16.716 10.85/16.83 o -75 14.17/18.56 c And the winner is CuttingPlanes 14.30/18.84 c Got one! Elapsed wall clock time (in seconds):18.726 14.30/18.84 o -76 14.81/19.10 c And the winner is CuttingPlanes 14.84/19.35 c Got one! Elapsed wall clock time (in seconds):19.23 14.84/19.35 o -77 15.34/19.61 c And the winner is CuttingPlanes 15.37/19.85 c Got one! Elapsed wall clock time (in seconds):19.734 15.37/19.85 o -78 17.70/21.03 c And the winner is CuttingPlanes 17.76/21.36 c Got one! Elapsed wall clock time (in seconds):21.241 17.76/21.36 o -79 20.87/22.98 c cleaning 5889 clauses out of 11778 with flag 2000/11778 30.84/27.92 c cleaning 5939 clauses out of 11890 with flag 8001/17779 42.19/33.64 c cleaning 6469 clauses out of 12950 with flag 15000/24778 54.79/39.98 c And the winner is CuttingPlanes 54.96/40.44 c Got one! Elapsed wall clock time (in seconds):40.32 54.96/40.44 o -80 62.11/44.05 c cleaning 9590 clauses out of 19186 with flag 5000/37483 71.60/48.81 c cleaning 7792 clauses out of 15597 with flag 11001/43484 82.73/54.42 c cleaning 7397 clauses out of 14805 with flag 18001/50484 95.66/60.93 c cleaning 7697 clauses out of 15408 with flag 26001/58484 100.79/63.53 c And the winner is Resolution 101.03/63.74 c Got one! Elapsed wall clock time (in seconds):63.624 101.03/63.74 o -83 103.78/65.17 c cleaning 6454 clauses out of 12911 with flag 2001/63684 112.87/69.70 c cleaning 6225 clauses out of 12457 with flag 8001/69684 119.41/73.03 c And the winner is CuttingPlanes 119.47/73.32 c Got one! Elapsed wall clock time (in seconds):73.202 119.47/73.32 o -84 120.85/74.05 c cleaning 5841 clauses out of 11681 with flag 1000/75133 129.98/78.65 c cleaning 5916 clauses out of 11840 with flag 7000/81133 140.72/84.02 c cleaning 6457 clauses out of 12925 with flag 14001/88134 153.23/90.33 c cleaning 7228 clauses out of 14467 with flag 22000/96133 192.76/110.18 c cleaning 7730 clauses out of 16239 with flag 31000/105133 228.70/128.11 c And the winner is CuttingPlanes 228.73/128.56 c Got one! Elapsed wall clock time (in seconds):128.441 228.73/128.56 o -85 236.00/132.27 c cleaning 10536 clauses out of 21072 with flag 5001/117696 245.13/136.85 c cleaning 8265 clauses out of 16535 with flag 11000/123695 255.83/142.28 c cleaning 7628 clauses out of 15270 with flag 18000/130695 269.16/148.98 c cleaning 7816 clauses out of 15642 with flag 26000/138695 282.08/155.45 c And the winner is CuttingPlanes 282.19/155.66 c Got one! Elapsed wall clock time (in seconds):155.546 282.19/155.66 o -86 288.05/158.69 c cleaning 6713 clauses out of 13437 with flag 4000/144306 297.57/163.42 c cleaning 6355 clauses out of 12725 with flag 10001/150307 330.66/180.01 c cleaning 6464 clauses out of 13369 with flag 17000/157306 358.98/194.29 c And the winner is CuttingPlanes 359.16/194.31 c Got one! Elapsed wall clock time (in seconds):194.194 359.16/194.31 o -87 366.56/198.06 c cleaning 9196 clauses out of 18401 with flag 5000/168802 375.65/202.68 c cleaning 7596 clauses out of 15205 with flag 11000/174802 401.78/215.79 c cleaning 7036 clauses out of 14609 with flag 18000/181802 437.66/233.70 c cleaning 7393 clauses out of 15573 with flag 26000/189802 476.81/253.39 c cleaning 8449 clauses out of 17180 with flag 35000/198802 521.30/275.50 c cleaning 9057 clauses out of 18731 with flag 45000/208802 566.80/298.31 c cleaning 9993 clauses out of 20674 with flag 56000/219802 582.25/306.12 c And the winner is CuttingPlanes 582.30/306.26 c Got one! Elapsed wall clock time (in seconds):306.141 582.30/306.26 o -88 585.18/307.75 c cleaning 8284 clauses out of 16567 with flag 2000/225688 594.51/312.46 c cleaning 7135 clauses out of 14284 with flag 8001/231689 625.37/327.94 c cleaning 7050 clauses out of 14148 with flag 15000/238688 645.46/338.08 c And the winner is CuttingPlanes 645.63/338.10 c Got one! Elapsed wall clock time (in seconds):337.984 645.63/338.10 o -89 647.06/338.89 c cleaning 6298 clauses out of 12604 with flag 1000/244194 657.27/344.01 c cleaning 6149 clauses out of 12307 with flag 7001/250195 677.16/354.01 c cleaning 6571 clauses out of 13157 with flag 14000/257194 681.45/356.23 c And the winner is CuttingPlanes 681.51/356.68 c Got one! Elapsed wall clock time (in seconds):356.559 681.51/356.68 o -90 688.95/360.41 c cleaning 6049 clauses out of 12105 with flag 5000/262713 702.66/367.35 c cleaning 6024 clauses out of 12056 with flag 11000/268713 734.08/383.17 c cleaning 6217 clauses out of 13032 with flag 18000/275713 766.96/399.67 c cleaning 7056 clauses out of 14815 with flag 26000/283713 802.05/417.25 c cleaning 8245 clauses out of 16759 with flag 35000/292713 837.93/435.22 c cleaning 9228 clauses out of 18514 with flag 45000/302713 850.15/441.43 c And the winner is CuttingPlanes 850.23/441.52 c Got one! Elapsed wall clock time (in seconds):441.402 850.23/441.52 o -91 853.18/443.00 c cleaning 7461 clauses out of 14927 with flag 2001/308354 872.47/452.73 c cleaning 6643 clauses out of 13465 with flag 8000/314353 901.34/467.21 c cleaning 6757 clauses out of 13822 with flag 15000/321353 935.01/484.16 c cleaning 7228 clauses out of 15065 with flag 23000/329353 971.61/502.60 c cleaning 8285 clauses out of 16837 with flag 32000/338353 1009.87/521.70 c cleaning 9096 clauses out of 18552 with flag 42000/348353 1047.53/540.69 c cleaning 10081 clauses out of 20456 with flag 53000/359353 1079.21/556.58 c And the winner is CuttingPlanes 1079.37/556.70 c Got one! Elapsed wall clock time (in seconds):556.58 1079.37/556.70 o -92 1087.36/560.78 c cleaning 12910 clauses out of 25820 with flag 5001/374798 1108.35/571.40 c cleaning 9328 clauses out of 18909 with flag 11000/380797 1140.23/587.37 c cleaning 8149 clauses out of 16581 with flag 18000/387797 1173.87/604.28 c And the winner is CuttingPlanes 1174.04/604.38 c Got one! Elapsed wall clock time (in seconds):604.263 1174.04/604.38 o -93 1189.28/612.09 c cleaning 10593 clauses out of 21198 with flag 5000/400563 1219.93/627.40 c cleaning 8171 clauses out of 16605 with flag 11000/406563 1248.92/642.07 c cleaning 7441 clauses out of 15434 with flag 18000/413563 1280.77/658.01 c cleaning 7886 clauses out of 15993 with flag 26000/421563 1314.02/674.79 c cleaning 8452 clauses out of 17107 with flag 35000/430563 1348.10/691.90 c cleaning 9084 clauses out of 18655 with flag 45000/440563 1381.09/708.42 c cleaning 10079 clauses out of 20571 with flag 56000/451563 1409.90/722.96 c cleaning 11169 clauses out of 22492 with flag 68000/463563 1444.75/740.49 c cleaning 11867 clauses out of 24323 with flag 81000/476563 1503.99/770.14 c cleaning 13084 clauses out of 26456 with flag 95000/490563 1551.56/794.10 c And the winner is CuttingPlanes 1551.77/794.53 c Got one! Elapsed wall clock time (in seconds):794.412 1551.77/794.53 o -94 1571.71/804.59 c cleaning 15337 clauses out of 30673 with flag 5000/507864 1596.36/816.94 c cleaning 10581 clauses out of 21336 with flag 11000/513864 1626.21/831.91 c cleaning 8546 clauses out of 17755 with flag 18000/520864 1657.86/847.89 c cleaning 8402 clauses out of 17209 with flag 26000/528864 1691.26/864.70 c cleaning 8727 clauses out of 17807 with flag 35000/537864 1724.88/881.56 c cleaning 9491 clauses out of 19080 with flag 45000/547864 1757.32/897.89 c cleaning 10205 clauses out of 20589 with flag 56000/558864 1786.97/912.71 c cleaning 11138 clauses out of 22384 with flag 68000/570864 1800.17/919.42 c starts : 74 1800.17/919.42 c conflicts : 6507 1800.17/919.42 c decisions : 463614 1800.17/919.42 c propagations : 5309205 1800.17/919.42 c inspects : 360593130 1800.17/919.42 c shortcuts : 0 1800.17/919.42 c learnt literals : 0 1800.17/919.42 c learnt binary clauses : 0 1800.17/919.42 c learnt ternary clauses : 0 1800.17/919.42 c learnt constraints : 6507 1800.17/919.42 c ignored constraints : 0 1800.17/919.42 c root simplifications : 0 1800.17/919.42 c removed literals (reason simplification) : 0 1800.17/919.42 c reason swapping (by a shorter reason) : 0 1800.17/919.42 c Calls to reduceDB : 0 1800.17/919.42 c number of reductions to clauses (during analyze) : 0 1800.17/919.42 c number of learned constraints concerned by reduction : 0 1800.17/919.42 c number of learning phase by resolution : 0 1800.17/919.42 c number of learning phase by cutting planes : 0 1800.17/919.42 c speed (assignments/second) : 42511.39011442161 1800.17/919.42 c non guided choices 539 1800.17/919.42 c learnt constraints type 1800.17/919.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.17/919.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6505 1800.17/919.42 c constraints type 1800.17/919.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270 1800.17/919.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 1003 1800.17/919.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1800.17/919.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270 1800.17/919.42 c constraints type 1800.17/919.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1800.17/919.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6270 1800.17/919.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 1800.17/919.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270 1800.17/919.42 s SATISFIABLE 1800.17/919.43 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.17/919.43 c objective function=-94 1800.17/919.43 c Total wall clock time (in seconds): 919.308
OK -94
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-3454064-1307195631/watcher-3454064-1307195631 -o /tmp/evaluation-result-3454064-1307195631/solver-3454064-1307195631 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454064-1307195631.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: 2.83 3.58 3.47 2/434 13722 /proc/meminfo: memFree=24665592/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 2443 0 1 0 0 0 0 0 23 0 2 0 811978765 10681323520 2145 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2607745 2159 906 9 0 2598901 0 [pid=13722/tid=13723] ppid=13720 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) R 13720 13722 9722 0 -1 4202560 3832 0 1 0 0 0 0 0 25 0 2 0 811978766 10694979584 4647 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0331429 s] /proc/loadavg: 2.83 3.58 3.47 2/434 13722 /proc/meminfo: memFree=24665592/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10455012 CPUtime=0.02 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 10827 0 1 0 1 1 0 0 23 0 10 0 811978765 10705932288 10526 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2613753 10526 1522 9 0 2604501 0 [pid=13722/tid=13723] ppid=13720 vsize=10455012 CPUtime=0.01 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) R 13720 13722 9722 0 -1 4202560 9705 0 1 0 1 0 0 0 25 0 10 0 811978766 10705932288 10526 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 47018285389542 0 4 0 16784584 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10455012 [startup+0.10112 s] /proc/loadavg: 2.83 3.58 3.47 2/434 13722 /proc/meminfo: memFree=24665592/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10539904 CPUtime=0.09 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 12891 0 1 0 8 1 0 0 23 0 18 0 811978765 10792861696 12588 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2634976 12588 2093 9 0 2625710 0 [pid=13722/tid=13723] ppid=13720 vsize=10539904 CPUtime=0.08 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) R 13720 13722 9722 0 -1 4202560 11067 0 1 0 7 1 0 0 24 0 18 0 811978766 10792861696 12588 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 47018287133884 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539904 [startup+0.311525 s] /proc/loadavg: 2.83 3.58 3.47 2/434 13722 /proc/meminfo: memFree=24665592/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10542788 CPUtime=0.48 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 16531 0 1 0 46 2 0 0 23 0 18 0 811978765 10795814912 15899 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2635697 15900 2199 9 0 2626431 0 [pid=13722/tid=13723] ppid=13720 vsize=10542788 CPUtime=0.28 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) R 13720 13722 9722 0 -1 4202560 13006 0 1 0 27 1 0 0 25 0 18 0 811978766 10795814912 15900 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 47018287471443 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 10542788 [startup+0.700996 s] /proc/loadavg: 2.83 3.58 3.47 2/434 13722 /proc/meminfo: memFree=24665592/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558508 CPUtime=1.54 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 40948 0 1 0 148 6 0 0 23 0 22 0 811978765 10811912192 37450 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639627 37451 2230 9 0 2630361 0 [pid=13722/tid=13723] ppid=13720 vsize=10558508 CPUtime=0.64 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 29866 0 1 0 60 4 0 0 25 0 22 0 811978766 10811912192 37451 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 10558508 [startup+1.50091 s] /proc/loadavg: 2.83 3.58 3.47 6/476 13767 /proc/meminfo: memFree=24101808/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558508 CPUtime=3.25 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 57208 0 1 0 317 8 0 0 23 0 19 0 811978765 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639627 49516 2246 9 0 2630361 0 [pid=13722/tid=13723] ppid=13720 vsize=10558508 CPUtime=0.65 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 29915 0 1 0 61 4 0 0 22 0 19 0 811978766 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 811978768 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 811978769 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 811978769 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811978771 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558508 CPUtime=0.76 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4575 0 0 0 76 0 0 0 16 0 19 0 811978771 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558508 CPUtime=0.81 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9327 0 0 0 80 1 0 0 16 0 19 0 811978771 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13754] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13754/stat : 13754 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 811978771 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13755] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13755/stat : 13755 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811978771 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13766] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13766/stat : 13766 (java) S 13720 13722 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811978834 10811912192 49516 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.25 Current children cumulated vsize (KiB) 10558508 [startup+3.10158 s] /proc/loadavg: 2.83 3.58 3.47 1/474 13777 /proc/meminfo: memFree=23744084/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558508 CPUtime=3.85 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 69350 0 1 0 375 10 0 0 23 0 19 0 811978765 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639627 61657 2246 9 0 2630361 0 [pid=13722/tid=13723] ppid=13720 vsize=10558508 CPUtime=0.66 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 30038 0 1 0 62 4 0 0 16 0 19 0 811978766 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811978767 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 811978768 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 811978769 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 811978769 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811978771 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558508 CPUtime=0.81 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4584 0 0 0 81 0 0 0 15 0 19 0 811978771 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558508 CPUtime=0.88 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9333 0 0 0 87 1 0 0 15 0 19 0 811978771 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13754] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13754/stat : 13754 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 811978771 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13755] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13755/stat : 13755 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811978771 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13766] ppid=13720 vsize=10558508 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13766/stat : 13766 (java) S 13720 13722 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811978834 10811912192 61657 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 10558508 [startup+6.30095 s] /proc/loadavg: 2.61 3.52 3.45 3/477 13810 /proc/meminfo: memFree=23181664/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558824 CPUtime=5.34 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 98944 0 1 0 521 13 0 0 23 0 22 0 811978765 10812235776 91235 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639706 91238 2247 9 0 2630440 0 [pid=13722/tid=13723] ppid=13720 vsize=10558824 CPUtime=0.67 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 30326 0 1 0 63 4 0 0 16 0 22 0 811978766 10812235776 91239 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91241 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91244 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91246 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91248 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91249 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91251 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91253 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811978767 10812235776 91255 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811978768 10812235776 91256 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 811978769 10812235776 91258 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 811978769 10812235776 91260 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811978771 10812235776 91261 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558824 CPUtime=0.9 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4594 0 0 0 90 0 0 0 15 0 22 0 811978771 10812235776 91263 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558824 CPUtime=1.03 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9503 0 0 0 102 1 0 0 15 0 22 0 811978771 10812235776 91265 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=19037608/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558824 CPUtime=1607.01 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 699180 0 1 0 160614 87 0 0 23 0 22 0 811978765 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639706 691142 2272 9 0 2630440 0 [pid=13722/tid=13723] ppid=13720 vsize=10558824 CPUtime=0.73 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 31140 0 1 0 69 4 0 0 15 0 22 0 811978766 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558824 CPUtime=0.19 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1194 0 0 0 19 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558824 CPUtime=0.18 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2851 0 0 0 18 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 2348 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 384 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558824 CPUtime=0.22 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 801 0 0 0 22 0 0 0 16 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558824 CPUtime=0.18 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 32 0 0 0 18 0 0 0 16 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558824 CPUtime=0.16 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1293 0 0 0 16 0 0 0 15 0 22 0 811978767 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558824 CPUtime=7.71 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 23501 0 0 0 768 3 0 0 15 0 22 0 811978768 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811978769 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811978769 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811978771 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558824 CPUtime=1.18 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4626 0 0 0 118 0 0 0 15 0 22 0 811978771 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558824 CPUtime=1.35 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9527 0 0 0 134 1 0 0 15 0 22 0 811978771 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13754] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13754/stat : 13754 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811978771 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13755] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13755/stat : 13755 (java) S 13720 13722 9722 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811978771 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13929] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13929/stat : 13929 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811985140 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13994] ppid=13720 vsize=10558824 CPUtime=27.4 cores=0,2,4,6 /proc/13722/task/13994/stat : 13994 (java) R 13720 13722 9722 0 -1 4202560 2 0 0 0 2740 0 0 0 25 0 22 0 812058218 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506060732 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13722/tid=13995] ppid=13720 vsize=10558824 CPUtime=27.41 cores=0,2,4,6 /proc/13722/task/13995/stat : 13995 (java) R 13720 13722 9722 0 -1 4202560 1 0 0 0 2741 0 0 0 25 0 22 0 812058218 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506021503 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13722/tid=13996] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13996/stat : 13996 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812058219 10812235776 691142 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1607.01 Current children cumulated vsize (KiB) 10558824 [startup+882.301 s] /proc/loadavg: 3.91 3.96 3.76 5/480 13999 /proc/meminfo: memFree=19035964/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558824 CPUtime=1726.32 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 699527 0 1 0 172545 87 0 0 23 0 22 0 811978765 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639706 691475 2272 9 0 2630440 0 [pid=13722/tid=13723] ppid=13720 vsize=10558824 CPUtime=0.73 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 31141 0 1 0 69 4 0 0 15 0 22 0 811978766 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558824 CPUtime=0.21 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1195 0 0 0 21 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558824 CPUtime=0.19 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2851 0 0 0 19 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 2349 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 384 0 0 0 17 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558824 CPUtime=0.23 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 801 0 0 0 23 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558824 CPUtime=0.2 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 32 0 0 0 20 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558824 CPUtime=0.18 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1293 0 0 0 18 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558824 CPUtime=8.44 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 23836 0 0 0 841 3 0 0 16 0 22 0 811978768 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811978769 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811978769 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558824 CPUtime=1.18 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4626 0 0 0 118 0 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558824 CPUtime=1.35 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9527 0 0 0 134 1 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13754] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13754/stat : 13754 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13755] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13755/stat : 13755 (java) S 13720 13722 9722 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13929] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13929/stat : 13929 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811985140 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13994] ppid=13720 vsize=10558824 CPUtime=86.64 cores=0,2,4,6 /proc/13722/task/13994/stat : 13994 (java) R 13720 13722 9722 0 -1 4202560 4 0 0 0 8664 0 0 0 25 0 22 0 812058218 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506005132 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13722/tid=13995] ppid=13720 vsize=10558824 CPUtime=86.65 cores=0,2,4,6 /proc/13722/task/13995/stat : 13995 (java) R 13720 13722 9722 0 -1 4202560 4 0 0 0 8665 0 0 0 25 0 22 0 812058218 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506051773 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13722/tid=13996] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13996/stat : 13996 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812058219 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1726.32 Current children cumulated vsize (KiB) 10558824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+919.401 s] /proc/loadavg: 3.71 3.91 3.75 3/453 14020 /proc/meminfo: memFree=21901140/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=10558824 CPUtime=1800.17 cores=0,2,4,6 /proc/13722/stat : 13722 (java) S 13720 13722 9722 0 -1 4202496 699533 0 1 0 179929 88 0 0 23 0 22 0 811978765 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 2639706 691475 2272 9 0 2630440 0 [pid=13722/tid=13723] ppid=13720 vsize=10558824 CPUtime=0.73 cores=0,2,4,6 /proc/13722/task/13723/stat : 13723 (java) S 13720 13722 9722 0 -1 4202560 31141 0 1 0 69 4 0 0 15 0 22 0 811978766 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13725] ppid=13720 vsize=10558824 CPUtime=0.21 cores=0,2,4,6 /proc/13722/task/13725/stat : 13725 (java) S 13720 13722 9722 0 -1 4202560 1195 0 0 0 21 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13726] ppid=13720 vsize=10558824 CPUtime=0.19 cores=0,2,4,6 /proc/13722/task/13726/stat : 13726 (java) S 13720 13722 9722 0 -1 4202560 2851 0 0 0 19 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13727] ppid=13720 vsize=10558824 CPUtime=0.18 cores=0,2,4,6 /proc/13722/task/13727/stat : 13727 (java) S 13720 13722 9722 0 -1 4202560 2349 0 0 0 18 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13728] ppid=13720 vsize=10558824 CPUtime=0.19 cores=0,2,4,6 /proc/13722/task/13728/stat : 13728 (java) S 13720 13722 9722 0 -1 4202560 384 0 0 0 19 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0 [pid=13722/tid=13729] ppid=13720 vsize=10558824 CPUtime=0.17 cores=0,2,4,6 /proc/13722/task/13729/stat : 13729 (java) S 13720 13722 9722 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13730] ppid=13720 vsize=10558824 CPUtime=0.24 cores=0,2,4,6 /proc/13722/task/13730/stat : 13730 (java) S 13720 13722 9722 0 -1 4202560 801 0 0 0 24 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13731] ppid=13720 vsize=10558824 CPUtime=0.2 cores=0,2,4,6 /proc/13722/task/13731/stat : 13731 (java) S 13720 13722 9722 0 -1 4202560 32 0 0 0 20 0 0 0 15 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13732] ppid=13720 vsize=10558824 CPUtime=0.18 cores=0,2,4,6 /proc/13722/task/13732/stat : 13732 (java) S 13720 13722 9722 0 -1 4202560 1293 0 0 0 18 0 0 0 16 0 22 0 811978767 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13738] ppid=13720 vsize=10558824 CPUtime=8.84 cores=0,2,4,6 /proc/13722/task/13738/stat : 13738 (java) S 13720 13722 9722 0 -1 4202560 23838 0 0 0 881 3 0 0 15 0 22 0 811978768 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13740] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13740/stat : 13740 (java) S 13720 13722 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811978769 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13741] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13741/stat : 13741 (java) S 13720 13722 9722 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811978769 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13751] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13751/stat : 13751 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13752] ppid=13720 vsize=10558824 CPUtime=1.18 cores=0,2,4,6 /proc/13722/task/13752/stat : 13752 (java) S 13720 13722 9722 0 -1 4202560 4626 0 0 0 118 0 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13753] ppid=13720 vsize=10558824 CPUtime=1.35 cores=0,2,4,6 /proc/13722/task/13753/stat : 13753 (java) S 13720 13722 9722 0 -1 4202560 9527 0 0 0 134 1 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0 [pid=13722/tid=13754] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13754/stat : 13754 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13755] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13755/stat : 13755 (java) S 13720 13722 9722 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811978771 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 [pid=13722/tid=13929] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13929/stat : 13929 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811985140 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0 [pid=13722/tid=13994] ppid=13720 vsize=10558824 CPUtime=123.34 cores=0,2,4,6 /proc/13722/task/13994/stat : 13994 (java) R 13720 13722 9722 0 -1 4202560 5 0 0 0 12334 0 0 0 25 0 22 0 812058218 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506126028 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13722/tid=13995] ppid=13720 vsize=10558824 CPUtime=123.35 cores=0,2,4,6 /proc/13722/task/13995/stat : 13995 (java) R 13720 13722 9722 0 -1 4202560 5 0 0 0 12335 0 0 0 25 0 22 0 812058218 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 46912506021344 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13722/tid=13996] ppid=13720 vsize=10558824 CPUtime=0 cores=0,2,4,6 /proc/13722/task/13996/stat : 13996 (java) S 13720 13722 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812058219 10812235776 691475 33554432000 1073741824 1073778376 140736265543696 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 10558824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+919.523 s] /proc/loadavg: 3.71 3.91 3.75 2/434 14023 /proc/meminfo: memFree=24044604/32951124 swapFree=50923800/67111528 [pid=13722] ppid=13720 vsize=0 CPUtime=1800.31 cores=0,2,4,6 /proc/13722/stat : 13722 (java) Z 13720 13722 9722 0 -1 4203548 699560 0 1 0 179933 98 0 0 17 0 2 0 811978765 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/13722/statm: 0 0 0 0 0 0 0 [pid=13722/tid=13995] ppid=13720 vsize=0 CPUtime=123.46 cores=0,2,4,6 /proc/13722/task/13995/stat : 13995 (java) R 13720 13722 9722 0 -1 4203588 5 0 0 0 12336 10 0 0 25 0 2 0 812058218 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 919.549 CPU time (s): 1800.33 CPU user time (s): 1799.33 CPU system time (s): 0.999848 CPU usage (%): 195.784 Max. virtual memory (cumulated for all children) (KiB): 10559716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.999848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 699560 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= 24318 involuntary context switches= 28262 runsolver used 4.34734 second user time and 9.09362 second system time The end
Begin job on node143 at 2011-06-04 15:53:52 IDJOB=3454064 IDBENCH=48268 IDSOLVER=1950 FILE ID=node143/3454064-1307195631 RUNJOBID= node143-1307195631-13708 PBS_JOBID= 13508843 Free space on /tmp= 73976 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454064-1307195631/watcher-3454064-1307195631 -o /tmp/evaluation-result-3454064-1307195631/solver-3454064-1307195631 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454064-1307195631.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=356627120 node143.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.846 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.69 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.846 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 : 5226.15 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.846 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.846 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.846 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.75 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.846 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.83 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.846 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.74 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24666624 kB Buffers: 319068 kB Cached: 473744 kB SwapCached: 9140 kB Active: 7519660 kB Inactive: 483560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24666624 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 440 kB Writeback: 0 kB AnonPages: 7208032 kB Mapped: 21284 kB Slab: 132816 kB PageTables: 79652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 115657856 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= 73976 MiB End job on node143 at 2011-06-04 16:09:13