Trace number 4517637

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)3 3600.53 3668.19

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
MD5SUMb554296dd2e7a57b28932c2f35f0c1cd
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 benchmark3
Best CPU time to get the best result obtained on this benchmark4.93097
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables275
Total number of constraints6523
Number of constraints which are clauses6512
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint12
Number of terms in the objective function 11
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 11
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 13
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.14	c version PB25.v20250606
0.11/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.15	c java.vm.version	22.0.1+8-16
0.11/0.15	c java.vm.vendor	Oracle Corporation
0.11/0.15	c sun.arch.data.model	64
0.11/0.15	c java.version		22.0.1
0.11/0.15	c os.name		Linux
0.11/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.15	c os.arch		amd64
0.11/0.16	c Free memory 		2104792832
0.11/0.16	c Max memory 		16282288128
0.11/0.16	c Total memory 		2113929216
0.11/0.16	c Number of processors 	2
0.11/0.22	c Pseudo Boolean Optimization by upper bound
0.11/0.22	c --- Begin Solver configuration ---
0.11/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.22	c Learn all clauses as in MiniSAT
0.11/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.22	c Expensive reason simplification
0.11/0.22	c Glucose 2.1 dynamic restart strategy
0.11/0.22	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.11/0.22	c timeout=2147483s
0.11/0.22	c DB Simplification allowed=false
0.11/0.22	c Listener: none
0.11/0.22	c --- End Solver configuration ---
0.11/0.22	c solving HOME/instance-4517637-1751538677.opb
0.11/0.22	c reading problem ... 
0.11/0.23	c using VERIPB proof format
0.11/0.23	c  objective function found
0.68/0.45	c ... done. Wall clock time 0.217s.
0.68/0.45	c declared #vars     275
0.68/0.45	c #constraints  6523
0.68/0.45	c constraints type 
0.68/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
0.68/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6512
0.68/0.45	c 6523 constraints processed.
0.68/0.49	c objective function length is 11 literals
1.19/0.77	c SATISFIABLE
1.19/0.77	c OPTIMIZING...
1.19/0.77	c Got one! Elapsed wall clock time (in seconds):0.55
1.19/0.77	o 6
1.19/0.79	c Got one! Elapsed wall clock time (in seconds):0.563
1.19/0.79	o 3
2.36/1.39	c cleaning 2785 clauses out of 5577 with flag 28926/5577
3.15/1.75	c cleaning 4389 clauses out of 8791 with flag 57593/11576
3.95/2.12	c cleaning 5700 clauses out of 11403 with flag 98420/18577
4.72/2.54	c cleaning 6838 clauses out of 13702 with flag 157975/26576
5.39/3.03	c cleaning 7927 clauses out of 15864 with flag 218710/35576
5.98/3.51	c cleaning 8962 clauses out of 17937 with flag 290664/45576
6.49/4.09	c cleaning 9982 clauses out of 19975 with flag 368878/56576
7.09/4.68	c cleaning 10993 clauses out of 21994 with flag 451534/68577
8.15/5.40	c cleaning 11991 clauses out of 24000 with flag 540112/81576
8.98/6.09	c cleaning 13002 clauses out of 26011 with flag 648402/95578
9.88/6.97	c cleaning 13999 clauses out of 28009 with flag 758888/110578
10.88/7.92	c cleaning 14999 clauses out of 30008 with flag 875986/126576
11.96/9.01	c cleaning 16002 clauses out of 32010 with flag 994306/143577
12.83/9.72	c cleaning 16989 clauses out of 34009 with flag 1122590/161578
14.03/10.97	c cleaning 18005 clauses out of 36019 with flag 1268880/180577
16.36/12.55	c cleaning 19006 clauses out of 38014 with flag 1416599/200577
17.55/13.75	c cleaning 19990 clauses out of 40009 with flag 1581928/221578
18.96/15.12	c cleaning 21006 clauses out of 42018 with flag 1760036/243577
20.45/16.64	c cleaning 22004 clauses out of 44013 with flag 1931728/266578
21.65/17.86	c cleaning 22995 clauses out of 46007 with flag 2108558/290576
22.86/19.10	c cleaning 24004 clauses out of 48013 with flag 2292746/315577
24.85/21.07	c cleaning 24998 clauses out of 50008 with flag 2489370/341576
26.95/23.17	c cleaning 25997 clauses out of 52010 with flag 2689107/368576
29.63/25.82	c cleaning 27004 clauses out of 54013 with flag 2912024/396576
31.71/27.81	c cleaning 27992 clauses out of 56009 with flag 3142232/425576
34.20/30.38	c cleaning 28999 clauses out of 58017 with flag 3377171/455576
37.46/33.63	c cleaning 30006 clauses out of 60018 with flag 3618951/486576
40.11/36.34	c cleaning 30990 clauses out of 62012 with flag 3862485/518576
43.11/39.33	c cleaning 32003 clauses out of 64022 with flag 4106820/551576
46.00/42.21	c cleaning 33007 clauses out of 66020 with flag 4376091/585577
50.19/46.35	c cleaning 34001 clauses out of 68012 with flag 4670749/620576
54.00/50.12	c cleaning 35004 clauses out of 70011 with flag 4942959/656576
56.78/52.94	c cleaning 35998 clauses out of 72008 with flag 5232767/693577
60.28/56.47	c cleaning 37001 clauses out of 74010 with flag 5505976/731577
64.47/60.62	c cleaning 38002 clauses out of 76009 with flag 5800182/770577
66.77/62.91	c cleaning 38994 clauses out of 78008 with flag 6074537/810578
72.65/68.46	c cleaning 40000 clauses out of 80014 with flag 6391549/851578
78.03/73.87	c cleaning 40997 clauses out of 82012 with flag 6737954/893576
84.83/80.68	c cleaning 42004 clauses out of 84016 with flag 7104652/936577
90.41/86.20	c cleaning 43001 clauses out of 86012 with flag 7443854/980577
94.50/90.39	c cleaning 43995 clauses out of 88010 with flag 7806194/1025576
97.49/93.31	c cleaning 45008 clauses out of 90016 with flag 8194582/1071577
100.25/96.15	c cleaning 45998 clauses out of 92009 with flag 8587641/1118578
103.14/99.01	c cleaning 46999 clauses out of 94009 with flag 8997831/1166576
106.02/101.90	c cleaning 47997 clauses out of 96012 with flag 9440624/1215578
108.71/104.67	c cleaning 48997 clauses out of 98015 with flag 9880167/1265578
113.03/108.92	c cleaning 50004 clauses out of 100017 with flag 10277547/1316577
115.63/111.57	c cleaning 50990 clauses out of 102012 with flag 10743577/1368576
118.62/114.55	c cleaning 52000 clauses out of 104022 with flag 11193777/1421576
122.13/118.10	c cleaning 53007 clauses out of 106024 with flag 11612656/1475578
125.40/121.35	c cleaning 54003 clauses out of 108017 with flag 12033014/1530578
128.90/124.57	c cleaning 55005 clauses out of 110013 with flag 12489179/1586577
132.49/128.21	c cleaning 55994 clauses out of 112008 with flag 12949857/1643577
135.81/131.54	c cleaning 56999 clauses out of 114014 with flag 13412264/1701577
139.11/134.81	c cleaning 57997 clauses out of 116014 with flag 13885219/1760576
143.00/138.73	c cleaning 58998 clauses out of 118018 with flag 14351452/1820577
146.09/141.83	c cleaning 59991 clauses out of 120020 with flag 14784363/1881577
149.46/145.26	c cleaning 61006 clauses out of 122030 with flag 15261163/1943578
153.16/148.97	c cleaning 62005 clauses out of 124022 with flag 15747731/2006576
156.55/152.34	c cleaning 62994 clauses out of 126017 with flag 16248707/2070576
159.86/155.61	c cleaning 64000 clauses out of 128023 with flag 16751977/2135576
163.56/159.44	c cleaning 64999 clauses out of 130023 with flag 17277689/2201576
167.26/163.16	c cleaning 65999 clauses out of 132024 with flag 17816975/2268576
170.85/166.77	c cleaning 67007 clauses out of 134028 with flag 18332569/2336579
174.43/170.38	c cleaning 68003 clauses out of 136019 with flag 18844120/2405577
179.01/174.94	c cleaning 68998 clauses out of 138015 with flag 19406409/2475576
183.01/178.96	c cleaning 69994 clauses out of 140017 with flag 19926804/2546576
188.99/184.95	c cleaning 71006 clauses out of 142023 with flag 20541353/2618576
193.28/189.39	c cleaning 72002 clauses out of 144019 with flag 21100964/2691578
197.66/193.70	c cleaning 72998 clauses out of 146016 with flag 21655329/2765577
201.64/197.73	c cleaning 73989 clauses out of 148017 with flag 22230502/2840576
206.04/202.14	c cleaning 75007 clauses out of 150028 with flag 22801506/2916576
210.51/206.60	c cleaning 76008 clauses out of 152022 with flag 23375592/2993577
215.09/211.29	c cleaning 77003 clauses out of 154014 with flag 23975889/3071577
220.67/216.87	c cleaning 77998 clauses out of 156012 with flag 24550378/3150578
225.38/221.66	c cleaning 78999 clauses out of 158012 with flag 25133345/3230576
229.88/226.12	c cleaning 79998 clauses out of 160014 with flag 25760836/3311577
236.08/232.30	c cleaning 80995 clauses out of 162016 with flag 26397723/3393577
241.06/237.38	c cleaning 82000 clauses out of 164020 with flag 27032070/3476576
246.17/242.48	c cleaning 83004 clauses out of 166021 with flag 27643697/3560577
251.67/248.00	c cleaning 83995 clauses out of 168017 with flag 28301408/3645577
257.00/253.43	c cleaning 85004 clauses out of 170023 with flag 28922057/3731578
263.78/260.25	c cleaning 85999 clauses out of 172017 with flag 29586300/3818576
269.38/265.84	c cleaning 86999 clauses out of 174018 with flag 30243100/3906576
274.99/271.48	c cleaning 87997 clauses out of 176020 with flag 30875180/3995577
280.48/277.00	c cleaning 89003 clauses out of 178022 with flag 31622538/4085576
287.38/283.92	c cleaning 90000 clauses out of 180019 with flag 32319128/4176576
293.88/290.49	c cleaning 90996 clauses out of 182020 with flag 32928932/4268577
300.42/296.93	c cleaning 92007 clauses out of 184023 with flag 33601049/4361576
306.52/303.10	c cleaning 92999 clauses out of 186018 with flag 34225009/4455578
315.10/311.79	c cleaning 94005 clauses out of 188017 with flag 34853408/4550576
321.59/318.22	c cleaning 94997 clauses out of 190014 with flag 35501584/4646578
328.01/324.64	c cleaning 95995 clauses out of 192016 with flag 36211868/4743577
334.59/331.27	c cleaning 97001 clauses out of 194022 with flag 36952465/4841578
341.47/338.02	c cleaning 97991 clauses out of 196019 with flag 37724387/4940576
348.33/345.03	c cleaning 99011 clauses out of 198030 with flag 38528082/5040578
356.40/353.06	c cleaning 100004 clauses out of 200019 with flag 39234713/5141578
363.77/360.48	c cleaning 101006 clauses out of 202014 with flag 39958923/5243577
372.45/369.07	c cleaning 102004 clauses out of 204009 with flag 40678123/5346578
379.62/376.37	c cleaning 102998 clauses out of 206004 with flag 41423160/5450577
386.58/383.27	c cleaning 103991 clauses out of 208005 with flag 42128238/5555576
393.92/390.56	c cleaning 105002 clauses out of 210015 with flag 42836741/5661577
401.20/397.87	c cleaning 105997 clauses out of 212013 with flag 43591066/5768577
409.96/406.69	c cleaning 106985 clauses out of 214016 with flag 44363653/5876577
417.85/414.55	c cleaning 108000 clauses out of 216031 with flag 45153277/5985577
425.79/422.46	c cleaning 109005 clauses out of 218030 with flag 45987873/6095576
433.50/430.13	c cleaning 110008 clauses out of 220025 with flag 46812962/6206576
442.43/439.19	c cleaning 110995 clauses out of 222017 with flag 47565755/6318576
450.74/447.47	c cleaning 112005 clauses out of 224022 with flag 48438515/6431576
459.43/456.14	c cleaning 112993 clauses out of 226017 with flag 49270927/6545576
467.96/464.77	c cleaning 114001 clauses out of 228025 with flag 50116080/6660577
476.45/473.21	c cleaning 115002 clauses out of 230023 with flag 50918780/6776576
485.09/481.87	c cleaning 116005 clauses out of 232023 with flag 51774360/6893578
494.05/490.72	c cleaning 117003 clauses out of 234017 with flag 52633439/7011577
503.12/499.98	c cleaning 117997 clauses out of 236013 with flag 53420491/7130576
512.47/509.29	c cleaning 119003 clauses out of 238016 with flag 54285894/7250576
522.10/518.82	c cleaning 119995 clauses out of 240013 with flag 55068359/7371576
532.59/534.19	c cleaning 121008 clauses out of 242019 with flag 55966430/7493577
541.88/543.48	c cleaning 121997 clauses out of 244013 with flag 56771217/7616579
551.65/553.11	c cleaning 123001 clauses out of 246014 with flag 57611442/7740577
561.92/563.58	c cleaning 123998 clauses out of 248012 with flag 58517322/7865576
571.92/573.57	c cleaning 125006 clauses out of 250015 with flag 59435107/7991577
581.75/583.38	c cleaning 126002 clauses out of 252011 with flag 60336626/8118579
592.13/593.84	c cleaning 126995 clauses out of 254006 with flag 61177333/8246576
602.18/603.83	c cleaning 127994 clauses out of 256011 with flag 62085449/8375576
612.19/613.83	c cleaning 128996 clauses out of 258017 with flag 63033371/8505576
622.47/624.24	c cleaning 130004 clauses out of 260021 with flag 63964149/8636576
633.81/635.58	c cleaning 131001 clauses out of 262018 with flag 64840442/8768577
645.64/647.39	c cleaning 132002 clauses out of 264017 with flag 65803144/8901577
657.23/659.06	c cleaning 132991 clauses out of 266014 with flag 66784107/9035576
669.36/671.14	c cleaning 134009 clauses out of 268024 with flag 67807292/9170577
681.32/683.16	c cleaning 135002 clauses out of 270014 with flag 68687520/9306576
692.39/694.27	c cleaning 135996 clauses out of 272014 with flag 69607929/9443578
704.71/706.57	c cleaning 136998 clauses out of 274016 with flag 70538262/9581576
716.23/718.12	c cleaning 137996 clauses out of 276020 with flag 71537718/9720578
728.80/730.77	c cleaning 139010 clauses out of 278023 with flag 72479956/9860577
740.23/742.13	c cleaning 139997 clauses out of 280012 with flag 73441777/10001576
752.90/759.56	c cleaning 141003 clauses out of 282015 with flag 74398634/10143576
765.27/771.91	c cleaning 142006 clauses out of 284012 with flag 75289935/10286576
776.64/783.39	c cleaning 142995 clauses out of 286008 with flag 76263725/10430578
789.48/796.13	c cleaning 143994 clauses out of 288011 with flag 77332119/10575576
802.23/808.96	c cleaning 145001 clauses out of 290017 with flag 78275904/10721576
816.07/822.74	c cleaning 145999 clauses out of 292017 with flag 79294501/10868577
828.75/835.44	c cleaning 147002 clauses out of 294017 with flag 80292152/11016576
843.33/850.07	c cleaning 147999 clauses out of 296016 with flag 81324721/11165577
856.55/863.25	c cleaning 149006 clauses out of 298017 with flag 82302905/11315577
870.52/877.28	c cleaning 149994 clauses out of 300011 with flag 83409785/11466577
884.06/890.71	c cleaning 151002 clauses out of 302017 with flag 84503619/11618577
897.45/904.14	c cleaning 152002 clauses out of 304016 with flag 85595874/11771578
910.91/917.60	c cleaning 152996 clauses out of 306013 with flag 86671083/11925577
925.63/936.01	c cleaning 153996 clauses out of 308017 with flag 87629874/12080577
939.63/950.06	c cleaning 155008 clauses out of 310022 with flag 88723894/12236578
954.27/964.72	c cleaning 156003 clauses out of 312012 with flag 89809513/12393576
967.81/978.25	c cleaning 157001 clauses out of 314009 with flag 90935233/12551576
982.69/993.18	c cleaning 157997 clauses out of 316009 with flag 92053392/12710577
997.25/1007.70	c cleaning 159003 clauses out of 318014 with flag 93152224/12870579
1012.19/1022.75	c cleaning 159992 clauses out of 320008 with flag 94405442/13031576
1027.53/1038.06	c cleaning 161007 clauses out of 322018 with flag 95513898/13193578
1043.53/1054.06	c cleaning 161987 clauses out of 324009 with flag 96571224/13356576
1057.57/1068.01	c cleaning 162997 clauses out of 326022 with flag 97684032/13520576
1074.45/1085.00	c cleaning 164007 clauses out of 328025 with flag 98896629/13685576
1090.71/1101.19	c cleaning 165008 clauses out of 330018 with flag 99977179/13851576
1105.88/1118.02	c cleaning 165984 clauses out of 332011 with flag 101214075/14018577
1121.49/1133.63	c cleaning 167008 clauses out of 334026 with flag 102392464/14186576
1136.92/1149.08	c cleaning 167998 clauses out of 336019 with flag 103634802/14355577
1152.88/1167.34	c cleaning 169008 clauses out of 338021 with flag 104834806/14525577
1169.46/1183.92	c cleaning 170000 clauses out of 340012 with flag 106046168/14696576
1186.21/1200.60	c cleaning 170999 clauses out of 342013 with flag 107273676/14868577
1204.61/1219.10	c cleaning 171994 clauses out of 344014 with flag 108469817/15041577
1222.53/1236.93	c cleaning 173004 clauses out of 346019 with flag 109708916/15215576
1240.84/1255.27	c cleaning 174001 clauses out of 348015 with flag 111147274/15390576
1259.85/1274.24	c cleaning 175000 clauses out of 350014 with flag 112316175/15566576
1276.83/1291.15	c cleaning 176001 clauses out of 352014 with flag 113552921/15743576
1294.02/1308.35	c cleaning 177001 clauses out of 354013 with flag 114813485/15921576
1311.28/1325.55	c cleaning 177990 clauses out of 356012 with flag 116073861/16100576
1330.39/1344.77	c cleaning 179004 clauses out of 358023 with flag 117406197/16280577
1347.99/1362.37	c cleaning 180001 clauses out of 360018 with flag 118627442/16461576
1366.50/1381.00	c cleaning 181006 clauses out of 362020 with flag 119949125/16643579
1385.92/1400.43	c cleaning 181998 clauses out of 364012 with flag 121123053/16826577
1404.62/1419.19	c cleaning 182995 clauses out of 366015 with flag 122505596/17010578
1424.94/1439.42	c cleaning 184010 clauses out of 368019 with flag 123848221/17195577
1443.12/1457.69	c cleaning 184997 clauses out of 370008 with flag 125190941/17381576
1462.85/1477.35	c cleaning 185999 clauses out of 372011 with flag 126517390/17568576
1482.92/1497.42	c cleaning 187001 clauses out of 374015 with flag 127890210/17756579
1505.71/1522.76	c cleaning 188000 clauses out of 376012 with flag 129287543/17945577
1526.42/1543.49	c cleaning 188995 clauses out of 378011 with flag 130661797/18135576
1545.74/1562.85	c cleaning 190009 clauses out of 380018 with flag 132053795/18326578
1565.63/1582.78	c cleaning 190996 clauses out of 382009 with flag 133347994/18518578
1587.36/1604.57	c cleaning 191988 clauses out of 384013 with flag 134619295/18711578
1607.59/1624.87	c cleaning 193008 clauses out of 386023 with flag 135973501/18905576
1629.14/1646.45	c cleaning 193986 clauses out of 388015 with flag 137224599/19100576
1648.13/1665.46	c cleaning 195012 clauses out of 390030 with flag 138534346/19296577
1668.60/1686.24	c cleaning 196008 clauses out of 392017 with flag 139889863/19493576
1692.61/1710.23	c cleaning 197002 clauses out of 394009 with flag 141269167/19691576
1714.67/1732.26	c cleaning 197997 clauses out of 396007 with flag 142757057/19890576
1737.10/1754.62	c cleaning 199003 clauses out of 398011 with flag 144160788/20090577
1759.58/1777.15	c cleaning 199993 clauses out of 400007 with flag 145595639/20291576
1784.31/1801.95	c cleaning 201005 clauses out of 402015 with flag 146978349/20493577
1810.87/1828.55	c cleaning 201999 clauses out of 404009 with flag 148388081/20696576
1838.32/1856.04	c cleaning 202995 clauses out of 406011 with flag 150004054/20900577
1863.17/1880.90	c cleaning 203999 clauses out of 408016 with flag 151418528/21105577
1887.72/1905.58	c cleaning 205000 clauses out of 410018 with flag 152854345/21311578
1911.96/1929.83	c cleaning 206005 clauses out of 412017 with flag 154444095/21518577
1937.06/1954.93	c cleaning 207004 clauses out of 414012 with flag 155937506/21726577
1961.89/1979.74	c cleaning 207998 clauses out of 416008 with flag 157337420/21935577
1986.42/2004.34	c cleaning 208994 clauses out of 418010 with flag 158893732/22145577
2014.96/2032.97	c cleaning 210005 clauses out of 420016 with flag 160643007/22356577
2039.92/2057.95	c cleaning 211000 clauses out of 422011 with flag 162128107/22568577
2066.07/2084.15	c cleaning 211986 clauses out of 424010 with flag 163662532/22781576
2092.95/2111.12	c cleaning 213006 clauses out of 426026 with flag 165134909/22995578
2120.76/2141.30	c cleaning 214003 clauses out of 428019 with flag 166727402/23210577
2153.29/2173.90	c cleaning 215004 clauses out of 430016 with flag 168364598/23426577
2181.72/2204.62	c cleaning 215991 clauses out of 432012 with flag 169998659/23643577
2211.43/2236.54	c cleaning 217003 clauses out of 434020 with flag 171653214/23861576
2241.69/2266.82	c cleaning 218002 clauses out of 436017 with flag 173356502/24080576
2268.83/2294.09	c cleaning 219007 clauses out of 438017 with flag 174865682/24300578
2296.69/2321.91	c cleaning 220002 clauses out of 440008 with flag 176308894/24521576
2327.03/2352.38	c cleaning 220994 clauses out of 442007 with flag 177930492/24743577
2356.30/2384.15	c cleaning 222000 clauses out of 444012 with flag 179394075/24966576
2388.08/2419.23	c cleaning 222999 clauses out of 446013 with flag 180973315/25190577
2415.20/2446.48	c cleaning 223988 clauses out of 448015 with flag 182492889/25415578
2445.32/2476.57	c cleaning 224995 clauses out of 450026 with flag 184109180/25641577
2474.48/2505.79	c cleaning 226006 clauses out of 452031 with flag 185657157/25868577
2503.34/2534.62	c cleaning 227008 clauses out of 454024 with flag 187185401/26096576
2531.40/2562.76	c cleaning 227999 clauses out of 456016 with flag 188761846/26325576
2559.56/2590.98	c cleaning 229006 clauses out of 458019 with flag 190211033/26555578
2587.78/2619.15	c cleaning 230000 clauses out of 460012 with flag 191667844/26786577
2616.64/2655.98	c cleaning 230999 clauses out of 462012 with flag 193212959/27018577
2645.39/2684.79	c cleaning 231995 clauses out of 464012 with flag 194717757/27251576
2677.64/2717.02	c cleaning 233002 clauses out of 466017 with flag 196275772/27485576
2708.92/2750.12	c cleaning 233999 clauses out of 468015 with flag 197811428/27720576
2742.05/2786.37	c cleaning 235005 clauses out of 470016 with flag 199534767/27956576
2776.56/2824.90	c cleaning 236003 clauses out of 472011 with flag 201121875/28193576
2809.27/2861.13	c cleaning 236999 clauses out of 474008 with flag 202790783/28431576
2841.27/2893.14	c cleaning 237995 clauses out of 476011 with flag 204533778/28670578
2873.99/2925.92	c cleaning 238998 clauses out of 478014 with flag 206225279/28910576
2907.13/2959.14	c cleaning 239997 clauses out of 480016 with flag 207984725/29151576
2937.57/2989.70	c cleaning 241004 clauses out of 482020 with flag 209587029/29393577
2973.40/3025.57	c cleaning 242002 clauses out of 484015 with flag 211379062/29636576
3007.04/3059.19	c cleaning 243002 clauses out of 486013 with flag 213023243/29880576
3040.15/3095.60	c cleaning 243999 clauses out of 488012 with flag 214752930/30125577
3076.62/3135.53	c cleaning 245000 clauses out of 490013 with flag 216561160/30371577
3116.78/3179.77	c cleaning 246005 clauses out of 492013 with flag 218549874/30618577
3149.84/3212.87	c cleaning 246990 clauses out of 494007 with flag 220157847/30866576
3188.23/3251.36	c cleaning 248006 clauses out of 496017 with flag 222011849/31115576
3221.97/3285.11	c cleaning 248996 clauses out of 498011 with flag 223741220/31365576
3263.72/3327.64	c cleaning 250006 clauses out of 500017 with flag 225802215/31616578
3298.96/3363.00	c cleaning 251001 clauses out of 502009 with flag 227544738/31868576
3337.19/3401.21	c cleaning 251999 clauses out of 504008 with flag 229458587/32121576
3373.47/3437.50	c cleaning 252996 clauses out of 506009 with flag 231201763/32375576
3407.03/3471.13	c cleaning 254003 clauses out of 508016 with flag 232887089/32630579
3440.33/3504.45	c cleaning 254998 clauses out of 510011 with flag 234640562/32886577
3473.27/3537.41	c cleaning 256000 clauses out of 512012 with flag 236430117/33143576
3504.69/3568.95	c cleaning 257001 clauses out of 514013 with flag 238080369/33401577
3544.68/3609.09	c cleaning 258005 clauses out of 516013 with flag 240155513/33660578
3579.67/3644.06	c cleaning 259000 clauses out of 518006 with flag 242011322/33920576
3600.00/3667.94	c starts		: 51413
3600.00/3667.96	c conflicts		: 34093338
3600.00/3667.96	c decisions		: 72490334
3600.00/3667.96	c propagations		: 699741264
3600.00/3667.96	c inspects		: 39318815147
3600.00/3667.96	c shortcuts		: 0
3600.00/3667.96	c learnt literals	: 0
3600.00/3667.96	c learnt binary clauses	: 0
3600.00/3667.96	c learnt ternary clauses	: 0
3600.00/3667.96	c learnt constraints	: 34093338
3600.00/3667.97	c ignored constraints	: 0
3600.00/3667.97	c root simplifications	: 0
3600.00/3667.97	c removed literals (reason simplification)	: 850797041
3600.00/3667.97	c reason swapping (by a shorter reason)	: 0
3600.00/3667.97	c Calls to reduceDB	: 256
3600.00/3667.97	c Number of update (reduction) of LBD	: 16182404
3600.00/3667.97	c Imported unit clauses	: 0
3600.00/3667.97	c No decision after first conflict	: false
3600.00/3667.97	c number of reductions to clauses (during analyze)	: 0
3600.00/3667.97	c number of learned constraints concerned by reduction	: 0
3600.00/3667.97	c number of learning phase by resolution	: 0
3600.00/3667.97	c number of learning phase by cutting planes	: 0
3600.00/3667.97	c number of rounding to 1 operations	: 0
3600.00/3667.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3667.97	c number of reductions of the coefficients by power 2 	: 0
3600.00/3667.97	c number of right shift for reduction by power 2 	: 0
3600.00/3667.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3667.97	c number of ending skipping 	: 0
3600.00/3667.97	c number of internal skipping 	: 0
3600.00/3667.97	c number of derivation steps 	: 0
3600.00/3667.97	c number of skipped derivation steps 	: 0
3600.00/3667.97	c number of remaining unassigned 	: 0
3600.00/3667.97	c number of remaining assigned 	: 0
3600.00/3667.97	c number of falsified literals weakened from reason	: 0
3600.00/3667.97	c number of falsified literals weakened from conflict	: 0
3600.00/3667.97	c time for arithmetic operations	: 0
3600.00/3667.98	c minimum degree of deleted constraints	: null
3600.00/3667.98	c maximum degree of deleted constraints	: null
3600.00/3667.98	c number of deleted constraints	: 0
3600.00/3667.98	c speed (assignments/second)	: 190796.56864549514
3600.00/3667.98	c non guided choices	: 1418
3600.41/3668.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 431768
3600.41/3668.16	s SATISFIABLE
3600.41/3668.16	c Found 2 solution(s)
3600.41/3668.16	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 
3600.41/3668.16	c objective function=3
3600.41/3668.16	c Total wall clock time (in seconds): 3667.937

Verifier Data

OK	3

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: 63794 MiB (49317 MiB free)
  memory of node 1: 64507 MiB (60547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517637-1751538677/watcher-4517637-1751538677 -o /tmp/evaluation-result-4517637-1751538677/solver-4517637-1751538677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81003 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517637-1751538677 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517637-1751538677.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
Current StackSize limit: 8192 KiB

solver pid=81669, runsolver pid=81666

[startup+0.100081 s]*
/proc/loadavg: 4.18 4.20 4.14 7/335 81687
/proc/meminfo: memFree=112473504/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=48500 CPUtime=0.11 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 5831 0 0 0 9 2 0 0 20 0 18 0 69547448 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 12125 5305 1 0 547010 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 4715 0 0 0 5 1 0 0 20 0 18 0 69547450 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=59593594265959 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 12125 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48500 KiB

[startup+0.213991 s]*
/proc/loadavg: 4.18 4.20 4.14 12/335 81687
/proc/meminfo: memFree=112466384/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=58408 CPUtime=0.31 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 6756 0 0 0 27 4 0 0 20 0 18 0 69547448 19384713216 14602 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 14602 5337 1 0 547793 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5263 0 0 0 16 2 0 0 20 0 18 0 69547450 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=1641 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 14666 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58408 KiB

[startup+0.323439 s]*
/proc/loadavg: 4.18 4.20 4.14 6/313 81687
/proc/meminfo: memFree=115014832/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18930384 memory=63532 CPUtime=0.5 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 6940 0 0 0 46 4 0 0 20 0 18 0 69547448 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4732596 15883 5401 1 0 547907 0
[pid=81669/tid=81671] ppid=81666 vsize=18930384 memory=-6000919481279605607 CPUtime=0.28 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5296 0 0 0 26 2 0 0 20 0 18 0 69547450 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69547453 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69547454 19384713216 15883 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63532 KiB

[startup+0.700476 s]
/proc/loadavg: 4.18 4.20 4.14 8/312 81696
/proc/meminfo: memFree=114998916/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=18996948 memory=90468 CPUtime=1.19 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 10259 0 0 0 113 6 0 0 20 0 19 0 69547448 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4749237 22617 5465 1 0 549975 0
[pid=81669/tid=81671] ppid=81666 vsize=18996948 memory=18432 CPUtime=0.53 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 5451 0 0 0 50 3 0 0 20 0 19 0 69547450 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69547453 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=18996948 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69547454 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=18996948 memory=4352 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69547498 19452874752 22617 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90468 KiB

[startup+1.50026 s]
/proc/loadavg: 4.18 4.20 4.14 7/312 81696
/proc/meminfo: memFree=114964136/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=168652 CPUtime=2.75 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 18596 0 0 0 266 9 0 0 20 0 20 0 69547448 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 42163 5529 1 0 551974 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=0 CPUtime=1.24 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 6410 0 0 0 119 5 0 0 20 0 20 0 69547450 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 42163 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168652 KiB

[startup+3.10561 s]
/proc/loadavg: 4.18 4.20 4.14 5/312 81720
/proc/meminfo: memFree=122030228/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=174976 CPUtime=5.55 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 21456 0 0 0 543 12 0 0 20 0 20 0 69547448 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 43744 5529 1 0 552382 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=11136 CPUtime=2.81 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 6761 0 0 0 274 7 0 0 20 0 20 0 69547450 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=-6000919481279605607 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 43744 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174976 KiB

[startup+6.30043 s]
/proc/loadavg: 4.25 4.21 4.14 6/336 81753
/proc/meminfo: memFree=121675956/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=385108 CPUtime=9.26 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 26936 0 0 0 908 18 0 0 20 0 20 0 69547448 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 96277 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 7483 0 0 0 584 12 0 0 20 0 20 0 69547450 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=169676 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 96277 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 385108 KiB

[startup+12.7005 s]
/proc/loadavg: 4.31 4.22 4.15 5/336 81753
/proc/meminfo: memFree=120453560/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=899280 CPUtime=16.56 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 37050 0 0 0 1622 34 0 0 20 0 20 0 69547448 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 224820 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=169676 CPUtime=12.27 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 9081 0 0 0 1201 26 0 0 20 0 20 0 69547450 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=755792 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=21672 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 224820 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 16.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 899280 KiB

[startup+25.5005 s]
/proc/loadavg: 4.24 4.21 4.15 5/336 81753
/proc/meminfo: memFree=119787864/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=905068 CPUtime=29.33 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 37880 0 0 0 2893 40 0 0 20 0 20 0 69547448 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 226267 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=21672 CPUtime=24.91 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 9716 0 0 0 2460 31 0 0 20 0 20 0 69547450 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=6689 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=169676 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=401492 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 226267 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 29.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 905068 KiB

[startup+51.1138 s]
/proc/loadavg: 4.23 4.21 4.15 5/336 81754
/proc/meminfo: memFree=119152764/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=1329056 CPUtime=54.99 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 41402 0 0 0 5441 58 0 0 20 0 20 0 69547448 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 332264 5529 1 0 553111 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=1329056 CPUtime=50.15 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 10542 0 0 0 4969 46 0 0 20 0 20 0 69547450 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=1329056 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 332264 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0

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

/proc/meminfo: memFree=58796364/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3338.27 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 84353 0 0 0 332645 1182 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3305.97 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 34277 0 0 0 329629 968 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=-6000919481279605607 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3338.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.80 4.64 4.50 6/334 82416
/proc/meminfo: memFree=58095772/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3398.24 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 85325 0 0 0 338625 1199 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3365.57 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 35038 0 0 0 335574 983 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3398.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.61 4.50 5/333 82418
/proc/meminfo: memFree=56880772/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3458.21 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86487 0 0 0 344606 1215 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3425.16 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 35921 0 0 0 341520 996 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=2125712 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1071 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3458.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.60 4.61 4.50 6/334 82421
/proc/meminfo: memFree=55733620/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3518.08 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86698 0 0 0 350576 1232 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=4752 CPUtime=3484.68 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36025 0 0 0 347458 1010 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3518.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB

[startup+3642.3 s]
/proc/loadavg: 4.74 4.63 4.52 6/333 82423
/proc/meminfo: memFree=54461148/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125712 CPUtime=3577.96 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 86873 0 0 0 356548 1248 0 0 20 0 20 0 69547448 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531428 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=5632 CPUtime=3544.28 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36117 0 0 0 353406 1022 0 0 20 0 20 0 69547450 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531428 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3577.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3667.9 s]
/proc/loadavg: 4.64 4.62 4.52 5/333 82424
/proc/meminfo: memFree=53643980/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19063512 memory=2125840 CPUtime=3600 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 87130 0 0 0 358745 1255 0 0 20 0 20 0 69547448 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4765878 531460 5561 1 0 553375 0
[pid=81669/tid=81671] ppid=81666 vsize=19063512 memory=5632 CPUtime=3566.19 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36348 0 0 0 355591 1028 0 0 20 0 20 0 69547450 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19063512 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69547453 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19063512 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 20 0 69547454 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81696] ppid=81666 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81669/task/81696/stat : 81696 (Timer-0) S 81666 81669 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69547498 19521036288 531460 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.96 s, system=12.5748 s

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

[startup+3668.01 s]*
/proc/loadavg: 4.64 4.62 4.52 8/334 82427
/proc/meminfo: memFree=53623076/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19263204 memory=2126736 CPUtime=3600.22 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 89155 0 0 0 358766 1256 0 0 20 0 21 0 69547448 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4815801 531684 5561 1 0 554310 0
[pid=81669/tid=81671] ppid=81666 vsize=19263204 memory=-6000919507016116839 CPUtime=3566.3 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36554 0 0 0 355602 1028 0 0 20 0 21 0 69547450 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19263204 memory=-4050210904893932690 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69547453 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19263204 memory=16281276 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 21 0 69547454 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=82427] ppid=81666 vsize=19263204 memory=6980 CPUtime=0.03 cores=1,3
/proc/81669/task/82427/stat : 82427 (Thread-0) R 81666 81669 80991 0 -1 4194368 210 0 0 0 3 0 0 0 20 0 21 0 69914240 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2126736 KiB

[startup+3668.11 s]
/proc/loadavg: 4.64 4.62 4.52 8/334 82427
/proc/meminfo: memFree=53623076/131382116 swapFree=33010684/33010684
[pid=81669] ppid=81666 vsize=19263204 memory=2126736 CPUtime=3600.41 cores=1,3
/proc/81669/stat : 81669 (java) S 81666 81669 80991 0 -1 4194304 89157 0 0 0 358785 1256 0 0 20 0 21 0 69547448 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
/proc/81669/statm: 4815801 531684 5561 1 0 554310 0
[pid=81669/tid=81671] ppid=81666 vsize=19263204 memory=5632 CPUtime=3566.39 cores=1,3
/proc/81669/task/81671/stat : 81671 (java) R 81666 81669 80991 0 -1 4194368 36554 0 0 0 355611 1028 0 0 20 0 21 0 69547450 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81680] ppid=81666 vsize=19263204 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81680/stat : 81680 (Finalizer) S 81666 81669 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69547453 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=81687] ppid=81666 vsize=19263204 memory=2125840 CPUtime=0 cores=1,3
/proc/81669/task/81687/stat : 81687 (Common-Cleaner) S 81666 81669 80991 0 -1 4194368 1106 0 0 0 0 0 0 0 20 0 21 0 69547454 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
[pid=81669/tid=82427] ppid=81666 vsize=19263204 memory=14336 CPUtime=0.11 cores=1,3
/proc/81669/task/82427/stat : 82427 (Thread-0) R 81666 81669 80991 0 -1 4194368 210 0 0 0 11 0 0 0 20 0 21 0 69914240 19725520896 531684 18446744073709551615 94285233741824 94285233745520 140730298003840 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94285233753336 94285233754128 94285249077248 140730298009904 140730298010086 140730298010086 140730298015688 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2126736 KiB

Child status: 143

Real time (s): 3668.19
CPU time (s): 3600.53
CPU user time (s): 3587.96
CPU system time (s): 12.5748
CPU usage (%): 98.1554
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2126736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.96
system time used= 12.5748
maximum resident set size= 2126864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11806856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116890
involuntary context switches= 9690


# summary of solver processes directly reported to runsolver:
#   pid: 81669
#   total CPU time (s): 3600.53
#   total CPU user time (s): 3587.96
#   total CPU system time (s): 12.5748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1616 second user time and 38.4254 second system time

The end

Launcher Data

Begin job on nodeC011 at 2025-07-03 12:31:17
IDJOB=4517637
IDBENCH=176156
IDSOLVER=3364
FILE ID=nodeC011/4517637-1751538677
RUNJOBID= nodeC011-1751535003-81003
SLURM_JOB_ID= 9598684
Free space on /tmp= 430536 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517637-1751538677/watcher-4517637-1751538677 -o /tmp/evaluation-result-4517637-1751538677/solver-4517637-1751538677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81003 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517637-1751538677 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517637-1751538677.opb

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

MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd
RANDOM SEED=1933514899

nodeC011 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	: 0xb00001f
cpu MHz		: 3591.875
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1895.780
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.293
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3546.685
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3660.625
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.712
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.815
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        112502800 kB
MemAvailable:   123667668 kB
Buffers:            3276 kB
Cached:         11953520 kB
SwapCached:            0 kB
Active:          6813656 kB
Inactive:       11514360 kB
Active(anon):    6387128 kB
Inactive(anon):     2104 kB
Active(file):     426528 kB
Inactive(file): 11512256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21260 kB
Writeback:             4 kB
AnonPages:       6374320 kB
Mapped:           123428 kB
Shmem:             17960 kB
KReclaimable:     131040 kB
Slab:             218120 kB
SReclaimable:     131040 kB
SUnreclaim:        87080 kB
KernelStack:        5088 kB
PageTables:        16088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7925328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6178816 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430536 MiB
End job on nodeC011 at 2025-07-03 13:32:26