Trace number 4518556

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 2025-06-06SAT (TO)1 3600.29 3609.24

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.08	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-4518556-1751551812.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.12/0.15	c ... done. Wall clock time 0.021s.
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.21	c SATISFIABLE
0.32/0.21	c OPTIMIZING...
0.32/0.21	c Got one! Elapsed wall clock time (in seconds):0.082
0.32/0.21	o 1
0.71/0.48	c cleaning 2627 clauses out of 5260 with flag 26869/5260
1.27/0.72	c cleaning 4310 clauses out of 8633 with flag 57040/11260
1.67/0.93	c cleaning 5656 clauses out of 11323 with flag 95034/18260
2.01/1.13	c cleaning 6824 clauses out of 13667 with flag 145090/26260
2.23/1.37	c cleaning 7918 clauses out of 15843 with flag 200927/35260
2.63/1.62	c cleaning 8954 clauses out of 17925 with flag 264617/45260
2.83/1.89	c cleaning 9970 clauses out of 19970 with flag 330636/56259
3.22/2.20	c cleaning 10979 clauses out of 22000 with flag 401493/68259
3.52/2.55	c cleaning 12006 clauses out of 24024 with flag 482894/81262
4.02/3.06	c cleaning 12997 clauses out of 26015 with flag 565594/95259
4.62/3.60	c cleaning 13993 clauses out of 28019 with flag 675186/110260
5.22/4.26	c cleaning 15001 clauses out of 30026 with flag 801903/126260
5.74/4.74	c cleaning 15998 clauses out of 32025 with flag 900792/143260
6.35/5.30	c cleaning 17002 clauses out of 34027 with flag 1023214/161260
6.85/5.84	c cleaning 18003 clauses out of 36028 with flag 1136512/180263
7.46/6.45	c cleaning 19002 clauses out of 38022 with flag 1247602/200260
8.45/7.40	c cleaning 19998 clauses out of 40021 with flag 1377122/221261
9.64/8.67	c cleaning 21007 clauses out of 42021 with flag 1538573/243259
10.43/9.46	c cleaning 22000 clauses out of 44014 with flag 1686434/266259
11.22/10.24	c cleaning 22999 clauses out of 46015 with flag 1828377/290260
12.02/11.09	c cleaning 23995 clauses out of 48015 with flag 1973814/315259
13.01/12.01	c cleaning 25002 clauses out of 50022 with flag 2141311/341261
13.91/12.98	c cleaning 25995 clauses out of 52021 with flag 2309954/368262
15.00/14.04	c cleaning 26991 clauses out of 54025 with flag 2467411/396261
16.59/15.68	c cleaning 28010 clauses out of 56033 with flag 2648077/425260
17.78/16.87	c cleaning 29002 clauses out of 58023 with flag 2826344/455260
19.16/18.26	c cleaning 30000 clauses out of 60022 with flag 3027067/486261
20.66/19.73	c cleaning 31006 clauses out of 62022 with flag 3231927/518261
22.05/21.14	c cleaning 31996 clauses out of 64014 with flag 3439049/551259
23.57/22.64	c cleaning 32994 clauses out of 66019 with flag 3658403/585260
25.08/24.14	c cleaning 34003 clauses out of 68024 with flag 3869720/620259
26.77/25.82	c cleaning 34997 clauses out of 70021 with flag 4097569/656259
28.37/27.42	c cleaning 35999 clauses out of 72025 with flag 4317327/693260
30.16/29.24	c cleaning 37003 clauses out of 74025 with flag 4559092/731259
32.00/31.08	c cleaning 38003 clauses out of 76024 with flag 4800445/770261
33.89/32.96	c cleaning 38999 clauses out of 78020 with flag 5058780/810260
35.79/34.89	c cleaning 39991 clauses out of 80022 with flag 5318879/851261
37.78/36.88	c cleaning 40999 clauses out of 82029 with flag 5589370/893259
40.08/39.11	c cleaning 42001 clauses out of 84031 with flag 5875462/936260
42.49/41.55	c cleaning 43002 clauses out of 86029 with flag 6174174/980259
44.97/44.07	c cleaning 44009 clauses out of 88028 with flag 6490702/1025260
47.45/46.53	c cleaning 44990 clauses out of 90020 with flag 6787767/1071261
49.83/48.97	c cleaning 46007 clauses out of 92028 with flag 7078216/1118259
52.45/51.50	c cleaning 46990 clauses out of 94021 with flag 7382425/1166259
55.05/54.13	c cleaning 48002 clauses out of 96032 with flag 7710168/1215260
57.74/56.88	c cleaning 48999 clauses out of 98029 with flag 8041928/1265259
60.93/60.05	c cleaning 50003 clauses out of 100031 with flag 8421828/1316260
64.04/63.19	c cleaning 51008 clauses out of 102027 with flag 8783401/1368259
67.51/66.66	c cleaning 51995 clauses out of 104019 with flag 9147203/1421259
70.49/69.63	c cleaning 52997 clauses out of 106024 with flag 9515557/1475259
73.62/72.75	c cleaning 53996 clauses out of 108028 with flag 9870774/1530260
76.71/75.86	c cleaning 54992 clauses out of 110031 with flag 10216752/1586259
80.51/79.62	c cleaning 56006 clauses out of 112039 with flag 10611575/1643259
83.94/83.00	c cleaning 57004 clauses out of 114033 with flag 10986612/1701259
87.63/86.76	c cleaning 57997 clauses out of 116032 with flag 11392677/1760262
91.93/91.07	c cleaning 58996 clauses out of 118032 with flag 11829065/1820259
95.72/94.87	c cleaning 60000 clauses out of 120037 with flag 12235489/1881260
99.63/98.72	c cleaning 61002 clauses out of 122036 with flag 12677496/1943259
103.63/102.74	c cleaning 62003 clauses out of 124036 with flag 13117682/2006261
107.53/106.61	c cleaning 62998 clauses out of 126031 with flag 13549227/2070259
111.81/110.96	c cleaning 64005 clauses out of 128034 with flag 14011537/2135260
116.66/115.80	c cleaning 65003 clauses out of 130030 with flag 14479161/2201261
120.93/120.16	c cleaning 66001 clauses out of 132027 with flag 14928350/2268261
125.44/124.68	c cleaning 66996 clauses out of 134024 with flag 15401982/2336259
129.94/129.17	c cleaning 68001 clauses out of 136028 with flag 15871355/2405259
134.72/133.95	c cleaning 69003 clauses out of 138029 with flag 16345833/2475261
139.62/138.81	c cleaning 69992 clauses out of 140024 with flag 16842871/2546259
144.54/143.79	c cleaning 70998 clauses out of 142032 with flag 17344142/2618259
149.63/148.89	c cleaning 72008 clauses out of 144034 with flag 17858064/2691259
154.82/154.09	c cleaning 73007 clauses out of 146026 with flag 18361520/2765259
160.10/159.35	c cleaning 73993 clauses out of 148020 with flag 18882328/2840260
165.91/165.19	c cleaning 74998 clauses out of 150026 with flag 19441030/2916259
171.55/170.83	c cleaning 76001 clauses out of 152030 with flag 20003166/2993261
177.40/176.76	c cleaning 76998 clauses out of 154028 with flag 20540351/3071260
183.05/182.50	c cleaning 78011 clauses out of 156029 with flag 21083498/3150259
189.89/189.35	c cleaning 78994 clauses out of 158018 with flag 21697508/3230259
196.24/195.77	c cleaning 79993 clauses out of 160024 with flag 22312820/3311259
202.87/202.40	c cleaning 81009 clauses out of 162032 with flag 22963870/3393260
209.38/208.95	c cleaning 81999 clauses out of 164022 with flag 23551930/3476259
215.92/215.55	c cleaning 82998 clauses out of 166023 with flag 24137215/3560259
222.57/222.23	c cleaning 83999 clauses out of 168025 with flag 24717808/3645259
229.51/229.28	c cleaning 85006 clauses out of 170026 with flag 25325938/3731259
236.70/236.48	c cleaning 85998 clauses out of 172020 with flag 25938845/3818259
243.94/243.72	c cleaning 86997 clauses out of 174022 with flag 26585731/3906259
251.07/250.93	c cleaning 87989 clauses out of 176025 with flag 27294390/3995259
261.99/261.96	c cleaning 89006 clauses out of 178038 with flag 28045676/4085261
269.13/269.19	c cleaning 90009 clauses out of 180030 with flag 28711031/4176259
276.91/276.99	c cleaning 91003 clauses out of 182021 with flag 29354724/4268259
284.74/284.83	c cleaning 91989 clauses out of 184019 with flag 30025003/4361260
292.57/292.73	c cleaning 93005 clauses out of 186030 with flag 30714669/4455260
300.60/300.89	c cleaning 93982 clauses out of 188026 with flag 31407802/4550261
308.74/309.05	c cleaning 95013 clauses out of 190042 with flag 32096511/4646259
317.18/317.51	c cleaning 96004 clauses out of 192029 with flag 32844159/4743259
326.02/326.36	c cleaning 97003 clauses out of 194026 with flag 33633959/4841260
334.50/334.85	c cleaning 98000 clauses out of 196022 with flag 34328961/4940259
343.39/343.73	c cleaning 99000 clauses out of 198022 with flag 35075999/5040259
352.67/353.04	c cleaning 100000 clauses out of 200022 with flag 35842695/5141259
363.84/364.27	c cleaning 100999 clauses out of 202023 with flag 36687034/5243260
375.63/376.02	c cleaning 102001 clauses out of 204025 with flag 37598680/5346261
385.01/385.49	c cleaning 102999 clauses out of 206023 with flag 38391146/5450260
394.69/395.14	c cleaning 103998 clauses out of 208024 with flag 39110168/5555260
404.70/405.02	c cleaning 105001 clauses out of 210025 with flag 39884395/5661259
415.87/416.24	c cleaning 106000 clauses out of 212024 with flag 40697933/5768259
425.65/426.03	c cleaning 107004 clauses out of 214024 with flag 41490895/5876259
435.53/435.98	c cleaning 108000 clauses out of 216023 with flag 42255841/5985262
445.71/446.14	c cleaning 109002 clauses out of 218021 with flag 43059182/6095260
456.19/456.66	c cleaning 109995 clauses out of 220019 with flag 43846997/6206260
467.49/467.97	c cleaning 111004 clauses out of 222023 with flag 44750032/6318259
488.02/488.69	c cleaning 112002 clauses out of 224019 with flag 45756028/6431259
500.21/500.96	c cleaning 112998 clauses out of 226017 with flag 46674325/6545259
511.42/512.27	c cleaning 114001 clauses out of 228019 with flag 47541827/6660259
522.89/523.72	c cleaning 115003 clauses out of 230019 with flag 48396043/6776260
534.74/535.53	c cleaning 115999 clauses out of 232015 with flag 49275893/6893259
546.05/546.98	c cleaning 116993 clauses out of 234016 with flag 50133787/7011259
558.34/559.32	c cleaning 118003 clauses out of 236023 with flag 51018524/7130259
570.33/571.41	c cleaning 118993 clauses out of 238020 with flag 51945274/7250259
583.03/584.20	c cleaning 120006 clauses out of 240028 with flag 52931481/7371260
595.52/596.87	c cleaning 121003 clauses out of 242021 with flag 53825640/7493259
608.83/609.91	c cleaning 122004 clauses out of 244019 with flag 54762387/7616260
621.21/622.31	c cleaning 122997 clauses out of 246014 with flag 55695260/7740259
633.58/634.77	c cleaning 123994 clauses out of 248019 with flag 56641643/7865261
646.75/647.91	c cleaning 124992 clauses out of 250024 with flag 57557271/7991260
660.23/661.43	c cleaning 126001 clauses out of 252031 with flag 58515390/8118259
674.90/676.15	c cleaning 127001 clauses out of 254030 with flag 59562673/8246259
687.55/688.88	c cleaning 127997 clauses out of 256029 with flag 60520236/8375259
701.32/702.73	c cleaning 129006 clauses out of 258032 with flag 61458325/8505259
715.61/717.13	c cleaning 130009 clauses out of 260028 with flag 62402788/8636261
730.04/731.62	c cleaning 130999 clauses out of 262018 with flag 63357095/8768260
745.42/747.06	c cleaning 131992 clauses out of 264018 with flag 64391668/8901259
760.09/761.72	c cleaning 132997 clauses out of 266026 with flag 65413407/9035259
774.76/776.47	c cleaning 134004 clauses out of 268029 with flag 66445539/9170259
790.59/792.27	c cleaning 135005 clauses out of 270025 with flag 67523955/9306259
805.76/807.41	c cleaning 136000 clauses out of 272022 with flag 68536412/9443261
820.93/822.65	c cleaning 136991 clauses out of 274020 with flag 69587417/9581259
837.09/838.85	c cleaning 138005 clauses out of 276030 with flag 70678797/9720260
852.57/854.35	c cleaning 139001 clauses out of 278026 with flag 71707078/9860261
870.93/872.78	c cleaning 139999 clauses out of 280027 with flag 72981634/10001263
886.90/888.70	c cleaning 140984 clauses out of 282024 with flag 74078864/10143259
903.77/905.66	c cleaning 142011 clauses out of 284040 with flag 75133372/10286259
920.14/922.04	c cleaning 143004 clauses out of 286029 with flag 76221544/10430259
936.80/938.74	c cleaning 143991 clauses out of 288025 with flag 77365542/10575259
954.07/956.08	c cleaning 145007 clauses out of 290034 with flag 78513768/10721259
970.83/972.87	c cleaning 146000 clauses out of 292027 with flag 79637404/10868259
987.90/989.99	c cleaning 147002 clauses out of 294030 with flag 80796245/11016262
1006.07/1008.18	c cleaning 147998 clauses out of 296025 with flag 81948141/11165259
1025.30/1027.33	c cleaning 149001 clauses out of 298028 with flag 83102406/11315260
1045.43/1047.62	c cleaning 150001 clauses out of 300026 with flag 84446441/11466259
1064.97/1067.32	c cleaning 150995 clauses out of 302026 with flag 85777490/11618260
1085.51/1087.94	c cleaning 152006 clauses out of 304031 with flag 87046387/11771260
1104.17/1106.67	c cleaning 152993 clauses out of 306024 with flag 88180391/11925259
1122.83/1125.34	c cleaning 154003 clauses out of 308031 with flag 89340632/12080259
1142.30/1144.89	c cleaning 155007 clauses out of 310029 with flag 90558456/12236260
1161.86/1164.41	c cleaning 155998 clauses out of 312021 with flag 91746209/12393259
1181.42/1184.04	c cleaning 156992 clauses out of 314023 with flag 92987492/12551259
1202.09/1204.72	c cleaning 157984 clauses out of 316032 with flag 94197120/12710260
1222.52/1225.39	c cleaning 159013 clauses out of 318048 with flag 95419498/12870260
1242.74/1245.78	c cleaning 160004 clauses out of 320034 with flag 96653038/13031259
1263.66/1266.87	c cleaning 161000 clauses out of 322031 with flag 97874180/13193260
1283.90/1287.17	c cleaning 162005 clauses out of 324030 with flag 99140298/13356259
1305.15/1308.43	c cleaning 163005 clauses out of 326026 with flag 100452023/13520260
1326.61/1329.91	c cleaning 164001 clauses out of 328021 with flag 101748164/13685260
1348.25/1351.56	c cleaning 164996 clauses out of 330019 with flag 103091044/13851259
1370.00/1373.38	c cleaning 165997 clauses out of 332025 with flag 104436030/14018261
1391.25/1394.64	c cleaning 167006 clauses out of 334030 with flag 105752674/14186263
1413.92/1417.32	c cleaning 168001 clauses out of 336020 with flag 107174539/14355259
1435.77/1439.25	c cleaning 168994 clauses out of 338020 with flag 108477897/14525260
1458.33/1461.81	c cleaning 170004 clauses out of 340025 with flag 109802764/14696259
1480.28/1483.89	c cleaning 170998 clauses out of 342022 with flag 111097535/14868260
1504.83/1508.46	c cleaning 172000 clauses out of 344023 with flag 112538535/15041259
1527.69/1531.30	c cleaning 173000 clauses out of 346025 with flag 113883777/15215261
1550.64/1554.37	c cleaning 174002 clauses out of 348023 with flag 115224535/15390259
1575.09/1578.83	c cleaning 174979 clauses out of 350021 with flag 116653450/15566259
1598.99/1602.96	c cleaning 176015 clauses out of 352044 with flag 118121016/15743261
1622.97/1627.19	c cleaning 177008 clauses out of 354028 with flag 119494864/15921260
1647.26/1651.69	c cleaning 177994 clauses out of 356019 with flag 120902917/16100259
1672.09/1676.54	c cleaning 179006 clauses out of 358025 with flag 122371777/16280259
1697.34/1701.87	c cleaning 180004 clauses out of 360019 with flag 123823448/16461259
1722.89/1727.42	c cleaning 180994 clauses out of 362015 with flag 125336605/16643259
1748.44/1753.03	c cleaning 182001 clauses out of 364021 with flag 126758015/16826259
1774.39/1779.08	c cleaning 183002 clauses out of 366021 with flag 128271264/17010260
1801.74/1806.44	c cleaning 183993 clauses out of 368019 with flag 129996112/17195260
1843.96/1848.71	c cleaning 184987 clauses out of 370025 with flag 131998267/17381259
1870.88/1875.70	c cleaning 186013 clauses out of 372040 with flag 133599589/17568261
1897.96/1902.90	c cleaning 186994 clauses out of 374026 with flag 135087558/17756260
1929.79/1934.84	c cleaning 188000 clauses out of 376031 with flag 136757706/17945259
1957.24/1962.35	c cleaning 188992 clauses out of 378033 with flag 138404584/18135261
1985.56/1990.63	c cleaning 190006 clauses out of 380040 with flag 139898733/18326260
2012.32/2017.60	c cleaning 191012 clauses out of 382034 with flag 141362265/18518260
2040.74/2046.12	c cleaning 192000 clauses out of 384021 with flag 142935040/18711259
2070.58/2076.01	c cleaning 192992 clauses out of 386022 with flag 144629618/18905260
2111.30/2116.84	c cleaning 193995 clauses out of 388031 with flag 146669817/19100261
2139.75/2145.39	c cleaning 195000 clauses out of 390034 with flag 148355060/19296259
2169.18/2174.82	c cleaning 196002 clauses out of 392034 with flag 149991858/19493259
2199.07/2204.73	c cleaning 196992 clauses out of 394032 with flag 151656020/19691259
2229.11/2235.09	c cleaning 197993 clauses out of 396040 with flag 153269931/19890259
2258.95/2265.10	c cleaning 199005 clauses out of 398047 with flag 154863008/20090259
2290.05/2296.48	c cleaning 200007 clauses out of 400042 with flag 156500282/20291259
2320.29/2326.74	c cleaning 201001 clauses out of 402035 with flag 158122357/20493259
2353.16/2359.28	c cleaning 202011 clauses out of 404034 with flag 159767391/20696259
2383.71/2389.87	c cleaning 202991 clauses out of 406023 with flag 161516214/20900259
2414.45/2420.69	c cleaning 204014 clauses out of 408033 with flag 163258732/21105260
2447.09/2453.33	c cleaning 205002 clauses out of 410019 with flag 164951504/21311260
2478.73/2485.03	c cleaning 205999 clauses out of 412016 with flag 166649024/21518259
2511.54/2517.99	c cleaning 206996 clauses out of 414018 with flag 168317446/21726260
2544.26/2550.85	c cleaning 207999 clauses out of 416021 with flag 170019445/21935259
2577.29/2583.95	c cleaning 209003 clauses out of 418022 with flag 171672120/22145259
2611.03/2617.72	c cleaning 210000 clauses out of 420020 with flag 173389000/22356260
2644.67/2651.45	c cleaning 210997 clauses out of 422020 with flag 175102855/22568260
2679.80/2686.63	c cleaning 212002 clauses out of 424025 with flag 176895854/22781262
2714.04/2720.91	c cleaning 212997 clauses out of 426021 with flag 178716977/22995260
2751.11/2758.38	c cleaning 213999 clauses out of 428024 with flag 180465639/23210260
2785.80/2793.37	c cleaning 214999 clauses out of 430024 with flag 182212374/23426259
2820.24/2827.89	c cleaning 216004 clauses out of 432026 with flag 183936198/23643260
2854.97/2862.66	c cleaning 217002 clauses out of 434021 with flag 185756868/23861259
2890.90/2898.61	c cleaning 217993 clauses out of 436019 with flag 187642419/24080259
2929.93/2937.72	c cleaning 219001 clauses out of 438027 with flag 189609896/24300260
2965.76/2973.59	c cleaning 220005 clauses out of 440027 with flag 191464773/24521261
3003.08/3010.94	c cleaning 220996 clauses out of 442020 with flag 193267763/24743259
3040.52/3048.48	c cleaning 222007 clauses out of 444026 with flag 195123475/24966261
3077.05/3085.04	c cleaning 222993 clauses out of 446018 with flag 196956648/25190260
3112.98/3121.02	c cleaning 223998 clauses out of 448024 with flag 198922081/25415259
3159.59/3167.77	c cleaning 225014 clauses out of 450028 with flag 201322442/25641261
3199.82/3208.04	c cleaning 226004 clauses out of 452013 with flag 203221036/25868260
3236.97/3245.31	c cleaning 226995 clauses out of 454008 with flag 205068098/26096259
3273.73/3282.20	c cleaning 228007 clauses out of 456014 with flag 206928725/26325260
3311.46/3320.06	c cleaning 228992 clauses out of 458006 with flag 208803654/26555259
3350.18/3358.81	c cleaning 229988 clauses out of 460015 with flag 210868211/26786260
3389.21/3397.95	c cleaning 230998 clauses out of 462027 with flag 212858607/27018260
3428.93/3437.77	c cleaning 231990 clauses out of 464028 with flag 214786942/27251259
3468.88/3477.74	c cleaning 233008 clauses out of 466038 with flag 216700282/27485259
3509.80/3518.72	c cleaning 234005 clauses out of 468030 with flag 218618976/27720259
3551.72/3560.75	c cleaning 234994 clauses out of 470025 with flag 220609656/27956259
3592.24/3601.32	c cleaning 236003 clauses out of 472031 with flag 222612523/28193259
3600.03/3609.12	c starts		: 50087
3600.03/3609.13	c conflicts		: 28244412
3600.03/3609.13	c decisions		: 39166701
3600.03/3609.13	c propagations		: 610413971
3600.03/3609.13	c inspects		: 65204331050
3600.03/3609.13	c shortcuts		: 0
3600.03/3609.13	c learnt literals	: 0
3600.03/3609.13	c learnt binary clauses	: 0
3600.03/3609.13	c learnt ternary clauses	: 0
3600.03/3609.14	c learnt constraints	: 28244412
3600.03/3609.14	c ignored constraints	: 0
3600.03/3609.14	c root simplifications	: 0
3600.03/3609.14	c removed literals (reason simplification)	: 47424691
3600.03/3609.14	c reason swapping (by a shorter reason)	: 0
3600.03/3609.14	c Calls to reduceDB	: 233
3600.03/3609.14	c Number of update (reduction) of LBD	: 8506539
3600.03/3609.14	c Imported unit clauses	: 0
3600.03/3609.14	c No decision after first conflict	: false
3600.03/3609.14	c number of reductions to clauses (during analyze)	: 0
3600.03/3609.14	c number of learned constraints concerned by reduction	: 0
3600.03/3609.14	c number of learning phase by resolution	: 0
3600.03/3609.14	c number of learning phase by cutting planes	: 0
3600.03/3609.14	c number of rounding to 1 operations	: 0
3600.03/3609.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3609.14	c number of reductions of the coefficients by power 2 	: 0
3600.03/3609.14	c number of right shift for reduction by power 2 	: 0
3600.03/3609.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3609.14	c number of ending skipping 	: 0
3600.03/3609.14	c number of internal skipping 	: 0
3600.03/3609.14	c number of derivation steps 	: 0
3600.03/3609.14	c number of skipped derivation steps 	: 0
3600.03/3609.14	c number of remaining unassigned 	: 0
3600.03/3609.14	c number of remaining assigned 	: 0
3600.03/3609.14	c number of falsified literals weakened from reason	: 0
3600.03/3609.14	c number of falsified literals weakened from conflict	: 0
3600.03/3609.14	c time for arithmetic operations	: 0
3600.03/3609.14	c minimum degree of deleted constraints	: null
3600.03/3609.14	c maximum degree of deleted constraints	: null
3600.03/3609.14	c number of deleted constraints	: 0
3600.03/3609.14	c speed (assignments/second)	: 169137.53221131733
3600.03/3609.14	c non guided choices	: 80641
3600.23/3609.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 287181
3600.23/3609.22	s SATISFIABLE
3600.23/3609.22	c Found 1 solution(s)
3600.23/3609.22	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 
3600.23/3609.22	c objective function=1
3600.23/3609.22	c Total wall clock time (in seconds): 3609.092

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518556-1751551812/watcher-4518556-1751551812 -o /tmp/evaluation-result-4518556-1751551812/solver-4518556-1751551812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518556-1751551812.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 1.10 1.12 1.09 4/261 78422
/proc/meminfo: memFree=108750528/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18930384 memory=57644 CPUtime=0.12 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 6569 0 0 0 10 2 0 0 20 0 18 0 70859724 19384713216 14411 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4732596 14411 5335 1 0 547620 0
[pid=78404/tid=78406] ppid=78401 vsize=18930384 memory=4026532029 CPUtime=0.07 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 5076 0 0 0 6 1 0 0 20 0 18 0 70859725 19384713216 14411 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18930384 memory=232800911689 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70859727 19384713216 14411 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18930384 memory=56282157697662 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70859728 19384713216 14411 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57644 KiB

[startup+0.205343 s]*
/proc/loadavg: 1.10 1.12 1.09 3/262 78423
/proc/meminfo: memFree=108743156/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18996948 memory=63968 CPUtime=0.32 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 7961 0 0 0 30 2 0 0 20 0 19 0 70859724 19452874752 15992 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4749237 15992 5463 1 0 548744 0
[pid=78404/tid=78406] ppid=78401 vsize=18996948 memory=32758254098972917 CPUtime=0.17 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 5368 0 0 0 15 2 0 0 20 0 19 0 70859725 19452874752 15992 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18996948 memory=15129 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70859727 19452874752 15992 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18996948 memory=61788288975733 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70859728 19452874752 15992 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70859741 19452874752 15992 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63968 KiB

[startup+0.305307 s]*
/proc/loadavg: 1.10 1.12 1.09 3/262 78423
/proc/meminfo: memFree=108740636/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18996948 memory=69116 CPUtime=0.51 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 8973 0 0 0 49 2 0 0 20 0 19 0 70859724 19452874752 17279 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4749237 17279 5463 1 0 549335 0
[pid=78404/tid=78406] ppid=78401 vsize=18996948 memory=-6000919502855234664 CPUtime=0.27 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 5390 0 0 0 25 2 0 0 20 0 19 0 70859725 19452874752 17279 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70859727 19452874752 17279 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70859728 19452874752 17279 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70859741 19452874752 17279 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69116 KiB

[startup+0.700218 s]
/proc/loadavg: 1.10 1.12 1.09 3/262 78423
/proc/meminfo: memFree=108726460/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18996948 memory=88992 CPUtime=1.27 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 13497 0 0 0 124 3 0 0 20 0 19 0 70859724 19452874752 22248 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4749237 22248 5463 1 0 552676 0
[pid=78404/tid=78406] ppid=78401 vsize=18996948 memory=18432 CPUtime=0.64 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 5433 0 0 0 62 2 0 0 20 0 19 0 70859725 19452874752 22248 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70859727 19452874752 22248 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70859728 19452874752 22248 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70859741 19452874752 22248 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88992 KiB

[startup+1.50018 s]
/proc/loadavg: 1.10 1.12 1.09 3/262 78423
/proc/meminfo: memFree=108710308/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18996948 memory=102400 CPUtime=2.5 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 16884 0 0 0 246 4 0 0 20 0 19 0 70859724 19452874752 25600 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4749237 25600 5463 1 0 552883 0
[pid=78404/tid=78406] ppid=78401 vsize=18996948 memory=0 CPUtime=1.43 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 5758 0 0 0 141 2 0 0 20 0 19 0 70859725 19452874752 25600 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70859727 19452874752 25600 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70859728 19452874752 25600 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70859741 19452874752 25600 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102400 KiB

[startup+3.1051 s]
/proc/loadavg: 1.10 1.12 1.09 2/262 78423
/proc/meminfo: memFree=108677548/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=18996948 memory=129152 CPUtime=4.12 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 17667 0 0 0 408 4 0 0 20 0 19 0 70859724 19452874752 32288 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4749237 32288 5463 1 0 552885 0
[pid=78404/tid=78406] ppid=78401 vsize=18996948 memory=10752 CPUtime=3.02 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 6067 0 0 0 299 3 0 0 20 0 19 0 70859725 19452874752 32288 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=18996948 memory=-6000919502855234664 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70859727 19452874752 32288 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70859728 19452874752 32288 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=18996948 memory=-6000919502855234664 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70859741 19452874752 32288 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129152 KiB

[startup+6.30016 s]
/proc/loadavg: 1.09 1.11 1.09 2/262 78423
/proc/meminfo: memFree=108636588/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=175424 CPUtime=7.36 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 19498 0 0 0 730 6 0 0 20 0 20 0 70859724 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 43856 5527 1 0 553174 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=0 CPUtime=6.17 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 6198 0 0 0 614 3 0 0 20 0 20 0 70859725 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=6224326959592533362 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=104448 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175424 KiB

[startup+12.7002 s]
/proc/loadavg: 1.08 1.11 1.09 2/264 78426
/proc/meminfo: memFree=108623824/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=175424 CPUtime=13.71 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 20565 0 0 0 1365 6 0 0 20 0 20 0 70859724 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 43856 5527 1 0 553174 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=104448 CPUtime=12.52 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 7054 0 0 0 1249 3 0 0 20 0 20 0 70859725 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=175424 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 43856 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175424 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 1.12 1.09 2/264 78426
/proc/meminfo: memFree=108582864/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=216748 CPUtime=26.47 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 23183 0 0 0 2640 7 0 0 20 0 20 0 70859724 19521036288 54187 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 54187 5559 1 0 553174 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=-6000919502855234664 CPUtime=25.21 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 7385 0 0 0 2517 4 0 0 20 0 20 0 70859725 19521036288 54187 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=181648 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 54187 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 54187 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 54187 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 26.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216748 KiB

[startup+51.1052 s]
/proc/loadavg: 1.09 1.11 1.09 2/264 78426
/proc/meminfo: memFree=108476368/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=325668 CPUtime=52.05 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 23417 0 0 0 5195 10 0 0 20 0 20 0 70859724 19521036288 81417 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 81417 5559 1 0 553190 0

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

[startup+3282.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/264 78591
/proc/meminfo: memFree=106621980/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3273.83 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 73027 0 0 0 327275 108 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559720 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3266.41 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 35309 0 0 0 326614 27 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 724 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=23860 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.10 1.09 2/264 78593
/proc/meminfo: memFree=106622480/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3333.71 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 73648 0 0 0 333262 109 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559720 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=14344 CPUtime=3326.27 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 35860 0 0 0 332600 27 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 751 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

[startup+3402.3 s]
/proc/loadavg: 1.05 1.08 1.09 2/264 78595
/proc/meminfo: memFree=106623080/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3393.6 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 74166 0 0 0 339250 110 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559720 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3386.14 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 36314 0 0 0 338587 27 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 778 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/264 78597
/proc/meminfo: memFree=106623692/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3453.58 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 74440 0 0 0 345247 111 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559729 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3445.89 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 36392 0 0 0 344562 27 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=3100 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 778 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=-6000919502855234664 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/264 78599
/proc/meminfo: memFree=106623800/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3513.39 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 74768 0 0 0 351227 112 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559729 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=3200 CPUtime=3505.7 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 36696 0 0 0 350542 28 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 778 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/264 78601
/proc/meminfo: memFree=106624148/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3573.28 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 75386 0 0 0 357214 114 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559729 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3565.56 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 37242 0 0 0 356528 28 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 805 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 1.14 1.10 1.09 2/264 78602
/proc/meminfo: memFree=106624508/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19063512 memory=2177212 CPUtime=3600.03 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 75771 0 0 0 359889 114 0 0 20 0 20 0 70859724 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4765878 544303 5559 1 0 559729 0
[pid=78404/tid=78406] ppid=78401 vsize=19063512 memory=10752 CPUtime=3592.31 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 37588 0 0 0 359203 28 0 0 20 0 20 0 70859725 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70859727 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 818 0 0 0 0 0 0 0 20 0 20 0 70859728 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78423] ppid=78401 vsize=19063512 memory=2177212 CPUtime=0 cores=4,6
/proc/78404/task/78423/stat : 78423 (Timer-0) S 78401 78404 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70859741 19521036288 544303 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=1.16265 s

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

[startup+3609.2 s]
/proc/loadavg: 1.14 1.10 1.09 2/264 78602
/proc/meminfo: memFree=106624508/131249988 swapFree=33010416/33010684
[pid=78404] ppid=78401 vsize=19263204 memory=2178108 CPUtime=3600.23 cores=4,6
/proc/78404/stat : 78404 (java) S 78401 78404 77585 0 -1 4194304 77342 0 0 0 359908 115 0 0 20 0 21 0 70859724 19725520896 544527 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
/proc/78404/statm: 4815801 544527 5559 1 0 560654 0
[pid=78404/tid=78406] ppid=78401 vsize=19263204 memory=5632 CPUtime=3592.4 cores=4,6
/proc/78404/task/78406/stat : 78406 (java) R 78401 78404 77585 0 -1 4194368 37698 0 0 0 359212 28 0 0 20 0 21 0 70859725 19725520896 544527 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78415] ppid=78401 vsize=19263204 memory=2760 CPUtime=0 cores=4,6
/proc/78404/task/78415/stat : 78415 (Finalizer) S 78401 78404 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70859727 19725520896 544527 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
[pid=78404/tid=78422] ppid=78401 vsize=19263204 memory=23860 CPUtime=0 cores=4,6
/proc/78404/task/78422/stat : 78422 (Common-Cleaner) S 78401 78404 77585 0 -1 4194368 818 0 0 0 0 0 0 0 20 0 21 0 70859728 19725520896 544527 18446744073709551615 94488787398656 94488787402352 140730498483888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94488787410168 94488787410960 94488810352640 140730498492801 140730498492902 140730498492902 140730498498504 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2178108 KiB

Child status: 143

Real time (s): 3609.24
CPU time (s): 3600.29
CPU user time (s): 3599.12
CPU system time (s): 1.16265
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2178108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 1.16265
maximum resident set size= 2178236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104190
involuntary context switches= 14067


# summary of solver processes directly reported to runsolver:
#   pid: 78404
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 1.16265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91488 second user time and 15.9204 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-03 16:10:12
IDJOB=4518556
IDBENCH=177061
IDSOLVER=3363
FILE ID=nodeC031/4518556-1751551812
RUNJOBID= nodeC031-1751542626-77713
SLURM_JOB_ID= 9598706
Free space on /tmp= 432096 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518556-1751551812/watcher-4518556-1751551812 -o /tmp/evaluation-result-4518556-1751551812/solver-4518556-1751551812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518556-1751551812.opb

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

MD5SUM BENCH= 437a1f61bbea3946ff7c4a330e95a1bf
RANDOM SEED=1426502529

nodeC031 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		: 3601.222
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		: 3700.000
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		: 3601.124
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		: 1390.384
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		: 3600.283
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		: 3700.000
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		: 3599.896
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		: 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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        108772012 kB
MemAvailable:   129592960 kB
Buffers:            2128 kB
Cached:         21505136 kB
SwapCached:           12 kB
Active:           487336 kB
Inactive:       21098428 kB
Active(anon):      86084 kB
Inactive(anon):    10468 kB
Active(file):     401252 kB
Inactive(file): 21087960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               652 kB
Writeback:            16 kB
AnonPages:         81592 kB
Mapped:           103984 kB
Shmem:             18052 kB
KReclaimable:     341952 kB
Slab:             434536 kB
SReclaimable:     341952 kB
SUnreclaim:        92584 kB
KernelStack:        3968 kB
PageTables:         2636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     346416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432096 MiB
End job on nodeC031 at 2025-07-03 17:10:21