Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | -45 | 1800.27 | 1792.06 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
| MD5SUM | 98c81efbf429745622d6705fab70d2ee |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -49 |
| Best CPU time to get the best result obtained on this benchmark | 1797.4 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -54 |
| Optimality of the best value was proved | NO |
| Number of variables | 1400 |
| Total number of constraints | 109601 |
| Number of constraints which are clauses | 109601 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 12995394264 0.04/0.09 c Max memory 13063553024 0.04/0.09 c Total memory 13063553024 0.04/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458739-1307148501.opb 0.10/0.11 c reading problem ... 0.99/0.75 c ... done. Wall clock time 0.64s. 0.99/0.75 c #vars 1400 0.99/0.75 c #constraints 109601 0.99/0.75 c constraints type 0.99/0.75 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601 0.99/0.78 c SATISFIABLE 0.99/0.78 c OPTIMIZING... 0.99/0.78 c Got one! Elapsed wall clock time (in seconds):0.669 0.99/0.78 o -38 1.22/0.88 c Got one! Elapsed wall clock time (in seconds):0.767 1.22/0.88 o -39 1.40/0.92 c Got one! Elapsed wall clock time (in seconds):0.807 1.40/0.92 o -40 1.40/0.98 c Got one! Elapsed wall clock time (in seconds):0.87 1.40/0.98 o -41 1.63/1.08 c Got one! Elapsed wall clock time (in seconds):0.963 1.63/1.08 o -42 2.91/2.24 c Got one! Elapsed wall clock time (in seconds):2.128 2.91/2.24 o -43 3.19/2.52 c cleaning 3113 clauses out of 6226 with flag 1000/6226 4.68/3.97 c cleaning 4555 clauses out of 9114 with flag 7001/12227 6.32/5.58 c Got one! Elapsed wall clock time (in seconds):5.472 6.32/5.58 o -44 7.60/6.81 c cleaning 8041 clauses out of 16085 with flag 5000/23753 9.20/8.33 c cleaning 7023 clauses out of 14045 with flag 11001/29754 11.05/10.13 c cleaning 7012 clauses out of 14024 with flag 18003/36756 13.17/12.25 c cleaning 7505 clauses out of 15009 with flag 26000/44753 15.58/14.62 c cleaning 8247 clauses out of 16505 with flag 35001/53754 18.20/17.22 c cleaning 9115 clauses out of 18257 with flag 45000/63753 21.31/20.31 c cleaning 10072 clauses out of 20143 with flag 56001/74754 24.43/23.41 c cleaning 11033 clauses out of 22070 with flag 68000/86753 28.15/27.19 c cleaning 12016 clauses out of 24037 with flag 81000/99753 32.27/31.21 c cleaning 13011 clauses out of 26021 with flag 95000/113753 36.22/35.13 c cleaning 13997 clauses out of 28010 with flag 110000/128753 41.03/39.94 c cleaning 15002 clauses out of 30013 with flag 126000/144753 46.17/45.07 c cleaning 15997 clauses out of 32011 with flag 143000/161753 51.71/50.53 c cleaning 17002 clauses out of 34014 with flag 161000/179753 57.03/55.83 c cleaning 18003 clauses out of 36013 with flag 180001/198754 63.37/62.17 c cleaning 18989 clauses out of 38009 with flag 200000/218753 70.01/68.74 c cleaning 20005 clauses out of 40020 with flag 221000/239753 77.75/76.47 c cleaning 21002 clauses out of 42015 with flag 243000/261753 84.31/82.97 c cleaning 21994 clauses out of 44013 with flag 266000/284753 91.56/90.12 c cleaning 23000 clauses out of 46019 with flag 290000/308753 99.40/97.93 c cleaning 24010 clauses out of 48020 with flag 315001/333754 107.63/106.17 c cleaning 24997 clauses out of 50011 with flag 341002/359755 117.37/115.90 c cleaning 26000 clauses out of 52012 with flag 368000/386753 125.31/123.75 c cleaning 26994 clauses out of 54013 with flag 396001/414754 134.26/132.61 c cleaning 28008 clauses out of 56018 with flag 425000/443753 144.52/142.89 c cleaning 29005 clauses out of 58010 with flag 455000/473753 154.88/153.12 c cleaning 29994 clauses out of 60005 with flag 486000/504753 166.14/164.33 c cleaning 31003 clauses out of 62011 with flag 518000/536753 178.92/177.06 c cleaning 31997 clauses out of 64009 with flag 551001/569754 190.00/188.06 c cleaning 33007 clauses out of 66013 with flag 585002/603755 201.07/199.02 c cleaning 33995 clauses out of 68005 with flag 620001/638754 213.02/210.91 c cleaning 35003 clauses out of 70010 with flag 656001/674754 227.48/225.34 c cleaning 36000 clauses out of 72006 with flag 693000/711753 241.23/239.04 c cleaning 36996 clauses out of 74007 with flag 731001/749754 256.00/253.80 c cleaning 37992 clauses out of 76010 with flag 770000/788753 271.90/269.53 c cleaning 38998 clauses out of 78018 with flag 810000/828753 289.36/286.93 c cleaning 40007 clauses out of 80020 with flag 851000/869753 302.53/300.03 c cleaning 41007 clauses out of 82013 with flag 893000/911753 316.92/314.35 c cleaning 42000 clauses out of 84007 with flag 936001/954754 333.01/330.34 c cleaning 43003 clauses out of 86008 with flag 980002/998755 349.31/346.53 c cleaning 43997 clauses out of 88005 with flag 1025002/1043755 354.78/351.96 c Got one! Elapsed wall clock time (in seconds):351.845 354.78/351.96 o -45 356.37/353.51 c cleaning 31847 clauses out of 63707 with flag 5000/1063454 358.20/355.36 c cleaning 18920 clauses out of 37860 with flag 11000/1069454 360.30/357.43 c cleaning 12958 clauses out of 25940 with flag 18000/1076454 362.69/359.87 c cleaning 10483 clauses out of 20983 with flag 26001/1084455 365.40/362.56 c cleaning 9743 clauses out of 19500 with flag 35001/1093455 368.60/365.78 c cleaning 9877 clauses out of 19757 with flag 45001/1103455 372.21/369.35 c cleaning 10434 clauses out of 20879 with flag 56000/1114454 375.74/372.84 c cleaning 11218 clauses out of 22445 with flag 68000/1126454 379.63/376.76 c cleaning 12109 clauses out of 24227 with flag 81000/1139454 384.14/381.21 c cleaning 13059 clauses out of 26118 with flag 95000/1153454 388.76/385.85 c cleaning 14026 clauses out of 28059 with flag 110000/1168454 394.39/391.41 c cleaning 15006 clauses out of 30033 with flag 126000/1184454 400.12/397.12 c cleaning 16014 clauses out of 32028 with flag 143001/1201455 406.33/403.35 c cleaning 16997 clauses out of 34013 with flag 161000/1219454 412.34/409.33 c cleaning 18006 clauses out of 36016 with flag 180000/1238454 419.36/416.35 c cleaning 19005 clauses out of 38010 with flag 200000/1258454 426.60/423.58 c cleaning 20003 clauses out of 40005 with flag 221000/1279454 435.41/432.36 c cleaning 20993 clauses out of 42002 with flag 243000/1301454 444.50/441.45 c cleaning 22005 clauses out of 44009 with flag 266000/1324454 453.44/450.36 c cleaning 22998 clauses out of 46004 with flag 290000/1348454 462.91/459.77 c cleaning 24002 clauses out of 48006 with flag 315000/1373454 470.25/467.04 c cleaning 25002 clauses out of 50004 with flag 341000/1399454 478.70/475.47 c cleaning 25992 clauses out of 52002 with flag 368000/1426454 488.02/484.80 c cleaning 26983 clauses out of 54010 with flag 396000/1454454 497.45/494.18 c cleaning 28010 clauses out of 56027 with flag 425000/1483454 507.30/503.95 c cleaning 29007 clauses out of 58018 with flag 455001/1513455 518.72/515.36 c cleaning 30000 clauses out of 60010 with flag 486000/1544454 529.19/525.81 c cleaning 31000 clauses out of 62010 with flag 518000/1576454 541.90/538.46 c cleaning 32006 clauses out of 64012 with flag 551002/1609456 555.85/552.30 c cleaning 33001 clauses out of 66005 with flag 585001/1643455 567.83/564.28 c cleaning 33994 clauses out of 68003 with flag 620000/1678454 582.16/578.53 c cleaning 35005 clauses out of 70009 with flag 656000/1714454 597.30/593.61 c cleaning 35996 clauses out of 72004 with flag 693000/1751454 614.36/610.67 c cleaning 36997 clauses out of 74008 with flag 731000/1789454 629.93/626.14 c cleaning 38001 clauses out of 76011 with flag 770000/1828454 645.87/642.07 c cleaning 39003 clauses out of 78012 with flag 810002/1868456 662.46/658.52 c cleaning 40003 clauses out of 80008 with flag 851001/1909455 681.56/677.53 c cleaning 40994 clauses out of 82006 with flag 893002/1951456 700.33/696.24 c cleaning 41995 clauses out of 84010 with flag 936000/1994454 720.35/716.20 c cleaning 43001 clauses out of 86015 with flag 980000/2038454 734.20/730.00 c cleaning 43999 clauses out of 88014 with flag 1025000/2083454 750.10/745.86 c cleaning 45004 clauses out of 90016 with flag 1071001/2129455 766.96/762.67 c cleaning 45992 clauses out of 92011 with flag 1118000/2176454 787.03/782.70 c cleaning 47004 clauses out of 94020 with flag 1166001/2224455 806.33/801.83 c cleaning 48006 clauses out of 96017 with flag 1215002/2273456 826.39/821.85 c cleaning 49003 clauses out of 98010 with flag 1265001/2323455 845.95/841.32 c cleaning 49996 clauses out of 100006 with flag 1316000/2374454 869.46/864.72 c cleaning 50997 clauses out of 102011 with flag 1368001/2426455 891.89/887.08 c cleaning 52002 clauses out of 104013 with flag 1421000/2479454 916.22/911.25 c cleaning 52999 clauses out of 106011 with flag 1475000/2533454 943.02/937.95 c cleaning 53995 clauses out of 108012 with flag 1530000/2588454 966.62/961.46 c cleaning 54999 clauses out of 110017 with flag 1586000/2644454 992.99/987.77 c cleaning 56008 clauses out of 112018 with flag 1643000/2701454 1018.13/1012.79 c cleaning 57005 clauses out of 114010 with flag 1701000/2759454 1043.61/1038.19 c cleaning 57999 clauses out of 116005 with flag 1760000/2818454 1075.32/1069.79 c cleaning 58998 clauses out of 118006 with flag 1820000/2878454 1115.31/1109.62 c cleaning 59997 clauses out of 120008 with flag 1881000/2939454 1150.65/1144.80 c cleaning 61005 clauses out of 122011 with flag 1943000/3001454 1179.04/1173.12 c cleaning 61989 clauses out of 124006 with flag 2006000/3064454 1201.52/1195.47 c cleaning 63000 clauses out of 126017 with flag 2070000/3128454 1224.75/1218.51 c cleaning 64003 clauses out of 128018 with flag 2135001/3193455 1249.51/1243.29 c cleaning 65003 clauses out of 130016 with flag 2201002/3259456 1281.97/1275.61 c cleaning 65995 clauses out of 132011 with flag 2268000/3326454 1312.78/1306.37 c cleaning 67000 clauses out of 134017 with flag 2336001/3394455 1351.20/1344.66 c cleaning 68003 clauses out of 136016 with flag 2405000/3463454 1383.13/1376.45 c cleaning 69000 clauses out of 138013 with flag 2475000/3533454 1417.31/1410.54 c cleaning 70004 clauses out of 140013 with flag 2546000/3604454 1455.25/1448.39 c cleaning 71000 clauses out of 142009 with flag 2618000/3676454 1487.02/1479.98 c cleaning 71997 clauses out of 144011 with flag 2691002/3749456 1525.19/1517.93 c cleaning 73003 clauses out of 146012 with flag 2765000/3823454 1562.40/1555.03 c cleaning 73997 clauses out of 148010 with flag 2840001/3898455 1603.20/1595.74 c cleaning 74994 clauses out of 150012 with flag 2916000/3974454 1640.52/1632.96 c cleaning 75997 clauses out of 152018 with flag 2993000/4051454 1677.64/1669.98 c cleaning 77004 clauses out of 154021 with flag 3071000/4129454 1722.37/1714.59 c cleaning 78002 clauses out of 156017 with flag 3150000/4208454 1763.75/1755.76 c cleaning 78995 clauses out of 158015 with flag 3230000/4288454 1800.09/1791.94 c starts : 261 1800.09/1791.94 c conflicts : 4363763 1800.09/1791.94 c decisions : 4726309 1800.09/1791.94 c propagations : 26312048 1800.09/1791.94 c inspects : 6769151928 1800.09/1791.94 c shortcuts : 0 1800.09/1791.94 c learnt literals : 0 1800.09/1791.94 c learnt binary clauses : 0 1800.09/1791.94 c learnt ternary clauses : 0 1800.09/1791.94 c learnt constraints : 4363763 1800.09/1791.94 c ignored constraints : 0 1800.09/1791.94 c root simplifications : 0 1800.09/1791.94 c removed literals (reason simplification) : 58937073 1800.09/1791.94 c reason swapping (by a shorter reason) : 0 1800.09/1791.94 c Calls to reduceDB : 119 1800.09/1791.94 c number of reductions to clauses (during analyze) : 0 1800.09/1791.94 c number of learned constraints concerned by reduction : 0 1800.09/1791.94 c number of learning phase by resolution : 0 1800.09/1791.94 c number of learning phase by cutting planes : 0 1800.09/1791.94 c speed (assignments/second) : 18272.459971777465 1800.09/1791.94 c non guided choices 0 1800.09/1791.97 c learnt constraints type 1800.09/1791.97 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154383 1800.09/1791.97 c constraints type 1800.09/1791.97 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1791.97 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601 1800.09/1791.97 s SATISFIABLE 1800.09/1791.98 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 1800.09/1791.98 c objective function=-45 1800.09/1791.98 c Total wall clock time (in seconds): 1791.864
OK -45
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-3458739-1307148501/watcher-3458739-1307148501 -o /tmp/evaluation-result-3458739-1307148501/solver-3458739-1307148501 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458739-1307148501.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.03 2.04 1.97 2/539 28073 /proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 6638 0 1 0 0 0 0 0 25 0 2 0 807265580 13850947584 6339 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3381579 6351 917 9 0 3372735 0 [pid=28073/tid=28074] ppid=28071 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 5899 0 1 0 0 0 0 0 25 0 2 0 807265580 13850947584 6715 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0575481 s] /proc/loadavg: 2.03 2.04 1.97 2/539 28073 /proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13549616 CPUtime=0.04 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 13932 0 1 0 3 1 0 0 25 0 13 0 807265580 13874806784 13628 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3387404 13628 1684 9 0 3378152 0 [pid=28073/tid=28074] ppid=28071 vsize=13549616 CPUtime=0.03 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 12784 0 1 0 2 1 0 0 25 0 13 0 807265580 13874806784 13628 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228095446885 0 2147483391 0 16800971 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13549616 [startup+0.105033 s] /proc/loadavg: 2.03 2.04 1.97 2/539 28073 /proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13621648 CPUtime=0.1 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 15551 0 1 0 8 2 0 0 25 0 18 0 807265580 13948567552 15247 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3405412 15247 2092 9 0 3396146 0 [pid=28073/tid=28074] ppid=28071 vsize=13621648 CPUtime=0.09 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 13621 0 1 0 7 2 0 0 18 0 18 0 807265580 13948567552 15247 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621648 [startup+0.300963 s] /proc/loadavg: 2.03 2.04 1.97 2/539 28073 /proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13623424 CPUtime=0.47 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 18418 0 1 0 44 3 0 0 25 0 18 0 807265580 13950386176 17835 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3405856 17835 2200 9 0 3396590 0 [pid=28073/tid=28074] ppid=28071 vsize=13623424 CPUtime=0.28 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 15431 0 1 0 26 2 0 0 18 0 18 0 807265580 13950386176 17836 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 13623424 [startup+0.700951 s] /proc/loadavg: 2.03 2.04 1.97 2/539 28073 /proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13623160 CPUtime=0.99 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 57651 0 1 0 92 7 0 0 25 0 18 0 807265580 13950115840 56140 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3405790 56145 2211 9 0 3396524 0 [pid=28073/tid=28074] ppid=28071 vsize=13623160 CPUtime=0.68 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 52792 0 1 0 62 6 0 0 18 0 18 0 807265580 13950115840 56147 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505589450 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 13623160 [startup+1.50078 s] /proc/loadavg: 2.19 2.07 1.98 5/558 28092 /proc/meminfo: memFree=21198424/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13626568 CPUtime=2.15 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 68563 0 1 0 206 9 0 0 25 0 19 0 807265580 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406642 66734 2232 9 0 3397376 0 [pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=1.48 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 62605 0 1 0 140 8 0 0 20 0 19 0 807265580 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 47244078218067 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.26 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1401 0 0 0 26 0 0 0 19 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.39 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3396 0 0 0 39 0 0 0 15 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265586 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 13626568 [startup+3.10149 s] /proc/loadavg: 2.19 2.07 1.98 3/558 28092 /proc/meminfo: memFree=21172260/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13626568 CPUtime=3.85 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 85996 0 1 0 374 11 0 0 25 0 19 0 807265580 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406642 84162 2260 9 0 3397376 0 [pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=3.03 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 68171 0 1 0 294 9 0 0 24 0 19 0 807265580 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505760153 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 1480 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 2792 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1679 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0.03 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 5905 0 0 0 3 0 0 0 16 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.27 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1404 0 0 0 27 0 0 0 18 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.45 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3409 0 0 0 45 0 0 0 15 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 13626568 [startup+6.30091 s] /proc/loadavg: 2.17 2.07 1.98 3/558 28092 /proc/meminfo: memFree=21072612/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13626568 CPUtime=7.1 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 96748 0 1 0 697 13 0 0 25 0 19 0 807265580 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406642 94903 2260 9 0 3397376 0 [pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=6.19 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 68175 0 1 0 610 9 0 0 25 0 19 0 807265580 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505812622 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 3062 0 0 0 0 0 0 0 16 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 2066 0 0 0 0 0 0 0 16 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 3460 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 2792 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1679 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0.06 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 9542 0 0 0 6 0 0 0 15 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.29 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1408 0 0 0 29 0 0 0 15 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.46 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3410 0 0 0 46 0 0 0 15 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1670.04 Current children cumulated vsize (KiB) 13625484 [startup+1722.3 s] /proc/loadavg: 2.01 2.06 2.02 3/558 28195 /proc/meminfo: memFree=18817304/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13625484 CPUtime=1730.34 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 452804 0 1 0 172969 65 0 0 25 0 19 0 807265580 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406371 449311 2261 9 0 3397105 0 [pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1707.51 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 118647 0 1 0 170731 20 0 0 25 0 19 0 807265580 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505759749 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.15 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 113 2 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.26 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 122 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.36 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 135 1 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.28 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 124 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.41 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 139 2 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146800 0 0 0 1084 16 0 0 15 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1730.34 Current children cumulated vsize (KiB) 13625484 [startup+1782.3 s] /proc/loadavg: 2.00 2.04 2.01 3/558 28196 /proc/meminfo: memFree=18814512/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13625484 CPUtime=1790.45 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 453266 0 1 0 178979 66 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406371 449766 2261 9 0 3397105 0 [pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1767.33 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 119103 0 1 0 176713 20 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505710576 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.2 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 118 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.3 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 126 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 136 1 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.32 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 128 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.42 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 140 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11.12 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146802 0 0 0 1096 16 0 0 15 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (KiB) 13625484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.92 s] /proc/loadavg: 2.00 2.04 2.01 3/558 28197 /proc/meminfo: memFree=18814500/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=13625484 CPUtime=1800.09 cores=0,2,4,6 /proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 453266 0 1 0 179943 66 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 3406371 449766 2261 9 0 3397105 0 [pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1776.97 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 119103 0 1 0 177677 20 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505768836 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.2 cores=0,2,4,6 /proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 118 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.3 cores=0,2,4,6 /proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 126 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6 /proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 136 1 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6 /proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.32 cores=0,2,4,6 /proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 128 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6 /proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6 /proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.42 cores=0,2,4,6 /proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 140 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11.12 cores=0,2,4,6 /proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146802 0 0 0 1096 16 0 0 15 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 [pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6 /proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6 /proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0 [pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0 [pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0 [pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6 /proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13625484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1792.03 s] /proc/loadavg: 2.00 2.04 2.01 3/558 28197 /proc/meminfo: memFree=18814500/32951124 swapFree=58800704/67111528 [pid=28073] ppid=28071 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/28073/stat : 28073 (java) Z 28071 28073 25640 0 -1 4203548 453328 0 1 0 179953 70 0 0 17 0 2 0 807265580 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28073/statm: 0 0 0 0 0 0 0 [pid=28073/tid=28074] ppid=28071 vsize=0 CPUtime=1777.06 cores=0,2,4,6 /proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4203588 119103 0 1 0 177681 25 0 0 25 0 2 0 807265580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1792.06 CPU time (s): 1800.27 CPU user time (s): 1799.53 CPU system time (s): 0.736887 CPU usage (%): 100.458 Max. virtual memory (cumulated for all children) (KiB): 13628972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.736887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 453328 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= 39588 involuntary context switches= 28601 runsolver used 10.1705 second user time and 20.8708 second system time The end
Begin job on node142 at 2011-06-04 02:48:21 IDJOB=3458739 IDBENCH=2247 IDSOLVER=1952 FILE ID=node142/3458739-1307148501 RUNJOBID= node142-1307146673-27699 PBS_JOBID= 13508774 Free space on /tmp= 73920 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458739-1307148501/watcher-3458739-1307148501 -o /tmp/evaluation-result-3458739-1307148501/solver-3458739-1307148501 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458739-1307148501.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED=1506974593 node142.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 : 5131.95 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.82 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.67 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.81 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.75 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.82 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21446916 kB Buffers: 257364 kB Cached: 423532 kB SwapCached: 11452 kB Active: 9456188 kB Inactive: 1787124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21446916 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 3008 kB Writeback: 0 kB AnonPages: 10559884 kB Mapped: 39796 kB Slab: 116408 kB PageTables: 75652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 158833992 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= 73920 MiB End job on node142 at 2011-06-04 03:18:15