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) | -36 | 1800.01 | 887.581 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
| MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 454.793 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58579 |
| Number of constraints which are clauses | 58579 |
| 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 | 945 |
| 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 | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4081249-1465227923.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 2.10/0.90 c ... done. Wall clock time 0.781s. 2.10/0.90 c declared #vars 945 2.10/0.90 c #constraints 58579 2.10/0.90 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.10/0.90 c constraints type 2.10/0.90 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58579 2.10/0.90 c 58579 constraints processed. 2.10/0.90 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.10/0.90 c constraints type 2.10/0.90 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58579 2.10/0.90 c 58579 constraints processed. 2.10/0.90 c objective function length is 945 literals 2.10/0.93 c And the winner is solver1 2.19/1.42 c SATISFIABLE 2.19/1.42 c OPTIMIZING... 2.19/1.42 c Got one! Elapsed wall clock time (in seconds):1.298 2.19/1.42 o -29 2.19/1.44 c And the winner is solver0 2.32/1.92 c Got one! Elapsed wall clock time (in seconds):1.804 2.32/1.92 o -30 2.59/2.02 c And the winner is solver0 3.06/2.43 c Got one! Elapsed wall clock time (in seconds):2.308 3.06/2.43 o -31 4.02/2.79 c And the winner is solver0 4.25/2.95 c Got one! Elapsed wall clock time (in seconds):2.83 4.25/2.95 o -32 4.25/2.97 c And the winner is solver0 4.32/3.45 c Got one! Elapsed wall clock time (in seconds):3.332 4.32/3.45 o -33 5.98/4.20 c And the winner is solver1 6.01/4.45 c Got one! Elapsed wall clock time (in seconds):4.334 6.01/4.45 o -34 6.63/4.76 c cleaning 3232 clauses out of 6471 with flag 2243/6471 9.49/5.94 c cleaning 4619 clauses out of 9239 with flag 15904/12471 12.65/7.46 c cleaning 5804 clauses out of 11620 with flag 32420/19471 16.38/9.25 c cleaning 6904 clauses out of 13816 with flag 51136/27471 20.06/11.02 c cleaning 7956 clauses out of 15912 with flag 70122/36471 24.73/13.24 c cleaning 8973 clauses out of 17956 with flag 91106/46471 30.02/15.74 c cleaning 9989 clauses out of 19983 with flag 114153/57471 35.41/18.48 c cleaning 10996 clauses out of 21994 with flag 139181/69471 42.21/21.67 c cleaning 11998 clauses out of 23998 with flag 166532/82471 49.00/25.03 c cleaning 12998 clauses out of 26000 with flag 196025/96471 58.07/29.77 c cleaning 14002 clauses out of 28003 with flag 227608/111472 65.86/33.65 c cleaning 14995 clauses out of 30000 with flag 260873/127471 75.29/38.28 c cleaning 16002 clauses out of 32005 with flag 296235/144471 79.09/40.19 c And the winner is solver1 79.12/40.39 c Got one! Elapsed wall clock time (in seconds):40.268 79.12/40.39 o -35 82.94/42.28 c cleaning 14553 clauses out of 29116 with flag 11920/157584 86.94/44.20 c cleaning 10279 clauses out of 20567 with flag 26469/163588 90.55/46.03 c cleaning 8637 clauses out of 17284 with flag 43023/170584 95.69/48.95 c cleaning 8324 clauses out of 16648 with flag 62928/178585 100.09/51.16 c cleaning 8662 clauses out of 17323 with flag 85596/187584 104.50/53.40 c cleaning 9318 clauses out of 18661 with flag 109223/197584 109.38/55.71 c cleaning 10171 clauses out of 20344 with flag 134121/208585 114.60/58.36 c cleaning 11078 clauses out of 22172 with flag 162113/220584 120.58/61.33 c cleaning 12047 clauses out of 24095 with flag 193814/233585 127.50/64.72 c cleaning 13021 clauses out of 26047 with flag 226323/247584 135.32/68.66 c cleaning 14015 clauses out of 28029 with flag 262224/262587 144.71/73.22 c cleaning 15007 clauses out of 30014 with flag 300968/278587 154.31/78.08 c cleaning 16002 clauses out of 32004 with flag 341937/295584 166.02/83.78 c cleaning 16999 clauses out of 34003 with flag 385467/313585 178.71/89.98 c cleaning 17996 clauses out of 36004 with flag 433959/332585 192.04/96.43 c cleaning 18998 clauses out of 38008 with flag 484148/352585 205.23/103.02 c cleaning 20002 clauses out of 40009 with flag 533469/373584 211.57/106.03 c And the winner is solver1 211.57/106.04 c Got one! Elapsed wall clock time (in seconds):105.923 211.57/106.04 o -36 214.77/107.76 c cleaning 17387 clauses out of 34775 with flag 12025/388352 217.57/109.13 c cleaning 11692 clauses out of 23389 with flag 26074/394353 220.97/110.81 c cleaning 9344 clauses out of 18695 with flag 43576/401351 224.91/112.68 c cleaning 8677 clauses out of 17354 with flag 62723/409354 228.73/114.58 c cleaning 8830 clauses out of 17676 with flag 83514/418353 233.15/116.75 c cleaning 9421 clauses out of 18845 with flag 107085/428352 238.52/119.22 c cleaning 10212 clauses out of 20423 with flag 132399/439351 243.72/121.85 c cleaning 11100 clauses out of 22211 with flag 160365/451351 249.92/124.91 c cleaning 12056 clauses out of 24111 with flag 191561/464351 257.07/128.38 c cleaning 13027 clauses out of 26057 with flag 223732/478353 264.48/132.08 c cleaning 14012 clauses out of 28031 with flag 258402/493354 273.54/136.32 c cleaning 15007 clauses out of 30016 with flag 295192/509351 283.38/141.04 c cleaning 16006 clauses out of 32011 with flag 334692/526353 292.78/145.76 c cleaning 17001 clauses out of 34005 with flag 376686/544353 303.68/150.97 c cleaning 18000 clauses out of 36005 with flag 420910/563354 314.63/156.16 c cleaning 0 clauses out of 6285 with flag 0/6285 316.77/157.01 c cleaning 18999 clauses out of 38002 with flag 467481/583351 329.99/163.35 c cleaning 20000 clauses out of 40003 with flag 517049/604351 344.98/170.56 c cleaning 21002 clauses out of 42003 with flag 569248/626351 361.59/179.52 c cleaning 21995 clauses out of 44001 with flag 623314/649351 376.93/186.97 c cleaning 22998 clauses out of 46006 with flag 680053/673351 392.71/194.71 c cleaning 24003 clauses out of 48008 with flag 738708/698351 409.50/202.90 c cleaning 24999 clauses out of 50005 with flag 801483/724351 427.95/212.05 c cleaning 25999 clauses out of 52006 with flag 866599/751351 449.36/222.46 c cleaning 27004 clauses out of 54009 with flag 933883/779353 471.54/233.38 c cleaning 27997 clauses out of 56004 with flag 1002124/808352 497.62/246.00 c cleaning 29004 clauses out of 58008 with flag 1074322/838353 524.60/259.12 c cleaning 29995 clauses out of 60002 with flag 1148446/869351 553.35/273.02 c cleaning 30999 clauses out of 62008 with flag 1225217/901352 582.98/287.36 c cleaning 31998 clauses out of 64008 with flag 1304899/934351 619.74/306.65 c cleaning 33002 clauses out of 66011 with flag 1386382/968352 650.23/321.79 c cleaning 33998 clauses out of 68008 with flag 1470765/1003351 680.32/336.63 c cleaning 35000 clauses out of 70010 with flag 1555620/1039351 711.48/352.07 c cleaning 36003 clauses out of 72011 with flag 1643616/1076352 746.73/369.34 c cleaning 37004 clauses out of 74007 with flag 1732938/1114351 782.84/387.12 c cleaning 37998 clauses out of 76004 with flag 1825501/1153352 818.50/404.62 c cleaning 39002 clauses out of 78007 with flag 1919350/1193353 862.06/425.98 c cleaning 40002 clauses out of 80004 with flag 2017167/1234352 903.97/446.37 c cleaning 41001 clauses out of 82001 with flag 2114124/1276351 948.60/468.08 c cleaning 42000 clauses out of 84000 with flag 2213849/1319351 994.78/490.53 c cleaning 43000 clauses out of 86000 with flag 2304081/1363351 1046.50/515.51 c cleaning 44000 clauses out of 88000 with flag 2396384/1408351 1100.66/543.62 c cleaning 44999 clauses out of 90000 with flag 2490620/1454351 1157.06/571.33 c cleaning 46001 clauses out of 92003 with flag 2586790/1501353 1214.55/599.60 c cleaning 46998 clauses out of 94000 with flag 2685225/1549351 1272.34/627.74 c cleaning 48002 clauses out of 96003 with flag 2785546/1598352 1280.94/632.01 c cleaning 0 clauses out of 12286 with flag 0/12286 1330.56/656.11 c cleaning 49001 clauses out of 98001 with flag 2888118/1648352 1394.50/687.00 c cleaning 49994 clauses out of 99999 with flag 2992654/1699351 1463.92/723.07 c cleaning 51003 clauses out of 102005 with flag 3099207/1751351 1529.32/755.20 c cleaning 51998 clauses out of 104002 with flag 3207699/1804351 1594.55/787.22 c cleaning 53002 clauses out of 106004 with flag 3318427/1858351 1667.19/822.67 c cleaning 53997 clauses out of 108003 with flag 3431277/1913352 1740.35/858.32 c cleaning 55001 clauses out of 110007 with flag 3546061/1969353 1800.01/887.51 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.01/887.51 c starts : 23092 1800.01/887.51 c conflicts : 2017267 1800.01/887.51 c decisions : 22412222 1800.01/887.51 c propagations : 32291286 1800.01/887.51 c inspects : 6334331343 1800.01/887.51 c shortcuts : 0 1800.01/887.51 c learnt literals : 0 1800.01/887.51 c learnt binary clauses : 0 1800.01/887.51 c learnt ternary clauses : 0 1800.01/887.51 c learnt constraints : 2017267 1800.01/887.51 c ignored constraints : 0 1800.01/887.51 c root simplifications : 0 1800.01/887.51 c removed literals (reason simplification) : 45030732 1800.01/887.51 c reason swapping (by a shorter reason) : 0 1800.01/887.51 c Calls to reduceDB : 82 1800.01/887.51 c Number of update (reduction) of LBD : 74520 1800.01/887.51 c Imported unit clauses : 0 1800.01/887.51 c number of reductions to clauses (during analyze) : 0 1800.01/887.51 c number of learned constraints concerned by reduction : 0 1800.01/887.51 c number of learning phase by resolution : 0 1800.01/887.51 c number of learning phase by cutting planes : 0 1800.01/887.51 c speed (assignments/second) : 41321.63304165781 1800.01/887.51 c non guided choices 0 1800.01/887.53 c learnt constraints type 1800.01/887.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102920 1800.01/887.53 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 1800.01/887.53 c starts : 50 1800.01/887.53 c conflicts : 14135 1800.01/887.53 c decisions : 17159 1800.01/887.53 c propagations : 164594 1800.01/887.53 c inspects : 781697482 1800.01/887.53 c shortcuts : 0 1800.01/887.53 c learnt literals : 0 1800.01/887.53 c learnt binary clauses : 0 1800.01/887.53 c learnt ternary clauses : 0 1800.01/887.53 c learnt constraints : 14135 1800.01/887.53 c ignored constraints : 0 1800.01/887.53 c root simplifications : 0 1800.01/887.53 c removed literals (reason simplification) : 0 1800.01/887.53 c reason swapping (by a shorter reason) : 0 1800.01/887.53 c Calls to reduceDB : 2 1800.01/887.53 c Number of update (reduction) of LBD : 0 1800.01/887.53 c Imported unit clauses : 0 1800.01/887.53 c number of reductions to clauses (during analyze) : 0 1800.01/887.53 c number of learned constraints concerned by reduction : 0 1800.01/887.53 c number of learning phase by resolution : 0 1800.01/887.53 c number of learning phase by cutting planes : 0 1800.01/887.53 c speed (assignments/second) : 186.17588040874222 1800.01/887.53 c non guided choices 0 1800.01/887.54 c learnt constraints type 1800.01/887.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 349 1800.01/887.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13786 1800.01/887.54 s SATISFIABLE 1800.01/887.54 c Found 8 solution(s) 1800.01/887.54 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 1800.01/887.55 c objective function=-36 1800.01/887.55 c Total wall clock time (in seconds): 887.426
OK -36
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-4081249-1465227923/watcher-4081249-1465227923 -o /tmp/evaluation-result-4081249-1465227923/solver-4081249-1465227923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081249-1465227923.opb pid=1952 running on 4 cores: 1,3,5,7 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.20 4.26 4.23 4/197 1955 /proc/meminfo: memFree=25926556/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1955/stat : 1955 (java) R 1952 1955 31415 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 104725881 9515008 184 33554432000 1073741824 1073778376 140735484606048 140735484597272 266435456439 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2323 184 142 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.20 4.26 4.23 4/197 1955 /proc/meminfo: memFree=25926556/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 104725881 9787879424 6031 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2389619 6031 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200191 s] /proc/loadavg: 4.20 4.26 4.23 4/197 1955 /proc/meminfo: memFree=25926556/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 4695 0 1 0 23 1 0 0 20 0 18 0 104725881 9787879424 6807 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2389619 6794 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300193 s] /proc/loadavg: 4.20 4.26 4.23 4/197 1955 /proc/meminfo: memFree=25926556/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 5596 0 1 0 45 2 0 0 20 0 18 0 104725881 9787879424 8476 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2389619 8476 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700199 s] /proc/loadavg: 4.20 4.26 4.23 4/197 1955 /proc/meminfo: memFree=25926556/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9558476 CPUtime=1.63 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 23496 0 1 0 158 5 0 0 20 0 18 0 104725881 9787879424 32697 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2389619 32697 2244 9 0 2380296 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9558476 [startup+1.50084 s] /proc/loadavg: 4.27 4.28 4.23 3/216 1977 /proc/meminfo: memFree=25726136/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 23747 0 1 0 221 11 0 0 20 0 19 0 104725881 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2456183 52331 2275 9 0 2446860 0 [pid=1955/tid=1957] ppid=1952 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/1955/task/1957/stat : 1957 (java) S 1952 1955 31415 0 -1 4202560 2481 0 1 0 85 3 0 0 20 0 19 0 104725882 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016512959352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1958] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1958/stat : 1958 (java) S 1952 1955 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016474450600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1959] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1959/stat : 1959 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016473398056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1960] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1960/stat : 1960 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016472345512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1961] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1961/stat : 1961 (java) S 1952 1955 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016353274920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1962] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1962/stat : 1962 (java) S 1952 1955 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016352221352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1963] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1963/stat : 1963 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016351168808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1964] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1964/stat : 1964 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016350116264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 104725884 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104725885 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104725885 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=0.65 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 9089 0 0 0 64 1 0 0 20 0 19 0 104725887 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 10744 0 0 0 61 2 0 0 20 0 19 0 104725887 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52331 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 9824732 [startup+3.10085 s] /proc/loadavg: 4.27 4.28 4.23 4/216 1983 /proc/meminfo: memFree=25718200/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9824732 CPUtime=4.32 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 28560 0 1 0 414 18 0 0 20 0 19 0 104725881 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2456183 52390 2285 9 0 2446860 0 [pid=1955/tid=1957] ppid=1952 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/1955/task/1957/stat : 1957 (java) S 1952 1955 31415 0 -1 4202560 2483 0 1 0 86 3 0 0 20 0 19 0 104725882 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016512959352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1958] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1958/stat : 1958 (java) S 1952 1955 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016474450600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1959] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1959/stat : 1959 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016473398056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1960] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1960/stat : 1960 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016472345512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1961] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1961/stat : 1961 (java) S 1952 1955 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016353274920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1962] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1962/stat : 1962 (java) S 1952 1955 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016352221352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1963] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1963/stat : 1963 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016351168808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1964] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1964/stat : 1964 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016350116264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104725883 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 104725884 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104725885 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104725885 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 13855 0 0 0 126 2 0 0 20 0 19 0 104725887 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 10761 0 0 0 101 3 0 0 20 0 19 0 104725887 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104725887 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1980] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1980/stat : 1980 (java) S 1952 1955 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104726024 10060525568 52390 33554432000 1073741824 1073778376 140734599517392 140015855154216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 4.27 4.28 4.23 5/219 1995 /proc/meminfo: memFree=25454792/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9824732 CPUtime=10.3 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 31899 0 1 0 991 39 0 0 20 0 22 0 104725881 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2456183 130317 2293 9 0 2446860 0 [pid=1955/tid=1957] ppid=1952 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/1955/task/1957/stat : 1957 (java) S 1952 1955 31415 0 -1 4202560 2483 0 1 0 86 3 0 0 20 0 22 0 104725882 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016512959352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1958] ppid=1952 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/1955/task/1958/stat : 1958 (java) S 1952 1955 31415 0 -1 4202560 49 0 0 0 4 2 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016474450600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1959] ppid=1952 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/1955/task/1959/stat : 1959 (java) S 1952 1955 31415 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016473398056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1960] ppid=1952 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/1955/task/1960/stat : 1960 (java) S 1952 1955 31415 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016472345512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1961] ppid=1952 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/1955/task/1961/stat : 1961 (java) S 1952 1955 31415 0 -1 4202560 107 0 0 0 4 1 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016353274920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1962] ppid=1952 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/1955/task/1962/stat : 1962 (java) S 1952 1955 31415 0 -1 4202560 116 0 0 0 3 1 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016352221352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1963] ppid=1952 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/1955/task/1963/stat : 1963 (java) S 1952 1955 31415 0 -1 4202560 194 0 0 0 6 3 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016351168808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1964] ppid=1952 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/1955/task/1964/stat : 1964 (java) S 1952 1955 31415 0 -1 4202560 63 0 0 0 4 3 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016350116264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 143 0 0 0 6 3 0 0 20 0 22 0 104725883 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 104725884 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 13857 0 0 0 146 2 0 0 20 0 22 0 104725887 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=1.38 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 12996 0 0 0 135 3 0 0 20 0 22 0 104725887 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1992] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1992/stat : 1992 (java) S 1952 1955 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726227 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015857260072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1993] ppid=1952 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/1955/task/1993/stat : 1993 (java) R 1952 1955 31415 0 -1 4202560 6 0 0 0 171 0 0 0 20 0 22 0 104726327 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015858303520 140016354340908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1994] ppid=1952 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/1955/task/1994/stat : 1994 (java) R 1952 1955 31415 0 -1 4202560 219 0 0 0 170 1 0 0 20 0 22 0 104726327 10060525568 130317 33554432000 1073741824 1073778376 140734599517392 140015856205592 140016354671654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1995] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=10.85 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 1582 0 0 0 1039 46 0 0 20 0 22 0 104725883 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=13.04 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 4573 0 0 0 1294 10 0 0 20 0 22 0 104725884 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 14244 0 0 0 213 2 0 0 20 0 22 0 104725887 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 12996 0 0 0 141 3 0 0 20 0 22 0 104725887 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 104725887 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1992] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1992/stat : 1992 (java) S 1952 1955 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726227 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015857260072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=2001] ppid=1952 vsize=9824732 CPUtime=743.51 cores=1,3,5,7 /proc/1955/task/2001/stat : 2001 (java) R 1952 1955 31415 0 -1 4202560 42 0 0 0 74338 13 0 0 20 0 22 0 104736486 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015858311056 140016354395171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=2002] ppid=1952 vsize=9824732 CPUtime=743.51 cores=1,3,5,7 /proc/1955/task/2002/stat : 2002 (java) R 1952 1955 31415 0 -1 4202560 65 0 0 0 74339 12 0 0 20 0 22 0 104736486 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015855152192 140016354764481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=2003] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/2003/stat : 2003 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104736486 10060525568 1250169 33554432000 1073741824 1073778376 140734599517392 140015856207528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1789.22 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+887.501 s] /proc/loadavg: 4.44 4.39 4.33 5/220 2114 /proc/meminfo: memFree=20870264/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9824732 CPUtime=1799.87 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 46392 0 1 0 179603 384 0 0 20 0 22 0 104725881 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2456183 1251716 2301 9 0 2446860 0 [pid=1955/tid=1957] ppid=1952 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/1955/task/1957/stat : 1957 (java) S 1952 1955 31415 0 -1 4202560 2509 0 1 0 88 5 0 0 20 0 22 0 104725882 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016512959352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1958] ppid=1952 vsize=9824732 CPUtime=10.03 cores=1,3,5,7 /proc/1955/task/1958/stat : 1958 (java) S 1952 1955 31415 0 -1 4202560 912 0 0 0 970 33 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016474450600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1959] ppid=1952 vsize=9824732 CPUtime=10.73 cores=1,3,5,7 /proc/1955/task/1959/stat : 1959 (java) S 1952 1955 31415 0 -1 4202560 905 0 0 0 1041 32 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016473398056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1960] ppid=1952 vsize=9824732 CPUtime=10.01 cores=1,3,5,7 /proc/1955/task/1960/stat : 1960 (java) S 1952 1955 31415 0 -1 4202560 847 0 0 0 968 33 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016472345512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1961] ppid=1952 vsize=9824732 CPUtime=10.7 cores=1,3,5,7 /proc/1955/task/1961/stat : 1961 (java) S 1952 1955 31415 0 -1 4202560 1390 0 0 0 1033 37 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016353274920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1962] ppid=1952 vsize=9824732 CPUtime=10.72 cores=1,3,5,7 /proc/1955/task/1962/stat : 1962 (java) S 1952 1955 31415 0 -1 4202560 1248 0 0 0 1035 37 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016352221352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1963] ppid=1952 vsize=9824732 CPUtime=11.05 cores=1,3,5,7 /proc/1955/task/1963/stat : 1963 (java) S 1952 1955 31415 0 -1 4202560 1141 0 0 0 1063 42 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016351168808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1964] ppid=1952 vsize=9824732 CPUtime=10.15 cores=1,3,5,7 /proc/1955/task/1964/stat : 1964 (java) S 1952 1955 31415 0 -1 4202560 1047 0 0 0 974 41 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016350116264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=10.91 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 1582 0 0 0 1045 46 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=13.04 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 4584 0 0 0 1294 10 0 0 20 0 22 0 104725884 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 14244 0 0 0 213 2 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 12996 0 0 0 141 3 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1992] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1992/stat : 1992 (java) S 1952 1955 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726227 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015857260072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=2001] ppid=1952 vsize=9824732 CPUtime=748.54 cores=1,3,5,7 /proc/1955/task/2001/stat : 2001 (java) R 1952 1955 31415 0 -1 4202560 42 0 0 0 74841 13 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015858311176 140016354340750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=2002] ppid=1952 vsize=9824732 CPUtime=748.54 cores=1,3,5,7 /proc/1955/task/2002/stat : 2002 (java) R 1952 1955 31415 0 -1 4202560 66 0 0 0 74842 12 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015855152424 140016354671337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=2003] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/2003/stat : 2003 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015856207528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.87 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 1955 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+887.501 s] /proc/loadavg: 4.44 4.39 4.33 5/220 2114 /proc/meminfo: memFree=20870264/32872528 swapFree=14448/1543360 [pid=1955] ppid=1952 vsize=9824732 CPUtime=1799.87 cores=1,3,5,7 /proc/1955/stat : 1955 (java) S 1952 1955 31415 0 -1 4202496 46392 0 1 0 179603 384 0 0 20 0 22 0 104725881 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140734599508528 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1955/statm: 2456183 1251716 2301 9 0 2446860 0 [pid=1955/tid=1957] ppid=1952 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/1955/task/1957/stat : 1957 (java) S 1952 1955 31415 0 -1 4202560 2509 0 1 0 88 5 0 0 20 0 22 0 104725882 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016512959352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1958] ppid=1952 vsize=9824732 CPUtime=10.03 cores=1,3,5,7 /proc/1955/task/1958/stat : 1958 (java) S 1952 1955 31415 0 -1 4202560 912 0 0 0 970 33 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016474450600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1959] ppid=1952 vsize=9824732 CPUtime=10.73 cores=1,3,5,7 /proc/1955/task/1959/stat : 1959 (java) S 1952 1955 31415 0 -1 4202560 905 0 0 0 1041 32 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016473398056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1960] ppid=1952 vsize=9824732 CPUtime=10.01 cores=1,3,5,7 /proc/1955/task/1960/stat : 1960 (java) S 1952 1955 31415 0 -1 4202560 847 0 0 0 968 33 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016472345512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1961] ppid=1952 vsize=9824732 CPUtime=10.7 cores=1,3,5,7 /proc/1955/task/1961/stat : 1961 (java) S 1952 1955 31415 0 -1 4202560 1390 0 0 0 1033 37 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016353274920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1962] ppid=1952 vsize=9824732 CPUtime=10.72 cores=1,3,5,7 /proc/1955/task/1962/stat : 1962 (java) S 1952 1955 31415 0 -1 4202560 1248 0 0 0 1035 37 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016352221352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1963] ppid=1952 vsize=9824732 CPUtime=11.05 cores=1,3,5,7 /proc/1955/task/1963/stat : 1963 (java) S 1952 1955 31415 0 -1 4202560 1141 0 0 0 1063 42 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016351168808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1964] ppid=1952 vsize=9824732 CPUtime=10.15 cores=1,3,5,7 /proc/1955/task/1964/stat : 1964 (java) S 1952 1955 31415 0 -1 4202560 1047 0 0 0 974 41 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016350116264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1965] ppid=1952 vsize=9824732 CPUtime=10.91 cores=1,3,5,7 /proc/1955/task/1965/stat : 1965 (java) S 1952 1955 31415 0 -1 4202560 1582 0 0 0 1045 46 0 0 20 0 22 0 104725883 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140016349063720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1966] ppid=1952 vsize=9824732 CPUtime=13.04 cores=1,3,5,7 /proc/1955/task/1966/stat : 1966 (java) S 1952 1955 31415 0 -1 4202560 4584 0 0 0 1294 10 0 0 20 0 22 0 104725884 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015866735208 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1967] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1967/stat : 1967 (java) S 1952 1955 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015865681528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1968] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1968/stat : 1968 (java) S 1952 1955 31415 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104725885 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015864628872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1969] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1969/stat : 1969 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015863577616 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=1970] ppid=1952 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/1955/task/1970/stat : 1970 (java) S 1952 1955 31415 0 -1 4202560 14244 0 0 0 213 2 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015862523960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=1971] ppid=1952 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/1955/task/1971/stat : 1971 (java) S 1952 1955 31415 0 -1 4202560 12996 0 0 0 141 3 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015861471416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=1972] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1972/stat : 1972 (java) S 1952 1955 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015860419064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1973] ppid=1952 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/1955/task/1973/stat : 1973 (java) S 1952 1955 31415 0 -1 4202560 51 0 0 0 13 23 0 0 20 0 22 0 104725887 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015859366728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1955/tid=1992] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/1992/stat : 1992 (java) S 1952 1955 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104726227 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015857260072 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1955/tid=2001] ppid=1952 vsize=9824732 CPUtime=748.54 cores=1,3,5,7 /proc/1955/task/2001/stat : 2001 (java) R 1952 1955 31415 0 -1 4202560 42 0 0 0 74841 13 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015858311176 140016354340750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1955/tid=2002] ppid=1952 vsize=9824732 CPUtime=748.54 cores=1,3,5,7 /proc/1955/task/2002/stat : 2002 (java) R 1952 1955 31415 0 -1 4202560 66 0 0 0 74842 12 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015855152424 140016354671337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1955/tid=2003] ppid=1952 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/1955/task/2003/stat : 2003 (java) S 1952 1955 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104736486 10060525568 1251716 33554432000 1073741824 1073778376 140734599517392 140015856207528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1955 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=139553 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=273350 # CPU time returned by wait4() is 1796.41 # while last known CPU time is 1799.87 # # 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): 0.139999 # lost CPU user time (s): 0.149994 # lost CPU system time (s): -0.00999999 Real time (s): 887.581 CPU time (s): 1800.01 CPU user time (s): 1796.18 CPU system time (s): 3.83 CPU usage (%): 202.8 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.14 system time used= 4.27335 maximum resident set size= 5006976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46429 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25240 involuntary context switches= 50500 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.54216 second user time and 7.63384 second system time The end
Begin job on node116 at 2016-06-06 17:45:23 IDJOB=4081249 IDBENCH=2254 IDSOLVER=2543 FILE ID=node116/4081249-1465227923 RUNJOBID= node116-1465218446-31432 PBS_JOBID= 19843214 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/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081249-1465227923/watcher-4081249-1465227923 -o /tmp/evaluation-result-4081249-1465227923/solver-4081249-1465227923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081249-1465227923.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED=251691620 node116.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 : 2667.134 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 : 5334.26 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 : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 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 : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 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: 25927464 kB Buffers: 20124 kB Cached: 94976 kB SwapCached: 1432 kB Active: 4637948 kB Inactive: 53052 kB Active(anon): 4577136 kB Inactive(anon): 1372 kB Active(file): 60812 kB Inactive(file): 51680 kB Unevictable: 1543360 kB Mlocked: 14448 kB SwapTotal: 67108856 kB SwapFree: 67098876 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 6123048 kB Mapped: 15400 kB Shmem: 0 kB Slab: 565732 kB SReclaimable: 9720 kB SUnreclaim: 556012 kB KernelStack: 1608 kB PageTables: 16384 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 7019648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 6017024 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= 71728 MiB End job on node116 at 2016-06-06 18:00:10