Trace number 4518557

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)1 3547.82 3700.14

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
MD5SUM437a1f61bbea3946ff7c4a330e95a1bf
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.047881
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables364
Total number of constraints91
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 91
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 91
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4518557-1751549193.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  objective function found
0.12/0.15	c ... done. Wall clock time 0.022s.
0.12/0.15	c declared #vars     364
0.12/0.15	c #constraints  182
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 182
0.12/0.15	c 182 constraints processed.
0.12/0.16	c objective function length is 91 literals
0.32/0.25	c SATISFIABLE
0.32/0.25	c OPTIMIZING...
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.12
0.32/0.25	o 1
1.27/0.75	c cleaning 2627 clauses out of 5260 with flag 26869/5260
1.87/1.08	c cleaning 4310 clauses out of 8633 with flag 57040/11260
2.65/1.44	c cleaning 5656 clauses out of 11323 with flag 95034/18260
3.25/1.79	c cleaning 6824 clauses out of 13667 with flag 145090/26260
4.05/2.19	c cleaning 7918 clauses out of 15843 with flag 200927/35260
4.75/2.55	c cleaning 8954 clauses out of 17925 with flag 264617/45260
5.36/2.92	c cleaning 9970 clauses out of 19970 with flag 330636/56259
5.75/3.36	c cleaning 10979 clauses out of 22000 with flag 401493/68259
6.26/3.86	c cleaning 12006 clauses out of 24024 with flag 482894/81262
6.96/4.54	c cleaning 12997 clauses out of 26015 with flag 565594/95259
7.67/5.23	c cleaning 13993 clauses out of 28019 with flag 675186/110260
8.47/6.04	c cleaning 15001 clauses out of 30026 with flag 801903/126260
9.10/6.69	c cleaning 15998 clauses out of 32025 with flag 900792/143260
9.92/7.43	c cleaning 17002 clauses out of 34027 with flag 1023214/161260
10.63/8.19	c cleaning 18003 clauses out of 36028 with flag 1136512/180263
11.53/9.05	c cleaning 19002 clauses out of 38022 with flag 1247602/200260
12.72/10.21	c cleaning 19998 clauses out of 40021 with flag 1377122/221261
14.23/11.72	c cleaning 21007 clauses out of 42021 with flag 1538573/243259
15.22/12.75	c cleaning 22000 clauses out of 44014 with flag 1686434/266259
16.22/13.77	c cleaning 22999 clauses out of 46015 with flag 1828377/290260
17.33/14.88	c cleaning 23995 clauses out of 48015 with flag 1973814/315259
18.55/16.08	c cleaning 25002 clauses out of 50022 with flag 2141311/341261
19.85/17.34	c cleaning 25995 clauses out of 52021 with flag 2309954/368262
21.18/18.62	c cleaning 26991 clauses out of 54025 with flag 2467411/396261
22.97/20.46	c cleaning 28010 clauses out of 56033 with flag 2648077/425260
24.47/21.91	c cleaning 29002 clauses out of 58023 with flag 2826344/455260
26.08/23.56	c cleaning 30000 clauses out of 60022 with flag 3027067/486261
27.87/25.31	c cleaning 31006 clauses out of 62022 with flag 3231927/518261
29.57/27.00	c cleaning 31996 clauses out of 64014 with flag 3439049/551259
31.28/28.78	c cleaning 32994 clauses out of 66019 with flag 3658403/585260
33.08/30.55	c cleaning 34003 clauses out of 68024 with flag 3869720/620259
35.01/32.69	c cleaning 34997 clauses out of 70021 with flag 4097569/656259
37.01/34.60	c cleaning 35999 clauses out of 72025 with flag 4317327/693260
39.11/36.70	c cleaning 37003 clauses out of 74025 with flag 4559092/731259
41.23/38.81	c cleaning 38003 clauses out of 76024 with flag 4800445/770261
43.45/41.06	c cleaning 38999 clauses out of 78020 with flag 5058780/810260
45.73/43.34	c cleaning 39991 clauses out of 80022 with flag 5318879/851261
48.14/45.71	c cleaning 40999 clauses out of 82029 with flag 5589370/893259
50.74/48.30	c cleaning 42001 clauses out of 84031 with flag 5875462/936260
53.67/51.11	c cleaning 43002 clauses out of 86029 with flag 6174174/980259
56.48/53.99	c cleaning 44009 clauses out of 88028 with flag 6490702/1025260
59.37/56.80	c cleaning 44990 clauses out of 90020 with flag 6787767/1071261
62.17/59.66	c cleaning 46007 clauses out of 92028 with flag 7078216/1118259
65.11/62.75	c cleaning 46990 clauses out of 94021 with flag 7382425/1166259
68.22/65.81	c cleaning 48002 clauses out of 96032 with flag 7710168/1215260
71.32/68.97	c cleaning 48999 clauses out of 98029 with flag 8041928/1265259
74.92/72.56	c cleaning 50003 clauses out of 100031 with flag 8421828/1316260
78.51/76.11	c cleaning 51008 clauses out of 102027 with flag 8783401/1368259
82.40/80.03	c cleaning 51995 clauses out of 104019 with flag 9147203/1421259
85.80/83.47	c cleaning 52997 clauses out of 106024 with flag 9515557/1475259
89.40/87.03	c cleaning 53996 clauses out of 108028 with flag 9870774/1530260
93.00/90.69	c cleaning 54992 clauses out of 110031 with flag 10216752/1586259
97.28/95.05	c cleaning 56006 clauses out of 112039 with flag 10611575/1643259
101.18/98.92	c cleaning 57004 clauses out of 114033 with flag 10986612/1701259
105.47/103.21	c cleaning 57997 clauses out of 116032 with flag 11392677/1760262
110.27/108.04	c cleaning 58996 clauses out of 118032 with flag 11829065/1820259
114.69/112.45	c cleaning 60000 clauses out of 120037 with flag 12235489/1881260
119.08/116.84	c cleaning 61002 clauses out of 122036 with flag 12677496/1943259
123.79/121.51	c cleaning 62003 clauses out of 124036 with flag 13117682/2006261
128.28/126.14	c cleaning 62998 clauses out of 126031 with flag 13549227/2070259
133.28/131.16	c cleaning 64005 clauses out of 128034 with flag 14011537/2135260
138.89/136.74	c cleaning 65003 clauses out of 130030 with flag 14479161/2201261
143.98/141.82	c cleaning 66001 clauses out of 132027 with flag 14928350/2268261
149.29/147.10	c cleaning 66996 clauses out of 134024 with flag 15401982/2336259
154.60/152.41	c cleaning 68001 clauses out of 136028 with flag 15871355/2405259
160.25/166.91	c cleaning 69003 clauses out of 138029 with flag 16345833/2475261
165.84/172.56	c cleaning 69992 clauses out of 140024 with flag 16842871/2546259
171.65/178.35	c cleaning 70998 clauses out of 142032 with flag 17344142/2618259
177.68/184.34	c cleaning 72008 clauses out of 144034 with flag 17858064/2691259
183.84/190.53	c cleaning 73007 clauses out of 146026 with flag 18361520/2765259
189.92/196.67	c cleaning 73993 clauses out of 148020 with flag 18882328/2840260
196.73/203.42	c cleaning 74998 clauses out of 150026 with flag 19441030/2916259
203.25/209.98	c cleaning 76001 clauses out of 152030 with flag 20003166/2993261
210.16/217.18	c cleaning 76998 clauses out of 154028 with flag 20540351/3071260
216.90/223.86	c cleaning 78011 clauses out of 156029 with flag 21083498/3150259
224.83/231.74	c cleaning 78994 clauses out of 158018 with flag 21697508/3230259
232.26/239.11	c cleaning 79993 clauses out of 160024 with flag 22312820/3311259
239.64/246.56	c cleaning 81009 clauses out of 162032 with flag 22963870/3393260
247.09/254.07	c cleaning 81999 clauses out of 164022 with flag 23551930/3476259
254.60/261.57	c cleaning 82998 clauses out of 166023 with flag 24137215/3560259
262.24/269.18	c cleaning 83999 clauses out of 168025 with flag 24717808/3645259
270.27/277.16	c cleaning 85006 clauses out of 170026 with flag 25325938/3731259
278.39/285.32	c cleaning 85998 clauses out of 172020 with flag 25938845/3818259
286.63/293.52	c cleaning 86997 clauses out of 174022 with flag 26585731/3906259
294.76/301.69	c cleaning 87989 clauses out of 176025 with flag 27294390/3995259
307.00/313.93	c cleaning 89006 clauses out of 178038 with flag 28045676/4085261
315.25/322.15	c cleaning 90009 clauses out of 180030 with flag 28711031/4176259
324.08/330.91	c cleaning 91003 clauses out of 182021 with flag 29354724/4268259
332.99/339.80	c cleaning 91989 clauses out of 184019 with flag 30025003/4361260
341.92/348.71	c cleaning 93005 clauses out of 186030 with flag 30714669/4455260
351.15/357.92	c cleaning 93982 clauses out of 188026 with flag 31407802/4550261
360.38/367.11	c cleaning 95013 clauses out of 190042 with flag 32096511/4646259
369.90/376.76	c cleaning 96004 clauses out of 192029 with flag 32844159/4743259
379.82/386.65	c cleaning 97003 clauses out of 194026 with flag 33633959/4841260
389.45/396.27	c cleaning 98000 clauses out of 196022 with flag 34328961/4940259
399.48/406.34	c cleaning 99000 clauses out of 198022 with flag 35075999/5040259
409.92/416.77	c cleaning 100000 clauses out of 200022 with flag 35842695/5141259
422.54/429.32	c cleaning 100999 clauses out of 202023 with flag 36687034/5243260
435.59/442.44	c cleaning 102001 clauses out of 204025 with flag 37598680/5346261
446.22/453.04	c cleaning 102999 clauses out of 206023 with flag 38391146/5450260
456.99/468.05	c cleaning 103998 clauses out of 208024 with flag 39110168/5555260
467.96/478.96	c cleaning 105001 clauses out of 210025 with flag 39884395/5661259
480.50/491.45	c cleaning 106000 clauses out of 212024 with flag 40697933/5768259
491.56/502.56	c cleaning 107004 clauses out of 214024 with flag 41490895/5876259
502.76/513.74	c cleaning 108000 clauses out of 216023 with flag 42255841/5985262
514.19/525.21	c cleaning 109002 clauses out of 218021 with flag 43059182/6095260
525.90/536.94	c cleaning 109995 clauses out of 220019 with flag 43846997/6206260
538.47/549.49	c cleaning 111004 clauses out of 222023 with flag 44750032/6318259
561.01/572.07	c cleaning 112002 clauses out of 224019 with flag 45756028/6431259
574.57/585.68	c cleaning 112998 clauses out of 226017 with flag 46674325/6545259
587.26/598.21	c cleaning 114001 clauses out of 228019 with flag 47541827/6660259
600.00/610.90	c cleaning 115003 clauses out of 230019 with flag 48396043/6776260
612.90/623.94	c cleaning 115999 clauses out of 232015 with flag 49275893/6893259
625.60/636.62	c cleaning 116993 clauses out of 234016 with flag 50133787/7011259
639.17/650.28	c cleaning 118003 clauses out of 236023 with flag 51018524/7130259
652.58/663.66	c cleaning 118993 clauses out of 238020 with flag 51945274/7250259
666.60/677.73	c cleaning 120006 clauses out of 240028 with flag 52931481/7371260
680.50/691.61	c cleaning 121003 clauses out of 242021 with flag 53825640/7493259
694.77/705.84	c cleaning 122004 clauses out of 244019 with flag 54762387/7616260
708.51/719.64	c cleaning 122997 clauses out of 246014 with flag 55695260/7740259
722.30/733.45	c cleaning 123994 clauses out of 248019 with flag 56641643/7865261
736.78/748.00	c cleaning 124992 clauses out of 250024 with flag 57557271/7991260
751.69/762.82	c cleaning 126001 clauses out of 252031 with flag 58515390/8118259
767.86/779.07	c cleaning 127001 clauses out of 254030 with flag 59562673/8246259
781.88/793.09	c cleaning 127997 clauses out of 256029 with flag 60520236/8375259
796.98/808.26	c cleaning 129006 clauses out of 258032 with flag 61458325/8505259
812.71/823.97	c cleaning 130009 clauses out of 260028 with flag 62402788/8636261
828.54/839.84	c cleaning 130999 clauses out of 262018 with flag 63357095/8768260
845.47/856.79	c cleaning 131992 clauses out of 264018 with flag 64391668/8901259
861.56/872.84	c cleaning 132997 clauses out of 266026 with flag 65413407/9035259
877.79/889.04	c cleaning 134004 clauses out of 268029 with flag 66445539/9170259
895.08/906.46	c cleaning 135005 clauses out of 270025 with flag 67523955/9306259
911.72/923.12	c cleaning 136000 clauses out of 272022 with flag 68536412/9443261
928.42/939.85	c cleaning 136991 clauses out of 274020 with flag 69587417/9581259
946.13/957.81	c cleaning 138005 clauses out of 276030 with flag 70678797/9720260
963.05/974.78	c cleaning 139001 clauses out of 278026 with flag 71707078/9860261
983.32/995.04	c cleaning 139999 clauses out of 280027 with flag 72981634/10001263
1000.78/1012.48	c cleaning 140984 clauses out of 282024 with flag 74078864/10143259
1019.25/1030.96	c cleaning 142011 clauses out of 284040 with flag 75133372/10286259
1036.96/1048.79	c cleaning 143004 clauses out of 286029 with flag 76221544/10430259
1055.18/1066.97	c cleaning 143991 clauses out of 288025 with flag 77365542/10575259
1074.07/1085.80	c cleaning 145007 clauses out of 290034 with flag 78513768/10721259
1092.30/1104.09	c cleaning 146000 clauses out of 292027 with flag 79637404/10868259
1110.88/1122.79	c cleaning 147002 clauses out of 294030 with flag 80796245/11016262
1130.64/1142.56	c cleaning 147998 clauses out of 296025 with flag 81948141/11165259
1151.26/1163.10	c cleaning 149001 clauses out of 298028 with flag 83102406/11315260
1173.44/1185.28	c cleaning 150001 clauses out of 300026 with flag 84446441/11466259
1194.82/1206.77	c cleaning 150995 clauses out of 302026 with flag 85777490/11618260
1217.36/1229.20	c cleaning 152006 clauses out of 304031 with flag 87046387/11771260
1237.51/1249.53	c cleaning 152993 clauses out of 306024 with flag 88180391/11925259
1257.62/1269.89	c cleaning 154003 clauses out of 308031 with flag 89340632/12080259
1278.70/1290.91	c cleaning 155007 clauses out of 310029 with flag 90558456/12236260
1299.67/1312.03	c cleaning 155998 clauses out of 312021 with flag 91746209/12393259
1320.86/1333.34	c cleaning 156992 clauses out of 314023 with flag 92987492/12551259
1342.83/1355.49	c cleaning 157984 clauses out of 316032 with flag 94197120/12710260
1365.02/1377.63	c cleaning 159013 clauses out of 318048 with flag 95419498/12870260
1386.95/1399.63	c cleaning 160004 clauses out of 320034 with flag 96653038/13031259
1409.50/1422.34	c cleaning 161000 clauses out of 322031 with flag 97874180/13193260
1431.42/1444.22	c cleaning 162005 clauses out of 324030 with flag 99140298/13356259
1454.39/1467.31	c cleaning 163005 clauses out of 326026 with flag 100452023/13520260
1477.51/1490.49	c cleaning 164001 clauses out of 328021 with flag 101748164/13685260
1500.88/1513.97	c cleaning 164996 clauses out of 330019 with flag 103091044/13851259
1524.51/1537.66	c cleaning 165997 clauses out of 332025 with flag 104436030/14018261
1547.54/1560.69	c cleaning 167006 clauses out of 334030 with flag 105752674/14186263
1572.16/1585.24	c cleaning 168001 clauses out of 336020 with flag 107174539/14355259
1595.77/1608.92	c cleaning 168994 clauses out of 338020 with flag 108477897/14525260
1620.00/1633.23	c cleaning 170004 clauses out of 340025 with flag 109802764/14696259
1643.82/1657.01	c cleaning 170998 clauses out of 342022 with flag 111097535/14868260
1670.27/1683.50	c cleaning 172000 clauses out of 344023 with flag 112538535/15041259
1694.85/1708.14	c cleaning 173000 clauses out of 346025 with flag 113883777/15215261
1719.71/1733.00	c cleaning 174002 clauses out of 348023 with flag 115224535/15390259
1745.79/1759.21	c cleaning 174979 clauses out of 350021 with flag 116653450/15566259
1771.66/1793.72	c cleaning 176015 clauses out of 352044 with flag 118121016/15743261
1797.59/1819.76	c cleaning 177008 clauses out of 354028 with flag 119494864/15921260
1824.01/1846.20	c cleaning 177994 clauses out of 356019 with flag 120902917/16100259
1850.83/1873.04	c cleaning 179006 clauses out of 358025 with flag 122371777/16280259
1878.10/1907.29	c cleaning 180004 clauses out of 360019 with flag 123823448/16461259
1905.66/1944.97	c cleaning 180994 clauses out of 362015 with flag 125336605/16643259
1933.33/1972.62	c cleaning 182001 clauses out of 364021 with flag 126758015/16826259
1961.44/2000.82	c cleaning 183002 clauses out of 366021 with flag 128271264/17010260
1991.15/2038.09	c cleaning 183993 clauses out of 368019 with flag 129996112/17195260
2036.59/2083.69	c cleaning 184987 clauses out of 370025 with flag 131998267/17381259
2065.50/2112.59	c cleaning 186013 clauses out of 372040 with flag 133599589/17568261
2094.67/2141.82	c cleaning 186994 clauses out of 374026 with flag 135087558/17756260
2128.98/2176.24	c cleaning 188000 clauses out of 376031 with flag 136757706/17945259
2159.07/2206.22	c cleaning 188992 clauses out of 378033 with flag 138404584/18135261
2189.24/2236.42	c cleaning 190006 clauses out of 380040 with flag 139898733/18326260
2218.19/2265.40	c cleaning 191012 clauses out of 382034 with flag 141362265/18518260
2248.84/2323.68	c cleaning 192000 clauses out of 384021 with flag 142935040/18711259
2281.14/2356.09	c cleaning 192992 clauses out of 386022 with flag 144629618/18905260
2325.22/2400.22	c cleaning 193995 clauses out of 388031 with flag 146669817/19100261
2356.35/2431.22	c cleaning 195000 clauses out of 390034 with flag 148355060/19296259
2387.93/2462.91	c cleaning 196002 clauses out of 392034 with flag 149991858/19493259
2419.82/2494.92	c cleaning 196992 clauses out of 394032 with flag 151656020/19691259
2452.44/2535.13	c cleaning 197993 clauses out of 396040 with flag 153269931/19890259
2484.71/2567.35	c cleaning 199005 clauses out of 398047 with flag 154863008/20090259
2518.29/2601.02	c cleaning 200007 clauses out of 400042 with flag 156500282/20291259
2550.74/2636.25	c cleaning 201001 clauses out of 402035 with flag 158122357/20493259
2585.29/2671.15	c cleaning 202011 clauses out of 404034 with flag 159767391/20696259
2618.11/2706.98	c cleaning 202991 clauses out of 406023 with flag 161516214/20900259
2651.28/2740.25	c cleaning 204014 clauses out of 408033 with flag 163258732/21105260
2686.30/2775.32	c cleaning 205002 clauses out of 410019 with flag 164951504/21311260
2720.18/2814.98	c cleaning 205999 clauses out of 412016 with flag 166649024/21518259
2755.11/2849.99	c cleaning 206996 clauses out of 414018 with flag 168317446/21726260
2790.05/2884.95	c cleaning 207999 clauses out of 416021 with flag 170019445/21935259
2825.30/2929.38	c cleaning 209003 clauses out of 418022 with flag 171672120/22145259
2861.29/2965.44	c cleaning 210000 clauses out of 420020 with flag 173389000/22356260
2897.33/3001.50	c cleaning 210997 clauses out of 422020 with flag 175102855/22568260
2934.83/3039.14	c cleaning 212002 clauses out of 424025 with flag 176895854/22781262
2971.20/3075.59	c cleaning 212997 clauses out of 426021 with flag 178716977/22995260
3011.04/3115.51	c cleaning 213999 clauses out of 428024 with flag 180465639/23210260
3048.16/3154.12	c cleaning 214999 clauses out of 430024 with flag 182212374/23426259
3084.89/3199.14	c cleaning 216004 clauses out of 432026 with flag 183936198/23643260
3122.00/3245.42	c cleaning 217002 clauses out of 434021 with flag 185756868/23861259
3160.68/3284.33	c cleaning 217993 clauses out of 436019 with flag 187642419/24080259
3202.88/3326.80	c cleaning 219001 clauses out of 438027 with flag 189609896/24300260
3241.32/3365.38	c cleaning 220005 clauses out of 440027 with flag 191464773/24521261
3281.09/3405.29	c cleaning 220996 clauses out of 442020 with flag 193267763/24743259
3321.09/3445.38	c cleaning 222007 clauses out of 444026 with flag 195123475/24966261
3360.09/3484.66	c cleaning 222993 clauses out of 446018 with flag 196956648/25190260
3398.61/3523.39	c cleaning 223998 clauses out of 448024 with flag 198922081/25415259
3448.71/3573.71	c cleaning 225014 clauses out of 450028 with flag 201322442/25641261
3491.77/3616.75	c cleaning 226004 clauses out of 452013 with flag 203221036/25868260
3531.15/3678.07	c cleaning 226995 clauses out of 454008 with flag 205068098/26096259
3547.58/3700.01	c starts		: 46453
3547.58/3700.02	c conflicts		: 26203523
3547.58/3700.02	c decisions		: 36359353
3547.58/3700.02	c propagations		: 567089475
3547.58/3700.02	c inspects		: 58737751620
3547.58/3700.02	c shortcuts		: 0
3547.58/3700.02	c learnt literals	: 0
3547.58/3700.02	c learnt binary clauses	: 0
3547.58/3700.02	c learnt ternary clauses	: 0
3547.58/3700.02	c learnt constraints	: 26203523
3547.58/3700.02	c ignored constraints	: 0
3547.58/3700.02	c root simplifications	: 0
3547.58/3700.02	c removed literals (reason simplification)	: 43574523
3547.58/3700.02	c reason swapping (by a shorter reason)	: 0
3547.58/3700.02	c Calls to reduceDB	: 224
3547.58/3700.02	c Number of update (reduction) of LBD	: 7918845
3547.58/3700.03	c Imported unit clauses	: 0
3547.58/3700.03	c No decision after first conflict	: false
3547.58/3700.03	c number of reductions to clauses (during analyze)	: 0
3547.58/3700.03	c number of learned constraints concerned by reduction	: 0
3547.58/3700.03	c number of learning phase by resolution	: 0
3547.58/3700.03	c number of learning phase by cutting planes	: 0
3547.58/3700.03	c number of rounding to 1 operations	: 0
3547.58/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3547.58/3700.03	c number of reductions of the coefficients by power 2 	: 0
3547.58/3700.03	c number of right shift for reduction by power 2 	: 0
3547.58/3700.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3547.58/3700.03	c number of ending skipping 	: 0
3547.58/3700.04	c number of internal skipping 	: 0
3547.58/3700.04	c number of derivation steps 	: 0
3547.58/3700.04	c number of skipped derivation steps 	: 0
3547.58/3700.04	c number of remaining unassigned 	: 0
3547.58/3700.04	c number of remaining assigned 	: 0
3547.58/3700.04	c number of falsified literals weakened from reason	: 0
3547.58/3700.04	c number of falsified literals weakened from conflict	: 0
3547.58/3700.04	c time for arithmetic operations	: 0
3547.58/3700.04	c minimum degree of deleted constraints	: null
3547.58/3700.04	c maximum degree of deleted constraints	: null
3547.58/3700.04	c number of deleted constraints	: 0
3547.58/3700.04	c speed (assignments/second)	: 153272.7695100721
3547.58/3700.04	c non guided choices	: 74401
3547.78/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 334277
3547.78/3700.11	s SATISFIABLE
3547.78/3700.11	c Found 1 solution(s)
3547.78/3700.11	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 
3547.78/3700.12	c objective function=1
3547.78/3700.12	c Total wall clock time (in seconds): 3699.987

Verifier Data 

OK	1

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78052, runsolver pid=78049
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 3.93 3.97 3.82 4/322 78070
/proc/meminfo: memFree=53729552/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=18930384 memory=57880 CPUtime=0.12 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 6584 0 0 0 11 1 0 0 20 0 18 0 70593892 19384713216 14470 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4732596 14470 5362 1 0 547629 0
[pid=78052/tid=78054] ppid=78049 vsize=18930384 memory=4026531959 CPUtime=0.08 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 5084 0 0 0 7 1 0 0 20 0 18 0 70593893 19384713216 14470 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=18930384 memory=224227767622 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70593895 19384713216 14470 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=18930384 memory=28919 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70593896 19384713216 14470 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.205827 s]*
/proc/loadavg: 3.93 3.97 3.82 6/323 78071
/proc/meminfo: memFree=53723948/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=18996948 memory=64616 CPUtime=0.32 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 7164 0 0 0 30 2 0 0 20 0 19 0 70593892 19452874752 16154 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4749237 16154 5458 1 0 548262 0
[pid=78052/tid=78054] ppid=78049 vsize=18996948 memory=4026788379 CPUtime=0.18 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) S 78049 78052 77286 0 -1 4194368 5397 0 0 0 17 1 0 0 20 0 19 0 70593893 19452874752 16154 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=18996948 memory=219932787024 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70593895 19452874752 16154 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=18996948 memory=54087446195522 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70593896 19452874752 16154 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=18996948 memory=3832616300891681242 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70593909 19452874752 16154 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64616 KiB

[startup+0.305748 s]*
/proc/loadavg: 3.93 3.97 3.82 6/323 78071
/proc/meminfo: memFree=53713240/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=18996948 memory=77872 CPUtime=0.51 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 8605 0 0 0 48 3 0 0 20 0 19 0 70593892 19452874752 19468 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4749237 19468 5458 1 0 548877 0
[pid=78052/tid=78054] ppid=78049 vsize=18996948 memory=-6000919468428649576 CPUtime=0.24 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 5428 0 0 0 23 1 0 0 20 0 19 0 70593893 19452874752 19468 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70593895 19452874752 19468 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70593896 19452874752 19468 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70593909 19452874752 19468 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77872 KiB

[startup+0.700237 s]
/proc/loadavg: 3.93 3.97 3.82 5/323 78071
/proc/meminfo: memFree=53654704/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=18996948 memory=159632 CPUtime=1.27 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 15940 0 0 0 121 6 0 0 20 0 19 0 70593892 19452874752 39908 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4749237 39908 5458 1 0 552864 0
[pid=78052/tid=78054] ppid=78049 vsize=18996948 memory=18176 CPUtime=0.6 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 5485 0 0 0 57 3 0 0 20 0 19 0 70593893 19452874752 39908 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70593895 19452874752 39908 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70593896 19452874752 39908 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70593909 19452874752 39908 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159632 KiB

[startup+1.50023 s]
/proc/loadavg: 3.93 3.97 3.82 5/324 78072
/proc/meminfo: memFree=53594088/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=174348 CPUtime=2.85 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 23318 0 0 0 277 8 0 0 20 0 20 0 70593892 19521036288 43587 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 43587 5490 1 0 554016 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=10752 CPUtime=1.37 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 5962 0 0 0 133 4 0 0 20 0 20 0 70593893 19521036288 43587 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 43587 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 43587 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=224194199869 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 43587 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174348 KiB

[startup+3.10559 s]
/proc/loadavg: 3.94 3.97 3.82 4/324 78072
/proc/meminfo: memFree=53390832/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=361472 CPUtime=5.56 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 25592 0 0 0 543 13 0 0 20 0 20 0 70593892 19521036288 90368 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 90368 5490 1 0 554019 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=10752 CPUtime=2.96 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 6610 0 0 0 288 8 0 0 20 0 20 0 70593893 19521036288 90368 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=-6000919468428649576 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 90368 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 90368 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=33 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 90368 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 361472 KiB

[startup+6.3002 s]
/proc/loadavg: 3.94 3.97 3.82 4/324 78072
/proc/meminfo: memFree=53069980/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=769772 CPUtime=8.8 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 26321 0 0 0 856 24 0 0 20 0 20 0 70593892 19521036288 192443 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 192443 5490 1 0 554020 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=0 CPUtime=6.14 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 7137 0 0 0 596 18 0 0 20 0 20 0 70593893 19521036288 192443 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 192443 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=7308050652946131047 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 192443 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=186792 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 192443 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 769772 KiB

[startup+12.7002 s]
/proc/loadavg: 3.94 3.97 3.82 5/324 78072
/proc/meminfo: memFree=52385924/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=1314588 CPUtime=15.22 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 29539 0 0 0 1483 39 0 0 20 0 20 0 70593892 19521036288 328647 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 328647 5490 1 0 554020 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=186792 CPUtime=12.5 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 8234 0 0 0 1218 32 0 0 20 0 20 0 70593893 19521036288 328647 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=-6000919468428649576 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 328647 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=1310492 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 328647 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=254735 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 328647 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314588 KiB

[startup+25.5002 s]
/proc/loadavg: 3.87 3.95 3.82 4/324 78072
/proc/meminfo: memFree=52157328/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=1318820 CPUtime=28.07 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 34633 0 0 0 2759 48 0 0 20 0 20 0 70593892 19521036288 329705 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 329705 5522 1 0 554020 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=254735 CPUtime=25.25 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 9590 0 0 0 2484 41 0 0 20 0 20 0 70593893 19521036288 329705 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=1314588 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 329705 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 329705 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=1314588 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 329705 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 28.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1318820 KiB

[startup+51.1059 s]
/proc/loadavg: 3.72 3.91 3.81 4/324 78073
/proc/meminfo: memFree=51661972/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=1335560 CPUtime=53.67 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 41008 0 0 0 5301 66 0 0 20 0 20 0 70593892 19521036288 333890 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 333890 5522 1 0 554020 0

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

[startup+3342.3 s]
/proc/loadavg: 3.12 3.14 3.16 4/320 78396
/proc/meminfo: memFree=83676088/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3218.42 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 101401 0 0 0 320864 978 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555954 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3192.39 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 41164 0 0 0 318342 897 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1501 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3218.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

[startup+3402.3 s]
/proc/loadavg: 3.04 3.12 3.15 4/320 78401
/proc/meminfo: memFree=83091108/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3278.2 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 102448 0 0 0 326829 991 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555954 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3251.79 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 41900 0 0 0 324271 908 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3278.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

[startup+3462.3 s]
/proc/loadavg: 3.26 3.16 3.16 4/319 78403
/proc/meminfo: memFree=82493836/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3337.95 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 102717 0 0 0 332789 1006 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555956 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3311.17 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 42050 0 0 0 330195 922 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1608 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3337.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

[startup+3522.3 s]
/proc/loadavg: 3.29 3.20 3.18 5/320 78410
/proc/meminfo: memFree=81903384/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3397.6 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 102928 0 0 0 338741 1019 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555959 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3370.56 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 42089 0 0 0 336122 934 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1608 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=6900 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3397.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.17 3.17 4/320 78413
/proc/meminfo: memFree=81355012/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3457.37 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 103479 0 0 0 344706 1031 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555959 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3429.87 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 42475 0 0 0 342043 944 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1608 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3457.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

[startup+3642.3 s]
/proc/loadavg: 3.11 3.16 3.17 2/320 78416
/proc/meminfo: memFree=80812448/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3506.24 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 104636 0 0 0 349582 1042 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555959 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=5276 CPUtime=3478.32 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) D 78049 78052 77286 0 -1 4194368 43269 0 0 0 346878 954 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3506.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.08 3.14 3.16 4/320 78418
/proc/meminfo: memFree=80361676/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19063512 memory=2172880 CPUtime=3547.58 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 105500 0 0 0 353706 1052 0 0 20 0 20 0 70593892 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4765878 543220 5554 1 0 555959 0
[pid=78052/tid=78054] ppid=78049 vsize=19063512 memory=6784 CPUtime=3519.49 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 44038 0 0 0 350987 962 0 0 20 0 20 0 70593893 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19063512 memory=2220 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70593895 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19063512 memory=4210474914148937374 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 70593896 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78071] ppid=78049 vsize=19063512 memory=4624 CPUtime=0 cores=1,3
/proc/78052/task/78071/stat : 78071 (Timer-0) S 78049 78052 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70593909 19521036288 543220 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3547.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3537.29 s, system=10.535 s

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

[startup+3700.11 s]
/proc/loadavg: 3.08 3.14 3.16 4/320 78418
/proc/meminfo: memFree=80361676/131249992 swapFree=33009392/33010684
[pid=78052] ppid=78049 vsize=19263204 memory=2173904 CPUtime=3547.78 cores=1,3
/proc/78052/stat : 78052 (java) S 78049 78052 77286 0 -1 4194304 107720 0 0 0 353726 1052 0 0 20 0 21 0 70593892 19725520896 543476 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
/proc/78052/statm: 4815801 543476 5586 1 0 556912 0
[pid=78052/tid=78054] ppid=78049 vsize=19263204 memory=5276 CPUtime=3519.59 cores=1,3
/proc/78052/task/78054/stat : 78054 (java) R 78049 78052 77286 0 -1 4194368 44141 0 0 0 350997 962 0 0 20 0 21 0 70593893 19725520896 543476 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78063] ppid=78049 vsize=19263204 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78063/stat : 78063 (Finalizer) S 78049 78052 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70593895 19725520896 543476 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
[pid=78052/tid=78070] ppid=78049 vsize=19263204 memory=2172880 CPUtime=0 cores=1,3
/proc/78052/task/78070/stat : 78070 (Common-Cleaner) S 78049 78052 77286 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 21 0 70593896 19725520896 543476 18446744073709551615 94459015716864 94459015720560 140734198756400 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94459015728376 94459015729168 94459019382784 140734198761776 140734198761958 140734198761958 140734198767560 0
Current children cumulated CPU time: 3547.78 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173904 KiB

Child status: 143

Real time (s): 3700.14
CPU time (s): 3547.82
CPU user time (s): 3537.29
CPU system time (s): 10.535
CPU usage (%): 95.8836
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.29
system time used= 10.535
maximum resident set size= 2174032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17746528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123675
involuntary context switches= 7883


# summary of solver processes directly reported to runsolver:
#   pid: 78052
#   total CPU time (s): 3547.82
#   total CPU user time (s): 3537.29
#   total CPU system time (s): 10.535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51547 second user time and 17.1295 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 15:26:34
IDJOB=4518557
IDBENCH=177061
IDSOLVER=3364
FILE ID=nodeC035/4518557-1751549193
RUNJOBID= nodeC035-1751542865-77323
SLURM_JOB_ID= 9598708
Free space on /tmp= 432816 MiB

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

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

MD5SUM BENCH= 437a1f61bbea3946ff7c4a330e95a1bf
RANDOM SEED=684154105

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.889
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
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.51
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		: 3603.162
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.51
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		: 3601.436
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.739
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.51
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		: 3601.313
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.51
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		: 3514.084
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.51
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		: 3700.000
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        53760912 kB
MemAvailable:   104085600 kB
Buffers:             664 kB
Cached:         51052408 kB
SwapCached:          332 kB
Active:         25918416 kB
Inactive:       50754244 kB
Active(anon):   25615960 kB
Inactive(anon):    21060 kB
Active(file):     302456 kB
Inactive(file): 50733184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1380408 kB
Writeback:             0 kB
AnonPages:      25616632 kB
Mapped:           123840 kB
Shmem:             17700 kB
KReclaimable:     264768 kB
Slab:             401872 kB
SReclaimable:     264768 kB
SUnreclaim:       137104 kB
KernelStack:        4944 kB
PageTables:        53436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   26090564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20598784 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432812 MiB
End job on nodeC035 at 2025-07-03 16:28:14