Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 2651 | 3600.27 | 3457.17 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | 9e8345160c873e2ecbeb2fceb1264fd1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.045582 |
| 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 | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.09/0.10 c java.runtime.name OpenJDK Runtime Environment 0.09/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.10 c java.vm.version 22.0.1+8-16 0.09/0.10 c java.vm.vendor Oracle Corporation 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 22.0.1 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.09/0.10 c os.arch amd64 0.09/0.11 c Free memory 2104792832 0.09/0.11 c Max memory 16282288128 0.09/0.11 c Total memory 2113929216 0.09/0.11 c Number of processors 2 0.09/0.15 c Pseudo Boolean Optimization by upper bound 0.09/0.15 c --- Begin Solver configuration --- 0.09/0.15 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.09/0.15 c Learn all clauses as in MiniSAT 0.09/0.15 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.15 c Expensive reason simplification 0.09/0.15 c Glucose 2.1 dynamic restart strategy 0.09/0.15 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.09/0.15 c timeout=2147483s 0.09/0.15 c DB Simplification allowed=false 0.09/0.15 c Listener: none 0.09/0.15 c --- End Solver configuration --- 0.09/0.15 c solving HOME/instance-4484133-1751291994.opb 0.09/0.15 c reading problem ... 0.09/0.16 c using VERIPB proof format 0.09/0.16 c objective function found 0.27/0.23 c ... done. Wall clock time 0.077s. 0.27/0.23 c declared #vars 907 0.27/0.23 c #constraints 664 0.27/0.23 c constraints type 0.27/0.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 126 0.27/0.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 275 0.27/0.23 c org.sat4j.specs.Constr$1 => 1 0.27/0.23 c org.sat4j.pb.constraints.pb.UnitClausesPB => 1 0.27/0.23 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.27/0.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 260 0.27/0.23 c 664 constraints processed. 0.27/0.24 c objective function length is 748 literals 0.27/0.26 c SATISFIABLE 0.27/0.26 c OPTIMIZING... 0.27/0.26 c Got one! Elapsed wall clock time (in seconds):0.108 0.27/0.26 o 2653 3.40/1.83 c cleaning 2500 clauses out of 5000 with flag 10000/5000 5.76/3.13 c cleaning 4245 clauses out of 8501 with flag 22013/11001 7.18/4.42 c cleaning 5627 clauses out of 11256 with flag 36013/18001 8.75/5.94 c cleaning 6814 clauses out of 13629 with flag 52013/26001 10.63/7.71 c cleaning 7907 clauses out of 15815 with flag 70013/35001 12.59/9.60 c cleaning 8953 clauses out of 17908 with flag 90013/45001 14.69/11.87 c cleaning 9977 clauses out of 19955 with flag 112013/56001 17.31/14.12 c cleaning 10988 clauses out of 21978 with flag 136013/68001 19.68/16.49 c cleaning 11993 clauses out of 23990 with flag 162018/81001 22.37/19.10 c cleaning 12992 clauses out of 25997 with flag 190024/95001 25.14/21.79 c cleaning 14003 clauses out of 28005 with flag 220024/110001 28.12/24.69 c cleaning 14999 clauses out of 30002 with flag 252024/126001 31.26/27.75 c cleaning 16001 clauses out of 32003 with flag 286024/143001 34.63/31.08 c cleaning 17000 clauses out of 34002 with flag 322024/161001 38.31/34.66 c cleaning 17998 clauses out of 36002 with flag 360024/180001 42.04/38.29 c cleaning 18994 clauses out of 38004 with flag 400024/200001 45.95/42.06 c cleaning 19997 clauses out of 40010 with flag 442024/221001 50.05/46.06 c cleaning 21005 clauses out of 42013 with flag 486024/243001 54.34/50.25 c cleaning 21998 clauses out of 44008 with flag 532024/266001 58.86/54.51 c cleaning 22995 clauses out of 46010 with flag 580037/290001 63.40/58.94 c cleaning 24002 clauses out of 48014 with flag 630035/315000 68.48/63.83 c cleaning 25001 clauses out of 50013 with flag 682037/341001 73.46/68.68 c cleaning 26003 clauses out of 52011 with flag 736035/368000 79.18/74.09 c cleaning 27003 clauses out of 54009 with flag 792037/396001 84.80/79.60 c cleaning 27995 clauses out of 56006 with flag 850037/425001 90.41/85.05 c cleaning 28997 clauses out of 58011 with flag 910037/455001 96.32/90.80 c cleaning 30000 clauses out of 60014 with flag 972037/486001 101.96/96.48 c cleaning 30995 clauses out of 62013 with flag 1036035/518000 107.99/102.44 c cleaning 32000 clauses out of 64018 with flag 1102035/551000 114.25/108.61 c cleaning 33002 clauses out of 66018 with flag 1170035/585000 121.14/115.29 c cleaning 33998 clauses out of 68016 with flag 1240035/620000 122.65/116.75 c Got one! Elapsed wall clock time (in seconds):116.591 122.65/116.75 o 2652 123.67/117.73 c cleaning 23931 clauses out of 47872 with flag 10015/633854 124.76/118.81 c cleaning 14962 clauses out of 29940 with flag 22013/639853 126.23/120.12 c cleaning 10980 clauses out of 21978 with flag 36013/646853 127.59/121.41 c cleaning 9495 clauses out of 18998 with flag 52015/654853 129.06/122.86 c cleaning 9245 clauses out of 18503 with flag 70022/663853 130.75/124.58 c cleaning 9621 clauses out of 19258 with flag 90023/673853 132.70/126.40 c cleaning 10314 clauses out of 20637 with flag 112025/684853 134.61/128.35 c cleaning 11156 clauses out of 22324 with flag 136027/696854 136.87/130.55 c cleaning 12078 clauses out of 24168 with flag 162032/709854 139.17/132.81 c cleaning 13032 clauses out of 26090 with flag 190032/723854 141.85/135.41 c cleaning 14022 clauses out of 28058 with flag 220033/738854 144.44/138.06 c cleaning 15014 clauses out of 30036 with flag 252034/754854 147.42/140.96 c cleaning 15999 clauses out of 32021 with flag 286032/771853 150.42/143.99 c cleaning 17004 clauses out of 34023 with flag 322034/789854 154.10/147.44 c cleaning 18001 clauses out of 36018 with flag 360032/808853 157.84/151.06 c cleaning 19000 clauses out of 38017 with flag 400032/828853 161.52/154.71 c cleaning 20004 clauses out of 40017 with flag 442032/849853 165.54/158.67 c cleaning 20996 clauses out of 42014 with flag 486034/871854 169.82/162.86 c cleaning 22002 clauses out of 44018 with flag 532034/894854 174.22/167.19 c cleaning 23003 clauses out of 46016 with flag 580034/918854 178.61/171.52 c cleaning 24001 clauses out of 48013 with flag 630034/943854 183.17/176.03 c cleaning 24999 clauses out of 50012 with flag 682034/969854 188.30/181.13 c cleaning 26000 clauses out of 52012 with flag 736032/996853 193.55/186.35 c cleaning 27002 clauses out of 54013 with flag 792034/1024854 199.08/191.71 c cleaning 28001 clauses out of 56010 with flag 850032/1053853 204.73/197.28 c cleaning 29000 clauses out of 58009 with flag 910032/1083853 210.40/202.85 c cleaning 29997 clauses out of 60010 with flag 972034/1114854 216.78/209.01 c cleaning 30997 clauses out of 62013 with flag 1036034/1146854 223.12/215.26 c cleaning 32004 clauses out of 64016 with flag 1102034/1179854 229.46/221.43 c cleaning 32997 clauses out of 66012 with flag 1170034/1213854 236.46/227.93 c cleaning 34001 clauses out of 68015 with flag 1240034/1248854 243.27/234.63 c cleaning 35001 clauses out of 70014 with flag 1312034/1284854 250.81/241.94 c cleaning 35997 clauses out of 72012 with flag 1386032/1321853 258.33/249.23 c cleaning 36999 clauses out of 74016 with flag 1462034/1359854 265.80/256.64 c cleaning 38002 clauses out of 76016 with flag 1540032/1398853 273.95/264.62 c cleaning 38997 clauses out of 78015 with flag 1620034/1438854 282.60/273.11 c cleaning 40006 clauses out of 80017 with flag 1702032/1479853 290.97/281.29 c cleaning 40999 clauses out of 82011 with flag 1786032/1521853 299.96/290.04 c cleaning 42002 clauses out of 84013 with flag 1872034/1564854 308.67/298.59 c cleaning 42997 clauses out of 86011 with flag 1960034/1608854 317.65/307.27 c cleaning 43999 clauses out of 88014 with flag 2050034/1653854 326.42/315.87 c cleaning 44997 clauses out of 90014 with flag 2142032/1699853 335.44/324.73 c cleaning 46003 clauses out of 92018 with flag 2236051/1746854 344.77/333.96 c cleaning 46998 clauses out of 94015 with flag 2332051/1794854 354.46/343.33 c cleaning 48002 clauses out of 96017 with flag 2430051/1843854 364.14/353.00 c cleaning 49001 clauses out of 98015 with flag 2530051/1893854 374.64/363.26 c cleaning 49995 clauses out of 100014 with flag 2632051/1944854 386.71/374.53 c cleaning 51004 clauses out of 102019 with flag 2736051/1996854 397.71/385.21 c cleaning 51998 clauses out of 104015 with flag 2842051/2049854 408.21/395.53 c cleaning 53000 clauses out of 106017 with flag 2950051/2103854 418.76/405.94 c cleaning 54001 clauses out of 108017 with flag 3060051/2158854 428.96/416.06 c cleaning 54996 clauses out of 110016 with flag 3172051/2214854 440.22/427.08 c cleaning 55999 clauses out of 112020 with flag 3286051/2271854 451.74/438.41 c cleaning 56999 clauses out of 114020 with flag 3402049/2329853 463.64/450.20 c cleaning 57998 clauses out of 116021 with flag 3520049/2388853 485.77/476.92 c cleaning 59006 clauses out of 118023 with flag 3640049/2448853 499.24/490.04 c cleaning 60004 clauses out of 120018 with flag 3762051/2509854 512.33/502.84 c cleaning 60997 clauses out of 122013 with flag 3886049/2571853 525.72/515.42 c cleaning 61999 clauses out of 124017 with flag 4012051/2634854 538.65/528.25 c cleaning 63002 clauses out of 126017 with flag 4140049/2698853 552.16/541.50 c cleaning 63998 clauses out of 128015 with flag 4270049/2763853 565.44/554.61 c cleaning 64999 clauses out of 130017 with flag 4402049/2829853 580.06/568.81 c cleaning 66002 clauses out of 132018 with flag 4536061/2896853 594.36/582.87 c cleaning 67001 clauses out of 134016 with flag 4672098/2964853 599.92/588.34 c Got one! Elapsed wall clock time (in seconds):588.183 599.92/588.34 o 2651 601.52/589.99 c cleaning 51391 clauses out of 102797 with flag 10004/3000635 602.97/591.32 c cleaning 28695 clauses out of 57405 with flag 22003/3006634 604.17/592.56 c cleaning 17851 clauses out of 35710 with flag 36003/3013634 605.56/593.91 c cleaning 12922 clauses out of 25859 with flag 52006/3021634 607.06/595.44 c cleaning 10963 clauses out of 21937 with flag 70006/3030634 608.80/597.17 c cleaning 10476 clauses out of 20975 with flag 90039/3040635 610.79/599.12 c cleaning 10743 clauses out of 21498 with flag 112047/3051634 612.83/601.16 c cleaning 11373 clauses out of 22755 with flag 136064/3063634 615.01/603.39 c cleaning 12181 clauses out of 24382 with flag 162064/3076634 617.51/605.84 c cleaning 13091 clauses out of 26201 with flag 190064/3090634 620.22/608.50 c cleaning 14051 clauses out of 28111 with flag 220076/3105635 623.19/611.43 c cleaning 15024 clauses out of 30060 with flag 252076/3121635 626.09/614.35 c cleaning 16009 clauses out of 32036 with flag 286256/3138635 629.34/617.59 c cleaning 17006 clauses out of 34027 with flag 322256/3156635 632.73/620.90 c cleaning 18002 clauses out of 36021 with flag 360256/3175635 636.27/624.49 c cleaning 19002 clauses out of 38018 with flag 400264/3195634 640.24/628.39 c cleaning 20001 clauses out of 40016 with flag 442264/3216634 644.33/632.35 c cleaning 20996 clauses out of 42015 with flag 486264/3238634 648.11/636.18 c cleaning 22003 clauses out of 44019 with flag 532264/3261634 652.34/640.36 c cleaning 23002 clauses out of 46016 with flag 580264/3285634 656.88/644.86 c cleaning 24002 clauses out of 48014 with flag 630264/3310634 661.53/649.49 c cleaning 24997 clauses out of 50012 with flag 682264/3336634 666.69/654.52 c cleaning 25997 clauses out of 52015 with flag 736264/3363634 671.76/659.58 c cleaning 26998 clauses out of 54018 with flag 792264/3391634 677.03/664.79 c cleaning 28001 clauses out of 56020 with flag 850264/3420634 682.71/670.30 c cleaning 29000 clauses out of 58019 with flag 910264/3450634 688.59/676.12 c cleaning 30005 clauses out of 60019 with flag 972264/3481634 694.73/682.22 c cleaning 30996 clauses out of 62014 with flag 1036264/3513634 700.98/688.41 c cleaning 32001 clauses out of 64019 with flag 1102333/3546635 707.33/694.74 c cleaning 32999 clauses out of 66018 with flag 1170333/3580635 714.17/701.43 c cleaning 34003 clauses out of 68019 with flag 1240333/3615635 720.85/708.08 c cleaning 35001 clauses out of 70016 with flag 1312333/3651635 728.19/715.39 c cleaning 35993 clauses out of 72015 with flag 1386355/3688635 735.52/722.62 c cleaning 37003 clauses out of 74022 with flag 1462355/3726635 742.86/729.86 c cleaning 37997 clauses out of 76019 with flag 1540355/3765635 750.05/736.96 c cleaning 38999 clauses out of 78022 with flag 1620355/3805635 758.20/744.94 c cleaning 39998 clauses out of 80022 with flag 1702380/3846634 765.67/752.37 c cleaning 41004 clauses out of 82024 with flag 1786380/3888634 774.36/760.52 c cleaning 41999 clauses out of 84020 with flag 1872380/3931634 782.76/768.72 c cleaning 43003 clauses out of 86021 with flag 1960395/3975634 791.26/777.01 c cleaning 44000 clauses out of 88019 with flag 2050419/4020635 800.04/785.67 c cleaning 44998 clauses out of 90019 with flag 2142419/4066635 808.83/794.31 c cleaning 45997 clauses out of 92021 with flag 2236419/4113635 818.41/803.77 c cleaning 47004 clauses out of 94023 with flag 2332417/4161634 828.05/813.26 c cleaning 47997 clauses out of 96020 with flag 2430419/4210635 838.07/823.01 c cleaning 49000 clauses out of 98022 with flag 2530417/4260634 847.78/832.68 c cleaning 50004 clauses out of 100023 with flag 2632419/4311635 858.89/843.66 c cleaning 51000 clauses out of 102019 with flag 2736419/4363635 869.38/853.97 c cleaning 52001 clauses out of 104018 with flag 2842417/4416634 880.10/864.59 c cleaning 52997 clauses out of 106018 with flag 2950419/4470635 891.43/875.63 c cleaning 54002 clauses out of 108021 with flag 3060419/4525635 902.32/886.34 c cleaning 54995 clauses out of 110018 with flag 3172417/4581634 914.04/897.82 c cleaning 55999 clauses out of 112023 with flag 3286417/4638634 926.43/909.66 c cleaning 57005 clauses out of 114025 with flag 3402419/4696635 938.93/921.83 c cleaning 57998 clauses out of 116020 with flag 3520419/4755635 951.16/933.92 c cleaning 59002 clauses out of 118022 with flag 3640419/4815635 963.57/946.13 c cleaning 60004 clauses out of 120020 with flag 3762419/4876635 976.32/958.72 c cleaning 61002 clauses out of 122016 with flag 3886419/4938635 990.50/972.66 c cleaning 61996 clauses out of 124014 with flag 4012419/5001635 1004.24/986.17 c cleaning 62999 clauses out of 126018 with flag 4140419/5065635 1018.76/1000.39 c cleaning 63998 clauses out of 128018 with flag 4270417/5130634 1032.85/1014.02 c cleaning 65003 clauses out of 130021 with flag 4402419/5196635 1047.73/1028.02 c cleaning 66002 clauses out of 132018 with flag 4536427/5263635 1061.85/1041.84 c cleaning 67000 clauses out of 134015 with flag 4672425/5331634 1075.83/1055.67 c cleaning 67997 clauses out of 136016 with flag 4810427/5400635 1091.19/1070.67 c cleaning 68999 clauses out of 138019 with flag 4950427/5470635 1106.89/1086.15 c cleaning 70007 clauses out of 140019 with flag 5092425/5541634 1122.63/1101.48 c cleaning 70999 clauses out of 142013 with flag 5236427/5613635 1137.91/1115.88 c cleaning 71996 clauses out of 144014 with flag 5382427/5686635 1154.63/1132.15 c cleaning 73004 clauses out of 146017 with flag 5530425/5760634 1171.76/1149.04 c cleaning 73997 clauses out of 148014 with flag 5680427/5835635 1187.58/1164.63 c cleaning 75004 clauses out of 150017 with flag 5832427/5911635 1205.77/1182.51 c cleaning 75997 clauses out of 152013 with flag 5986427/5988635 1223.36/1199.76 c cleaning 77000 clauses out of 154015 with flag 6142426/6066634 1242.66/1218.17 c cleaning 77998 clauses out of 156015 with flag 6300433/6145634 1260.60/1235.80 c cleaning 79003 clauses out of 158017 with flag 6460433/6225634 1280.09/1254.89 c cleaning 80000 clauses out of 160015 with flag 6622445/6306635 1299.15/1273.58 c cleaning 80999 clauses out of 162015 with flag 6786471/6388635 1317.84/1291.39 c cleaning 82001 clauses out of 164016 with flag 6952471/6471635 1336.89/1310.05 c cleaning 83001 clauses out of 166014 with flag 7120469/6555634 1355.10/1327.83 c cleaning 83999 clauses out of 168013 with flag 7290469/6640634 1373.24/1345.67 c cleaning 84996 clauses out of 170015 with flag 7462471/6726635 1392.07/1364.11 c cleaning 86000 clauses out of 172018 with flag 7636469/6813634 1412.24/1384.07 c cleaning 86999 clauses out of 174018 with flag 7812469/6901634 1431.45/1402.89 c cleaning 88001 clauses out of 176019 with flag 7990469/6990634 1451.37/1421.72 c cleaning 88998 clauses out of 178018 with flag 8170469/7080634 1471.00/1440.93 c cleaning 90000 clauses out of 180020 with flag 8352469/7171634 1490.12/1459.77 c cleaning 91003 clauses out of 182021 with flag 8536471/7263635 1510.17/1479.39 c cleaning 92003 clauses out of 184018 with flag 8722471/7356635 1531.54/1500.36 c cleaning 93000 clauses out of 186015 with flag 8910471/7450635 1553.49/1521.17 c cleaning 93997 clauses out of 188015 with flag 9100471/7545635 1575.76/1542.99 c cleaning 95002 clauses out of 190018 with flag 9292471/7641635 1597.73/1564.55 c cleaning 95999 clauses out of 192015 with flag 9486469/7738634 1620.34/1586.84 c cleaning 97002 clauses out of 194017 with flag 9682471/7836635 1644.13/1610.28 c cleaning 98002 clauses out of 196015 with flag 9880471/7935635 1670.35/1635.17 c cleaning 98998 clauses out of 198013 with flag 10080471/8035635 1694.87/1659.15 c cleaning 99998 clauses out of 200015 with flag 10282471/8136635 1720.05/1683.67 c cleaning 101002 clauses out of 202017 with flag 10486471/8238635 1746.77/1708.81 c cleaning 101997 clauses out of 204014 with flag 10692469/8341634 1772.78/1734.23 c cleaning 103001 clauses out of 206017 with flag 10900471/8445634 1800.79/1761.87 c cleaning 103998 clauses out of 208016 with flag 11110471/8550634 1828.22/1788.09 c cleaning 105004 clauses out of 210018 with flag 11322471/8656634 1855.98/1815.39 c cleaning 105999 clauses out of 212015 with flag 11536473/8763635 1882.20/1841.02 c cleaning 106997 clauses out of 214016 with flag 11752473/8871635 1910.31/1867.70 c cleaning 107999 clauses out of 216018 with flag 11970487/8980634 1936.38/1893.22 c cleaning 109006 clauses out of 218020 with flag 12190489/9090635 1961.32/1916.76 c cleaning 109997 clauses out of 220013 with flag 12412493/9201634 1985.17/1940.05 c cleaning 111000 clauses out of 222016 with flag 12636493/9313634 2010.42/1963.87 c cleaning 112000 clauses out of 224017 with flag 12862495/9426635 2035.68/1988.51 c cleaning 113000 clauses out of 226016 with flag 13090493/9540634 2062.24/2013.67 c cleaning 114000 clauses out of 228017 with flag 13320495/9655635 2089.06/2040.02 c cleaning 115000 clauses out of 230016 with flag 13552493/9771634 2115.34/2064.73 c cleaning 115999 clauses out of 232016 with flag 13786499/9888634 2141.85/2090.71 c cleaning 116998 clauses out of 234018 with flag 14022501/10006635 2171.40/2118.60 c cleaning 117997 clauses out of 236020 with flag 14260507/10125635 2200.69/2147.28 c cleaning 119003 clauses out of 238023 with flag 14500507/10245635 2229.27/2174.37 c cleaning 120000 clauses out of 240020 with flag 14742507/10366635 2257.37/2200.90 c cleaning 121000 clauses out of 242020 with flag 14986507/10488635 2286.86/2228.51 c cleaning 122002 clauses out of 244020 with flag 15232507/10611635 2317.04/2257.06 c cleaning 123001 clauses out of 246018 with flag 15480507/10735635 2344.33/2283.70 c cleaning 123997 clauses out of 248016 with flag 15730505/10860634 2373.55/2311.31 c cleaning 125000 clauses out of 250020 with flag 15982507/10986635 2401.56/2337.85 c cleaning 126000 clauses out of 252020 with flag 16236541/11113635 2432.85/2367.22 c cleaning 127000 clauses out of 254020 with flag 16492560/11241635 2465.76/2398.20 c cleaning 127999 clauses out of 256020 with flag 16750560/11370635 2494.66/2426.56 c cleaning 128999 clauses out of 258020 with flag 17010558/11500634 2525.46/2456.10 c cleaning 130002 clauses out of 260021 with flag 17272558/11631634 2554.66/2485.10 c cleaning 131000 clauses out of 262019 with flag 17536558/11763634 2586.06/2514.89 c cleaning 131998 clauses out of 264019 with flag 17802558/11896634 2617.92/2545.18 c cleaning 133004 clauses out of 266022 with flag 18070560/12030635 2655.44/2578.28 c cleaning 134003 clauses out of 268018 with flag 18340560/12165635 2689.15/2610.28 c cleaning 134996 clauses out of 270015 with flag 18612560/12301635 2725.12/2642.90 c cleaning 136001 clauses out of 272019 with flag 18886560/12438635 2760.45/2676.75 c cleaning 136997 clauses out of 274018 with flag 19162560/12576635 2795.07/2709.39 c cleaning 138007 clauses out of 276021 with flag 19440560/12715635 2828.28/2740.75 c cleaning 139003 clauses out of 278013 with flag 19720562/12855634 2865.11/2775.52 c cleaning 139995 clauses out of 280010 with flag 20002562/12996634 2902.40/2811.06 c cleaning 141003 clauses out of 282015 with flag 20286562/13138634 2938.58/2845.49 c cleaning 141996 clauses out of 284012 with flag 20572562/13281634 2976.67/2880.07 c cleaning 142997 clauses out of 286017 with flag 20860568/13425635 3016.65/2916.47 c cleaning 144000 clauses out of 288020 with flag 21150568/13570635 3056.68/2953.93 c cleaning 145003 clauses out of 290020 with flag 21442568/13716635 3091.41/2988.02 c cleaning 146002 clauses out of 292016 with flag 21736566/13863634 3128.00/3022.83 c cleaning 147002 clauses out of 294015 with flag 22032568/14011635 3167.09/3058.22 c cleaning 147996 clauses out of 296013 with flag 22330568/14160635 3209.25/3096.58 c cleaning 149001 clauses out of 298016 with flag 22630566/14310634 3245.43/3130.51 c cleaning 149999 clauses out of 300015 with flag 22932566/14461634 3279.16/3163.68 c cleaning 150999 clauses out of 302017 with flag 23236568/14613635 3317.05/3198.18 c cleaning 152001 clauses out of 304017 with flag 23542566/14766634 3353.92/3233.02 c cleaning 153000 clauses out of 306017 with flag 23850604/14920635 3397.31/3272.93 c cleaning 154001 clauses out of 308017 with flag 24160667/15075635 3440.51/3312.27 c cleaning 154999 clauses out of 310015 with flag 24472671/15231634 3479.83/3348.11 c cleaning 155997 clauses out of 312016 with flag 24786671/15388634 3521.33/3385.83 c cleaning 157000 clauses out of 314019 with flag 25102671/15546634 3563.05/3423.75 c cleaning 157998 clauses out of 316019 with flag 25420671/15705634 3600.01/3456.91 c starts : 4 3600.01/3456.92 c conflicts : 15865634 3600.01/3456.92 c decisions : 15870199 3600.01/3456.92 c propagations : 185332568 3600.01/3456.92 c inspects : 4212939469 3600.01/3456.92 c shortcuts : 0 3600.01/3456.92 c learnt literals : 0 3600.01/3456.92 c learnt binary clauses : 0 3600.01/3456.92 c learnt ternary clauses : 0 3600.01/3456.92 c learnt constraints : 15865634 3600.01/3456.92 c ignored constraints : 0 3600.01/3456.92 c root simplifications : 0 3600.01/3456.92 c removed literals (reason simplification) : 76431342 3600.01/3456.92 c reason swapping (by a shorter reason) : 0 3600.01/3456.92 c Calls to reduceDB : 251 3600.01/3456.92 c Number of update (reduction) of LBD : 275 3600.01/3456.92 c Imported unit clauses : 0 3600.01/3456.92 c No decision after first conflict : false 3600.01/3456.93 c number of reductions to clauses (during analyze) : 0 3600.01/3456.93 c number of learned constraints concerned by reduction : 0 3600.01/3456.93 c number of learning phase by resolution : 0 3600.01/3456.93 c number of learning phase by cutting planes : 0 3600.01/3456.93 c number of rounding to 1 operations : 0 3600.01/3456.93 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3456.93 c number of reductions of the coefficients by power 2 : 0 3600.01/3456.93 c number of right shift for reduction by power 2 : 0 3600.01/3456.93 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3456.93 c number of ending skipping : 0 3600.01/3456.93 c number of internal skipping : 0 3600.01/3456.93 c number of derivation steps : 0 3600.01/3456.93 c number of skipped derivation steps : 0 3600.01/3456.93 c number of remaining unassigned : 0 3600.01/3456.93 c number of remaining assigned : 0 3600.01/3456.93 c number of falsified literals weakened from reason : 0 3600.01/3456.93 c number of falsified literals weakened from conflict : 0 3600.01/3456.93 c time for arithmetic operations : 0 3600.01/3456.93 c minimum degree of deleted constraints : null 3600.01/3456.93 c maximum degree of deleted constraints : null 3600.01/3456.93 c number of deleted constraints : 0 3600.01/3456.93 c speed (assignments/second) : 53615.78787038079 3600.01/3456.93 c non guided choices : 25 3600.21/3457.01 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 318021 3600.21/3457.01 s SATISFIABLE 3600.21/3457.01 c Found 3 solution(s) 3600.21/3457.01 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 x107 -x108 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 x219 x220 x221 -x222 x223 -x224 -x225 -x226 x227 -x228 x229 x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 x432 x433 x434 -x435 x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 x541 x542 -x543 x544 x545 -x546 x547 -x548 x549 x550 x551 x552 -x553 -x554 x555 x556 x557 -x558 x559 x560 -x561 x562 x563 -x564 x565 -x566 x567 x568 x569 -x570 x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 x711 x712 x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 x724 -x725 x726 x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 x735 x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 x754 -x755 -x756 -x757 -x758 x759 x760 -x761 x762 -x763 x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 x850 x851 x852 x853 x854 -x855 x856 -x857 -x858 x859 -x860 -x861 x862 x863 x864 x865 x866 -x867 x868 -x869 -x870 x871 x872 x873 x874 -x875 -x876 x877 x878 x879 x880 x881 x882 -x883 x884 x885 -x886 x887 -x888 x889 x890 x891 x892 -x893 -x894 -x895 -x896 x897 -x898 x899 x900 x901 x902 -x903 x904 x905 x906 -x907 3600.21/3457.01 c objective function=2651 3600.21/3457.01 c Total wall clock time (in seconds): 3456.859
OK 2651
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62924 MiB free)
memory of node 1: 64465 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484133-1751291994/watcher-4484133-1751291994 -o /tmp/evaluation-result-4484133-1751291994/solver-4484133-1751291994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751291993-37813 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484133-1751291994 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4484133-1751291994.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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
solver pid=37857, runsolver pid=37853
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.73 2.77 3.61 10/332 37940
/proc/meminfo: memFree=129722584/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=18930384 memory=52008 CPUtime=0.09 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 6095 0 108 0 7 2 0 0 20 0 18 0 44876908 19384713216 13002 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4732596 13002 5340 1 0 547292 0
[pid=37857/tid=37865] ppid=37853 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 4883 0 108 0 5 1 0 0 20 0 18 0 44876911 19384713216 13002 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=18930384 memory=15987 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44876913 19384713216 13034 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44876914 19384713216 13034 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52008 KiB
[startup+0.205763 s]*
/proc/loadavg: 0.73 2.77 3.61 12/332 37940
/proc/meminfo: memFree=129689684/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=18930384 memory=64096 CPUtime=0.27 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 6960 0 108 0 24 3 0 0 20 0 18 0 44876908 19384713216 16024 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4732596 16024 5436 1 0 547962 0
[pid=37857/tid=37865] ppid=37853 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 5202 0 108 0 12 2 0 0 20 0 18 0 44876911 19384713216 16024 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=18930384 memory=15987 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44876913 19384713216 16024 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44876914 19384713216 16024 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64096 KiB
[startup+0.305844 s]*
/proc/loadavg: 0.73 2.77 3.61 11/335 37943
/proc/meminfo: memFree=129636860/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=18996948 memory=73256 CPUtime=0.45 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 8305 0 108 0 42 3 0 0 20 0 19 0 44876908 19452874752 18314 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4749237 18314 5468 1 0 548823 0
[pid=37857/tid=37865] ppid=37853 vsize=18996948 memory=-6000919489869407596 CPUtime=0.23 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 5366 0 108 0 21 2 0 0 20 0 19 0 44876911 19452874752 18314 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44876913 19452874752 18314 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44876914 19452874752 18314 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44876934 19452874752 18314 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73256 KiB
[startup+0.700236 s]
/proc/loadavg: 0.73 2.77 3.61 8/337 37945
/proc/meminfo: memFree=129438300/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=171196 CPUtime=1.22 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 13791 0 108 0 116 6 0 0 20 0 20 0 44876908 19521036288 42799 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 42799 5500 1 0 552397 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=17920 CPUtime=0.57 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 5451 0 108 0 53 4 0 0 20 0 20 0 44876911 19521036288 42799 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 42799 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 42799 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 42799 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171196 KiB
[startup+1.50025 s]
/proc/loadavg: 1.39 2.87 3.64 9/340 37948
/proc/meminfo: memFree=129232128/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=184112 CPUtime=2.8 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 21841 0 108 0 272 8 0 0 20 0 20 0 44876908 19521036288 46028 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 46028 5500 1 0 553364 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=10752 CPUtime=1.32 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 5762 0 108 0 128 4 0 0 20 0 20 0 44876911 19521036288 46028 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 46028 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 46028 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 46028 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184112 KiB
[startup+3.10562 s]
/proc/loadavg: 1.39 2.87 3.64 6/340 37948
/proc/meminfo: memFree=128345212/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=416752 CPUtime=5.76 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 26056 0 108 0 561 15 0 0 20 0 20 0 44876908 19521036288 104188 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 104188 5500 1 0 660201 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=10752 CPUtime=2.82 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 6935 0 108 0 273 9 0 0 20 0 20 0 44876911 19521036288 104188 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=-6000919494181152108 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 104188 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 104188 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 104188 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 416752 KiB
[startup+6.30023 s]
/proc/loadavg: 1.60 2.89 3.64 5/343 37951
/proc/meminfo: memFree=124808536/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=971236 CPUtime=9.15 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 27021 0 108 0 887 28 0 0 20 0 20 0 44876908 19521036288 242809 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 242809 5500 1 0 908781 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=0 CPUtime=5.89 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 7207 0 108 0 569 20 0 0 20 0 20 0 44876911 19521036288 242809 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 242809 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 242809 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 242809 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971236 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 2.93 3.65 6/345 37954
/proc/meminfo: memFree=122172616/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=1772284 CPUtime=15.71 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 27627 0 108 0 1525 46 0 0 20 0 20 0 44876908 19521036288 443071 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 443071 5500 1 0 908810 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=1624748 CPUtime=11.91 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 7581 0 108 0 1158 33 0 0 20 0 20 0 44876911 19521036288 443071 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 443071 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 443071 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=-6000919494181152108 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 443071 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1772284 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.96 3.65 5/345 37954
/proc/meminfo: memFree=119387544/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=1973356 CPUtime=29.07 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 33086 0 108 0 2848 59 0 0 20 0 20 0 44876908 19521036288 493339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 493339 5500 1 0 908813 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=1624748 CPUtime=24.39 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 8696 0 108 0 2396 43 0 0 20 0 20 0 44876911 19521036288 493339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19521036288 493339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19063512 memory=1973356 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 44876914 19521036288 493339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19063512 memory=-6000919494181152108 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19521036288 493339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 29.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973356 KiB
[startup+51.1058 s]
/proc/loadavg: 3.03 3.09 3.68 5/345 37954
/proc/meminfo: memFree=115091652/131250000 swapFree=33010684/33010684
[pid=37857] ppid=37853 vsize=19063512 memory=2757928 CPUtime=55.24 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 37850 0 108 0 5432 92 0 0 20 0 20 0 44876908 19521036288 689482 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4765878 689482 5532 1 0 908818 0
[pid=37857/tid=37865] ppid=37853 vsize=19063512 memory=2686240 CPUtime=49.26 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 11257 0 108 0 4858 68 0 0 20 0 20 0 44876911 19521036288 689482 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
################
# More data... #
################
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 943755 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=3775020 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 943755 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=4224940 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 943755 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3215.11 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3775020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.55 4.39 4.30 6/346 38146
/proc/meminfo: memFree=26764388/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=4275660 CPUtime=3277.85 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 240921 0 108 0 325391 2394 0 0 20 0 20 0 44876908 19588145152 1068915 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 1068915 5564 1 0 1083947 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=4275660 CPUtime=3069.54 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 94136 0 108 0 304738 2216 0 0 20 0 20 0 44876911 19588145152 1068915 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=3652780 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 1068915 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=3833292 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 1068915 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=4275660 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 1068915 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3277.85 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 4275660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.60 4.44 4.32 5/346 38149
/proc/meminfo: memFree=26464816/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=3883340 CPUtime=3343.25 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 245647 0 108 0 331883 2442 0 0 20 0 20 0 44876908 19588145152 970835 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 970835 5564 1 0 983723 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=3883340 CPUtime=3127.42 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 95789 0 108 0 310484 2258 0 0 20 0 20 0 44876911 19588145152 970835 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=3883340 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 970835 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=3883340 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1726 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 970835 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=14432 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 970835 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3343.25 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3883340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.42 4.32 5/346 38151
/proc/meminfo: memFree=25208636/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3406.8 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 248232 0 108 0 338202 2478 0 0 20 0 20 0 44876908 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 958339 5564 1 0 971203 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3185.59 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 96790 0 108 0 316267 2292 0 0 20 0 20 0 44876911 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=3883340 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=3883340 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=14432 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3406.8 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3833356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.54 4.45 4.34 6/347 38221
/proc/meminfo: memFree=71842808/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3472.58 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 248313 0 108 0 344740 2518 0 0 20 0 20 0 44876908 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 958339 5564 1 0 971225 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3243.1 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 96814 0 108 0 321984 2326 0 0 20 0 20 0 44876911 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=10752 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=4252 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3472.58 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3833356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.43 4.34 5/346 38223
/proc/meminfo: memFree=69650804/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3539.49 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 249849 0 108 0 351392 2557 0 0 20 0 20 0 44876908 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 958339 5564 1 0 971225 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=10752 CPUtime=3301.2 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 98054 0 108 0 327758 2362 0 0 20 0 20 0 44876911 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=17920 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3539.49 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3833356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3456.9 s]
/proc/loadavg: 4.41 4.42 4.34 5/347 38232
/proc/meminfo: memFree=68373864/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19129048 memory=3833356 CPUtime=3600.01 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 253366 0 108 0 357407 2594 0 0 20 0 20 0 44876908 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4782262 958339 5564 1 0 971225 0
[pid=37857/tid=37865] ppid=37853 vsize=19129048 memory=-6000919494181152108 CPUtime=3353.83 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 99549 0 108 0 332989 2394 0 0 20 0 20 0 44876911 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44876913 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 20 0 44876914 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37942] ppid=37853 vsize=19129048 memory=3833356 CPUtime=0 cores=0,2
/proc/37857/task/37942/stat : 37942 (Timer-0) S 37853 37857 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44876934 19588145152 958339 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19129048 KiB
Current children cumulated memory: 3833356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3457.17 s]
# the end of solver process 37857 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3574.29 s, system=25.9798 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3457.01 s]*
/proc/loadavg: 4.38 4.42 4.34 6/348 38235
/proc/meminfo: memFree=68349924/131250000 swapFree=33010672/33010684
[pid=37857] ppid=37853 vsize=19328740 memory=3833996 CPUtime=3600.21 cores=0,2
/proc/37857/stat : 37857 (java) S 37853 37857 37803 0 -1 4194304 254644 0 108 0 357427 2594 0 0 20 0 21 0 44876908 19792629760 958499 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
/proc/37857/statm: 4832185 958499 5564 1 0 972144 0
[pid=37857/tid=37865] ppid=37853 vsize=19328740 memory=-6000919472639665260 CPUtime=3353.93 cores=0,2
/proc/37857/task/37865/stat : 37865 (java) R 37853 37857 37803 0 -1 4194368 99549 0 108 0 332999 2394 0 0 20 0 21 0 44876911 19792629760 958499 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37890] ppid=37853 vsize=19328740 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/37857/task/37890/stat : 37890 (Finalizer) S 37853 37857 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 44876913 19792629760 958499 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=37911] ppid=37853 vsize=19328740 memory=4660 CPUtime=0 cores=0,2
/proc/37857/task/37911/stat : 37911 (Common-Cleaner) S 37853 37857 37803 0 -1 4194368 1811 0 0 0 0 0 0 0 20 0 21 0 44876914 19792629760 958499 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
[pid=37857/tid=38235] ppid=37853 vsize=19328740 memory=5300 CPUtime=0.06 cores=0,2
/proc/37857/task/38235/stat : 38235 (Thread-0) R 37853 37857 37803 0 -1 4194368 247 0 0 0 6 0 0 0 20 0 21 0 45222599 19792629760 958499 18446744073709551615 94058821795840 94058821799536 140727345514512 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94058821807352 94058821808144 94058826489856 140727345522992 140727345523174 140727345523174 140727345528776 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19328740 KiB
Current children cumulated memory: 3833996 KiB
[startup+3457.11 s]*
/proc/loadavg: 4.38 4.42 4.34 4/329 38235
/proc/meminfo: memFree=72184028/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3457.17
CPU time (s): 3600.27
CPU user time (s): 3574.29
CPU system time (s): 25.9798
CPU usage (%): 104.139
Max. virtual memory (cumulated for all children) (KiB): 19328740
Max. memory (cumulated for all children) (KiB): 4795160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.29
system time used= 25.9798
maximum resident set size= 4795160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254828
page faults= 108
swaps= 0
block input operations= 0
block output operations= 53424296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139208
involuntary context switches= 22248
# summary of solver processes directly reported to runsolver:
# pid: 37857
# total CPU time (s): 3600.27
# total CPU user time (s): 3574.29
# total CPU system time (s): 25.9798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2893 second user time and 18.6628 second system time
The end
Begin job on nodeC019 at 2025-06-30 15:59:54 IDJOB=4484133 IDBENCH=146650 IDSOLVER=3364 FILE ID=nodeC019/4484133-1751291994 RUNJOBID= nodeC019-1751291993-37813 SLURM_JOB_ID= 9594257 Free space on /tmp= 433044 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484133-1751291994/watcher-4484133-1751291994 -o /tmp/evaluation-result-4484133-1751291994/solver-4484133-1751291994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751291993-37813 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484133-1751291994 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4484133-1751291994.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=1704263412 nodeC019 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.228 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1406.945 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.37 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.677 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2148.367 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.37 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.803 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3384.672 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.660 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2213.942 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129796944 kB MemAvailable: 129745800 kB Buffers: 3280 kB Cached: 756884 kB SwapCached: 0 kB Active: 326808 kB Inactive: 500016 kB Active(anon): 84728 kB Inactive(anon): 0 kB Active(file): 242080 kB Inactive(file): 500016 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1652 kB Writeback: 0 kB AnonPages: 69820 kB Mapped: 103024 kB Shmem: 18064 kB KReclaimable: 91996 kB Slab: 178152 kB SReclaimable: 91996 kB SUnreclaim: 86156 kB KernelStack: 4176 kB PageTables: 2900 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 329272 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433040 MiB End job on nodeC019 at 2025-06-30 16:57:31