Trace number 4485835

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-06? (TO) 3600.35 3659.68

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMf6174806ed62bf92db0e2ac6f71348b5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1210.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4485835-1751318619.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  objective function found
0.32/0.30	c ... done. Wall clock time 0.17s.
0.32/0.30	c declared #vars     7994
0.32/0.30	c #constraints  560
0.32/0.30	c constraints type 
0.32/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 560
0.32/0.30	c 560 constraints processed.
0.51/0.31	c objective function length is 623 literals
2.47/1.36	c cleaning 2480 clauses out of 4999 with flag 12651/5000
4.45/2.42	c cleaning 4259 clauses out of 8521 with flag 25355/11002
5.57/3.38	c cleaning 5627 clauses out of 11260 with flag 40411/18000
7.00/4.39	c cleaning 6810 clauses out of 13633 with flag 61595/26000
8.09/5.38	c cleaning 7908 clauses out of 15823 with flag 84697/35000
8.58/5.82	c cleaning 8953 clauses out of 17916 with flag 106879/45001
9.61/6.81	c cleaning 9981 clauses out of 19962 with flag 129071/56000
10.84/8.09	c cleaning 10985 clauses out of 21982 with flag 153699/68001
11.35/8.51	c cleaning 11989 clauses out of 23996 with flag 179740/81000
11.74/8.95	c cleaning 12995 clauses out of 26008 with flag 207788/95001
12.24/9.45	c cleaning 14003 clauses out of 28013 with flag 237808/110001
12.74/9.98	c cleaning 14995 clauses out of 30009 with flag 269843/126000
13.37/10.54	c cleaning 15999 clauses out of 32014 with flag 303881/143000
14.09/11.20	c cleaning 16999 clauses out of 34015 with flag 339942/161000
14.69/11.89	c cleaning 17996 clauses out of 36016 with flag 377988/180000
15.51/12.64	c cleaning 19001 clauses out of 38020 with flag 418021/200000
16.30/13.42	c cleaning 20002 clauses out of 40019 with flag 460110/221000
17.10/14.21	c cleaning 21002 clauses out of 42018 with flag 504176/243001
17.90/15.07	c cleaning 22001 clauses out of 44015 with flag 550240/266000
18.80/15.94	c cleaning 22997 clauses out of 46015 with flag 599244/290001
21.03/17.80	c cleaning 24008 clauses out of 48017 with flag 653010/315001
22.03/18.87	c cleaning 25002 clauses out of 50008 with flag 705034/341000
23.02/19.89	c cleaning 26002 clauses out of 52006 with flag 759054/368000
24.12/20.98	c cleaning 27000 clauses out of 54005 with flag 815073/396001
25.33/22.13	c cleaning 28002 clauses out of 56007 with flag 873109/425003
28.00/24.73	c cleaning 28998 clauses out of 58002 with flag 939937/455000
31.58/28.29	c cleaning 30003 clauses out of 60005 with flag 1005096/486001
33.48/30.18	c cleaning 30997 clauses out of 62001 with flag 1069145/518000
35.47/32.11	c cleaning 32002 clauses out of 64004 with flag 1135220/551000
37.47/34.15	c cleaning 33002 clauses out of 66003 with flag 1203245/585001
39.60/36.22	c cleaning 34001 clauses out of 68001 with flag 1273306/620001
41.59/38.27	c cleaning 34994 clauses out of 70000 with flag 1345331/656001
43.68/40.36	c cleaning 36000 clauses out of 72006 with flag 1419403/693001
46.01/42.62	c cleaning 37000 clauses out of 74006 with flag 1495456/731001
48.09/44.75	c cleaning 38003 clauses out of 76008 with flag 1573497/770003
50.49/47.15	c cleaning 39001 clauses out of 78004 with flag 1653549/810002
52.89/49.59	c cleaning 40000 clauses out of 80001 with flag 1735606/851000
55.53/52.15	c cleaning 41000 clauses out of 82003 with flag 1819653/893002
58.12/54.71	c cleaning 42001 clauses out of 84001 with flag 1905691/936000
60.61/57.25	c cleaning 42994 clauses out of 86000 with flag 1993759/980000
63.24/59.81	c cleaning 43995 clauses out of 88006 with flag 2083824/1025000
65.94/62.59	c cleaning 45006 clauses out of 90013 with flag 2175909/1071002
68.63/65.29	c cleaning 46001 clauses out of 92005 with flag 2269950/1118000
71.48/68.07	c cleaning 47002 clauses out of 94005 with flag 2366012/1166001
74.36/70.94	c cleaning 47996 clauses out of 96003 with flag 2464081/1215001
77.16/73.77	c cleaning 49003 clauses out of 98006 with flag 2564170/1265000
80.40/76.91	c cleaning 50002 clauses out of 100003 with flag 2666249/1316000
83.60/80.12	c cleaning 50999 clauses out of 102001 with flag 2770320/1368000
86.78/83.33	c cleaning 52001 clauses out of 104002 with flag 2876394/1421000
90.02/86.56	c cleaning 52994 clauses out of 106001 with flag 2984512/1475000
93.22/89.70	c cleaning 54001 clauses out of 108007 with flag 3094583/1530000
96.31/92.85	c cleaning 55000 clauses out of 110006 with flag 3206652/1586000
99.56/96.55	c cleaning 56000 clauses out of 112006 with flag 3320730/1643000
103.06/100.03	c cleaning 56997 clauses out of 114006 with flag 3436821/1701000
106.50/103.41	c cleaning 58000 clauses out of 116010 with flag 3554882/1760001
109.98/106.97	c cleaning 59002 clauses out of 118009 with flag 3674965/1820000
113.53/110.48	c cleaning 60000 clauses out of 120008 with flag 3797084/1881001
117.33/114.24	c cleaning 61003 clauses out of 122009 with flag 3921177/1943002
121.01/117.96	c cleaning 61999 clauses out of 124004 with flag 4047244/2006000
125.14/122.08	c cleaning 63001 clauses out of 126005 with flag 4175305/2070000
129.40/126.56	c cleaning 64001 clauses out of 128004 with flag 4305410/2135000
133.72/130.84	c cleaning 65002 clauses out of 130003 with flag 4437490/2201000
138.03/135.13	c cleaning 66000 clauses out of 132002 with flag 4571613/2268001
142.45/139.51	c cleaning 66999 clauses out of 134002 with flag 4707698/2336001
146.64/143.78	c cleaning 67998 clauses out of 136002 with flag 4845814/2405000
151.08/148.13	c cleaning 68996 clauses out of 138004 with flag 4985915/2475000
155.76/152.80	c cleaning 69997 clauses out of 140009 with flag 5127991/2546001
160.42/160.50	c cleaning 71000 clauses out of 142011 with flag 5272122/2618000
164.92/165.08	c cleaning 72005 clauses out of 144012 with flag 5418243/2691001
169.65/169.73	c cleaning 72998 clauses out of 146007 with flag 5566367/2765001
174.24/174.32	c cleaning 74003 clauses out of 148009 with flag 5716484/2840001
179.56/179.66	c cleaning 74998 clauses out of 150007 with flag 5868584/2916002
184.35/184.49	c cleaning 76000 clauses out of 152007 with flag 6022679/2993000
189.55/189.74	c cleaning 77002 clauses out of 154007 with flag 6178783/3071000
194.44/194.64	c cleaning 78000 clauses out of 156006 with flag 6336895/3150001
199.76/199.91	c cleaning 79002 clauses out of 158006 with flag 6497042/3230001
204.85/205.08	c cleaning 80000 clauses out of 160003 with flag 6659154/3311000
210.47/210.64	c cleaning 81002 clauses out of 162003 with flag 6823272/3393000
215.96/216.19	c cleaning 81997 clauses out of 164001 with flag 6989400/3476000
221.55/221.83	c cleaning 83002 clauses out of 166005 with flag 7157568/3560001
227.68/227.90	c cleaning 84001 clauses out of 168003 with flag 7327712/3645001
233.67/233.95	c cleaning 85000 clauses out of 170002 with flag 7499827/3731001
240.11/240.36	c cleaning 86002 clauses out of 172003 with flag 7673979/3818002
245.90/246.15	c cleaning 87000 clauses out of 174000 with flag 7850072/3906001
252.01/253.00	c cleaning 87996 clauses out of 175999 with flag 8028186/3995000
259.35/260.34	c cleaning 88996 clauses out of 178004 with flag 8208289/4085001
265.35/266.31	c cleaning 90004 clauses out of 180007 with flag 8390448/4176000
271.79/272.78	c cleaning 90998 clauses out of 182003 with flag 8574590/4268000
278.02/279.14	c cleaning 91998 clauses out of 184005 with flag 8760766/4361000
284.25/285.31	c cleaning 92996 clauses out of 186008 with flag 8948946/4455001
290.69/291.79	c cleaning 93999 clauses out of 188012 with flag 9139118/4550001
297.77/298.86	c cleaning 94998 clauses out of 190012 with flag 9331215/4646000
304.33/305.35	c cleaning 96000 clauses out of 192015 with flag 9525351/4743001
311.08/312.30	c cleaning 97001 clauses out of 194014 with flag 9721524/4841000
317.96/319.01	c cleaning 98003 clauses out of 196014 with flag 9919690/4940001
324.74/325.86	c cleaning 99003 clauses out of 198011 with flag 10119856/5040001
331.90/332.95	c cleaning 100003 clauses out of 200008 with flag 10321984/5141001
338.91/340.09	c cleaning 100997 clauses out of 202005 with flag 10526095/5243001
345.59/346.71	c cleaning 101997 clauses out of 204007 with flag 10732246/5346000
352.94/354.02	c cleaning 103004 clauses out of 206011 with flag 10940435/5450001
360.11/361.15	c cleaning 103996 clauses out of 208006 with flag 11150559/5555000
367.77/368.74	c cleaning 105004 clauses out of 210010 with flag 11362690/5661000
375.36/376.71	c cleaning 106001 clauses out of 212007 with flag 11576870/5768001
382.83/384.13	c cleaning 106996 clauses out of 214007 with flag 11793056/5876002
390.48/391.74	c cleaning 108003 clauses out of 216009 with flag 12011198/5985000
397.96/399.17	c cleaning 108998 clauses out of 218006 with flag 12231329/6095000
405.68/407.00	c cleaning 110003 clauses out of 220010 with flag 12453542/6206002
413.32/414.63	c cleaning 110999 clauses out of 222005 with flag 12677700/6318000
421.36/422.66	c cleaning 111997 clauses out of 224007 with flag 12903885/6431001
429.33/430.57	c cleaning 112994 clauses out of 226009 with flag 13132047/6545000
437.94/439.38	c cleaning 114003 clauses out of 228016 with flag 13362237/6660001
445.71/447.00	c cleaning 115001 clauses out of 230014 with flag 13594467/6776002
454.36/455.64	c cleaning 116003 clauses out of 232012 with flag 13828731/6893001
463.10/480.54	c cleaning 116999 clauses out of 234008 with flag 14064929/7011000
471.69/489.10	c cleaning 118002 clauses out of 236009 with flag 14303167/7130000
479.67/496.96	c cleaning 119000 clauses out of 238008 with flag 14543380/7250001
487.86/505.19	c cleaning 119995 clauses out of 240007 with flag 14785539/7371000
497.11/515.65	c cleaning 121004 clauses out of 242012 with flag 15029685/7493000
505.56/524.03	c cleaning 121996 clauses out of 244011 with flag 15275913/7616003
515.02/533.43	c cleaning 123002 clauses out of 246014 with flag 15524097/7740002
523.74/542.37	c cleaning 123998 clauses out of 248011 with flag 15774225/7865001
533.76/552.14	c cleaning 125005 clauses out of 250012 with flag 16029625/7991001
553.24/570.51	c cleaning 125998 clauses out of 252006 with flag 16303926/8118000
573.65/590.15	c cleaning 127002 clauses out of 254008 with flag 16573685/8246000
592.07/607.77	c cleaning 127992 clauses out of 256006 with flag 16848473/8375000
613.23/628.43	c cleaning 128994 clauses out of 258014 with flag 17134408/8505000
633.18/647.60	c cleaning 129998 clauses out of 260020 with flag 17417168/8636000
653.91/667.58	c cleaning 131011 clauses out of 262022 with flag 17698563/8768000
674.72/686.83	c cleaning 131997 clauses out of 264011 with flag 17990478/8901000
690.22/701.85	c cleaning 133004 clauses out of 266011 with flag 18307877/9035000
700.37/711.99	c cleaning 133998 clauses out of 268007 with flag 18579160/9170000
712.72/724.21	c cleaning 134998 clauses out of 270010 with flag 18851265/9306001
726.21/737.42	c cleaning 135999 clauses out of 272010 with flag 19137143/9443000
737.78/749.06	c cleaning 137002 clauses out of 274012 with flag 19413387/9581001
749.51/760.74	c cleaning 137995 clauses out of 276009 with flag 19691658/9720000
760.28/771.52	c cleaning 139004 clauses out of 278016 with flag 19971932/9860002
771.16/782.41	c cleaning 140002 clauses out of 280011 with flag 20254171/10001001
781.81/793.08	c cleaning 141000 clauses out of 282008 with flag 20538520/10143000
792.97/804.23	c cleaning 141997 clauses out of 284008 with flag 20824939/10286000
803.85/815.11	c cleaning 143003 clauses out of 286011 with flag 21113208/10430000
815.89/827.13	c cleaning 144001 clauses out of 288008 with flag 21403546/10575000
827.26/838.54	c cleaning 144997 clauses out of 290007 with flag 21695830/10721000
838.41/849.70	c cleaning 146003 clauses out of 292010 with flag 21990117/10868000
850.77/862.08	c cleaning 147001 clauses out of 294007 with flag 22286399/11016000
862.24/873.55	c cleaning 147997 clauses out of 296007 with flag 22584881/11165001
874.32/885.50	c cleaning 149005 clauses out of 298009 with flag 22885266/11315000
886.49/897.79	c cleaning 149996 clauses out of 300005 with flag 23187698/11466001
898.22/909.75	c cleaning 151000 clauses out of 302009 with flag 23492078/11618001
910.71/922.14	c cleaning 152000 clauses out of 304008 with flag 23798527/11771000
922.38/933.86	c cleaning 152999 clauses out of 306008 with flag 24106831/11925000
935.46/946.93	c cleaning 154001 clauses out of 308010 with flag 24417096/12080001
948.43/959.94	c cleaning 154998 clauses out of 310009 with flag 24729416/12236001
961.40/972.91	c cleaning 156005 clauses out of 312010 with flag 25043732/12393000
975.59/987.08	c cleaning 157000 clauses out of 314007 with flag 25360061/12551002
990.07/1001.63	c cleaning 157990 clauses out of 316005 with flag 25678367/12710000
1003.00/1014.46	c cleaning 159001 clauses out of 318015 with flag 25998719/12870000
1015.88/1027.36	c cleaning 160000 clauses out of 320015 with flag 26321050/13031001
1028.75/1040.23	c cleaning 161004 clauses out of 322014 with flag 26645383/13193000
1043.66/1055.01	c cleaning 162002 clauses out of 324010 with flag 26971696/13356000
1057.12/1068.67	c cleaning 163003 clauses out of 326009 with flag 27300033/13520001
1071.67/1083.03	c cleaning 163998 clauses out of 328005 with flag 27630355/13685000
1084.93/1096.42	c cleaning 165002 clauses out of 330007 with flag 27962635/13851000
1099.74/1111.18	c cleaning 165999 clauses out of 332005 with flag 28297050/14018000
1115.12/1126.66	c cleaning 167000 clauses out of 334006 with flag 28633452/14186000
1129.14/1140.53	c cleaning 167998 clauses out of 336006 with flag 28971827/14355000
1143.73/1155.21	c cleaning 169000 clauses out of 338008 with flag 29312218/14525000
1159.06/1170.42	c cleaning 169999 clauses out of 340008 with flag 29654661/14696000
1173.41/1184.72	c cleaning 170998 clauses out of 342009 with flag 29999119/14868000
1187.57/1198.96	c cleaning 172001 clauses out of 344011 with flag 30345605/15041000
1202.44/1213.82	c cleaning 172993 clauses out of 346010 with flag 30694078/15215000
1218.27/1229.78	c cleaning 174004 clauses out of 348017 with flag 31044397/15390000
1233.23/1244.75	c cleaning 174999 clauses out of 350014 with flag 31396740/15566001
1248.24/1265.35	c cleaning 176002 clauses out of 352014 with flag 31751267/15743000
1263.50/1280.65	c cleaning 176999 clauses out of 354013 with flag 32107740/15921001
1279.61/1296.87	c cleaning 178002 clauses out of 356014 with flag 32466093/16100001
1296.13/1313.55	c cleaning 179002 clauses out of 358011 with flag 32826510/16280000
1311.45/1328.79	c cleaning 180000 clauses out of 360009 with flag 33189022/16461000
1327.58/1345.23	c cleaning 181005 clauses out of 362010 with flag 33553491/16643001
1343.99/1361.54	c cleaning 181995 clauses out of 364004 with flag 33919853/16826000
1360.93/1380.11	c cleaning 183000 clauses out of 366010 with flag 34288373/17010001
1379.37/1398.41	c cleaning 184000 clauses out of 368009 with flag 34658888/17195000
1395.04/1414.29	c cleaning 185005 clauses out of 370009 with flag 35031284/17381000
1410.66/1429.75	c cleaning 185995 clauses out of 372005 with flag 35405815/17568001
1427.92/1447.14	c cleaning 187002 clauses out of 374009 with flag 35782277/17756000
1444.29/1463.47	c cleaning 187999 clauses out of 376007 with flag 36160806/17945000
1461.05/1480.32	c cleaning 189004 clauses out of 378010 with flag 36541210/18135002
1481.40/1501.21	c cleaning 189994 clauses out of 380004 with flag 36923658/18326000
1500.95/1520.83	c cleaning 190998 clauses out of 382010 with flag 37308237/18518000
1519.98/1539.89	c cleaning 192005 clauses out of 384014 with flag 37694730/18711002
1539.75/1559.77	c cleaning 193001 clauses out of 386007 with flag 38083239/18905000
1557.89/1577.76	c cleaning 193998 clauses out of 388006 with flag 38473667/19100000
1576.34/1596.10	c cleaning 194998 clauses out of 390008 with flag 38866160/19296000
1593.21/1613.08	c cleaning 196004 clauses out of 392010 with flag 39260567/19493000
1611.50/1631.34	c cleaning 196999 clauses out of 394006 with flag 39656928/19691000
1634.48/1654.44	c cleaning 198001 clauses out of 396007 with flag 40055418/19890000
1657.32/1676.96	c cleaning 198993 clauses out of 398006 with flag 40455827/20090000
1676.31/1696.03	c cleaning 200006 clauses out of 400016 with flag 40858295/20291003
1695.91/1715.74	c cleaning 200999 clauses out of 402007 with flag 41262803/20493000
1714.37/1734.21	c cleaning 201998 clauses out of 404008 with flag 41669173/20696000
1731.96/1751.94	c cleaning 203002 clauses out of 406010 with flag 42077605/20900000
1750.62/1770.63	c cleaning 203998 clauses out of 408008 with flag 42488027/21105000
1770.12/1790.20	c cleaning 205000 clauses out of 410010 with flag 42900431/21311000
1789.48/1809.72	c cleaning 205997 clauses out of 412011 with flag 43314864/21518001
1808.12/1828.35	c cleaning 207002 clauses out of 414013 with flag 43731279/21726000
1825.99/1846.31	c cleaning 208000 clauses out of 416011 with flag 44149836/21935000
1843.72/1864.01	c cleaning 209000 clauses out of 418011 with flag 44570429/22145000
1862.80/1883.39	c cleaning 210002 clauses out of 420012 with flag 44992823/22356001
1885.09/1905.74	c cleaning 211005 clauses out of 422010 with flag 45417398/22568001
1903.74/1924.45	c cleaning 211993 clauses out of 424005 with flag 45843933/22781001
1923.77/1944.53	c cleaning 213000 clauses out of 426012 with flag 46272475/22995001
1947.21/1968.14	c cleaning 214000 clauses out of 428012 with flag 46702950/23210001
1968.66/1989.69	c cleaning 215000 clauses out of 430011 with flag 47135359/23426000
1990.03/2011.05	c cleaning 216000 clauses out of 432011 with flag 47569926/23643000
2012.81/2033.93	c cleaning 217003 clauses out of 434012 with flag 48006355/23861001
2033.47/2054.69	c cleaning 218001 clauses out of 436009 with flag 48444974/24080001
2053.52/2074.72	c cleaning 218998 clauses out of 438007 with flag 48885450/24300000
2075.19/2096.45	c cleaning 219999 clauses out of 440009 with flag 49327934/24521000
2095.56/2116.96	c cleaning 220999 clauses out of 442010 with flag 49772435/24743000
2116.94/2138.20	c cleaning 222002 clauses out of 444012 with flag 50218926/24966001
2137.41/2158.83	c cleaning 223004 clauses out of 446010 with flag 50667377/25190001
2160.28/2181.77	c cleaning 224000 clauses out of 448005 with flag 51117846/25415000
2181.56/2203.11	c cleaning 225001 clauses out of 450005 with flag 51570275/25641000
2202.45/2223.95	c cleaning 225991 clauses out of 452004 with flag 52024798/25868000
2225.18/2246.40	c cleaning 227001 clauses out of 454014 with flag 52481247/26096001
2246.55/2273.81	c cleaning 228002 clauses out of 456012 with flag 52939831/26325000
2267.55/2294.80	c cleaning 229001 clauses out of 458010 with flag 53400390/26555000
2288.74/2316.16	c cleaning 230001 clauses out of 460011 with flag 53862931/26786002
2312.90/2340.62	c cleaning 231002 clauses out of 462011 with flag 54327546/27018003
2335.36/2363.27	c cleaning 231999 clauses out of 464006 with flag 54794114/27251000
2358.87/2386.72	c cleaning 232998 clauses out of 466008 with flag 55262713/27485001
2385.76/2413.61	c cleaning 233998 clauses out of 468010 with flag 55733508/27720001
2410.13/2445.30	c cleaning 235000 clauses out of 470012 with flag 56206131/27956001
2432.44/2471.79	c cleaning 236006 clauses out of 472012 with flag 56680789/28193001
2455.82/2495.24	c cleaning 237000 clauses out of 474006 with flag 57157533/28431001
2477.21/2516.55	c cleaning 237998 clauses out of 476005 with flag 57636086/28670000
2500.37/2539.81	c cleaning 239000 clauses out of 478009 with flag 58116672/28910002
2524.27/2563.86	c cleaning 240003 clauses out of 480009 with flag 58599240/29151002
2552.68/2592.27	c cleaning 240993 clauses out of 482004 with flag 59083700/29393000
2576.72/2617.88	c cleaning 241997 clauses out of 484011 with flag 59570155/29636000
2600.76/2641.87	c cleaning 242999 clauses out of 486014 with flag 60058616/29880000
2630.14/2675.18	c cleaning 244004 clauses out of 488016 with flag 60549149/30125001
2657.66/2706.23	c cleaning 245005 clauses out of 490012 with flag 61041902/30371001
2684.72/2733.43	c cleaning 246001 clauses out of 492007 with flag 61536358/30618001
2709.78/2758.53	c cleaning 246998 clauses out of 494005 with flag 62032907/30866000
2738.02/2786.74	c cleaning 248001 clauses out of 496008 with flag 62531491/31115001
2767.89/2816.78	c cleaning 249001 clauses out of 498007 with flag 63032037/31365001
2792.93/2841.74	c cleaning 249999 clauses out of 500006 with flag 63534813/31616001
2817.44/2866.12	c cleaning 250998 clauses out of 502007 with flag 64039395/31868001
2844.18/2893.93	c cleaning 251999 clauses out of 504008 with flag 64546078/32121000
2873.53/2923.37	c cleaning 252996 clauses out of 506010 with flag 65054687/32375001
2897.99/2947.90	c cleaning 254002 clauses out of 508014 with flag 65565184/32630001
2925.24/2975.27	c cleaning 255000 clauses out of 510011 with flag 66077720/32886000
2954.29/3004.31	c cleaning 256001 clauses out of 512011 with flag 66592225/33143000
2981.34/3031.52	c cleaning 257003 clauses out of 514010 with flag 67108770/33401000
3011.23/3061.48	c cleaning 258000 clauses out of 516007 with flag 67627466/33660000
3039.35/3089.52	c cleaning 258997 clauses out of 518008 with flag 68147964/33920001
3065.95/3116.21	c cleaning 260006 clauses out of 520012 with flag 68670537/34181002
3093.71/3143.92	c cleaning 260998 clauses out of 522004 with flag 69195303/34443000
3122.00/3172.24	c cleaning 261999 clauses out of 524007 with flag 69721811/34706001
3150.05/3200.45	c cleaning 262999 clauses out of 526008 with flag 70250374/34970001
3177.92/3228.31	c cleaning 264003 clauses out of 528009 with flag 70780897/35235001
3203.67/3255.70	c cleaning 264999 clauses out of 530006 with flag 71313520/35501001
3242.60/3300.52	c cleaning 266001 clauses out of 532008 with flag 71848108/35768002
3275.38/3333.30	c cleaning 266997 clauses out of 534006 with flag 72384890/36036001
3303.76/3361.98	c cleaning 268001 clauses out of 536008 with flag 72923727/36305000
3334.47/3392.71	c cleaning 269001 clauses out of 538009 with flag 73464551/36575002
3366.66/3424.95	c cleaning 269998 clauses out of 540006 with flag 74007355/36846000
3393.24/3451.79	c cleaning 270999 clauses out of 542008 with flag 74552146/37118000
3424.34/3482.92	c cleaning 272000 clauses out of 544010 with flag 75099056/37391001
3455.71/3514.55	c cleaning 272998 clauses out of 546009 with flag 75647813/37665000
3485.52/3544.67	c cleaning 273995 clauses out of 548011 with flag 76198605/37940000
3513.31/3572.55	c cleaning 275004 clauses out of 550016 with flag 76751593/38216000
3542.32/3601.61	c cleaning 276001 clauses out of 552013 with flag 77306597/38493001
3573.54/3632.96	c cleaning 277001 clauses out of 554011 with flag 77863692/38771000
3600.09/3659.52	c starts		: 15944
3600.09/3659.53	c conflicts		: 39050001
3600.09/3659.53	c decisions		: 42086734
3600.09/3659.53	c propagations		: 787759068
3600.09/3659.53	c inspects		: 15037756063
3600.09/3659.53	c shortcuts		: 0
3600.09/3659.53	c learnt literals	: 7
3600.09/3659.53	c learnt binary clauses	: 10
3600.09/3659.53	c learnt ternary clauses	: 2
3600.09/3659.53	c learnt constraints	: 39049994
3600.09/3659.53	c ignored constraints	: 0
3600.09/3659.53	c root simplifications	: 0
3600.09/3659.53	c removed literals (reason simplification)	: 488757776
3600.09/3659.53	c reason swapping (by a shorter reason)	: 0
3600.09/3659.53	c Calls to reduceDB	: 275
3600.09/3659.53	c Number of update (reduction) of LBD	: 98141
3600.09/3659.53	c Imported unit clauses	: 0
3600.09/3659.53	c No decision after first conflict	: false
3600.09/3659.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3659.53	c number of learned constraints concerned by reduction	: 0
3600.09/3659.53	c number of learning phase by resolution	: 0
3600.09/3659.53	c number of learning phase by cutting planes	: 0
3600.09/3659.53	c number of rounding to 1 operations	: 0
3600.09/3659.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3659.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3659.53	c number of right shift for reduction by power 2 	: 0
3600.09/3659.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3659.53	c number of ending skipping 	: 0
3600.09/3659.53	c number of internal skipping 	: 0
3600.09/3659.53	c number of derivation steps 	: 0
3600.09/3659.53	c number of skipped derivation steps 	: 0
3600.09/3659.53	c number of remaining unassigned 	: 0
3600.09/3659.53	c number of remaining assigned 	: 0
3600.09/3659.53	c number of falsified literals weakened from reason	: 0
3600.09/3659.53	c number of falsified literals weakened from conflict	: 0
3600.09/3659.53	c time for arithmetic operations	: 0
3600.09/3659.53	c minimum degree of deleted constraints	: null
3600.09/3659.53	c maximum degree of deleted constraints	: null
3600.09/3659.53	c number of deleted constraints	: 0
3600.09/3659.54	c speed (assignments/second)	: 215281.30349518257
3600.09/3659.54	c non guided choices	: 61661
3600.30/3659.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 556001
3600.30/3659.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 10
3600.30/3659.61	s UNKNOWN
3600.30/3659.61	c Total wall clock time (in seconds): 3659.479

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61384 MiB free)
  memory of node 1: 64465 MiB (58801 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.43 4.26 4.20 6/344 43464
/proc/meminfo: memFree=123034096/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=18930384 memory=57796 CPUtime=0.12 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 6587 0 0 0 11 1 0 0 20 0 18 0 47540574 19384713216 14449 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4732596 14449 5345 1 0 547622 0
[pid=43446/tid=43448] ppid=43443 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 5086 0 0 0 7 1 0 0 20 0 18 0 47540575 19384713216 14449 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 14449 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 14449 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57796 KiB

[startup+0.205669 s]*
/proc/loadavg: 4.43 4.26 4.20 7/344 43464
/proc/meminfo: memFree=123019792/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=18930384 memory=72512 CPUtime=0.32 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 7096 0 0 0 30 2 0 0 20 0 18 0 47540574 19384713216 18128 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4732596 18128 5441 1 0 547987 0
[pid=43446/tid=43448] ppid=43443 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 5305 0 0 0 16 1 0 0 20 0 18 0 47540575 19384713216 18128 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 18128 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 18128 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72512 KiB

[startup+0.305613 s]*
/proc/loadavg: 4.43 4.26 4.20 6/344 43464
/proc/meminfo: memFree=122978896/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=18930384 memory=113780 CPUtime=0.51 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 8731 0 0 0 48 3 0 0 20 0 18 0 47540574 19384713216 28445 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4732596 28445 5441 1 0 549038 0
[pid=43446/tid=43448] ppid=43443 vsize=18930384 memory=-6000919494198192491 CPUtime=0.27 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 5360 0 0 0 24 3 0 0 20 0 18 0 47540575 19384713216 28445 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 28445 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47540577 19384713216 28445 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113780 KiB

[startup+0.700243 s]
/proc/loadavg: 4.43 4.26 4.20 6/345 43465
/proc/meminfo: memFree=122956464/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=183216 CPUtime=1.28 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 17092 0 0 0 122 6 0 0 20 0 20 0 47540574 19521036288 45804 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 45804 5505 1 0 553811 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=17664 CPUtime=0.61 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 5499 0 0 0 57 4 0 0 20 0 20 0 47540575 19521036288 45804 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 45804 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 45804 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 45804 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183216 KiB

[startup+1.50024 s]
/proc/loadavg: 4.43 4.26 4.20 6/346 43466
/proc/meminfo: memFree=122889612/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=196812 CPUtime=2.86 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 17455 0 0 0 278 8 0 0 20 0 20 0 47540574 19521036288 49203 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 49203 5505 1 0 553863 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=0 CPUtime=1.34 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 5538 0 0 0 129 5 0 0 20 0 20 0 47540575 19521036288 49203 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 49203 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 49203 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 49203 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196812 KiB

[startup+3.10551 s]
/proc/loadavg: 4.43 4.26 4.20 5/346 43466
/proc/meminfo: memFree=122153612/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=750096 CPUtime=5.36 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 24750 0 0 0 514 22 0 0 20 0 20 0 47540574 19521036288 187524 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 187524 5505 1 0 840267 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11136 CPUtime=2.75 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 6059 0 0 0 259 16 0 0 20 0 20 0 47540575 19521036288 187524 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=-6000919494198192491 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 187524 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 187524 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 187524 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 750096 KiB

[startup+6.30021 s]
/proc/loadavg: 4.56 4.29 4.21 5/346 43466
/proc/meminfo: memFree=121239352/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=1433180 CPUtime=9.11 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 28744 0 0 0 871 40 0 0 20 0 20 0 47540574 19521036288 358295 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 358295 5537 1 0 1122859 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=0 CPUtime=5.81 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 6757 0 0 0 551 30 0 0 20 0 20 0 47540575 19521036288 358295 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 358295 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 358295 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=196940 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 358295 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1433180 KiB

[startup+12.7002 s]
/proc/loadavg: 4.51 4.29 4.21 5/346 43466
/proc/meminfo: memFree=118672464/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=2760456 CPUtime=15.6 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 29921 0 0 0 1489 71 0 0 20 0 20 0 47540574 19521036288 690114 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 690114 5537 1 0 1122871 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=196940 CPUtime=12.14 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 7792 0 0 0 1155 59 0 0 20 0 20 0 47540575 19521036288 690114 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=2578056 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 690114 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 690114 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 690114 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2760456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.27 4.21 5/346 43466
/proc/meminfo: memFree=117050936/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=2798220 CPUtime=28.8 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 37393 0 0 0 2792 88 0 0 20 0 20 0 47540574 19521036288 699555 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 699555 5537 1 0 1122872 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=-6000919494198192491 CPUtime=24.81 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 9630 0 0 0 2407 74 0 0 20 0 20 0 47540575 19521036288 699555 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=2798220 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 699555 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 699555 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 699555 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2798220 KiB

[startup+51.1056 s]
/proc/loadavg: 4.34 4.26 4.21 5/346 43467
/proc/meminfo: memFree=115741040/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=2859780 CPUtime=54.53 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 41020 0 0 0 5349 104 0 0 20 0 20 0 47540574 19521036288 714945 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 714945 5537 1 0 1122872 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=2859780 CPUtime=50.1 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 11447 0 0 0 4922 88 0 0 20 0 20 0 47540575 19521036288 714945 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 714945 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0

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

[startup+3342.3 s]
/proc/loadavg: 4.23 4.26 4.21 5/346 43677
/proc/meminfo: memFree=57545732/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3284.21 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 377679 0 0 0 326856 1565 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3239.34 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 222498 0 0 0 322489 1445 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 2719 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=-6000919494198192491 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3284.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.26 4.21 5/348 43682
/proc/meminfo: memFree=56935748/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3344.11 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 386657 0 0 0 332829 1582 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3298.61 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 229748 0 0 0 328400 1461 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=2208 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 2770 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3344.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.32 4.30 4.23 5/348 43684
/proc/meminfo: memFree=56265032/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3403.97 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 392801 0 0 0 338797 1600 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3357.74 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) D 43443 43446 42765 0 -1 4194368 234080 0 0 0 334295 1479 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 2821 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3403.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.26 4.22 4/324 43697
/proc/meminfo: memFree=67871704/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3463.5 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 397824 0 0 0 344733 1617 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3417.1 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 238933 0 0 0 340216 1494 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 2871 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3463.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.30 4.23 5/346 44351
/proc/meminfo: memFree=98369328/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3523.08 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 405472 0 0 0 350666 1642 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3476.58 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 245609 0 0 0 346140 1518 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 2964 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3523.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

[startup+3642.3 s]
/proc/loadavg: 4.21 4.26 4.22 5/346 44353
/proc/meminfo: memFree=95903272/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3583 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 411127 0 0 0 356644 1656 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=17664 CPUtime=3536.13 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 249007 0 0 0 352081 1532 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 3015 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3659.5 s]
/proc/loadavg: 4.24 4.26 4.22 5/346 44353
/proc/meminfo: memFree=95291780/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3600.09 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 412482 0 0 0 358350 1659 0 0 20 0 20 0 47540574 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4765878 2914616 5537 1 0 2943286 0
[pid=43446/tid=43448] ppid=43443 vsize=19063512 memory=11658464 CPUtime=3553.22 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 250323 0 0 0 353787 1535 0 0 20 0 20 0 47540575 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 3015 0 0 0 0 0 0 0 20 0 20 0 47540577 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43465] ppid=43443 vsize=19063512 memory=11658464 CPUtime=0 cores=0,2
/proc/43446/task/43465/stat : 43465 (Timer-0) S 43443 43446 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47540607 19521036288 2914616 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11658464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.72 s, system=16.6361 s

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

[startup+3659.6 s]
/proc/loadavg: 4.24 4.26 4.22 5/346 44353
/proc/meminfo: memFree=95291780/131249996 swapFree=33010684/33010684
[pid=43446] ppid=43443 vsize=19263204 memory=11659488 CPUtime=3600.3 cores=0,2
/proc/43446/stat : 43446 (java) S 43443 43446 42765 0 -1 4194304 415086 0 0 0 358370 1660 0 0 20 0 21 0 47540574 19725520896 2914872 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
/proc/43446/statm: 4815801 2914872 5569 1 0 2944237 0
[pid=43446/tid=43448] ppid=43443 vsize=19263204 memory=1792 CPUtime=3553.33 cores=0,2
/proc/43446/task/43448/stat : 43448 (java) R 43443 43446 42765 0 -1 4194368 250323 0 0 0 353798 1535 0 0 20 0 21 0 47540575 19725520896 2914872 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43457] ppid=43443 vsize=19263204 memory=1920 CPUtime=0 cores=0,2
/proc/43446/task/43457/stat : 43457 (Finalizer) S 43443 43446 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47540577 19725520896 2914872 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
[pid=43446/tid=43464] ppid=43443 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/43446/task/43464/stat : 43464 (Common-Cleaner) S 43443 43446 42765 0 -1 4194368 3015 0 0 0 0 0 0 0 20 0 21 0 47540577 19725520896 2914872 18446744073709551615 93875705507840 93875705511536 140728980573328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875705519352 93875705520144 93875716784128 140728980576560 140728980576742 140728980576742 140728980582344 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11659488 KiB

Child status: 143

Real time (s): 3659.68
CPU time (s): 3600.35
CPU user time (s): 3583.72
CPU system time (s): 16.6361
CPU usage (%): 98.379
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11659488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.72
system time used= 16.6361
maximum resident set size= 11659616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31748648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116680
involuntary context switches= 12083


# summary of solver processes directly reported to runsolver:
#   pid: 43446
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3583.72
#   total CPU system time (s): 16.6361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70043 second user time and 16.99 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 23:23:39
IDJOB=4485835
IDBENCH=146890
IDSOLVER=3364
FILE ID=nodeC032/4485835-1751318619
RUNJOBID= nodeC032-1751314974-42775
SLURM_JOB_ID= 9594329
Free space on /tmp= 432036 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485835-1751318619/watcher-4485835-1751318619 -o /tmp/evaluation-result-4485835-1751318619/solver-4485835-1751318619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751314974-42775 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4485835-1751318619 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4485835-1751318619.opb

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

MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=1591096614

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123070312 kB
MemAvailable:   123730224 kB
Buffers:            3280 kB
Cached:          1467012 kB
SwapCached:            0 kB
Active:          6388276 kB
Inactive:        1213488 kB
Active(anon):    6149640 kB
Inactive(anon):        0 kB
Active(file):     238636 kB
Inactive(file):  1213488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            223708 kB
Writeback:             0 kB
AnonPages:       6134640 kB
Mapped:           122996 kB
Shmem:             18068 kB
KReclaimable:      94052 kB
Slab:             189088 kB
SReclaimable:      94052 kB
SUnreclaim:        95036 kB
KernelStack:        5264 kB
PageTables:        15660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15115940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5926912 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432064 MiB
End job on nodeC032 at 2025-07-01 00:24:39