Trace number 4521869

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)28 3565.64 3700.14

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
MD5SUMda2c432e6d1460c5833697ae1752095a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark0.022338
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1232
Total number of constraints490
Number of constraints which are clauses259
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints91
Minimum length of a constraint6
Maximum length of a constraint11
Number of terms in the objective function 56
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 56
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	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-4521869-1751590761.opb
0.10/0.14	c reading problem ... 
0.10/0.18	c using VERIPB proof format
0.10/0.18	c  objective function found
0.22/0.24	c ... done. Wall clock time 0.097s.
0.22/0.24	c declared #vars     1232
0.22/0.24	c #constraints  490
0.22/0.24	c constraints type 
0.22/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 231
0.22/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 259
0.22/0.24	c 490 constraints processed.
0.22/0.25	c objective function length is 56 literals
0.97/0.68	c cleaning 2490 clauses out of 5000 with flag 25272/5000
1.36/0.87	c cleaning 4243 clauses out of 8510 with flag 57352/11000
1.76/1.03	c cleaning 5620 clauses out of 11268 with flag 93490/18001
1.96/1.19	c cleaning 6813 clauses out of 13648 with flag 138933/26001
1.96/1.19	c SATISFIABLE
1.96/1.19	c OPTIMIZING...
1.96/1.20	c Got one! Elapsed wall clock time (in seconds):1.056
1.96/1.20	o 28
2.34/1.31	c cleaning 5944 clauses out of 11893 with flag 25986/31059
2.54/1.43	c cleaning 5967 clauses out of 11948 with flag 44298/37058
2.73/1.57	c cleaning 6487 clauses out of 12982 with flag 65302/44059
3.03/1.73	c cleaning 7246 clauses out of 14494 with flag 92434/52058
3.23/1.91	c cleaning 8123 clauses out of 16249 with flag 120006/61059
3.42/2.15	c cleaning 9063 clauses out of 18126 with flag 151998/71059
3.63/2.39	c cleaning 10028 clauses out of 20062 with flag 187041/82058
3.92/2.64	c cleaning 11014 clauses out of 22034 with flag 223884/94058
4.34/3.10	c cleaning 12008 clauses out of 24021 with flag 263993/107059
4.94/3.60	c cleaning 13007 clauses out of 26013 with flag 305512/121059
5.37/4.05	c cleaning 14001 clauses out of 28006 with flag 350132/136059
6.02/4.68	c cleaning 15003 clauses out of 30005 with flag 398435/152059
6.92/5.50	c cleaning 16000 clauses out of 32001 with flag 445937/169058
7.73/6.43	c cleaning 16999 clauses out of 34001 with flag 497147/187058
8.63/7.35	c cleaning 18001 clauses out of 36003 with flag 554720/206059
9.62/8.34	c cleaning 18998 clauses out of 38002 with flag 617462/226059
10.63/9.39	c cleaning 20002 clauses out of 40004 with flag 682545/247059
11.93/10.68	c cleaning 20996 clauses out of 42002 with flag 742784/269059
13.33/12.02	c cleaning 22001 clauses out of 44006 with flag 807895/292059
14.83/13.51	c cleaning 23002 clauses out of 46005 with flag 873151/316059
16.42/15.16	c cleaning 24002 clauses out of 48003 with flag 941899/341059
17.81/16.58	c cleaning 24997 clauses out of 50001 with flag 1011002/367059
19.51/18.20	c cleaning 26000 clauses out of 52004 with flag 1080234/394059
21.20/20.00	c cleaning 26999 clauses out of 54004 with flag 1153569/422059
23.40/22.14	c cleaning 28000 clauses out of 56005 with flag 1228154/451059
25.59/24.31	c cleaning 28998 clauses out of 58005 with flag 1306034/481059
27.80/26.60	c cleaning 30000 clauses out of 60007 with flag 1380979/512059
30.19/28.99	c cleaning 31004 clauses out of 62007 with flag 1459977/544059
33.19/31.90	c cleaning 32001 clauses out of 64003 with flag 1547171/577059
36.38/35.11	c cleaning 32996 clauses out of 66002 with flag 1634066/611059
37.47/36.26	c cleaning 33998 clauses out of 68005 with flag 1719512/646058
38.78/37.66	c cleaning 35000 clauses out of 70007 with flag 1811349/682058
40.48/39.36	c cleaning 36004 clauses out of 72007 with flag 1905694/719058
42.48/41.35	c cleaning 36998 clauses out of 74004 with flag 2001843/757059
44.38/43.28	c cleaning 38001 clauses out of 76006 with flag 2099288/796059
46.56/45.43	c cleaning 39000 clauses out of 78005 with flag 2195871/836059
48.85/47.77	c cleaning 40002 clauses out of 80004 with flag 2291405/877058
51.45/50.30	c cleaning 40996 clauses out of 82003 with flag 2390109/919059
54.06/52.95	c cleaning 42001 clauses out of 84007 with flag 2491485/962059
57.05/55.95	c cleaning 43000 clauses out of 86005 with flag 2595855/1006058
60.44/59.31	c cleaning 43999 clauses out of 88005 with flag 2709844/1051058
63.54/62.49	c cleaning 44999 clauses out of 90006 with flag 2825956/1097058
67.13/66.06	c cleaning 46002 clauses out of 92007 with flag 2945624/1144058
70.84/69.89	c cleaning 46999 clauses out of 94005 with flag 3064783/1192058
75.04/74.09	c cleaning 47998 clauses out of 96006 with flag 3188320/1241058
79.82/78.81	c cleaning 49002 clauses out of 98008 with flag 3313150/1291058
83.31/82.38	c cleaning 50001 clauses out of 100007 with flag 3432606/1342059
87.62/86.61	c cleaning 50999 clauses out of 102006 with flag 3575394/1394059
92.41/91.48	c cleaning 52003 clauses out of 104007 with flag 3715690/1447059
97.60/96.63	c cleaning 52999 clauses out of 106004 with flag 3843240/1501059
100.83/99.94	c cleaning 53994 clauses out of 108004 with flag 3984573/1556058
106.15/105.28	c cleaning 55002 clauses out of 110011 with flag 4131293/1612059
110.14/109.23	c cleaning 55998 clauses out of 112008 with flag 4272068/1669058
113.83/112.92	c cleaning 57000 clauses out of 114011 with flag 4424026/1727059
118.61/117.70	c cleaning 58001 clauses out of 116010 with flag 4573576/1786058
124.93/124.10	c cleaning 59002 clauses out of 118009 with flag 4730502/1846058
130.32/129.51	c cleaning 60000 clauses out of 120008 with flag 4887594/1907059
135.71/134.94	c cleaning 61001 clauses out of 122007 with flag 5037312/1969058
140.10/139.31	c cleaning 62000 clauses out of 124006 with flag 5188812/2032058
145.70/145.00	c cleaning 63001 clauses out of 126006 with flag 5348954/2096058
151.68/150.93	c cleaning 63999 clauses out of 128005 with flag 5504006/2161058
159.46/158.74	c cleaning 65002 clauses out of 130007 with flag 5675059/2227059
167.31/166.67	c cleaning 65999 clauses out of 132005 with flag 5845569/2294059
175.70/175.10	c cleaning 66999 clauses out of 134006 with flag 6023077/2362059
182.87/182.26	c cleaning 68002 clauses out of 136007 with flag 6198486/2431059
190.91/190.77	c cleaning 69000 clauses out of 138004 with flag 6373794/2501058
199.30/199.19	c cleaning 70001 clauses out of 140004 with flag 6560961/2572058
206.18/206.01	c cleaning 70998 clauses out of 142004 with flag 6764708/2644059
214.05/213.92	c cleaning 72000 clauses out of 144005 with flag 6963871/2717058
223.11/223.01	c cleaning 72998 clauses out of 146006 with flag 7164245/2791059
231.58/231.51	c cleaning 74001 clauses out of 148008 with flag 7356047/2866059
241.26/241.22	c cleaning 75001 clauses out of 150007 with flag 7546113/2942059
251.64/251.86	c cleaning 76002 clauses out of 152006 with flag 7757200/3019059
262.99/263.77	c cleaning 76997 clauses out of 154003 with flag 7968752/3097058
274.98/277.06	c cleaning 78000 clauses out of 156006 with flag 8187015/3176058
287.63/290.30	c cleaning 79003 clauses out of 158006 with flag 8407503/3256058
301.52/304.53	c cleaning 80000 clauses out of 160003 with flag 8610433/3337058
314.76/319.14	c cleaning 81000 clauses out of 162003 with flag 8819195/3419058
329.12/333.53	c cleaning 82000 clauses out of 164003 with flag 9023997/3502058
342.06/346.57	c cleaning 82997 clauses out of 166003 with flag 9245598/3586058
354.34/358.90	c cleaning 83998 clauses out of 168007 with flag 9470747/3671059
366.94/376.08	c cleaning 85004 clauses out of 170009 with flag 9697865/3757059
379.52/388.77	c cleaning 85997 clauses out of 172005 with flag 9925501/3844059
394.36/403.64	c cleaning 86999 clauses out of 174007 with flag 10149160/3932058
410.02/419.39	c cleaning 88005 clauses out of 176009 with flag 10397997/4021059
424.38/433.70	c cleaning 88997 clauses out of 178003 with flag 10656003/4111058
440.26/450.04	c cleaning 90000 clauses out of 180006 with flag 10915087/4202058
457.39/467.23	c cleaning 91002 clauses out of 182006 with flag 11175474/4294058
473.85/483.80	c cleaning 91999 clauses out of 184004 with flag 11405945/4387058
490.94/500.97	c cleaning 93000 clauses out of 186006 with flag 11646185/4481059
508.61/528.01	c cleaning 93996 clauses out of 188006 with flag 11904974/4576059
524.94/544.57	c cleaning 95003 clauses out of 190009 with flag 12160214/4672058
545.77/566.41	c cleaning 95999 clauses out of 192007 with flag 12418878/4769059
564.79/585.73	c cleaning 96995 clauses out of 194008 with flag 12670373/4867059
583.56/604.51	c cleaning 98003 clauses out of 196012 with flag 12934498/4966058
600.28/624.33	c cleaning 99004 clauses out of 198009 with flag 13202984/5066058
619.96/644.04	c cleaning 99994 clauses out of 200006 with flag 13477539/5167059
642.46/666.85	c cleaning 101000 clauses out of 202011 with flag 13758515/5269058
663.25/687.66	c cleaning 102005 clauses out of 204011 with flag 14038354/5372058
686.23/710.82	c cleaning 102998 clauses out of 206007 with flag 14317696/5476059
711.23/735.87	c cleaning 104002 clauses out of 208009 with flag 14603570/5581059
726.49/751.13	c cleaning 104994 clauses out of 210006 with flag 14860184/5687058
734.53/759.18	c cleaning 106004 clauses out of 212013 with flag 15123843/5794059
751.13/775.80	c cleaning 107003 clauses out of 214008 with flag 15393792/5902058
767.73/792.44	c cleaning 107998 clauses out of 216005 with flag 15669991/6011058
779.49/804.24	c cleaning 109000 clauses out of 218008 with flag 15963020/6121059
790.88/815.70	c cleaning 109998 clauses out of 220007 with flag 16235112/6232058
807.73/832.52	c cleaning 111002 clauses out of 222009 with flag 16499435/6344058
824.39/850.39	c cleaning 112002 clauses out of 224007 with flag 16760431/6457058
843.82/869.85	c cleaning 113003 clauses out of 226006 with flag 17043724/6571059
864.78/890.84	c cleaning 113999 clauses out of 228002 with flag 17324511/6686058
883.94/910.01	c cleaning 114998 clauses out of 230003 with flag 17613646/6802058
904.12/930.29	c cleaning 115999 clauses out of 232005 with flag 17911625/6919058
919.05/945.26	c cleaning 116997 clauses out of 234007 with flag 18203008/7037059
934.33/960.55	c cleaning 118000 clauses out of 236009 with flag 18492646/7156058
951.86/978.11	c cleaning 119000 clauses out of 238010 with flag 18792503/7276059
969.87/996.18	c cleaning 120001 clauses out of 240010 with flag 19103848/7397059
988.17/1014.55	c cleaning 120999 clauses out of 242008 with flag 19411289/7519058
1010.44/1036.85	c cleaning 122001 clauses out of 244009 with flag 19690068/7642058
1035.21/1061.75	c cleaning 123000 clauses out of 246009 with flag 19974009/7766059
1060.29/1086.97	c cleaning 123998 clauses out of 248009 with flag 20265122/7891059
1085.88/1112.54	c cleaning 125003 clauses out of 250010 with flag 20554964/8017058
1106.41/1133.12	c cleaning 126002 clauses out of 252007 with flag 20850864/8144058
1127.58/1154.34	c cleaning 127001 clauses out of 254005 with flag 21151495/8272058
1151.24/1179.46	c cleaning 128000 clauses out of 256004 with flag 21461882/8401058
1175.41/1203.69	c cleaning 128994 clauses out of 258004 with flag 21778740/8531058
1200.43/1228.78	c cleaning 129999 clauses out of 260010 with flag 22108121/8662058
1225.52/1254.18	c cleaning 131002 clauses out of 262011 with flag 22434701/8794058
1251.43/1280.03	c cleaning 131999 clauses out of 264009 with flag 22761806/8927058
1280.53/1309.23	c cleaning 133002 clauses out of 266010 with flag 23080645/9061058
1314.52/1343.25	c cleaning 134004 clauses out of 268009 with flag 23376584/9196059
1346.63/1375.42	c cleaning 134999 clauses out of 270004 with flag 23682101/9332058
1358.82/1387.69	c cleaning 135997 clauses out of 272006 with flag 24001395/9469059
1385.81/1414.67	c cleaning 137001 clauses out of 274009 with flag 24361195/9607059
1407.11/1436.05	c cleaning 137998 clauses out of 276008 with flag 24740328/9746059
1434.73/1463.73	c cleaning 139004 clauses out of 278010 with flag 25105213/9886059
1460.25/1489.35	c cleaning 139998 clauses out of 280006 with flag 25489349/10027059
1490.08/1522.32	c cleaning 141000 clauses out of 282007 with flag 25879349/10169058
1516.68/1556.65	c cleaning 141999 clauses out of 284008 with flag 26263180/10312059
1539.02/1579.15	c cleaning 142997 clauses out of 286008 with flag 26627949/10456058
1552.83/1601.43	c cleaning 144001 clauses out of 288011 with flag 27002246/10601058
1571.80/1620.47	c cleaning 145002 clauses out of 290010 with flag 27384519/10747058
1585.41/1641.93	c cleaning 146001 clauses out of 292009 with flag 27762275/10894059
1595.38/1651.90	c cleaning 146997 clauses out of 294007 with flag 28111620/11042058
1611.03/1672.17	c cleaning 148003 clauses out of 296010 with flag 28501283/11191058
1636.65/1697.84	c cleaning 149000 clauses out of 298007 with flag 28915893/11341058
1658.34/1719.50	c cleaning 149994 clauses out of 300007 with flag 29304783/11492058
1671.21/1732.47	c cleaning 151000 clauses out of 302014 with flag 29667676/11644059
1713.47/1774.82	c cleaning 152003 clauses out of 304014 with flag 30039087/11797059
1730.51/1794.31	c cleaning 152997 clauses out of 306010 with flag 30402927/11951058
1756.79/1820.67	c cleaning 153999 clauses out of 308013 with flag 30818682/12106058
1782.45/1848.24	c cleaning 155000 clauses out of 310014 with flag 31213241/12262058
1811.12/1889.76	c cleaning 156005 clauses out of 312015 with flag 31604215/12419059
1836.37/1915.02	c cleaning 157000 clauses out of 314010 with flag 32015095/12577059
1870.63/1953.78	c cleaning 157996 clauses out of 316009 with flag 32441679/12736058
1900.71/1983.93	c cleaning 159000 clauses out of 318014 with flag 32845252/12896059
1937.82/2021.12	c cleaning 160007 clauses out of 320013 with flag 33252961/13057058
1973.16/2059.55	c cleaning 161001 clauses out of 322007 with flag 33639353/13219059
2013.45/2103.41	c cleaning 162001 clauses out of 324006 with flag 34055565/13382059
2052.24/2142.47	c cleaning 162998 clauses out of 326005 with flag 34454679/13546059
2091.50/2182.00	c cleaning 164001 clauses out of 328006 with flag 34835633/13711058
2130.55/2227.05	c cleaning 165000 clauses out of 330005 with flag 35233168/13877058
2171.68/2268.24	c cleaning 165999 clauses out of 332006 with flag 35606665/14044059
2214.72/2311.30	c cleaning 167001 clauses out of 334007 with flag 35997987/14212059
2262.03/2361.39	c cleaning 168002 clauses out of 336005 with flag 36408097/14381058
2315.24/2414.65	c cleaning 169002 clauses out of 338003 with flag 36823782/14551058
2369.15/2468.62	c cleaning 169996 clauses out of 340001 with flag 37268166/14722058
2417.58/2517.27	c cleaning 171002 clauses out of 342005 with flag 37713913/14894058
2452.00/2551.70	c cleaning 171994 clauses out of 344003 with flag 38131475/15067058
2482.83/2582.63	c cleaning 172998 clauses out of 346010 with flag 38557838/15241059
2509.95/2617.92	c cleaning 174003 clauses out of 348011 with flag 38992710/15416058
2555.60/2663.75	c cleaning 175000 clauses out of 350009 with flag 39447400/15592059
2595.39/2703.73	c cleaning 176001 clauses out of 352008 with flag 39909362/15769058
2640.44/2748.92	c cleaning 176998 clauses out of 354007 with flag 40378851/15947058
2686.08/2794.70	c cleaning 178002 clauses out of 356009 with flag 40838485/16126058
2721.20/2829.97	c cleaning 178996 clauses out of 358007 with flag 41295306/16306058
2752.64/2861.43	c cleaning 180000 clauses out of 360011 with flag 41776403/16487058
2789.84/2898.76	c cleaning 181000 clauses out of 362011 with flag 42271725/16669058
2811.12/2920.04	c cleaning 181996 clauses out of 364012 with flag 42715721/16852059
2835.53/2944.58	c cleaning 183003 clauses out of 366016 with flag 43173002/17036059
2854.18/2970.47	c cleaning 184001 clauses out of 368013 with flag 43622857/17221059
2871.98/2988.24	c cleaning 185002 clauses out of 370012 with flag 44073094/17407059
2896.51/3012.92	c cleaning 185996 clauses out of 372009 with flag 44559359/17594058
2939.33/3055.88	c cleaning 187003 clauses out of 374014 with flag 45064370/17782059
2962.87/3079.47	c cleaning 187997 clauses out of 376011 with flag 45540947/17971059
2991.16/3107.81	c cleaning 189005 clauses out of 378013 with flag 46066591/18161058
3036.06/3152.85	c cleaning 190000 clauses out of 380009 with flag 46564169/18352059
3092.75/3214.33	c cleaning 191001 clauses out of 382009 with flag 47073919/18544059
3148.68/3270.43	c cleaning 191997 clauses out of 384008 with flag 47586750/18737059
3210.23/3332.13	c cleaning 193002 clauses out of 386011 with flag 48135106/18931059
3273.76/3397.52	c cleaning 193999 clauses out of 388008 with flag 48654867/19126058
3340.00/3469.56	c cleaning 195005 clauses out of 390010 with flag 49191307/19322059
3403.74/3533.41	c cleaning 196000 clauses out of 392005 with flag 49752009/19519059
3442.28/3572.01	c cleaning 196998 clauses out of 394004 with flag 50311217/19717058
3509.52/3644.27	c cleaning 197996 clauses out of 396007 with flag 50857353/19916059
3560.03/3694.62	c cleaning 198999 clauses out of 398010 with flag 51417541/20116058
3565.43/3700.01	c starts		: 20167
3565.43/3700.02	c conflicts		: 20157254
3565.43/3700.02	c decisions		: 20764488
3565.43/3700.02	c propagations		: 150744181
3565.43/3700.02	c inspects		: 41706156318
3565.43/3700.02	c shortcuts		: 0
3565.43/3700.02	c learnt literals	: 0
3565.43/3700.02	c learnt binary clauses	: 16
3565.43/3700.02	c learnt ternary clauses	: 93
3565.43/3700.02	c learnt constraints	: 20157254
3565.43/3700.02	c ignored constraints	: 0
3565.43/3700.02	c root simplifications	: 0
3565.43/3700.02	c removed literals (reason simplification)	: 184605553
3565.43/3700.02	c reason swapping (by a shorter reason)	: 0
3565.43/3700.02	c Calls to reduceDB	: 200
3565.43/3700.02	c Number of update (reduction) of LBD	: 64317
3565.43/3700.02	c Imported unit clauses	: 0
3565.43/3700.02	c No decision after first conflict	: false
3565.43/3700.02	c number of reductions to clauses (during analyze)	: 0
3565.43/3700.02	c number of learned constraints concerned by reduction	: 0
3565.43/3700.02	c number of learning phase by resolution	: 0
3565.43/3700.02	c number of learning phase by cutting planes	: 0
3565.43/3700.02	c number of rounding to 1 operations	: 0
3565.43/3700.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3565.43/3700.02	c number of reductions of the coefficients by power 2 	: 0
3565.43/3700.02	c number of right shift for reduction by power 2 	: 0
3565.43/3700.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3565.43/3700.02	c number of ending skipping 	: 0
3565.43/3700.02	c number of internal skipping 	: 0
3565.43/3700.02	c number of derivation steps 	: 0
3565.43/3700.02	c number of skipped derivation steps 	: 0
3565.43/3700.02	c number of remaining unassigned 	: 0
3565.43/3700.02	c number of remaining assigned 	: 0
3565.43/3700.02	c number of falsified literals weakened from reason	: 0
3565.43/3700.02	c number of falsified literals weakened from conflict	: 0
3565.43/3700.02	c time for arithmetic operations	: 0
3565.43/3700.02	c minimum degree of deleted constraints	: null
3565.43/3700.02	c maximum degree of deleted constraints	: null
3565.43/3700.02	c number of deleted constraints	: 0
3565.43/3700.02	c speed (assignments/second)	: 40744.291389554244
3565.43/3700.02	c non guided choices	: 18728
3565.43/3700.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 240191
3565.43/3700.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3565.43/3700.09	s SATISFIABLE
3565.43/3700.09	c Found 1 solution(s)
3565.43/3700.09	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 -x973 x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 
3565.43/3700.10	c objective function=28
3565.43/3700.10	c Total wall clock time (in seconds): 3699.966

Verifier Data 

OK	28

Watcher Data 

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 (50201 MiB free)
  memory of node 1: 64465 MiB (61024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521869-1751590761/watcher-4521869-1751590761 -o /tmp/evaluation-result-4521869-1751590761/solver-4521869-1751590761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751590761-83622 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521869-1751590761 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4521869-1751590761.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83673, runsolver pid=83661
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 3.04 3.82 3.99 8/331 83746
/proc/meminfo: memFree=113806412/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=18930384 memory=54832 CPUtime=0.1 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 6239 0 178 0 9 1 0 0 20 0 18 0 74753950 19384713216 13708 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4732596 13708 5353 1 0 547535 0
[pid=83673/tid=83695] ppid=83661 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 4855 0 178 0 6 1 0 0 20 0 18 0 74753952 19384713216 13740 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74753954 19384713216 13740 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74753955 19384713216 13740 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54832 KiB

[startup+0.205756 s]*
/proc/loadavg: 3.04 3.82 3.99 14/331 83746
/proc/meminfo: memFree=113776896/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=18930384 memory=62816 CPUtime=0.22 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 6626 0 178 0 20 2 0 0 20 0 18 0 74753950 19384713216 15704 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4732596 15704 5417 1 0 547855 0
[pid=83673/tid=83695] ppid=83661 vsize=18930384 memory=4026794268 CPUtime=0.13 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 5132 0 178 0 12 1 0 0 20 0 18 0 74753952 19384713216 15704 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74753954 19384713216 15704 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74753955 19384713216 15704 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62816 KiB

[startup+0.305833 s]*
/proc/loadavg: 3.04 3.82 3.99 13/334 83749
/proc/meminfo: memFree=113736316/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=18997320 memory=71368 CPUtime=0.4 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 7622 0 178 0 38 2 0 0 20 0 19 0 74753950 19453255680 17842 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4749330 17842 5449 1 0 548633 0
[pid=83673/tid=83695] ppid=83661 vsize=18996948 memory=-6000919498459474279 CPUtime=0.2 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 5270 0 178 0 19 1 0 0 20 0 19 0 74753952 19452874752 17779 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74753954 19452874752 17779 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74753955 19452874752 17779 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74753976 19452874752 17779 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18997320 KiB
Current children cumulated memory: 71368 KiB

[startup+0.700225 s]
/proc/loadavg: 3.04 3.82 3.99 10/335 83750
/proc/meminfo: memFree=113590160/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=18996948 memory=115052 CPUtime=1.16 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 13083 0 178 0 112 4 0 0 20 0 19 0 74753950 19452874752 28763 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4749237 28763 5449 1 0 551941 0
[pid=83673/tid=83695] ppid=83661 vsize=18996948 memory=14336 CPUtime=0.52 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 5339 0 178 0 50 2 0 0 20 0 19 0 74753952 19452874752 28763 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74753954 19452874752 28763 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74753955 19452874752 28763 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74753976 19452874752 28763 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115052 KiB

[startup+1.50025 s]
/proc/loadavg: 3.04 3.82 3.99 10/338 83753
/proc/meminfo: memFree=113315736/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=178320 CPUtime=2.73 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 22452 0 178 0 267 6 0 0 20 0 20 0 74753950 19521036288 44580 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 44580 5513 1 0 553810 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=10880 CPUtime=1.29 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 6637 0 178 0 126 3 0 0 20 0 20 0 74753952 19521036288 44580 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 44580 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 44580 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=4752 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 44580 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178320 KiB

[startup+3.10559 s]
/proc/loadavg: 3.04 3.82 3.99 5/339 83754
/proc/meminfo: memFree=111028480/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=319812 CPUtime=4.43 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 23664 0 178 0 433 10 0 0 20 0 20 0 74753950 19521036288 79953 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 79953 5513 1 0 553812 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=10880 CPUtime=2.87 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 7095 0 178 0 280 7 0 0 20 0 20 0 74753952 19521036288 79953 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 79953 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 79953 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 79953 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 319812 KiB

[startup+6.30021 s]
/proc/loadavg: 3.12 3.83 3.99 5/342 83757
/proc/meminfo: memFree=107565324/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=528800 CPUtime=7.63 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 24715 0 178 0 747 16 0 0 20 0 20 0 74753950 19521036288 132200 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 132200 5545 1 0 553812 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 7409 0 178 0 583 13 0 0 20 0 20 0 74753952 19521036288 132200 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 132200 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 132200 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 132200 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 528800 KiB

[startup+12.7002 s]
/proc/loadavg: 3.19 3.83 3.99 5/343 83758
/proc/meminfo: memFree=102749176/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=1069504 CPUtime=14.03 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 27938 0 178 0 1373 30 0 0 20 0 20 0 74753950 19521036288 267376 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 267376 5545 1 0 553812 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=10880 CPUtime=12.31 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 8471 0 178 0 1205 26 0 0 20 0 20 0 74753952 19521036288 267376 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=1069504 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 267376 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 267376 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 267376 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 14.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069504 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 3.83 3.99 5/344 83760
/proc/meminfo: memFree=98300540/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=1262016 CPUtime=26.79 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 29217 0 178 0 2643 36 0 0 20 0 20 0 74753950 19521036288 315504 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 315504 5545 1 0 553812 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=1069504 CPUtime=25.07 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 9730 0 178 0 2475 32 0 0 20 0 20 0 74753952 19521036288 315504 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 315504 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 315504 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=534944 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 315504 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1262016 KiB

[startup+51.1058 s]
/proc/loadavg: 3.66 3.87 4.00 6/344 83760
/proc/meminfo: memFree=87966676/131249996 swapFree=33004236/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=1315276 CPUtime=52.25 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 32501 0 178 0 5181 44 0 0 20 0 20 0 74753950 19521036288 328819 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 328819 5545 1 0 553812 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=1315276 CPUtime=50.48 cores=5,7

################
# More data... #
################

/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 781 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3160.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.26 4.20 5/347 83950
/proc/meminfo: memFree=1201104/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3220.4 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 100002 0 178 0 321572 468 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553813 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3208.98 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 42978 0 178 0 320522 376 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=2117728 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 781 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3220.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.24 4.19 2/323 83981
/proc/meminfo: memFree=17543740/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3278.55 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 100590 0 178 0 327382 473 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553813 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3266.98 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 43027 0 178 0 326318 380 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 794 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=14336 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3278.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.27 4.21 5/346 84018
/proc/meminfo: memFree=53599900/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3337.17 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 102106 0 178 0 333241 476 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553813 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3325.49 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 44514 0 178 0 332166 383 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 794 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3337.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/345 84020
/proc/meminfo: memFree=53056740/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3392.67 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 104975 0 178 0 338787 480 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553813 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3380.87 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 46448 0 178 0 337701 386 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=2117728 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 816 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.26 4.20 5/345 84090
/proc/meminfo: memFree=87548984/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3452.61 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 106911 0 178 0 344771 490 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553815 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=14336 CPUtime=3440.51 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 47288 0 178 0 343657 394 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 816 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=-6000919502754441575 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB

[startup+3642.3 s]
/proc/loadavg: 4.20 4.24 4.20 5/346 84100
/proc/meminfo: memFree=83973524/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2117728 CPUtime=3507.62 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 107004 0 178 0 350268 494 0 0 20 0 20 0 74753950 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 529432 5545 1 0 553815 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=9344 CPUtime=3495.32 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 47310 0 178 0 349135 397 0 0 20 0 20 0 74753952 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=2117728 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=2117728 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 529432 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3507.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2117728 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.21 4.25 4.20 8/345 84170
/proc/meminfo: memFree=113626996/131249996 swapFree=33003212/33010684
[pid=83673] ppid=83661 vsize=19063512 memory=2157892 CPUtime=3565.43 cores=5,7
/proc/83673/stat : 83673 (java) S 83661 83673 83609 0 -1 4194304 116012 0 178 0 356040 503 0 0 20 0 20 0 74753950 19521036288 539473 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
/proc/83673/statm: 4765878 539473 5545 1 0 555744 0
[pid=83673/tid=83695] ppid=83661 vsize=19063512 memory=-6000919477018519655 CPUtime=3552.72 cores=5,7
/proc/83673/task/83695/stat : 83695 (java) R 83661 83673 83609 0 -1 4194368 49927 0 178 0 354868 404 0 0 20 0 20 0 74753952 19521036288 539473 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83731] ppid=83661 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/83673/task/83731/stat : 83731 (Finalizer) S 83661 83673 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74753954 19521036288 539473 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83745] ppid=83661 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/83673/task/83745/stat : 83745 (Common-Cleaner) S 83661 83673 83609 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 74753955 19521036288 539473 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
[pid=83673/tid=83748] ppid=83661 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/83673/task/83748/stat : 83748 (Timer-0) S 83661 83673 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74753976 19521036288 539473 18446744073709551615 94844408848384 94844408852080 140726197701744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94844408859896 94844408860688 94844417253376 140726197705008 140726197705190 140726197705190 140726197710792 0
Current children cumulated CPU time: 3565.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157892 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3700.14 s]
# the end of solver process 83673 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3560.59 s, system=5.05335 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3700.11 s]*
/proc/loadavg: 4.21 4.25 4.20 5/327 84173
/proc/meminfo: memFree=113626996/131249996 swapFree=33003212/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): 3700.14
CPU time (s): 3565.64
CPU user time (s): 3560.59
CPU system time (s): 5.05335
CPU usage (%): 96.365
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2157892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.59
system time used= 5.05335
maximum resident set size= 2159044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118272
page faults= 178
swaps= 0
block input operations= 8
block output operations= 6419272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113053
involuntary context switches= 24807


# summary of solver processes directly reported to runsolver:
#   pid: 83673
#   total CPU time (s): 3565.64
#   total CPU user time (s): 3560.59
#   total CPU system time (s): 5.05335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83795 second user time and 18.0555 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 02:59:21
IDJOB=4521869
IDBENCH=178488
IDSOLVER=3364
FILE ID=nodeC023/4521869-1751590761
RUNJOBID= nodeC023-1751590761-83622
SLURM_JOB_ID= 9598847
Free space on /tmp= 431872 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521869-1751590761/watcher-4521869-1751590761 -o /tmp/evaluation-result-4521869-1751590761/solver-4521869-1751590761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751590761-83622 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4521869-1751590761 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4521869-1751590761.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= da2c432e6d1460c5833697ae1752095a
RANDOM SEED=1458068393

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.170
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.953
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3404.622
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.055
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3572.682
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.010
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3579.451
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.886
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113899916 kB
MemAvailable:   129680144 kB
Buffers:              16 kB
Cached:         16523688 kB
SwapCached:          592 kB
Active:           284688 kB
Inactive:       16318596 kB
Active(anon):      72544 kB
Inactive(anon):    20440 kB
Active(file):     212144 kB
Inactive(file): 16298156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3252 kB
Writeback:             4 kB
AnonPages:         82172 kB
Mapped:            99280 kB
Shmem:             13404 kB
KReclaimable:     218336 kB
Slab:             309468 kB
SReclaimable:     218336 kB
SUnreclaim:        91132 kB
KernelStack:        4020 kB
PageTables:         2932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     342988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431740 MiB
End job on nodeC023 at 2025-07-04 04:01:01