Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 490 | 1800.33 | 1784.56 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
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 | 1 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1372 |
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 | 1372 |
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 | 1372 |
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.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.14 c Number of processors 2 0.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb 0.21/0.20 c reading problem ... 1.42/1.08 c ... done. Wall clock time 0.886s. 1.42/1.08 c CPU time (experimental) 0.74s. 1.42/1.08 c #vars 1372 1.42/1.08 c #constraints 4827 1.52/1.16 c SATISFIABLE 1.52/1.16 c OPTIMIZING... 1.52/1.16 c Got one! Elapsed wall clock time (in seconds):0.965 1.52/1.17 o 490 355.74/350.87 c cleaning 455991 clauses out of 912000 for limit 2.064158611923252E10 370.95/366.09 c cleaning 228250 clauses out of 456509 for limit 6.800556406566653E10 375.15/370.21 c cleaning 114375 clauses out of 228759 for limit 2.2380587810787735E11 376.94/372.00 c cleaning 57430 clauses out of 114885 for limit 7.356593318769535E11 377.54/372.61 c cleaning 28967 clauses out of 57954 for limit 2.402580986023575E12 378.14/373.25 c cleaning 14735 clauses out of 29487 for limit 7.787297194397396E12 378.44/373.52 c cleaning 7621 clauses out of 15252 for limit 2.4828268288327766E13 378.54/373.68 c cleaning 4059 clauses out of 8131 for limit 7.680423224038838E13 378.74/373.82 c cleaning 2279 clauses out of 4572 for limit 2.252572503574796E14 378.85/373.94 c cleaning 1389 clauses out of 2793 for limit 6.080929264104565E14 378.95/374.06 c cleaning 946 clauses out of 1904 for limit 1.4710581153014325E15 379.04/374.18 c cleaning 729 clauses out of 1458 for limit 3.1680726868054455E15 379.14/374.27 c cleaning 614 clauses out of 1229 for limit 6.198072691717938E15 379.24/374.38 c cleaning 557 clauses out of 1115 for limit 1.1266514186811788E16 379.34/374.48 c cleaning 529 clauses out of 1058 for limit 1.9580990404547652E16 379.44/374.59 c cleaning 515 clauses out of 1030 for limit 3.3202707260938852E16 768.65/759.72 c cleaning 445748 clauses out of 891514 for limit 5.413008281598088 823.13/814.21 c cleaning 223130 clauses out of 446266 for limit 17.833186272687463 831.23/822.38 c cleaning 111813 clauses out of 223637 for limit 58.74480778989018 833.33/824.46 c cleaning 56155 clauses out of 112324 for limit 192.8841187006148 834.03/825.13 c cleaning 28325 clauses out of 56668 for limit 629.8723176571316 834.33/825.47 c cleaning 14409 clauses out of 28843 for limit 2040.8254626954536 834.63/825.74 c cleaning 7458 clauses out of 14935 for limit 6506.260773465044 834.73/825.90 c cleaning 3976 clauses out of 7976 for limit 20071.18079101235 834.93/826.02 c cleaning 2243 clauses out of 4500 for limit 58668.021355219505 835.03/826.13 c cleaning 1373 clauses out of 2758 for limit 158019.28490131738 835.13/826.22 c cleaning 928 clauses out of 1884 for limit 381105.1615434057 835.23/826.33 c cleaning 717 clauses out of 1456 for limit 813242.8266862837 835.33/826.42 c cleaning 610 clauses out of 1239 for limit 1576036.2299209335 835.43/826.52 c cleaning 565 clauses out of 1130 for limit 2852656.361203305 835.53/826.61 c cleaning 520 clauses out of 1064 for limit 4991230.761842182 835.63/826.70 c cleaning 508 clauses out of 1044 for limit 8388893.20365796 835.63/826.80 c cleaning 518 clauses out of 1036 for limit 1.3941236537642865E7 835.73/826.89 c cleaning 502 clauses out of 1018 for limit 2.339748406931276E7 835.83/826.98 c cleaning 497 clauses out of 1017 for limit 3.866218406502024E7 835.93/827.07 c cleaning 509 clauses out of 1019 for limit 6.3570339127831094E7 836.03/827.16 c cleaning 495 clauses out of 1011 for limit 1.0577132759495099E8 836.13/827.26 c cleaning 496 clauses out of 1016 for limit 1.73572648423779E8 836.23/827.36 c cleaning 510 clauses out of 1020 for limit 2.851219898651387E8 836.33/827.45 c cleaning 505 clauses out of 1010 for limit 4.74859792385657E8 836.43/827.55 c cleaning 500 clauses out of 1004 for limit 7.869994602454956E8 836.53/827.65 c cleaning 491 clauses out of 1004 for limit 1.297867392849026E9 836.63/827.74 c cleaning 496 clauses out of 1014 for limit 2.1213702699022307E9 836.73/827.83 c cleaning 497 clauses out of 1017 for limit 3.4846154304315524E9 836.83/827.91 c cleaning 498 clauses out of 1021 for limit 5.729813219129919E9 836.93/828.00 c cleaning 502 clauses out of 1022 for limit 9.430542715876783E9 836.93/828.09 c cleaning 510 clauses out of 1020 for limit 1.5582721095745708E10 837.03/828.19 c cleaning 505 clauses out of 1010 for limit 2.5952427267463272E10 837.13/828.28 c cleaning 502 clauses out of 1006 for limit 4.301221167671594E10 837.23/828.38 c cleaning 492 clauses out of 1004 for limit 7.107419170556966E10 837.33/828.48 c cleaning 506 clauses out of 1012 for limit 1.1628428227151593E11 837.43/828.56 c cleaning 502 clauses out of 1005 for limit 1.929109335257048E11 837.53/828.66 c cleaning 490 clauses out of 1003 for limit 3.187703053136583E11 837.63/828.75 c cleaning 500 clauses out of 1013 for limit 5.205053923238911E11 837.73/828.84 c cleaning 506 clauses out of 1013 for limit 8.583830239077158E11 837.83/828.93 c cleaning 497 clauses out of 1008 for limit 1.4240342411413218E12 837.93/829.02 c cleaning 498 clauses out of 1012 for limit 2.341482145460528E12 838.03/829.11 c cleaning 506 clauses out of 1013 for limit 3.853747827233359E12 838.13/829.20 c cleaning 493 clauses out of 1006 for limit 6.393168231930039E12 838.13/829.29 c cleaning 506 clauses out of 1013 for limit 1.0470334467187197E13 838.23/829.39 c cleaning 503 clauses out of 1007 for limit 1.7369863954023879E13 838.33/829.47 c cleaning 502 clauses out of 1004 for limit 2.873082267383028E13 838.43/829.57 c cleaning 501 clauses out of 1003 for limit 4.747568506727972E13 838.53/829.66 c cleaning 492 clauses out of 1001 for limit 7.837173675316364E13 838.63/829.76 c cleaning 495 clauses out of 1009 for limit 1.2822073713342528E14 838.73/829.86 c cleaning 497 clauses out of 1014 for limit 2.1041048021076775E14 838.83/829.95 c cleaning 508 clauses out of 1017 for limit 3.459714459184849E14 838.93/830.05 c cleaning 504 clauses out of 1009 for limit 5.750769097224516E14 839.03/830.13 c cleaning 497 clauses out of 1005 for limit 9.521533983620256E14 839.13/830.23 c cleaning 495 clauses out of 1009 for limit 1.565569010393209E15 839.23/830.31 c cleaning 505 clauses out of 1013 for limit 2.569066299712436E15 839.23/830.40 c cleaning 492 clauses out of 1008 for limit 4.257749557459926E15 839.33/830.49 c cleaning 501 clauses out of 1017 for limit 6.966426997982437E15 839.43/830.59 c cleaning 497 clauses out of 1017 for limit 1.1500070141745284E16 839.52/830.68 c cleaning 501 clauses out of 1018 for limit 1.8908650196123084E16 839.62/830.78 c cleaning 508 clauses out of 1017 for limit 3.1213555373124324E16 839.74/830.88 c cleaning 504 clauses out of 1009 for limit 5.1883457947729672E16 839.85/830.97 c cleaning 498 clauses out of 1005 for limit 8.590331131108412E-4 839.96/831.06 c cleaning 496 clauses out of 1007 for limit 0.0014138468972474934 840.06/831.15 c cleaning 494 clauses out of 1011 for limit 0.0023223976590875084 840.16/831.24 c cleaning 499 clauses out of 1017 for limit 0.0038073488823075277 840.26/831.34 c cleaning 500 clauses out of 1019 for limit 0.006272776913233403 840.35/831.44 c cleaning 497 clauses out of 1019 for limit 0.010344648287004229 840.46/831.53 c cleaning 498 clauses out of 1021 for limit 0.01700926496907539 840.56/831.62 c cleaning 497 clauses out of 1023 for limit 0.027995713601184097 840.65/831.72 c cleaning 503 clauses out of 1027 for limit 0.04603489224107833 840.75/831.81 c cleaning 501 clauses out of 1024 for limit 0.07614011086749103 840.85/831.91 c cleaning 502 clauses out of 1023 for limit 0.1256879708212978 840.85/832.00 c cleaning 501 clauses out of 1020 for limit 0.20767802831812385 840.95/832.09 c cleaning 500 clauses out of 1020 for limit 0.3428316830492118 841.05/832.19 c cleaning 499 clauses out of 1020 for limit 0.5653753085501827 841.15/832.29 c cleaning 498 clauses out of 1020 for limit 0.9314471388365184 841.25/832.39 c cleaning 499 clauses out of 1022 for limit 1.5330749094760776 841.35/832.49 c cleaning 502 clauses out of 1024 for limit 2.5258334705684393 841.45/832.59 c cleaning 503 clauses out of 1021 for limit 4.173498903198814 1143.57/1131.78 c cleaning 325249 clauses out of 650518 for limit 1.773862036474236 1176.06/1164.25 c cleaning 162877 clauses out of 325769 for limit 5.841512220933951 1186.36/1174.52 c cleaning 81692 clauses out of 163393 for limit 19.22613539254188 1190.36/1178.59 c cleaning 41092 clauses out of 82200 for limit 62.96149052735576 1191.46/1179.63 c cleaning 20794 clauses out of 41608 for limit 205.12843402584636 1191.76/1179.90 c cleaning 10646 clauses out of 21314 for limit 660.3795727079249 1191.96/1180.13 c cleaning 5574 clauses out of 11168 for limit 2078.44757205633 1192.06/1180.27 c cleaning 3039 clauses out of 6094 for limit 6281.565844572833 1192.16/1180.39 c cleaning 1769 clauses out of 3556 for limit 17770.474031360372 1192.36/1180.50 c cleaning 1134 clauses out of 2286 for limit 45541.35145813325 1192.46/1180.60 c cleaning 822 clauses out of 1652 for limit 103926.90271889755 1192.56/1180.70 c cleaning 660 clauses out of 1330 for limit 212883.6331551685 1192.56/1180.80 c cleaning 579 clauses out of 1171 for limit 399141.98988110415 1192.66/1180.89 c cleaning 538 clauses out of 1091 for limit 705798.8360877292 1192.76/1180.98 c cleaning 516 clauses out of 1053 for limit 1205960.836238743 1192.86/1181.08 c cleaning 510 clauses out of 1037 for limit 2019476.0455507978 1192.96/1181.16 c cleaning 503 clauses out of 1027 for limit 3362814.4573489116 1193.06/1181.25 c cleaning 512 clauses out of 1024 for limit 5561978.167961729 1193.16/1181.33 c cleaning 502 clauses out of 1012 for limit 9281210.249710074 1193.26/1181.42 c cleaning 505 clauses out of 1012 for limit 1.5336615213677807E7 1193.36/1181.50 c cleaning 492 clauses out of 1005 for limit 2.5417383153605293E7 1193.36/1181.59 c cleaning 496 clauses out of 1013 for limit 4.158563516531585E7 1193.46/1181.68 c cleaning 508 clauses out of 1017 for limit 6.831054001704483E7 1193.56/1181.77 c cleaning 505 clauses out of 1010 for limit 1.1354753132350633E8 1193.66/1181.85 c cleaning 494 clauses out of 1004 for limit 1.881857493447937E8 1193.76/1181.93 c cleaning 497 clauses out of 1010 for limit 3.084998511005427E8 1193.86/1182.02 c cleaning 498 clauses out of 1013 for limit 5.0725083917560136E8 1193.96/1182.11 c cleaning 495 clauses out of 1015 for limit 8.348761684804335E8 1194.06/1182.20 c cleaning 510 clauses out of 1020 for limit 1.3700733597090974E9 1194.06/1182.29 c cleaning 505 clauses out of 1011 for limit 2.281829743097365E9 1194.16/1182.38 c cleaning 499 clauses out of 1006 for limit 3.7817454986424317E9 1194.26/1182.47 c cleaning 495 clauses out of 1007 for limit 6.230410988643265E9 1194.36/1182.55 c cleaning 497 clauses out of 1012 for limit 1.0224016480445948E10 1194.46/1182.65 c cleaning 498 clauses out of 1015 for limit 1.6810936129811554E10 1194.56/1182.74 c cleaning 508 clauses out of 1016 for limit 2.7668499516819653E10 1194.66/1182.83 c cleaning 497 clauses out of 1008 for limit 4.599119250291849E10 1194.76/1182.92 c cleaning 496 clauses out of 1012 for limit 7.562146539939474E10 1194.86/1183.02 c cleaning 508 clauses out of 1016 for limit 1.2421892899318846E11 1194.96/1183.11 c cleaning 492 clauses out of 1008 for limit 2.0647945409396652E11 1195.06/1183.20 c cleaning 498 clauses out of 1016 for limit 3.3783104337122156E11 1660.68/1645.54 c cleaning 364998 clauses out of 730017 for limit 444800.147801887 1730.46/1715.39 c cleaning 182752 clauses out of 365519 for limit 1465020.921352949 1755.06/1739.91 c cleaning 91631 clauses out of 183268 for limit 4823447.345342694 1760.86/1745.71 c cleaning 46055 clauses out of 92136 for limit 1.5806517765798476E7 1761.75/1746.62 c cleaning 23286 clauses out of 46581 for limit 5.155996773449561E7 1762.35/1747.28 c cleaning 11886 clauses out of 23795 for limit 1.6645299831583163E8 1762.65/1747.52 c cleaning 6200 clauses out of 12411 for limit 5.2734576979094636E8 1762.75/1747.65 c cleaning 3349 clauses out of 6710 for limit 1.6069453130175457E9 1762.85/1747.75 c cleaning 1919 clauses out of 3860 for limit 4.602117343510825E9 1762.96/1747.85 c cleaning 1208 clauses out of 2441 for limit 1.2001432870305141E10 1763.06/1747.94 c cleaning 860 clauses out of 1734 for limit 2.788959356357898E10 1763.15/1748.02 c cleaning 687 clauses out of 1374 for limit 5.804441422769387E10 1763.25/1748.10 c cleaning 593 clauses out of 1187 for limit 1.1080320778372469E11 1763.25/1748.19 c cleaning 545 clauses out of 1093 for limit 1.982459235039158E11 1763.35/1748.28 c cleaning 511 clauses out of 1048 for limit 3.409722473801303E11 1763.45/1748.36 c cleaning 509 clauses out of 1037 for limit 5.682735537119607E11 1763.55/1748.44 c cleaning 514 clauses out of 1028 for limit 9.453638127468716E11 1763.65/1748.53 c cleaning 505 clauses out of 1015 for limit 1.5805798653907378E12 1763.75/1748.61 c cleaning 505 clauses out of 1010 for limit 2.619491543449611E12 1763.75/1748.70 c cleaning 492 clauses out of 1004 for limit 4.3413623639421636E12 1763.85/1748.78 c cleaning 499 clauses out of 1013 for limit 7.102981821375171E12 1763.95/1748.86 c cleaning 498 clauses out of 1014 for limit 1.1702215204654082E13 1764.06/1748.94 c cleaning 501 clauses out of 1015 for limit 1.9260225543180613E13 1764.16/1749.03 c cleaning 500 clauses out of 1014 for limit 3.1794012657982934E13 1764.25/1749.11 c cleaning 507 clauses out of 1015 for limit 5.243335584129084E13 1764.25/1749.19 c cleaning 503 clauses out of 1007 for limit 8.706940993201917E13 1800.05/1784.31 c starts : 26 1800.05/1784.31 c conflicts : 3402190 1800.05/1784.31 c decisions : 5146921 1800.05/1784.31 c propagations : 117428487 1800.05/1784.31 c inspects : 647396079 1800.05/1784.31 c learnt literals : 0 1800.05/1784.31 c learnt binary clauses : 0 1800.05/1784.31 c learnt ternary clauses : 0 1800.05/1784.31 c learnt clauses : 3402192 1800.05/1784.31 c root simplifications : 0 1800.05/1784.31 c removed literals (reason simplification) : 0 1800.05/1784.31 c reason swapping (by a shorter reason) : 0 1800.05/1784.31 c Calls to reduceDB : 161 1800.05/1784.31 c speed (decisions/second) : 2886.5059576086114 1800.05/1784.31 c non guided choices 2755 1800.05/1784.31 s SATISFIABLE 1800.05/1784.32 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 1800.05/1784.32 v -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 1800.05/1784.32 v -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 1800.05/1784.32 v -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 1800.05/1784.32 v -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 1800.05/1784.32 v -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 x151 -x152 -x153 -x154 1800.05/1784.32 v x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 1800.05/1784.32 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 -x195 -x196 x197 1800.05/1784.32 v -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 1800.05/1784.32 v -x220 x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 -x238 x239 x240 -x241 1800.05/1784.32 v -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 x258 x259 -x260 -x261 -x262 x263 1800.05/1784.32 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1800.05/1784.32 v -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 1800.05/1784.32 v -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.05/1784.32 v x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 x347 -x348 1800.05/1784.32 v -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 1800.05/1784.32 v -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392 1800.05/1784.32 v x393 x394 x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 -x414 -x415 1800.05/1784.32 v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 -x424 x425 -x426 -x427 x428 x429 -x430 x431 -x432 x433 x434 -x435 x436 -x437 x438 1800.05/1784.32 v -x439 x440 x441 -x442 -x443 x444 x445 x446 x447 x448 -x449 x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 x460 x461 1800.05/1784.32 v x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 1800.05/1784.32 v -x484 x485 -x486 -x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 x496 x497 -x498 x499 x500 -x501 -x502 x503 -x504 -x505 -x506 1800.05/1784.32 v x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 x518 x519 -x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528 1800.05/1784.32 v -x529 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 x549 x550 -x551 1800.05/1784.32 v x552 x553 x554 -x555 -x556 -x557 x558 -x559 x560 -x561 -x562 x563 x564 x565 x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 1800.05/1784.32 v -x575 x576 -x577 -x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 1800.05/1784.32 v -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 x609 x610 x611 -x612 -x613 x614 x615 -x616 x617 -x618 1800.05/1784.32 v x619 x620 -x621 x622 -x623 -x624 x625 x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 x634 -x635 x636 x637 -x638 x639 x640 x641 1800.05/1784.32 v x642 x643 -x644 -x645 x646 x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 x656 x657 -x658 -x659 x660 x661 x662 x663 x664 1800.05/1784.32 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 x678 x679 x680 x681 x682 -x683 x684 x685 -x686 1800.05/1784.32 v -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 x706 x707 x708 1800.05/1784.32 v x709 -x710 -x711 x712 x713 x714 -x715 -x716 -x717 -x718 x719 x720 -x721 -x722 x723 x724 -x725 x726 x727 -x728 -x729 x730 x731 1800.05/1784.32 v -x732 -x733 -x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 -x746 -x747 x748 x749 x750 x751 -x752 -x753 x754 -x755 1800.05/1784.32 v x756 -x757 x758 -x759 x760 -x761 -x762 x763 -x764 x765 x766 x767 x768 -x769 -x770 -x771 x772 x773 x774 -x775 x776 x777 x778 1800.05/1784.32 v -x779 x780 x781 x782 x783 -x784 x785 x786 -x787 x788 x789 -x790 -x791 x792 x793 -x794 x795 -x796 x797 x798 -x799 x800 x801 -x802 1800.05/1784.32 v x803 x804 -x805 -x806 -x807 x808 -x809 x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x820 x821 x822 -x823 x824 -x825 1800.05/1784.32 v -x826 -x827 -x828 -x829 x830 -x831 x832 x833 x834 -x835 -x836 x837 x838 x839 x840 x841 -x842 -x843 x844 -x845 -x846 -x847 x848 1800.05/1784.32 v -x849 -x850 -x851 x852 x853 -x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 x867 -x868 -x869 -x870 1800.05/1784.32 v x871 x872 -x873 x874 x875 x876 -x877 -x878 -x879 -x880 x881 x882 -x883 -x884 x885 -x886 -x887 x888 x889 x890 x891 x892 x893 1800.05/1784.32 v x894 x895 x896 -x897 x898 -x899 -x900 x901 -x902 -x903 x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 1800.05/1784.32 v x916 -x917 x918 -x919 x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 1800.05/1784.32 v -x938 -x939 x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 x948 -x949 x950 -x951 x952 -x953 -x954 -x955 x956 x957 -x958 -x959 1800.05/1784.32 v -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 x974 x975 x976 -x977 x978 -x979 -x980 x981 1800.05/1784.32 v x982 -x983 x984 -x985 x986 -x987 x988 -x989 -x990 -x991 x992 x993 -x994 -x995 x996 -x997 -x998 -x999 x1000 -x1001 x1002 -x1003 1800.05/1784.32 v -x1004 x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 1800.05/1784.32 v -x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 1800.05/1784.32 v x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 x1055 x1056 -x1057 1800.05/1784.32 v x1058 -x1059 x1060 -x1061 x1062 x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 1800.05/1784.32 v -x1077 -x1078 -x1079 x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 1800.05/1784.32 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.05/1784.32 v -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130 1800.05/1784.32 v -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.05/1784.32 v -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 x1164 -x1165 -x1166 1800.05/1784.32 v x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 -x1184 1800.05/1784.32 v x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 1800.05/1784.32 v -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220 1800.05/1784.32 v -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 1800.05/1784.32 v x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 1800.05/1784.32 v -x1257 -x1258 x1259 x1260 -x1261 x1262 x1263 -x1264 x1265 -x1266 -x1267 x1268 -x1269 -x1270 x1271 -x1272 -x1273 x1274 x1275 1800.05/1784.32 v -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 1800.05/1784.32 v -x1294 -x1295 -x1296 x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 1800.05/1784.32 v -x1312 -x1313 x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 x1329 1800.05/1784.32 v -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 1800.05/1784.32 v x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 -x1365 1800.05/1784.32 v -x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372 1800.05/1784.32 c objective function=490 1800.05/1784.32 c Total wall clock time (ms): 1784.126
OK 490
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-352002-1176619781 -o ROOT/results/node52/solver-352002-1176619781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.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.92 1.01 0.99 3/64 17118 /proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1520 CPUtime=0 /proc/17118/stat : 17118 (java) R 17116 17118 15992 0 -1 0 93 0 0 0 0 0 0 0 18 0 1 0 16823223 1556480 74 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4279585 0 0 4096 0 0 0 0 17 1 0 0 /proc/17118/statm: 368 68 49 9 0 10 0 [startup+0.033438 s] /proc/loadavg: 0.92 1.01 0.99 3/64 17118 /proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1775952 CPUtime=0.02 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 2965 0 1 0 0 2 0 0 18 0 4 0 16823223 1818574848 2712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 443988 2712 729 9 0 441624 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1775952 [startup+0.101454 s] /proc/loadavg: 0.92 1.01 0.99 3/64 17118 /proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1780108 CPUtime=0.09 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 3981 0 1 0 6 3 0 0 18 0 12 0 16823223 1822830592 3722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 445027 3722 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301456 s] /proc/loadavg: 0.92 1.01 0.99 3/64 17118 /proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1782068 CPUtime=0.33 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 5081 0 1 0 29 4 0 0 18 0 12 0 16823223 1824837632 4816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 445517 4816 1264 9 0 443129 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782068 [startup+0.701483 s] /proc/loadavg: 0.92 1.01 0.99 3/64 17118 /proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1784508 CPUtime=0.93 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 7356 0 1 0 88 5 0 0 18 0 12 0 16823223 1827336192 6573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446127 6573 1301 9 0 443739 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 1784508 [startup+1.50254 s] /proc/loadavg: 0.92 1.01 0.99 2/76 17130 /proc/meminfo: memFree=1765740/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1785440 CPUtime=2.17 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 13324 0 1 0 208 9 0 0 18 0 13 0 16823223 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446360 11638 1314 9 0 443972 0 [pid=17118/tid=17120] ppid=17116 vsize=1785440 CPUtime=0.98 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 9797 0 1 0 92 6 0 0 24 0 13 0 16823224 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109709779 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1785440 CPUtime=0.62 /proc/17118/task/17127/stat : 17127 (java) R 17116 17118 15992 0 -1 64 1992 0 0 0 62 0 0 0 16 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104794128 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1785440 CPUtime=0.53 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 807 0 0 0 53 0 0 0 16 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 1785440 [startup+3.10165 s] /proc/loadavg: 0.92 1.01 0.99 2/77 17132 /proc/meminfo: memFree=1751844/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1785440 CPUtime=3.87 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 16303 0 1 0 377 10 0 0 18 0 13 0 16823223 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446360 14616 1316 9 0 443972 0 [pid=17118/tid=17120] ppid=17116 vsize=1785440 CPUtime=2.52 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 12761 0 1 0 244 8 0 0 23 0 13 0 16823224 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734790 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1785440 CPUtime=0.71 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 71 0 0 0 16 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1785440 CPUtime=0.6 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 812 0 0 0 60 0 0 0 15 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1785440 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 1785440 [startup+6.30286 s] /proc/loadavg: 0.93 1.01 0.99 2/77 17132 /proc/meminfo: memFree=1727860/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1785408 CPUtime=7.09 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 22179 0 1 0 696 13 0 0 18 0 13 0 16823223 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446352 20310 1316 9 0 443964 0 [pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=5.69 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 18632 0 1 0 559 10 0 0 25 0 13 0 16823224 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734782 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1785408 CPUtime=0.74 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 74 0 0 0 16 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1785408 CPUtime=0.62 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 817 0 0 0 62 0 0 0 16 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 1785408 [startup+12.7013 s] /proc/loadavg: 0.93 1.01 0.99 2/77 17132 /proc/meminfo: memFree=1682292/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1785408 CPUtime=13.5 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 33018 0 1 0 1332 18 0 0 18 0 13 0 16823223 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446352 31149 1316 9 0 443964 0 [pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=12.09 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 29470 0 1 0 1194 15 0 0 25 0 13 0 16823224 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109581359 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1785408 CPUtime=0.74 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 74 0 0 0 17 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1785408 CPUtime=0.63 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 818 0 0 0 63 0 0 0 16 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.5 Current children cumulated vsize (KiB) 1785408 [startup+25.5022 s] /proc/loadavg: 0.95 1.01 0.99 2/77 17132 /proc/meminfo: memFree=1504884/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1785408 CPUtime=26.53 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 89545 0 1 0 2608 45 0 0 18 0 13 0 16823223 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 446352 74350 1323 9 0 443964 0 [pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=24.65 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37721 0 1 0 2446 19 0 0 25 0 13 0 16823224 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747064 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0.22 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 24561 0 0 0 10 12 0 0 17 0 13 0 16823225 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0.22 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 23713 0 0 0 12 10 0 0 16 0 13 0 16823225 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1617.49 Current children cumulated vsize (KiB) 1789256 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17332 /proc/meminfo: memFree=309172/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1789256 CPUtime=1677.48 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1103345 0 1 0 167163 585 0 0 18 0 13 0 16823223 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 447314 372363 1331 9 0 444926 0 [pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1629.01 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37800 0 1 0 162867 34 0 0 25 0 13 0 16823224 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863043 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=14.94 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 517263 0 0 0 1232 262 0 0 17 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=14.84 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 494669 0 0 0 1242 242 0 0 16 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.04 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1661 43 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1677.48 Current children cumulated vsize (KiB) 1789256 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17332 /proc/meminfo: memFree=309108/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1789256 CPUtime=1737.46 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1103345 0 1 0 173161 585 0 0 18 0 13 0 16823223 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 447314 372363 1331 9 0 444926 0 [pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1688.99 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37800 0 1 0 168865 34 0 0 25 0 13 0 16823224 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109862637 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=14.94 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 517263 0 0 0 1232 262 0 0 17 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=14.84 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 494669 0 0 0 1242 242 0 0 16 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.04 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1661 43 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.46 Current children cumulated vsize (KiB) 1789256 [startup+1782.3 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17332 /proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1789256 CPUtime=1798.05 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1127921 0 1 0 179202 603 0 0 18 0 13 0 16823223 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 447314 283334 1331 9 0 444926 0 [pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1748 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37804 0 1 0 174766 34 0 0 25 0 13 0 16823224 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109757825 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=15.53 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 530188 0 0 0 1285 268 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=15.45 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 506316 0 0 0 1298 247 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.42 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1692 50 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 1789256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.3 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17332 /proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=1789256 CPUtime=1800.05 /proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1127921 0 1 0 179402 603 0 0 18 0 13 0 16823223 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 447314 283334 1331 9 0 444926 0 [pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1750.01 /proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37804 0 1 0 174967 34 0 0 25 0 13 0 16823224 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109597282 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=15.53 /proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 530188 0 0 0 1285 268 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=15.45 /proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 506316 0 0 0 1298 247 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.42 /proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1692 50 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84 /proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74 /proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0 /proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1789256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.41 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17332 /proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=0 CPUtime=1800.17 /proc/17118/stat : 17118 (java) Z 17116 17118 15992 0 -1 1036 1127940 0 1 0 179411 606 0 0 15 0 2 0 16823223 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1784.5 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17332 /proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956 [pid=17118] ppid=17116 vsize=0 CPUtime=1800.26 /proc/17118/stat : 17118 (java) Z 17116 17118 15992 0 -1 1036 1127940 0 1 0 179411 615 0 0 15 0 2 0 16823223 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17118/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1784.56 CPU time (s): 1800.33 CPU user time (s): 1794.11 CPU system time (s): 6.21106 CPU usage (%): 100.883 Max. virtual memory (cumulated for all children) (KiB): 1793260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.11 system time used= 6.21105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1127940 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= 37669 involuntary context switches= 39055 runsolver used 1.9977 second user time and 4.6083 second system time The end
Begin job on node52 on Sun Apr 15 06:49:42 UTC 2007 IDJOB= 352002 IDBENCH= 1873 IDSOLVER= 159 FILE ID= node52/352002-1176619781 PBS_JOBID= 4557056 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-352002-1176619781 -o ROOT/results/node52/solver-352002-1176619781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED= 422918288 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1798564 kB Buffers: 21684 kB Cached: 141372 kB SwapCached: 144 kB Active: 37604 kB Inactive: 142260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798564 kB SwapTotal: 4192956 kB SwapFree: 4192224 kB Dirty: 3904 kB Writeback: 0 kB Mapped: 25492 kB Slab: 63356 kB Committed_AS: 562160 kB PageTables: 1488 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= 66561 MiB End job on node52 on Sun Apr 15 07:19:28 UTC 2007