Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 88 | 1800.28 | 1786.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 1226 |
Total number of constraints | 4208 |
Number of constraints which are clauses | 4208 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 105 |
Number of terms in the objective function | 1226 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1226 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1226 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354709-1176722838/instance-354709-1176722838.opb 0.20/0.20 c reading problem ... 1.57/1.14 c ... done. Wall clock time 0.942s. 1.57/1.14 c CPU time (experimental) 0.76s. 1.57/1.14 c #vars 1226 1.57/1.14 c #constraints 4208 1.69/1.26 c SATISFIABLE 1.69/1.26 c OPTIMIZING... 1.69/1.26 c Got one! Elapsed wall clock time (in seconds):1.06 1.69/1.27 o 88 1086.73/1077.56 c cleaning 1510239 clauses out of 3020505 for limit 922372.65759762 1230.87/1221.78 c cleaning 755377 clauses out of 1510766 for limit 3041197.774632798 1251.35/1242.28 c cleaning 377933 clauses out of 755890 for limit 1.0033990033229122E7 1262.54/1253.44 c cleaning 189213 clauses out of 378457 for limit 3.3050011108778242E7 1266.14/1257.04 c cleaning 94867 clauses out of 189745 for limit 1.0881987192994733E8 1267.34/1258.24 c cleaning 47679 clauses out of 95378 for limit 3.5701480536292017E8 1267.74/1258.65 c cleaning 24088 clauses out of 48197 for limit 1.1627900178728845E9 1268.34/1259.28 c cleaning 12293 clauses out of 24611 for limit 3.76285039340293E9 1268.54/1259.50 c cleaning 6393 clauses out of 12816 for limit 1.189270309583199E10 1268.74/1259.65 c cleaning 3446 clauses out of 6923 for limit 3.630735661254161E10 1268.84/1259.78 c cleaning 1967 clauses out of 3977 for limit 1.0422916499087987E11 1268.94/1259.88 c cleaning 1239 clauses out of 2511 for limit 2.7251382252464148E11 1269.04/1259.98 c cleaning 872 clauses out of 1771 for limit 6.36558119885645E11 1269.14/1260.08 c cleaning 698 clauses out of 1400 for limit 1.329287701296472E12 1269.24/1260.17 c cleaning 599 clauses out of 1201 for limit 2.552850545514904E12 1269.34/1260.27 c cleaning 537 clauses out of 1102 for limit 4.588203692025352E12 1269.44/1260.37 c cleaning 518 clauses out of 1065 for limit 7.829437539097066E12 1269.54/1260.47 c cleaning 508 clauses out of 1047 for limit 1.3133769101467375E13 1269.64/1260.57 c cleaning 503 clauses out of 1039 for limit 2.182611293395983E13 1269.74/1260.66 c cleaning 517 clauses out of 1037 for limit 3.609969959941297E13 1269.84/1260.76 c cleaning 507 clauses out of 1019 for limit 6.052426659876125E13 1269.94/1260.85 c cleaning 506 clauses out of 1012 for limit 1.0050301585842908E14 1270.04/1260.94 c cleaning 501 clauses out of 1006 for limit 1.667314445545837E14 1270.14/1261.03 c cleaning 491 clauses out of 1007 for limit 2.752396098849615E14 1270.24/1261.15 c cleaning 507 clauses out of 1016 for limit 4.498861084249372E14 1270.34/1261.27 c cleaning 500 clauses out of 1007 for limit 7.47056904708371E14 1270.44/1261.38 c cleaning 502 clauses out of 1009 for limit 1.2320175630453652E15 1270.54/1261.48 c cleaning 486 clauses out of 1005 for limit 2.035770734928461E15 1270.64/1261.58 c cleaning 503 clauses out of 1019 for limit 3.3111330459722766E-5 1270.74/1261.68 c cleaning 504 clauses out of 1016 for limit 5.47662487586552E-5 1270.84/1261.78 c cleaning 500 clauses out of 1012 for limit 9.06738543793639E-5 1270.94/1261.88 c cleaning 493 clauses out of 1012 for limit 1.4953331600279295E-4 1271.04/1261.99 c cleaning 505 clauses out of 1019 for limit 2.4490642552041565E-4 1271.14/1262.09 c cleaning 499 clauses out of 1014 for limit 4.0587499447091965E-4 1271.24/1262.19 c cleaning 498 clauses out of 1015 for limit 6.686827124611277E-4 1271.34/1262.29 c cleaning 493 clauses out of 1017 for limit 0.001100578619798998 1271.44/1262.38 c cleaning 501 clauses out of 1024 for limit 0.0018025941408478332 1271.54/1262.49 c cleaning 502 clauses out of 1024 for limit 0.0029756945795675225 1271.74/1262.60 c cleaning 501 clauses out of 1021 for limit 0.004916815858523255 1271.84/1262.73 c cleaning 500 clauses out of 1020 for limit 0.008116436607729831 1271.94/1262.86 c cleaning 498 clauses out of 1020 for limit 0.013385089763610159 1272.04/1262.96 c cleaning 501 clauses out of 1022 for limit 0.022030606378058166 1272.14/1263.06 c cleaning 498 clauses out of 1022 for limit 0.036367784904115734 1272.24/1263.17 c cleaning 502 clauses out of 1024 for limit 0.059858203161285005 1272.34/1263.29 c cleaning 503 clauses out of 1021 for limit 0.0989052319371051 1272.44/1263.39 c cleaning 495 clauses out of 1018 for limit 0.16358863055369025 1272.54/1263.49 c cleaning 501 clauses out of 1024 for limit 0.26846726407219185 1272.64/1263.59 c cleaning 502 clauses out of 1025 for limit 0.44319243510587686 1272.74/1263.69 c cleaning 501 clauses out of 1020 for limit 0.7322651810621295 1272.83/1263.80 c cleaning 499 clauses out of 1019 for limit 1.2087883308536636 1273.04/1263.91 c cleaning 496 clauses out of 1021 for limit 1.9915403023482552 1273.13/1264.00 c cleaning 499 clauses out of 1024 for limit 3.271419667055407 1273.23/1264.10 c cleaning 497 clauses out of 1026 for limit 5.389881969528703 1273.33/1264.21 c cleaning 501 clauses out of 1028 for limit 8.862472002964504 1273.43/1264.33 c cleaning 498 clauses out of 1028 for limit 14.63003196514693 1273.54/1264.43 c cleaning 497 clauses out of 1029 for limit 24.07932952900272 1273.64/1264.54 c cleaning 501 clauses out of 1032 for limit 39.59459951820015 1273.74/1264.65 c cleaning 507 clauses out of 1031 for limit 65.36012493066109 1273.84/1264.77 c cleaning 491 clauses out of 1025 for limit 108.52706854505807 1273.94/1264.86 c cleaning 507 clauses out of 1033 for limit 177.41199984458459 1274.04/1264.99 c cleaning 502 clauses out of 1027 for limit 294.58000698442174 1274.24/1265.10 c cleaning 502 clauses out of 1026 for limit 486.76209289035256 1274.34/1265.20 c cleaning 495 clauses out of 1022 for limit 804.2666827846366 1274.44/1265.31 c cleaning 502 clauses out of 1028 for limit 1319.921971139444 1274.54/1265.41 c cleaning 503 clauses out of 1025 for limit 2180.9157185394056 1274.64/1265.51 c cleaning 501 clauses out of 1023 for limit 3607.260556739991 1274.74/1265.60 c cleaning 498 clauses out of 1024 for limit 5954.949744352628 1274.84/1265.70 c cleaning 498 clauses out of 1025 for limit 9801.116855415365 1274.94/1265.82 c cleaning 492 clauses out of 1025 for limit 16131.042322158883 1275.04/1265.92 c cleaning 501 clauses out of 1033 for limit 26396.227425470483 1275.14/1266.01 c cleaning 505 clauses out of 1032 for limit 43573.091363311774 1275.24/1266.11 c cleaning 500 clauses out of 1027 for limit 72207.70027104198 1275.34/1266.21 c cleaning 502 clauses out of 1029 for limit 119086.76364686387 1275.44/1266.31 c cleaning 504 clauses out of 1027 for limit 196772.45815324303 1275.54/1266.40 c cleaning 498 clauses out of 1022 for limit 325765.60902213946 1275.54/1266.49 c cleaning 498 clauses out of 1025 for limit 536194.8806838681 1275.74/1266.60 c cleaning 494 clauses out of 1025 for limit 882489.4591943793 1275.74/1266.69 c cleaning 501 clauses out of 1032 for limit 1446918.5803320128 1275.86/1266.79 c cleaning 500 clauses out of 1031 for limit 2388476.719698211 1275.96/1266.89 c cleaning 514 clauses out of 1030 for limit 3938799.0855331295 1276.06/1266.99 c cleaning 508 clauses out of 1017 for limit 6585223.191346246 1276.16/1267.09 c cleaning 491 clauses out of 1009 for limit 1.094601837055733E7 1276.27/1267.19 c cleaning 489 clauses out of 1017 for limit 1.789154154488946E7 1276.37/1267.28 c cleaning 512 clauses out of 1029 for limit 2.919064814916626E7 1276.46/1267.38 c cleaning 508 clauses out of 1016 for limit 4.870648401739479E7 1276.56/1267.47 c cleaning 504 clauses out of 1008 for limit 8.09609961401265E7 1276.66/1267.57 c cleaning 483 clauses out of 1004 for limit 1.3404744771970989E8 1276.76/1267.69 c cleaning 491 clauses out of 1021 for limit 2.1738141286178008E8 1276.86/1267.79 c cleaning 500 clauses out of 1030 for limit 3.553585846759912E8 1276.96/1267.89 c cleaning 515 clauses out of 1032 for limit 5.86069673923727E8 1277.06/1267.99 c cleaning 504 clauses out of 1020 for limit 9.808174803302199E8 1277.16/1268.08 c cleaning 490 clauses out of 1012 for limit 1.6237744237370744E9 1277.26/1268.18 c cleaning 486 clauses out of 1021 for limit 2.6515623401439037E9 1277.37/1268.27 c cleaning 496 clauses out of 1036 for limit 4.31378233441043E9 1277.47/1268.37 c cleaning 519 clauses out of 1039 for limit 7.086369776960061E9 1277.56/1268.47 c cleaning 510 clauses out of 1021 for limit 1.1904304165504948E10 1277.66/1268.57 c cleaning 483 clauses out of 1010 for limit 1.982575607189121E10 1277.76/1268.67 c cleaning 492 clauses out of 1028 for limit 3.2154992779543022E10 1277.86/1268.77 c cleaning 494 clauses out of 1035 for limit 5.261657277089709E10 1277.96/1268.86 c cleaning 495 clauses out of 1041 for limit 8.627164195775847E10 1278.06/1268.95 c cleaning 523 clauses out of 1046 for limit 1.4159339525144498E11 1278.16/1269.05 c cleaning 483 clauses out of 1023 for limit 2.3875635144842697E11 1278.26/1269.15 c cleaning 520 clauses out of 1040 for limit 3.8730501015281525E11 1278.36/1269.25 c cleaning 496 clauses out of 1021 for limit 6.512550606026752E11 1278.47/1269.36 c cleaning 512 clauses out of 1025 for limit 1.0698154725472559E12 1278.56/1269.46 c cleaning 504 clauses out of 1013 for limit 1.7851683636460642E12 1278.66/1269.55 c cleaning 503 clauses out of 1008 for limit 2.955625945249106E12 1278.86/1269.73 c cleaning 491 clauses out of 1005 for limit 4.888772498430898E12 1278.96/1269.89 c cleaning 507 clauses out of 1014 for limit 7.990681516260044E12 1279.06/1269.99 c cleaning 487 clauses out of 1007 for limit 1.3269305495218688E13 1279.26/1270.10 c cleaning 511 clauses out of 1022 for limit 2.160487103036893E13 1279.36/1270.20 c cleaning 505 clauses out of 1010 for limit 3.601658861983842E13 1279.46/1270.31 c cleaning 502 clauses out of 1005 for limit 5.969167619463605E13 1279.56/1270.41 c cleaning 499 clauses out of 1003 for limit 9.863584970269594E13 1279.66/1270.50 c cleaning 488 clauses out of 1003 for limit 1.6250104771621834E14 1279.76/1270.61 c cleaning 496 clauses out of 1015 for limit 2.6481765968998722E14 1279.86/1270.71 c cleaning 492 clauses out of 1019 for limit 4.350054403474154E14 1279.96/1270.81 c cleaning 502 clauses out of 1027 for limit 7.117939885655686E14 1280.06/1270.93 c cleaning 495 clauses out of 1025 for limit 1.1761339356003162E15 1280.16/1271.04 c cleaning 513 clauses out of 1030 for limit 1.9301866555267895E15 1280.26/1271.15 c cleaning 500 clauses out of 1017 for limit 3.22382506493238E-5 1280.46/1271.30 c cleaning 493 clauses out of 1017 for limit 5.31651880767485E-5 1280.56/1271.41 c cleaning 502 clauses out of 1025 for limit 8.707928228406742E-5 1280.66/1271.52 c cleaning 504 clauses out of 1023 for limit 1.4388613918671288E-4 1280.76/1271.63 c cleaning 498 clauses out of 1018 for limit 2.3821449850654506E-4 1280.86/1271.77 c cleaning 495 clauses out of 1020 for limit 3.9207728643844686E-4 1280.96/1271.89 c cleaning 497 clauses out of 1025 for limit 6.434338091980004E-4 1281.06/1272.00 c cleaning 507 clauses out of 1031 for limit 0.0010581043494078091 1281.16/1272.09 c cleaning 494 clauses out of 1021 for limit 0.0017567654209169564 1281.36/1272.20 c cleaning 501 clauses out of 1027 for limit 0.002880215345725168 1281.46/1272.32 c cleaning 498 clauses out of 1026 for limit 0.004754489906996646 1281.56/1272.44 c cleaning 497 clauses out of 1028 for limit 0.007825535445857791 1281.66/1272.55 c cleaning 498 clauses out of 1032 for limit 0.012868202278739407 1281.76/1272.66 c cleaning 501 clauses out of 1035 for limit 0.02118105682500071 1281.86/1272.77 c cleaning 501 clauses out of 1032 for limit 0.03496190926082189 1281.96/1272.88 c cleaning 490 clauses out of 1031 for limit 0.05771278873653885 1282.06/1272.99 c cleaning 505 clauses out of 1041 for limit 0.09426183351946743 1282.16/1273.10 c cleaning 503 clauses out of 1036 for limit 0.15620061671189694 1282.36/1273.20 c cleaning 506 clauses out of 1033 for limit 0.2583438129470162 1282.46/1273.30 c cleaning 501 clauses out of 1030 for limit 0.4285688328089533 1282.56/1273.40 c cleaning 493 clauses out of 1026 for limit 0.7073963259933262 1282.66/1273.50 c cleaning 501 clauses out of 1033 for limit 1.1586859108514331 1282.66/1273.59 c cleaning 504 clauses out of 1033 for limit 1.9127408140360276 1282.76/1273.69 c cleaning 500 clauses out of 1028 for limit 3.1665380210779195 1282.86/1273.78 c cleaning 494 clauses out of 1028 for limit 5.2220448086352365 1282.96/1273.87 c cleaning 503 clauses out of 1034 for limit 8.561878429008086 1283.05/1273.97 c cleaning 497 clauses out of 1031 for limit 14.160768318349263 1283.15/1274.07 c cleaning 504 clauses out of 1034 for limit 23.285246027583884 1283.25/1274.17 c cleaning 499 clauses out of 1030 for limit 38.549613843945565 1283.35/1274.27 c cleaning 501 clauses out of 1031 for limit 63.51180835388431 1283.45/1274.36 c cleaning 502 clauses out of 1031 for limit 104.8443127460151 1800.06/1786.21 c starts : 26 1800.06/1786.21 c conflicts : 4853634 1800.06/1786.21 c decisions : 10203863 1800.06/1786.21 c propagations : 194449151 1800.06/1786.21 c inspects : 1304823848 1800.06/1786.21 c learnt literals : 0 1800.06/1786.21 c learnt binary clauses : 0 1800.06/1786.21 c learnt ternary clauses : 0 1800.06/1786.21 c learnt clauses : 4853634 1800.06/1786.21 c root simplifications : 0 1800.06/1786.21 c removed literals (reason simplification) : 0 1800.06/1786.21 c reason swapping (by a shorter reason) : 0 1800.06/1786.21 c Calls to reduceDB : 151 1800.06/1786.21 c speed (decisions/second) : 5716.750910131962 1800.06/1786.21 c non guided choices 357 1800.06/1786.21 s SATISFIABLE 1800.06/1786.22 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 1800.06/1786.22 v 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 1800.06/1786.22 v -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 1800.06/1786.22 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.06/1786.22 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.06/1786.22 v -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.06/1786.22 v -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.06/1786.22 v x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.06/1786.22 v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.06/1786.22 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.06/1786.22 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.06/1786.22 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.06/1786.22 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.06/1786.22 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.06/1786.22 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.06/1786.22 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.06/1786.22 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.06/1786.22 v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 1800.06/1786.22 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 1800.06/1786.22 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.06/1786.22 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.06/1786.22 v x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 1800.06/1786.22 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.06/1786.22 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.06/1786.22 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 1800.06/1786.22 v x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.06/1786.22 v -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.06/1786.22 v x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 1800.06/1786.22 v -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 1800.06/1786.22 v -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.06/1786.22 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 1800.06/1786.22 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.06/1786.22 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 1800.06/1786.22 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.06/1786.22 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 x757 1800.06/1786.22 v x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 1800.06/1786.22 v -x779 x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.06/1786.22 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.06/1786.22 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1800.06/1786.22 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.06/1786.22 v -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 1800.06/1786.22 v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.06/1786.22 v -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.06/1786.22 v -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.06/1786.22 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 1800.06/1786.22 v -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.06/1786.22 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.06/1786.22 v x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.06/1786.22 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 1800.06/1786.22 v -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.06/1786.22 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 1800.06/1786.22 v -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 1800.06/1786.22 v -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.06/1786.22 v -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.06/1786.22 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.06/1786.22 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.06/1786.22 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.06/1786.22 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.06/1786.22 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.06/1786.22 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.06/1786.22 c objective function=88 1800.06/1786.22 c Total wall clock time (ms): 1786.021
OK 88
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-354709-1176722838 -o ROOT/results/node63/solver-354709-1176722838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354709-1176722838/sat4jPseudoResolution.jar /tmp/evaluation/354709-1176722838/instance-354709-1176722838.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12294 /proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=152 CPUtime=0 /proc/12294/stat : 12294 (java) R 12292 12294 11912 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 148273718 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2969899 0 0 4096 0 0 0 0 17 1 0 0 /proc/12294/statm: 38 26 19 9 0 4 0 [startup+0.0883081 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12294 /proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1777844 CPUtime=0.07 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 3844 0 1 0 5 2 0 0 18 0 7 0 148273718 1820512256 3587 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 444461 3587 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.101311 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12294 /proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1780108 CPUtime=0.08 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 148273718 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 445027 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301327 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12294 /proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1781412 CPUtime=0.33 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 5064 0 1 0 30 3 0 0 18 0 12 0 148273718 1824165888 4803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 445353 4803 1264 9 0 442965 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781412 [startup+0.701374 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12294 /proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1783952 CPUtime=0.92 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 7403 0 1 0 88 4 0 0 18 0 12 0 148273718 1826766848 6730 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 445988 6730 1301 9 0 443600 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 1783952 [startup+1.50246 s] /proc/loadavg: 0.99 0.97 0.98 2/76 12306 /proc/meminfo: memFree=1754308/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1787476 CPUtime=2.26 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 14404 0 1 0 218 8 0 0 18 0 13 0 148273718 1830375424 12577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 446869 12577 1314 9 0 444481 0 [pid=12294/tid=12296] ppid=12292 vsize=1787476 CPUtime=0.95 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 10344 0 1 0 89 6 0 0 20 0 13 0 148273719 1830375424 12579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1787476 CPUtime=0.67 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1766 0 0 0 67 0 0 0 17 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1787476 CPUtime=0.62 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1571 0 0 0 61 1 0 0 17 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 1787476 [startup+3.10262 s] /proc/loadavg: 0.99 0.97 0.98 2/77 12308 /proc/meminfo: memFree=1738300/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1787476 CPUtime=3.98 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 15535 0 1 0 389 9 0 0 18 0 13 0 148273718 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 446869 13706 1316 9 0 444481 0 [pid=12294/tid=12296] ppid=12292 vsize=1787476 CPUtime=2.5 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 11458 0 1 0 244 6 0 0 17 0 13 0 148273719 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109736581 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1787476 CPUtime=0.76 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 76 0 0 0 16 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1787476 CPUtime=0.69 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1575 0 0 0 68 1 0 0 16 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1787476 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 1787476 [startup+6.30196 s] /proc/loadavg: 0.99 0.97 0.98 2/77 12308 /proc/meminfo: memFree=1730172/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1787444 CPUtime=7.18 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 17236 0 1 0 709 9 0 0 18 0 13 0 148273718 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 446861 15374 1316 9 0 444473 0 [pid=12294/tid=12296] ppid=12292 vsize=1787444 CPUtime=5.67 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 13157 0 1 0 560 7 0 0 25 0 13 0 148273719 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614079 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1787444 CPUtime=0.77 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 77 0 0 0 16 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1787444 CPUtime=0.71 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1577 0 0 0 70 1 0 0 15 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 1787444 [startup+12.7026 s] /proc/loadavg: 0.99 0.97 0.98 2/77 12308 /proc/meminfo: memFree=1714436/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1787444 CPUtime=13.6 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 21066 0 1 0 1349 11 0 0 18 0 13 0 148273718 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 446861 19204 1316 9 0 444473 0 [pid=12294/tid=12296] ppid=12292 vsize=1787444 CPUtime=12.06 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 16986 0 1 0 1198 8 0 0 25 0 13 0 148273719 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109736713 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1787444 CPUtime=0.78 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 78 0 0 0 16 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1787444 CPUtime=0.72 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1578 0 0 0 71 1 0 0 17 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1787444 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.6 Current children cumulated vsize (KiB) 1787444 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.98 2/77 12308 /proc/meminfo: memFree=1677700/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1787224 CPUtime=26.39 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 30089 0 1 0 2624 15 0 0 18 0 13 0 148273718 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 446806 28172 1316 9 0 444418 0 [pid=12294/tid=12296] ppid=12292 vsize=1787224 CPUtime=24.86 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 26008 0 1 0 2473 13 0 0 25 0 13 0 148273719 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614040 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1787224 CPUtime=0 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1787224 CPUtime=0 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1787224 CPUtime=0 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=9.9 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 29753 0 0 0 966 24 0 0 16 0 13 0 148273723 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.54 Current children cumulated vsize (KiB) 1797472 [startup+1662.3 s] /proc/loadavg: 1.12 1.03 1.00 3/77 12310 /proc/meminfo: memFree=925508/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1797472 CPUtime=1675.37 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 594878 0 1 0 167249 288 0 0 18 0 13 0 148273718 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 449368 228689 1331 9 0 446980 0 [pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1637.77 /proc/12294/task/12296/stat : 12296 (java) S 12292 12294 11912 0 -1 64 37746 0 1 0 163759 18 0 0 25 0 13 0 148273719 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=12.93 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 260621 0 0 0 1171 122 0 0 16 0 13 0 148273721 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=12.99 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 262656 0 0 0 1179 120 0 0 21 0 13 0 148273721 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=9.91 /proc/12294/task/12299/stat : 12299 (java) R 12292 12294 11912 0 -1 64 29753 0 0 0 967 24 0 0 16 0 13 0 148273723 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104904115 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.37 Current children cumulated vsize (KiB) 1797472 [startup+1722.3 s] /proc/loadavg: 1.05 1.02 1.00 2/77 12310 /proc/meminfo: memFree=809604/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1797472 CPUtime=1735.5 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 614022 0 1 0 173255 295 0 0 18 0 13 0 148273718 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 449368 244078 1331 9 0 446980 0 [pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1695.84 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37747 0 1 0 169566 18 0 0 25 0 13 0 148273719 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109763699 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.1 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 260621 0 0 0 1188 122 0 0 18 0 13 0 148273721 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.15 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 262656 0 0 0 1195 120 0 0 16 0 13 0 148273721 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 16 0 13 0 148273723 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.5 Current children cumulated vsize (KiB) 1797472 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/77 12310 /proc/meminfo: memFree=689028/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1797472 CPUtime=1796.16 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 645962 0 1 0 179308 308 0 0 18 0 13 0 148273718 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 449368 274221 1331 9 0 446980 0 [pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1755.06 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37749 0 1 0 175488 18 0 0 21 0 13 0 148273719 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109838331 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.8 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 285218 0 0 0 1249 131 0 0 19 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.87 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 269997 0 0 0 1263 124 0 0 20 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 15 0 13 0 148273723 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 1797472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.2 s] /proc/loadavg: 1.01 1.02 1.00 2/77 12310 /proc/meminfo: memFree=689028/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=1797472 CPUtime=1800.06 /proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 645962 0 1 0 179698 308 0 0 18 0 13 0 148273718 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12294/statm: 449368 274221 1331 9 0 446980 0 [pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1758.96 /proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37749 0 1 0 175878 18 0 0 25 0 13 0 148273719 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109763635 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.8 /proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 285218 0 0 0 1249 131 0 0 19 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.87 /proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 269997 0 0 0 1263 124 0 0 20 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64 /proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 16 0 13 0 148273723 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88 /proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84 /proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0 /proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1797472 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.41 s] /proc/loadavg: 1.01 1.02 1.00 2/67 12313 /proc/meminfo: memFree=1180084/2055920 swapFree=4184508/4192956 [pid=12294] ppid=12292 vsize=0 CPUtime=1800.27 /proc/12294/stat : 12294 (java) Z 12292 12294 11912 0 -1 1036 645982 0 1 0 179702 325 0 0 16 0 2 0 148273718 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12294/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.41 CPU time (s): 1800.28 CPU user time (s): 1797.03 CPU system time (s): 3.2545 CPU usage (%): 100.777 Max. virtual memory (cumulated for all children) (KiB): 1821480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.03 system time used= 3.2545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 645982 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37211 involuntary context switches= 25928 runsolver used 2.18367 second user time and 4.39333 second system time The end
Begin job on node63 on Mon Apr 16 11:27:18 UTC 2007 IDJOB= 354709 IDBENCH= 2884 IDSOLVER= 159 FILE ID= node63/354709-1176722838 PBS_JOBID= 4559498 Free space on /tmp= 66550 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354709-1176722838/sat4jPseudoResolution.jar /tmp/evaluation/354709-1176722838/instance-354709-1176722838.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-354709-1176722838 -o ROOT/results/node63/solver-354709-1176722838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354709-1176722838/sat4jPseudoResolution.jar /tmp/evaluation/354709-1176722838/instance-354709-1176722838.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED= 602079619 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785788 kB Buffers: 15520 kB Cached: 184216 kB SwapCached: 2564 kB Active: 93688 kB Inactive: 115936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785788 kB SwapTotal: 4192956 kB SwapFree: 4184508 kB Dirty: 3928 kB Writeback: 0 kB Mapped: 16184 kB Slab: 46504 kB Committed_AS: 1921224 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66550 MiB End job on node63 on Mon Apr 16 11:57:06 UTC 2007