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) | 1 | 3600.66 | 3633.45 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb |
| MD5SUM | 203a71e4765d41abd7101b66eed46923 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.064254 |
| 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 | 204 |
| Total number of constraints | 51 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 51 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 51 |
| Biggest coefficient in the objective function | 51 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 1326 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 51 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1326 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.19 c See www.sat4j.org for details. 0.11/0.20 c version CUSTOM.v20240707 0.29/0.23 c java.runtime.name OpenJDK Runtime Environment 0.29/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.29/0.23 c java.vm.version 22.0.1+8-16 0.29/0.23 c java.vm.vendor Oracle Corporation 0.29/0.23 c sun.arch.data.model 64 0.29/0.23 c java.version 22.0.1 0.29/0.23 c os.name Linux 0.29/0.23 c os.version 4.18.0-301.1.el8.x86_64 0.29/0.23 c os.arch amd64 0.29/0.25 c Free memory 2113181440 0.29/0.25 c Max memory 16282288128 0.29/0.25 c Total memory 2122317824 0.29/0.25 c Number of processors 2 0.44/0.36 --- Begin Solver configuration --- 0.44/0.36 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.44/0.36 Learn all clauses as in MiniSAT 0.44/0.36 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.36 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.44/0.36 Expensive reason simplification 0.44/0.36 Glucose 2.1 dynamic restart strategy 0.44/0.36 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.44/0.36 timeout=2147483s 0.44/0.36 DB Simplification allowed=false 0.44/0.36 Listener: none 0.44/0.36 --- End Solver configuration --- 0.44/0.36 c Pseudo Boolean Optimization by upper bound 0.44/0.36 c --- Begin Solver configuration --- 0.44/0.36 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.44/0.36 c Learn all clauses as in MiniSAT 0.44/0.36 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.36 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.44/0.36 c Expensive reason simplification 0.44/0.36 c Glucose 2.1 dynamic restart strategy 0.44/0.36 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.44/0.36 c timeout=2147483s 0.44/0.36 c DB Simplification allowed=false 0.44/0.36 c Listener: none 0.44/0.36 c --- End Solver configuration --- 0.44/0.36 c solving HOME/instance-4457889-1721887320.opb 0.44/0.37 c reading problem ... 0.44/0.37 c using VERIPB proof format 0.44/0.37 c objective function found 0.44/0.41 c ... done. Wall clock time 0.04s. 0.44/0.41 c declared #vars 204 0.44/0.41 c #constraints 102 0.44/0.41 c constraints type 0.44/0.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 0.44/0.41 c 102 constraints processed. 0.62/0.44 c objective function length is 51 literals 0.78/0.54 c SATISFIABLE 0.78/0.54 c OPTIMIZING... 0.78/0.54 c Got one! Elapsed wall clock time (in seconds):0.172 0.78/0.54 o 17 0.78/0.61 c Got one! Elapsed wall clock time (in seconds):0.248 0.78/0.61 o 10 1.74/1.04 c Got one! Elapsed wall clock time (in seconds):0.669 1.74/1.04 o 4 1.74/1.09 c Got one! Elapsed wall clock time (in seconds):0.721 1.74/1.09 o 1 2.90/1.66 c cleaning 3306 clauses out of 6622 with flag 26699/6622 4.09/2.20 c cleaning 4653 clauses out of 9317 with flag 70870/12623 4.68/2.53 c cleaning 5828 clauses out of 11663 with flag 114908/19622 5.27/2.83 c cleaning 6910 clauses out of 13836 with flag 160515/27623 5.76/3.18 c cleaning 7956 clauses out of 15926 with flag 212629/36623 6.34/3.67 c cleaning 8977 clauses out of 17969 with flag 281171/46622 7.20/4.20 c cleaning 9990 clauses out of 19993 with flag 360808/57623 7.61/4.67 c cleaning 10992 clauses out of 22002 with flag 440195/69622 8.49/5.16 c cleaning 12001 clauses out of 24011 with flag 511846/82623 9.12/5.75 c cleaning 12998 clauses out of 26009 with flag 600232/96622 9.68/6.35 c cleaning 13985 clauses out of 28011 with flag 700739/111622 10.29/6.96 c cleaning 15010 clauses out of 30026 with flag 795109/127622 11.12/7.65 c cleaning 16001 clauses out of 32016 with flag 895497/144622 12.03/8.42 c cleaning 17003 clauses out of 34017 with flag 1003379/162624 13.12/9.58 c cleaning 18005 clauses out of 36014 with flag 1120286/181624 14.63/11.03 c cleaning 18994 clauses out of 38008 with flag 1257315/201623 15.81/12.29 c cleaning 19997 clauses out of 40013 with flag 1390737/222622 17.01/13.41 c cleaning 20996 clauses out of 42016 with flag 1531327/244622 18.12/14.54 c cleaning 22001 clauses out of 44022 with flag 1680680/267624 19.31/15.73 c cleaning 23004 clauses out of 46019 with flag 1830990/291622 20.50/16.97 c cleaning 24000 clauses out of 48016 with flag 1986363/316623 22.00/18.42 c cleaning 24995 clauses out of 50015 with flag 2162906/342622 23.50/20.00 c cleaning 25987 clauses out of 52020 with flag 2334422/369622 25.19/21.65 c cleaning 27007 clauses out of 54033 with flag 2526519/397622 26.79/23.21 c cleaning 28005 clauses out of 56026 with flag 2711923/426622 28.39/24.80 c cleaning 29005 clauses out of 58022 with flag 2902161/456623 30.09/26.55 c cleaning 29994 clauses out of 60017 with flag 3098826/487623 31.99/28.43 c cleaning 30999 clauses out of 62023 with flag 3316883/519623 33.88/30.36 c cleaning 32004 clauses out of 64024 with flag 3528292/552623 35.98/32.51 c cleaning 32998 clauses out of 66020 with flag 3748964/586623 38.18/34.71 c cleaning 34006 clauses out of 68022 with flag 3976035/621623 40.58/37.12 c cleaning 34995 clauses out of 70016 with flag 4225148/657623 42.96/39.59 c cleaning 36005 clauses out of 72021 with flag 4487004/694623 46.06/42.63 c cleaning 37002 clauses out of 74015 with flag 4765323/732622 48.75/45.33 c cleaning 38001 clauses out of 76013 with flag 5013108/771622 52.27/48.40 c cleaning 38996 clauses out of 78014 with flag 5292906/811624 55.19/51.36 c cleaning 40003 clauses out of 80016 with flag 5581611/852622 58.00/54.18 c cleaning 40996 clauses out of 82014 with flag 5869817/894623 61.29/57.41 c cleaning 41999 clauses out of 84018 with flag 6162513/937623 64.58/60.76 c cleaning 43005 clauses out of 86018 with flag 6468827/981622 68.21/64.43 c cleaning 44002 clauses out of 88014 with flag 6778980/1026623 71.40/67.66 c cleaning 44998 clauses out of 90012 with flag 7094156/1072623 75.01/71.26 c cleaning 45997 clauses out of 92013 with flag 7421349/1119622 78.60/74.88 c cleaning 46998 clauses out of 94016 with flag 7742738/1167622 82.60/78.89 c cleaning 47993 clauses out of 96018 with flag 8081239/1216622 86.80/83.09 c cleaning 49005 clauses out of 98027 with flag 8440496/1266624 90.98/87.23 c cleaning 50003 clauses out of 100021 with flag 8796516/1317623 95.37/91.65 c cleaning 50995 clauses out of 102017 with flag 9163780/1369622 99.51/95.83 c cleaning 51999 clauses out of 104023 with flag 9545886/1422623 104.02/100.39 c cleaning 53003 clauses out of 106023 with flag 9917856/1476622 108.40/104.72 c cleaning 54001 clauses out of 108021 with flag 10303613/1531623 113.29/109.62 c cleaning 55007 clauses out of 110021 with flag 10697228/1587624 118.38/114.78 c cleaning 55999 clauses out of 112014 with flag 11100694/1644624 123.86/120.21 c cleaning 56996 clauses out of 114015 with flag 11534012/1702624 129.19/125.66 c cleaning 58003 clauses out of 116018 with flag 11939220/1761623 135.19/131.60 c cleaning 58997 clauses out of 118015 with flag 12376334/1821623 140.78/137.30 c cleaning 60001 clauses out of 120017 with flag 12815973/1882622 146.95/143.45 c cleaning 60999 clauses out of 122016 with flag 13262866/1944622 152.95/149.46 c cleaning 62001 clauses out of 124017 with flag 13717404/2007622 159.24/155.76 c cleaning 63001 clauses out of 126017 with flag 14179507/2071623 166.28/162.84 c cleaning 64002 clauses out of 128016 with flag 14644581/2136623 173.04/169.64 c cleaning 65002 clauses out of 130013 with flag 15109583/2202622 180.04/176.60 c cleaning 65998 clauses out of 132012 with flag 15605263/2269623 186.86/183.47 c cleaning 66998 clauses out of 134013 with flag 16098547/2337622 194.71/197.11 c cleaning 68000 clauses out of 136015 with flag 16576861/2406622 202.00/204.44 c cleaning 68998 clauses out of 138015 with flag 17070093/2476622 209.29/211.76 c cleaning 69997 clauses out of 140017 with flag 17579227/2547622 217.47/219.90 c cleaning 70997 clauses out of 142020 with flag 18098320/2619622 225.62/228.18 c cleaning 72000 clauses out of 144023 with flag 18627818/2692622 233.79/236.35 c cleaning 73001 clauses out of 146024 with flag 19163869/2766623 242.53/245.10 c cleaning 74004 clauses out of 148022 with flag 19727775/2841622 251.39/253.91 c cleaning 74993 clauses out of 150018 with flag 20308869/2917622 259.73/262.34 c cleaning 76006 clauses out of 152025 with flag 20850373/2994622 269.43/272.06 c cleaning 77001 clauses out of 154019 with flag 21430978/3072622 278.19/280.82 c cleaning 78002 clauses out of 156019 with flag 22009806/3151623 287.83/290.50 c cleaning 79001 clauses out of 158017 with flag 22585959/3231623 297.76/300.40 c cleaning 80000 clauses out of 160015 with flag 23188914/3312622 307.94/310.63 c cleaning 80997 clauses out of 162015 with flag 23768188/3394622 318.10/320.81 c cleaning 82000 clauses out of 164021 with flag 24387356/3477625 328.70/331.46 c cleaning 83001 clauses out of 166019 with flag 24995010/3561623 339.71/342.48 c cleaning 83999 clauses out of 168017 with flag 25634395/3646622 350.79/353.53 c cleaning 84999 clauses out of 170018 with flag 26264972/3732622 362.28/365.02 c cleaning 85995 clauses out of 172021 with flag 26924686/3819624 373.32/376.09 c cleaning 87005 clauses out of 174024 with flag 27550294/3907622 384.86/387.67 c cleaning 87996 clauses out of 176019 with flag 28186990/3996622 397.46/400.25 c cleaning 89006 clauses out of 178024 with flag 28871590/4086623 410.11/412.93 c cleaning 89996 clauses out of 180018 with flag 29548184/4177623 423.00/425.89 c cleaning 91006 clauses out of 182022 with flag 30243306/4269623 436.40/439.25 c cleaning 91997 clauses out of 184015 with flag 30909911/4362622 450.47/464.21 c cleaning 93009 clauses out of 186021 with flag 31616647/4456625 462.52/476.35 c cleaning 93991 clauses out of 188009 with flag 32322035/4551622 476.10/490.00 c cleaning 94998 clauses out of 190018 with flag 33027311/4647622 491.05/506.71 c cleaning 95997 clauses out of 192023 with flag 33743908/4744625 504.26/519.96 c cleaning 97006 clauses out of 194024 with flag 34468426/4842623 518.39/534.05 c cleaning 97998 clauses out of 196018 with flag 35256602/4941623 533.33/549.02 c cleaning 99005 clauses out of 198019 with flag 36011874/5041622 547.64/563.30 c cleaning 99996 clauses out of 200015 with flag 36754155/5142623 564.10/579.86 c cleaning 101001 clauses out of 202019 with flag 37542801/5244623 579.84/595.58 c cleaning 101997 clauses out of 204017 with flag 38327459/5347622 594.93/610.67 c cleaning 103007 clauses out of 206021 with flag 39113262/5451623 611.37/627.06 c cleaning 103998 clauses out of 208015 with flag 39911341/5556624 626.84/642.52 c cleaning 105002 clauses out of 210016 with flag 40728997/5662623 643.19/658.87 c cleaning 105997 clauses out of 212013 with flag 41536730/5769622 660.28/675.91 c cleaning 107000 clauses out of 214016 with flag 42357439/5877622 677.01/692.66 c cleaning 108001 clauses out of 216017 with flag 43183834/5986623 694.93/710.62 c cleaning 108999 clauses out of 218016 with flag 44021676/6096623 712.42/728.14 c cleaning 110000 clauses out of 220016 with flag 44857026/6207622 730.48/746.27 c cleaning 110994 clauses out of 222017 with flag 45741612/6319623 749.12/764.96 c cleaning 112002 clauses out of 224023 with flag 46596621/6432623 767.55/783.36 c cleaning 113009 clauses out of 226021 with flag 47448960/6546623 786.22/802.08 c cleaning 113999 clauses out of 228012 with flag 48344363/6661623 804.78/820.65 c cleaning 115001 clauses out of 230012 with flag 49208802/6777622 824.86/840.79 c cleaning 115999 clauses out of 232012 with flag 50107156/6894623 845.51/861.40 c cleaning 117004 clauses out of 234013 with flag 51026823/7012623 864.84/880.70 c cleaning 117993 clauses out of 236011 with flag 51958994/7131625 885.01/900.96 c cleaning 119001 clauses out of 238017 with flag 52880478/7251624 906.65/931.95 c cleaning 120003 clauses out of 240014 with flag 53838445/7372622 928.80/954.06 c cleaning 121002 clauses out of 242013 with flag 54840392/7494624 949.62/974.94 c cleaning 121994 clauses out of 244009 with flag 55805219/7617622 971.84/997.23 c cleaning 122995 clauses out of 246015 with flag 56801437/7741622 996.12/1021.58 c cleaning 124002 clauses out of 248020 with flag 57798172/7866622 1018.45/1043.86 c cleaning 125003 clauses out of 250018 with flag 58785792/7992622 1041.25/1066.69 c cleaning 125997 clauses out of 252015 with flag 59772159/8119622 1066.31/1092.88 c cleaning 126998 clauses out of 254018 with flag 60767038/8247622 1090.60/1117.18 c cleaning 127998 clauses out of 256020 with flag 61801516/8376622 1116.06/1142.55 c cleaning 129001 clauses out of 258022 with flag 62844303/8506622 1141.02/1167.46 c cleaning 130005 clauses out of 260022 with flag 63889412/8637623 1167.61/1194.08 c cleaning 131001 clauses out of 262016 with flag 64969968/8769622 1192.98/1219.40 c cleaning 132001 clauses out of 264019 with flag 66007536/8902626 1218.58/1245.03 c cleaning 132999 clauses out of 266015 with flag 67082966/9036623 1245.20/1271.86 c cleaning 134000 clauses out of 268015 with flag 68154731/9171622 1269.92/1296.59 c cleaning 135002 clauses out of 270018 with flag 69194146/9307625 1294.61/1321.20 c cleaning 135989 clauses out of 272014 with flag 70457781/9444623 1320.05/1346.70 c cleaning 137001 clauses out of 274024 with flag 71653779/9582622 1348.05/1374.69 c cleaning 138006 clauses out of 276025 with flag 72797993/9721624 1375.76/1402.31 c cleaning 138998 clauses out of 278017 with flag 73905264/9861622 1401.28/1428.04 c cleaning 139996 clauses out of 280020 with flag 75019926/10002623 1430.11/1456.97 c cleaning 141007 clauses out of 282024 with flag 76141188/10144623 1458.47/1485.28 c cleaning 141999 clauses out of 284016 with flag 77298942/10287622 1487.19/1514.01 c cleaning 143003 clauses out of 286018 with flag 78470927/10431623 1518.13/1544.96 c cleaning 144000 clauses out of 288014 with flag 79643326/10576622 1547.35/1574.28 c cleaning 145002 clauses out of 290015 with flag 80773284/10722623 1576.53/1603.85 c cleaning 145998 clauses out of 292012 with flag 81909909/10869622 1605.90/1633.25 c cleaning 146982 clauses out of 294014 with flag 83106263/11017622 1636.14/1664.40 c cleaning 148013 clauses out of 296033 with flag 84292563/11166623 1667.36/1695.72 c cleaning 149003 clauses out of 298020 with flag 85518062/11316623 1700.31/1728.78 c cleaning 150000 clauses out of 300016 with flag 86745033/11467622 1733.65/1762.14 c cleaning 151002 clauses out of 302017 with flag 87932282/11619623 1766.79/1795.38 c cleaning 152006 clauses out of 304015 with flag 89152213/11772623 1799.76/1828.34 c cleaning 152994 clauses out of 306009 with flag 90368896/11926623 1833.05/1861.72 c cleaning 153993 clauses out of 308014 with flag 91629492/12081622 1865.67/1894.43 c cleaning 155004 clauses out of 310021 with flag 92869994/12237622 1900.47/1929.38 c cleaning 156000 clauses out of 312017 with flag 94152033/12394622 1935.02/1963.97 c cleaning 156999 clauses out of 314018 with flag 95458110/12552623 1971.93/2001.00 c cleaning 158002 clauses out of 316018 with flag 96743939/12711622 2007.64/2036.68 c cleaning 159000 clauses out of 318016 with flag 98005581/12871622 2042.17/2071.21 c cleaning 160002 clauses out of 320017 with flag 99296575/13032623 2079.63/2108.80 c cleaning 161002 clauses out of 322015 with flag 100588584/13194623 2116.22/2145.54 c cleaning 161998 clauses out of 324013 with flag 101898115/13357623 2152.99/2182.35 c cleaning 162994 clauses out of 326015 with flag 103200630/13521623 2195.48/2224.92 c cleaning 163975 clauses out of 328020 with flag 104881505/13686622 2235.40/2265.01 c cleaning 165014 clauses out of 330046 with flag 106226274/13852623 2273.76/2303.43 c cleaning 166005 clauses out of 332031 with flag 107596877/14019622 2313.98/2343.70 c cleaning 167007 clauses out of 334026 with flag 108960510/14187622 2352.89/2382.73 c cleaning 168006 clauses out of 336019 with flag 110310005/14356622 2394.95/2425.06 c cleaning 168996 clauses out of 338014 with flag 111731800/14526623 2435.57/2465.74 c cleaning 169998 clauses out of 340017 with flag 113156918/14697622 2477.78/2508.34 c cleaning 171007 clauses out of 342023 with flag 114559621/14869626 2521.29/2551.51 c cleaning 171999 clauses out of 344012 with flag 115950318/15042622 2563.62/2593.96 c cleaning 172997 clauses out of 346014 with flag 117321440/15216623 2604.61/2635.54 c cleaning 173996 clauses out of 348016 with flag 118740801/15391622 2645.87/2676.83 c cleaning 175005 clauses out of 350020 with flag 120217464/15567622 2695.51/2726.60 c cleaning 175995 clauses out of 352016 with flag 121698577/15744623 2738.21/2769.46 c cleaning 176998 clauses out of 354020 with flag 123158835/15922622 2782.95/2814.20 c cleaning 178004 clauses out of 356023 with flag 124648598/16101623 2826.02/2857.40 c cleaning 179000 clauses out of 358018 with flag 126071909/16281622 2872.83/2904.32 c cleaning 180001 clauses out of 360018 with flag 127538110/16462622 2919.84/2951.43 c cleaning 180996 clauses out of 362017 with flag 129024140/16644622 2967.92/2999.69 c cleaning 182006 clauses out of 364021 with flag 130553777/16827622 3013.48/3045.28 c cleaning 182999 clauses out of 366016 with flag 132018436/17011623 3061.19/3093.03 c cleaning 183998 clauses out of 368016 with flag 133539323/17196622 3106.22/3138.13 c cleaning 184997 clauses out of 370018 with flag 135154962/17382622 3151.49/3183.40 c cleaning 186003 clauses out of 372021 with flag 136723292/17569622 3197.01/3229.08 c cleaning 187002 clauses out of 374018 with flag 138207975/17757622 3246.12/3278.20 c cleaning 188002 clauses out of 376016 with flag 139805878/17946622 3300.49/3332.70 c cleaning 188993 clauses out of 378014 with flag 141375147/18136622 3353.60/3385.98 c cleaning 190008 clauses out of 380022 with flag 142970942/18327623 3405.90/3438.48 c cleaning 191000 clauses out of 382013 with flag 144554983/18519622 3457.27/3489.97 c cleaning 192003 clauses out of 384013 with flag 146137314/18712622 3509.84/3542.62 c cleaning 192999 clauses out of 386011 with flag 147724746/18906623 3565.39/3598.31 c cleaning 194002 clauses out of 388013 with flag 149340666/19101624 3600.08/3633.17 c starts : 37311 3600.08/3633.17 c conflicts : 19229132 3600.08/3633.17 c decisions : 24868106 3600.08/3633.17 c propagations : 315642761 3600.08/3633.17 c inspects : 55761909106 3600.08/3633.17 c shortcuts : 0 3600.08/3633.17 c learnt literals : 0 3600.08/3633.17 c learnt binary clauses : 0 3600.08/3633.17 c learnt ternary clauses : 0 3600.08/3633.17 c learnt constraints : 19229132 3600.08/3633.17 c ignored constraints : 0 3600.08/3633.19 c root simplifications : 0 3600.08/3633.19 c removed literals (reason simplification) : 28441082 3600.08/3633.19 c reason swapping (by a shorter reason) : 0 3600.08/3633.19 c Calls to reduceDB : 191 3600.08/3633.19 c Number of update (reduction) of LBD : 5324178 3600.08/3633.19 c Imported unit clauses : 0 3600.08/3633.19 c No decision after first conflict : false 3600.08/3633.19 c number of reductions to clauses (during analyze) : 0 3600.08/3633.19 c number of learned constraints concerned by reduction : 0 3600.08/3633.19 c number of learning phase by resolution : 0 3600.08/3633.19 c number of learning phase by cutting planes : 0 3600.08/3633.19 c number of rounding to 1 operations : 0 3600.08/3633.19 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.08/3633.19 c number of reductions of the coefficients by power 2 : 0 3600.08/3633.19 c number of right shift for reduction by power 2 : 0 3600.08/3633.19 c number of reductions of the coefficients by GCD over coefficients : 0 3600.08/3633.19 c number of ending skipping : 0 3600.08/3633.19 c number of internal skipping : 0 3600.08/3633.19 c number of derivation steps : 0 3600.08/3633.19 c number of skipped derivation steps : 0 3600.08/3633.19 c number of remaining unassigned : 0 3600.08/3633.19 c number of remaining assigned : 0 3600.08/3633.19 c number of falsified literals weakened from reason : 0 3600.08/3633.19 c number of falsified literals weakened from conflict : 0 3600.08/3633.19 c time for arithmetic operations : 0 3600.08/3633.19 c minimum degree of deleted constraints : null 3600.08/3633.19 c maximum degree of deleted constraints : null 3600.08/3633.19 c number of deleted constraints : 0 3600.08/3633.19 c speed (assignments/second) : 86888.34350930703 3600.08/3633.19 c non guided choices : 7688 3600.47/3633.38 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 321519 3600.47/3633.38 s SATISFIABLE 3600.47/3633.38 c Found 4 solution(s) 3600.47/3633.38 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 3600.47/3633.39 c objective function=1 3600.47/3633.39 c Total wall clock time (in seconds): 3633.019
OK 1
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: 64059 MiB (57349 MiB free)
memory of node 1: 64510 MiB (54393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457889-1721887320/watcher-4457889-1721887320 -o /tmp/evaluation-result-4457889-1721887320/solver-4457889-1721887320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270227 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457889-1721887320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457889-1721887320.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=270274, runsolver pid=270269
[startup+0.100088 s]*
/proc/loadavg: 2.59 3.46 3.87 13/311 270357
/proc/meminfo: memFree=114288724/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=18993908 memory=53808 CPUtime=0.11 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 6197 0 0 0 6 5 0 0 20 0 18 0 24721390 19449761792 13452 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4748477 13452 5399 1 0 550528 0
[pid=270274/tid=270287] ppid=270269 vsize=18993908 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 5352 0 0 0 4 4 0 0 20 0 18 0 24721390 19449761792 13452 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=18993908 memory=952865 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 13452 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 13452 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 53808 KiB
[startup+0.216171 s]*
/proc/loadavg: 2.59 3.46 3.87 16/311 270357
/proc/meminfo: memFree=114265724/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=18993908 memory=59796 CPUtime=0.29 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 6858 0 0 0 23 6 0 0 20 0 18 0 24721390 19449761792 14949 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4748477 14949 5744 1 0 551064 0
[pid=270274/tid=270287] ppid=270269 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 5749 0 0 0 14 4 0 0 20 0 18 0 24721390 19449761792 14949 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=18993908 memory=952865 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 14949 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 14949 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59796 KiB
[startup+0.3158 s]*
/proc/loadavg: 2.59 3.46 3.87 14/311 270357
/proc/meminfo: memFree=114240664/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=18993908 memory=66636 CPUtime=0.44 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 7412 0 0 0 38 6 0 0 20 0 18 0 24721390 19449761792 16659 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4748477 16659 5924 1 0 551522 0
[pid=270274/tid=270287] ppid=270269 vsize=18993908 memory=-8815066660447429308 CPUtime=0.27 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 5920 0 0 0 22 5 0 0 20 0 18 0 24721390 19449761792 16659 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 16659 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 16659 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66636 KiB
[startup+0.700723 s]
/proc/loadavg: 2.59 3.46 3.87 12/312 270358
/proc/meminfo: memFree=114134060/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19060472 memory=85168 CPUtime=1.13 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 9633 0 0 0 104 9 0 0 20 0 19 0 24721390 19517923328 21292 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4765118 21292 6105 1 0 553013 0
[pid=270274/tid=270287] ppid=270269 vsize=19060472 memory=5640 CPUtime=0.61 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 6211 0 0 0 55 6 0 0 20 0 19 0 24721390 19517923328 21292 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24721397 19517923328 21292 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24721399 19517923328 21292 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19060472 memory=3821786031532399616 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24721435 19517923328 21292 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 85168 KiB
[startup+1.50072 s]
/proc/loadavg: 3.34 3.60 3.92 13/315 270361
/proc/meminfo: memFree=113968004/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19060472 memory=170012 CPUtime=2.71 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 22115 0 0 0 257 14 0 0 20 0 19 0 24721390 19517923328 42503 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4765118 42503 6122 1 0 557017 0
[pid=270274/tid=270287] ppid=270269 vsize=19060472 memory=12240 CPUtime=1.33 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 6517 0 0 0 125 8 0 0 20 0 19 0 24721390 19517923328 42503 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24721397 19517923328 42503 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19060472 memory=281384111479856 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24721399 19517923328 42503 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24721435 19517923328 42503 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 170012 KiB
[startup+3.10672 s]
/proc/loadavg: 3.34 3.60 3.92 10/319 270367
/proc/meminfo: memFree=113442320/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=214596 CPUtime=5.76 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 25229 0 0 0 559 17 0 0 20 0 20 0 24721390 19586084864 53649 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 53649 6156 1 0 557344 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=0 CPUtime=2.89 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 7412 0 0 0 279 10 0 0 20 0 20 0 24721390 19586084864 53649 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 24721393 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 53649 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 53649 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 53649 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 214596 KiB
[startup+6.30073 s]
/proc/loadavg: 3.39 3.61 3.92 5/321 270369
/proc/meminfo: memFree=111411396/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=620400 CPUtime=9.68 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 26012 0 0 0 942 26 0 0 20 0 20 0 24721390 19586084864 155100 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 155100 6156 1 0 557362 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=0 CPUtime=6.01 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 8020 0 0 0 582 19 0 0 20 0 20 0 24721390 19586084864 155100 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 24721395 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=-6076898257080205251 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 155100 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 155100 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=-8527399234249138876 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 155100 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 9.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 620400 KiB
[startup+12.7005 s]
/proc/loadavg: 3.44 3.61 3.92 7/321 270369
/proc/meminfo: memFree=108744888/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=1333300 CPUtime=16.31 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 31362 0 0 0 1586 45 0 0 20 0 20 0 24721390 19586084864 333325 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 333325 6156 1 0 557362 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=12240 CPUtime=12.32 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 9192 0 0 0 1195 37 0 0 20 0 20 0 24721390 19586084864 333325 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24721395 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=-8527399234249138876 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 333325 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=1230852 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 333325 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=1052676 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 333325 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 16.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1333300 KiB
[startup+25.5005 s]
/proc/loadavg: 3.61 3.64 3.92 5/321 270372
/proc/meminfo: memFree=105428252/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=1333308 CPUtime=29.09 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 34465 0 0 0 2856 53 0 0 20 0 20 0 24721390 19586084864 333327 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 333327 6156 1 0 557362 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=1230852 CPUtime=25.05 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 10593 0 0 0 2461 44 0 0 20 0 20 0 24721390 19586084864 333327 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24721395 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=950276 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 333327 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=1333308 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 333327 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=1940 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 333327 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 29.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1333308 KiB
[startup+51.114 s]
/proc/loadavg: 3.82 3.69 3.93 6/322 270376
/proc/meminfo: memFree=103086576/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=1341580 CPUtime=55.01 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 44614 0 0 0 5433 68 0 0 20 0 20 0 24721390 19586084864 335395 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 335395 6156 1 0 557362 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=1341520 CPUtime=50.33 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 12786 0 0 0 4977 56 0 0 20 0 20 0 24721390 19586084864 335395 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24721406 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 335395 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
################
# More data... #
################
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 83563 0 0 0 321362 696 0 0 20 0 20 0 24721390 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724936 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2195780 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2195780 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 3756 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3250.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.49 4.52 4.53 6/321 271996
/proc/meminfo: memFree=20436372/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2195804 CPUtime=3310.06 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 182743 0 0 0 330122 884 0 0 20 0 20 0 24721390 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 548951 6172 1 0 561542 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=71048 CPUtime=3280.09 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 84766 0 0 0 327304 705 0 0 20 0 20 0 24721390 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724941 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2195804 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 3822 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 548951 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3310.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.56 4.54 4.54 5/323 272176
/proc/meminfo: memFree=18183828/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2195816 CPUtime=3369.92 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 185337 0 0 0 336096 896 0 0 20 0 20 0 24721390 19586084864 548954 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 548954 6172 1 0 561542 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=0 CPUtime=3339.49 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 86000 0 0 0 333235 714 0 0 20 0 20 0 24721390 19586084864 548954 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724951 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2195804 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 548954 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2195812 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 3889 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 548954 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 548954 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3369.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.49 4.52 5/322 272186
/proc/meminfo: memFree=19688592/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2195824 CPUtime=3429.72 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 187658 0 0 0 342064 908 0 0 20 0 20 0 24721390 19586084864 548956 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 548956 6172 1 0 561542 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=0 CPUtime=3399.01 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 87065 0 0 0 339177 724 0 0 20 0 20 0 24721390 19586084864 548956 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724958 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2195804 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 548956 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2195824 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 3952 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 548956 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=19856 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 548956 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3429.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.44 4.50 6/322 272270
/proc/meminfo: memFree=52634104/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2196600 CPUtime=3489.57 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 189381 0 0 0 348038 919 0 0 20 0 20 0 24721390 19586084864 549150 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 549150 6172 1 0 561623 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=71048 CPUtime=3458.51 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 88453 0 0 0 345119 732 0 0 20 0 20 0 24721390 19586084864 549150 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724964 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2195812 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 549150 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=71048 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 4031 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 549150 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 549150 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3489.57 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2196600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.44 4.50 7/323 272428
/proc/meminfo: memFree=101586200/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2196740 CPUtime=3549.41 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 191418 0 0 0 354010 931 0 0 20 0 20 0 24721390 19586084864 549185 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 549185 6172 1 0 561623 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=71048 CPUtime=3518.06 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 89664 0 0 0 351065 741 0 0 20 0 20 0 24721390 19586084864 549185 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724969 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2196740 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 549185 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2196740 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 549185 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 549185 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3549.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2196740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3633.11 s]
/proc/loadavg: 4.55 4.50 4.52 6/333 272447
/proc/meminfo: memFree=88239744/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19127036 memory=2196748 CPUtime=3600.08 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 193186 0 0 0 359067 941 0 0 20 0 20 0 24721390 19586084864 549187 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4781759 549187 6172 1 0 561623 0
[pid=270274/tid=270287] ppid=270269 vsize=19127036 memory=1940 CPUtime=3568.5 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 90734 0 0 0 356100 750 0 0 20 0 20 0 24721390 19586084864 549187 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724976 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19127036 memory=2196748 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 549187 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19127036 memory=2196748 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 4169 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 549187 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270358] ppid=270269 vsize=19127036 memory=71048 CPUtime=0 cores=4,6
/proc/270274/task/270358/stat : 270358 (Timer-0) S 270269 270274 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721435 19586084864 549187 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2196748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3633.45 s]
# the end of solver process 270274 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3591.22 s, system=9.44394 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3633.21 s]
/proc/loadavg: 4.55 4.50 4.52 6/333 272447
/proc/meminfo: memFree=88239744/131655788 swapFree=131061124/131071996
[pid=270274] ppid=270269 vsize=19326728 memory=2197460 CPUtime=3600.27 cores=4,6
/proc/270274/stat : 270274 (java) S 270269 270274 270216 0 -1 1077936128 195623 0 0 0 359085 942 0 0 20 0 21 0 24721390 19790569472 549365 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
/proc/270274/statm: 4831682 549365 6171 1 0 562561 0
[pid=270274/tid=270287] ppid=270269 vsize=19326728 memory=2152040 CPUtime=3568.59 cores=4,6
/proc/270274/task/270287/stat : 270287 (java) R 270269 270274 270216 0 -1 4194368 91003 0 0 0 356109 750 0 0 20 0 21 0 24721390 19790569472 549365 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24724976 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270330] ppid=270269 vsize=19326728 memory=2736 CPUtime=0 cores=4,6
/proc/270274/task/270330/stat : 270330 (Finalizer) S 270269 270274 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24721397 19790569472 549365 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
[pid=270274/tid=270355] ppid=270269 vsize=19326728 memory=4796 CPUtime=0 cores=4,6
/proc/270274/task/270355/stat : 270355 (Common-Cleaner) S 270269 270274 270216 0 -1 1077936192 4169 0 0 0 0 0 0 0 20 0 21 0 24721399 19790569472 549365 134679101440 94164892930048 94164892933744 140736560289600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94164892941560 94164892942352 94164902076416 140736560296879 140736560297061 140736560297061 140736560304072 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2197460 KiB
[startup+3633.4 s]*
/proc/loadavg: 4.55 4.50 4.52 5/315 272450
/proc/meminfo: memFree=90380628/131655788 swapFree=131061124/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): 3633.45
CPU time (s): 3600.66
CPU user time (s): 3591.22
CPU system time (s): 9.44394
CPU usage (%): 99.0976
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2197460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 9.44394
maximum resident set size= 2198888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9518176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114848
involuntary context switches= 6800
# summary of solver processes directly reported to runsolver:
# pid: 270274
# total CPU time (s): 3600.66
# total CPU user time (s): 3591.22
# total CPU system time (s): 9.44394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.777 second user time and 36.7787 second system time
The end
Begin job on nodeC005 at 2024-07-25 08:02:00 IDJOB=4457889 IDBENCH=177049 IDSOLVER=3079 FILE ID=nodeC005/4457889-1721887320 RUNJOBID= nodeC005-1721887320-270227 SLURM_JOB_ID= 8089296 Free space on /tmp= 723784 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.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-4457889-1721887320/watcher-4457889-1721887320 -o /tmp/evaluation-result-4457889-1721887320/solver-4457889-1721887320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270227 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457889-1721887320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457889-1721887320.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 203a71e4765d41abd7101b66eed46923 RANDOM SEED=1213950555 nodeC005.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 : 0xb00001f cpu MHz : 1197.122 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14 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 : 0xb00001f cpu MHz : 1197.121 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.113 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14 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 : 0xb00001f cpu MHz : 1197.112 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.115 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14 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 : 0xb00001f cpu MHz : 1197.130 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.117 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.14 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 : 0xb00001f cpu MHz : 1197.114 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 114428636 kB MemAvailable: 129963388 kB Buffers: 294320 kB Cached: 16015848 kB SwapCached: 620 kB Active: 2552896 kB Inactive: 14016864 kB Active(anon): 1500 kB Inactive(anon): 311360 kB Active(file): 2551396 kB Inactive(file): 13705504 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061124 kB Dirty: 2192 kB Writeback: 0 kB AnonPages: 259404 kB Mapped: 118020 kB Shmem: 53264 kB KReclaimable: 235768 kB Slab: 346816 kB SReclaimable: 235768 kB SUnreclaim: 111048 kB KernelStack: 3664 kB PageTables: 9792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 663996 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 11936 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 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: 406344 kB DirectMap2M: 45635584 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723776 MiB End job on nodeC005 at 2024-07-25 09:02:33