Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 788 | 1800.64 | 1790.06 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
| MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 788 |
| Best CPU time to get the best result obtained on this benchmark | 1800.64 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 770 |
| Optimality of the best value was proved | NO |
| Number of variables | 1704 |
| Total number of constraints | 118 |
| Number of constraints which are clauses | 15 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 103 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 135 |
| Number of terms in the objective function | 1268 |
| Biggest coefficient in the objective function | 29693 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 525250 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261970 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 525250 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4101461-1466223564.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.27/0.24 c ... done. Wall clock time 0.123s. 0.27/0.24 c declared #vars 1704 0.27/0.24 c #constraints 118 0.27/0.24 c constraints type 0.27/0.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 0.27/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 103 0.27/0.24 c 118 constraints processed. 0.27/0.24 c objective function length is 1268 literals 1.11/0.63 c cleaning 2501 clauses out of 5002 with flag 10799/5002 1.64/0.92 c SATISFIABLE 1.64/0.92 c OPTIMIZING... 1.64/0.92 c Got one! Elapsed wall clock time (in seconds):0.81 1.64/0.92 o 1427 1.93/1.14 c cleaning 6436 clauses out of 12880 with flag 11293/15381 2.43/1.69 c cleaning 6223 clauses out of 12445 with flag 34233/21382 3.46/2.37 c cleaning 6608 clauses out of 13220 with flag 67713/28380 4.71/3.10 c cleaning 7306 clauses out of 14612 with flag 110012/36380 5.61/4.03 c cleaning 8149 clauses out of 16306 with flag 156819/45380 6.51/4.98 c cleaning 9073 clauses out of 18157 with flag 209287/55380 7.71/6.18 c cleaning 10037 clauses out of 20084 with flag 269130/66380 9.11/7.50 c cleaning 11023 clauses out of 22048 with flag 336447/78381 10.72/9.18 c cleaning 12009 clauses out of 24025 with flag 401134/91381 12.62/11.03 c cleaning 13003 clauses out of 26015 with flag 478675/105380 14.61/13.00 c cleaning 13997 clauses out of 28012 with flag 561208/120380 16.61/15.03 c cleaning 15000 clauses out of 30015 with flag 649008/136380 17.61/16.08 c cleaning 16003 clauses out of 32017 with flag 710050/153382 18.62/17.08 c cleaning 17000 clauses out of 34012 with flag 761772/171380 20.03/18.41 c cleaning 18000 clauses out of 36017 with flag 816812/190385 22.53/20.97 c cleaning 18988 clauses out of 38012 with flag 870936/210380 24.83/23.21 c cleaning 20013 clauses out of 40028 with flag 924994/231384 27.33/25.73 c cleaning 20998 clauses out of 42014 with flag 972413/253383 30.03/28.44 c cleaning 22006 clauses out of 44015 with flag 1023518/276382 33.53/31.94 c cleaning 23002 clauses out of 46009 with flag 1073499/300382 36.33/34.71 c Got one! Elapsed wall clock time (in seconds):34.601 36.33/34.71 o 1320 36.54/34.91 c cleaning 24015 clauses out of 48037 with flag 11337/325412 36.74/35.20 c cleaning 15010 clauses out of 30023 with flag 25892/331413 37.14/35.59 c cleaning 11000 clauses out of 22012 with flag 45176/338412 37.54/35.96 c cleaning 9499 clauses out of 19012 with flag 64615/346412 37.64/36.03 c Got one! Elapsed wall clock time (in seconds):35.921 37.64/36.03 o 789 37.74/36.16 c cleaning 7621 clauses out of 15252 with flag 7483/352151 37.94/36.38 c cleaning 6810 clauses out of 13632 with flag 23499/358152 38.14/36.59 c cleaning 6901 clauses out of 13822 with flag 39054/365152 38.64/37.01 c cleaning 7450 clauses out of 14921 with flag 56647/373152 39.04/37.46 c cleaning 8227 clauses out of 16472 with flag 76724/382153 39.63/38.06 c cleaning 9117 clauses out of 18249 with flag 99183/392157 40.43/38.80 c cleaning 10050 clauses out of 20126 with flag 123272/403151 41.24/39.70 c cleaning 11024 clauses out of 22076 with flag 149922/415151 43.23/41.60 c cleaning 12018 clauses out of 24053 with flag 185758/428152 43.36/41.78 c Got one! Elapsed wall clock time (in seconds):41.662 43.36/41.78 o 788 43.67/42.04 c cleaning 8562 clauses out of 17134 with flag 13491/433251 44.27/42.64 c cleaning 7283 clauses out of 14573 with flag 33649/439252 44.47/42.85 c cleaning 7132 clauses out of 14287 with flag 51474/446249 44.87/43.22 c cleaning 7566 clauses out of 15156 with flag 68819/454250 45.17/43.54 c cleaning 8293 clauses out of 16589 with flag 89489/463249 45.97/44.40 c cleaning 9145 clauses out of 18295 with flag 123291/473248 47.17/45.57 c cleaning 10068 clauses out of 20150 with flag 173994/484248 49.47/47.81 c cleaning 11040 clauses out of 22085 with flag 238771/496251 50.97/49.33 c cleaning 12011 clauses out of 24043 with flag 301699/509249 52.67/51.07 c cleaning 13005 clauses out of 26032 with flag 370224/523249 54.87/53.27 c cleaning 14004 clauses out of 28026 with flag 449982/538248 57.67/56.10 c cleaning 15007 clauses out of 30022 with flag 540615/554248 61.27/59.69 c cleaning 15997 clauses out of 32015 with flag 645257/571248 65.48/63.90 c cleaning 17000 clauses out of 34020 with flag 758260/589250 69.27/67.63 c cleaning 18004 clauses out of 36018 with flag 858818/608248 73.07/71.43 c cleaning 18993 clauses out of 38014 with flag 950392/628248 77.47/75.89 c cleaning 20005 clauses out of 40021 with flag 1048336/649248 83.08/81.47 c cleaning 21010 clauses out of 42021 with flag 1154092/671253 88.20/86.56 c cleaning 21997 clauses out of 44007 with flag 1265545/694249 92.01/90.31 c cleaning 22994 clauses out of 46011 with flag 1351579/718250 99.00/97.38 c cleaning 24007 clauses out of 48020 with flag 1450545/743253 103.20/101.54 c cleaning 25006 clauses out of 50012 with flag 1542023/769252 113.72/112.01 c cleaning 25998 clauses out of 52006 with flag 1637948/796252 129.33/127.64 c cleaning 26975 clauses out of 54004 with flag 1735296/824248 134.53/132.88 c cleaning 28005 clauses out of 56028 with flag 1854033/853248 138.36/136.64 c cleaning 29011 clauses out of 58027 with flag 1925523/883252 142.08/140.33 c cleaning 30001 clauses out of 60014 with flag 2004795/914250 145.38/143.63 c cleaning 30991 clauses out of 62011 with flag 2097547/946248 149.08/147.31 c cleaning 31990 clauses out of 64021 with flag 2197923/979249 152.28/150.60 c cleaning 33008 clauses out of 66030 with flag 2296882/1013248 157.48/155.73 c cleaning 33999 clauses out of 68025 with flag 2388838/1048251 162.08/160.35 c cleaning 34996 clauses out of 70023 with flag 2488662/1084248 167.78/166.03 c cleaning 36001 clauses out of 72027 with flag 2586670/1121248 174.27/172.51 c cleaning 37002 clauses out of 74026 with flag 2694614/1159248 178.91/177.12 c cleaning 38009 clauses out of 76026 with flag 2787249/1198250 184.30/182.60 c cleaning 39004 clauses out of 78023 with flag 2902097/1238256 190.30/188.54 c cleaning 39997 clauses out of 80015 with flag 3019249/1279252 201.20/199.42 c cleaning 40984 clauses out of 82017 with flag 3148627/1321251 216.83/215.03 c cleaning 42008 clauses out of 84031 with flag 3289468/1364249 229.62/227.72 c cleaning 43007 clauses out of 86022 with flag 3444800/1408248 242.27/240.30 c cleaning 43992 clauses out of 88015 with flag 3608629/1453248 257.27/255.37 c cleaning 45001 clauses out of 90023 with flag 3775936/1499248 273.76/271.80 c cleaning 45997 clauses out of 92022 with flag 3960385/1546248 291.63/289.58 c cleaning 47008 clauses out of 94025 with flag 4143555/1594248 304.01/301.83 c cleaning 48002 clauses out of 96017 with flag 4306982/1643248 319.79/317.52 c cleaning 49005 clauses out of 98018 with flag 4482316/1693251 335.20/332.90 c cleaning 50003 clauses out of 100013 with flag 4663865/1744251 355.42/353.02 c cleaning 51002 clauses out of 102008 with flag 4838332/1796249 374.74/372.24 c cleaning 51988 clauses out of 104007 with flag 5025669/1849250 397.31/394.78 c cleaning 53009 clauses out of 106018 with flag 5228654/1903249 422.72/420.01 c cleaning 53996 clauses out of 108009 with flag 5449123/1958249 443.71/440.94 c cleaning 54998 clauses out of 110017 with flag 5642984/2014253 465.61/462.76 c cleaning 56004 clauses out of 112014 with flag 5863582/2071248 491.90/488.96 c cleaning 56997 clauses out of 114010 with flag 6084120/2129248 519.33/516.27 c cleaning 57997 clauses out of 116013 with flag 6315994/2188248 542.70/539.57 c cleaning 59002 clauses out of 118016 with flag 6556111/2248248 568.54/565.21 c cleaning 60001 clauses out of 120014 with flag 6811438/2309248 595.89/592.57 c cleaning 60969 clauses out of 122013 with flag 7039541/2371248 622.57/619.16 c cleaning 62014 clauses out of 124045 with flag 7286178/2434249 632.41/628.99 c cleaning 63004 clauses out of 126030 with flag 7618907/2498248 644.17/640.62 c cleaning 64009 clauses out of 128028 with flag 8015153/2563250 654.54/650.90 c cleaning 65001 clauses out of 130021 with flag 8380647/2629252 666.02/662.36 c cleaning 66008 clauses out of 132017 with flag 8810541/2696249 677.49/673.72 c cleaning 66997 clauses out of 134008 with flag 9239123/2764248 688.59/684.73 c cleaning 67999 clauses out of 136011 with flag 9697377/2833248 699.99/696.02 c cleaning 69001 clauses out of 138013 with flag 10147952/2903249 712.15/708.19 c cleaning 69998 clauses out of 140012 with flag 10578232/2974249 724.23/720.15 c cleaning 71000 clauses out of 142013 with flag 11020601/3046248 737.49/733.39 c cleaning 72005 clauses out of 144013 with flag 11487466/3119248 750.86/746.61 c cleaning 72990 clauses out of 146008 with flag 11948741/3193248 764.32/760.05 c cleaning 74011 clauses out of 148021 with flag 12412332/3268251 777.36/772.93 c cleaning 74993 clauses out of 150008 with flag 12889579/3344249 792.43/787.95 c cleaning 76000 clauses out of 152014 with flag 13351479/3421248 806.96/802.44 c cleaning 77000 clauses out of 154016 with flag 13850657/3499250 821.39/816.73 c cleaning 77996 clauses out of 156014 with flag 14350673/3578248 836.17/831.41 c cleaning 79007 clauses out of 158018 with flag 14878586/3658248 852.43/847.65 c cleaning 80001 clauses out of 160013 with flag 15443816/3739250 870.33/865.42 c cleaning 81000 clauses out of 162010 with flag 16008811/3821248 887.80/882.83 c cleaning 81993 clauses out of 164010 with flag 16559569/3904248 905.72/900.67 c cleaning 82997 clauses out of 166017 with flag 17103845/3988248 921.77/916.69 c cleaning 84007 clauses out of 168021 with flag 17664930/4073249 939.87/934.64 c cleaning 85001 clauses out of 170013 with flag 18227814/4159248 956.57/951.22 c cleaning 86004 clauses out of 172015 with flag 18777048/4246251 974.96/969.58 c cleaning 86995 clauses out of 174008 with flag 19373279/4334248 995.70/990.16 c cleaning 88002 clauses out of 176015 with flag 19966714/4423250 1012.20/1006.54 c cleaning 88999 clauses out of 178012 with flag 20527159/4513249 1032.22/1026.55 c cleaning 90001 clauses out of 180013 with flag 21107724/4604249 1050.93/1045.05 c cleaning 90994 clauses out of 182011 with flag 21660112/4696248 1070.58/1064.58 c cleaning 91999 clauses out of 184018 with flag 22205286/4789249 1087.51/1081.37 c cleaning 93002 clauses out of 186020 with flag 22789153/4883250 1108.93/1102.64 c cleaning 94007 clauses out of 188016 with flag 23451556/4978248 1133.05/1126.69 c cleaning 95002 clauses out of 190011 with flag 24148936/5074250 1157.74/1151.21 c cleaning 95989 clauses out of 192007 with flag 24834964/5171248 1182.31/1175.66 c cleaning 96997 clauses out of 194019 with flag 25523619/5269249 1206.44/1199.67 c cleaning 98003 clauses out of 196021 with flag 26180236/5368248 1230.61/1223.63 c cleaning 98996 clauses out of 198018 with flag 26883865/5468248 1255.40/1248.28 c cleaning 100008 clauses out of 200023 with flag 27588955/5569249 1279.90/1272.69 c cleaning 101005 clauses out of 202015 with flag 28263484/5671249 1303.92/1296.52 c cleaning 101995 clauses out of 204013 with flag 28934332/5774252 1329.67/1322.12 c cleaning 103002 clauses out of 206014 with flag 29665314/5878248 1356.02/1348.36 c cleaning 104001 clauses out of 208013 with flag 30452735/5983249 1383.61/1375.71 c cleaning 105000 clauses out of 210011 with flag 31159901/6089248 1410.02/1402.04 c cleaning 106002 clauses out of 212011 with flag 31809609/6196248 1434.95/1426.89 c cleaning 106999 clauses out of 214010 with flag 32448442/6304249 1461.06/1452.70 c cleaning 108004 clauses out of 216011 with flag 33099316/6413249 1489.37/1480.85 c cleaning 108996 clauses out of 218006 with flag 33837193/6523248 1520.74/1512.05 c cleaning 110007 clauses out of 220013 with flag 34570999/6634251 1550.75/1541.85 c cleaning 110999 clauses out of 222004 with flag 35399674/6746249 1589.04/1579.94 c cleaning 111998 clauses out of 224005 with flag 36234280/6859249 1627.55/1618.23 c cleaning 113002 clauses out of 226006 with flag 37097504/6973248 1662.99/1653.54 c cleaning 114003 clauses out of 228005 with flag 37976314/7088249 1711.10/1701.41 c cleaning 114996 clauses out of 230002 with flag 38896361/7204249 1755.69/1745.84 c cleaning 115999 clauses out of 232007 with flag 39797453/7321250 1800.07/1790.00 c starts : 23690 1800.07/1790.00 c conflicts : 7438608 1800.07/1790.00 c decisions : 18483732 1800.07/1790.00 c propagations : 400642399 1800.07/1790.00 c inspects : 26744381179 1800.07/1790.00 c shortcuts : 0 1800.07/1790.00 c learnt literals : 1 1800.07/1790.00 c learnt binary clauses : 3 1800.07/1790.00 c learnt ternary clauses : 6 1800.07/1790.00 c learnt constraints : 7438608 1800.07/1790.00 c ignored constraints : 0 1800.07/1790.00 c root simplifications : 0 1800.07/1790.00 c removed literals (reason simplification) : 0 1800.07/1790.00 c reason swapping (by a shorter reason) : 0 1800.07/1790.00 c Calls to reduceDB : 147 1800.07/1790.00 c Number of update (reduction) of LBD : 1372905 1800.07/1790.00 c Imported unit clauses : 0 1800.07/1790.00 c number of reductions to clauses (during analyze) : 0 1800.07/1790.00 c number of learned constraints concerned by reduction : 0 1800.07/1790.00 c number of learning phase by resolution : 0 1800.07/1790.00 c number of learning phase by cutting planes : 0 1800.07/1790.00 c speed (assignments/second) : 223852.95825075693 1800.07/1790.00 c non guided choices 7769 1800.07/1790.03 c learnt constraints type 1800.07/1790.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.07/1790.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 233364 1800.07/1790.03 s SATISFIABLE 1800.07/1790.03 c Found 4 solution(s) 1800.07/1790.04 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 x1001 -x1002 x1003 -x1004 x1005 x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 -x1066 x1067 x1068 x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 -x1119 x1120 x1121 x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 x1331 x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 -x1397 x1398 x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 x1446 -x1447 -x1448 x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 x1496 x1497 x1498 -x1499 -x1500 -x1501 -x1502 x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 -x1524 x1525 x1526 x1527 x1528 x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.07/1790.04 c objective function=788 1800.07/1790.04 c Total wall clock time (in seconds): 1789.926
OK 788
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4101461-1466223564/watcher-4101461-1466223564 -o /tmp/evaluation-result-4101461-1466223564/solver-4101461-1466223564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101461-1466223564.opb pid=18970 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.32 2.31 2.25 3/194 18973 /proc/meminfo: memFree=30084176/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9224 CPUtime=0 cores=0,2,4,6 /proc/18973/stat : 18973 (java) R 18970 18973 15548 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 24402840 9445376 93 33554432000 1073741824 1073778376 140734836973584 140734836970712 229346686825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2306 97 76 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 2.32 2.31 2.25 3/194 18973 /proc/meminfo: memFree=30084176/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 4458 0 1 0 8 1 0 0 20 0 18 0 24402840 9787879424 5574 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2389619 5574 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200212 s] /proc/loadavg: 2.32 2.31 2.25 3/194 18973 /proc/meminfo: memFree=30084176/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 5056 0 1 0 26 1 0 0 20 0 18 0 24402840 9787879424 6384 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2389619 6384 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300221 s] /proc/loadavg: 2.32 2.31 2.25 3/194 18973 /proc/meminfo: memFree=30084176/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 9560 0 1 0 53 2 0 0 20 0 19 0 24402840 9856040960 10369 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 10369 2244 9 0 2396937 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9625040 [startup+0.700128 s] /proc/loadavg: 2.32 2.31 2.25 3/194 18973 /proc/meminfo: memFree=30084176/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=1.37 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 14515 0 1 0 134 3 0 0 20 0 19 0 24402840 9856040960 13631 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 13631 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.29 2.30 2.25 3/213 18992 /proc/meminfo: memFree=30031744/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=2.33 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 14670 0 1 0 230 3 0 0 20 0 19 0 24402840 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 16191 2260 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2494 0 1 0 144 2 0 0 20 0 19 0 24402841 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658632299952 140658572594531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24402843 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 6020 0 0 0 44 2 0 0 20 0 19 0 24402846 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 4880 0 0 0 38 0 0 0 20 0 19 0 24402846 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 16191 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.29 2.30 2.25 3/213 18992 /proc/meminfo: memFree=30016420/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=4.71 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 23560 0 1 0 466 5 0 0 20 0 19 0 24402840 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 23437 2260 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2501 0 1 0 304 2 0 0 20 0 19 0 24402841 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658632306352 140658572273590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24402843 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8626 0 0 0 73 2 0 0 20 0 19 0 24402846 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.87 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11157 0 0 0 85 2 0 0 20 0 19 0 24402846 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 23437 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 9625040 [startup+6.30083 s] /proc/loadavg: 2.27 2.29 2.25 3/213 18992 /proc/meminfo: memFree=29980032/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=7.91 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 23574 0 1 0 786 5 0 0 20 0 19 0 24402840 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 27879 2261 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=6.27 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2514 0 1 0 624 3 0 0 20 0 19 0 24402841 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658632306352 140658572594489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24402842 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24402843 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8626 0 0 0 73 2 0 0 20 0 19 0 24402846 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.87 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11157 0 0 0 85 2 0 0 20 0 19 0 24402846 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 27879 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.91 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8633 0 0 0 78 2 0 0 20 0 19 0 24402846 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.89 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11158 0 0 0 87 2 0 0 20 0 19 0 24402846 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 96 0 0 0 20 23 0 0 20 0 19 0 24402846 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 74994 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1671.86 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.26 2.26 2.24 3/213 19100 /proc/meminfo: memFree=29897152/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=1732.12 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 28047 0 1 0 173129 83 0 0 20 0 19 0 24402840 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 67252 2283 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=1717.11 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2721 0 1 0 171679 32 0 0 20 0 19 0 24402841 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658632314160 140658572594531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=1.34 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 661 0 0 0 128 6 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=1.51 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 353 0 0 0 145 6 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=1.31 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 507 0 0 0 125 6 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=1.41 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 571 0 0 0 134 7 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 502 0 0 0 138 7 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=1.49 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 583 0 0 0 142 7 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=1.38 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 377 0 0 0 131 7 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 330 0 0 0 139 7 0 0 20 0 19 0 24402842 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=1.7 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 287 0 0 0 166 4 0 0 20 0 19 0 24402843 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8633 0 0 0 78 2 0 0 20 0 19 0 24402846 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.89 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11158 0 0 0 87 2 0 0 20 0 19 0 24402846 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 100 0 0 0 21 24 0 0 20 0 19 0 24402846 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 67252 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1732.12 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.12 2.22 2.23 3/213 19102 /proc/meminfo: memFree=29886036/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=1792.34 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 28064 0 1 0 179150 84 0 0 20 0 19 0 24402840 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 66595 2283 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=1776.99 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2729 0 1 0 177666 33 0 0 20 0 19 0 24402841 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658632314160 140658572526967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=1.37 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 661 0 0 0 131 6 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=1.55 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 353 0 0 0 149 6 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=1.34 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 507 0 0 0 128 6 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 571 0 0 0 139 7 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=1.51 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 502 0 0 0 144 7 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 583 0 0 0 145 7 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=1.43 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 377 0 0 0 136 7 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 330 0 0 0 145 7 0 0 20 0 19 0 24402842 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=1.7 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 292 0 0 0 166 4 0 0 20 0 19 0 24402843 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8633 0 0 0 78 2 0 0 20 0 19 0 24402846 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.89 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11158 0 0 0 87 2 0 0 20 0 19 0 24402846 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 104 0 0 0 22 25 0 0 20 0 19 0 24402846 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 66595 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1792.34 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790 s] /proc/loadavg: 2.19 2.23 2.23 4/213 19102 /proc/meminfo: memFree=29882628/32872528 swapFree=1370848/1518016 [pid=18973] ppid=18970 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6 /proc/18973/stat : 18973 (java) S 18970 18973 15548 0 -1 4202496 28065 0 1 0 179923 84 0 0 20 0 19 0 24402840 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140734836964720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/18973/statm: 2406260 66483 2283 9 0 2396937 0 [pid=18973/tid=18975] ppid=18970 vsize=9625040 CPUtime=1784.67 cores=0,2,4,6 /proc/18973/task/18975/stat : 18975 (java) R 18970 18973 15548 0 -1 4202560 2730 0 1 0 178434 33 0 0 20 0 19 0 24402841 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658632314144 140658572594531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18976] ppid=18970 vsize=9625040 CPUtime=1.39 cores=0,2,4,6 /proc/18973/task/18976/stat : 18976 (java) S 18970 18973 15548 0 -1 4202560 661 0 0 0 133 6 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658571045288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18977] ppid=18970 vsize=9625040 CPUtime=1.56 cores=0,2,4,6 /proc/18973/task/18977/stat : 18977 (java) S 18970 18973 15548 0 -1 4202560 353 0 0 0 150 6 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658569992744 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18978] ppid=18970 vsize=9625040 CPUtime=1.35 cores=0,2,4,6 /proc/18973/task/18978/stat : 18978 (java) S 18970 18973 15548 0 -1 4202560 507 0 0 0 129 6 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658473646248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18973/tid=18979] ppid=18970 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/18973/task/18979/stat : 18979 (java) S 18970 18973 15548 0 -1 4202560 571 0 0 0 139 7 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658472593704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18980] ppid=18970 vsize=9625040 CPUtime=1.51 cores=0,2,4,6 /proc/18973/task/18980/stat : 18980 (java) S 18970 18973 15548 0 -1 4202560 502 0 0 0 144 7 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658471541672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18981] ppid=18970 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/18973/task/18981/stat : 18981 (java) S 18970 18973 15548 0 -1 4202560 583 0 0 0 145 7 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658470489128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18973/tid=18982] ppid=18970 vsize=9625040 CPUtime=1.43 cores=0,2,4,6 /proc/18973/task/18982/stat : 18982 (java) S 18970 18973 15548 0 -1 4202560 377 0 0 0 136 7 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658469436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18983] ppid=18970 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/18973/task/18983/stat : 18983 (java) S 18970 18973 15548 0 -1 4202560 330 0 0 0 145 7 0 0 20 0 19 0 24402842 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658468383528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18984] ppid=18970 vsize=9625040 CPUtime=1.7 cores=0,2,4,6 /proc/18973/task/18984/stat : 18984 (java) S 18970 18973 15548 0 -1 4202560 292 0 0 0 166 4 0 0 20 0 19 0 24402843 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658456185192 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18985] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18985/stat : 18985 (java) S 18970 18973 15548 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658455131512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18986] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18986/stat : 18986 (java) S 18970 18973 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24402844 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658454078344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18987] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18987/stat : 18987 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658453027088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18988] ppid=18970 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/18973/task/18988/stat : 18988 (java) S 18970 18973 15548 0 -1 4202560 8633 0 0 0 78 2 0 0 20 0 19 0 24402846 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658451974968 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18973/tid=18989] ppid=18970 vsize=9625040 CPUtime=0.89 cores=0,2,4,6 /proc/18973/task/18989/stat : 18989 (java) S 18970 18973 15548 0 -1 4202560 11158 0 0 0 87 2 0 0 20 0 19 0 24402846 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658450922424 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18990] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18990/stat : 18990 (java) S 18970 18973 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24402846 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658449869560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18991] ppid=18970 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/18973/task/18991/stat : 18991 (java) S 18970 18973 15548 0 -1 4202560 104 0 0 0 22 25 0 0 20 0 19 0 24402846 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658448817224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18973/tid=18992] ppid=18970 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/18973/task/18992/stat : 18992 (java) S 18970 18973 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24402865 9856040960 66483 33554432000 1073741824 1073778376 140734836973584 140658447762472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18973 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1790.06 CPU time (s): 1800.64 CPU user time (s): 1799.31 CPU system time (s): 1.3328 CPU usage (%): 100.591 Max. virtual memory (cumulated for all children) (KiB): 9626596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.3328 maximum resident set size= 567280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28112 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43383 involuntary context switches= 29953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.3713 second user time and 11.9952 second system time The end
Begin job on node129 at 2016-06-18 06:19:24 IDJOB=4101461 IDBENCH=1752 IDSOLVER=2546 FILE ID=node129/4101461-1466223564 RUNJOBID= node129-1466206067-15564 PBS_JOBID= 19918148 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101461-1466223564/watcher-4101461-1466223564 -o /tmp/evaluation-result-4101461-1466223564/solver-4101461-1466223564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101461-1466223564.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED=492919261 node129.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.143 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.28 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.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.143 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 : 5332.55 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.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30084888 kB Buffers: 102312 kB Cached: 106876 kB SwapCached: 1940 kB Active: 385500 kB Inactive: 152420 kB Active(anon): 328772 kB Inactive(anon): 2464 kB Active(file): 56728 kB Inactive(file): 149956 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 836 kB Writeback: 0 kB AnonPages: 1882684 kB Mapped: 15424 kB Shmem: 0 kB Slab: 598984 kB SReclaimable: 42888 kB SUnreclaim: 556096 kB KernelStack: 1760 kB PageTables: 8460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2053540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 468992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node129 at 2016-06-18 06:49:14