Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j PB 2012-05-28 | MSAT (TO) | 1800.92 | 1790.57 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | 757312960b1468f2853dd7cd5a4d6fc6 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 2.95155 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4000 |
Total number of constraints | 180 |
Number of soft constraints | 127 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 50 |
Top cost | 6095 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6094 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 51 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.29 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.29 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.29 c See www.sat4j.org for details. 0.03/0.29 c version 2.3.2.v20120528 0.03/0.29 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.29 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.29 c java.vm.version 19.1-b02 0.03/0.29 c java.vm.vendor Sun Microsystems Inc. 0.03/0.29 c sun.arch.data.model 64 0.03/0.29 c java.version 1.6.0_24 0.03/0.29 c os.name Linux 0.03/0.29 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.29 c os.arch amd64 0.03/0.29 c Free memory 501472288 0.03/0.29 c Max memory 7480803328 0.03/0.29 c Total memory 504102912 0.03/0.29 c Number of processors 8 0.10/0.33 c Pseudo Boolean Optimization by upper bound 0.10/0.33 c --- Begin Solver configuration --- 0.10/0.33 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.10/0.33 c Learn all clauses as in MiniSAT 0.10/0.33 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.33 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.33 c No reason simplification 0.10/0.33 c Armin Biere (Picosat) restarts strategy 0.10/0.33 c Glucose 2 learned constraints deletion strategy 0.10/0.33 c timeout=2147483s 0.10/0.33 c DB Simplification allowed=false 0.10/0.33 c --- End Solver configuration --- 0.10/0.33 c solving HOME/instance-3718075-1338248715.wbo 0.10/0.33 c reading problem ... 0.24/0.47 c ... done. Wall clock time 0.147s. 0.24/0.47 c declared #vars 4000 0.24/0.47 c internal #vars 4127 0.24/0.47 c #constraints 180 0.24/0.47 c constraints type 0.24/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 0.24/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.24/0.47 c ignored satisfied constraints => 1 0.24/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 58 0.24/0.47 c 181 constraints processed. 0.24/0.47 c objective function length is 127 literals 0.76/0.69 c SATISFIABLE 0.76/0.69 c OPTIMIZING... 0.76/0.69 c Got one! Elapsed wall clock time (in seconds):0.365 0.76/0.69 o 201 1.06/0.73 c Got one! Elapsed wall clock time (in seconds):0.405 1.06/0.73 o 160 1.06/0.77 c Got one! Elapsed wall clock time (in seconds):0.447 1.06/0.77 o 79 1.25/0.81 c Got one! Elapsed wall clock time (in seconds):0.486 1.25/0.81 o 62 1.25/0.87 c Got one! Elapsed wall clock time (in seconds):0.542 1.25/0.87 o 57 1.43/0.94 c Got one! Elapsed wall clock time (in seconds):0.614 1.43/0.94 o 51 1.65/1.12 c Got one! Elapsed wall clock time (in seconds):0.789 1.65/1.12 o 48 1.84/1.34 c Got one! Elapsed wall clock time (in seconds):1.015 1.84/1.34 o 39 1.94/1.40 c Got one! Elapsed wall clock time (in seconds):1.076 1.94/1.40 o 35 2.04/1.56 c cleaning 4877 clauses out of 9762 with flag 6883/9762 2.30/1.73 c Got one! Elapsed wall clock time (in seconds):1.402 2.30/1.73 o 30 2.50/1.91 c Got one! Elapsed wall clock time (in seconds):1.585 2.50/1.91 o 24 2.50/1.96 c Got one! Elapsed wall clock time (in seconds):1.629 2.50/1.96 o 15 2.71/2.16 c Got one! Elapsed wall clock time (in seconds):1.834 2.71/2.16 o 13 2.90/2.32 c cleaning 6275 clauses out of 12566 with flag 6240/17443 3.32/2.70 c Got one! Elapsed wall clock time (in seconds):2.373 3.32/2.70 o 11 3.44/2.88 c cleaning 5903 clauses out of 11818 with flag 12153/22970 3.90/3.28 c Got one! Elapsed wall clock time (in seconds):2.949 3.90/3.28 o 10 4.39/3.77 c Got one! Elapsed wall clock time (in seconds):3.442 4.39/3.77 o 9 4.49/3.88 c cleaning 8240 clauses out of 16493 with flag 6772/33548 5.13/4.44 c cleaning 7117 clauses out of 14253 with flag 47524/39548 5.95/5.24 c cleaning 7062 clauses out of 14139 with flag 83612/46551 6.65/5.92 c cleaning 7520 clauses out of 15075 with flag 133912/54549 7.57/6.85 c cleaning 8238 clauses out of 16554 with flag 196849/63548 9.09/8.35 c cleaning 9127 clauses out of 18316 with flag 268555/73548 10.41/9.65 c cleaning 10063 clauses out of 20190 with flag 336920/84549 11.74/10.91 c cleaning 11035 clauses out of 22126 with flag 418031/96548 13.44/12.68 c cleaning 12028 clauses out of 24092 with flag 515570/109549 14.95/14.20 c cleaning 13007 clauses out of 26064 with flag 604805/123549 17.29/16.48 c cleaning 14002 clauses out of 28056 with flag 705925/138548 19.70/18.85 c cleaning 15013 clauses out of 30057 with flag 836207/154551 23.22/22.38 c cleaning 16005 clauses out of 32047 with flag 968994/171554 25.23/24.38 c cleaning 17008 clauses out of 34037 with flag 1090637/189549 27.98/27.09 c cleaning 17997 clauses out of 36029 with flag 1233518/208549 32.30/31.32 c cleaning 19005 clauses out of 38033 with flag 1374559/228550 36.35/35.37 c cleaning 20007 clauses out of 40027 with flag 1567995/249549 39.08/38.09 c cleaning 20996 clauses out of 42020 with flag 1752423/271549 42.42/41.38 c cleaning 21994 clauses out of 44024 with flag 1909910/294549 46.32/45.17 c cleaning 22997 clauses out of 46029 with flag 2084869/318548 52.65/51.45 c cleaning 24003 clauses out of 48033 with flag 2331436/343549 57.67/56.47 c cleaning 25006 clauses out of 50031 with flag 2589240/369550 62.71/61.41 c cleaning 25999 clauses out of 52023 with flag 2825686/396548 66.87/65.50 c cleaning 27004 clauses out of 54024 with flag 3040430/424548 71.85/70.42 c cleaning 27999 clauses out of 56023 with flag 3295541/453551 78.77/77.31 c cleaning 28998 clauses out of 58021 with flag 3516430/483548 88.62/87.16 c cleaning 30003 clauses out of 60023 with flag 3788896/514548 94.31/92.72 c cleaning 31004 clauses out of 62023 with flag 4092860/546551 101.65/100.02 c cleaning 32002 clauses out of 64018 with flag 4424933/579550 106.28/104.67 c cleaning 32996 clauses out of 66014 with flag 4699707/613548 113.15/111.47 c cleaning 33991 clauses out of 68018 with flag 4976313/648548 120.33/118.59 c cleaning 35001 clauses out of 70028 with flag 5278756/684549 130.30/128.46 c cleaning 35996 clauses out of 72028 with flag 5622776/721550 140.85/138.95 c cleaning 36994 clauses out of 74031 with flag 5979321/759549 148.08/146.11 c cleaning 38006 clauses out of 76036 with flag 6334992/798548 157.13/155.14 c cleaning 38998 clauses out of 78030 with flag 6668718/838548 165.07/163.06 c cleaning 39996 clauses out of 80034 with flag 7042412/879550 172.00/169.91 c cleaning 41012 clauses out of 82036 with flag 7351028/921548 182.10/179.98 c cleaning 41999 clauses out of 84024 with flag 7725609/964548 192.70/190.49 c cleaning 42999 clauses out of 86025 with flag 8141616/1008548 204.08/201.77 c cleaning 43996 clauses out of 88027 with flag 8540126/1053549 213.92/211.56 c cleaning 44997 clauses out of 90031 with flag 8937198/1099549 227.50/225.09 c cleaning 46003 clauses out of 92033 with flag 9391311/1146548 238.58/236.02 c cleaning 47000 clauses out of 94032 with flag 9836943/1194550 254.13/251.57 c cleaning 47990 clauses out of 96030 with flag 10243114/1243548 268.61/265.97 c cleaning 49000 clauses out of 98043 with flag 10676538/1293551 278.47/275.79 c cleaning 50008 clauses out of 100040 with flag 11097932/1344548 288.56/285.77 c cleaning 50993 clauses out of 102032 with flag 11516354/1396548 302.69/299.75 c cleaning 52007 clauses out of 104039 with flag 11962925/1449548 320.08/317.01 c cleaning 52991 clauses out of 106032 with flag 12523605/1503548 337.49/334.28 c cleaning 54003 clauses out of 108041 with flag 13049256/1558548 362.82/359.45 c cleaning 55008 clauses out of 110040 with flag 13593697/1614550 379.31/375.80 c cleaning 55983 clauses out of 112031 with flag 14186737/1671549 398.68/395.12 c cleaning 57004 clauses out of 114049 with flag 14857938/1729550 413.77/410.12 c cleaning 57996 clauses out of 116043 with flag 15536337/1788548 433.88/430.19 c cleaning 59004 clauses out of 118047 with flag 16223939/1848548 452.96/449.14 c cleaning 60004 clauses out of 120044 with flag 17072378/1909549 472.25/468.30 c cleaning 61005 clauses out of 122039 with flag 17881084/1971548 484.23/480.25 c cleaning 62009 clauses out of 124035 with flag 18448644/2034549 500.41/496.34 c cleaning 62973 clauses out of 126026 with flag 19034827/2098549 522.60/518.42 c cleaning 64009 clauses out of 128052 with flag 19587424/2163548 542.00/537.75 c cleaning 65008 clauses out of 130045 with flag 20201115/2229550 563.21/558.89 c cleaning 65996 clauses out of 132035 with flag 20828083/2296548 590.11/585.69 c cleaning 66997 clauses out of 134040 with flag 21480062/2364549 617.50/612.90 c cleaning 67996 clauses out of 136042 with flag 22166573/2433548 648.03/643.10 c cleaning 69005 clauses out of 138046 with flag 22885676/2503548 673.66/668.70 c cleaning 70003 clauses out of 140043 with flag 23631313/2574550 705.55/700.29 c cleaning 70973 clauses out of 142040 with flag 24410643/2646550 731.87/726.51 c cleaning 72016 clauses out of 144067 with flag 25078976/2719550 761.69/756.21 c cleaning 73004 clauses out of 146049 with flag 25849506/2793548 790.42/784.87 c cleaning 74005 clauses out of 148048 with flag 26619891/2868551 818.11/812.46 c cleaning 75005 clauses out of 150042 with flag 27442682/2944550 837.50/831.71 c cleaning 75979 clauses out of 152038 with flag 28123151/3021551 857.24/851.34 c cleaning 77017 clauses out of 154059 with flag 28828690/3099551 883.66/877.68 c cleaning 77991 clauses out of 156039 with flag 29629416/3178548 924.41/918.24 c cleaning 78982 clauses out of 158049 with flag 30340703/3258549 954.64/948.30 c cleaning 80022 clauses out of 160068 with flag 31173506/3339550 995.70/989.25 c cleaning 81011 clauses out of 162044 with flag 31978916/3421548 1029.33/1022.76 c cleaning 81990 clauses out of 164036 with flag 32722469/3504551 1085.88/1079.12 c cleaning 82990 clauses out of 166045 with flag 33492898/3588550 1121.21/1114.36 c cleaning 84003 clauses out of 168055 with flag 34300142/3673550 1159.35/1152.38 c cleaning 85020 clauses out of 170060 with flag 35255405/3759558 1196.80/1189.66 c cleaning 86006 clauses out of 172031 with flag 36219939/3846549 1243.79/1236.41 c cleaning 87001 clauses out of 174025 with flag 37279543/3934549 1271.04/1263.52 c cleaning 87996 clauses out of 176023 with flag 38235650/4023548 1308.66/1301.03 c cleaning 89005 clauses out of 178028 with flag 39156458/4113549 1348.51/1340.76 c cleaning 89997 clauses out of 180022 with flag 40125050/4204548 1400.06/1392.16 c cleaning 91003 clauses out of 182027 with flag 41155827/4296550 1442.14/1434.06 c cleaning 91999 clauses out of 184022 with flag 42235322/4389548 1499.88/1491.67 c cleaning 93001 clauses out of 186024 with flag 43222439/4483549 1520.73/1512.32 c cleaning 94000 clauses out of 188022 with flag 44015027/4578548 1558.11/1549.53 c cleaning 94984 clauses out of 190022 with flag 44809838/4674548 1607.47/1598.77 c cleaning 96003 clauses out of 192038 with flag 45981715/4771548 1649.15/1640.27 c cleaning 97004 clauses out of 194035 with flag 47033440/4869548 1684.21/1675.18 c cleaning 98000 clauses out of 196033 with flag 47931718/4968550 1736.08/1726.81 c cleaning 98998 clauses out of 198031 with flag 48887797/5068548 1774.73/1765.37 c cleaning 100002 clauses out of 200033 with flag 49884073/5169548 1800.08/1790.51 c starts : 290 1800.08/1790.51 c conflicts : 5243674 1800.08/1790.51 c decisions : 6885406 1800.08/1790.51 c propagations : 242324907 1800.08/1790.51 c inspects : 20016726527 1800.08/1790.51 c shortcuts : 0 1800.08/1790.51 c learnt literals : 0 1800.08/1790.51 c learnt binary clauses : 0 1800.08/1790.51 c learnt ternary clauses : 0 1800.08/1790.51 c learnt constraints : 5243674 1800.08/1790.51 c ignored constraints : 0 1800.08/1790.51 c root simplifications : 0 1800.08/1790.51 c removed literals (reason simplification) : 0 1800.08/1790.51 c reason swapping (by a shorter reason) : 0 1800.08/1790.51 c Calls to reduceDB : 100 1800.08/1790.51 c Number of update (reduction) of LBD : 3223475 1800.08/1790.51 c number of reductions to clauses (during analyze) : 0 1800.08/1790.51 c number of learned constraints concerned by reduction : 0 1800.08/1790.51 c number of learning phase by resolution : 0 1800.08/1790.51 c number of learning phase by cutting planes : 0 1800.08/1790.51 c speed (assignments/second) : 135375.2312818152 1800.08/1790.51 c non guided choices 195694 1800.08/1790.54 c learnt constraints type 1800.08/1790.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174202 1800.08/1790.54 c constraints type 1800.08/1790.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 1800.08/1790.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.08/1790.54 c ignored satisfied constraints => 1 1800.08/1790.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 59 1800.08/1790.54 c 182 constraints processed. 1800.08/1790.54 s SATISFIABLE 1800.08/1790.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1800.08/1790.55 c objective function=9 1800.08/1790.55 c Total wall clock time (in seconds): 1790.227
OK 9
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3718075-1338248715/watcher-3718075-1338248715 -o /tmp/evaluation-result-3718075-1338248715/solver-3718075-1338248715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718075-1338248715.wbo 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: 1.00 1.02 1.50 4/175 32708 /proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=11812 CPUtime=0 cores=1,3,5,7 /proc/32708/stat : 32708 (runsolver) D 32704 32708 30566 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 290998880 12095488 55 33554432000 4194304 5436572 140737286580752 140737286576632 5057063 0 0 4096 24578 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/32708/statm: 2953 55 36 304 0 2645 0 [startup+0.0149651 s] /proc/loadavg: 1.00 1.02 1.50 4/175 32708 /proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/32708/stat : 32708 (java) D 32704 32708 30566 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 290998880 3653632 48 33554432000 1073741824 1073778376 140734996119392 140734996116488 219504803472 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0 /proc/32708/statm: 892 48 37 9 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3568 [startup+0.10017 s] /proc/loadavg: 1.00 1.02 1.50 4/175 32708 /proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/32708/stat : 32708 (java) D 32704 32708 30566 0 -1 4202496 1064 0 15 0 0 0 0 0 20 0 1 0 290998880 23793664 806 33554432000 1073741824 1073778376 140736147729856 140736147719848 140629020627728 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 7 0 0 /proc/32708/statm: 5809 806 599 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.300142 s] /proc/loadavg: 1.00 1.02 1.50 4/175 32708 /proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9558416 CPUtime=0.1 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 4222 0 28 0 8 2 0 0 20 0 18 0 290998880 9787817984 5437 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2389604 5437 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558416 [startup+0.700155 s] /proc/loadavg: 1.00 1.02 1.50 4/175 32708 /proc/meminfo: memFree=30679468/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=1.06 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 10680 0 28 0 103 3 0 0 20 0 19 0 290998880 9855979520 11705 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 11705 2234 9 0 2396937 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9624980 [startup+1.50069 s] /proc/loadavg: 1.00 1.02 1.50 4/213 32746 /proc/meminfo: memFree=30585740/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=2.04 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11080 0 28 0 200 4 0 0 20 0 19 0 290998880 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 15830 2241 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1.25 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2459 0 7 0 123 2 0 0 20 0 19 0 290998892 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140629014983352 140628856425519 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290998898 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2781 0 1 0 38 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.36 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4662 0 1 0 36 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 15830 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 9624980 [startup+3.10065 s] /proc/loadavg: 1.00 1.02 1.50 4/213 32746 /proc/meminfo: memFree=30533548/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=3.79 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11199 0 28 0 375 4 0 0 20 0 19 0 290998880 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 25124 2267 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=2.8 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2463 0 7 0 278 2 0 0 20 0 19 0 290998892 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856405589 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0.03 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 290998898 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4686 0 1 0 44 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 25124 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 9624980 [startup+6.30066 s] /proc/loadavg: 1.08 1.03 1.50 4/213 32746 /proc/meminfo: memFree=30498500/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=7.07 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 11228 0 28 0 702 5 0 0 20 0 19 0 290998880 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 27901 2267 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=5.89 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 2468 0 7 0 586 3 0 0 20 0 19 0 290998892 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856425504 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 290998894 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 19 0 290998898 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4686 0 1 0 44 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 27901 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.07 Current children cumulated vsize (KiB) 9624980 [startup+12.7008 s] ################ # More data... # ################ [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.4 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 420 0 0 0 132 8 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.43 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 134 9 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.54 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 144 10 0 0 20 0 19 0 290998894 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=7.87 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 842 0 0 0 784 3 0 0 20 0 19 0 290998898 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.68 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 290998904 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211724 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1731.57 Current children cumulated vsize (KiB) 9624980 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 4/213 317 /proc/meminfo: memFree=29074948/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=1791.87 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179077 110 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 211745 2268 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1770.6 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177028 32 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1791.87 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.5 s] /proc/loadavg: 2.00 2.00 1.91 2/193 320 /proc/meminfo: memFree=29816992/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179897 111 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 211745 2268 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1778.8 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177847 33 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.5 s] /proc/loadavg: 2.00 2.00 1.91 2/193 320 /proc/meminfo: memFree=29816992/32873648 swapFree=7116/7116 [pid=32708] ppid=32704 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7 /proc/32708/stat : 32708 (java) S 32704 32708 30566 0 -1 4202496 16928 0 28 0 179897 111 0 0 20 0 19 0 290998880 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140736147720992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/32708/statm: 2406245 211745 2268 9 0 2396937 0 [pid=32708/tid=32712] ppid=32704 vsize=9624980 CPUtime=1778.8 cores=1,3,5,7 /proc/32708/task/32712/stat : 32712 (java) R 32704 32708 30566 0 -1 4202560 3114 0 7 0 177847 33 0 0 20 0 19 0 290998892 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140629014982944 140628856494103 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=32708/tid=32713] ppid=32704 vsize=9624980 CPUtime=1.6 cores=1,3,5,7 /proc/32708/task/32713/stat : 32713 (java) S 32704 32708 30566 0 -1 4202560 642 0 0 0 150 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628976474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32715] ppid=32704 vsize=9624980 CPUtime=1.45 cores=1,3,5,7 /proc/32708/task/32715/stat : 32715 (java) S 32704 32708 30566 0 -1 4202560 480 0 0 0 136 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628975421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32717] ppid=32704 vsize=9624980 CPUtime=1.41 cores=1,3,5,7 /proc/32708/task/32717/stat : 32717 (java) S 32704 32708 30566 0 -1 4202560 390 0 0 0 133 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628974369064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32719] ppid=32704 vsize=9624980 CPUtime=1.56 cores=1,3,5,7 /proc/32708/task/32719/stat : 32719 (java) S 32704 32708 30566 0 -1 4202560 662 0 0 0 148 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628855875752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32721] ppid=32704 vsize=9624980 CPUtime=1.42 cores=1,3,5,7 /proc/32708/task/32721/stat : 32721 (java) S 32704 32708 30566 0 -1 4202560 477 0 0 0 132 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628854823976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32724] ppid=32704 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/32708/task/32724/stat : 32724 (java) S 32704 32708 30566 0 -1 4202560 424 0 0 0 136 8 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628853771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32725] ppid=32704 vsize=9624980 CPUtime=1.47 cores=1,3,5,7 /proc/32708/task/32725/stat : 32725 (java) S 32704 32708 30566 0 -1 4202560 589 0 0 0 138 9 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628852718376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32727] ppid=32704 vsize=9624980 CPUtime=1.59 cores=1,3,5,7 /proc/32708/task/32727/stat : 32727 (java) S 32704 32708 30566 0 -1 4202560 543 0 0 0 149 10 0 0 20 0 19 0 290998894 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628851665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32730] ppid=32704 vsize=9624980 CPUtime=8.16 cores=1,3,5,7 /proc/32708/task/32730/stat : 32730 (java) S 32704 32708 30566 0 -1 4202560 846 0 0 0 813 3 0 0 20 0 19 0 290998898 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628369336808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32732] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32732/stat : 32732 (java) S 32704 32708 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628368282872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32734] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32734/stat : 32734 (java) S 32704 32708 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290998899 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628367229960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32735] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32735/stat : 32735 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628366178448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32708/tid=32736] ppid=32704 vsize=9624980 CPUtime=0.43 cores=1,3,5,7 /proc/32708/task/32736/stat : 32736 (java) S 32704 32708 30566 0 -1 4202560 2787 0 1 0 43 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628365126584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32708/tid=32738] ppid=32704 vsize=9624980 CPUtime=0.46 cores=1,3,5,7 /proc/32708/task/32738/stat : 32738 (java) S 32704 32708 30566 0 -1 4202560 4708 0 1 0 46 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628364073784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32741] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32741/stat : 32741 (java) S 32704 32708 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628363021176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32708/tid=32743] ppid=32704 vsize=9624980 CPUtime=0.7 cores=1,3,5,7 /proc/32708/task/32743/stat : 32743 (java) S 32704 32708 30566 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 290998904 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628361968584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32708/tid=32746] ppid=32704 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/32708/task/32746/stat : 32746 (java) S 32704 32708 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290998929 9855979520 211745 33554432000 1073741824 1073778376 140736147729856 140628360914088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9624980 Child status: 143 Real time (s): 1790.57 CPU time (s): 1800.92 CPU user time (s): 1799.29 CPU system time (s): 1.62975 CPU usage (%): 100.578 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 1.62975 maximum resident set size= 847144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16974 page faults= 28 swaps= 0 block input operations= 11176 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40918 involuntary context switches= 21336 runsolver used 6.51001 second user time and 14.8827 second system time The end
Begin job on node114 at 2012-05-29 01:45:15 IDJOB=3718075 IDBENCH=78671 IDSOLVER=2301 FILE ID=node114/3718075-1338248715 RUNJOBID= node114-1338248715-32682 PBS_JOBID= 14624648 Free space on /tmp= 71464 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718075-1338248715/watcher-3718075-1338248715 -o /tmp/evaluation-result-3718075-1338248715/solver-3718075-1338248715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718075-1338248715.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6 RANDOM SEED=979839455 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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.48 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.242 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 : 5331.91 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.242 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 : 5451.90 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30680756 kB Buffers: 844360 kB Cached: 404440 kB SwapCached: 2244 kB Active: 1250700 kB Inactive: 13640 kB Active(anon): 516 kB Inactive(anon): 9776 kB Active(file): 1250184 kB Inactive(file): 3864 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103568 kB Dirty: 800 kB Writeback: 0 kB AnonPages: 12892 kB Mapped: 10108 kB Shmem: 104 kB Slab: 790452 kB SReclaimable: 234412 kB SUnreclaim: 556040 kB KernelStack: 1376 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71464 MiB End job on node114 at 2012-05-29 02:15:08