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 Res+CP PB16 | SAT (TO) | -39 | 1800.04 | 885.977 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
| MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -48 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -50 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80258 |
| Number of constraints which are clauses | 80258 |
| 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 | 1150 |
| 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 | 1150 |
| 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 | 1150 |
| 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.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.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081253-1465228208.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 2.08/0.98 c ... done. Wall clock time 0.864s. 2.08/0.98 c declared #vars 1150 2.08/0.98 c #constraints 80258 2.08/0.99 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.08/0.99 c constraints type 2.08/0.99 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80258 2.08/0.99 c 80258 constraints processed. 2.08/0.99 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.08/0.99 c constraints type 2.08/0.99 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80258 2.08/0.99 c 80258 constraints processed. 2.08/0.99 c objective function length is 1150 literals 2.21/1.01 c And the winner is solver1 2.30/1.49 c SATISFIABLE 2.30/1.49 c OPTIMIZING... 2.30/1.49 c Got one! Elapsed wall clock time (in seconds):1.371 2.30/1.49 o -36 2.70/1.65 c And the winner is solver0 3.33/2.00 c Got one! Elapsed wall clock time (in seconds):1.878 3.33/2.00 o -37 6.52/3.34 c cleaning 2652 clauses out of 5303 with flag 10558/5303 9.63/4.59 c And the winner is solver1 9.82/5.03 c Got one! Elapsed wall clock time (in seconds):4.909 9.82/5.03 o -38 10.38/5.31 c cleaning 4244 clauses out of 8504 with flag 2326/11156 13.34/6.78 c cleaning 5130 clauses out of 10260 with flag 17110/17156 17.09/8.59 c cleaning 6064 clauses out of 12130 with flag 33776/24156 21.74/10.76 c cleaning 7033 clauses out of 14066 with flag 53332/32156 26.14/12.80 c cleaning 8017 clauses out of 16033 with flag 73324/41156 31.73/15.46 c cleaning 9008 clauses out of 18016 with flag 94170/51156 37.31/18.28 c cleaning 9998 clauses out of 20009 with flag 117044/62157 45.93/22.77 c cleaning 10997 clauses out of 22010 with flag 141933/74156 53.34/26.42 c cleaning 12007 clauses out of 24013 with flag 168944/87156 61.76/30.59 c cleaning 13003 clauses out of 26008 with flag 198112/101158 71.25/35.15 c cleaning 13998 clauses out of 28003 with flag 229227/116156 81.30/40.11 c cleaning 14998 clauses out of 30005 with flag 262489/132156 93.98/46.83 c cleaning 16002 clauses out of 32009 with flag 297790/149158 106.30/52.97 c cleaning 17004 clauses out of 34007 with flag 335139/167158 119.31/59.34 c cleaning 17995 clauses out of 36002 with flag 374507/186157 134.14/66.65 c cleaning 19003 clauses out of 38006 with flag 416111/206156 150.75/74.79 c cleaning 19997 clauses out of 40003 with flag 459775/227156 169.39/83.61 c cleaning 20999 clauses out of 42007 with flag 505667/249157 190.17/94.63 c cleaning 21993 clauses out of 44007 with flag 553187/272156 210.22/104.59 c cleaning 23003 clauses out of 46014 with flag 602825/296156 232.14/115.42 c cleaning 23999 clauses out of 48012 with flag 654591/321157 256.53/127.49 c cleaning 24996 clauses out of 50013 with flag 708345/347157 259.14/128.77 c cleaning 0 clauses out of 5562 with flag 0/5562 278.73/138.24 c cleaning 26003 clauses out of 52019 with flag 764255/374159 302.06/149.55 c cleaning 27008 clauses out of 54015 with flag 822460/402158 326.03/161.14 c cleaning 27997 clauses out of 56005 with flag 882729/431156 353.10/174.18 c cleaning 29003 clauses out of 58008 with flag 945187/461156 382.61/187.99 c cleaning 29997 clauses out of 60006 with flag 1009582/492157 416.29/205.58 c cleaning 30996 clauses out of 62009 with flag 1076013/524157 447.99/221.12 c cleaning 32008 clauses out of 64015 with flag 1144718/557159 478.11/235.97 c cleaning 32995 clauses out of 66007 with flag 1215429/591159 510.92/252.02 c cleaning 34000 clauses out of 68009 with flag 1288354/626156 543.34/267.99 c cleaning 35004 clauses out of 70011 with flag 1363142/662158 577.35/284.58 c cleaning 35996 clauses out of 72005 with flag 1439701/699156 612.76/301.73 c cleaning 37003 clauses out of 74010 with flag 1518870/737157 650.97/320.25 c cleaning 38001 clauses out of 76007 with flag 1600326/776157 662.74/325.92 c And the winner is solver1 662.74/325.98 c Got one! Elapsed wall clock time (in seconds):325.862 662.74/325.98 o -39 666.74/328.01 c cleaning 28480 clauses out of 56971 with flag 11463/795122 670.87/329.99 c cleaning 17244 clauses out of 34490 with flag 25664/801121 674.86/331.94 c cleaning 12115 clauses out of 24248 with flag 42408/808123 679.83/334.26 c cleaning 10057 clauses out of 20131 with flag 61553/816121 684.25/336.44 c cleaning 9533 clauses out of 19074 with flag 82826/825121 688.85/338.79 c cleaning 9767 clauses out of 19543 with flag 105963/835123 695.14/341.71 c cleaning 10381 clauses out of 20774 with flag 132061/846121 701.50/344.77 c cleaning 11191 clauses out of 22394 with flag 159628/858122 708.70/348.34 c cleaning 12098 clauses out of 24203 with flag 191265/871122 716.84/352.22 c cleaning 13048 clauses out of 26104 with flag 224809/885121 725.61/356.42 c cleaning 14025 clauses out of 28057 with flag 261394/900122 735.00/361.19 c cleaning 15013 clauses out of 30031 with flag 301750/916121 746.18/366.52 c cleaning 16004 clauses out of 32018 with flag 342967/933121 759.12/372.86 c cleaning 17005 clauses out of 34014 with flag 388386/951121 772.86/379.60 c cleaning 18002 clauses out of 36010 with flag 435821/970122 787.58/386.74 c cleaning 19004 clauses out of 38007 with flag 484821/990121 805.42/395.37 c cleaning 20000 clauses out of 40004 with flag 535337/1011122 824.36/406.05 c cleaning 20998 clauses out of 42004 with flag 586940/1033122 840.08/413.83 c cleaning 22004 clauses out of 44008 with flag 640804/1056124 857.22/422.36 c cleaning 22993 clauses out of 46001 with flag 696673/1080121 874.78/431.00 c cleaning 23999 clauses out of 48008 with flag 756697/1105121 893.81/440.37 c cleaning 24999 clauses out of 50009 with flag 817286/1131121 915.24/450.94 c cleaning 26005 clauses out of 52011 with flag 881935/1158122 938.52/462.33 c cleaning 26996 clauses out of 54005 with flag 948818/1186121 961.22/473.50 c cleaning 28004 clauses out of 56010 with flag 1015715/1215122 986.05/485.65 c cleaning 28999 clauses out of 58006 with flag 1086524/1245122 1011.00/497.98 c cleaning 30003 clauses out of 60006 with flag 1160696/1276121 1042.08/513.11 c cleaning 30994 clauses out of 62003 with flag 1237026/1308121 1076.75/529.88 c cleaning 31998 clauses out of 64009 with flag 1315243/1341121 1107.25/544.78 c cleaning 32999 clauses out of 66011 with flag 1394584/1375121 1139.90/560.44 c cleaning 33998 clauses out of 68012 with flag 1477641/1410121 1170.49/575.29 c cleaning 35000 clauses out of 70016 with flag 1560232/1446123 1209.86/594.22 c cleaning 36007 clauses out of 72014 with flag 1646512/1483121 1226.74/602.41 c cleaning 0 clauses out of 11481 with flag 0/11481 1253.42/615.37 c cleaning 37000 clauses out of 74007 with flag 1740184/1521121 1292.48/634.28 c cleaning 37999 clauses out of 76007 with flag 1830118/1560121 1338.81/658.57 c cleaning 39004 clauses out of 78009 with flag 1925316/1600122 1379.91/678.88 c cleaning 39997 clauses out of 80004 with flag 2020442/1641121 1430.51/703.67 c cleaning 40997 clauses out of 82008 with flag 2122070/1683122 1485.27/730.43 c cleaning 42000 clauses out of 84010 with flag 2225918/1726121 1538.25/756.06 c cleaning 42999 clauses out of 86011 with flag 2332077/1770122 1597.61/784.56 c cleaning 43999 clauses out of 88011 with flag 2440529/1815121 1663.04/818.52 c cleaning 45001 clauses out of 90012 with flag 2550445/1861121 1726.80/849.96 c cleaning 46001 clauses out of 92013 with flag 2665907/1908123 1783.65/877.84 c cleaning 47001 clauses out of 94012 with flag 2779647/1956123 1800.04/885.90 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.04/885.90 c starts : 23910 1800.04/885.90 c conflicts : 1973414 1800.04/885.90 c decisions : 27992161 1800.04/885.90 c propagations : 37547110 1800.04/885.90 c inspects : 5593940310 1800.04/885.90 c shortcuts : 0 1800.04/885.90 c learnt literals : 0 1800.04/885.90 c learnt binary clauses : 0 1800.04/885.90 c learnt ternary clauses : 0 1800.04/885.90 c learnt constraints : 1973414 1800.04/885.90 c ignored constraints : 0 1800.04/885.90 c root simplifications : 0 1800.04/885.90 c removed literals (reason simplification) : 38830204 1800.04/885.90 c reason swapping (by a shorter reason) : 0 1800.04/885.90 c Calls to reduceDB : 80 1800.04/885.90 c Number of update (reduction) of LBD : 74966 1800.04/885.90 c Imported unit clauses : 0 1800.04/885.90 c number of reductions to clauses (during analyze) : 0 1800.04/885.90 c number of learned constraints concerned by reduction : 0 1800.04/885.90 c number of learning phase by resolution : 0 1800.04/885.90 c number of learning phase by cutting planes : 0 1800.04/885.90 c speed (assignments/second) : 67058.58925015405 1800.04/885.90 c non guided choices 0 1800.04/885.93 c learnt constraints type 1800.04/885.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64302 1800.04/885.93 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.04/885.93 c starts : 43 1800.04/885.93 c conflicts : 13704 1800.04/885.93 c decisions : 17215 1800.04/885.93 c propagations : 166271 1800.04/885.93 c inspects : 768523181 1800.04/885.93 c shortcuts : 0 1800.04/885.93 c learnt literals : 0 1800.04/885.93 c learnt binary clauses : 0 1800.04/885.93 c learnt ternary clauses : 0 1800.04/885.93 c learnt constraints : 13703 1800.04/885.93 c ignored constraints : 0 1800.04/885.93 c root simplifications : 0 1800.04/885.93 c removed literals (reason simplification) : 0 1800.04/885.93 c reason swapping (by a shorter reason) : 0 1800.04/885.93 c Calls to reduceDB : 2 1800.04/885.93 c Number of update (reduction) of LBD : 0 1800.04/885.93 c Imported unit clauses : 0 1800.04/885.93 c number of reductions to clauses (during analyze) : 0 1800.04/885.93 c number of learned constraints concerned by reduction : 0 1800.04/885.93 c number of learning phase by resolution : 0 1800.04/885.93 c number of learning phase by cutting planes : 0 1800.04/885.93 c speed (assignments/second) : 188.1046872595958 1800.04/885.93 c non guided choices 0 1800.04/885.94 c learnt constraints type 1800.04/885.94 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 322 1800.04/885.94 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13381 1800.04/885.94 s SATISFIABLE 1800.04/885.94 c Found 4 solution(s) 1800.04/885.94 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 1800.04/885.94 c objective function=-39 1800.04/885.94 c Total wall clock time (in seconds): 885.821
OK -39
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-4081253-1465228208/watcher-4081253-1465228208 -o /tmp/evaluation-result-4081253-1465228208/solver-4081253-1465228208 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081253-1465228208.opb pid=6567 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: 4.31 4.30 4.22 4/198 6570 /proc/meminfo: memFree=26561284/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/6570/stat : 6570 (java) D 6567 6570 32147 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 104755380 9515008 182 33554432000 1073741824 1073778376 140734076524240 140734076515272 219513962165 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/6570/statm: 2323 182 140 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.31 4.30 4.22 4/198 6570 /proc/meminfo: memFree=26561284/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 4433 0 1 0 8 1 0 0 20 0 18 0 104755380 9787879424 6062 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2389619 6062 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 4.31 4.30 4.22 4/198 6570 /proc/meminfo: memFree=26561284/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 4730 0 1 0 24 1 0 0 20 0 18 0 104755380 9787879424 6805 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2389619 6805 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300213 s] /proc/loadavg: 4.31 4.30 4.22 4/198 6570 /proc/meminfo: memFree=26561284/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 5655 0 1 0 45 1 0 0 20 0 18 0 104755380 9787879424 8472 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2389619 8472 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700187 s] /proc/loadavg: 4.31 4.30 4.22 4/198 6570 /proc/meminfo: memFree=26561284/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9558476 CPUtime=1.62 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 23501 0 1 0 156 6 0 0 20 0 18 0 104755380 9787879424 33108 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2389619 33108 2244 9 0 2380296 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9558476 [startup+1.50069 s] /proc/loadavg: 4.37 4.31 4.22 3/217 6592 /proc/meminfo: memFree=26359484/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9824732 CPUtime=2.31 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 23742 0 1 0 222 9 0 0 20 0 19 0 104755380 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2456183 52744 2273 9 0 2446860 0 [pid=6570/tid=6572] ppid=6567 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/6570/task/6572/stat : 6572 (java) R 6567 6570 32147 0 -1 4202560 2523 0 1 0 92 3 0 0 20 0 19 0 104755382 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332288856952 219517347085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6573] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6573/stat : 6573 (java) S 6567 6570 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332132715304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6574] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6574/stat : 6574 (java) S 6567 6570 32147 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332131662504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6575] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6575/stat : 6575 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332130610216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6576] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6576/stat : 6576 (java) S 6567 6570 32147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332129557416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6577] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6577/stat : 6577 (java) S 6567 6570 32147 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332128504104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6578] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6578/stat : 6578 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332127451304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6579] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6579/stat : 6579 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332126399016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104755383 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 104755384 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104755384 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104755384 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104755387 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) R 6567 6570 32147 0 -1 4202560 9024 0 0 0 63 2 0 0 20 0 19 0 104755387 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517346229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 10790 0 0 0 57 2 0 0 20 0 19 0 104755387 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104755387 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6588/stat : 6588 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 104755387 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332105779912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6591] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6591/stat : 6591 (java) S 6567 6570 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 104755481 10060525568 52744 33554432000 1073741824 1073778376 140735394099776 140332102522536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 9824732 [startup+3.10092 s] /proc/loadavg: 4.37 4.31 4.22 7/220 6598 /proc/meminfo: memFree=26357360/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9824732 CPUtime=5.97 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 24930 0 1 0 579 18 0 0 20 0 22 0 104755380 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2456183 89175 2286 9 0 2446860 0 [pid=6570/tid=6572] ppid=6567 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/6570/task/6572/stat : 6572 (java) S 6567 6570 32147 0 -1 4202560 2523 0 1 0 92 3 0 0 20 0 22 0 104755382 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332288856952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6573] ppid=6567 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/6570/task/6573/stat : 6573 (java) S 6567 6570 32147 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332132715304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6574] ppid=6567 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/6570/task/6574/stat : 6574 (java) S 6567 6570 32147 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332131662504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6575] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6575/stat : 6575 (java) S 6567 6570 32147 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332130610216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6576] ppid=6567 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/6570/task/6576/stat : 6576 (java) S 6567 6570 32147 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332129557416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6577] ppid=6567 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/6570/task/6577/stat : 6577 (java) S 6567 6570 32147 0 -1 4202560 112 0 0 0 2 1 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332128504104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6578] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6578/stat : 6578 (java) S 6567 6570 32147 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332127451304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6579] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6579/stat : 6579 (java) S 6567 6570 32147 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332126399016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104755383 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) S 6567 6570 32147 0 -1 4202560 9040 0 0 0 107 2 0 0 20 0 22 0 104755387 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=1.21 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 11471 0 0 0 119 2 0 0 20 0 22 0 104755387 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6588/stat : 6588 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332105779912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6595] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6595/stat : 6595 (java) S 6567 6570 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104755531 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332103574696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6596] ppid=6567 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/6570/task/6596/stat : 6596 (java) R 6567 6570 32147 0 -1 4202560 5 0 0 0 104 0 0 0 20 0 22 0 104755581 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332101468648 140332162054442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6597] ppid=6567 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/6570/task/6597/stat : 6597 (java) R 6567 6570 32147 0 -1 4202560 55 0 0 0 102 2 0 0 20 0 22 0 104755581 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332104626344 140332162325400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6598] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6598/stat : 6598 (java) S 6567 6570 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104755581 10060525568 89175 33554432000 1073741824 1073778376 140735394099776 140332102522152 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 9824732 [startup+6.30095 s] /proc/loadavg: 4.37 4.31 4.22 5/220 6601 /proc/meminfo: memFree=26002512/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9824732 CPUtime=12.52 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 28865 0 1 0 1206 46 0 0 20 0 22 0 104755380 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2456183 189839 2293 9 0 2446860 0 [pid=6570/tid=6572] ppid=6567 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/6570/task/6572/stat : 6572 (java) S 6567 6570 32147 0 -1 4202560 2523 0 1 0 93 3 0 0 20 0 22 0 104755382 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332288856952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6573] ppid=6567 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/6570/task/6573/stat : 6573 (java) S 6567 6570 32147 0 -1 4202560 83 0 0 0 7 4 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332132715304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6574] ppid=6567 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/6570/task/6574/stat : 6574 (java) S 6567 6570 32147 0 -1 4202560 100 0 0 0 9 4 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332131662504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6575] ppid=6567 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/6570/task/6575/stat : 6575 (java) S 6567 6570 32147 0 -1 4202560 150 0 0 0 7 4 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332130610216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6576] ppid=6567 vsize=9824732 CPUtime=0.14 cores=0,2,4,6 /proc/6570/task/6576/stat : 6576 (java) S 6567 6570 32147 0 -1 4202560 75 0 0 0 10 4 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332129557416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6577] ppid=6567 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/6570/task/6577/stat : 6577 (java) S 6567 6570 32147 0 -1 4202560 153 0 0 0 5 3 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332128504104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6578] ppid=6567 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/6570/task/6578/stat : 6578 (java) S 6567 6570 32147 0 -1 4202560 142 0 0 0 5 3 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332127451304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6579] ppid=6567 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/6570/task/6579/stat : 6579 (java) S 6567 6570 32147 0 -1 4202560 130 0 0 0 3 2 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332126399016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 109 0 0 0 11 5 0 0 20 0 22 0 104755383 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 515 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) S 6567 6570 32147 0 -1 4202560 11388 0 0 0 155 2 0 0 20 0 22 0 104755387 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=1.45 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 11800 0 0 0 143 2 0 0 20 0 22 0 104755387 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 189839 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=12.38 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 1159 0 0 0 1186 52 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=18.14 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 5079 0 0 0 1800 14 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) S 6567 6570 32147 0 -1 4202560 11396 0 0 0 213 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 11811 0 0 0 165 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/6570/task/6588/stat : 6588 (java) S 6567 6570 32147 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332105779912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6598] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6598/stat : 6598 (java) S 6567 6570 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104755581 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332102522152 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6608] ppid=6567 vsize=9824732 CPUtime=528.5 cores=0,2,4,6 /proc/6570/task/6608/stat : 6608 (java) R 6567 6570 32147 0 -1 4202560 31 0 0 0 52841 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332101466608 140332162106266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6609] ppid=6567 vsize=9824732 CPUtime=528.49 cores=0,2,4,6 /proc/6570/task/6609/stat : 6609 (java) R 6567 6570 32147 0 -1 4202560 51 0 0 0 52840 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332104625632 140332162325270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6610] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6610/stat : 6610 (java) S 6567 6570 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104787980 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332103574568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+885.901 s] /proc/loadavg: 4.14 4.36 4.34 5/219 6733 /proc/meminfo: memFree=21756364/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9824732 CPUtime=1798.66 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 43850 0 1 0 179433 433 0 0 20 0 22 0 104755380 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2456183 1349743 2301 9 0 2446860 0 [pid=6570/tid=6572] ppid=6567 vsize=9824732 CPUtime=1 cores=0,2,4,6 /proc/6570/task/6572/stat : 6572 (java) S 6567 6570 32147 0 -1 4202560 2553 0 1 0 95 5 0 0 20 0 22 0 104755382 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332288856952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6573] ppid=6567 vsize=9824732 CPUtime=11.35 cores=0,2,4,6 /proc/6570/task/6573/stat : 6573 (java) S 6567 6570 32147 0 -1 4202560 1583 0 0 0 1089 46 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332132715304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6574] ppid=6567 vsize=9824732 CPUtime=12.23 cores=0,2,4,6 /proc/6570/task/6574/stat : 6574 (java) S 6567 6570 32147 0 -1 4202560 1109 0 0 0 1184 39 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332131662504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6575] ppid=6567 vsize=9824732 CPUtime=11.73 cores=0,2,4,6 /proc/6570/task/6575/stat : 6575 (java) S 6567 6570 32147 0 -1 4202560 1270 0 0 0 1127 46 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332130610216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6576] ppid=6567 vsize=9824732 CPUtime=12.33 cores=0,2,4,6 /proc/6570/task/6576/stat : 6576 (java) S 6567 6570 32147 0 -1 4202560 1152 0 0 0 1184 49 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332129557416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6577] ppid=6567 vsize=9824732 CPUtime=12.12 cores=0,2,4,6 /proc/6570/task/6577/stat : 6577 (java) S 6567 6570 32147 0 -1 4202560 1500 0 0 0 1171 41 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332128504104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6578] ppid=6567 vsize=9824732 CPUtime=11.81 cores=0,2,4,6 /proc/6570/task/6578/stat : 6578 (java) S 6567 6570 32147 0 -1 4202560 1050 0 0 0 1140 41 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332127451304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6579] ppid=6567 vsize=9824732 CPUtime=12 cores=0,2,4,6 /proc/6570/task/6579/stat : 6579 (java) S 6567 6570 32147 0 -1 4202560 1219 0 0 0 1163 37 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332126399016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=12.38 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 1159 0 0 0 1186 52 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=18.14 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 5079 0 0 0 1800 14 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) S 6567 6570 32147 0 -1 4202560 11396 0 0 0 213 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 11811 0 0 0 165 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/6570/task/6588/stat : 6588 (java) S 6567 6570 32147 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332105779912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6598] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6598/stat : 6598 (java) S 6567 6570 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104755581 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332102522152 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6608] ppid=6567 vsize=9824732 CPUtime=532.09 cores=0,2,4,6 /proc/6570/task/6608/stat : 6608 (java) R 6567 6570 32147 0 -1 4202560 31 0 0 0 53200 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332101466608 140332162305284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6609] ppid=6567 vsize=9824732 CPUtime=532.07 cores=0,2,4,6 /proc/6570/task/6609/stat : 6609 (java) R 6567 6570 32147 0 -1 4202560 51 0 0 0 53198 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332104625632 140332162492344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6610] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6610/stat : 6610 (java) S 6567 6570 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104787980 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332103574568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 9824732 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 6570 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+885.901 s] /proc/loadavg: 4.14 4.36 4.34 5/219 6733 /proc/meminfo: memFree=21756364/32872528 swapFree=12208/1156848 [pid=6570] ppid=6567 vsize=9824732 CPUtime=1798.66 cores=0,2,4,6 /proc/6570/stat : 6570 (java) S 6567 6570 32147 0 -1 4202496 43850 0 1 0 179433 433 0 0 20 0 22 0 104755380 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140735394090912 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6570/statm: 2456183 1349743 2301 9 0 2446860 0 [pid=6570/tid=6572] ppid=6567 vsize=9824732 CPUtime=1 cores=0,2,4,6 /proc/6570/task/6572/stat : 6572 (java) S 6567 6570 32147 0 -1 4202560 2553 0 1 0 95 5 0 0 20 0 22 0 104755382 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332288856952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6573] ppid=6567 vsize=9824732 CPUtime=11.35 cores=0,2,4,6 /proc/6570/task/6573/stat : 6573 (java) S 6567 6570 32147 0 -1 4202560 1583 0 0 0 1089 46 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332132715304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6574] ppid=6567 vsize=9824732 CPUtime=12.23 cores=0,2,4,6 /proc/6570/task/6574/stat : 6574 (java) S 6567 6570 32147 0 -1 4202560 1109 0 0 0 1184 39 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332131662504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6575] ppid=6567 vsize=9824732 CPUtime=11.73 cores=0,2,4,6 /proc/6570/task/6575/stat : 6575 (java) S 6567 6570 32147 0 -1 4202560 1270 0 0 0 1127 46 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332130610216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6576] ppid=6567 vsize=9824732 CPUtime=12.33 cores=0,2,4,6 /proc/6570/task/6576/stat : 6576 (java) S 6567 6570 32147 0 -1 4202560 1152 0 0 0 1184 49 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332129557416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6577] ppid=6567 vsize=9824732 CPUtime=12.12 cores=0,2,4,6 /proc/6570/task/6577/stat : 6577 (java) S 6567 6570 32147 0 -1 4202560 1500 0 0 0 1171 41 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332128504104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6578] ppid=6567 vsize=9824732 CPUtime=11.81 cores=0,2,4,6 /proc/6570/task/6578/stat : 6578 (java) S 6567 6570 32147 0 -1 4202560 1050 0 0 0 1140 41 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332127451304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6579] ppid=6567 vsize=9824732 CPUtime=12 cores=0,2,4,6 /proc/6570/task/6579/stat : 6579 (java) S 6567 6570 32147 0 -1 4202560 1219 0 0 0 1163 37 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332126399016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6580] ppid=6567 vsize=9824732 CPUtime=12.38 cores=0,2,4,6 /proc/6570/task/6580/stat : 6580 (java) S 6567 6570 32147 0 -1 4202560 1159 0 0 0 1186 52 0 0 20 0 22 0 104755383 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332125346216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6581] ppid=6567 vsize=9824732 CPUtime=18.14 cores=0,2,4,6 /proc/6570/task/6581/stat : 6581 (java) S 6567 6570 32147 0 -1 4202560 5079 0 0 0 1800 14 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332113148648 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6582] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6582/stat : 6582 (java) S 6567 6570 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332112094712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6583] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6583/stat : 6583 (java) S 6567 6570 32147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104755384 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332111042312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6584] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6584/stat : 6584 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332109990800 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6585] ppid=6567 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/6570/task/6585/stat : 6585 (java) S 6567 6570 32147 0 -1 4202560 11396 0 0 0 213 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332108937400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6586] ppid=6567 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/6570/task/6586/stat : 6586 (java) S 6567 6570 32147 0 -1 4202560 11811 0 0 0 165 2 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332107884600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6587] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6587/stat : 6587 (java) S 6567 6570 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332106832504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6570/tid=6588] ppid=6567 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/6570/task/6588/stat : 6588 (java) S 6567 6570 32147 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 104755387 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332105779912 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6598] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6598/stat : 6598 (java) S 6567 6570 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104755581 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332102522152 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6570/tid=6608] ppid=6567 vsize=9824732 CPUtime=532.09 cores=0,2,4,6 /proc/6570/task/6608/stat : 6608 (java) R 6567 6570 32147 0 -1 4202560 31 0 0 0 53200 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332101466608 140332162305284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6570/tid=6609] ppid=6567 vsize=9824732 CPUtime=532.07 cores=0,2,4,6 /proc/6570/task/6609/stat : 6609 (java) R 6567 6570 32147 0 -1 4202560 51 0 0 0 53198 9 0 0 20 0 22 0 104787979 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332104625632 140332162492344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6570/tid=6610] ppid=6567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/6570/task/6610/stat : 6610 (java) S 6567 6570 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104787980 10060525568 1349743 33554432000 1073741824 1073778376 140735394099776 140332103574568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6570 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=439659 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=702285 # CPU time returned by wait4() is 1796.14 # while last known CPU time is 1798.66 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.38 # lost CPU user time (s): 1.47998 # lost CPU system time (s): -0.0999999 Real time (s): 885.977 CPU time (s): 1800.04 CPU user time (s): 1795.81 CPU system time (s): 4.23 CPU usage (%): 203.17 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.44 system time used= 4.70228 maximum resident set size= 5463572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43887 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25601 involuntary context switches= 50655 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.64114 second user time and 7.32689 second system time The end
Begin job on node114 at 2016-06-06 17:50:08 IDJOB=4081253 IDBENCH=2263 IDSOLVER=2543 FILE ID=node114/4081253-1465228208 RUNJOBID= node114-1465217569-32163 PBS_JOBID= 19843208 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081253-1465228208/watcher-4081253-1465228208 -o /tmp/evaluation-result-4081253-1465228208/solver-4081253-1465228208 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081253-1465228208.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED=57754726 node114.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.852 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 : 5333.70 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.852 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.852 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.852 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.852 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.852 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.55 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.852 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.54 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.852 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26562192 kB Buffers: 24224 kB Cached: 135592 kB SwapCached: 1736 kB Active: 4343444 kB Inactive: 97856 kB Active(anon): 4282796 kB Inactive(anon): 1200 kB Active(file): 60648 kB Inactive(file): 96656 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096588 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 5442140 kB Mapped: 15376 kB Shmem: 0 kB Slab: 567264 kB SReclaimable: 11024 kB SUnreclaim: 556240 kB KernelStack: 1608 kB PageTables: 15312 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5770796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 5345280 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= 71732 MiB End job on node114 at 2016-06-06 18:04:54