Trace number 4497108

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)52176 3600.27 3604.04

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUMcc2b167b604094044d9d141ee486a126
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 benchmark47342
Best CPU time to get the best result obtained on this benchmark0.036919
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4497108-1751383337.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.11/0.19	c ... done. Wall clock time 0.056s.
0.11/0.19	c declared #vars     1152
0.11/0.20	c #constraints  1774
0.11/0.20	c constraints type 
0.11/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.11/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.11/0.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.11/0.20	c 1774 constraints processed.
0.30/0.21	c objective function length is 661 literals
0.30/0.22	c SATISFIABLE
0.30/0.22	c OPTIMIZING...
0.30/0.22	c Got one! Elapsed wall clock time (in seconds):0.087
0.30/0.22	o 54696
0.50/0.40	c Got one! Elapsed wall clock time (in seconds):0.264
0.50/0.40	o 53648
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.27
0.69/0.41	o 53452
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.341
0.69/0.48	o 52290
0.88/0.52	c Got one! Elapsed wall clock time (in seconds):0.383
0.88/0.52	o 52284
0.88/0.53	c Got one! Elapsed wall clock time (in seconds):0.389
0.88/0.53	o 52176
1.46/0.82	c cleaning 3164 clauses out of 6329 with flag 7738/6329
2.06/1.35	c cleaning 4579 clauses out of 9164 with flag 24987/12328
2.75/1.98	c cleaning 5789 clauses out of 11585 with flag 44436/19328
3.51/2.69	c cleaning 6894 clauses out of 13797 with flag 66671/27329
4.30/3.48	c cleaning 7933 clauses out of 15902 with flag 92705/36328
5.20/4.34	c cleaning 8983 clauses out of 17970 with flag 121129/46329
6.10/5.29	c cleaning 9983 clauses out of 19986 with flag 153698/57328
7.20/6.34	c cleaning 10982 clauses out of 22003 with flag 189659/69328
8.39/7.53	c cleaning 12003 clauses out of 24021 with flag 229650/82328
9.59/8.76	c cleaning 13004 clauses out of 26021 with flag 267237/96331
10.89/10.08	c cleaning 14005 clauses out of 28016 with flag 306964/111330
12.41/11.50	c cleaning 15001 clauses out of 30010 with flag 353518/127329
13.94/13.00	c cleaning 16002 clauses out of 32009 with flag 401263/144329
15.44/14.55	c cleaning 16997 clauses out of 34006 with flag 453548/162328
17.22/16.20	c cleaning 18005 clauses out of 36012 with flag 512112/181331
18.93/17.96	c cleaning 18991 clauses out of 38004 with flag 570679/201328
20.82/19.87	c cleaning 20006 clauses out of 40013 with flag 631768/222328
22.82/21.87	c cleaning 21004 clauses out of 42007 with flag 695949/244328
24.81/23.89	c cleaning 21994 clauses out of 44004 with flag 762018/267329
27.01/26.05	c cleaning 22995 clauses out of 46010 with flag 847679/291329
29.40/28.41	c cleaning 24005 clauses out of 48016 with flag 937586/316330
31.90/30.94	c cleaning 25002 clauses out of 50009 with flag 1032215/342328
34.49/33.51	c cleaning 25967 clauses out of 52007 with flag 1133355/369328
37.11/36.15	c cleaning 27010 clauses out of 54040 with flag 1225841/397328
40.00/39.06	c cleaning 28011 clauses out of 56030 with flag 1322605/426328
43.04/42.04	c cleaning 29008 clauses out of 58019 with flag 1420585/456328
45.92/44.93	c cleaning 30002 clauses out of 60011 with flag 1528590/487328
48.92/48.00	c cleaning 31005 clauses out of 62009 with flag 1644988/519328
51.81/50.87	c cleaning 32003 clauses out of 64005 with flag 1769624/552329
54.81/53.86	c cleaning 32996 clauses out of 66001 with flag 1920064/586328
57.90/56.95	c cleaning 33999 clauses out of 68005 with flag 2067739/621328
61.19/60.23	c cleaning 34980 clauses out of 70006 with flag 2221376/657328
64.79/63.82	c cleaning 36007 clauses out of 72028 with flag 2369037/694330
68.78/67.88	c cleaning 37010 clauses out of 74019 with flag 2511540/732328
72.89/71.96	c cleaning 37994 clauses out of 76009 with flag 2659876/771328
76.78/75.86	c cleaning 38995 clauses out of 78015 with flag 2813638/811328
80.47/79.51	c cleaning 39993 clauses out of 80020 with flag 2981536/852328
84.66/83.79	c cleaning 40998 clauses out of 82027 with flag 3127799/894328
88.96/88.03	c cleaning 42004 clauses out of 84029 with flag 3297382/937328
93.56/92.63	c cleaning 43010 clauses out of 86025 with flag 3457653/981328
98.15/97.25	c cleaning 44008 clauses out of 88017 with flag 3628684/1026330
102.54/101.69	c cleaning 44985 clauses out of 90007 with flag 3794708/1072328
106.93/106.09	c cleaning 46002 clauses out of 92023 with flag 3969568/1119329
111.65/110.71	c cleaning 46989 clauses out of 94020 with flag 4140958/1167328
116.44/115.59	c cleaning 48013 clauses out of 96031 with flag 4326227/1216328
121.42/120.57	c cleaning 48997 clauses out of 98021 with flag 4506833/1266331
126.21/125.37	c cleaning 50000 clauses out of 100023 with flag 4695679/1317330
131.83/130.90	c cleaning 51004 clauses out of 102021 with flag 4881503/1369328
137.52/136.66	c cleaning 51999 clauses out of 104017 with flag 5056639/1422328
143.11/142.23	c cleaning 53003 clauses out of 106019 with flag 5252647/1476329
148.20/147.33	c cleaning 54008 clauses out of 108017 with flag 5457692/1531330
153.31/152.49	c cleaning 54995 clauses out of 110008 with flag 5666820/1587329
158.90/158.10	c cleaning 55999 clauses out of 112013 with flag 5883793/1644329
164.09/163.29	c cleaning 56992 clauses out of 114014 with flag 6106238/1702329
169.80/168.90	c cleaning 58010 clauses out of 116021 with flag 6333817/1761328
175.48/174.64	c cleaning 58997 clauses out of 118011 with flag 6562691/1821328
181.56/180.72	c cleaning 59994 clauses out of 120014 with flag 6788195/1882328
187.55/186.76	c cleaning 60986 clauses out of 122020 with flag 7031649/1944328
193.73/192.97	c cleaning 62004 clauses out of 124034 with flag 7274851/2007328
199.91/199.15	c cleaning 63006 clauses out of 126030 with flag 7518277/2071328
206.09/205.32	c cleaning 64005 clauses out of 128024 with flag 7755510/2136328
212.41/211.61	c cleaning 64996 clauses out of 130019 with flag 8002878/2202328
218.80/218.01	c cleaning 66004 clauses out of 132023 with flag 8241273/2269328
225.58/224.83	c cleaning 67000 clauses out of 134019 with flag 8478523/2337328
232.49/231.76	c cleaning 68008 clauses out of 136019 with flag 8706847/2406328
240.17/239.43	c cleaning 68987 clauses out of 138011 with flag 8946281/2476328
247.65/246.95	c cleaning 70000 clauses out of 140024 with flag 9194101/2547328
254.74/254.07	c cleaning 70986 clauses out of 142025 with flag 9449822/2619329
262.25/261.52	c cleaning 71996 clauses out of 144038 with flag 9707421/2692328
269.44/268.72	c cleaning 73012 clauses out of 146044 with flag 9975763/2766330
276.42/275.71	c cleaning 74004 clauses out of 148030 with flag 10235232/2841328
283.60/282.97	c cleaning 75008 clauses out of 150027 with flag 10513075/2917329
291.22/290.56	c cleaning 75992 clauses out of 152019 with flag 10795960/2994329
298.90/298.21	c cleaning 77005 clauses out of 154026 with flag 11077413/3072328
306.98/306.32	c cleaning 77999 clauses out of 156024 with flag 11367990/3151331
314.36/313.72	c cleaning 79004 clauses out of 158022 with flag 11647156/3231328
322.59/321.92	c cleaning 80003 clauses out of 160019 with flag 11927832/3312329
330.57/329.93	c cleaning 80994 clauses out of 162017 with flag 12225591/3394330
338.35/337.70	c cleaning 81998 clauses out of 164022 with flag 12532186/3477329
346.03/345.48	c cleaning 83004 clauses out of 166023 with flag 12833175/3561328
354.00/353.42	c cleaning 84000 clauses out of 168019 with flag 13146399/3646328
362.69/362.19	c cleaning 84996 clauses out of 170019 with flag 13466866/3732328
371.19/370.60	c cleaning 85989 clauses out of 172023 with flag 13786924/3819328
379.47/379.00	c cleaning 87011 clauses out of 174034 with flag 14103810/3907328
388.15/387.67	c cleaning 88006 clauses out of 176023 with flag 14423208/3996328
396.54/396.03	c cleaning 89004 clauses out of 178017 with flag 14733351/4086328
405.41/404.92	c cleaning 89983 clauses out of 180013 with flag 15044402/4177328
414.08/413.62	c cleaning 91003 clauses out of 182030 with flag 15371663/4269328
423.05/422.62	c cleaning 92007 clauses out of 184027 with flag 15693313/4362328
432.43/432.10	c cleaning 93006 clauses out of 186021 with flag 16031794/4456329
442.00/441.65	c cleaning 94003 clauses out of 188014 with flag 16360072/4551328
452.17/451.82	c cleaning 94993 clauses out of 190011 with flag 16692819/4647328
461.69/461.32	c cleaning 95986 clauses out of 192018 with flag 17033615/4744328
470.97/470.68	c cleaning 97009 clauses out of 194032 with flag 17385331/4842328
481.25/480.93	c cleaning 97983 clauses out of 196023 with flag 17739560/4941328
491.52/491.25	c cleaning 99005 clauses out of 198040 with flag 18106917/5041328
502.09/501.88	c cleaning 100003 clauses out of 200036 with flag 18468794/5142329
512.18/511.94	c cleaning 101004 clauses out of 202032 with flag 18831901/5244328
522.65/522.48	c cleaning 102007 clauses out of 204028 with flag 19212538/5347328
533.02/532.82	c cleaning 103003 clauses out of 206021 with flag 19583447/5451328
543.20/543.01	c cleaning 103999 clauses out of 208018 with flag 19965935/5556328
554.97/554.80	c cleaning 105010 clauses out of 210020 with flag 20332853/5662329
565.56/565.30	c cleaning 106001 clauses out of 212009 with flag 20700026/5769328
576.54/576.36	c cleaning 107001 clauses out of 214008 with flag 21080142/5877328
588.71/588.52	c cleaning 108002 clauses out of 216007 with flag 21449258/5986328
601.28/601.18	c cleaning 108986 clauses out of 218005 with flag 21822879/6096328
612.84/612.75	c cleaning 109996 clauses out of 220019 with flag 22220259/6207328
624.22/624.19	c cleaning 111009 clauses out of 222024 with flag 22610032/6319329
636.09/636.09	c cleaning 111994 clauses out of 224014 with flag 23000915/6432328
648.04/647.91	c cleaning 113011 clauses out of 226022 with flag 23393971/6546330
659.61/659.50	c cleaning 113999 clauses out of 228011 with flag 23795687/6661330
671.78/671.70	c cleaning 114996 clauses out of 230010 with flag 24189142/6777328
684.55/684.57	c cleaning 115988 clauses out of 232014 with flag 24586918/6894328
697.23/697.22	c cleaning 117014 clauses out of 234027 with flag 24988892/7012329
709.50/709.54	c cleaning 118004 clauses out of 236012 with flag 25403598/7131328
723.56/723.62	c cleaning 119003 clauses out of 238008 with flag 25812692/7251328
735.73/735.86	c cleaning 119978 clauses out of 240005 with flag 26257345/7372328
749.88/749.99	c cleaning 121008 clauses out of 242029 with flag 26693055/7494330
765.44/765.54	c cleaning 122011 clauses out of 244021 with flag 27061296/7617330
779.61/779.79	c cleaning 122998 clauses out of 246008 with flag 27428897/7741328
792.88/793.05	c cleaning 123974 clauses out of 248010 with flag 27877300/7866328
805.84/806.08	c cleaning 124995 clauses out of 250036 with flag 28317622/7992328
819.51/819.78	c cleaning 126002 clauses out of 252041 with flag 28744292/8119328
833.18/833.41	c cleaning 127018 clauses out of 254039 with flag 29174154/8247328
847.65/847.94	c cleaning 127999 clauses out of 256021 with flag 29606884/8376328
862.24/862.43	c cleaning 129010 clauses out of 258022 with flag 30039604/8506328
875.60/875.84	c cleaning 129986 clauses out of 260012 with flag 30497247/8637328
889.36/889.62	c cleaning 131004 clauses out of 262028 with flag 30947565/8769330
902.92/903.22	c cleaning 132003 clauses out of 264023 with flag 31441614/8902329
917.98/918.31	c cleaning 133002 clauses out of 266019 with flag 31920977/9036328
933.23/933.67	c cleaning 133989 clauses out of 268017 with flag 32404642/9171328
947.10/947.58	c cleaning 135011 clauses out of 270029 with flag 32885351/9307329
962.44/962.65	c cleaning 135996 clauses out of 272017 with flag 33342261/9444328
977.71/978.00	c cleaning 137004 clauses out of 274021 with flag 33809585/9582328
991.08/991.35	c cleaning 138001 clauses out of 276017 with flag 34310659/9721328
1006.64/1006.98	c cleaning 138994 clauses out of 278016 with flag 34831179/9861328
1022.00/1022.39	c cleaning 140007 clauses out of 280022 with flag 35347067/10002328
1036.96/1037.39	c cleaning 141001 clauses out of 282015 with flag 35837621/10144328
1051.83/1052.28	c cleaning 142007 clauses out of 284015 with flag 36345132/10287329
1067.80/1068.25	c cleaning 142996 clauses out of 286007 with flag 36851220/10431328
1083.56/1084.05	c cleaning 144001 clauses out of 288013 with flag 37345508/10576330
1100.84/1101.20	c cleaning 144981 clauses out of 290010 with flag 37878084/10722328
1116.89/1117.34	c cleaning 146014 clauses out of 292030 with flag 38395628/10869329
1132.45/1132.92	c cleaning 146975 clauses out of 294016 with flag 38930735/11017329
1148.42/1148.93	c cleaning 148010 clauses out of 296041 with flag 39482525/11166329
1164.48/1165.10	c cleaning 149014 clauses out of 298033 with flag 40031988/11316331
1181.34/1181.92	c cleaning 150006 clauses out of 300017 with flag 40518448/11467329
1198.51/1199.16	c cleaning 150998 clauses out of 302010 with flag 41042810/11619328
1217.05/1217.62	c cleaning 152000 clauses out of 304013 with flag 41573697/11772329
1236.70/1237.30	c cleaning 152999 clauses out of 306013 with flag 42065312/11926329
1254.45/1255.10	c cleaning 153987 clauses out of 308013 with flag 42595202/12081328
1271.70/1272.43	c cleaning 155004 clauses out of 310026 with flag 43140626/12237328
1289.45/1290.28	c cleaning 155996 clauses out of 312023 with flag 43711179/12394329
1308.40/1309.25	c cleaning 157006 clauses out of 314026 with flag 44287406/12552328
1325.17/1325.92	c cleaning 158006 clauses out of 316021 with flag 44866799/12711329
1341.43/1342.25	c cleaning 158972 clauses out of 318014 with flag 45429420/12871328
1359.99/1360.83	c cleaning 160022 clauses out of 320043 with flag 46000289/13032329
1378.15/1379.03	c cleaning 161010 clauses out of 322024 with flag 46557459/13194332
1394.60/1395.56	c cleaning 161994 clauses out of 324010 with flag 47120621/13357328
1412.55/1413.51	c cleaning 162985 clauses out of 326016 with flag 47683803/13521328
1430.57/1431.54	c cleaning 164009 clauses out of 328032 with flag 48262852/13686329
1447.73/1448.79	c cleaning 165008 clauses out of 330023 with flag 48859819/13852329
1466.28/1467.38	c cleaning 165997 clauses out of 332014 with flag 49433044/14019328
1485.14/1486.28	c cleaning 167003 clauses out of 334018 with flag 50011231/14187329
1505.49/1506.69	c cleaning 167987 clauses out of 336014 with flag 50602406/14356328
1525.04/1526.22	c cleaning 168998 clauses out of 338027 with flag 51175326/14526328
1543.48/1544.75	c cleaning 170006 clauses out of 340029 with flag 51767898/14697328
1563.03/1564.30	c cleaning 170978 clauses out of 342023 with flag 52353746/14869328
1582.77/1584.09	c cleaning 172003 clauses out of 344045 with flag 52944528/15042328
1602.82/1604.11	c cleaning 173010 clauses out of 346042 with flag 53550039/15216328
1622.47/1623.89	c cleaning 173992 clauses out of 348032 with flag 54151135/15391328
1641.43/1642.84	c cleaning 175010 clauses out of 350040 with flag 54757159/15567328
1660.78/1662.29	c cleaning 176006 clauses out of 352031 with flag 55376637/15744329
1681.53/1683.06	c cleaning 177006 clauses out of 354024 with flag 56011136/15922328
1701.78/1703.38	c cleaning 177998 clauses out of 356019 with flag 56635410/16101329
1723.13/1724.72	c cleaning 179000 clauses out of 358020 with flag 57271449/16281328
1743.15/1744.76	c cleaning 179982 clauses out of 360020 with flag 57906328/16462328
1765.70/1767.38	c cleaning 181018 clauses out of 362038 with flag 58542358/16644328
1785.94/1787.63	c cleaning 181998 clauses out of 364020 with flag 59176705/16827328
1805.68/1807.48	c cleaning 183003 clauses out of 366022 with flag 59845144/17011328
1826.92/1828.74	c cleaning 183997 clauses out of 368020 with flag 60509999/17196329
1847.96/1849.82	c cleaning 184984 clauses out of 370022 with flag 61159388/17382328
1868.40/1870.34	c cleaning 186014 clauses out of 372038 with flag 61827073/17569328
1891.52/1893.48	c cleaning 186993 clauses out of 374024 with flag 62507680/17757328
1915.86/1917.90	c cleaning 188005 clauses out of 376032 with flag 63173043/17946329
1937.91/1939.92	c cleaning 189008 clauses out of 378032 with flag 63840973/18136334
1960.96/1963.06	c cleaning 190005 clauses out of 380019 with flag 64499180/18327329
1983.21/1985.37	c cleaning 190999 clauses out of 382014 with flag 65152119/18519329
2007.05/2009.29	c cleaning 192005 clauses out of 384016 with flag 65809997/18712330
2029.80/2032.00	c cleaning 192994 clauses out of 386010 with flag 66468780/18906329
2051.76/2053.97	c cleaning 193985 clauses out of 388016 with flag 67147523/19101329
2074.60/2076.89	c cleaning 195010 clauses out of 390030 with flag 67857928/19297328
2096.95/2099.24	c cleaning 196002 clauses out of 392021 with flag 68551284/19494329
2119.10/2121.47	c cleaning 196994 clauses out of 394018 with flag 69224486/19692328
2139.84/2142.29	c cleaning 197999 clauses out of 396024 with flag 69939897/19891328
2161.30/2163.77	c cleaning 199000 clauses out of 398025 with flag 70635964/20091328
2183.34/2185.80	c cleaning 200004 clauses out of 400025 with flag 71333869/20292328
2206.33/2208.20	c cleaning 201001 clauses out of 402022 with flag 72035614/20494329
2229.38/2231.31	c cleaning 201995 clauses out of 404021 with flag 72740224/20697329
2252.03/2254.03	c cleaning 202999 clauses out of 406025 with flag 73458843/20901328
2275.56/2277.63	c cleaning 203997 clauses out of 408026 with flag 74227383/21106328
2298.81/2300.94	c cleaning 204995 clauses out of 410029 with flag 74985914/21312328
2322.98/2325.12	c cleaning 205999 clauses out of 412034 with flag 75749552/21519328
2349.21/2351.45	c cleaning 207016 clauses out of 414035 with flag 76509563/21727328
2377.43/2379.73	c cleaning 207996 clauses out of 416021 with flag 77261181/21936330
2402.26/2404.60	c cleaning 208995 clauses out of 418023 with flag 78009092/22146328
2424.70/2427.17	c cleaning 210010 clauses out of 420029 with flag 78752603/22357329
2450.53/2453.00	c cleaning 210994 clauses out of 422018 with flag 79505646/22569328
2473.36/2475.97	c cleaning 212008 clauses out of 424024 with flag 80268939/22782328
2496.65/2499.11	c cleaning 212986 clauses out of 426016 with flag 80997872/22996328
2519.39/2521.95	c cleaning 214010 clauses out of 428037 with flag 81742732/23211335
2543.93/2546.53	c cleaning 215001 clauses out of 430020 with flag 82478078/23427328
2570.47/2573.17	c cleaning 216009 clauses out of 432021 with flag 83226340/23644330
2597.61/2600.39	c cleaning 217005 clauses out of 434012 with flag 83986973/23862330
2621.75/2624.53	c cleaning 217997 clauses out of 436007 with flag 84715983/24081330
2648.59/2651.42	c cleaning 218984 clauses out of 438008 with flag 85467127/24301328
2678.34/2681.13	c cleaning 220001 clauses out of 440024 with flag 86239560/24522328
2703.77/2706.65	c cleaning 221005 clauses out of 442027 with flag 87011770/24744332
2730.80/2733.75	c cleaning 221996 clauses out of 444018 with flag 87780454/24967328
2757.84/2760.83	c cleaning 222994 clauses out of 446022 with flag 88554567/25191328
2782.68/2785.78	c cleaning 223994 clauses out of 448028 with flag 89357107/25416328
2809.12/2812.25	c cleaning 225013 clauses out of 450034 with flag 90149879/25642328
2838.55/2841.79	c cleaning 225976 clauses out of 452021 with flag 90942573/25869328
2864.41/2867.50	c cleaning 227008 clauses out of 454045 with flag 91749961/26097328
2892.85/2896.08	c cleaning 228011 clauses out of 456038 with flag 92569912/26326329
2920.48/2923.77	c cleaning 228999 clauses out of 458026 with flag 93377846/26556328
2949.50/2952.88	c cleaning 229991 clauses out of 460027 with flag 94194402/26787328
2975.84/2979.23	c cleaning 231013 clauses out of 462036 with flag 95027709/27019328
3008.27/3011.72	c cleaning 232007 clauses out of 464023 with flag 95850660/27252328
3036.50/3039.87	c cleaning 232998 clauses out of 466016 with flag 96675680/27486328
3066.42/3069.88	c cleaning 233993 clauses out of 468018 with flag 97494196/27721328
3095.46/3098.94	c cleaning 235009 clauses out of 470025 with flag 98328366/27957328
3122.29/3125.80	c cleaning 235992 clauses out of 472016 with flag 99138540/28194328
3149.99/3153.03	c cleaning 236996 clauses out of 474024 with flag 99961444/28432328
3183.31/3186.44	c cleaning 237994 clauses out of 476028 with flag 100797986/28671328
3215.84/3219.10	c cleaning 239010 clauses out of 478034 with flag 101641522/28911328
3246.55/3249.86	c cleaning 239992 clauses out of 480024 with flag 102463039/29152328
3277.86/3281.12	c cleaning 241001 clauses out of 482032 with flag 103314115/29394328
3311.08/3314.40	c cleaning 241998 clauses out of 484031 with flag 104145615/29637328
3341.41/3344.83	c cleaning 243001 clauses out of 486033 with flag 105009392/29881328
3373.34/3376.86	c cleaning 244007 clauses out of 488033 with flag 105848490/30126329
3401.37/3404.95	c cleaning 244991 clauses out of 490025 with flag 106703732/30372328
3429.51/3433.16	c cleaning 246011 clauses out of 492034 with flag 107548945/30619328
3458.74/3462.45	c cleaning 247012 clauses out of 494023 with flag 108407891/30867328
3488.37/3492.10	c cleaning 248002 clauses out of 496011 with flag 109273753/31116328
3516.30/3520.05	c cleaning 248986 clauses out of 498009 with flag 110150168/31366328
3546.54/3550.37	c cleaning 250007 clauses out of 500023 with flag 111006883/31617328
3575.76/3579.60	c cleaning 251005 clauses out of 502018 with flag 111893052/31869330
3600.01/3603.91	c starts		: 7757
3600.01/3603.92	c conflicts		: 32122328
3600.01/3603.92	c decisions		: 175319050
3600.01/3603.92	c propagations		: 11387942309
3600.01/3603.92	c inspects		: 19912582264
3600.01/3603.92	c shortcuts		: 0
3600.01/3603.92	c learnt literals	: 0
3600.01/3603.92	c learnt binary clauses	: 0
3600.01/3603.92	c learnt ternary clauses	: 0
3600.01/3603.92	c learnt constraints	: 32122328
3600.01/3603.92	c ignored constraints	: 0
3600.01/3603.92	c root simplifications	: 0
3600.01/3603.92	c removed literals (reason simplification)	: 117162018
3600.01/3603.92	c reason swapping (by a shorter reason)	: 0
3600.01/3603.92	c Calls to reduceDB	: 249
3600.01/3603.92	c Number of update (reduction) of LBD	: 16778067
3600.01/3603.92	c Imported unit clauses	: 0
3600.01/3603.93	c No decision after first conflict	: false
3600.01/3603.93	c number of reductions to clauses (during analyze)	: 0
3600.01/3603.93	c number of learned constraints concerned by reduction	: 0
3600.01/3603.93	c number of learning phase by resolution	: 0
3600.01/3603.93	c number of learning phase by cutting planes	: 0
3600.01/3603.93	c number of rounding to 1 operations	: 0
3600.01/3603.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3603.93	c number of reductions of the coefficients by power 2 	: 0
3600.01/3603.93	c number of right shift for reduction by power 2 	: 0
3600.01/3603.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3603.93	c number of ending skipping 	: 0
3600.01/3603.93	c number of internal skipping 	: 0
3600.01/3603.93	c number of derivation steps 	: 0
3600.01/3603.93	c number of skipped derivation steps 	: 0
3600.01/3603.93	c number of remaining unassigned 	: 0
3600.01/3603.93	c number of remaining assigned 	: 0
3600.01/3603.93	c number of falsified literals weakened from reason	: 0
3600.01/3603.93	c number of falsified literals weakened from conflict	: 0
3600.01/3603.93	c time for arithmetic operations	: 0
3600.01/3603.94	c minimum degree of deleted constraints	: null
3600.01/3603.94	c maximum degree of deleted constraints	: null
3600.01/3603.94	c number of deleted constraints	: 0
3600.01/3603.94	c speed (assignments/second)	: 3160050.1672992534
3600.01/3603.94	c non guided choices	: 0
3600.21/3604.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 504011
3600.21/3604.02	s SATISFIABLE
3600.21/3604.02	c Found 6 solution(s)
3600.21/3604.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 
3600.21/3604.03	c objective function=52176
3600.21/3604.03	c Total wall clock time (in seconds): 3603.889

Verifier Data 

OK	52176

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497108-1751383337/watcher-4497108-1751383337 -o /tmp/evaluation-result-4497108-1751383337/solver-4497108-1751383337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497108-1751383337.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 1.24 1.76 2.91 11/331 55456
/proc/meminfo: memFree=129187384/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18930384 memory=55384 CPUtime=0.11 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 6442 0 113 0 10 1 0 0 20 0 18 0 54011323 19384713216 13846 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4732596 13846 5337 1 0 547580 0
[pid=55375/tid=55390] ppid=55370 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 4951 0 113 0 6 1 0 0 20 0 18 0 54011325 19384713216 13846 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54011327 19384713216 13846 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54011328 19384713216 13846 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55384 KiB

[startup+0.205795 s]*
/proc/loadavg: 1.24 1.76 2.91 13/332 55457
/proc/meminfo: memFree=129156500/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18930384 memory=64136 CPUtime=0.3 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 7016 0 113 0 28 2 0 0 20 0 18 0 54011323 19384713216 16034 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4732596 16034 5433 1 0 547964 0
[pid=55375/tid=55390] ppid=55370 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 5252 0 113 0 15 1 0 0 20 0 18 0 54011325 19384713216 16034 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54011327 19384713216 16034 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54011328 19384713216 16034 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64136 KiB

[startup+0.305693 s]*
/proc/loadavg: 1.24 1.76 2.91 10/335 55460
/proc/meminfo: memFree=129139184/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18996948 memory=69788 CPUtime=0.5 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 8491 0 113 0 47 3 0 0 20 0 19 0 54011323 19452874752 17447 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749237 17447 5433 1 0 549005 0
[pid=55375/tid=55390] ppid=55370 vsize=18996948 memory=-6000919498442893162 CPUtime=0.25 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 5385 0 113 0 24 1 0 0 20 0 19 0 54011325 19452874752 17447 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19452874752 17447 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19452874752 17447 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19452874752 17447 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69788 KiB

[startup+0.700228 s]
/proc/loadavg: 1.24 1.76 2.91 11/335 55460
/proc/meminfo: memFree=129109340/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18998980 memory=84984 CPUtime=1.26 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 12936 0 113 0 122 4 0 0 20 0 19 0 54011323 19454955520 21246 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749745 21246 5465 1 0 551686 0
[pid=55375/tid=55390] ppid=55370 vsize=18998980 memory=18304 CPUtime=0.62 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 5456 0 113 0 61 1 0 0 20 0 19 0 54011325 19454955520 21246 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18998980 memory=10752 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19454955520 21246 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18998980 memory=3328 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19454955520 21246 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18998980 memory=4760 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19454955520 21246 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18998980 KiB
Current children cumulated memory: 84984 KiB

[startup+1.50022 s]
/proc/loadavg: 1.24 1.76 2.91 7/335 55460
/proc/meminfo: memFree=129076076/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18996948 memory=90624 CPUtime=2.35 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 17010 0 113 0 231 4 0 0 20 0 19 0 54011323 19452874752 22656 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749237 22656 5465 1 0 551982 0
[pid=55375/tid=55390] ppid=55370 vsize=18996948 memory=10752 CPUtime=1.42 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 5828 0 113 0 140 2 0 0 20 0 19 0 54011325 19452874752 22656 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19452874752 22656 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19452874752 22656 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19452874752 22656 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90624 KiB

[startup+3.10537 s]
/proc/loadavg: 1.24 1.76 2.91 7/334 55524
/proc/meminfo: memFree=129074084/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18996948 memory=98952 CPUtime=4.01 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 18066 0 113 0 396 5 0 0 20 0 19 0 54011323 19452874752 24738 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749237 24738 5465 1 0 551985 0
[pid=55375/tid=55390] ppid=55370 vsize=18996948 memory=10752 CPUtime=3.01 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 6095 0 113 0 298 3 0 0 20 0 19 0 54011325 19452874752 24738 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18996948 memory=-6000919507032827754 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19452874752 24738 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19452874752 24738 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19452874752 24738 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98952 KiB

[startup+6.30014 s]
/proc/loadavg: 1.62 1.83 2.93 5/335 55525
/proc/meminfo: memFree=128987296/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18996948 memory=112336 CPUtime=7.2 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 19081 0 113 0 714 6 0 0 20 0 19 0 54011323 19452874752 28084 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749237 28084 5465 1 0 551985 0
[pid=55375/tid=55390] ppid=55370 vsize=18996948 memory=0 CPUtime=6.19 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 6668 0 113 0 616 3 0 0 20 0 19 0 54011325 19452874752 28084 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19452874752 28084 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19452874752 28084 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18996948 memory=90752 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19452874752 28084 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112336 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 1.86 2.94 5/335 55525
/proc/meminfo: memFree=128872632/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=18996948 memory=143056 CPUtime=13.61 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 22215 0 113 0 1354 7 0 0 20 0 19 0 54011323 19452874752 35764 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4749237 35764 5465 1 0 551985 0
[pid=55375/tid=55390] ppid=55370 vsize=18996948 memory=90752 CPUtime=12.57 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 7617 0 113 0 1253 4 0 0 20 0 19 0 54011325 19452874752 35764 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54011327 19452874752 35764 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 54011328 19452874752 35764 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=18996948 memory=-6000919507032827754 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54011345 19452874752 35764 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143056 KiB

[startup+25.5002 s]
/proc/loadavg: 2.29 1.97 2.95 5/340 55530
/proc/meminfo: memFree=128722024/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=174432 CPUtime=26.51 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 24774 0 113 0 2643 8 0 0 20 0 20 0 54011323 19521036288 43608 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 43608 5497 1 0 552274 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=174432 CPUtime=25.32 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 7788 0 113 0 2528 4 0 0 20 0 20 0 54011325 19521036288 43608 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=174432 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 43608 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 43608 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 43608 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 26.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174432 KiB

[startup+51.1053 s]
/proc/loadavg: 2.96 2.15 2.99 5/341 55532
/proc/meminfo: memFree=128685700/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=180700 CPUtime=52.12 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 24887 0 113 0 5204 8 0 0 20 0 20 0 54011323 19521036288 45175 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 45175 5497 1 0 552274 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=180700 CPUtime=50.85 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 7812 0 113 0 5081 4 0 0 20 0 20 0 54011325 19521036288 45175 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=-6000919507032827754 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=121041572/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3279.05 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 74585 0 113 0 327800 105 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555750 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3270.43 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 32749 0 113 0 327017 26 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 704 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3279.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/339 55700
/proc/meminfo: memFree=121038188/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3338.92 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 75206 0 113 0 333785 107 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555750 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=14848 CPUtime=3330.27 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 33329 0 113 0 333001 26 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=-6000919507032827754 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 704 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3338.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/339 55702
/proc/meminfo: memFree=121042780/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3398.77 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 76159 0 113 0 339770 107 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555750 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=14848 CPUtime=3390.13 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 34213 0 113 0 338986 27 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=-6000919507032827754 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 720 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3398.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/340 55709
/proc/meminfo: memFree=121047244/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3458.64 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 76491 0 113 0 345756 108 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555751 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=-6000919507032827754 CPUtime=3449.97 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 34495 0 113 0 344970 27 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 736 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3458.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/340 55711
/proc/meminfo: memFree=120948348/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3518.59 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 77157 0 113 0 351751 108 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555751 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3509.71 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 34678 0 113 0 350944 27 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 736 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3518.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/339 55713
/proc/meminfo: memFree=120947700/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3578.46 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 77913 0 113 0 357737 109 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555751 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3569.55 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 35366 0 113 0 356928 27 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3578.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.9 s]
/proc/loadavg: 4.05 4.08 4.07 5/339 55714
/proc/meminfo: memFree=120947732/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3600.01 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 78111 0 113 0 359891 110 0 0 20 0 20 0 54011323 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4765878 542302 5497 1 0 555751 0
[pid=55375/tid=55390] ppid=55370 vsize=19063512 memory=2169208 CPUtime=3591.1 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 35553 0 113 0 359083 27 0 0 20 0 20 0 54011325 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54011327 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 54011328 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55458] ppid=55370 vsize=19063512 memory=2169208 CPUtime=0 cores=4,6
/proc/55375/task/55458/stat : 55458 (Timer-0) S 55370 55375 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54011345 19521036288 542302 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=1.11669 s

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

[startup+3604 s]*
/proc/loadavg: 4.05 4.08 4.07 6/340 55717
/proc/meminfo: memFree=120947772/131249988 swapFree=33010684/33010684
[pid=55375] ppid=55370 vsize=19263204 memory=2170104 CPUtime=3600.21 cores=4,6
/proc/55375/stat : 55375 (java) S 55370 55375 55318 0 -1 4194304 79551 0 113 0 359911 110 0 0 20 0 21 0 54011323 19725520896 542526 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
/proc/55375/statm: 4815801 542526 5529 1 0 556670 0
[pid=55375/tid=55390] ppid=55370 vsize=19263204 memory=4788 CPUtime=3591.2 cores=4,6
/proc/55375/task/55390/stat : 55390 (java) R 55370 55375 55318 0 -1 4194368 35553 0 113 0 359093 27 0 0 20 0 21 0 54011325 19725520896 542526 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55407] ppid=55370 vsize=19263204 memory=6896 CPUtime=0 cores=4,6
/proc/55375/task/55407/stat : 55407 (Finalizer) S 55370 55375 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54011327 19725520896 542526 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55424] ppid=55370 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/55375/task/55424/stat : 55424 (Common-Cleaner) S 55370 55375 55318 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 21 0 54011328 19725520896 542526 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
[pid=55375/tid=55717] ppid=55370 vsize=19263204 memory=245635481903 CPUtime=0.05 cores=4,6
/proc/55375/task/55717/stat : 55717 (Thread-0) R 55370 55375 55318 0 -1 4194368 327 0 0 0 5 0 0 0 20 0 21 0 54371714 19725520896 542526 18446744073709551615 94665579663360 94665579667056 140725518518672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94665579674872 94665579675664 94665600589824 140725518522753 140725518522854 140725518522854 140725518528456 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170104 KiB

Child status: 143

Real time (s): 3604.04
CPU time (s): 3600.27
CPU user time (s): 3599.15
CPU system time (s): 1.11669
CPU usage (%): 99.8954
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 1.11669
maximum resident set size= 2170232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79771
page faults= 113
swaps= 0
block input operations= 0
block output operations= 16448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104335
involuntary context switches= 20277


# summary of solver processes directly reported to runsolver:
#   pid: 55375
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 1.11669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80157 second user time and 15.304 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 17:22:18
IDJOB=4497108
IDBENCH=148153
IDSOLVER=3363
FILE ID=nodeC020/4497108-1751383337
RUNJOBID= nodeC020-1751383337-55329
SLURM_JOB_ID= 9598231
Free space on /tmp= 432952 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497108-1751383337/watcher-4497108-1751383337 -o /tmp/evaluation-result-4497108-1751383337/solver-4497108-1751383337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497108-1751383337.opb

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

MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=1351922262

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129283204 kB
MemAvailable:   129729728 kB
Buffers:            3280 kB
Cached:          1250560 kB
SwapCached:            0 kB
Active:           388320 kB
Inactive:         941500 kB
Active(anon):      94040 kB
Inactive(anon):        0 kB
Active(file):     294280 kB
Inactive(file):   941500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1400 kB
Writeback:             4 kB
AnonPages:         79172 kB
Mapped:           103608 kB
Shmem:             18056 kB
KReclaimable:      99964 kB
Slab:             187716 kB
SReclaimable:      99964 kB
SUnreclaim:        87752 kB
KernelStack:        4096 kB
PageTables:         2908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     340532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-07-01 18:22:22