Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | -48 | 3600.29 | 3579.43 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0088-0888.lin.opb |
| MD5SUM | 6237d0bdc810edc13b25bb83c842e0a8 |
| 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 | -55 |
| Best CPU time to get the best result obtained on this benchmark | 0.023558 |
| 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 | 576 |
| Total number of constraints | 832 |
| Number of constraints which are clauses | 384 |
| Number of constraints which are cardinality constraints (but not clauses) | 64 |
| Number of constraints which are nor clauses,nor cardinality constraints | 384 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 384 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 384 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 384 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 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 5.14.0-503.14.1.el9_5.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.12/0.12 c Pseudo Boolean Optimization by upper bound 0.12/0.12 c --- Begin Solver configuration --- 0.12/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.12 c Learn all clauses as in MiniSAT 0.12/0.12 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.12 c Expensive reason simplification 0.12/0.12 c Glucose 2.1 dynamic restart strategy 0.12/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.12/0.12 c timeout=2147483s 0.12/0.12 c DB Simplification allowed=false 0.12/0.12 c Listener: none 0.12/0.12 c --- End Solver configuration --- 0.12/0.12 c solving HOME/instance-4509110-1751515751.opb 0.12/0.12 c reading problem ... 0.12/0.12 c objective function found 0.12/0.18 c ... done. Wall clock time 0.057s. 0.12/0.18 c declared #vars 576 0.12/0.18 c #constraints 896 0.12/0.18 c constraints type 0.12/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64 0.12/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384 0.12/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 448 0.12/0.18 c 896 constraints processed. 0.12/0.19 c objective function length is 384 literals 0.12/0.20 c SATISFIABLE 0.12/0.20 c OPTIMIZING... 0.12/0.20 c Got one! Elapsed wall clock time (in seconds):0.077 0.12/0.20 o -43 0.33/0.21 c Got one! Elapsed wall clock time (in seconds):0.088 0.33/0.21 o -44 0.33/0.26 c Got one! Elapsed wall clock time (in seconds):0.133 0.33/0.26 o -45 0.52/0.39 c Got one! Elapsed wall clock time (in seconds):0.271 0.52/0.39 o -46 1.10/0.67 c Got one! Elapsed wall clock time (in seconds):0.544 1.10/0.67 o -47 1.28/0.79 c cleaning 3346 clauses out of 6691 with flag 2089/6691 1.48/0.85 c Got one! Elapsed wall clock time (in seconds):0.726 1.48/0.85 o -48 1.88/1.09 c cleaning 4550 clauses out of 9102 with flag 10313/12448 2.32/1.32 c cleaning 5276 clauses out of 10552 with flag 22988/18448 2.64/1.65 c cleaning 6130 clauses out of 12275 with flag 38771/25447 2.95/1.98 c cleaning 7072 clauses out of 14146 with flag 56673/33448 3.45/2.35 c cleaning 8032 clauses out of 16073 with flag 76750/42447 3.86/2.74 c cleaning 9017 clauses out of 18041 with flag 101102/52447 4.36/3.20 c cleaning 10008 clauses out of 20024 with flag 129099/63447 4.76/3.67 c cleaning 11005 clauses out of 22017 with flag 157654/75448 5.37/4.20 c cleaning 12002 clauses out of 24011 with flag 187943/88447 5.96/4.83 c cleaning 13002 clauses out of 26012 with flag 220382/102450 6.67/5.51 c cleaning 13999 clauses out of 28007 with flag 255571/117447 7.42/6.23 c cleaning 15005 clauses out of 30009 with flag 290427/133448 8.12/6.97 c cleaning 16001 clauses out of 32003 with flag 329200/150447 8.92/7.74 c cleaning 17002 clauses out of 34003 with flag 372018/168448 9.85/8.60 c cleaning 18001 clauses out of 36002 with flag 416914/187449 10.64/9.50 c cleaning 18998 clauses out of 38001 with flag 462866/207449 11.74/10.51 c cleaning 20001 clauses out of 40003 with flag 512026/228449 12.77/11.56 c cleaning 20995 clauses out of 42000 with flag 563753/250447 13.86/12.61 c cleaning 22001 clauses out of 44006 with flag 618353/273448 15.10/13.81 c cleaning 22998 clauses out of 46005 with flag 674308/297448 16.29/15.06 c cleaning 24003 clauses out of 48008 with flag 739335/322449 17.48/16.24 c cleaning 24998 clauses out of 50004 with flag 804502/348448 18.91/17.65 c cleaning 26001 clauses out of 52006 with flag 872698/375448 20.41/19.14 c cleaning 26999 clauses out of 54005 with flag 945986/403448 22.03/20.79 c cleaning 28000 clauses out of 56005 with flag 1020407/432447 23.93/22.62 c cleaning 29004 clauses out of 58007 with flag 1098430/462449 25.75/24.42 c cleaning 29999 clauses out of 60001 with flag 1180176/493447 27.14/25.81 c cleaning 30997 clauses out of 62004 with flag 1256785/525449 29.06/27.77 c cleaning 32003 clauses out of 64005 with flag 1330688/558447 31.11/29.79 c cleaning 32996 clauses out of 66002 with flag 1406223/592447 33.51/32.13 c cleaning 33999 clauses out of 68006 with flag 1494339/627447 36.25/34.81 c cleaning 35002 clauses out of 70008 with flag 1582952/663448 39.14/37.77 c cleaning 35999 clauses out of 72005 with flag 1674780/700447 41.87/40.47 c cleaning 37005 clauses out of 74009 with flag 1769089/738450 44.11/42.64 c cleaning 37999 clauses out of 76006 with flag 1860577/777452 46.70/45.29 c cleaning 38996 clauses out of 78003 with flag 1959560/817448 49.52/48.02 c cleaning 39997 clauses out of 80006 with flag 2061073/858447 52.55/51.01 c cleaning 40999 clauses out of 82011 with flag 2160323/900449 55.55/54.09 c cleaning 41998 clauses out of 84010 with flag 2264035/943447 58.50/56.91 c cleaning 43006 clauses out of 86012 with flag 2369985/987447 61.99/60.44 c cleaning 44001 clauses out of 88007 with flag 2483522/1032448 65.33/63.78 c cleaning 45000 clauses out of 90007 with flag 2601224/1078449 68.93/67.35 c cleaning 45999 clauses out of 92008 with flag 2719984/1125450 72.52/70.94 c cleaning 46997 clauses out of 94006 with flag 2837700/1173447 76.01/74.42 c cleaning 48003 clauses out of 96011 with flag 2955846/1222449 80.08/78.24 c cleaning 49000 clauses out of 98006 with flag 3081524/1272447 84.57/82.70 c cleaning 50005 clauses out of 100009 with flag 3214960/1323450 88.76/86.97 c cleaning 51002 clauses out of 102003 with flag 3354911/1375449 92.64/90.83 c cleaning 51994 clauses out of 104000 with flag 3491795/1428448 96.64/94.82 c cleaning 52998 clauses out of 106006 with flag 3623329/1482448 101.72/99.94 c cleaning 54001 clauses out of 108007 with flag 3763722/1537447 106.12/104.35 c cleaning 55001 clauses out of 110008 with flag 3914819/1593449 110.41/108.61 c cleaning 55999 clauses out of 112006 with flag 4060951/1650448 114.80/113.07 c cleaning 56998 clauses out of 114006 with flag 4216545/1708447 118.69/116.97 c cleaning 58000 clauses out of 116009 with flag 4367745/1767448 123.90/121.90 c cleaning 59004 clauses out of 118009 with flag 4531045/1827448 127.79/125.80 c cleaning 59999 clauses out of 120004 with flag 4701507/1888447 131.99/130.01 c cleaning 60999 clauses out of 122006 with flag 4872389/1950448 136.85/134.81 c cleaning 61998 clauses out of 124006 with flag 5039538/2013447 141.74/139.75 c cleaning 63004 clauses out of 126008 with flag 5198615/2077447 147.39/145.33 c cleaning 64001 clauses out of 128004 with flag 5357880/2142447 152.09/150.08 c cleaning 64995 clauses out of 130005 with flag 5529732/2208449 157.48/155.40 c cleaning 66001 clauses out of 132008 with flag 5698067/2275447 161.64/159.54 c cleaning 67002 clauses out of 134008 with flag 5869312/2343448 167.13/165.01 c cleaning 68000 clauses out of 136005 with flag 6044242/2412447 172.22/170.10 c cleaning 69003 clauses out of 138006 with flag 6225959/2482448 177.62/175.55 c cleaning 69996 clauses out of 140002 with flag 6422645/2553447 184.28/182.14 c cleaning 71001 clauses out of 142006 with flag 6612011/2625447 190.27/188.20 c cleaning 72000 clauses out of 144006 with flag 6797368/2698448 196.55/194.47 c cleaning 72999 clauses out of 146005 with flag 6968891/2772447 205.23/203.18 c cleaning 74003 clauses out of 148009 with flag 7154178/2847450 211.59/209.43 c cleaning 74999 clauses out of 150004 with flag 7340527/2923448 218.47/216.39 c cleaning 75998 clauses out of 152005 with flag 7532988/3000448 226.16/223.64 c cleaning 77000 clauses out of 154007 with flag 7727442/3078448 232.05/229.59 c cleaning 78001 clauses out of 156006 with flag 7919881/3157447 239.19/236.66 c cleaning 79001 clauses out of 158005 with flag 8114996/3237447 246.88/244.33 c cleaning 79997 clauses out of 160004 with flag 8315699/3318447 253.87/251.37 c cleaning 80999 clauses out of 162008 with flag 8535664/3400448 261.66/259.11 c cleaning 82000 clauses out of 164008 with flag 8746873/3483447 268.94/266.42 c cleaning 83004 clauses out of 166009 with flag 8957598/3567448 277.69/275.03 c cleaning 84000 clauses out of 168004 with flag 9176623/3652447 286.07/283.42 c cleaning 84996 clauses out of 170004 with flag 9398062/3738447 293.76/291.16 c cleaning 86002 clauses out of 172008 with flag 9615033/3825447 302.64/300.00 c cleaning 86996 clauses out of 174006 with flag 9845898/3913447 311.32/308.79 c cleaning 88002 clauses out of 176010 with flag 10077611/4002447 319.81/317.15 c cleaning 89002 clauses out of 178008 with flag 10310296/4092447 328.48/325.81 c cleaning 90001 clauses out of 180006 with flag 10534049/4183447 337.37/334.71 c cleaning 90997 clauses out of 182006 with flag 10777091/4275448 345.95/343.37 c cleaning 92001 clauses out of 184008 with flag 10995081/4368447 354.04/351.33 c cleaning 93000 clauses out of 186007 with flag 11232570/4462447 362.73/360.07 c cleaning 93999 clauses out of 188008 with flag 11464694/4557448 372.49/369.44 c cleaning 95000 clauses out of 190009 with flag 11698969/4653448 382.67/379.63 c cleaning 96001 clauses out of 192008 with flag 11936350/4750447 390.75/387.79 c cleaning 97000 clauses out of 194007 with flag 12171181/4848447 399.64/396.52 c cleaning 98002 clauses out of 196007 with flag 12409570/4947447 409.31/406.20 c cleaning 99003 clauses out of 198005 with flag 12645633/5047447 419.09/416.08 c cleaning 99994 clauses out of 200003 with flag 12890364/5148448 428.97/425.94 c cleaning 100998 clauses out of 202008 with flag 13133698/5250447 439.92/436.79 c cleaning 102003 clauses out of 204010 with flag 13397610/5353447 450.40/447.27 c cleaning 103000 clauses out of 206009 with flag 13672671/5457449 460.88/457.72 c cleaning 104000 clauses out of 208008 with flag 13955573/5562448 470.89/467.69 c cleaning 104999 clauses out of 210007 with flag 14220394/5668447 480.17/476.98 c cleaning 105999 clauses out of 212008 with flag 14499247/5775447 490.35/487.16 c cleaning 107000 clauses out of 214009 with flag 14779234/5883447 501.33/498.15 c cleaning 107995 clauses out of 216010 with flag 15072093/5992448 511.15/507.92 c cleaning 109004 clauses out of 218015 with flag 15379386/6102448 521.03/517.85 c cleaning 110000 clauses out of 220011 with flag 15683303/6213448 532.77/528.81 c cleaning 111004 clauses out of 222014 with flag 15979620/6325451 545.14/541.29 c cleaning 112000 clauses out of 224007 with flag 16293960/6438448 558.03/554.11 c cleaning 113002 clauses out of 226006 with flag 16604396/6552447 565.47/561.51 c cleaning 113997 clauses out of 228004 with flag 16888241/6667447 578.34/574.48 c cleaning 114995 clauses out of 230007 with flag 17183850/6783447 588.62/584.60 c cleaning 116000 clauses out of 232012 with flag 17491375/6900447 598.60/594.65 c cleaning 117001 clauses out of 234013 with flag 17782116/7018448 608.77/604.80 c cleaning 118003 clauses out of 236012 with flag 18098476/7137448 622.50/618.59 c cleaning 118999 clauses out of 238009 with flag 18403187/7257448 636.98/633.01 c cleaning 119999 clauses out of 240009 with flag 18720500/7378447 650.73/646.84 c cleaning 121001 clauses out of 242011 with flag 19048116/7500448 664.72/660.74 c cleaning 122002 clauses out of 244009 with flag 19366087/7623447 678.79/674.80 c cleaning 123002 clauses out of 246009 with flag 19691838/7747449 691.66/687.77 c cleaning 124002 clauses out of 248006 with flag 20010766/7872448 703.85/699.37 c cleaning 124998 clauses out of 250005 with flag 20336679/7998449 716.32/711.82 c cleaning 125998 clauses out of 252005 with flag 20667153/8125447 730.14/725.66 c cleaning 127000 clauses out of 254008 with flag 21005800/8253448 741.41/736.99 c cleaning 127998 clauses out of 256009 with flag 21336730/8382449 757.69/753.25 c cleaning 129005 clauses out of 258012 with flag 21710909/8512450 772.13/767.56 c cleaning 129997 clauses out of 260004 with flag 22081650/8643447 789.49/784.94 c cleaning 130998 clauses out of 262007 with flag 22448002/8775447 807.45/802.98 c cleaning 131997 clauses out of 264009 with flag 22791055/8908447 824.14/819.50 c cleaning 133003 clauses out of 266012 with flag 23116938/9042447 842.00/837.45 c cleaning 134001 clauses out of 268009 with flag 23445050/9177447 857.67/853.19 c cleaning 134997 clauses out of 270008 with flag 23784421/9313447 876.48/871.06 c cleaning 136002 clauses out of 272011 with flag 24120508/9450447 890.75/885.39 c cleaning 137003 clauses out of 274009 with flag 24464588/9588447 906.13/900.73 c cleaning 138001 clauses out of 276006 with flag 24828115/9727447 921.30/915.93 c cleaning 139003 clauses out of 278007 with flag 25157972/9867449 933.67/928.24 c cleaning 140000 clauses out of 280002 with flag 25482108/10008447 946.95/941.50 c cleaning 140995 clauses out of 282002 with flag 25822980/10150447 960.51/955.08 c cleaning 141997 clauses out of 284007 with flag 26152887/10293447 973.18/967.75 c cleaning 143002 clauses out of 286010 with flag 26494110/10437447 987.24/981.68 c cleaning 144001 clauses out of 288008 with flag 26834413/10582447 1001.11/995.56 c cleaning 145002 clauses out of 290008 with flag 27208488/10728448 1014.82/1008.62 c cleaning 146001 clauses out of 292005 with flag 27544135/10875447 1028.50/1022.39 c cleaning 146997 clauses out of 294005 with flag 27884808/11023448 1042.92/1036.73 c cleaning 148001 clauses out of 296007 with flag 28207936/11172447 1058.89/1052.75 c cleaning 148999 clauses out of 298008 with flag 28585779/11322449 1076.02/1069.80 c cleaning 150004 clauses out of 300008 with flag 28973796/11473448 1090.39/1084.27 c cleaning 150995 clauses out of 302003 with flag 29333741/11625447 1105.36/1099.28 c cleaning 152001 clauses out of 304009 with flag 29688487/11778448 1117.02/1110.85 c cleaning 153003 clauses out of 306007 with flag 30048249/11932447 1133.21/1127.07 c cleaning 153998 clauses out of 308004 with flag 30396932/12087447 1148.37/1142.20 c cleaning 154998 clauses out of 310007 with flag 30781802/12243448 1164.70/1158.52 c cleaning 155999 clauses out of 312008 with flag 31152533/12400447 1180.87/1174.70 c cleaning 156998 clauses out of 314009 with flag 31527502/12558447 1199.34/1193.26 c cleaning 157999 clauses out of 316012 with flag 31899206/12717448 1214.29/1208.06 c cleaning 159004 clauses out of 318014 with flag 32288799/12877449 1228.27/1222.10 c cleaning 160005 clauses out of 320009 with flag 32675794/13038448 1242.85/1235.99 c cleaning 161001 clauses out of 322004 with flag 33056419/13200448 1258.19/1251.20 c cleaning 161998 clauses out of 324003 with flag 33464657/13363448 1273.25/1266.39 c cleaning 162995 clauses out of 326004 with flag 33867548/13527447 1289.25/1282.20 c cleaning 164002 clauses out of 328010 with flag 34260137/13692448 1305.06/1297.90 c cleaning 164997 clauses out of 330007 with flag 34657048/13858447 1322.20/1314.85 c cleaning 166001 clauses out of 332010 with flag 35055993/14025447 1341.38/1333.96 c cleaning 167001 clauses out of 334011 with flag 35456268/14193449 1357.41/1349.14 c cleaning 168003 clauses out of 336009 with flag 35848599/14362448 1372.65/1364.38 c cleaning 168997 clauses out of 338005 with flag 36242707/14532447 1398.82/1390.47 c cleaning 170002 clauses out of 340009 with flag 36682065/14703448 1417.99/1409.61 c cleaning 170999 clauses out of 342007 with flag 37092393/14875448 1434.90/1426.50 c cleaning 171997 clauses out of 344007 with flag 37516773/15048447 1459.35/1450.94 c cleaning 172998 clauses out of 346010 with flag 37931344/15222447 1485.39/1477.04 c cleaning 174003 clauses out of 348013 with flag 38381878/15397448 1512.43/1504.01 c cleaning 175000 clauses out of 350010 with flag 38840928/15573448 1536.64/1527.30 c cleaning 176003 clauses out of 352011 with flag 39281276/15750449 1560.95/1551.61 c cleaning 177003 clauses out of 354006 with flag 39734297/15928447 1583.80/1574.42 c cleaning 177998 clauses out of 356003 with flag 40191467/16107447 1605.76/1596.47 c cleaning 178999 clauses out of 358006 with flag 40664199/16287448 1627.55/1618.26 c cleaning 180000 clauses out of 360008 with flag 41153175/16468449 1649.11/1639.80 c cleaning 181002 clauses out of 362006 with flag 41644741/16650447 1672.23/1662.98 c cleaning 181991 clauses out of 364005 with flag 42130916/16833448 1694.90/1685.42 c cleaning 183003 clauses out of 366015 with flag 42604193/17017449 1720.27/1709.84 c cleaning 184001 clauses out of 368012 with flag 43071900/17202449 1738.10/1727.66 c cleaning 185001 clauses out of 370009 with flag 43508438/17388447 1755.68/1745.17 c cleaning 186000 clauses out of 372008 with flag 43934606/17575447 1778.79/1768.17 c cleaning 186998 clauses out of 374008 with flag 44361258/17763447 1800.84/1790.21 c cleaning 188003 clauses out of 376010 with flag 44814693/17952447 1822.15/1811.59 c cleaning 188999 clauses out of 378008 with flag 45266291/18142448 1841.36/1830.62 c cleaning 190004 clauses out of 380010 with flag 45711322/18333449 1865.67/1854.16 c cleaning 190997 clauses out of 382004 with flag 46171771/18525447 1886.74/1875.19 c cleaning 191996 clauses out of 384008 with flag 46611482/18718448 1907.29/1895.66 c cleaning 193001 clauses out of 386012 with flag 47071701/18912448 1926.85/1915.16 c cleaning 194004 clauses out of 388011 with flag 47526077/19107448 1947.63/1935.88 c cleaning 195000 clauses out of 390006 with flag 48003188/19303447 1967.99/1956.25 c cleaning 195998 clauses out of 392006 with flag 48464705/19500447 1988.33/1976.53 c cleaning 197004 clauses out of 394009 with flag 48938381/19698448 2011.28/1998.30 c cleaning 197998 clauses out of 396004 with flag 49383578/19897447 2031.54/2018.51 c cleaning 198999 clauses out of 398007 with flag 49853117/20097448 2051.42/2038.37 c cleaning 200001 clauses out of 400008 with flag 50337324/20298448 2072.32/2059.11 c cleaning 201000 clauses out of 402007 with flag 50809727/20500448 2093.78/2080.65 c cleaning 202002 clauses out of 404006 with flag 51290159/20703447 2115.68/2102.53 c cleaning 202998 clauses out of 406005 with flag 51769047/20907448 2137.86/2124.06 c cleaning 203997 clauses out of 408007 with flag 52258288/21112448 2161.98/2148.15 c cleaning 204999 clauses out of 410010 with flag 52741131/21318448 2185.52/2171.73 c cleaning 206000 clauses out of 412010 with flag 53231682/21525447 2208.72/2194.95 c cleaning 207001 clauses out of 414010 with flag 53738036/21733447 2231.88/2218.16 c cleaning 208003 clauses out of 416011 with flag 54221104/21942449 2255.77/2242.01 c cleaning 209003 clauses out of 418007 with flag 54732938/22152448 2281.01/2267.34 c cleaning 209996 clauses out of 420004 with flag 55235402/22363448 2301.30/2287.59 c cleaning 210997 clauses out of 422009 with flag 55725813/22575449 2327.94/2314.28 c cleaning 212000 clauses out of 424010 with flag 56237900/22788447 2356.22/2342.46 c cleaning 213005 clauses out of 426013 with flag 56760024/23002450 2377.18/2363.45 c cleaning 214002 clauses out of 428008 with flag 57357869/23217450 2404.83/2390.94 c cleaning 214998 clauses out of 430003 with flag 57928485/23433447 2429.68/2415.83 c cleaning 216000 clauses out of 432006 with flag 58445096/23650448 2453.51/2438.66 c cleaning 216997 clauses out of 434005 with flag 58957065/23868447 2483.28/2468.42 c cleaning 218002 clauses out of 436009 with flag 59450964/24087448 2513.63/2498.68 c cleaning 218999 clauses out of 438007 with flag 59997123/24307448 2537.48/2522.52 c cleaning 220000 clauses out of 440008 with flag 60545065/24528448 2567.18/2552.25 c cleaning 220999 clauses out of 442009 with flag 61056350/24750449 2597.96/2582.87 c cleaning 222002 clauses out of 444008 with flag 61585004/24973447 2620.81/2605.77 c cleaning 223002 clauses out of 446009 with flag 62117713/25197450 2644.01/2628.91 c cleaning 224000 clauses out of 448005 with flag 62678261/25422448 2671.97/2656.10 c cleaning 225000 clauses out of 450004 with flag 63236428/25648447 2701.64/2685.87 c cleaning 226001 clauses out of 452006 with flag 63788403/25875449 2722.74/2706.70 c cleaning 227000 clauses out of 454004 with flag 64348582/26103448 2752.44/2736.24 c cleaning 227998 clauses out of 456005 with flag 64917779/26332449 2779.42/2763.09 c cleaning 228997 clauses out of 458005 with flag 65492837/26562447 2807.92/2791.22 c cleaning 230000 clauses out of 460010 with flag 66069528/26793449 2829.38/2812.68 c cleaning 231001 clauses out of 462008 with flag 66625659/27025447 2856.49/2838.99 c cleaning 232001 clauses out of 464010 with flag 67175923/27258450 2888.59/2870.96 c cleaning 233001 clauses out of 466007 with flag 67716621/27492448 2918.30/2900.51 c cleaning 233999 clauses out of 468006 with flag 68269273/27727448 2945.09/2927.23 c cleaning 234999 clauses out of 470007 with flag 68836398/27963448 2973.12/2955.20 c cleaning 236001 clauses out of 472007 with flag 69424722/28200447 3004.52/2986.55 c cleaning 237000 clauses out of 474006 with flag 70014938/28438447 3029.06/3011.05 c cleaning 238000 clauses out of 476007 with flag 70621578/28677448 3062.79/3043.94 c cleaning 238997 clauses out of 478006 with flag 71205704/28917447 3094.04/3075.23 c cleaning 240001 clauses out of 480009 with flag 71766196/29158447 3121.44/3102.67 c cleaning 241001 clauses out of 482008 with flag 72375814/29400447 3159.26/3140.41 c cleaning 242001 clauses out of 484008 with flag 72984452/29643448 3193.89/3174.90 c cleaning 243000 clauses out of 486006 with flag 73593365/29887447 3235.02/3216.14 c cleaning 243995 clauses out of 488006 with flag 74204218/30132447 3273.38/3254.43 c cleaning 245002 clauses out of 490011 with flag 74834521/30378447 3302.78/3283.73 c cleaning 246002 clauses out of 492009 with flag 75462758/30625447 3335.43/3316.33 c cleaning 247002 clauses out of 494008 with flag 76089607/30873448 3373.82/3354.65 c cleaning 248000 clauses out of 496005 with flag 76721180/31122447 3408.08/3387.64 c cleaning 249002 clauses out of 498005 with flag 77364264/31372447 3450.30/3429.82 c cleaning 249998 clauses out of 500003 with flag 78011781/31623447 3479.23/3458.87 c cleaning 250997 clauses out of 502005 with flag 78630146/31875447 3519.39/3498.95 c cleaning 251999 clauses out of 504008 with flag 79253950/32128447 3559.76/3539.17 c cleaning 252999 clauses out of 506010 with flag 79884083/32382448 3592.37/3571.60 c cleaning 253995 clauses out of 508010 with flag 80538943/32637447 3600.06/3579.31 c starts : 754 3600.06/3579.32 c conflicts : 32756394 3600.06/3579.32 c decisions : 36742264 3600.06/3579.32 c propagations : 1389642457 3600.06/3579.32 c inspects : 25848528661 3600.06/3579.32 c shortcuts : 0 3600.06/3579.32 c learnt literals : 0 3600.06/3579.32 c learnt binary clauses : 0 3600.06/3579.32 c learnt ternary clauses : 0 3600.06/3579.32 c learnt constraints : 32756394 3600.06/3579.32 c ignored constraints : 0 3600.06/3579.32 c root simplifications : 0 3600.06/3579.32 c removed literals (reason simplification) : 17522580 3600.06/3579.33 c reason swapping (by a shorter reason) : 0 3600.06/3579.33 c Calls to reduceDB : 252 3600.06/3579.33 c Number of update (reduction) of LBD : 1503789 3600.06/3579.33 c Imported unit clauses : 0 3600.06/3579.33 c No decision after first conflict : false 3600.06/3579.33 c number of reductions to clauses (during analyze) : 0 3600.06/3579.33 c number of learned constraints concerned by reduction : 0 3600.06/3579.33 c number of learning phase by resolution : 0 3600.06/3579.33 c number of learning phase by cutting planes : 0 3600.06/3579.33 c number of rounding to 1 operations : 0 3600.06/3579.33 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3579.33 c number of reductions of the coefficients by power 2 : 0 3600.06/3579.33 c number of right shift for reduction by power 2 : 0 3600.06/3579.33 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3579.33 c number of ending skipping : 0 3600.06/3579.33 c number of internal skipping : 0 3600.06/3579.33 c number of derivation steps : 0 3600.06/3579.33 c number of skipped derivation steps : 0 3600.06/3579.33 c number of remaining unassigned : 0 3600.06/3579.33 c number of remaining assigned : 0 3600.06/3579.33 c number of falsified literals weakened from reason : 0 3600.06/3579.33 c number of falsified literals weakened from conflict : 0 3600.06/3579.33 c time for arithmetic operations : 0 3600.06/3579.33 c minimum degree of deleted constraints : null 3600.06/3579.33 c maximum degree of deleted constraints : null 3600.06/3579.33 c number of deleted constraints : 0 3600.06/3579.33 c speed (assignments/second) : 388262.09600923123 3600.06/3579.33 c non guided choices : 2 3600.06/3579.40 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 372962 3600.06/3579.40 s SATISFIABLE 3600.25/3579.40 c Found 6 solution(s) 3600.25/3579.40 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 3600.25/3579.41 c objective function=-48 3600.25/3579.41 c Total wall clock time (in seconds): 3579.283
OK -48
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: 63708 MiB (35362 MiB free)
memory of node 1: 64465 MiB (46127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509110-1751515751/watcher-4509110-1751515751 -o /tmp/evaluation-result-4509110-1751515751/solver-4509110-1751515751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71613 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509110-1751515751.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
solver pid=73213, runsolver pid=73210
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.53 4.47 4.40 5/337 73231
/proc/meminfo: memFree=83424112/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=18930384 memory=57884 CPUtime=0.12 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 6605 0 0 0 11 1 0 0 20 0 18 0 67252989 19384713216 14471 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4732596 14471 5358 1 0 547641 0
[pid=73213/tid=73215] ppid=73210 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 5097 0 0 0 7 1 0 0 20 0 18 0 67252990 19384713216 14471 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67252992 19384713216 14471 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67252992 19384713216 14471 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57884 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.53 4.47 4.40 8/338 73232
/proc/meminfo: memFree=83417256/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=18996948 memory=64792 CPUtime=0.33 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 7183 0 0 0 31 2 0 0 20 0 19 0 67252989 19452874752 16198 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4749237 16198 5486 1 0 548294 0
[pid=73213/tid=73215] ppid=73210 vsize=18996948 memory=4026728732 CPUtime=0.16 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 5389 0 0 0 15 1 0 0 20 0 19 0 67252990 19452874752 16198 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=18996948 memory=16099 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 16198 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 16198 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) R 73210 73213 71602 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 19 0 67253009 19452874752 16198 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64792 KiB
[startup+0.305716 s]*
/proc/loadavg: 4.53 4.47 4.40 6/338 73232
/proc/meminfo: memFree=83408120/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=18996948 memory=74396 CPUtime=0.52 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 9597 0 0 0 50 2 0 0 20 0 19 0 67252989 19452874752 18599 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4749237 18599 5486 1 0 549652 0
[pid=73213/tid=73215] ppid=73210 vsize=18996948 memory=-6000919507133557096 CPUtime=0.27 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 5401 0 0 0 25 2 0 0 20 0 19 0 67252990 19452874752 18599 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 18631 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 18631 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67253009 19452874752 18631 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74396 KiB
[startup+0.700251 s]
/proc/loadavg: 4.53 4.47 4.40 6/338 73232
/proc/meminfo: memFree=83400308/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=18996948 memory=89744 CPUtime=1.28 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 12644 0 0 0 125 3 0 0 20 0 19 0 67252989 19452874752 22436 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4749237 22436 5486 1 0 551841 0
[pid=73213/tid=73215] ppid=73210 vsize=18996948 memory=14336 CPUtime=0.64 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 5426 0 0 0 62 2 0 0 20 0 19 0 67252990 19452874752 22436 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 22436 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 22436 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67253009 19452874752 22436 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89744 KiB
[startup+1.50022 s]
/proc/loadavg: 4.53 4.47 4.40 6/338 73232
/proc/meminfo: memFree=83380916/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=18996948 memory=115380 CPUtime=2.54 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 16735 0 0 0 250 4 0 0 20 0 19 0 67252989 19452874752 28845 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4749237 28845 5486 1 0 552072 0
[pid=73213/tid=73215] ppid=73210 vsize=18996948 memory=0 CPUtime=1.42 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 5791 0 0 0 140 2 0 0 20 0 19 0 67252990 19452874752 28845 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 28845 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67252992 19452874752 28845 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67253009 19452874752 28845 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115380 KiB
[startup+3.10564 s]
/proc/loadavg: 4.53 4.47 4.40 5/339 73233
/proc/meminfo: memFree=83290812/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=189980 CPUtime=4.27 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 18981 0 0 0 421 6 0 0 20 0 20 0 67252989 19521036288 47495 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 47495 5550 1 0 552365 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=10880 CPUtime=3.01 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 6164 0 0 0 298 3 0 0 20 0 20 0 67252990 19521036288 47495 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=-6000919507133557096 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 47495 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 47495 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 47495 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189980 KiB
[startup+6.3002 s]
/proc/loadavg: 4.49 4.46 4.40 5/339 73233
/proc/meminfo: memFree=83212988/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=233020 CPUtime=7.52 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 19499 0 0 0 745 7 0 0 20 0 20 0 67252989 19521036288 58255 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 58255 5550 1 0 552367 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 6195 0 0 0 610 3 0 0 20 0 20 0 67252990 19521036288 58255 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 58255 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 58255 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=117428 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 58255 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 233020 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.45 4.40 5/339 73233
/proc/meminfo: memFree=83065532/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=351924 CPUtime=13.96 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 20748 0 0 0 1387 9 0 0 20 0 20 0 67252989 19521036288 87981 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 87981 5550 1 0 552383 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=117428 CPUtime=12.41 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 6805 0 0 0 1238 3 0 0 20 0 20 0 67252990 19521036288 87981 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=351924 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 87981 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 87981 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 87981 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 351924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.49 4.46 4.40 5/340 73235
/proc/meminfo: memFree=82803408/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=550816 CPUtime=26.84 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 23450 0 0 0 2671 13 0 0 20 0 20 0 67252989 19521036288 137704 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 137704 5582 1 0 552383 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=351924 CPUtime=25 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 7621 0 0 0 2497 3 0 0 20 0 20 0 67252990 19521036288 137704 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 137704 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=509848 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 137704 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 137704 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 550816 KiB
[startup+51.1057 s]
/proc/loadavg: 4.40 4.44 4.40 5/340 73235
/proc/meminfo: memFree=82254300/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=962648 CPUtime=52.65 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 24441 0 0 0 5243 22 0 0 20 0 20 0 67252989 19521036288 240662 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 240662 5582 1 0 552383 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=731148 CPUtime=50.27 cores=4,6
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/341 73538
/proc/meminfo: memFree=91322460/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3241.34 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 147119 0 0 0 323983 151 0 0 20 0 20 0 67252989 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 877144 5582 1 0 896681 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=3416340 CPUtime=3201.12 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 67036 0 0 0 320069 43 0 0 20 0 20 0 67252990 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 775 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=3508576 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3241.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3508576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/341 73542
/proc/meminfo: memFree=91048232/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3301.38 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 148159 0 0 0 329985 153 0 0 20 0 20 0 67252989 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 877144 5582 1 0 896681 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3260.85 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 67746 0 0 0 326041 44 0 0 20 0 20 0 67252990 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=-6000919507133557096 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=3508576 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 790 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=-4050210904893539217 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3301.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3508576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/341 73544
/proc/meminfo: memFree=91044024/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3361.38 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 149731 0 0 0 335984 154 0 0 20 0 20 0 67252989 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 877144 5582 1 0 896681 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=14336 CPUtime=3320.6 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 68327 0 0 0 332016 44 0 0 20 0 20 0 67252990 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=3508576 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 811 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=3508576 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 877144 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3361.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3508576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/341 73546
/proc/meminfo: memFree=90802632/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3744960 CPUtime=3422.85 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 153876 0 0 0 342123 162 0 0 20 0 20 0 67252989 19521036288 936240 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 936240 5582 1 0 980367 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3380.03 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 70513 0 0 0 337956 47 0 0 20 0 20 0 67252990 19521036288 936240 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=3508576 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 936240 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=46464 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 811 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 936240 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=3583152 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 936240 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3422.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3744960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/340 73548
/proc/meminfo: memFree=90679396/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3867840 CPUtime=3482.85 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 156521 0 0 0 348120 165 0 0 20 0 20 0 67252989 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 966960 5582 1 0 980367 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=3508576 CPUtime=3439.76 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 72160 0 0 0 343926 50 0 0 20 0 20 0 67252990 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 865 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=3867840 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3482.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3867840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/339 73550
/proc/meminfo: memFree=90679524/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3867840 CPUtime=3542.99 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 158457 0 0 0 354132 167 0 0 20 0 20 0 67252989 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 966960 5582 1 0 980367 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=14336 CPUtime=3499.35 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 72967 0 0 0 349885 50 0 0 20 0 20 0 67252990 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=-6000919507133557096 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 966960 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3542.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3867840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3579.3 s]
/proc/loadavg: 4.21 4.16 4.16 4/315 73587
/proc/meminfo: memFree=92820404/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19063512 memory=3868096 CPUtime=3600.06 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 159080 0 0 0 359838 168 0 0 20 0 20 0 67252989 19521036288 967024 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4765878 967024 5582 1 0 980367 0
[pid=73213/tid=73215] ppid=73210 vsize=19063512 memory=3868096 CPUtime=3556.01 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 73271 0 0 0 355551 50 0 0 20 0 20 0 67252990 19521036288 967024 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 967024 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19063512 memory=12160 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 20 0 67252992 19521036288 967024 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73232] ppid=73210 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/73213/task/73232/stat : 73232 (Timer-0) S 73210 73213 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67253009 19521036288 967024 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3868096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3579.43 s]
# the end of solver process 73213 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.59 s, system=1.70279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3579.4 s]
/proc/loadavg: 4.21 4.16 4.16 4/315 73587
/proc/meminfo: memFree=92820404/131249996 swapFree=33004236/33010684
[pid=73213] ppid=73210 vsize=19263204 memory=3868864 CPUtime=3600.25 cores=4,6
/proc/73213/stat : 73213 (java) S 73210 73213 71602 0 -1 4194304 160731 0 0 0 359857 168 0 0 20 0 21 0 67252989 19725520896 967216 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
/proc/73213/statm: 4815801 967216 5614 1 0 981305 0
[pid=73213/tid=73215] ppid=73210 vsize=19263204 memory=14336 CPUtime=3556.1 cores=4,6
/proc/73213/task/73215/stat : 73215 (java) R 73210 73213 71602 0 -1 4194368 73391 0 0 0 355560 50 0 0 20 0 21 0 67252990 19725520896 967216 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73224] ppid=73210 vsize=19263204 memory=10880 CPUtime=0 cores=4,6
/proc/73213/task/73224/stat : 73224 (Finalizer) S 73210 73213 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67252992 19725520896 967216 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
[pid=73213/tid=73231] ppid=73210 vsize=19263204 memory=14156 CPUtime=0 cores=4,6
/proc/73213/task/73231/stat : 73231 (Common-Cleaner) S 73210 73213 71602 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 21 0 67252992 19725520896 967216 18446744073709551615 94111799881728 94111799885424 140723882341088 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94111799893240 94111799894032 94111827247104 140723882346881 140723882346982 140723882346982 140723882352584 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3868864 KiB
Child status: 143
Real time (s): 3579.43
CPU time (s): 3600.29
CPU user time (s): 3598.59
CPU system time (s): 1.70279
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3868864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.70279
maximum resident set size= 3869120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111703
involuntary context switches= 5539
# summary of solver processes directly reported to runsolver:
# pid: 73213
# total CPU time (s): 3600.29
# total CPU user time (s): 3598.59
# total CPU system time (s): 1.70279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2835 second user time and 16.3691 second system time
The end
Begin job on nodeC023 at 2025-07-03 06:09:11 IDJOB=4509110 IDBENCH=158597 IDSOLVER=3363 FILE ID=nodeC023/4509110-1751515751 RUNJOBID= nodeC023-1751508541-71613 SLURM_JOB_ID= 9598606 Free space on /tmp= 431864 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509110-1751515751/watcher-4509110-1751515751 -o /tmp/evaluation-result-4509110-1751515751/solver-4509110-1751515751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71613 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509110-1751515751.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6237d0bdc810edc13b25bb83c842e0a8 RANDOM SEED=895086347 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.881 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.885 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3600.146 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3607.837 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3603.379 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.893 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.890 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3515.991 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 83445472 kB MemAvailable: 99161500 kB Buffers: 16 kB Cached: 16460608 kB SwapCached: 596 kB Active: 30795424 kB Inactive: 16255636 kB Active(anon): 30583376 kB Inactive(anon): 20460 kB Active(file): 212048 kB Inactive(file): 16235176 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33004236 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 732 kB Writeback: 0 kB AnonPages: 30587100 kB Mapped: 119272 kB Shmem: 13400 kB KReclaimable: 216084 kB Slab: 306808 kB SReclaimable: 216084 kB SUnreclaim: 90724 kB KernelStack: 5168 kB PageTables: 63508 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 35286952 kB VmallocTotal: 34359738367 kB VmallocUsed: 151432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 30193664 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431864 MiB End job on nodeC023 at 2025-07-03 07:08:51