Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 3900 | 3600.23 | 3604.73 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb |
| MD5SUM | b6d457804c0edb01048fac97a08f0a0d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2967 |
| Best CPU time to get the best result obtained on this benchmark | 0.171659 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1086 |
| Total number of constraints | 85 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 1086 |
| Number of terms in the objective function | 1086 |
| Biggest coefficient in the objective function | 283 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 197191 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 283 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 197191 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.14/0.12 --- Begin Solver configuration --- 0.14/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.12 Learn all clauses as in MiniSAT 0.14/0.12 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 Expensive reason simplification 0.14/0.12 Glucose 2.1 dynamic restart strategy 0.14/0.12 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.14/0.12 timeout=2147483s 0.14/0.12 DB Simplification allowed=false 0.14/0.12 Listener: none 0.14/0.12 --- End Solver configuration --- 0.14/0.12 c Pseudo Boolean Optimization by upper bound 0.14/0.12 c --- Begin Solver configuration --- 0.14/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.12 c Learn all clauses as in MiniSAT 0.14/0.12 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 c Expensive reason simplification 0.14/0.12 c Glucose 2.1 dynamic restart strategy 0.14/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.14/0.12 c timeout=2147483s 0.14/0.12 c DB Simplification allowed=false 0.14/0.12 c Listener: none 0.14/0.12 c --- End Solver configuration --- 0.14/0.12 c solving HOME/instance-4459566-1721895842.opb 0.14/0.12 c reading problem ... 0.14/0.13 c using VERIPB proof format 0.14/0.13 c objective function found 0.14/0.18 c ... done. Wall clock time 0.048s. 0.14/0.18 c declared #vars 1086 0.14/0.18 c #constraints 169 0.14/0.18 c constraints type 0.14/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85 0.14/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.14/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83 0.14/0.18 c 169 constraints processed. 0.14/0.18 c objective function length is 1086 literals 1.85/1.05 c cleaning 2499 clauses out of 5002 with flag 19737/5002 3.43/1.82 c cleaning 4251 clauses out of 8501 with flag 51436/11000 4.81/2.77 c cleaning 5620 clauses out of 11251 with flag 90915/18001 6.02/3.88 c cleaning 6816 clauses out of 13631 with flag 132027/26001 7.43/5.14 c cleaning 7900 clauses out of 15815 with flag 185986/35001 8.92/6.60 c cleaning 8945 clauses out of 17914 with flag 251329/45000 10.59/8.16 c cleaning 9985 clauses out of 19970 with flag 320890/56001 12.59/10.11 c cleaning 10985 clauses out of 21984 with flag 393283/68000 14.59/12.03 c cleaning 12000 clauses out of 24000 with flag 457124/81001 16.77/14.29 c cleaning 12996 clauses out of 26000 with flag 530151/95001 19.64/17.04 c cleaning 13995 clauses out of 28006 with flag 620276/110003 19.84/17.20 c SATISFIABLE 19.84/17.20 c OPTIMIZING... 19.84/17.20 c Got one! Elapsed wall clock time (in seconds):17.064 19.84/17.20 o 4531 20.29/17.64 c cleaning 9756 clauses out of 19515 with flag 13454/115507 21.14/18.49 c cleaning 7876 clauses out of 15760 with flag 37983/121508 22.09/19.39 c cleaning 7440 clauses out of 14885 with flag 62473/128509 23.00/20.29 c cleaning 7717 clauses out of 15444 with flag 99613/136508 23.99/21.23 c cleaning 8360 clauses out of 16728 with flag 147495/145509 25.10/22.39 c cleaning 9178 clauses out of 18367 with flag 208147/155508 26.70/23.97 c cleaning 10082 clauses out of 20188 with flag 287344/166507 28.50/25.79 c cleaning 11047 clauses out of 22106 with flag 371981/178507 30.70/27.94 c cleaning 12028 clauses out of 24059 with flag 463481/191507 32.99/30.28 c cleaning 13004 clauses out of 26032 with flag 562214/205508 35.50/32.82 c cleaning 14012 clauses out of 28028 with flag 674131/220508 36.40/33.73 c Got one! Elapsed wall clock time (in seconds):33.606 36.40/33.73 o 4472 36.61/33.90 c Got one! Elapsed wall clock time (in seconds):33.776 36.61/33.90 o 4369 37.21/34.51 c cleaning 12696 clauses out of 25395 with flag 26390/231887 38.20/35.56 c cleaning 9348 clauses out of 18698 with flag 71243/237886 39.50/36.86 c cleaning 8169 clauses out of 16351 with flag 124864/244887 40.94/38.15 c cleaning 8084 clauses out of 16181 with flag 174810/252886 42.53/39.73 c cleaning 8549 clauses out of 17098 with flag 237365/261887 44.34/41.52 c cleaning 9271 clauses out of 18549 with flag 307621/271887 45.54/42.72 c Got one! Elapsed wall clock time (in seconds):42.594 45.54/42.72 o 4311 46.16/43.31 c cleaning 10421 clauses out of 20849 with flag 25748/283458 46.86/44.05 c cleaning 8205 clauses out of 16430 with flag 55208/289460 47.75/44.90 c cleaning 7600 clauses out of 15223 with flag 85828/296458 48.66/45.88 c cleaning 7803 clauses out of 15624 with flag 123156/304459 49.85/47.05 c cleaning 8402 clauses out of 16820 with flag 167002/313458 51.35/48.58 c cleaning 9202 clauses out of 18419 with flag 223688/323459 52.95/50.13 c cleaning 10098 clauses out of 20217 with flag 274664/334459 54.74/51.97 c cleaning 11054 clauses out of 22119 with flag 342349/346459 57.03/54.20 c cleaning 12024 clauses out of 24065 with flag 416666/359459 59.82/57.01 c cleaning 13013 clauses out of 26041 with flag 504234/373459 62.21/59.48 c cleaning 14006 clauses out of 28027 with flag 602861/388458 64.51/61.74 c cleaning 15001 clauses out of 30021 with flag 699079/404458 66.62/63.90 c cleaning 16001 clauses out of 32020 with flag 817008/421458 68.91/66.28 c cleaning 17001 clauses out of 34019 with flag 944850/439458 71.51/68.81 c cleaning 17998 clauses out of 36020 with flag 1070667/458460 74.42/71.79 c cleaning 19002 clauses out of 38020 with flag 1212078/478458 77.91/75.23 c cleaning 19995 clauses out of 40018 with flag 1356326/499458 81.81/79.10 c cleaning 21007 clauses out of 42024 with flag 1517968/521459 85.61/82.96 c cleaning 22001 clauses out of 44016 with flag 1675016/544458 89.49/86.87 c cleaning 23004 clauses out of 46016 with flag 1846711/568459 94.28/91.63 c cleaning 24004 clauses out of 48012 with flag 2045732/593459 99.43/96.96 c cleaning 24995 clauses out of 50008 with flag 2253556/619459 104.64/102.19 c cleaning 26000 clauses out of 52014 with flag 2461272/646460 109.91/107.44 c cleaning 26995 clauses out of 54014 with flag 2672922/674460 115.00/112.51 c cleaning 27993 clauses out of 56017 with flag 2858100/703458 120.80/118.34 c cleaning 29004 clauses out of 58024 with flag 3091235/733458 126.69/124.20 c cleaning 30001 clauses out of 60020 with flag 3320437/764458 132.60/130.35 c cleaning 30999 clauses out of 62019 with flag 3567780/796458 139.42/137.16 c cleaning 32003 clauses out of 64020 with flag 3802904/829458 147.69/145.47 c cleaning 32997 clauses out of 66018 with flag 4088242/863459 156.57/154.36 c cleaning 34008 clauses out of 68020 with flag 4423131/898458 163.21/161.06 c cleaning 34998 clauses out of 70012 with flag 4630071/934458 169.72/167.56 c cleaning 36000 clauses out of 72014 with flag 4869198/971458 176.90/174.78 c cleaning 37003 clauses out of 74015 with flag 5121599/1009459 177.40/175.27 c Got one! Elapsed wall clock time (in seconds):175.15 177.40/175.27 o 4237 178.10/175.70 c cleaning 21111 clauses out of 42242 with flag 12642/1014689 179.01/176.67 c cleaning 13559 clauses out of 27133 with flag 59401/1020691 180.11/177.52 c cleaning 10282 clauses out of 20572 with flag 97891/1027689 181.28/178.52 c cleaning 9125 clauses out of 18289 with flag 141976/1035688 182.30/179.54 c cleaning 9064 clauses out of 18164 with flag 187632/1044688 183.50/180.71 c cleaning 9549 clauses out of 19100 with flag 245124/1054688 184.80/182.03 c cleaning 10264 clauses out of 20550 with flag 315889/1065687 186.39/183.68 c cleaning 11140 clauses out of 22286 with flag 405206/1077687 188.28/185.58 c cleaning 12065 clauses out of 24146 with flag 500781/1090687 190.31/187.64 c cleaning 13040 clauses out of 26082 with flag 611059/1104688 191.91/189.28 c Got one! Elapsed wall clock time (in seconds):189.161 191.91/189.28 o 4173 192.62/189.93 c cleaning 14756 clauses out of 29512 with flag 28061/1121158 193.32/190.69 c cleaning 10372 clauses out of 20757 with flag 59282/1127159 194.31/191.60 c cleaning 8686 clauses out of 17385 with flag 94335/1134159 195.31/192.65 c cleaning 8340 clauses out of 16698 with flag 147012/1142158 196.52/193.86 c cleaning 8671 clauses out of 17359 with flag 211327/1151159 198.01/195.30 c cleaning 9342 clauses out of 18687 with flag 281586/1161158 199.51/196.88 c cleaning 10168 clauses out of 20345 with flag 367511/1172158 201.51/198.89 c cleaning 11077 clauses out of 22178 with flag 473709/1184159 204.00/201.31 c cleaning 12050 clauses out of 24100 with flag 594383/1197158 206.50/203.89 c cleaning 13017 clauses out of 26050 with flag 713941/1211158 209.00/206.39 c cleaning 14015 clauses out of 28034 with flag 822058/1226159 211.81/209.15 c cleaning 15004 clauses out of 30018 with flag 946997/1242158 215.08/212.49 c cleaning 16005 clauses out of 32017 with flag 1081840/1259161 217.69/215.08 c cleaning 17001 clauses out of 34009 with flag 1187390/1277158 220.61/218.01 c cleaning 18000 clauses out of 36010 with flag 1308830/1296160 223.99/221.46 c cleaning 19004 clauses out of 38008 with flag 1430206/1316158 227.48/224.93 c cleaning 19997 clauses out of 40004 with flag 1555507/1337158 230.97/228.40 c cleaning 20995 clauses out of 42008 with flag 1691763/1359159 233.98/231.43 c cleaning 22005 clauses out of 44012 with flag 1823029/1382158 237.58/235.02 c cleaning 23001 clauses out of 46007 with flag 1966402/1406158 242.06/239.55 c cleaning 23998 clauses out of 48006 with flag 2160263/1431158 246.88/244.34 c cleaning 24995 clauses out of 50008 with flag 2367349/1457158 251.31/248.89 c cleaning 26005 clauses out of 52014 with flag 2554046/1484159 257.19/254.76 c cleaning 26998 clauses out of 54008 with flag 2799249/1512158 263.00/260.52 c cleaning 27999 clauses out of 56010 with flag 3030545/1541158 268.79/266.33 c cleaning 29002 clauses out of 58011 with flag 3261989/1571158 274.52/272.06 c cleaning 29995 clauses out of 60010 with flag 3497249/1602159 281.23/278.87 c cleaning 31000 clauses out of 62015 with flag 3750099/1634159 287.95/285.50 c cleaning 32003 clauses out of 64014 with flag 3966252/1667158 294.33/291.90 c cleaning 32997 clauses out of 66012 with flag 4187961/1701159 300.36/297.98 c cleaning 33989 clauses out of 68014 with flag 4349860/1736158 306.55/304.12 c cleaning 35008 clauses out of 70025 with flag 4519970/1772158 312.41/310.01 c cleaning 36009 clauses out of 72019 with flag 4682610/1809160 318.79/316.46 c cleaning 36991 clauses out of 74009 with flag 4872187/1847159 326.62/324.22 c cleaning 38003 clauses out of 76017 with flag 5163197/1886158 334.29/331.95 c cleaning 38993 clauses out of 78014 with flag 5399478/1926158 343.18/340.88 c cleaning 39991 clauses out of 80021 with flag 5733112/1967158 352.32/349.93 c cleaning 41010 clauses out of 82031 with flag 6095813/2009159 354.21/351.87 c Got one! Elapsed wall clock time (in seconds):351.742 354.21/351.87 o 4152 354.81/352.46 c Got one! Elapsed wall clock time (in seconds):352.337 354.81/352.46 o 4067 355.41/353.05 c cleaning 28517 clauses out of 57046 with flag 20530/2025184 356.41/354.05 c cleaning 17254 clauses out of 34529 with flag 55327/2031184 357.51/355.16 c cleaning 12126 clauses out of 24275 with flag 102761/2038184 358.61/356.26 c cleaning 10063 clauses out of 20150 with flag 156515/2046185 359.80/357.46 c cleaning 9529 clauses out of 19086 with flag 213674/2055184 360.99/358.68 c cleaning 9777 clauses out of 19557 with flag 272565/2065184 362.64/360.21 c cleaning 10384 clauses out of 20780 with flag 342846/2076184 364.04/361.69 c cleaning 11180 clauses out of 22396 with flag 408312/2088184 365.93/363.59 c cleaning 12104 clauses out of 24217 with flag 492230/2101185 367.92/365.50 c cleaning 13052 clauses out of 26113 with flag 575591/2115185 370.01/367.63 c cleaning 14026 clauses out of 28061 with flag 667419/2130185 372.75/370.42 c cleaning 15011 clauses out of 30036 with flag 775447/2146186 375.69/373.30 c cleaning 16011 clauses out of 32025 with flag 894264/2163186 378.68/376.35 c cleaning 17004 clauses out of 34014 with flag 1024435/2181186 381.78/379.49 c cleaning 17994 clauses out of 36008 with flag 1167285/2200184 384.75/382.48 c cleaning 19004 clauses out of 38014 with flag 1307102/2220184 387.45/385.17 c cleaning 19996 clauses out of 40011 with flag 1437757/2241185 391.04/388.72 c cleaning 21003 clauses out of 42015 with flag 1605448/2263185 394.68/392.39 c cleaning 22006 clauses out of 44013 with flag 1779334/2286186 398.38/396.03 c cleaning 22997 clauses out of 46005 with flag 1955626/2310184 401.46/399.12 c cleaning 23991 clauses out of 48008 with flag 2109206/2335184 404.80/402.53 c cleaning 25003 clauses out of 50017 with flag 2269310/2361184 407.95/405.65 c cleaning 26005 clauses out of 52017 with flag 2430300/2388187 411.24/408.90 c cleaning 27000 clauses out of 54009 with flag 2607866/2416184 414.63/412.30 c cleaning 27999 clauses out of 56009 with flag 2799743/2445184 418.98/416.78 c cleaning 28994 clauses out of 58011 with flag 3022672/2475185 423.52/421.24 c cleaning 30001 clauses out of 60016 with flag 3250507/2506184 428.46/426.29 c cleaning 31001 clauses out of 62016 with flag 3510141/2538185 434.52/432.45 c cleaning 31997 clauses out of 64014 with flag 3807144/2571184 440.75/438.68 c cleaning 33003 clauses out of 66017 with flag 4093197/2605184 447.52/445.46 c cleaning 33995 clauses out of 68014 with flag 4309135/2640184 454.62/452.56 c cleaning 35002 clauses out of 70020 with flag 4582409/2676185 461.76/459.78 c cleaning 36006 clauses out of 72020 with flag 4838593/2713187 469.29/467.38 c cleaning 37002 clauses out of 74011 with flag 5111017/2751184 478.16/476.34 c cleaning 37998 clauses out of 76010 with flag 5456330/2790185 486.26/484.42 c cleaning 39001 clauses out of 78014 with flag 5686675/2830187 488.64/486.89 c Got one! Elapsed wall clock time (in seconds):486.764 488.64/486.89 o 4057 489.62/487.89 c cleaning 28236 clauses out of 56483 with flag 34395/2847657 490.91/489.15 c cleaning 17116 clauses out of 34247 with flag 90906/2853657 492.16/490.32 c cleaning 12053 clauses out of 24131 with flag 145564/2860657 493.36/491.58 c cleaning 10024 clauses out of 20078 with flag 203365/2868657 494.65/492.82 c cleaning 9515 clauses out of 19055 with flag 259181/2877658 495.79/494.07 c cleaning 9765 clauses out of 19539 with flag 316855/2887657 497.37/495.61 c cleaning 10383 clauses out of 20774 with flag 390790/2898657 499.04/497.33 c cleaning 11191 clauses out of 22392 with flag 479178/2910658 501.03/499.35 c cleaning 12098 clauses out of 24201 with flag 579928/2923658 503.66/501.95 c cleaning 13044 clauses out of 26104 with flag 691341/2937659 506.64/504.92 c cleaning 14020 clauses out of 28059 with flag 833914/2952658 509.52/507.88 c cleaning 15012 clauses out of 30038 with flag 953890/2968657 512.78/511.14 c cleaning 16010 clauses out of 32027 with flag 1072747/2985658 516.50/514.84 c cleaning 17000 clauses out of 34018 with flag 1195762/3003659 519.87/518.27 c cleaning 18001 clauses out of 36016 with flag 1322343/3022657 524.23/522.67 c cleaning 18994 clauses out of 38015 with flag 1494249/3042657 529.48/527.93 c cleaning 20005 clauses out of 40021 with flag 1680522/3063657 532.95/531.42 c cleaning 21003 clauses out of 42019 with flag 1798708/3085660 536.62/535.12 c cleaning 22000 clauses out of 44014 with flag 1922380/3108658 540.85/539.33 c cleaning 23006 clauses out of 46014 with flag 2061920/3132658 545.81/544.33 c cleaning 23994 clauses out of 48008 with flag 2217553/3157658 550.19/548.79 c cleaning 24999 clauses out of 50015 with flag 2338775/3183659 554.83/553.37 c cleaning 26001 clauses out of 52014 with flag 2493158/3210657 558.95/557.54 c cleaning 27004 clauses out of 54013 with flag 2631173/3238657 563.54/562.19 c cleaning 27998 clauses out of 56009 with flag 2804378/3267657 568.98/567.59 c cleaning 28995 clauses out of 58011 with flag 3025155/3297657 570.67/569.26 c Got one! Elapsed wall clock time (in seconds):569.136 570.67/569.26 o 4020 571.47/570.05 c cleaning 22069 clauses out of 44160 with flag 33976/3312801 572.47/571.02 c cleaning 14039 clauses out of 28093 with flag 84118/3318803 573.47/572.10 c cleaning 10511 clauses out of 21054 with flag 129403/3325803 574.47/573.02 c cleaning 9257 clauses out of 18541 with flag 168653/3333801 575.46/574.06 c cleaning 9123 clauses out of 18285 with flag 213442/3342802 576.69/575.27 c cleaning 9576 clauses out of 19162 with flag 257607/3352802 578.09/576.63 c cleaning 10290 clauses out of 20585 with flag 313252/3363801 579.59/578.18 c cleaning 11131 clauses out of 22295 with flag 374693/3375801 581.28/579.88 c cleaning 12077 clauses out of 24164 with flag 446707/3388801 583.17/581.74 c cleaning 13044 clauses out of 26088 with flag 519442/3402802 585.41/583.94 c cleaning 14020 clauses out of 28043 with flag 618081/3417801 587.93/586.56 c cleaning 15005 clauses out of 30023 with flag 732599/3433801 590.92/589.50 c cleaning 16003 clauses out of 32020 with flag 877657/3450803 594.01/592.68 c cleaning 17005 clauses out of 34015 with flag 1044815/3468801 597.05/595.61 c cleaning 17996 clauses out of 36011 with flag 1190067/3487802 599.94/598.54 c cleaning 18998 clauses out of 38014 with flag 1329219/3507801 603.04/601.69 c cleaning 19997 clauses out of 40017 with flag 1479850/3528802 606.43/605.06 c cleaning 21009 clauses out of 42019 with flag 1629512/3550801 609.67/608.27 c cleaning 21998 clauses out of 44010 with flag 1779245/3573801 613.16/611.79 c cleaning 23001 clauses out of 46012 with flag 1938159/3597801 617.79/616.44 c cleaning 24006 clauses out of 48013 with flag 2118567/3622803 622.03/620.63 c cleaning 24999 clauses out of 50006 with flag 2282727/3648802 626.53/625.17 c cleaning 25998 clauses out of 52008 with flag 2469439/3675803 631.20/629.88 c cleaning 26999 clauses out of 54008 with flag 2654495/3703801 635.92/634.52 c cleaning 27996 clauses out of 56010 with flag 2848159/3732802 640.62/639.26 c cleaning 29003 clauses out of 58014 with flag 3030674/3762802 645.89/644.55 c cleaning 29995 clauses out of 60010 with flag 3222976/3793801 651.06/649.73 c cleaning 30994 clauses out of 62016 with flag 3399899/3825802 656.51/655.25 c cleaning 32010 clauses out of 64022 with flag 3602239/3858802 662.13/660.85 c cleaning 32998 clauses out of 66011 with flag 3772102/3892801 666.91/665.68 c cleaning 33999 clauses out of 68013 with flag 3914407/3927801 672.50/671.29 c cleaning 34995 clauses out of 70014 with flag 4074118/3963801 679.00/677.71 c cleaning 36002 clauses out of 72020 with flag 4258792/4000802 685.08/683.80 c cleaning 37004 clauses out of 74017 with flag 4437746/4038801 691.54/690.35 c cleaning 38000 clauses out of 76014 with flag 4650754/4077802 699.28/698.02 c cleaning 39000 clauses out of 78013 with flag 4866172/4117801 706.26/705.08 c cleaning 40006 clauses out of 80015 with flag 5050183/4158803 713.66/712.59 c cleaning 41000 clauses out of 82007 with flag 5235028/4200801 721.79/720.69 c cleaning 41998 clauses out of 84007 with flag 5422594/4243801 730.66/729.52 c cleaning 42999 clauses out of 86010 with flag 5650372/4287802 739.09/737.93 c cleaning 44003 clauses out of 88013 with flag 5852144/4332804 748.21/747.13 c cleaning 44999 clauses out of 90007 with flag 6084564/4378801 757.54/756.45 c cleaning 45993 clauses out of 92008 with flag 6318433/4425801 767.62/766.52 c cleaning 47003 clauses out of 94015 with flag 6587726/4473801 777.38/776.35 c cleaning 47993 clauses out of 96012 with flag 6879904/4522801 785.03/784.10 c cleaning 49001 clauses out of 98020 with flag 7214573/4572802 793.22/792.29 c cleaning 49999 clauses out of 100018 with flag 7609154/4623801 802.16/801.18 c cleaning 51008 clauses out of 102019 with flag 8015880/4675801 812.55/811.66 c cleaning 52003 clauses out of 104012 with flag 8455150/4728802 822.77/821.80 c cleaning 52994 clauses out of 106008 with flag 8905750/4782801 832.41/831.49 c cleaning 53999 clauses out of 108018 with flag 9322384/4837805 842.00/841.05 c cleaning 55002 clauses out of 110016 with flag 9729749/4893802 852.11/851.22 c cleaning 56002 clauses out of 112013 with flag 10145850/4950801 863.02/862.13 c cleaning 56997 clauses out of 114012 with flag 10547343/5008802 874.48/873.68 c cleaning 58004 clauses out of 116015 with flag 10881028/5067802 886.55/885.77 c cleaning 58998 clauses out of 118011 with flag 11284827/5127802 898.27/897.44 c cleaning 60000 clauses out of 120013 with flag 11755293/5188802 910.95/910.18 c cleaning 60999 clauses out of 122013 with flag 12160334/5250802 924.25/923.59 c cleaning 62004 clauses out of 124013 with flag 12643641/5313801 935.66/934.99 c cleaning 62998 clauses out of 126009 with flag 13051102/5377801 949.01/948.38 c cleaning 64006 clauses out of 128012 with flag 13498026/5442802 961.60/960.92 c cleaning 64997 clauses out of 130007 with flag 13986543/5508803 973.86/973.24 c cleaning 65998 clauses out of 132009 with flag 14420336/5575802 986.65/986.08 c cleaning 66995 clauses out of 134011 with flag 14902970/5643802 999.18/998.64 c cleaning 68003 clauses out of 136015 with flag 15391594/5712801 1011.23/1010.71 c cleaning 68991 clauses out of 138012 with flag 15858444/5782801 1023.00/1022.60 c cleaning 70005 clauses out of 140023 with flag 16310013/5853803 1035.59/1035.19 c cleaning 70998 clauses out of 142016 with flag 16798978/5925801 1049.05/1048.64 c cleaning 72004 clauses out of 144019 with flag 17351317/5998802 1062.34/1061.94 c cleaning 73006 clauses out of 146015 with flag 17839801/6072802 1075.45/1075.04 c cleaning 73996 clauses out of 148008 with flag 18285296/6147801 1089.28/1088.77 c cleaning 75000 clauses out of 150012 with flag 18770884/6223801 1103.90/1103.40 c cleaning 76004 clauses out of 152012 with flag 19290138/6300801 1118.38/1117.99 c cleaning 77004 clauses out of 154010 with flag 19801484/6378803 1135.70/1135.36 c cleaning 77996 clauses out of 156004 with flag 20301184/6457801 1155.84/1155.52 c cleaning 78998 clauses out of 158008 with flag 20846237/6537801 1175.00/1174.77 c cleaning 80000 clauses out of 160010 with flag 21384247/6618801 1191.18/1191.00 c cleaning 81004 clauses out of 162012 with flag 21939085/6700803 1204.79/1204.64 c cleaning 82001 clauses out of 164007 with flag 22503365/6783802 1222.50/1222.31 c cleaning 83001 clauses out of 166008 with flag 23014193/6867804 1240.92/1240.80 c cleaning 83992 clauses out of 168004 with flag 23604970/6952801 1261.22/1261.12 c cleaning 85005 clauses out of 170013 with flag 24251041/7038802 1281.65/1281.64 c cleaning 85997 clauses out of 172007 with flag 24907207/7125801 1301.74/1301.73 c cleaning 86995 clauses out of 174011 with flag 25524821/7213802 1322.30/1322.39 c cleaning 87992 clauses out of 176018 with flag 26181576/7302804 1344.00/1344.10 c cleaning 89009 clauses out of 178024 with flag 26872234/7392802 1365.48/1365.85 c cleaning 89998 clauses out of 180015 with flag 27520918/7483802 1386.03/1386.42 c cleaning 90994 clauses out of 182016 with flag 28196721/7575801 1405.44/1405.86 c cleaning 92001 clauses out of 184023 with flag 28868711/7668802 1426.03/1426.45 c cleaning 93002 clauses out of 186022 with flag 29505031/7762802 1446.44/1446.91 c cleaning 94002 clauses out of 188019 with flag 30115680/7857801 1469.03/1469.50 c cleaning 95001 clauses out of 190017 with flag 30799682/7953801 1493.05/1493.61 c cleaning 96003 clauses out of 192016 with flag 31611440/8050801 1514.43/1515.01 c cleaning 96997 clauses out of 194013 with flag 32303720/8148801 1536.09/1536.75 c cleaning 97999 clauses out of 196016 with flag 32978442/8247801 1557.73/1558.44 c cleaning 98999 clauses out of 198018 with flag 33740242/8347802 1585.55/1586.23 c cleaning 100002 clauses out of 200019 with flag 34709144/8448802 1610.92/1611.64 c cleaning 101001 clauses out of 202016 with flag 35529186/8550801 1633.47/1634.25 c cleaning 102004 clauses out of 204016 with flag 36324103/8653802 1656.24/1657.01 c cleaning 102994 clauses out of 206014 with flag 37049151/8757804 1680.28/1681.14 c cleaning 103995 clauses out of 208017 with flag 37825652/8862801 1706.40/1707.34 c cleaning 104996 clauses out of 210022 with flag 38562265/8968801 1733.22/1734.12 c cleaning 106010 clauses out of 212027 with flag 39262235/9075802 1759.01/1759.96 c cleaning 106999 clauses out of 214017 with flag 39959928/9183802 1784.27/1785.20 c cleaning 108007 clauses out of 216018 with flag 40677832/9292802 1803.46/1804.59 c Got one! Elapsed wall clock time (in seconds):1804.466 1803.46/1804.59 o 4001 1804.37/1805.42 c Got one! Elapsed wall clock time (in seconds):1805.3 1804.37/1805.42 o 3988 1805.26/1806.34 c cleaning 104540 clauses out of 209102 with flag 16313/9393893 1807.00/1808.00 c cleaning 55270 clauses out of 110558 with flag 63394/9399889 1808.59/1809.67 c cleaning 31139 clauses out of 62289 with flag 121787/9406890 1810.19/1811.28 c cleaning 19573 clauses out of 39149 with flag 185506/9414889 1811.78/1812.83 c cleaning 14277 clauses out of 28576 with flag 236831/9423889 1813.37/1814.49 c cleaning 12127 clauses out of 24299 with flag 310469/9433889 1815.37/1816.43 c cleaning 11574 clauses out of 23174 with flag 399919/9444891 1817.01/1818.06 c cleaning 11789 clauses out of 23598 with flag 471177/9456889 1818.60/1819.68 c cleaning 12401 clauses out of 24810 with flag 560757/9469890 1820.49/1821.55 c cleaning 13200 clauses out of 26411 with flag 649464/9483892 1822.89/1823.99 c cleaning 14095 clauses out of 28208 with flag 763620/9498889 1825.68/1826.79 c cleaning 15055 clauses out of 30113 with flag 893785/9514889 1828.54/1829.66 c cleaning 16025 clauses out of 32058 with flag 1019764/9531889 1831.34/1832.48 c cleaning 17012 clauses out of 34034 with flag 1140131/9549890 1834.21/1835.30 c cleaning 18009 clauses out of 36021 with flag 1271066/9568889 1837.51/1838.65 c cleaning 18995 clauses out of 38013 with flag 1418947/9588890 1841.03/1842.13 c cleaning 19999 clauses out of 40018 with flag 1563269/9609890 1844.72/1845.87 c cleaning 21006 clauses out of 42018 with flag 1719966/9631889 1849.02/1850.12 c cleaning 22003 clauses out of 44014 with flag 1895443/9654891 1853.54/1854.67 c cleaning 23000 clauses out of 46011 with flag 2070820/9678891 1857.73/1858.87 c cleaning 24000 clauses out of 48009 with flag 2225192/9703889 1862.28/1863.46 c cleaning 24997 clauses out of 50010 with flag 2398254/9729890 1866.96/1868.17 c cleaning 25996 clauses out of 52012 with flag 2570874/9756889 1872.26/1873.41 c cleaning 27004 clauses out of 54019 with flag 2738729/9784892 1877.25/1878.47 c cleaning 28001 clauses out of 56012 with flag 2931442/9813889 1883.14/1884.39 c cleaning 28995 clauses out of 58012 with flag 3124071/9843890 1889.15/1890.31 c cleaning 30005 clauses out of 60017 with flag 3339009/9874890 1895.18/1896.48 c cleaning 31001 clauses out of 62012 with flag 3556308/9906890 1901.31/1902.57 c cleaning 32000 clauses out of 64011 with flag 3770398/9939890 1907.45/1908.74 c cleaning 32995 clauses out of 66013 with flag 4005225/9973892 1913.39/1914.54 c cleaning 34006 clauses out of 68015 with flag 4253941/10008889 1919.07/1920.21 c cleaning 35003 clauses out of 70010 with flag 4484469/10044890 1924.87/1926.10 c cleaning 35999 clauses out of 72007 with flag 4729078/10081890 1930.61/1931.83 c cleaning 36998 clauses out of 74007 with flag 4988773/10119889 1936.96/1938.20 c cleaning 38002 clauses out of 76009 with flag 5270563/10158889 1943.35/1944.60 c cleaning 39004 clauses out of 78008 with flag 5543774/10198890 1950.94/1952.22 c cleaning 39996 clauses out of 80005 with flag 5883733/10239891 1959.01/1960.31 c cleaning 41003 clauses out of 82007 with flag 6171522/10281889 1966.76/1968.16 c cleaning 41996 clauses out of 84004 with flag 6393021/10324889 1973.93/1975.39 c cleaning 42995 clauses out of 86009 with flag 6661277/10368890 1981.15/1982.54 c cleaning 44002 clauses out of 88013 with flag 6999031/10413889 1982.34/1983.71 c Got one! Elapsed wall clock time (in seconds):1983.588 1982.34/1983.71 o 3936 1983.04/1984.47 c cleaning 27975 clauses out of 55963 with flag 31792/10425841 1983.85/1985.21 c cleaning 16987 clauses out of 33988 with flag 69541/10431841 1984.75/1986.12 c cleaning 11984 clauses out of 24001 with flag 117244/10438841 1985.84/1987.21 c cleaning 10000 clauses out of 20018 with flag 171474/10446842 1986.74/1988.10 c cleaning 9500 clauses out of 19017 with flag 214906/10455841 1987.83/1989.28 c cleaning 9756 clauses out of 19518 with flag 273269/10465842 1989.15/1990.54 c cleaning 10377 clauses out of 20762 with flag 347979/10476842 1990.65/1992.03 c cleaning 11189 clauses out of 22385 with flag 430382/10488842 1992.08/1993.54 c cleaning 12091 clauses out of 24197 with flag 505624/10501843 1993.68/1995.16 c cleaning 13051 clauses out of 26105 with flag 594893/10515842 1995.47/1996.99 c cleaning 14022 clauses out of 28053 with flag 701998/10530841 1997.47/1998.91 c cleaning 15014 clauses out of 30032 with flag 813750/10546842 1999.57/2001.08 c cleaning 16004 clauses out of 32017 with flag 936750/10563841 2002.08/2003.58 c cleaning 17006 clauses out of 34014 with flag 1065919/10581842 2004.67/2006.17 c cleaning 18001 clauses out of 36007 with flag 1202524/10600841 2007.46/2008.91 c cleaning 19000 clauses out of 38007 with flag 1346934/10620842 2010.56/2012.06 c cleaning 19999 clauses out of 40008 with flag 1484041/10641843 2013.26/2014.71 c cleaning 21002 clauses out of 42008 with flag 1627390/10663842 2016.35/2017.85 c cleaning 21988 clauses out of 44006 with flag 1805975/10686842 2019.73/2021.27 c cleaning 23008 clauses out of 46017 with flag 1999975/10710841 2023.13/2024.71 c cleaning 24001 clauses out of 48012 with flag 2160226/10735844 2026.95/2028.58 c cleaning 25003 clauses out of 50010 with flag 2346892/10761843 2031.13/2032.74 c cleaning 26002 clauses out of 52006 with flag 2541044/10788842 2035.49/2037.12 c cleaning 26994 clauses out of 54005 with flag 2747710/10816843 2039.90/2041.50 c cleaning 28005 clauses out of 56010 with flag 2960418/10845842 2044.39/2046.00 c cleaning 29000 clauses out of 58004 with flag 3163729/10875841 2049.58/2051.20 c cleaning 29995 clauses out of 60005 with flag 3418161/10906842 2054.73/2056.43 c cleaning 31002 clauses out of 62009 with flag 3680489/10938841 2061.10/2062.86 c cleaning 31999 clauses out of 64007 with flag 4004507/10971841 2067.00/2068.71 c cleaning 32996 clauses out of 66009 with flag 4305759/11005842 2071.69/2073.49 c cleaning 34001 clauses out of 68012 with flag 4516378/11040841 2077.52/2079.25 c cleaning 35006 clauses out of 70012 with flag 4778769/11076842 2084.35/2086.19 c cleaning 35995 clauses out of 72006 with flag 5081561/11113842 2092.86/2094.61 c cleaning 37003 clauses out of 74011 with flag 5439441/11151842 2099.65/2101.41 c cleaning 37999 clauses out of 76008 with flag 5762305/11190842 2105.97/2107.71 c cleaning 38996 clauses out of 78008 with flag 6067373/11230841 2112.16/2113.93 c cleaning 40006 clauses out of 80014 with flag 6353257/11271843 2118.30/2120.12 c cleaning 40998 clauses out of 82008 with flag 6630659/11313843 2125.60/2127.42 c cleaning 41997 clauses out of 84009 with flag 6976702/11356842 2132.19/2134.00 c cleaning 43002 clauses out of 86015 with flag 7256834/11400845 2138.91/2140.78 c cleaning 44001 clauses out of 88009 with flag 7539784/11445841 2145.74/2147.52 c cleaning 45003 clauses out of 90009 with flag 7860807/11491842 2153.96/2155.80 c cleaning 45993 clauses out of 92006 with flag 8196493/11538842 2161.96/2163.81 c cleaning 47000 clauses out of 94014 with flag 8486716/11586843 2171.29/2173.11 c cleaning 47993 clauses out of 96012 with flag 8841142/11635841 2181.07/2183.08 c cleaning 49010 clauses out of 98019 with flag 9234546/11685841 2190.94/2192.90 c cleaning 50002 clauses out of 100009 with flag 9605626/11736841 2200.38/2202.37 c cleaning 50998 clauses out of 102007 with flag 9945063/11788841 2212.18/2214.22 c cleaning 52000 clauses out of 104009 with flag 10348563/11841841 2222.10/2224.18 c cleaning 52998 clauses out of 106011 with flag 10713389/11895843 2232.00/2234.08 c cleaning 54001 clauses out of 108011 with flag 11162064/11950841 2242.79/2245.00 c cleaning 55000 clauses out of 110010 with flag 11560478/12006841 2253.68/2255.86 c cleaning 55993 clauses out of 112011 with flag 11915437/12063842 2263.49/2265.66 c cleaning 57004 clauses out of 114018 with flag 12285119/12121842 2274.77/2276.96 c cleaning 58000 clauses out of 116013 with flag 12677440/12180841 2285.16/2287.48 c cleaning 58998 clauses out of 118017 with flag 12991391/12240845 2296.18/2298.45 c cleaning 59995 clauses out of 120015 with flag 13362635/12301841 2309.15/2311.41 c cleaning 61007 clauses out of 122022 with flag 13878250/12363843 2322.51/2324.89 c cleaning 62001 clauses out of 124014 with flag 14336410/12426842 2335.33/2337.62 c cleaning 62998 clauses out of 126012 with flag 14776343/12490841 2348.17/2350.57 c cleaning 64003 clauses out of 128015 with flag 15246558/12555842 2360.92/2363.39 c cleaning 64996 clauses out of 130012 with flag 15688181/12621842 2372.73/2375.19 c cleaning 66004 clauses out of 132016 with flag 16134559/12688842 2383.97/2386.47 c cleaning 67005 clauses out of 134012 with flag 16576966/12756842 2395.29/2397.78 c cleaning 68000 clauses out of 136007 with flag 17099437/12825842 2408.71/2411.18 c cleaning 68996 clauses out of 138006 with flag 17731993/12895841 2425.27/2427.75 c cleaning 69996 clauses out of 140010 with flag 18501077/12966841 2441.56/2444.08 c cleaning 70998 clauses out of 142014 with flag 19195639/13038841 2458.12/2460.67 c cleaning 72001 clauses out of 144016 with flag 19971697/13111841 2471.17/2473.73 c cleaning 73000 clauses out of 146015 with flag 20460148/13185841 2486.26/2488.86 c cleaning 73997 clauses out of 148015 with flag 20959580/13260841 2503.39/2506.02 c cleaning 75006 clauses out of 150019 with flag 21435730/13336842 2519.20/2521.80 c cleaning 75999 clauses out of 152013 with flag 21940128/13413842 2533.92/2536.60 c cleaning 76999 clauses out of 154014 with flag 22449044/13491842 2551.03/2553.78 c cleaning 78002 clauses out of 156015 with flag 23035865/13570842 2568.63/2571.42 c cleaning 79001 clauses out of 158012 with flag 23665732/13650841 2586.82/2589.68 c cleaning 79997 clauses out of 160012 with flag 24342312/13731842 2606.48/2609.39 c cleaning 81003 clauses out of 162015 with flag 25054640/13813842 2625.83/2628.71 c cleaning 82000 clauses out of 164011 with flag 25827356/13896841 2644.03/2646.93 c cleaning 83002 clauses out of 166013 with flag 26505358/13980843 2663.58/2666.58 c cleaning 84005 clauses out of 168009 with flag 27086835/14065841 2682.14/2685.11 c cleaning 84997 clauses out of 170004 with flag 27567663/14151841 2703.68/2706.71 c cleaning 86000 clauses out of 172008 with flag 28173587/14238842 2725.64/2728.64 c cleaning 87003 clauses out of 174010 with flag 28814994/14326844 2748.50/2751.50 c cleaning 87994 clauses out of 176004 with flag 29511758/14415841 2768.56/2771.60 c cleaning 88993 clauses out of 178010 with flag 30019491/14505841 2786.86/2789.93 c cleaning 90000 clauses out of 180017 with flag 30511838/14596841 2807.93/2811.03 c cleaning 91004 clauses out of 182018 with flag 31175572/14688842 2814.81/2817.96 c Got one! Elapsed wall clock time (in seconds):2817.836 2814.81/2817.96 o 3902 2816.11/2819.28 c cleaning 65378 clauses out of 130773 with flag 38010/14728601 2817.31/2820.42 c cleaning 35694 clauses out of 71395 with flag 79226/14734601 2818.40/2821.52 c cleaning 21343 clauses out of 42702 with flag 135377/14741602 2819.40/2822.59 c cleaning 14656 clauses out of 29358 with flag 192822/14749601 2820.60/2823.75 c cleaning 11810 clauses out of 23702 with flag 255254/14758601 2821.94/2825.08 c cleaning 10941 clauses out of 21894 with flag 307395/14768603 2823.22/2826.37 c cleaning 10959 clauses out of 21952 with flag 362537/14779602 2824.72/2827.89 c cleaning 11488 clauses out of 22993 with flag 421986/14791602 2826.42/2829.52 c cleaning 12251 clauses out of 24506 with flag 486658/14804603 2828.71/2831.83 c cleaning 13123 clauses out of 26253 with flag 574291/14818601 2831.45/2834.66 c cleaning 14061 clauses out of 28132 with flag 680202/14833603 2833.87/2837.02 c cleaning 15031 clauses out of 30070 with flag 794137/14849602 2836.35/2839.53 c cleaning 16014 clauses out of 32038 with flag 867299/14866601 2838.95/2842.19 c cleaning 17008 clauses out of 34024 with flag 942692/14884601 2841.84/2845.02 c cleaning 17997 clauses out of 36017 with flag 1015470/14903602 2844.76/2847.92 c cleaning 19010 clauses out of 38019 with flag 1125723/14923601 2847.43/2850.65 c cleaning 19999 clauses out of 40009 with flag 1277857/14944601 2850.21/2853.43 c cleaning 21005 clauses out of 42010 with flag 1421639/14966601 2853.21/2856.45 c cleaning 21998 clauses out of 44007 with flag 1567533/14989603 2856.64/2859.83 c cleaning 23002 clauses out of 46007 with flag 1711207/15013601 2859.83/2863.08 c cleaning 23993 clauses out of 48006 with flag 1873181/15038602 2862.97/2866.21 c cleaning 25007 clauses out of 50014 with flag 2059657/15064603 2866.26/2869.56 c cleaning 25992 clauses out of 52005 with flag 2247639/15091601 2869.95/2873.25 c cleaning 26999 clauses out of 54016 with flag 2447314/15119604 2874.07/2877.31 c cleaning 27998 clauses out of 56014 with flag 2675386/15148601 2878.56/2881.89 c cleaning 29000 clauses out of 58016 with flag 2938926/15178601 2883.35/2886.61 c cleaning 30000 clauses out of 60017 with flag 3213779/15209602 2888.87/2892.14 c cleaning 31002 clauses out of 62017 with flag 3521041/15241602 2894.72/2898.06 c cleaning 32002 clauses out of 64015 with flag 3840211/15274602 2900.79/2904.12 c cleaning 32994 clauses out of 66012 with flag 4160704/15308601 2907.82/2911.16 c cleaning 34004 clauses out of 68019 with flag 4572558/15343602 2914.50/2917.80 c cleaning 35003 clauses out of 70015 with flag 4959362/15379602 2920.89/2924.22 c cleaning 36003 clauses out of 72011 with flag 5305635/15416601 2928.95/2932.31 c cleaning 36995 clauses out of 74008 with flag 5783080/15454601 2935.54/2938.90 c cleaning 38002 clauses out of 76016 with flag 6127313/15493604 2941.07/2944.42 c cleaning 38993 clauses out of 78011 with flag 6370077/15533601 2947.45/2950.82 c cleaning 39999 clauses out of 80019 with flag 6616134/15574602 2954.34/2957.77 c cleaning 41001 clauses out of 82019 with flag 6877704/15616601 2961.58/2965.10 c cleaning 42007 clauses out of 84018 with flag 7184988/15659601 2968.98/2972.47 c cleaning 43002 clauses out of 86013 with flag 7442446/15703603 2978.30/2981.73 c cleaning 44005 clauses out of 88009 with flag 7764230/15748601 2987.06/2990.57 c cleaning 44998 clauses out of 90004 with flag 8060668/15794601 2994.18/2997.65 c cleaning 45998 clauses out of 92006 with flag 8310504/15841601 3001.86/3005.31 c cleaning 46999 clauses out of 94008 with flag 8569066/15889601 3009.97/3013.44 c cleaning 47997 clauses out of 96009 with flag 8846680/15938601 3018.75/3022.22 c cleaning 48999 clauses out of 98012 with flag 9175869/15988601 3027.13/3030.67 c cleaning 50002 clauses out of 100014 with flag 9470400/16039602 3035.04/3038.51 c cleaning 51001 clauses out of 102013 with flag 9756365/16091603 3044.25/3047.75 c cleaning 51998 clauses out of 104010 with flag 10090494/16144601 3053.86/3057.47 c cleaning 52998 clauses out of 106013 with flag 10477979/16198602 3062.57/3066.19 c cleaning 53999 clauses out of 108015 with flag 10802062/16253602 3072.08/3075.62 c cleaning 55005 clauses out of 110015 with flag 11151041/16309601 3080.90/3084.50 c cleaning 55998 clauses out of 112012 with flag 11389124/16366603 3091.29/3094.90 c cleaning 56998 clauses out of 114012 with flag 11691915/16424601 3102.00/3105.64 c cleaning 58005 clauses out of 116015 with flag 12115280/16483602 3112.35/3116.07 c cleaning 58998 clauses out of 118010 with flag 12545199/16543602 3115.67/3119.36 c Got one! Elapsed wall clock time (in seconds):3119.237 3115.67/3119.36 o 3900 3116.87/3120.52 c cleaning 41579 clauses out of 83166 with flag 53575/16567756 3117.77/3121.43 c cleaning 23789 clauses out of 47586 with flag 100564/16573755 3118.56/3122.23 c cleaning 15384 clauses out of 30798 with flag 150291/16580756 3119.37/3123.02 c cleaning 11692 clauses out of 23412 with flag 204770/16588754 3120.27/3123.93 c cleaning 10337 clauses out of 20720 with flag 267595/16597754 3121.26/3124.94 c cleaning 10179 clauses out of 20386 with flag 338758/16607757 3122.36/3126.06 c cleaning 10590 clauses out of 21204 with flag 413042/16618754 3123.46/3127.17 c cleaning 11299 clauses out of 22614 with flag 491482/16630754 3124.75/3128.42 c cleaning 12154 clauses out of 24315 with flag 576730/16643754 3126.18/3129.84 c cleaning 13075 clauses out of 26162 with flag 677906/16657755 3127.48/3131.16 c cleaning 14040 clauses out of 28086 with flag 772141/16672754 3129.08/3132.73 c cleaning 15021 clauses out of 30048 with flag 871767/16688756 3130.67/3134.39 c cleaning 16009 clauses out of 32026 with flag 998324/16705755 3132.76/3136.40 c cleaning 17007 clauses out of 34019 with flag 1140069/16723757 3134.65/3138.31 c cleaning 17999 clauses out of 36009 with flag 1274713/16742754 3136.68/3140.34 c cleaning 19001 clauses out of 38010 with flag 1428048/16762754 3139.37/3143.06 c cleaning 20002 clauses out of 40009 with flag 1630342/16783754 3142.21/3145.96 c cleaning 21002 clauses out of 42007 with flag 1855727/16805754 3144.90/3148.62 c cleaning 21995 clauses out of 44005 with flag 2049238/16828754 3147.80/3151.59 c cleaning 22997 clauses out of 46011 with flag 2201184/16852755 3151.19/3154.96 c cleaning 24006 clauses out of 48014 with flag 2346617/16877755 3155.01/3158.73 c cleaning 24997 clauses out of 50008 with flag 2520279/16903755 3158.91/3162.67 c cleaning 25998 clauses out of 52010 with flag 2696556/16930754 3163.24/3166.95 c cleaning 27005 clauses out of 54013 with flag 2868185/16958755 3167.62/3171.34 c cleaning 28003 clauses out of 56007 with flag 3049254/16987754 3172.39/3176.11 c cleaning 29001 clauses out of 58005 with flag 3227414/17017755 3177.56/3181.37 c cleaning 29994 clauses out of 60003 with flag 3451802/17048754 3182.08/3185.82 c cleaning 31003 clauses out of 62010 with flag 3617436/17080755 3186.76/3190.53 c cleaning 32002 clauses out of 64007 with flag 3799347/17113755 3191.88/3195.63 c cleaning 32994 clauses out of 66005 with flag 3977768/17147755 3197.07/3200.87 c cleaning 33996 clauses out of 68010 with flag 4154760/17182754 3202.40/3206.19 c cleaning 35002 clauses out of 70014 with flag 4302411/17218754 3208.52/3212.38 c cleaning 35997 clauses out of 72014 with flag 4509164/17255756 3215.43/3219.20 c cleaning 37000 clauses out of 74016 with flag 4778997/17293755 3221.82/3225.67 c cleaning 38001 clauses out of 76016 with flag 4990046/17332755 3228.53/3232.34 c cleaning 39001 clauses out of 78014 with flag 5215607/17372754 3235.45/3239.29 c cleaning 40001 clauses out of 80013 with flag 5487286/17413754 3241.99/3245.85 c cleaning 40999 clauses out of 82013 with flag 5850430/17455755 3248.71/3252.54 c cleaning 41997 clauses out of 84014 with flag 6207395/17498755 3254.80/3258.65 c cleaning 43005 clauses out of 86016 with flag 6569373/17542754 3260.92/3264.75 c cleaning 44001 clauses out of 88011 with flag 6963559/17587754 3267.50/3271.35 c cleaning 44995 clauses out of 90010 with flag 7395515/17633754 3274.56/3278.44 c cleaning 45998 clauses out of 92016 with flag 7829571/17680755 3282.04/3285.96 c cleaning 47005 clauses out of 94017 with flag 8223307/17728754 3290.56/3294.30 c cleaning 48002 clauses out of 96012 with flag 8519322/17777754 3299.26/3303.06 c cleaning 48999 clauses out of 98011 with flag 8811495/17827755 3308.89/3312.75 c cleaning 49996 clauses out of 100011 with flag 9162157/17878754 3317.67/3321.57 c cleaning 51002 clauses out of 102016 with flag 9478806/17930755 3325.58/3329.49 c cleaning 52000 clauses out of 104013 with flag 9754824/17983754 3333.75/3337.64 c cleaning 53001 clauses out of 106014 with flag 10021432/18037755 3343.31/3347.22 c cleaning 53998 clauses out of 108015 with flag 10335938/18092757 3352.98/3356.91 c cleaning 55003 clauses out of 110015 with flag 10586741/18148755 3363.79/3367.78 c cleaning 55997 clauses out of 112011 with flag 10817285/18205754 3375.13/3379.16 c cleaning 57006 clauses out of 114016 with flag 11069606/18263756 3387.03/3391.03 c cleaning 57997 clauses out of 116008 with flag 11342468/18322754 3398.59/3402.61 c cleaning 58998 clauses out of 118011 with flag 11622500/18382754 3409.35/3413.44 c cleaning 60000 clauses out of 120015 with flag 11928663/18443756 3420.25/3424.38 c cleaning 61003 clauses out of 122013 with flag 12191742/18505754 3433.32/3437.42 c cleaning 61999 clauses out of 124011 with flag 12480210/18568755 3446.20/3450.32 c cleaning 62999 clauses out of 126011 with flag 12779391/18632754 3459.27/3463.41 c cleaning 63998 clauses out of 128012 with flag 13131767/18697754 3470.93/3475.17 c cleaning 64996 clauses out of 130014 with flag 13521097/18763754 3482.94/3487.13 c cleaning 66001 clauses out of 132019 with flag 14136137/18830755 3495.61/3500.04 c cleaning 67004 clauses out of 134017 with flag 14862335/18898754 3511.16/3515.68 c cleaning 68001 clauses out of 136014 with flag 15578549/18967755 3526.07/3530.59 c cleaning 68995 clauses out of 138012 with flag 16215783/19037754 3538.93/3543.41 c cleaning 70005 clauses out of 140017 with flag 16743950/19108754 3551.24/3555.71 c cleaning 71001 clauses out of 142012 with flag 17225956/19180754 3564.81/3569.33 c cleaning 71998 clauses out of 144011 with flag 17788393/19253754 3580.12/3584.66 c cleaning 72995 clauses out of 146013 with flag 18406241/19327754 3596.36/3600.92 c cleaning 74007 clauses out of 148018 with flag 19089188/19402754 3600.05/3604.61 c starts : 1547 3600.05/3604.61 c conflicts : 19421049 3600.05/3604.61 c decisions : 23482303 3600.05/3604.61 c propagations : 294757692 3600.05/3604.61 c inspects : 26265447451 3600.05/3604.61 c shortcuts : 0 3600.05/3604.63 c learnt literals : 0 3600.05/3604.63 c learnt binary clauses : 1 3600.05/3604.63 c learnt ternary clauses : 23 3600.05/3604.63 c learnt constraints : 19421049 3600.05/3604.63 c ignored constraints : 0 3600.05/3604.63 c root simplifications : 0 3600.05/3604.63 c removed literals (reason simplification) : 2154151527 3600.05/3604.63 c reason swapping (by a shorter reason) : 0 3600.05/3604.63 c Calls to reduceDB : 533 3600.05/3604.63 c Number of update (reduction) of LBD : 3306392 3600.05/3604.63 c Imported unit clauses : 0 3600.05/3604.63 c No decision after first conflict : false 3600.05/3604.63 c number of reductions to clauses (during analyze) : 0 3600.05/3604.63 c number of learned constraints concerned by reduction : 0 3600.05/3604.63 c number of learning phase by resolution : 0 3600.05/3604.63 c number of learning phase by cutting planes : 0 3600.05/3604.63 c number of rounding to 1 operations : 0 3600.05/3604.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3604.63 c number of reductions of the coefficients by power 2 : 0 3600.05/3604.63 c number of right shift for reduction by power 2 : 0 3600.05/3604.63 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3604.63 c number of ending skipping : 0 3600.05/3604.63 c number of internal skipping : 0 3600.05/3604.63 c number of derivation steps : 0 3600.05/3604.63 c number of skipped derivation steps : 0 3600.05/3604.63 c number of remaining unassigned : 0 3600.05/3604.63 c number of remaining assigned : 0 3600.05/3604.63 c number of falsified literals weakened from reason : 0 3600.05/3604.63 c number of falsified literals weakened from conflict : 0 3600.05/3604.63 c time for arithmetic operations : 0 3600.05/3604.63 c minimum degree of deleted constraints : null 3600.05/3604.63 c maximum degree of deleted constraints : null 3600.05/3604.63 c number of deleted constraints : 0 3600.05/3604.63 c speed (assignments/second) : 81776.50613273111 3600.05/3604.63 c non guided choices : 0 3600.05/3604.67 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 92305 3600.05/3604.67 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 1 3600.05/3604.67 s SATISFIABLE 3600.05/3604.67 c Found 15 solution(s) 3600.05/3604.67 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 3600.05/3604.68 c objective function=3900 3600.05/3604.68 c Total wall clock time (in seconds): 3604.557
OK 3900
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (58088 MiB free)
memory of node 1: 64473 MiB (58086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459566-1721895842/watcher-4459566-1721895842 -o /tmp/evaluation-result-4459566-1721895842/solver-4459566-1721895842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721888534-278322 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4459566-1721895842 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459566-1721895842.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=282684, runsolver pid=282681
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.43 4.24 4.20 8/335 282702
/proc/meminfo: memFree=118907796/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=18975048 memory=65408 CPUtime=0.14 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 7233 0 0 0 12 2 0 0 20 0 18 0 26107123 19430449152 16352 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4743762 16352 5679 1 0 549364 0
[pid=282684/tid=282686] ppid=282681 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 5763 0 0 0 8 1 0 0 20 0 18 0 26107123 19430449152 16352 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26107125 19430449152 16352 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=18975048 memory=14135545649324636 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 26107126 19430449152 16352 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65408 KiB
[startup+0.205961 s]*
/proc/loadavg: 4.43 4.24 4.20 7/318 282705
/proc/meminfo: memFree=119353612/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19041612 memory=74220 CPUtime=0.34 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 7811 0 0 0 32 2 0 0 20 0 19 0 26107123 19498610688 18555 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4760403 18555 5853 1 0 550015 0
[pid=282684/tid=282686] ppid=282681 vsize=19041612 memory=664970851429515383 CPUtime=0.18 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 6065 0 0 0 17 1 0 0 20 0 19 0 26107123 19498610688 18555 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19041612 memory=219968332280 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26107125 19498610688 18555 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19041612 memory=1992969 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26107126 19498610688 18555 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 26107142 19498610688 18555 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74220 KiB
[startup+0.309734 s]*
/proc/loadavg: 4.43 4.24 4.20 5/315 282705
/proc/meminfo: memFree=119344360/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19041612 memory=87516 CPUtime=0.51 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 9373 0 0 0 48 3 0 0 20 0 19 0 26107123 19498610688 21879 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4760403 21879 5853 1 0 550757 0
[pid=282684/tid=282686] ppid=282681 vsize=19041612 memory=-9103292629945918140 CPUtime=0.26 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 6088 0 0 0 24 2 0 0 20 0 19 0 26107123 19498610688 21879 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26107125 19498610688 21879 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26107126 19498610688 21879 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 26107142 19498610688 21879 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87516 KiB
[startup+0.700313 s]
/proc/loadavg: 4.43 4.24 4.20 8/311 282731
/proc/meminfo: memFree=119314904/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19041612 memory=163284 CPUtime=1.25 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 14267 0 0 0 120 5 0 0 20 0 19 0 26107123 19498610688 40821 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4760403 40821 5891 1 0 553697 0
[pid=282684/tid=282686] ppid=282681 vsize=19041612 memory=12936 CPUtime=0.62 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 1077936192 6164 0 0 0 59 3 0 0 20 0 19 0 26107123 19498610688 40821 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19041612 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26107125 19498610688 40821 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 26107126 19498610688 40821 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19041612 memory=25588 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 26107142 19498610688 40821 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163284 KiB
[startup+1.50204 s]
/proc/loadavg: 4.31 4.22 4.19 6/289 282744
/proc/meminfo: memFree=121432288/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=179060 CPUtime=2.83 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 21202 0 0 0 277 6 0 0 20 0 20 0 26107123 19566772224 44765 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 44765 5891 1 0 554441 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=12936 CPUtime=1.39 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) S 282681 282684 278312 0 -1 1077936192 6626 0 0 0 135 4 0 0 20 0 20 0 26107123 19566772224 44765 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=25588 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 44765 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 44765 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 44765 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179060 KiB
[startup+3.10577 s]
/proc/loadavg: 4.31 4.22 4.19 7/285 282771
/proc/meminfo: memFree=124056712/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=188032 CPUtime=5.32 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 23083 0 0 0 525 7 0 0 20 0 20 0 26107123 19566772224 47008 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 47008 5907 1 0 554462 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 7059 0 0 0 291 4 0 0 20 0 20 0 26107123 19566772224 47008 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 47008 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 47008 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 47008 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188032 KiB
[startup+6.30077 s]
/proc/loadavg: 4.13 4.18 4.18 3/285 282772
/proc/meminfo: memFree=123862024/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=393792 CPUtime=8.71 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 23962 0 0 0 859 12 0 0 20 0 20 0 26107123 19566772224 98448 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 98448 5907 1 0 554480 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 7434 0 0 0 602 8 0 0 20 0 20 0 26107123 19566772224 98448 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 98448 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=198340509722 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 98448 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 98448 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 393792 KiB
[startup+12.7008 s]
/proc/loadavg: 4.04 4.16 4.17 2/285 282772
/proc/meminfo: memFree=123079452/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=593548 CPUtime=15.29 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 33253 0 0 0 1509 20 0 0 20 0 20 0 26107123 19566772224 148387 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 148387 5907 1 0 554480 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=-9103292629945918140 CPUtime=12.41 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 9037 0 0 0 1226 15 0 0 20 0 20 0 26107123 19566772224 148387 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=592796 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 148387 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 148387 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 148387 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 593548 KiB
[startup+25.5003 s]
/proc/loadavg: 3.72 4.09 4.15 3/285 282776
/proc/meminfo: memFree=122544932/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=851948 CPUtime=28.3 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 41379 0 0 0 2798 32 0 0 20 0 20 0 26107123 19566772224 212987 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 212987 5907 1 0 554480 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=851944 CPUtime=25.13 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 11646 0 0 0 2487 26 0 0 20 0 20 0 26107123 19566772224 212987 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 212987 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 212987 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 212987 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 28.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 851948 KiB
[startup+51.1057 s]
/proc/loadavg: 3.04 3.89 4.08 3/285 282779
/proc/meminfo: memFree=121451836/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=1325400 CPUtime=53.95 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 51247 0 0 0 5345 50 0 0 20 0 20 0 26107123 19566772224 331350 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 331350 5923 1 0 554480 0
################
# More data... #
################
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544125 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=2176500 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3381 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544125 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=2176500 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544125 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3218.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176500 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.12 1.22 2/256 284582
/proc/meminfo: memFree=120183972/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176524 CPUtime=3278.45 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 198830 0 0 0 327173 672 0 0 20 0 20 0 26107123 19566772224 544131 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544131 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=2176500 CPUtime=3253.39 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 83655 0 0 0 324764 575 0 0 20 0 20 0 26107123 19566772224 544131 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 777 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=2176500 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544131 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=-9103292629945918140 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3449 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544131 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544131 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3278.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176524 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.11 1.21 2/256 284594
/proc/meminfo: memFree=120061380/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176532 CPUtime=3338.4 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 202695 0 0 0 333157 683 0 0 20 0 20 0 26107123 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544133 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=2176532 CPUtime=3312.96 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 85190 0 0 0 330711 585 0 0 20 0 20 0 26107123 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 789 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=16120 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=-9103292629945918140 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3490 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=2176532 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3338.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176532 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.11 1.19 2/258 284608
/proc/meminfo: memFree=119967828/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176532 CPUtime=3398.3 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 204331 0 0 0 339138 692 0 0 20 0 20 0 26107123 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544133 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=2176532 CPUtime=3372.64 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 85989 0 0 0 336671 593 0 0 20 0 20 0 26107123 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 795 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=16120 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=-9103292629945918140 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3574 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=2176532 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544133 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3398.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176532 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.10 1.18 2/258 284618
/proc/meminfo: memFree=119877776/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176564 CPUtime=3458.17 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 205975 0 0 0 345119 698 0 0 20 0 20 0 26107123 19566772224 544141 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544141 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=16120 CPUtime=3432.23 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 86759 0 0 0 342625 598 0 0 20 0 20 0 26107123 19566772224 544141 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 803 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=-9103292629945918140 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544141 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=2176560 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3657 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544141 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=2176564 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544141 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3458.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176564 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.09 1.18 2/260 284634
/proc/meminfo: memFree=119772448/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176632 CPUtime=3517.87 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 207752 0 0 0 351081 706 0 0 20 0 20 0 26107123 19566772224 544158 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544158 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=2176560 CPUtime=3491.58 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 87928 0 0 0 348552 606 0 0 20 0 20 0 26107123 19566772224 544158 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 832 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=2176612 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544158 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=2176632 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3722 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544158 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544158 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3517.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176632 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.17 2/260 284645
/proc/meminfo: memFree=119662596/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176644 CPUtime=3577.82 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 209417 0 0 0 357066 716 0 0 20 0 20 0 26107123 19566772224 544161 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544161 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=2176636 CPUtime=3551.1 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 88998 0 0 0 354495 615 0 0 20 0 20 0 26107123 19566772224 544161 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 843 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544161 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=2176644 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3789 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544161 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=2176644 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544161 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3577.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.6 s]
/proc/loadavg: 1.11 1.10 1.17 2/260 284648
/proc/meminfo: memFree=119624288/131524600 swapFree=131056028/131071996
[pid=282684] ppid=282681 vsize=19108176 memory=2176664 CPUtime=3600.05 cores=0,2
/proc/282684/stat : 282684 (java) S 282681 282684 278312 0 -1 1077936128 210506 0 0 0 359285 720 0 0 20 0 20 0 26107123 19566772224 544166 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
/proc/282684/statm: 4777044 544166 5938 1 0 557976 0
[pid=282684/tid=282686] ppid=282681 vsize=19108176 memory=1608 CPUtime=3573.22 cores=0,2
/proc/282684/task/282686/stat : 282686 (java) R 282681 282684 278312 0 -1 4194368 89884 0 0 0 356704 618 0 0 20 0 20 0 26107123 19566772224 544166 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 847 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282695] ppid=282681 vsize=19108176 memory=32832 CPUtime=0 cores=0,2
/proc/282684/task/282695/stat : 282695 (Finalizer) S 282681 282684 278312 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26107125 19566772224 544166 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282702] ppid=282681 vsize=19108176 memory=17512 CPUtime=0 cores=0,2
/proc/282684/task/282702/stat : 282702 (Common-Cleaner) S 282681 282684 278312 0 -1 1077936192 3789 0 0 0 0 0 0 0 20 0 20 0 26107126 19566772224 544166 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
[pid=282684/tid=282705] ppid=282681 vsize=19108176 memory=21128 CPUtime=0 cores=0,2
/proc/282684/task/282705/stat : 282705 (Timer-0) S 282681 282684 278312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26107142 19566772224 544166 134679101440 93975717519360 93975717523056 140724195769552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93975717530872 93975717531664 93975734591488 140724195775403 140724195775585 140724195775585 140724195782600 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2176664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.73 s]
# the end of solver process 282684 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.01 s, system=7.22142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3604.7 s]*
/proc/loadavg: 1.11 1.10 1.17 1/242 284652
/proc/meminfo: memFree=121777880/131524600 swapFree=131056028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3604.73
CPU time (s): 3600.23
CPU user time (s): 3593.01
CPU system time (s): 7.22142
CPU usage (%): 99.8754
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2176664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.01
system time used= 7.22142
maximum resident set size= 2178372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13559504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118445
involuntary context switches= 27601
# summary of solver processes directly reported to runsolver:
# pid: 282684
# total CPU time (s): 3600.23
# total CPU user time (s): 3593.01
# total CPU system time (s): 7.22142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08256 second user time and 16.7667 second system time
The end
Begin job on nodeC015 at 2024-07-25 10:24:03 IDJOB=4459566 IDBENCH=178829 IDSOLVER=3079 FILE ID=nodeC015/4459566-1721895842 RUNJOBID= nodeC015-1721888534-278322 SLURM_JOB_ID= 8089310 Free space on /tmp= 890072 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459566-1721895842/watcher-4459566-1721895842 -o /tmp/evaluation-result-4459566-1721895842/solver-4459566-1721895842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721888534-278322 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4459566-1721895842 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459566-1721895842.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d RANDOM SEED=760919275 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3639.750 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.880 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3630.188 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.013 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.307 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.945 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.221 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.829 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118964900 kB MemAvailable: 123138272 kB Buffers: 317840 kB Cached: 4515540 kB SwapCached: 312 kB Active: 1192140 kB Inactive: 10419312 kB Active(anon): 4464 kB Inactive(anon): 6826276 kB Active(file): 1187676 kB Inactive(file): 3593036 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 123752 kB Writeback: 0 kB AnonPages: 6777348 kB Mapped: 114544 kB Shmem: 52524 kB KReclaimable: 454068 kB Slab: 581388 kB SReclaimable: 454068 kB SUnreclaim: 127320 kB KernelStack: 5104 kB PageTables: 23468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10097888 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 6467584 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890084 MiB End job on nodeC015 at 2024-07-25 11:24:07