Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2025-06-06 | SAT (TO) | -58 | 3600.27 | 3604.83 |
Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb |
MD5SUM | 052b56f2871560e549ba2a2e5aff1011 |
Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -70 |
Best CPU time to get the best result obtained on this benchmark | 3535.65 |
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 | 200 |
Total number of constraints | 17013 |
Number of constraints which are clauses | 17013 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.10 c Free memory 2104792832 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2113929216 0.10/0.10 c Number of processors 2 0.10/0.14 c Pseudo Boolean Optimization by upper bound 0.10/0.14 c --- Begin Solver configuration --- 0.10/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.10/0.14 c Learn all clauses as in MiniSAT 0.10/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.14 c Expensive reason simplification 0.10/0.14 c Glucose 2.1 dynamic restart strategy 0.10/0.14 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.10/0.14 c timeout=2147483s 0.10/0.14 c DB Simplification allowed=false 0.10/0.14 c Listener: none 0.10/0.14 c --- End Solver configuration --- 0.10/0.14 c solving HOME/instance-4522190-1751598323.opb 0.10/0.14 c reading problem ... 0.10/0.14 c objective function found 0.49/0.36 c ... done. Wall clock time 0.21s. 0.49/0.36 c declared #vars 200 0.49/0.36 c #constraints 17013 0.49/0.36 c constraints type 0.49/0.36 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 246 0.49/0.36 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16767 0.49/0.36 c 17013 constraints processed. 0.49/0.37 c objective function length is 200 literals 0.68/0.47 c SATISFIABLE 0.68/0.47 c OPTIMIZING... 0.68/0.47 c Got one! Elapsed wall clock time (in seconds):0.325 0.68/0.47 o -32 0.68/0.48 c Got one! Elapsed wall clock time (in seconds):0.335 0.68/0.48 o -33 0.68/0.48 c Got one! Elapsed wall clock time (in seconds):0.342 0.68/0.48 o -43 1.25/0.74 c Got one! Elapsed wall clock time (in seconds):0.601 1.25/0.74 o -45 1.80/1.06 c cleaning 2971 clauses out of 5943 with flag 11453/5943 2.43/1.59 c cleaning 4481 clauses out of 8970 with flag 33391/11941 3.21/2.28 c cleaning 5744 clauses out of 11489 with flag 66518/18941 4.20/3.10 c cleaning 6870 clauses out of 13746 with flag 109203/26942 5.11/4.03 c cleaning 7933 clauses out of 15875 with flag 151801/35941 5.70/4.62 c Got one! Elapsed wall clock time (in seconds):4.477 5.70/4.62 o -46 6.11/5.10 c cleaning 9693 clauses out of 19386 with flag 16053/47385 6.92/5.67 c cleaning 7845 clauses out of 15694 with flag 38735/53386 7.12/5.82 c Got one! Elapsed wall clock time (in seconds):5.678 7.12/5.82 o -47 7.43/6.16 c cleaning 6764 clauses out of 13551 with flag 13740/59088 7.92/6.60 c cleaning 6384 clauses out of 12788 with flag 33187/65089 8.43/7.18 c cleaning 6697 clauses out of 13405 with flag 59035/72090 9.03/7.70 c cleaning 7353 clauses out of 14708 with flag 80139/80090 9.73/8.40 c cleaning 8181 clauses out of 16361 with flag 114020/89096 10.53/9.22 c cleaning 9071 clauses out of 18173 with flag 148335/99089 11.53/10.20 c cleaning 10039 clauses out of 20101 with flag 193228/110088 12.52/11.30 c cleaning 11026 clauses out of 22062 with flag 242654/122088 13.25/11.97 c Got one! Elapsed wall clock time (in seconds):11.828 13.25/11.97 o -48 13.85/12.50 c cleaning 12028 clauses out of 24063 with flag 21595/135115 14.38/13.10 c cleaning 9012 clauses out of 18035 with flag 51661/141115 14.97/13.69 c cleaning 8007 clauses out of 16023 with flag 76616/148115 15.67/14.38 c cleaning 8000 clauses out of 16018 with flag 109957/156117 16.17/14.84 c Got one! Elapsed wall clock time (in seconds):14.697 16.17/14.84 o -49 16.67/15.38 c cleaning 9392 clauses out of 18792 with flag 28818/166891 17.26/15.91 c cleaning 7687 clauses out of 15398 with flag 55291/172889 17.76/16.46 c cleaning 7353 clauses out of 14711 with flag 78037/179889 18.47/17.11 c cleaning 7668 clauses out of 15359 with flag 103377/187890 19.06/17.78 c cleaning 8339 clauses out of 16690 with flag 129572/196889 19.96/18.61 c cleaning 9169 clauses out of 18351 with flag 161771/206889 20.06/18.70 c Got one! Elapsed wall clock time (in seconds):18.555 20.06/18.70 o -50 20.36/19.06 c cleaning 7095 clauses out of 14197 with flag 23896/211904 20.85/19.52 c cleaning 6551 clauses out of 13106 with flag 43588/217908 21.36/20.04 c cleaning 6764 clauses out of 13550 with flag 63879/224903 22.05/20.74 c cleaning 7380 clauses out of 14786 with flag 92855/232903 22.75/21.46 c cleaning 8198 clauses out of 16406 with flag 124171/241903 23.65/22.32 c cleaning 9099 clauses out of 18208 with flag 161865/251903 24.64/23.35 c cleaning 10047 clauses out of 20110 with flag 215815/262904 24.64/23.39 c Got one! Elapsed wall clock time (in seconds):23.248 24.64/23.39 o -51 25.15/23.86 c cleaning 7774 clauses out of 15584 with flag 29303/268425 25.75/24.42 c cleaning 6876 clauses out of 13806 with flag 64754/274421 26.35/25.04 c cleaning 6958 clauses out of 13933 with flag 104179/281424 27.04/25.78 c cleaning 7482 clauses out of 14972 with flag 148790/289421 27.95/26.60 c cleaning 8240 clauses out of 16490 with flag 197164/298421 28.64/27.37 c cleaning 9121 clauses out of 18250 with flag 231064/308421 29.45/28.13 c cleaning 10063 clauses out of 20132 with flag 258639/319424 30.35/29.03 c cleaning 11032 clauses out of 22068 with flag 290953/331423 31.35/30.03 c cleaning 12008 clauses out of 24034 with flag 325594/344421 32.55/31.24 c cleaning 12998 clauses out of 26029 with flag 369077/358424 33.84/32.51 c cleaning 14004 clauses out of 28030 with flag 416364/373423 35.34/34.09 c cleaning 14999 clauses out of 30024 with flag 486423/389421 36.94/35.64 c cleaning 15997 clauses out of 32026 with flag 549023/406422 38.63/37.36 c cleaning 17014 clauses out of 34028 with flag 610719/424421 40.23/38.97 c cleaning 17997 clauses out of 36014 with flag 667219/443421 42.53/41.22 c cleaning 18999 clauses out of 38018 with flag 758914/463422 44.53/43.24 c cleaning 19999 clauses out of 40023 with flag 829340/484426 46.82/45.54 c cleaning 21000 clauses out of 42022 with flag 916977/506424 49.22/47.95 c cleaning 22000 clauses out of 44020 with flag 998488/529422 51.91/50.64 c cleaning 23003 clauses out of 46021 with flag 1083036/553423 54.60/53.38 c cleaning 24002 clauses out of 48016 with flag 1181238/578421 57.40/56.15 c cleaning 24992 clauses out of 50014 with flag 1273713/604421 60.19/58.97 c cleaning 26008 clauses out of 52023 with flag 1373739/631422 63.49/62.25 c cleaning 26988 clauses out of 54014 with flag 1465666/659421 66.88/65.67 c cleaning 28007 clauses out of 56027 with flag 1576479/688422 70.38/69.12 c cleaning 29004 clauses out of 58020 with flag 1687583/718422 74.37/73.11 c cleaning 29995 clauses out of 60015 with flag 1802097/749421 78.55/77.39 c cleaning 30988 clauses out of 62022 with flag 1960669/781423 83.44/82.25 c cleaning 32001 clauses out of 64032 with flag 2139265/814421 87.97/86.73 c cleaning 33003 clauses out of 66032 with flag 2305340/848422 91.37/90.13 c Got one! Elapsed wall clock time (in seconds):89.984 91.37/90.13 o -52 92.17/90.92 c cleaning 31751 clauses out of 63528 with flag 26239/878921 92.87/91.65 c cleaning 18883 clauses out of 37778 with flag 61483/884922 93.47/92.20 c cleaning 12939 clauses out of 25895 with flag 82389/891922 94.17/92.92 c cleaning 10470 clauses out of 20955 with flag 111411/899921 94.87/93.69 c cleaning 9732 clauses out of 19486 with flag 142821/908922 95.67/94.44 c cleaning 9872 clauses out of 19753 with flag 172264/918921 96.57/95.30 c cleaning 10434 clauses out of 20882 with flag 205109/929922 97.37/96.17 c cleaning 11224 clauses out of 22449 with flag 237025/941923 98.46/97.22 c cleaning 12106 clauses out of 24223 with flag 273512/954921 99.56/98.32 c cleaning 13042 clauses out of 26117 with flag 313071/968921 100.86/99.66 c cleaning 14031 clauses out of 28075 with flag 355632/983921 102.56/101.38 c cleaning 15017 clauses out of 30046 with flag 418767/999923 104.66/103.42 c cleaning 16000 clauses out of 32027 with flag 519286/1016921 104.76/103.52 c Got one! Elapsed wall clock time (in seconds):103.378 104.76/103.52 o -53 105.16/103.95 c cleaning 10563 clauses out of 21153 with flag 23990/1022047 105.75/104.53 c cleaning 8277 clauses out of 16590 with flag 58396/1028047 106.45/105.21 c cleaning 7640 clauses out of 15312 with flag 99070/1035046 107.15/105.97 c cleaning 7818 clauses out of 15672 with flag 139672/1043046 108.05/106.83 c cleaning 8418 clauses out of 16855 with flag 184845/1052047 109.05/107.83 c cleaning 9210 clauses out of 18437 with flag 237775/1062047 110.25/109.02 c cleaning 10109 clauses out of 20227 with flag 305415/1073047 111.55/110.34 c cleaning 11054 clauses out of 22119 with flag 382457/1085048 111.75/110.56 c Got one! Elapsed wall clock time (in seconds):110.422 111.75/110.56 o -57 112.05/110.86 c cleaning 8218 clauses out of 16453 with flag 13142/1090436 112.45/111.27 c cleaning 7110 clauses out of 14235 with flag 31595/1096436 113.05/111.89 c cleaning 7057 clauses out of 14127 with flag 56673/1103438 113.75/112.59 c cleaning 7524 clauses out of 15068 with flag 84522/1111436 114.65/113.40 c cleaning 8265 clauses out of 16544 with flag 120378/1120436 115.45/114.29 c cleaning 9136 clauses out of 18282 with flag 161211/1130439 116.25/115.09 c cleaning 10063 clauses out of 20144 with flag 189623/1141437 117.25/116.03 c cleaning 11035 clauses out of 22082 with flag 223927/1153438 118.25/117.08 c cleaning 12016 clauses out of 24045 with flag 261712/1166436 119.34/118.19 c cleaning 13014 clauses out of 26030 with flag 299593/1180437 120.84/119.69 c cleaning 14001 clauses out of 28016 with flag 352397/1195437 122.55/121.36 c cleaning 15006 clauses out of 30014 with flag 422476/1211436 124.14/123.00 c cleaning 15996 clauses out of 32008 with flag 487119/1228436 126.24/125.04 c cleaning 16990 clauses out of 34012 with flag 587733/1246436 128.53/127.30 c cleaning 17995 clauses out of 36024 with flag 716367/1265438 130.73/129.58 c cleaning 19004 clauses out of 38029 with flag 836854/1285438 132.72/131.56 c cleaning 20008 clauses out of 40024 with flag 897278/1306437 135.01/133.83 c cleaning 20997 clauses out of 42015 with flag 975867/1328436 137.81/136.62 c cleaning 22003 clauses out of 44020 with flag 1080975/1351438 140.10/138.92 c cleaning 23003 clauses out of 46016 with flag 1152775/1375437 142.62/141.48 c cleaning 24001 clauses out of 48015 with flag 1230381/1400439 145.81/144.62 c cleaning 25000 clauses out of 50011 with flag 1345447/1426436 149.21/148.08 c cleaning 25994 clauses out of 52011 with flag 1478581/1453436 152.69/151.51 c cleaning 27003 clauses out of 54017 with flag 1636152/1481436 155.89/154.72 c cleaning 28006 clauses out of 56014 with flag 1747145/1510436 159.38/158.28 c cleaning 28998 clauses out of 58008 with flag 1852745/1540436 163.07/161.98 c cleaning 30000 clauses out of 60011 with flag 1952652/1571437 167.10/165.99 c cleaning 30991 clauses out of 62011 with flag 2071510/1603437 171.09/169.96 c cleaning 31998 clauses out of 64019 with flag 2197514/1636436 176.08/174.92 c cleaning 33000 clauses out of 66022 with flag 2375582/1670437 180.07/178.96 c cleaning 34012 clauses out of 68025 with flag 2493909/1705440 184.26/183.15 c cleaning 34999 clauses out of 70009 with flag 2596955/1741436 188.88/187.73 c cleaning 35999 clauses out of 72014 with flag 2717293/1778440 193.57/192.47 c cleaning 36998 clauses out of 74011 with flag 2851033/1816436 198.66/197.59 c cleaning 38000 clauses out of 76013 with flag 2985368/1855436 203.85/202.75 c cleaning 38996 clauses out of 78013 with flag 3110600/1895436 209.97/208.88 c cleaning 40003 clauses out of 80017 with flag 3282280/1936436 216.16/215.03 c cleaning 41000 clauses out of 82014 with flag 3494960/1978436 222.05/220.91 c cleaning 42005 clauses out of 84015 with flag 3654656/2021437 228.83/227.79 c cleaning 43003 clauses out of 86010 with flag 3857197/2065437 234.72/233.69 c cleaning 43997 clauses out of 88006 with flag 4002382/2110436 241.64/240.55 c cleaning 44999 clauses out of 90009 with flag 4187190/2156436 249.82/248.73 c cleaning 45995 clauses out of 92010 with flag 4448171/2203436 258.11/257.08 c cleaning 47003 clauses out of 94015 with flag 4713544/2251436 267.09/266.02 c cleaning 47999 clauses out of 96013 with flag 5014547/2300437 275.38/274.34 c cleaning 49004 clauses out of 98013 with flag 5283413/2350436 283.01/281.97 c cleaning 49995 clauses out of 100014 with flag 5468034/2401441 291.29/290.22 c cleaning 51002 clauses out of 102017 with flag 5683872/2453439 300.18/299.17 c cleaning 51996 clauses out of 104013 with flag 5894879/2506437 308.46/307.44 c cleaning 52999 clauses out of 106016 with flag 6116632/2560436 317.40/316.38 c cleaning 53997 clauses out of 108017 with flag 6358891/2615436 327.38/326.38 c cleaning 55006 clauses out of 110022 with flag 6652243/2671438 337.36/336.38 c cleaning 55991 clauses out of 112015 with flag 6934160/2728437 347.83/346.83 c cleaning 57005 clauses out of 114024 with flag 7238246/2786437 358.11/357.13 c cleaning 58004 clauses out of 116019 with flag 7468791/2845437 368.61/367.66 c cleaning 58995 clauses out of 118016 with flag 7704857/2905438 378.69/377.77 c cleaning 59998 clauses out of 120019 with flag 7914666/2966436 390.37/389.45 c cleaning 61007 clauses out of 122022 with flag 8154286/3028437 402.84/402.00 c cleaning 61995 clauses out of 124015 with flag 8433401/3091437 414.36/413.43 c cleaning 63002 clauses out of 126020 with flag 8652165/3155437 426.44/425.51 c cleaning 64000 clauses out of 128017 with flag 8924780/3220436 437.92/437.08 c cleaning 64997 clauses out of 130017 with flag 9201144/3286436 449.89/449.01 c cleaning 66005 clauses out of 132020 with flag 9429138/3353436 463.07/462.22 c cleaning 67004 clauses out of 134015 with flag 9700827/3421436 476.79/475.93 c cleaning 67986 clauses out of 136013 with flag 10042104/3490438 490.66/489.89 c cleaning 69004 clauses out of 138026 with flag 10307549/3560437 506.43/505.68 c cleaning 70009 clauses out of 140023 with flag 10666060/3631438 521.00/520.23 c cleaning 70997 clauses out of 142013 with flag 11021147/3703437 535.67/534.95 c cleaning 72005 clauses out of 144016 with flag 11345341/3776437 549.94/549.26 c cleaning 72996 clauses out of 146013 with flag 11623524/3850439 567.38/566.61 c cleaning 73992 clauses out of 148016 with flag 12018069/3925438 582.14/581.41 c cleaning 75003 clauses out of 150022 with flag 12280798/4001436 598.82/598.18 c cleaning 75995 clauses out of 152019 with flag 12679116/4078436 619.77/619.16 c cleaning 77006 clauses out of 154024 with flag 13251016/4156436 636.82/636.21 c cleaning 77999 clauses out of 156020 with flag 13606919/4235438 656.08/655.54 c cleaning 79004 clauses out of 158020 with flag 14029462/4315437 674.01/673.46 c cleaning 79992 clauses out of 160015 with flag 14373578/4396436 693.17/692.61 c cleaning 80995 clauses out of 162023 with flag 14799181/4478436 711.73/711.25 c cleaning 81997 clauses out of 164029 with flag 15167156/4561437 729.80/729.33 c cleaning 83009 clauses out of 166034 with flag 15530333/4645439 750.36/749.96 c cleaning 84001 clauses out of 168022 with flag 15973697/4730436 770.52/770.11 c cleaning 84996 clauses out of 170025 with flag 16380716/4816440 791.57/791.29 c cleaning 86008 clauses out of 172027 with flag 16842742/4903438 812.19/811.81 c cleaning 87000 clauses out of 174018 with flag 17266205/4991437 833.75/833.46 c cleaning 87988 clauses out of 176017 with flag 17641228/5080436 854.91/854.60 c cleaning 88999 clauses out of 178030 with flag 18007359/5170437 875.06/874.85 c cleaning 90006 clauses out of 180031 with flag 18340021/5261437 898.22/898.04 c cleaning 91000 clauses out of 182025 with flag 18803386/5353437 920.84/920.61 c cleaning 92005 clauses out of 184026 with flag 19158003/5446438 945.98/945.88 c cleaning 93004 clauses out of 186019 with flag 19665659/5540436 972.41/972.36 c cleaning 94004 clauses out of 188020 with flag 20221747/5635441 995.25/995.21 c cleaning 94995 clauses out of 190011 with flag 20589357/5731436 1020.68/1020.78 c cleaning 96004 clauses out of 192016 with flag 21080938/5828436 1047.31/1047.42 c cleaning 96999 clauses out of 194015 with flag 21600544/5926439 1074.23/1074.42 c cleaning 98001 clauses out of 196016 with flag 22127690/6025439 1099.85/1099.72 c cleaning 99002 clauses out of 198012 with flag 22537651/6125436 1127.47/1127.42 c cleaning 99985 clauses out of 200010 with flag 23066409/6226436 1154.50/1154.55 c cleaning 100998 clauses out of 202025 with flag 23528410/6328436 1181.82/1181.96 c cleaning 102010 clauses out of 204027 with flag 24022229/6431436 1209.55/1209.70 c cleaning 102998 clauses out of 206019 with flag 24517694/6535438 1239.47/1239.77 c cleaning 103998 clauses out of 208021 with flag 25124874/6640438 1267.89/1268.26 c cleaning 105002 clauses out of 210023 with flag 25592258/6746438 1302.79/1303.19 c cleaning 106000 clauses out of 212022 with flag 26222923/6853439 1335.21/1335.69 c cleaning 107002 clauses out of 214020 with flag 26831255/6961437 1365.92/1366.40 c cleaning 107994 clauses out of 216018 with flag 27306485/7070437 1398.84/1399.47 c cleaning 109004 clauses out of 218025 with flag 27817990/7180438 1429.07/1429.76 c cleaning 110001 clauses out of 220021 with flag 28323550/7291438 1460.70/1461.47 c cleaning 111004 clauses out of 222018 with flag 28862376/7403436 1496.03/1496.82 c cleaning 111995 clauses out of 224015 with flag 29500630/7516437 1528.61/1529.44 c cleaning 112999 clauses out of 226020 with flag 30008460/7630437 1562.93/1563.80 c cleaning 114006 clauses out of 228020 with flag 30590849/7745436 1595.35/1596.33 c cleaning 114991 clauses out of 230014 with flag 31145386/7861436 1632.67/1633.76 c cleaning 115998 clauses out of 232023 with flag 31765544/7978436 1669.69/1670.81 c cleaning 117006 clauses out of 234025 with flag 32325058/8096436 1705.51/1706.79 c cleaning 118002 clauses out of 236019 with flag 32963987/8215436 1742.00/1743.24 c cleaning 119002 clauses out of 238019 with flag 33528898/8335438 1783.71/1785.03 c cleaning 119999 clauses out of 240015 with flag 34219673/8456436 1820.82/1822.22 c cleaning 120993 clauses out of 242018 with flag 34846594/8578438 1863.41/1864.97 c cleaning 121999 clauses out of 244025 with flag 35504156/8701438 1906.19/1907.85 c cleaning 123004 clauses out of 246024 with flag 36186507/8825436 1944.59/1946.37 c cleaning 124000 clauses out of 248021 with flag 36816481/8950437 1987.08/1988.97 c cleaning 124999 clauses out of 250022 with flag 37452259/9076438 2028.47/2030.38 c cleaning 125990 clauses out of 252023 with flag 38149379/9203438 2070.28/2072.20 c cleaning 127009 clauses out of 254034 with flag 38736604/9331439 2114.68/2116.70 c cleaning 128007 clauses out of 256023 with flag 39457035/9460437 2157.79/2160.00 c cleaning 129005 clauses out of 258017 with flag 40103603/9590438 2202.79/2205.02 c cleaning 129988 clauses out of 260010 with flag 40839286/9721436 2253.65/2256.01 c cleaning 131001 clauses out of 262023 with flag 41734089/9853437 2301.53/2303.97 c cleaning 132004 clauses out of 264021 with flag 42427002/9986436 2330.88/2333.35 c Got one! Elapsed wall clock time (in seconds):2333.206 2330.88/2333.35 o -58 2333.71/2336.15 c cleaning 116771 clauses out of 233550 with flag 26934/10087969 2335.40/2337.84 c cleaning 61375 clauses out of 122780 with flag 62971/10093970 2336.30/2338.71 c cleaning 34200 clauses out of 68406 with flag 86594/10100971 2337.10/2339.59 c cleaning 13903 clauses out of 42205 with flag 111057/10108970 2338.20/2340.67 c cleaning 8991 clauses out of 37301 with flag 141514/10117969 2339.20/2341.61 c cleaning 10007 clauses out of 38312 with flag 169076/10127971 2340.32/2342.79 c cleaning 10989 clauses out of 39304 with flag 201603/10138970 2341.75/2344.14 c cleaning 12008 clauses out of 40315 with flag 237942/10150970 2343.04/2345.48 c cleaning 12995 clauses out of 41307 with flag 271301/10163970 2344.64/2347.02 c cleaning 14004 clauses out of 42316 with flag 312472/10177974 2346.13/2348.59 c cleaning 14987 clauses out of 43309 with flag 351799/10192971 2347.83/2350.28 c cleaning 15994 clauses out of 44321 with flag 395413/10208970 2349.53/2351.96 c cleaning 17010 clauses out of 45326 with flag 437804/10225969 2351.73/2354.18 c cleaning 17986 clauses out of 46318 with flag 496091/10243971 2354.21/2356.63 c cleaning 18997 clauses out of 47331 with flag 563684/10262970 2356.41/2358.87 c cleaning 19998 clauses out of 48334 with flag 621530/10282970 2359.00/2361.47 c cleaning 20986 clauses out of 49338 with flag 686143/10303972 2361.40/2363.86 c cleaning 22018 clauses out of 50350 with flag 748199/10325970 2364.40/2366.87 c cleaning 22991 clauses out of 51331 with flag 823679/10348969 2367.29/2369.75 c cleaning 24000 clauses out of 52341 with flag 888893/10372970 2370.19/2372.60 c cleaning 24997 clauses out of 53344 with flag 960334/10397973 2373.68/2376.16 c cleaning 26001 clauses out of 54344 with flag 1045232/10423970 2377.37/2379.87 c cleaning 26992 clauses out of 55343 with flag 1139339/10450970 2381.46/2383.91 c cleaning 27993 clauses out of 56353 with flag 1258077/10478972 2385.95/2388.40 c cleaning 28668 clauses out of 57358 with flag 1384826/10507970 2390.14/2392.64 c cleaning 29335 clauses out of 58691 with flag 1509936/10537971 2393.93/2396.40 c cleaning 30169 clauses out of 60357 with flag 1606555/10568972 2398.53/2401.04 c cleaning 31089 clauses out of 62185 with flag 1704173/10600969 2403.11/2405.62 c cleaning 32028 clauses out of 64099 with flag 1819070/10633972 2407.40/2409.90 c cleaning 33024 clauses out of 66069 with flag 1911029/10667970 2411.99/2414.56 c cleaning 34013 clauses out of 68046 with flag 2015920/10702971 2417.49/2420.08 c cleaning 35002 clauses out of 70033 with flag 2160775/10738971 2422.97/2425.55 c cleaning 35998 clauses out of 72029 with flag 2296484/10775969 2428.31/2430.81 c cleaning 37011 clauses out of 74034 with flag 2413410/10813972 2433.50/2436.01 c cleaning 37999 clauses out of 76020 with flag 2542235/10852969 2438.88/2441.43 c cleaning 39000 clauses out of 78022 with flag 2661463/10892970 2444.37/2446.93 c cleaning 39999 clauses out of 80021 with flag 2791278/10933969 2450.46/2453.07 c cleaning 41001 clauses out of 82022 with flag 2937448/10975969 2457.34/2459.95 c cleaning 41993 clauses out of 84021 with flag 3084992/11018969 2464.43/2467.04 c cleaning 42996 clauses out of 86030 with flag 3273751/11062971 2471.11/2473.74 c cleaning 43999 clauses out of 88035 with flag 3441842/11107972 2478.19/2480.84 c cleaning 45010 clauses out of 90034 with flag 3595316/11153970 2485.08/2487.78 c cleaning 46009 clauses out of 92024 with flag 3747220/11200970 2492.87/2495.51 c cleaning 46996 clauses out of 94014 with flag 3906603/11248969 2500.55/2503.29 c cleaning 48000 clauses out of 96018 with flag 4054697/11297969 2508.73/2511.48 c cleaning 48989 clauses out of 98018 with flag 4245000/11347969 2516.81/2519.57 c cleaning 50003 clauses out of 100029 with flag 4437408/11398969 2525.70/2528.42 c cleaning 51004 clauses out of 102026 with flag 4653211/11450969 2534.38/2537.14 c cleaning 52000 clauses out of 104023 with flag 4851332/11503970 2543.26/2546.05 c cleaning 53002 clauses out of 106022 with flag 5064535/11557969 2553.34/2556.11 c cleaning 54003 clauses out of 108023 with flag 5273373/11612972 2562.82/2565.63 c cleaning 55007 clauses out of 110020 with flag 5463317/11668972 2573.09/2575.99 c cleaning 56000 clauses out of 112010 with flag 5673109/11725969 2583.87/2586.71 c cleaning 56989 clauses out of 114010 with flag 5888049/11783969 2594.26/2597.15 c cleaning 58002 clauses out of 116021 with flag 6080283/11842969 2604.83/2607.76 c cleaning 59005 clauses out of 118019 with flag 6297575/11902969 2616.90/2619.85 c cleaning 60002 clauses out of 120018 with flag 6529836/11963973 2629.58/2632.52 c cleaning 61000 clauses out of 122015 with flag 6797151/12025972 2640.76/2643.78 c cleaning 62001 clauses out of 124012 with flag 7007199/12088969 2653.03/2656.07 c cleaning 62997 clauses out of 126011 with flag 7225191/12152969 2665.90/2668.98 c cleaning 64000 clauses out of 128015 with flag 7495339/12217970 2678.87/2681.93 c cleaning 65002 clauses out of 130014 with flag 7746483/12283969 2691.64/2694.77 c cleaning 65990 clauses out of 132012 with flag 8008528/12350969 2706.02/2709.18 c cleaning 66999 clauses out of 134022 with flag 8269439/12418969 2721.98/2725.17 c cleaning 68002 clauses out of 136024 with flag 8613982/12487970 2736.15/2739.34 c cleaning 69000 clauses out of 138022 with flag 8938179/12557970 2751.24/2754.17 c cleaning 70002 clauses out of 140021 with flag 9179414/12628969 2766.95/2769.76 c cleaning 71001 clauses out of 142020 with flag 9450082/12700970 2781.41/2784.28 c cleaning 71998 clauses out of 144022 with flag 9716240/12773973 2795.68/2798.53 c cleaning 73006 clauses out of 146023 with flag 9951329/12847972 2812.54/2815.48 c cleaning 73999 clauses out of 148016 with flag 10249826/12922971 2828.97/2831.86 c cleaning 75003 clauses out of 150015 with flag 10544564/12998969 2847.03/2849.95 c cleaning 76005 clauses out of 152015 with flag 10936544/13075972 2863.20/2866.16 c cleaning 76997 clauses out of 154007 with flag 11202952/13153969 2880.17/2883.16 c cleaning 77997 clauses out of 156011 with flag 11497629/13232970 2898.21/2901.24 c cleaning 78999 clauses out of 158013 with flag 11786189/13312969 2917.76/2920.88 c cleaning 80001 clauses out of 160018 with flag 12121105/13393973 2936.02/2939.16 c cleaning 80999 clauses out of 162013 with flag 12422949/13475969 2954.46/2957.61 c cleaning 81993 clauses out of 164014 with flag 12718385/13558969 2974.70/2977.94 c cleaning 83002 clauses out of 166021 with flag 13062283/13642969 2994.95/2998.25 c cleaning 84006 clauses out of 168021 with flag 13443410/13727971 3014.90/3018.25 c cleaning 84994 clauses out of 170013 with flag 13818120/13813969 3035.83/3039.20 c cleaning 86001 clauses out of 172019 with flag 14149020/13900969 3057.18/3060.63 c cleaning 87007 clauses out of 174021 with flag 14490601/13988972 3081.11/3084.64 c cleaning 87998 clauses out of 176011 with flag 14957536/14077969 3101.66/3105.27 c cleaning 88986 clauses out of 178013 with flag 15379419/14167969 3123.19/3126.80 c cleaning 90001 clauses out of 180027 with flag 15731977/14258969 3146.04/3149.75 c cleaning 91003 clauses out of 182030 with flag 16123946/14350973 3169.47/3173.21 c cleaning 91997 clauses out of 184024 with flag 16504467/14443970 3193.41/3197.28 c cleaning 93011 clauses out of 186027 with flag 16865625/14537970 3217.15/3221.10 c cleaning 94003 clauses out of 188015 with flag 17263029/14632969 3242.77/3246.76 c cleaning 95004 clauses out of 190013 with flag 17664783/14728970 3269.89/3273.94 c cleaning 95996 clauses out of 192009 with flag 18106737/14825970 3297.22/3301.30 c cleaning 96995 clauses out of 194012 with flag 18578091/14923969 3324.04/3328.27 c cleaning 97998 clauses out of 196017 with flag 19028838/15022969 3350.98/3355.20 c cleaning 99001 clauses out of 198019 with flag 19427963/15122969 3377.83/3382.02 c cleaning 99996 clauses out of 200019 with flag 19826782/15223970 3405.66/3409.95 c cleaning 101004 clauses out of 202022 with flag 20249114/15325969 3434.29/3438.62 c cleaning 102001 clauses out of 204018 with flag 20721909/15428969 3462.52/3467.00 c cleaning 102996 clauses out of 206017 with flag 21151591/15532969 3493.76/3498.22 c cleaning 103997 clauses out of 208021 with flag 21630150/15637969 3523.50/3528.10 c cleaning 105002 clauses out of 210025 with flag 22102265/15743970 3553.62/3558.28 c cleaning 106002 clauses out of 212022 with flag 22590455/15850969 3582.65/3587.36 c cleaning 107004 clauses out of 214021 with flag 23032079/15958970 3600.02/3604.71 c starts : 27142 3600.02/3604.73 c conflicts : 16028343 3600.02/3604.73 c decisions : 19224406 3600.02/3604.73 c propagations : 460722397 3600.02/3604.73 c inspects : 52766889906 3600.02/3604.73 c shortcuts : 0 3600.02/3604.73 c learnt literals : 0 3600.02/3604.73 c learnt binary clauses : 1 3600.02/3604.73 c learnt ternary clauses : 98 3600.02/3604.73 c learnt constraints : 16028343 3600.02/3604.73 c ignored constraints : 0 3600.02/3604.73 c root simplifications : 0 3600.02/3604.73 c removed literals (reason simplification) : 719663325 3600.02/3604.74 c reason swapping (by a shorter reason) : 0 3600.02/3604.74 c Calls to reduceDB : 316 3600.02/3604.74 c Number of update (reduction) of LBD : 3213149 3600.02/3604.74 c Imported unit clauses : 0 3600.02/3604.74 c No decision after first conflict : false 3600.02/3604.74 c number of reductions to clauses (during analyze) : 0 3600.02/3604.74 c number of learned constraints concerned by reduction : 0 3600.02/3604.74 c number of learning phase by resolution : 0 3600.02/3604.74 c number of learning phase by cutting planes : 0 3600.02/3604.74 c number of rounding to 1 operations : 0 3600.02/3604.74 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3604.74 c number of reductions of the coefficients by power 2 : 0 3600.02/3604.74 c number of right shift for reduction by power 2 : 0 3600.02/3604.74 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3604.74 c number of ending skipping : 0 3600.02/3604.74 c number of internal skipping : 0 3600.02/3604.74 c number of derivation steps : 0 3600.02/3604.74 c number of skipped derivation steps : 0 3600.02/3604.74 c number of remaining unassigned : 0 3600.02/3604.74 c number of remaining assigned : 0 3600.02/3604.74 c number of falsified literals weakened from reason : 0 3600.02/3604.74 c number of falsified literals weakened from conflict : 0 3600.02/3604.74 c time for arithmetic operations : 0 3600.02/3604.75 c minimum degree of deleted constraints : null 3600.02/3604.75 c maximum degree of deleted constraints : null 3600.02/3604.75 c number of deleted constraints : 0 3600.02/3604.75 c speed (assignments/second) : 127823.35127822687 3600.02/3604.75 c non guided choices : 0 3600.22/3604.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 176389 3600.22/3604.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 1 3600.22/3604.81 s SATISFIABLE 3600.22/3604.81 c Found 14 solution(s) 3600.22/3604.81 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 3600.22/3604.81 c objective function=-58 3600.22/3604.81 c Total wall clock time (in seconds): 3604.671
OK -58
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: 63665 MiB (62600 MiB free) memory of node 1: 64507 MiB (63805 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522190-1751598323/watcher-4522190-1751598323 -o /tmp/evaluation-result-4522190-1751598323/solver-4522190-1751598323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522190-1751598323.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 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=85799, runsolver pid=85794 [startup+0.100058 s]* /proc/loadavg: 0.72 1.08 1.62 8/313 85859 /proc/meminfo: memFree=129317696/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18930384 memory=53164 CPUtime=0.1 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 6460 0 8 0 8 2 0 0 20 0 18 0 75512219 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4732596 13291 5327 1 0 547551 0 [pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 4992 0 8 0 5 1 0 0 20 0 18 0 75512222 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=18954 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 53164 KiB [startup+0.205884 s]* /proc/loadavg: 0.72 1.08 1.62 10/313 85859 /proc/meminfo: memFree=129271600/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18930384 memory=65980 CPUtime=0.3 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 7013 0 8 0 27 3 0 0 20 0 18 0 75512219 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4732596 16495 5423 1 0 547906 0 [pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5270 0 8 0 14 2 0 0 20 0 18 0 75512222 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=18954 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 65980 KiB [startup+0.305702 s]* /proc/loadavg: 0.72 1.08 1.62 8/313 85859 /proc/meminfo: memFree=129162524/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18930384 memory=105088 CPUtime=0.49 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 8550 0 8 0 45 4 0 0 20 0 18 0 75512219 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4732596 26272 5423 1 0 548937 0 [pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=-6000919481229207399 CPUtime=0.24 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5287 0 8 0 22 2 0 0 20 0 18 0 75512222 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=0 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=0 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 105088 KiB [startup+0.700225 s] /proc/loadavg: 0.72 1.08 1.62 9/317 85863 /proc/meminfo: memFree=129027864/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18996948 memory=135680 CPUtime=1.25 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 9796 0 8 0 120 5 0 0 20 0 19 0 75512219 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4749237 33920 5487 1 0 549939 0 [pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=18816 CPUtime=0.58 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5417 0 8 0 55 3 0 0 20 0 19 0 75512222 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=4760 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 1.25 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 135680 KiB [startup+1.50022 s] /proc/loadavg: 0.72 1.08 1.62 8/317 85863 /proc/meminfo: memFree=128950956/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18996948 memory=145132 CPUtime=2.43 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 13124 0 8 0 237 6 0 0 20 0 19 0 75512219 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4749237 36283 5487 1 0 551177 0 [pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=0 CPUtime=1.36 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5581 0 8 0 133 3 0 0 20 0 19 0 75512222 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=4760 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 2.43 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 145132 KiB [startup+3.10593 s] /proc/loadavg: 0.72 1.08 1.62 6/339 85893 /proc/meminfo: memFree=128368352/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18996948 memory=148056 CPUtime=4.2 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 16166 0 8 0 414 6 0 0 20 0 19 0 75512219 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4749237 37014 5487 1 0 551354 0 [pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=10880 CPUtime=2.94 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 6114 0 8 0 291 3 0 0 20 0 19 0 75512222 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=-6000919489819141991 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=0 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 4.2 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 148056 KiB [startup+6.30021 s] /proc/loadavg: 0.98 1.13 1.63 5/340 85894 /proc/meminfo: memFree=126984120/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=18996948 memory=165152 CPUtime=7.62 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 22962 0 8 0 755 7 0 0 20 0 19 0 75512219 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4749237 41288 5487 1 0 552516 0 [pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=0 CPUtime=6.13 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 7209 0 8 0 610 3 0 0 20 0 19 0 75512222 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=145132 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 7.62 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 165152 KiB [startup+12.7002 s] /proc/loadavg: 1.22 1.18 1.65 5/341 85895 /proc/meminfo: memFree=126126504/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=172600 CPUtime=14.07 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 27366 0 8 0 1400 7 0 0 20 0 20 0 75512219 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 43150 5519 1 0 552805 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=145132 CPUtime=12.5 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 8104 0 8 0 1247 3 0 0 20 0 20 0 75512222 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=0 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=10880 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=-6000919489819141991 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 14.07 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 172600 KiB [startup+25.5002 s] /proc/loadavg: 1.92 1.33 1.69 5/340 85961 /proc/meminfo: memFree=125583532/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=172600 CPUtime=26.84 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 28543 0 8 0 2677 7 0 0 20 0 20 0 75512219 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 43150 5519 1 0 552805 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=0 CPUtime=25.28 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 9059 0 8 0 2524 4 0 0 20 0 20 0 75512222 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=-6000919489819141991 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=172600 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=145132 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 26.84 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 172600 KiB [startup+51.1056 s] /proc/loadavg: 2.69 1.56 1.76 5/340 85961 /proc/meminfo: memFree=124373740/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=182936 CPUtime=52.42 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 29983 0 8 0 5234 8 0 0 20 0 20 0 75512219 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 45734 5519 1 0 552805 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=145132 CPUtime=50.8 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 9513 0 8 0 5076 4 0 0 20 0 20 0 75512222 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=182936 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=3328 CPUtime=0 cores=4,6 ################ # More data... # ################ [startup+3282.3 s] /proc/loadavg: 4.11 4.19 4.12 5/338 86110 /proc/meminfo: memFree=101789084/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3278.28 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 77694 0 8 0 327708 120 0 0 20 0 20 0 75512219 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 535671 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3271.97 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 29965 0 8 0 327170 27 0 0 20 0 20 0 75512222 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1107 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3278.28 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2142684 KiB [startup+3342.3 s] /proc/loadavg: 4.41 4.26 4.15 5/339 86124 /proc/meminfo: memFree=101793580/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3338.11 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 78641 0 8 0 333690 121 0 0 20 0 20 0 75512219 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 535671 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=168638243 CPUtime=3331.79 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 30862 0 8 0 333152 27 0 0 20 0 20 0 75512222 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1107 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3338.11 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2142684 KiB [startup+3402.3 s] /proc/loadavg: 4.21 4.23 4.14 5/339 86126 /proc/meminfo: memFree=101781416/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3398.08 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80077 0 8 0 339685 123 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 538744 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3391.53 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 31563 0 8 0 339125 28 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3398.08 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2154976 KiB [startup+3462.3 s] /proc/loadavg: 4.19 4.21 4.14 6/339 86194 /proc/meminfo: memFree=115455156/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3457.94 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80270 0 8 0 345669 125 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 538744 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3451.37 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 31648 0 8 0 345107 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1267 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3457.94 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2154976 KiB [startup+3522.3 s] /proc/loadavg: 4.17 4.20 4.14 5/340 86197 /proc/meminfo: memFree=113680336/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3517.81 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80917 0 8 0 351654 127 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 538744 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3511.22 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 32248 0 8 0 351092 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1267 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=1920 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3517.81 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2154976 KiB [startup+3582.3 s] /proc/loadavg: 4.17 4.20 4.14 4/335 86204 /proc/meminfo: memFree=113299256/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3577.67 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 81841 0 8 0 357639 128 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 538744 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=18816 CPUtime=3571.07 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33044 0 8 0 357077 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3577.67 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2154976 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3604.7 s] /proc/loadavg: 4.27 4.22 4.15 5/339 86268 /proc/meminfo: memFree=119144824/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3600.02 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 82033 0 8 0 359873 129 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4765878 538744 5551 1 0 557271 0 [pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3593.41 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33230 0 8 0 359310 31 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=10868 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6 /proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3600.02 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2154976 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3604.83 s] # the end of solver process 85799 was just reported to runsolver # Child status: 143 # cumulated CPU time of all completed processes: user=3598.96 s, system=1.30663 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3604.8 s] /proc/loadavg: 4.27 4.22 4.15 5/339 86268 /proc/meminfo: memFree=119144824/131250000 swapFree=33010416/33010684 [pid=85799] ppid=85794 vsize=19263204 memory=2155872 CPUtime=3600.22 cores=4,6 /proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 84194 0 8 0 359893 129 0 0 20 0 21 0 75512219 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 /proc/85799/statm: 4815801 538968 5551 1 0 558206 0 [pid=85799/tid=85810] ppid=85794 vsize=19263204 memory=12672 CPUtime=3593.52 cores=4,6 /proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33324 0 8 0 359321 31 0 0 20 0 21 0 75512222 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85836] ppid=85794 vsize=19263204 memory=-6000919485608388199 CPUtime=0 cores=4,6 /proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75512224 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 [pid=85799/tid=85856] ppid=85794 vsize=19263204 memory=4916 CPUtime=0 cores=4,6 /proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 21 0 75512224 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0 Current children cumulated CPU time: 3600.22 s Current children cumulated vsize: 19263204 KiB Current children cumulated memory: 2155872 KiB Child status: 143 Real time (s): 3604.83 CPU time (s): 3600.27 CPU user time (s): 3598.96 CPU system time (s): 1.30663 CPU usage (%): 99.8735 Max. virtual memory (cumulated for all children) (KiB): 19263204 Max. memory (cumulated for all children) (KiB): 2155872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3598.96 system time used= 1.30663 maximum resident set size= 2156128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84504 page faults= 8 swaps= 0 block input operations= 0 block output operations= 14624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 104283 involuntary context switches= 4714 # summary of solver processes directly reported to runsolver: # pid: 85799 # total CPU time (s): 3600.27 # total CPU user time (s): 3598.96 # total CPU system time (s): 1.30663 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.1331 second user time and 16.9231 second system time The end
Begin job on nodeC027 at 2025-07-04 05:05:23 IDJOB=4522190 IDBENCH=178624 IDSOLVER=3363 FILE ID=nodeC027/4522190-1751598323 RUNJOBID= nodeC027-1751598323-85760 SLURM_JOB_ID= 9598871 Free space on /tmp= 431184 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522190-1751598323/watcher-4522190-1751598323 -o /tmp/evaluation-result-4522190-1751598323/solver-4522190-1751598323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522190-1751598323.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011 RANDOM SEED=1607990071 nodeC027 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 : 3600.001 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.29 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.665 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.29 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 : 3599.913 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.29 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 : 3599.638 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.29 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 : 3599.638 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.29 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 : 3600.444 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.29 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 : 3600.426 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.704 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129454080 kB MemAvailable: 129765020 kB Buffers: 2488 kB Cached: 1109428 kB SwapCached: 12 kB Active: 621192 kB Inactive: 568908 kB Active(anon): 93448 kB Inactive(anon): 2792 kB Active(file): 527744 kB Inactive(file): 566116 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5832 kB Writeback: 0 kB AnonPages: 81856 kB Mapped: 103456 kB Shmem: 18056 kB KReclaimable: 112240 kB Slab: 201928 kB SReclaimable: 112240 kB SUnreclaim: 89688 kB KernelStack: 4040 kB PageTables: 2372 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 346900 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431180 MiB End job on nodeC027 at 2025-07-04 06:05:28