Trace number 4513339

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 NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06UNSAT cert. 2760.03 2752.68

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
MD5SUMa95ffdb987ab7b28268efdc4e16ef22d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark57.2881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version PB25.v20250606
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.15	c Free memory 		2106806208
0.13/0.15	c Max memory 		16282288128
0.13/0.15	c Total memory 		2113929216
0.13/0.16	c Number of processors 	2
0.13/0.22	c Pseudo Boolean Optimization by upper bound
0.13/0.22	c --- Begin Solver configuration ---
0.13/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.22	c Learn all clauses as in MiniSAT
0.13/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.22	c Expensive reason simplification
0.13/0.22	c Glucose 2.1 dynamic restart strategy
0.13/0.22	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.22	c timeout=2147483s
0.13/0.22	c DB Simplification allowed=false
0.13/0.22	c Listener: none
0.13/0.22	c --- End Solver configuration ---
0.13/0.22	c solving HOME/instance-4513339-1751217376.opb
0.13/0.23	c reading problem ... 
0.13/0.23	c using VERIPB proof format
0.13/0.23	c  no objective function found
0.34/0.34	c ... done. Wall clock time 0.115s.
0.34/0.34	c declared #vars     1501
0.34/0.34	c #constraints  1502
0.34/0.34	c constraints type 
0.54/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.54/0.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1500
0.54/0.36	c 1502 constraints processed.
1.60/0.98	c cleaning 2491 clauses out of 5000 with flag 21980/5000
2.59/1.41	c cleaning 4240 clauses out of 8510 with flag 51195/11001
3.19/1.77	c cleaning 5592 clauses out of 11269 with flag 81439/18000
3.99/2.13	c cleaning 6788 clauses out of 13678 with flag 119690/26001
4.57/2.44	c cleaning 7902 clauses out of 15890 with flag 169833/35001
4.97/2.62	c cleaning 8915 clauses out of 17987 with flag 224440/45000
5.32/2.81	c cleaning 9935 clauses out of 20072 with flag 281466/56000
5.56/3.03	c cleaning 11040 clauses out of 22139 with flag 346832/68002
5.79/3.29	c cleaning 11998 clauses out of 24097 with flag 419551/81000
6.21/3.53	c cleaning 12988 clauses out of 26099 with flag 494207/95000
6.63/3.82	c cleaning 14008 clauses out of 28112 with flag 582096/110001
7.06/4.28	c cleaning 15014 clauses out of 30104 with flag 673360/126001
7.71/4.89	c cleaning 15959 clauses out of 32089 with flag 769277/143000
8.59/5.38	c cleaning 17040 clauses out of 34130 with flag 870061/161000
9.25/5.82	c cleaning 18015 clauses out of 36090 with flag 979932/180000
9.73/6.23	c cleaning 18958 clauses out of 38076 with flag 1097931/200001
10.17/6.65	c cleaning 20032 clauses out of 40117 with flag 1215481/221000
10.79/7.13	c cleaning 20969 clauses out of 42085 with flag 1343085/243000
11.28/7.65	c cleaning 21993 clauses out of 44117 with flag 1478652/266001
11.88/8.17	c cleaning 23028 clauses out of 46124 with flag 1618384/290001
12.57/8.80	c cleaning 23956 clauses out of 48095 with flag 1758234/315000
13.17/9.43	c cleaning 25032 clauses out of 50140 with flag 1909398/341001
13.78/10.07	c cleaning 26037 clauses out of 52107 with flag 2056688/368000
14.47/10.72	c cleaning 26941 clauses out of 54070 with flag 2208757/396000
15.09/11.37	c cleaning 27996 clauses out of 56131 with flag 2366610/425002
15.79/12.01	c cleaning 29004 clauses out of 58133 with flag 2528458/455000
16.48/12.79	c cleaning 30023 clauses out of 60130 with flag 2705288/486001
17.28/13.57	c cleaning 30974 clauses out of 62106 with flag 2883637/518000
18.08/14.38	c cleaning 32031 clauses out of 64134 with flag 3068787/551002
18.89/15.18	c cleaning 32995 clauses out of 66101 with flag 3252053/585000
19.79/16.06	c cleaning 34030 clauses out of 68106 with flag 3437036/620000
20.67/16.97	c cleaning 34972 clauses out of 70076 with flag 3625846/656000
21.57/17.89	c cleaning 35981 clauses out of 72104 with flag 3829516/693000
22.57/18.80	c cleaning 37006 clauses out of 74124 with flag 4029001/731001
23.47/19.74	c cleaning 37995 clauses out of 76118 with flag 4230546/770001
24.46/20.77	c cleaning 39061 clauses out of 78122 with flag 4440104/810000
25.65/21.91	c cleaning 40004 clauses out of 80061 with flag 4653508/851000
26.78/23.02	c cleaning 40959 clauses out of 82057 with flag 4874143/893000
27.88/24.12	c cleaning 42025 clauses out of 84098 with flag 5087964/936000
28.97/25.25	c cleaning 42984 clauses out of 86075 with flag 5310419/980002
30.16/26.45	c cleaning 43980 clauses out of 88089 with flag 5538724/1025000
31.36/27.63	c cleaning 44990 clauses out of 90109 with flag 5762806/1071000
32.56/28.85	c cleaning 46040 clauses out of 92120 with flag 5998181/1118001
33.95/30.22	c cleaning 47008 clauses out of 94080 with flag 6243800/1166001
35.25/31.60	c cleaning 47971 clauses out of 96072 with flag 6490065/1215001
36.84/33.21	c cleaning 48979 clauses out of 98100 with flag 6740273/1265000
38.23/34.65	c cleaning 49993 clauses out of 100122 with flag 7005684/1316001
39.75/36.15	c cleaning 50997 clauses out of 102129 with flag 7269819/1368001
41.43/37.80	c cleaning 52016 clauses out of 104132 with flag 7535045/1421001
42.92/39.33	c cleaning 53033 clauses out of 106118 with flag 7797351/1475003
44.52/40.97	c cleaning 54000 clauses out of 108082 with flag 8068225/1530000
46.21/42.65	c cleaning 55006 clauses out of 110082 with flag 8342573/1586000
48.01/44.44	c cleaning 56021 clauses out of 112077 with flag 8620549/1643001
49.72/46.18	c cleaning 56959 clauses out of 114055 with flag 8907541/1701000
51.50/47.99	c cleaning 58025 clauses out of 116098 with flag 9197052/1760002
53.40/49.83	c cleaning 58993 clauses out of 118072 with flag 9487315/1820001
55.33/51.74	c cleaning 60028 clauses out of 120079 with flag 9789102/1881001
57.32/53.70	c cleaning 60967 clauses out of 122051 with flag 10089026/1943001
59.31/55.76	c cleaning 62000 clauses out of 124083 with flag 10398588/2006000
61.31/57.72	c cleaning 62976 clauses out of 126083 with flag 10710843/2070000
63.40/59.88	c cleaning 64024 clauses out of 128108 with flag 11025535/2135001
65.61/62.08	c cleaning 65031 clauses out of 130083 with flag 11333490/2201000
67.89/64.46	c cleaning 65978 clauses out of 132052 with flag 11644146/2268000
70.38/67.00	c cleaning 66974 clauses out of 134075 with flag 11977235/2336001
72.88/69.43	c cleaning 68026 clauses out of 136101 with flag 12314249/2405001
75.27/71.88	c cleaning 68990 clauses out of 138074 with flag 12656484/2475000
77.87/74.49	c cleaning 70008 clauses out of 140084 with flag 13000421/2546000
80.57/77.18	c cleaning 70964 clauses out of 142076 with flag 13345543/2618000
83.16/79.72	c cleaning 72000 clauses out of 144113 with flag 13692350/2691001
85.65/82.24	c cleaning 73042 clauses out of 146113 with flag 14039865/2765001
88.57/85.18	c cleaning 73985 clauses out of 148071 with flag 14399749/2840001
91.25/87.85	c cleaning 75033 clauses out of 150086 with flag 14751677/2916001
94.04/90.60	c cleaning 75967 clauses out of 152052 with flag 15113863/2993000
97.10/93.74	c cleaning 77015 clauses out of 154085 with flag 15486256/3071000
99.87/96.57	c cleaning 77977 clauses out of 156071 with flag 15850491/3150001
102.67/99.36	c cleaning 79026 clauses out of 158094 with flag 16210102/3230001
105.76/102.40	c cleaning 79999 clauses out of 160068 with flag 16578545/3311001
108.75/105.42	c cleaning 81013 clauses out of 162068 with flag 16947939/3393000
111.75/108.47	c cleaning 81976 clauses out of 164056 with flag 17323179/3476001
115.04/111.79	c cleaning 82997 clauses out of 166079 with flag 17714666/3560000
118.24/114.99	c cleaning 84010 clauses out of 168083 with flag 18107235/3645001
121.67/118.34	c cleaning 85002 clauses out of 170074 with flag 18506019/3731002
124.96/121.62	c cleaning 86000 clauses out of 172070 with flag 18895628/3818000
128.25/125.01	c cleaning 86995 clauses out of 174071 with flag 19285456/3906001
131.74/128.53	c cleaning 88001 clauses out of 176075 with flag 19692015/3995000
135.85/132.37	c cleaning 89011 clauses out of 178076 with flag 20107645/4085002
139.35/135.87	c cleaning 89989 clauses out of 180063 with flag 20509435/4176000
143.93/140.42	c cleaning 91024 clauses out of 182074 with flag 20919247/4268000
147.54/144.08	c cleaning 91965 clauses out of 184051 with flag 21334219/4361001
152.04/148.27	c cleaning 93010 clauses out of 186085 with flag 21755300/4455000
155.94/152.11	c cleaning 94031 clauses out of 188076 with flag 22184072/4550001
161.00/157.76	c cleaning 94996 clauses out of 190044 with flag 22608900/4646000
165.10/161.80	c cleaning 95997 clauses out of 192048 with flag 23031751/4743000
168.98/165.79	c cleaning 96983 clauses out of 194052 with flag 23460774/4841001
173.51/170.24	c cleaning 97992 clauses out of 196068 with flag 23893082/4940000
177.50/174.28	c cleaning 98993 clauses out of 198077 with flag 24322087/5040001
182.05/178.70	c cleaning 100018 clauses out of 200083 with flag 24763847/5141000
186.35/183.06	c cleaning 101006 clauses out of 202066 with flag 25217624/5243001
190.67/187.43	c cleaning 101981 clauses out of 204059 with flag 25666504/5346000
196.49/193.24	c cleaning 103013 clauses out of 206079 with flag 26124054/5450001
200.98/197.70	c cleaning 103993 clauses out of 208065 with flag 26573438/5555000
205.64/202.35	c cleaning 105002 clauses out of 210072 with flag 27027632/5661000
210.44/207.14	c cleaning 105989 clauses out of 212070 with flag 27492625/5768000
216.35/213.03	c cleaning 107029 clauses out of 214081 with flag 27964457/5876000
221.17/217.92	c cleaning 107974 clauses out of 216053 with flag 28435239/5985001
226.45/223.15	c cleaning 109006 clauses out of 218078 with flag 28915856/6095000
231.62/228.35	c cleaning 109993 clauses out of 220073 with flag 29397067/6206001
237.77/234.49	c cleaning 111014 clauses out of 222080 with flag 29871399/6318001
243.26/239.96	c cleaning 111997 clauses out of 224065 with flag 30362998/6431000
248.92/245.59	c cleaning 113030 clauses out of 226069 with flag 30848391/6545001
254.74/251.68	c cleaning 113993 clauses out of 228040 with flag 31346143/6660002
260.47/257.31	c cleaning 114993 clauses out of 230046 with flag 31850407/6776001
266.06/262.97	c cleaning 116004 clauses out of 232053 with flag 32359688/6893001
273.68/270.52	c cleaning 117004 clauses out of 234048 with flag 32856986/7011000
279.47/276.39	c cleaning 118005 clauses out of 236045 with flag 33358299/7130001
286.87/283.72	c cleaning 118981 clauses out of 238042 with flag 33882571/7250003
293.15/289.93	c cleaning 120022 clauses out of 240059 with flag 34392345/7371001
299.34/296.14	c cleaning 120995 clauses out of 242038 with flag 34903677/7493002
305.82/302.54	c cleaning 121988 clauses out of 244041 with flag 35439762/7616000
312.45/309.26	c cleaning 122995 clauses out of 246054 with flag 35981336/7740001
319.21/316.00	c cleaning 123985 clauses out of 248058 with flag 36515247/7865000
325.69/322.41	c cleaning 125022 clauses out of 250073 with flag 37048825/7991000
332.26/328.93	c cleaning 125990 clauses out of 252052 with flag 37583429/8118001
338.74/335.45	c cleaning 127002 clauses out of 254061 with flag 38125155/8246000
346.98/343.70	c cleaning 127992 clauses out of 256059 with flag 38663731/8375000
354.77/351.43	c cleaning 128998 clauses out of 258069 with flag 39221405/8505002
361.95/358.61	c cleaning 129990 clauses out of 260069 with flag 39764130/8636000
370.12/366.77	c cleaning 131002 clauses out of 262079 with flag 40307466/8768000
376.86/373.51	c cleaning 132004 clauses out of 264077 with flag 40845705/8901000
384.30/380.85	c cleaning 133007 clauses out of 266073 with flag 41398818/9035000
391.69/388.17	c cleaning 133971 clauses out of 268067 with flag 41963757/9170001
399.49/395.97	c cleaning 135025 clauses out of 270097 with flag 42545235/9306002
407.79/404.29	c cleaning 135989 clauses out of 272072 with flag 43101858/9443002
415.08/411.58	c cleaning 137021 clauses out of 274081 with flag 43669062/9581000
422.82/419.24	c cleaning 137988 clauses out of 276061 with flag 44235478/9720001
430.70/427.04	c cleaning 139022 clauses out of 278073 with flag 44794134/9860001
438.32/434.76	c cleaning 139977 clauses out of 280051 with flag 45354035/10001001
446.97/443.38	c cleaning 141027 clauses out of 282076 with flag 45929762/10143003
455.44/451.74	c cleaning 141990 clauses out of 284046 with flag 46528790/10286000
463.42/459.72	c cleaning 142989 clauses out of 286056 with flag 47107962/10430000
471.64/467.92	c cleaning 144007 clauses out of 288068 with flag 47691497/10575001
479.62/475.90	c cleaning 145008 clauses out of 290061 with flag 48289443/10721001
489.35/485.65	c cleaning 145972 clauses out of 292052 with flag 48887516/10868000
498.45/494.72	c cleaning 147021 clauses out of 294080 with flag 49491023/11016000
507.03/503.39	c cleaning 147996 clauses out of 296060 with flag 50096975/11165001
516.06/512.35	c cleaning 148997 clauses out of 298064 with flag 50682584/11315001
524.79/521.04	c cleaning 150011 clauses out of 300066 with flag 51281440/11466000
533.51/529.87	c cleaning 150999 clauses out of 302056 with flag 51904614/11618001
542.66/538.95	c cleaning 152006 clauses out of 304057 with flag 52526038/11771001
551.43/547.68	c cleaning 153001 clauses out of 306050 with flag 53132473/11925000
560.57/556.72	c cleaning 154008 clauses out of 308049 with flag 53743123/12080000
569.74/565.91	c cleaning 155000 clauses out of 310041 with flag 54368688/12236000
579.11/575.25	c cleaning 156013 clauses out of 312042 with flag 54989716/12393001
589.48/585.66	c cleaning 156996 clauses out of 314029 with flag 55611838/12551001
598.56/594.71	c cleaning 157994 clauses out of 316032 with flag 56248885/12710000
608.28/604.40	c cleaning 158986 clauses out of 318039 with flag 56888108/12870001
618.40/614.51	c cleaning 160003 clauses out of 320054 with flag 57521147/13031002
629.06/625.22	c cleaning 161002 clauses out of 322050 with flag 58171987/13193001
638.04/634.26	c cleaning 162008 clauses out of 324047 with flag 58792346/13356000
649.03/645.28	c cleaning 163017 clauses out of 326039 with flag 59424471/13520000
659.37/655.62	c cleaning 163986 clauses out of 328022 with flag 60080866/13685000
669.64/665.85	c cleaning 164992 clauses out of 330036 with flag 60734204/13851000
680.02/676.29	c cleaning 166008 clauses out of 332046 with flag 61378663/14018002
690.51/686.70	c cleaning 166987 clauses out of 334036 with flag 62010498/14186000
700.66/696.83	c cleaning 168014 clauses out of 336050 with flag 62682973/14355001
710.05/706.25	c cleaning 169004 clauses out of 338035 with flag 63322752/14525000
721.70/717.98	c cleaning 169994 clauses out of 340031 with flag 64004933/14696000
733.74/729.91	c cleaning 170994 clauses out of 342039 with flag 64680419/14868002
743.83/740.01	c cleaning 172014 clauses out of 344043 with flag 65334569/15041000
755.02/751.14	c cleaning 172992 clauses out of 346030 with flag 66004974/15215001
765.28/761.44	c cleaning 173992 clauses out of 348038 with flag 66661650/15390001
775.77/771.93	c cleaning 175010 clauses out of 350045 with flag 67323986/15566000
787.11/783.28	c cleaning 175985 clauses out of 352035 with flag 67997279/15743000
797.55/793.65	c cleaning 177009 clauses out of 354051 with flag 68676198/15921001
808.98/805.09	c cleaning 177987 clauses out of 356043 with flag 69374895/16100002
820.06/816.15	c cleaning 179000 clauses out of 358054 with flag 70056180/16280000
830.78/826.88	c cleaning 180020 clauses out of 360054 with flag 70728466/16461000
843.17/839.25	c cleaning 180985 clauses out of 362034 with flag 71416571/16643000
854.32/850.39	c cleaning 182002 clauses out of 364049 with flag 72105028/16826000
865.50/861.46	c cleaning 183002 clauses out of 366048 with flag 72804628/17010001
876.32/872.36	c cleaning 183991 clauses out of 368045 with flag 73494227/17195000
888.17/884.17	c cleaning 185005 clauses out of 370055 with flag 74201302/17381001
900.44/896.48	c cleaning 186004 clauses out of 372050 with flag 74902551/17568001
913.46/909.48	c cleaning 187016 clauses out of 374047 with flag 75618524/17756002
926.05/921.94	c cleaning 188006 clauses out of 376029 with flag 76340984/17945000
939.52/935.34	c cleaning 188970 clauses out of 378025 with flag 77061282/18135002
950.99/946.78	c cleaning 189997 clauses out of 380055 with flag 77768614/18326002
962.24/958.06	c cleaning 191011 clauses out of 382056 with flag 78468748/18518000
973.76/969.50	c cleaning 192006 clauses out of 384045 with flag 79186780/18711000
986.88/982.62	c cleaning 192985 clauses out of 386039 with flag 79911229/18905000
999.26/995.05	c cleaning 194001 clauses out of 388054 with flag 80631283/19100000
1011.57/1007.31	c cleaning 195008 clauses out of 390055 with flag 81354880/19296002
1023.69/1019.42	c cleaning 195999 clauses out of 392046 with flag 82079733/19493001
1035.36/1031.09	c cleaning 196990 clauses out of 394047 with flag 82793493/19691001
1047.96/1043.53	c cleaning 198009 clauses out of 396057 with flag 83535921/19890001
1060.10/1055.88	c cleaning 198994 clauses out of 398047 with flag 84260122/20090000
1072.67/1068.42	c cleaning 199990 clauses out of 400053 with flag 85011241/20291000
1085.79/1081.66	c cleaning 201005 clauses out of 402064 with flag 85744025/20493001
1098.80/1094.65	c cleaning 202010 clauses out of 404059 with flag 86503477/20696001
1112.95/1108.84	c cleaning 202991 clauses out of 406048 with flag 87265392/20900000
1125.65/1121.59	c cleaning 204019 clauses out of 408058 with flag 88015828/21105001
1139.31/1135.12	c cleaning 204996 clauses out of 410038 with flag 88801613/21311000
1153.44/1149.34	c cleaning 206004 clauses out of 412044 with flag 89562305/21518002
1166.60/1162.47	c cleaning 206984 clauses out of 414039 with flag 90322041/21726001
1180.66/1176.52	c cleaning 208009 clauses out of 416054 with flag 91082351/21935000
1194.90/1190.71	c cleaning 208983 clauses out of 418045 with flag 91855710/22145000
1209.69/1205.57	c cleaning 210023 clauses out of 420062 with flag 92639422/22356000
1224.35/1220.16	c cleaning 211014 clauses out of 422041 with flag 93420507/22568002
1237.83/1233.60	c cleaning 212002 clauses out of 424026 with flag 94190078/22781001
1250.98/1246.72	c cleaning 212984 clauses out of 426023 with flag 94969004/22995000
1265.76/1261.51	c cleaning 213999 clauses out of 428039 with flag 95751231/23210000
1279.71/1275.46	c cleaning 215006 clauses out of 430041 with flag 96541556/23426001
1293.85/1289.58	c cleaning 216008 clauses out of 432034 with flag 97327507/23643000
1308.55/1304.22	c cleaning 217006 clauses out of 434028 with flag 98120692/23861002
1324.49/1320.15	c cleaning 218003 clauses out of 436021 with flag 98921798/24080001
1339.49/1335.13	c cleaning 218997 clauses out of 438017 with flag 99725086/24300000
1354.42/1349.94	c cleaning 219994 clauses out of 440020 with flag 100521503/24521000
1368.66/1364.14	c cleaning 221006 clauses out of 442027 with flag 101315153/24743001
1384.98/1380.41	c cleaning 221984 clauses out of 444021 with flag 102134836/24966001
1400.68/1396.11	c cleaning 222994 clauses out of 446037 with flag 102967983/25190001
1415.06/1410.60	c cleaning 224012 clauses out of 448042 with flag 103765616/25415000
1429.75/1425.25	c cleaning 224991 clauses out of 450031 with flag 104594155/25641001
1443.99/1439.46	c cleaning 225998 clauses out of 452039 with flag 105412245/25868000
1458.23/1453.68	c cleaning 227014 clauses out of 454042 with flag 106204259/26096001
1474.59/1470.00	c cleaning 228001 clauses out of 456027 with flag 107041682/26325000
1490.07/1485.46	c cleaning 228994 clauses out of 458027 with flag 107877548/26555001
1504.69/1500.06	c cleaning 229986 clauses out of 460034 with flag 108715816/26786002
1520.36/1515.72	c cleaning 231010 clauses out of 462047 with flag 109554752/27018001
1537.71/1533.06	c cleaning 232006 clauses out of 464037 with flag 110410817/27251001
1553.46/1548.85	c cleaning 233000 clauses out of 466030 with flag 111270957/27485000
1569.45/1564.88	c cleaning 234008 clauses out of 468031 with flag 112132795/27720001
1589.17/1584.54	c cleaning 234995 clauses out of 470024 with flag 113033098/27956002
1605.05/1600.40	c cleaning 235988 clauses out of 472027 with flag 113888378/28193000
1621.45/1616.88	c cleaning 236990 clauses out of 474040 with flag 114761121/28431001
1637.04/1632.47	c cleaning 237998 clauses out of 476049 with flag 115627968/28670000
1653.78/1649.12	c cleaning 239011 clauses out of 478052 with flag 116518966/28910001
1670.85/1665.87	c cleaning 240006 clauses out of 480040 with flag 117393835/29151000
1687.33/1682.35	c cleaning 240994 clauses out of 482034 with flag 118295736/29393000
1704.29/1699.31	c cleaning 241999 clauses out of 484040 with flag 119206392/29636000
1719.89/1714.99	c cleaning 243005 clauses out of 486041 with flag 120094535/29880000
1737.31/1732.39	c cleaning 244005 clauses out of 488036 with flag 120993641/30125000
1753.86/1748.84	c cleaning 244991 clauses out of 490031 with flag 121892255/30371000
1769.76/1764.74	c cleaning 245990 clauses out of 492040 with flag 122803548/30618000
1785.80/1780.77	c cleaning 247009 clauses out of 494051 with flag 123717849/30866001
1802.80/1797.71	c cleaning 247999 clauses out of 496042 with flag 124651616/31115001
1820.48/1815.49	c cleaning 248985 clauses out of 498043 with flag 125579564/31365001
1838.99/1833.94	c cleaning 250000 clauses out of 500058 with flag 126511522/31616001
1856.77/1851.70	c cleaning 251009 clauses out of 502058 with flag 127461425/31868001
1873.12/1868.07	c cleaning 252006 clauses out of 504048 with flag 128419001/32121000
1891.26/1887.07	c cleaning 253003 clauses out of 506043 with flag 129377658/32375001
1910.17/1905.93	c cleaning 253988 clauses out of 508040 with flag 130351030/32630001
1928.78/1924.49	c cleaning 255006 clauses out of 510052 with flag 131317791/32886001
1948.51/1944.17	c cleaning 256002 clauses out of 512045 with flag 132291565/33143000
1966.03/1961.68	c cleaning 257012 clauses out of 514043 with flag 133274516/33401000
1983.63/1979.29	c cleaning 257996 clauses out of 516032 with flag 134253195/33660001
2002.58/1998.18	c cleaning 258995 clauses out of 518035 with flag 135245687/33920000
2020.66/2016.30	c cleaning 259996 clauses out of 520041 with flag 136242892/34181001
2040.63/2036.26	c cleaning 261005 clauses out of 522044 with flag 137244821/34443000
2060.47/2055.98	c cleaning 262006 clauses out of 524039 with flag 138246685/34706000
2079.02/2074.41	c cleaning 262997 clauses out of 526033 with flag 139271731/34970000
2099.31/2094.75	c cleaning 263997 clauses out of 528036 with flag 140289230/35235000
2118.14/2113.54	c cleaning 265016 clauses out of 530041 with flag 141305318/35501002
2135.94/2131.33	c cleaning 265982 clauses out of 532023 with flag 142321756/35768000
2154.98/2150.35	c cleaning 266999 clauses out of 534041 with flag 143350270/36036000
2176.07/2171.30	c cleaning 268020 clauses out of 536042 with flag 144386668/36305000
2194.83/2190.10	c cleaning 268990 clauses out of 538023 with flag 145396964/36575001
2213.56/2208.76	c cleaning 270009 clauses out of 540032 with flag 146413584/36846000
2231.88/2227.02	c cleaning 270994 clauses out of 542023 with flag 147427384/37118000
2251.36/2246.54	c cleaning 272000 clauses out of 544029 with flag 148436554/37391000
2270.29/2265.41	c cleaning 273000 clauses out of 546030 with flag 149455063/37665001
2289.79/2284.87	c cleaning 274006 clauses out of 548030 with flag 150486199/37940001
2308.77/2303.77	c cleaning 274992 clauses out of 550023 with flag 151536242/38216000
2328.84/2323.85	c cleaning 275998 clauses out of 552033 with flag 152582267/38493002
2347.39/2342.44	c cleaning 276991 clauses out of 554033 with flag 153638193/38771000
2367.35/2362.20	c cleaning 278001 clauses out of 556042 with flag 154689081/39050000
2388.26/2383.12	c cleaning 279009 clauses out of 558042 with flag 155747307/39330001
2409.94/2404.86	c cleaning 280003 clauses out of 560032 with flag 156817512/39611000
2429.95/2424.82	c cleaning 281001 clauses out of 562030 with flag 157882187/39893001
2449.55/2444.47	c cleaning 282002 clauses out of 564030 with flag 158970311/40176002
2471.14/2466.00	c cleaning 282997 clauses out of 566026 with flag 160059749/40460000
2491.36/2486.16	c cleaning 284003 clauses out of 568029 with flag 161171976/40745000
2515.21/2510.05	c cleaning 285000 clauses out of 570028 with flag 162321695/41031002
2539.36/2534.22	c cleaning 285998 clauses out of 572026 with flag 163493997/41318000
2563.66/2558.46	c cleaning 287005 clauses out of 574028 with flag 164664658/41606000
2586.85/2581.66	c cleaning 288004 clauses out of 576023 with flag 165799601/41895000
2612.60/2607.44	c cleaning 288997 clauses out of 578020 with flag 166956117/42185001
2638.74/2633.59	c cleaning 289997 clauses out of 580022 with flag 168146286/42476000
2666.29/2661.09	c cleaning 290997 clauses out of 582025 with flag 169345970/42768000
2694.50/2689.39	c cleaning 292007 clauses out of 584028 with flag 170582729/43061000
2727.84/2722.60	c cleaning 293007 clauses out of 586021 with flag 171878467/43355000
2759.79/2752.54	c starts		: 26429
2759.79/2752.55	c conflicts		: 43644091
2759.79/2752.55	c decisions		: 61345571
2759.79/2752.55	c propagations		: 403737884
2759.79/2752.55	c inspects		: 46031131938
2759.79/2752.55	c shortcuts		: 0
2759.79/2752.55	c learnt literals	: 14
2759.79/2752.55	c learnt binary clauses	: 83
2759.79/2752.55	c learnt ternary clauses	: 326
2759.79/2752.55	c learnt constraints	: 43644076
2759.79/2752.55	c ignored constraints	: 0
2759.79/2752.55	c root simplifications	: 0
2759.79/2752.55	c removed literals (reason simplification)	: 41533484
2759.79/2752.55	c reason swapping (by a shorter reason)	: 0
2759.79/2752.55	c Calls to reduceDB	: 290
2759.79/2752.55	c Number of update (reduction) of LBD	: 10087321
2759.79/2752.55	c Imported unit clauses	: 0
2759.79/2752.55	c No decision after first conflict	: false
2759.79/2752.55	c number of reductions to clauses (during analyze)	: 0
2759.79/2752.55	c number of learned constraints concerned by reduction	: 0
2759.79/2752.55	c number of learning phase by resolution	: 0
2759.79/2752.55	c number of learning phase by cutting planes	: 0
2759.79/2752.55	c number of rounding to 1 operations	: 0
2759.79/2752.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2759.79/2752.55	c number of reductions of the coefficients by power 2 	: 0
2759.79/2752.55	c number of right shift for reduction by power 2 	: 0
2759.79/2752.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
2759.79/2752.55	c number of ending skipping 	: 0
2759.79/2752.55	c number of internal skipping 	: 0
2759.79/2752.55	c number of derivation steps 	: 0
2759.79/2752.55	c number of skipped derivation steps 	: 0
2759.79/2752.55	c number of remaining unassigned 	: 0
2759.79/2752.55	c number of remaining assigned 	: 0
2759.79/2752.55	c number of falsified literals weakened from reason	: 0
2759.79/2752.55	c number of falsified literals weakened from conflict	: 0
2759.79/2752.55	c time for arithmetic operations	: 0
2759.79/2752.55	c minimum degree of deleted constraints	: null
2759.79/2752.55	c maximum degree of deleted constraints	: null
2759.79/2752.55	c number of deleted constraints	: 0
2759.79/2752.55	c speed (assignments/second)	: 146697.00518387364
2759.79/2752.55	c non guided choices	: 4932021
2759.93/2752.65	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 582007
2759.93/2752.65	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 83
2759.93/2752.65	s UNSATISFIABLE
2759.93/2752.66	c Total wall clock time (in seconds): 2752.43

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 16:06:09 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=28747, runsolver pid=28744

[startup+0.100069 s]*
/proc/loadavg: 4.13 4.19 4.19 6/328 28765
/proc/meminfo: memFree=115149620/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=18930384 memory=49252 CPUtime=0.13 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 5970 0 0 0 11 2 0 0 20 0 18 0 37416973 19384713216 12313 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4732596 12313 5330 1 0 547137 0
[pid=28747/tid=28749] ppid=28744 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 4848 0 0 0 6 1 0 0 20 0 18 0 37416975 19384713216 12313 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37416978 19384713216 12313 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=18930384 memory=58494082630061 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37416979 19384713216 12313 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49252 KiB

[startup+0.223421 s]*
/proc/loadavg: 4.20 4.20 4.19 7/328 28765
/proc/meminfo: memFree=115147700/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=18930384 memory=56336 CPUtime=0.34 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 6778 0 0 0 31 3 0 0 20 0 18 0 37416973 19384713216 14084 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4732596 14084 5330 1 0 547794 0
[pid=28747/tid=28749] ppid=28744 vsize=18930384 memory=4026597660 CPUtime=0.21 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 5277 0 0 0 19 2 0 0 20 0 18 0 37416975 19384713216 14696 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=18930384 memory=13926 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37416978 19384713216 14696 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37416979 19384713216 14696 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56336 KiB

[startup+0.334673 s]*
/proc/loadavg: 4.20 4.20 4.19 7/328 28765
/proc/meminfo: memFree=115122144/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=18930384 memory=79752 CPUtime=0.54 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 6926 0 0 0 50 4 0 0 20 0 18 0 37416973 19384713216 19938 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4732596 19938 5394 1 0 547855 0
[pid=28747/tid=28749] ppid=28744 vsize=18930384 memory=-6000919489903027309 CPUtime=0.29 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) S 28744 28747 27382 0 -1 4194368 5320 0 0 0 27 2 0 0 20 0 18 0 37416975 19384713216 19938 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37416978 19384713216 19938 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37416979 19384713216 19938 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 79752 KiB

[startup+0.700414 s]
/proc/loadavg: 4.20 4.20 4.19 7/329 28766
/proc/meminfo: memFree=115112064/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=18996948 memory=94312 CPUtime=1.21 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 8751 0 0 0 116 5 0 0 20 0 19 0 37416973 19452874752 23578 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4749237 23578 5394 1 0 549030 0
[pid=28747/tid=28749] ppid=28744 vsize=18996948 memory=17280 CPUtime=0.62 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 5422 0 0 0 59 3 0 0 20 0 19 0 37416975 19452874752 23578 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37416978 19452874752 23578 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37416979 19452874752 23578 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37417010 19452874752 23578 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94312 KiB

[startup+1.50031 s]
/proc/loadavg: 4.20 4.20 4.19 6/329 28766
/proc/meminfo: memFree=115070792/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=18996948 memory=163240 CPUtime=2.79 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 16869 0 0 0 271 8 0 0 20 0 19 0 37416973 19452874752 40810 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4749237 40810 5426 1 0 551852 0
[pid=28747/tid=28749] ppid=28744 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 5912 0 0 0 137 4 0 0 20 0 19 0 37416975 19452874752 40810 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37416978 19452874752 40810 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37416979 19452874752 40810 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37417010 19452874752 40810 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163240 KiB

[startup+3.10588 s]
/proc/loadavg: 4.20 4.20 4.19 6/330 28767
/proc/meminfo: memFree=114986560/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=178448 CPUtime=5.7 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 19915 0 0 0 559 11 0 0 20 0 20 0 37416973 19521036288 44612 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 44612 5490 1 0 552897 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=11264 CPUtime=2.97 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 6367 0 0 0 291 6 0 0 20 0 20 0 37416975 19521036288 44612 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=-6000919489903027309 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 44612 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 44612 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 44612 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178448 KiB

[startup+6.30041 s]
/proc/loadavg: 4.27 4.22 4.20 6/330 28767
/proc/meminfo: memFree=114750292/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=386900 CPUtime=9.83 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 20556 0 0 0 964 19 0 0 20 0 20 0 37416973 19521036288 96725 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 96725 5522 1 0 552899 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 6882 0 0 0 598 14 0 0 20 0 20 0 37416975 19521036288 96725 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 96725 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 96725 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=168120 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 96725 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 386900 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.21 4.20 5/330 28767
/proc/meminfo: memFree=113904828/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=1177576 CPUtime=16.48 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 25783 0 0 0 1606 42 0 0 20 0 20 0 37416973 19521036288 294394 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 294394 5522 1 0 552899 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=168120 CPUtime=12.45 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 8371 0 0 0 1210 35 0 0 20 0 20 0 37416975 19521036288 294394 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=1177576 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 294394 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 294394 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 294394 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1177576 KiB

[startup+25.5005 s]
/proc/loadavg: 4.21 4.21 4.19 5/330 28767
/proc/meminfo: memFree=113648188/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=1314808 CPUtime=29.26 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 28944 0 0 0 2869 57 0 0 20 0 20 0 37416973 19521036288 328702 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 328702 5522 1 0 552899 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=-6000919489903027309 CPUtime=25.11 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 9520 0 0 0 2462 49 0 0 20 0 20 0 37416975 19521036288 328702 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=1306616 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 328702 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 328702 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 328702 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 29.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314808 KiB

[startup+51.1137 s]
/proc/loadavg: 4.25 4.22 4.20 5/332 28771
/proc/meminfo: memFree=113406668/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=1318916 CPUtime=54.71 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 31696 0 0 0 5394 77 0 0 20 0 20 0 37416973 19521036288 329729 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 329729 5522 1 0 552899 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=1314808 CPUtime=50.36 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 10931 0 0 0 4969 67 0 0 20 0 20 0 37416975 19521036288 329729 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 329729 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0

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

/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1410 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 544120 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=-6000919489903027309 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 544120 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2627.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176480 KiB

[startup+2682.3 s]
/proc/loadavg: 1.11 1.52 2.51 2/255 29008
/proc/meminfo: memFree=122077184/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2176608 CPUtime=2687.52 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 93914 0 0 0 267633 1119 0 0 20 0 20 0 37416973 19521036288 544152 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 544152 5522 1 0 556487 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=2176480 CPUtime=2649.37 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 39903 0 0 0 263989 948 0 0 20 0 20 0 37416975 19521036288 544152 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=2176480 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 544152 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1410 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 544152 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 544152 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2687.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176608 KiB

[startup+2742.3 s]
/proc/loadavg: 1.09 1.44 2.41 2/253 29021
/proc/meminfo: memFree=122007044/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2176736 CPUtime=2747.55 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 96302 0 0 0 273617 1138 0 0 20 0 20 0 37416973 19521036288 544184 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 544184 5522 1 0 556487 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=2176480 CPUtime=2708.65 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 41371 0 0 0 269903 962 0 0 20 0 20 0 37416975 19521036288 544184 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=2176480 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 544184 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=2176608 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 544184 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 544184 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2747.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176736 KiB

[startup+2752.68 s]
# the end of solver process 28747 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2748.59 s, system=11.4442 s

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

[startup+2745.6 s]
/proc/loadavg: 1.09 1.44 2.41 2/253 29021
/proc/meminfo: memFree=122007312/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2176864 CPUtime=2750.88 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 97762 0 0 0 273950 1138 0 0 20 0 20 0 37416973 19521036288 544216 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 544216 5522 1 0 556498 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=11264 CPUtime=2711.94 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 41503 0 0 0 270231 963 0 0 20 0 20 0 37416975 19521036288 544216 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 544216 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=2176736 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 544216 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 544216 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2750.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176864 KiB

[startup+2748.8 s]
/proc/loadavg: 1.08 1.43 2.41 2/253 29021
/proc/meminfo: memFree=121991436/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2183136 CPUtime=2754.89 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 102886 0 0 0 274348 1141 0 0 20 0 20 0 37416973 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 545784 5522 1 0 557497 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=14720 CPUtime=2715.13 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 42342 0 0 0 270550 963 0 0 20 0 20 0 37416975 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=2176864 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2754.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183136 KiB

[startup+2750.4 s]
/proc/loadavg: 1.08 1.43 2.41 3/253 29021
/proc/meminfo: memFree=121991436/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2183136 CPUtime=2756.95 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 103050 0 0 0 274554 1141 0 0 20 0 20 0 37416973 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 545784 5522 1 0 557497 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=14720 CPUtime=2716.72 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 42397 0 0 0 270709 963 0 0 20 0 20 0 37416975 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=-6000919489903027309 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=5744 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 545784 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2756.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183136 KiB

[startup+2752 s]*
/proc/loadavg: 1.15 1.44 2.40 2/253 29021
/proc/meminfo: memFree=121991436/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2183520 CPUtime=2759.29 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 103170 0 0 0 274788 1141 0 0 20 0 20 0 37416973 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 545880 5522 1 0 557532 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=2183136 CPUtime=2718.33 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 42410 0 0 0 270869 964 0 0 20 0 20 0 37416975 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=2183392 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=4137292498240958108 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2759.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183520 KiB

[startup+2752.4 s]
/proc/loadavg: 1.15 1.44 2.40 2/253 29021
/proc/meminfo: memFree=121991436/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19063512 memory=2183520 CPUtime=2759.68 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 103170 0 0 0 274827 1141 0 0 20 0 20 0 37416973 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4765878 545880 5522 1 0 557532 0
[pid=28747/tid=28749] ppid=28744 vsize=19063512 memory=5888 CPUtime=2718.72 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) R 28744 28747 27382 0 -1 4194368 42410 0 0 0 270908 964 0 0 20 0 20 0 37416975 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19063512 memory=2824 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28766] ppid=28744 vsize=19063512 memory=-6000919489903027309 CPUtime=0 cores=0,2
/proc/28747/task/28766/stat : 28766 (Timer-0) S 28744 28747 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37417010 19521036288 545880 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2759.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183520 KiB

[startup+2752.6 s]
/proc/loadavg: 1.15 1.44 2.40 2/253 29021
/proc/meminfo: memFree=121991436/131382112 swapFree=33010684/33010684
[pid=28747] ppid=28744 vsize=19196640 memory=2184032 CPUtime=2759.93 cores=0,2
/proc/28747/stat : 28747 (java) S 28744 28747 27382 0 -1 4194304 104319 0 0 0 274851 1142 0 0 20 0 20 0 37416973 19657359360 546008 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
/proc/28747/statm: 4799160 546008 5522 1 0 558166 0
[pid=28747/tid=28749] ppid=28744 vsize=19196640 memory=2760 CPUtime=2718.84 cores=0,2
/proc/28747/task/28749/stat : 28749 (java) S 28744 28747 27382 0 -1 4194368 43234 0 0 0 270920 964 0 0 20 0 20 0 37416975 19657359360 546008 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28758] ppid=28744 vsize=19196640 memory=19584 CPUtime=0 cores=0,2
/proc/28747/task/28758/stat : 28758 (Finalizer) S 28744 28747 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37416978 19657359360 546008 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
[pid=28747/tid=28765] ppid=28744 vsize=19196640 memory=-6000919489903027309 CPUtime=0 cores=0,2
/proc/28747/task/28765/stat : 28765 (Common-Cleaner) S 28744 28747 27382 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 37416979 19657359360 546008 18446744073709551615 94468030754816 94468030758512 140731414284560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94468030766328 94468030767120 94468063248384 140731414288688 140731414288870 140731414288870 140731414294472 0
Current children cumulated CPU time: 2759.93 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2184032 KiB

Child status: 20

Real time (s): 2752.68
CPU time (s): 2760.03
CPU user time (s): 2748.59
CPU system time (s): 11.4442
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2184032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2748.59
system time used= 11.4442
maximum resident set size= 2184288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12331968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91170
involuntary context switches= 9841


# summary of solver processes directly reported to runsolver:
#   pid: 28747
#   total CPU time (s): 2760.03
#   total CPU user time (s): 2748.59
#   total CPU system time (s): 11.4442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7486 second user time and 26.0021 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 19:16:16
IDJOB=4513339
IDBENCH=162338
IDSOLVER=3364
FILE ID=nodeC005/4513339-1751217376
RUNJOBID= nodeC005-1751208227-27392
SLURM_JOB_ID= 9587639
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513339-1751217376/watcher-4513339-1751217376 -o /tmp/evaluation-result-4513339-1751217376/solver-4513339-1751217376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751208227-27392 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513339-1751217376 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513339-1751217376.opb

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

MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=1764342218

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        115171516 kB
MemAvailable:   123860256 kB
Buffers:            3280 kB
Cached:          9489432 kB
SwapCached:            0 kB
Active:          6432068 kB
Inactive:        9241404 kB
Active(anon):    6198860 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):  9241404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64120 kB
Writeback:             8 kB
AnonPages:       6182988 kB
Mapped:           122320 kB
Shmem:             17960 kB
KReclaimable:     107508 kB
Slab:             192684 kB
SReclaimable:     107508 kB
SUnreclaim:        85176 kB
KernelStack:        5040 kB
PageTables:        15748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7068732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5965824 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC005 at 2025-06-29 20:02:09