Trace number 4513338

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 2025-06-06UNSAT 2491.94 2492.39

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4513338-1751216233.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.056s.
0.12/0.19	c declared #vars     1501
0.12/0.19	c #constraints  1502
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1500
0.12/0.19	c 1502 constraints processed.
0.70/0.46	c cleaning 2491 clauses out of 5000 with flag 21980/5000
1.26/0.71	c cleaning 4240 clauses out of 8510 with flag 51195/11001
1.67/0.91	c cleaning 5592 clauses out of 11269 with flag 81439/18000
1.87/1.05	c cleaning 6788 clauses out of 13678 with flag 119690/26001
2.45/1.39	c cleaning 7902 clauses out of 15890 with flag 169833/35001
2.83/1.54	c cleaning 8915 clauses out of 17987 with flag 224440/45000
2.99/1.68	c cleaning 9935 clauses out of 20072 with flag 281466/56000
3.19/1.84	c cleaning 11040 clauses out of 22139 with flag 346832/68002
3.40/2.04	c cleaning 11998 clauses out of 24097 with flag 419551/81000
3.60/2.22	c cleaning 12988 clauses out of 26099 with flag 494207/95000
3.80/2.45	c cleaning 14008 clauses out of 28112 with flag 582096/110001
4.00/2.69	c cleaning 15014 clauses out of 30104 with flag 673360/126001
4.33/2.93	c cleaning 15959 clauses out of 32089 with flag 769277/143000
4.65/3.20	c cleaning 17040 clauses out of 34130 with flag 870061/161000
4.95/3.51	c cleaning 18015 clauses out of 36090 with flag 979932/180000
5.25/3.83	c cleaning 18958 clauses out of 38076 with flag 1097931/200001
5.55/4.15	c cleaning 20032 clauses out of 40117 with flag 1215481/221000
5.95/4.52	c cleaning 20969 clauses out of 42085 with flag 1343085/243000
6.35/4.95	c cleaning 21993 clauses out of 44117 with flag 1478652/266001
6.75/5.35	c cleaning 23028 clauses out of 46124 with flag 1618384/290001
7.26/5.86	c cleaning 23956 clauses out of 48095 with flag 1758234/315000
7.76/6.34	c cleaning 25032 clauses out of 50140 with flag 1909398/341001
8.26/6.84	c cleaning 26037 clauses out of 52107 with flag 2056688/368000
8.75/7.32	c cleaning 26941 clauses out of 54070 with flag 2208757/396000
9.25/7.85	c cleaning 27996 clauses out of 56131 with flag 2366610/425002
9.75/8.37	c cleaning 29004 clauses out of 58133 with flag 2528458/455000
10.46/9.02	c cleaning 30023 clauses out of 60130 with flag 2705288/486001
11.05/9.66	c cleaning 30974 clauses out of 62106 with flag 2883637/518000
11.75/10.32	c cleaning 32031 clauses out of 64134 with flag 3068787/551002
12.35/10.97	c cleaning 32995 clauses out of 66101 with flag 3252053/585000
13.05/11.68	c cleaning 34030 clauses out of 68106 with flag 3437036/620000
13.86/12.40	c cleaning 34972 clauses out of 70076 with flag 3625846/656000
14.66/13.21	c cleaning 35981 clauses out of 72104 with flag 3829516/693000
15.46/14.02	c cleaning 37006 clauses out of 74124 with flag 4029001/731001
16.26/14.87	c cleaning 37995 clauses out of 76118 with flag 4230546/770001
17.25/15.80	c cleaning 39061 clauses out of 78122 with flag 4440104/810000
18.25/16.83	c cleaning 40004 clauses out of 80061 with flag 4653508/851000
19.16/17.77	c cleaning 40959 clauses out of 82057 with flag 4874143/893000
20.15/18.75	c cleaning 42025 clauses out of 84098 with flag 5087964/936000
21.15/19.74	c cleaning 42984 clauses out of 86075 with flag 5310419/980002
22.25/20.81	c cleaning 43980 clauses out of 88089 with flag 5538724/1025000
23.38/21.91	c cleaning 44990 clauses out of 90109 with flag 5762806/1071000
24.48/23.01	c cleaning 46040 clauses out of 92120 with flag 5998181/1118001
25.67/24.20	c cleaning 47008 clauses out of 94080 with flag 6243800/1166001
26.87/25.47	c cleaning 47971 clauses out of 96072 with flag 6490065/1215001
28.27/26.84	c cleaning 48979 clauses out of 98100 with flag 6740273/1265000
29.57/28.15	c cleaning 49993 clauses out of 100122 with flag 7005684/1316001
30.96/29.52	c cleaning 50997 clauses out of 102129 with flag 7269819/1368001
32.36/30.99	c cleaning 52016 clauses out of 104132 with flag 7535045/1421001
33.90/32.44	c cleaning 53033 clauses out of 106118 with flag 7797351/1475003
35.39/33.94	c cleaning 54000 clauses out of 108082 with flag 8068225/1530000
36.89/35.47	c cleaning 55006 clauses out of 110082 with flag 8342573/1586000
38.49/37.04	c cleaning 56021 clauses out of 112077 with flag 8620549/1643001
40.08/38.66	c cleaning 56959 clauses out of 114055 with flag 8907541/1701000
41.78/40.34	c cleaning 58025 clauses out of 116098 with flag 9197052/1760002
43.48/42.05	c cleaning 58993 clauses out of 118072 with flag 9487315/1820001
45.31/43.82	c cleaning 60028 clauses out of 120079 with flag 9789102/1881001
47.11/45.63	c cleaning 60967 clauses out of 122051 with flag 10089026/1943001
49.00/47.53	c cleaning 62000 clauses out of 124083 with flag 10398588/2006000
50.80/49.36	c cleaning 62976 clauses out of 126083 with flag 10710843/2070000
52.70/51.28	c cleaning 64024 clauses out of 128108 with flag 11025535/2135001
54.79/53.32	c cleaning 65031 clauses out of 130083 with flag 11333490/2201000
56.92/55.43	c cleaning 65978 clauses out of 132052 with flag 11644146/2268000
59.32/57.81	c cleaning 66974 clauses out of 134075 with flag 11977235/2336001
61.42/59.99	c cleaning 68026 clauses out of 136101 with flag 12314249/2405001
63.71/62.26	c cleaning 68990 clauses out of 138074 with flag 12656484/2475000
66.21/64.72	c cleaning 70008 clauses out of 140084 with flag 13000421/2546000
68.74/67.20	c cleaning 70964 clauses out of 142076 with flag 13345543/2618000
71.04/69.56	c cleaning 72000 clauses out of 144113 with flag 13692350/2691001
73.43/71.91	c cleaning 73042 clauses out of 146113 with flag 14039865/2765001
76.13/74.62	c cleaning 73985 clauses out of 148071 with flag 14399749/2840001
78.63/77.10	c cleaning 75033 clauses out of 150086 with flag 14751677/2916001
81.11/79.64	c cleaning 75967 clauses out of 152052 with flag 15113863/2993000
83.94/82.48	c cleaning 77015 clauses out of 154085 with flag 15486256/3071000
86.64/85.12	c cleaning 77977 clauses out of 156071 with flag 15850491/3150001
89.23/87.74	c cleaning 79026 clauses out of 158094 with flag 16210102/3230001
91.92/90.49	c cleaning 79999 clauses out of 160068 with flag 16578545/3311001
94.86/93.35	c cleaning 81013 clauses out of 162068 with flag 16947939/3393000
97.66/96.18	c cleaning 81976 clauses out of 164056 with flag 17323179/3476001
100.65/99.19	c cleaning 82997 clauses out of 166079 with flag 17714666/3560000
103.65/102.14	c cleaning 84010 clauses out of 168083 with flag 18107235/3645001
106.74/105.22	c cleaning 85002 clauses out of 170074 with flag 18506019/3731002
109.86/108.34	c cleaning 86000 clauses out of 172070 with flag 18895628/3818000
112.95/111.43	c cleaning 86995 clauses out of 174071 with flag 19285456/3906001
116.14/114.61	c cleaning 88001 clauses out of 176075 with flag 19692015/3995000
119.64/118.17	c cleaning 89011 clauses out of 178076 with flag 20107645/4085002
122.97/121.46	c cleaning 89989 clauses out of 180063 with flag 20509435/4176000
126.16/124.68	c cleaning 91024 clauses out of 182074 with flag 20919247/4268000
129.45/127.99	c cleaning 91965 clauses out of 184051 with flag 21334219/4361001
133.25/131.63	c cleaning 93010 clauses out of 186085 with flag 21755300/4455000
136.79/135.14	c cleaning 94031 clauses out of 188076 with flag 22184072/4550001
140.57/138.91	c cleaning 94996 clauses out of 190044 with flag 22608900/4646000
144.07/142.46	c cleaning 95997 clauses out of 192048 with flag 23031751/4743000
147.76/146.11	c cleaning 96983 clauses out of 194052 with flag 23460774/4841001
151.66/150.07	c cleaning 97992 clauses out of 196068 with flag 23893082/4940000
155.49/153.83	c cleaning 98993 clauses out of 198077 with flag 24322087/5040001
159.38/157.74	c cleaning 100018 clauses out of 200083 with flag 24763847/5141000
163.38/161.71	c cleaning 101006 clauses out of 202066 with flag 25217624/5243001
167.27/165.61	c cleaning 101981 clauses out of 204059 with flag 25666504/5346000
171.76/170.13	c cleaning 103013 clauses out of 206079 with flag 26124054/5450001
175.76/174.15	c cleaning 103993 clauses out of 208065 with flag 26573438/5555000
180.00/178.35	c cleaning 105002 clauses out of 210072 with flag 27027632/5661000
184.29/182.66	c cleaning 105989 clauses out of 212070 with flag 27492625/5768000
188.78/187.11	c cleaning 107029 clauses out of 214081 with flag 27964457/5876000
193.07/191.45	c cleaning 107974 clauses out of 216053 with flag 28435239/5985001
197.67/196.06	c cleaning 109006 clauses out of 218078 with flag 28915856/6095000
202.25/200.69	c cleaning 109993 clauses out of 220073 with flag 29397067/6206001
206.86/205.23	c cleaning 111014 clauses out of 222080 with flag 29871399/6318001
211.75/210.11	c cleaning 111997 clauses out of 224065 with flag 30362998/6431000
216.54/215.00	c cleaning 113030 clauses out of 226069 with flag 30848391/6545001
221.83/220.21	c cleaning 113993 clauses out of 228040 with flag 31346143/6660002
226.73/225.14	c cleaning 114993 clauses out of 230046 with flag 31850407/6776001
231.82/230.26	c cleaning 116004 clauses out of 232053 with flag 32359688/6893001
237.30/235.77	c cleaning 117004 clauses out of 234048 with flag 32856986/7011000
242.76/241.13	c cleaning 118005 clauses out of 236045 with flag 33358299/7130001
248.15/246.59	c cleaning 118981 clauses out of 238042 with flag 33882571/7250003
253.44/251.83	c cleaning 120022 clauses out of 240059 with flag 34392345/7371001
258.92/257.36	c cleaning 120995 clauses out of 242038 with flag 34903677/7493002
264.62/263.01	c cleaning 121988 clauses out of 244041 with flag 35439762/7616000
270.60/269.04	c cleaning 122995 clauses out of 246054 with flag 35981336/7740001
276.39/274.84	c cleaning 123985 clauses out of 248058 with flag 36515247/7865000
282.18/280.60	c cleaning 125022 clauses out of 250073 with flag 37048825/7991000
288.02/286.43	c cleaning 125990 clauses out of 252052 with flag 37583429/8118001
293.91/292.30	c cleaning 127002 clauses out of 254061 with flag 38125155/8246000
299.99/298.40	c cleaning 127992 clauses out of 256059 with flag 38663731/8375000
306.18/304.65	c cleaning 128998 clauses out of 258069 with flag 39221405/8505002
312.57/311.10	c cleaning 129990 clauses out of 260069 with flag 39764130/8636000
319.14/317.67	c cleaning 131002 clauses out of 262079 with flag 40307466/8768000
325.24/323.73	c cleaning 132004 clauses out of 264077 with flag 40845705/8901000
331.82/330.33	c cleaning 133007 clauses out of 266073 with flag 41398818/9035000
338.36/336.89	c cleaning 133971 clauses out of 268067 with flag 41963757/9170001
345.67/343.97	c cleaning 135025 clauses out of 270097 with flag 42545235/9306002
352.26/350.50	c cleaning 135989 clauses out of 272072 with flag 43101858/9443002
358.75/357.07	c cleaning 137021 clauses out of 274081 with flag 43669062/9581000
365.63/363.91	c cleaning 137988 clauses out of 276061 with flag 44235478/9720001
372.42/370.76	c cleaning 139022 clauses out of 278073 with flag 44794134/9860001
379.30/377.66	c cleaning 139977 clauses out of 280051 with flag 45354035/10001001
386.09/384.41	c cleaning 141027 clauses out of 282076 with flag 45929762/10143003
393.57/391.91	c cleaning 141990 clauses out of 284046 with flag 46528790/10286000
400.92/399.25	c cleaning 142989 clauses out of 286056 with flag 47107962/10430000
408.21/406.54	c cleaning 144007 clauses out of 288068 with flag 47691497/10575001
415.39/413.79	c cleaning 145008 clauses out of 290061 with flag 48289443/10721001
422.98/421.37	c cleaning 145972 clauses out of 292052 with flag 48887516/10868000
430.56/428.91	c cleaning 147021 clauses out of 294080 with flag 49491023/11016000
438.45/436.83	c cleaning 147996 clauses out of 296060 with flag 50096975/11165001
445.93/444.31	c cleaning 148997 clauses out of 298064 with flag 50682584/11315001
453.62/452.02	c cleaning 150011 clauses out of 300066 with flag 51281440/11466000
461.60/460.01	c cleaning 150999 clauses out of 302056 with flag 51904614/11618001
469.79/468.24	c cleaning 152006 clauses out of 304057 with flag 52526038/11771001
477.75/476.13	c cleaning 153001 clauses out of 306050 with flag 53132473/11925000
485.73/484.13	c cleaning 154008 clauses out of 308049 with flag 53743123/12080000
494.01/492.44	c cleaning 155000 clauses out of 310041 with flag 54368688/12236000
502.40/500.82	c cleaning 156013 clauses out of 312042 with flag 54989716/12393001
510.78/509.27	c cleaning 156996 clauses out of 314029 with flag 55611838/12551001
518.96/517.46	c cleaning 157994 clauses out of 316032 with flag 56248885/12710000
527.65/526.18	c cleaning 158986 clauses out of 318039 with flag 56888108/12870001
535.83/534.34	c cleaning 160003 clauses out of 320054 with flag 57521147/13031002
544.62/543.18	c cleaning 161002 clauses out of 322050 with flag 58171987/13193001
552.69/551.28	c cleaning 162008 clauses out of 324047 with flag 58792346/13356000
561.37/559.97	c cleaning 163017 clauses out of 326039 with flag 59424471/13520000
570.06/568.66	c cleaning 163986 clauses out of 328022 with flag 60080866/13685000
579.04/577.62	c cleaning 164992 clauses out of 330036 with flag 60734204/13851000
587.92/586.54	c cleaning 166008 clauses out of 332046 with flag 61378663/14018002
596.39/594.98	c cleaning 166987 clauses out of 334036 with flag 62010498/14186000
605.67/604.20	c cleaning 168014 clauses out of 336050 with flag 62682973/14355001
614.26/612.83	c cleaning 169004 clauses out of 338035 with flag 63322752/14525000
624.14/622.73	c cleaning 169994 clauses out of 340031 with flag 64004933/14696000
633.82/632.47	c cleaning 170994 clauses out of 342039 with flag 64680419/14868002
642.90/641.55	c cleaning 172014 clauses out of 344043 with flag 65334569/15041000
652.18/650.86	c cleaning 172992 clauses out of 346030 with flag 66004974/15215001
661.66/660.32	c cleaning 173992 clauses out of 348038 with flag 66661650/15390001
671.04/669.79	c cleaning 175010 clauses out of 350045 with flag 67323986/15566000
680.62/679.38	c cleaning 175985 clauses out of 352035 with flag 67997279/15743000
690.11/688.85	c cleaning 177009 clauses out of 354051 with flag 68676198/15921001
700.58/699.35	c cleaning 177987 clauses out of 356043 with flag 69374895/16100002
710.96/709.64	c cleaning 179000 clauses out of 358054 with flag 70056180/16280000
720.63/719.38	c cleaning 180020 clauses out of 360054 with flag 70728466/16461000
730.81/729.55	c cleaning 180985 clauses out of 362034 with flag 71416571/16643000
740.88/739.69	c cleaning 182002 clauses out of 364049 with flag 72105028/16826000
750.96/749.77	c cleaning 183002 clauses out of 366048 with flag 72804628/17010001
760.93/759.73	c cleaning 183991 clauses out of 368045 with flag 73494227/17195000
771.42/770.26	c cleaning 185005 clauses out of 370055 with flag 74201302/17381001
781.59/780.49	c cleaning 186004 clauses out of 372050 with flag 74902551/17568001
792.36/791.25	c cleaning 187016 clauses out of 374047 with flag 75618524/17756002
802.74/801.63	c cleaning 188006 clauses out of 376029 with flag 76340984/17945000
814.01/812.95	c cleaning 188970 clauses out of 378025 with flag 77061282/18135002
824.19/823.19	c cleaning 189997 clauses out of 380055 with flag 77768614/18326002
834.65/833.51	c cleaning 191011 clauses out of 382056 with flag 78468748/18518000
844.93/843.87	c cleaning 192006 clauses out of 384045 with flag 79186780/18711000
855.91/854.82	c cleaning 192985 clauses out of 386039 with flag 79911229/18905000
867.09/866.03	c cleaning 194001 clauses out of 388054 with flag 80631283/19100000
878.07/877.07	c cleaning 195008 clauses out of 390055 with flag 81354880/19296002
888.94/887.96	c cleaning 195999 clauses out of 392046 with flag 82079733/19493001
899.51/898.58	c cleaning 196990 clauses out of 394047 with flag 82793493/19691001
910.79/909.89	c cleaning 198009 clauses out of 396057 with flag 83535921/19890001
921.67/920.79	c cleaning 198994 clauses out of 398047 with flag 84260122/20090000
933.25/932.38	c cleaning 199990 clauses out of 400053 with flag 85011241/20291000
944.32/943.45	c cleaning 201005 clauses out of 402064 with flag 85744025/20493001
956.29/955.46	c cleaning 202010 clauses out of 404059 with flag 86503477/20696001
968.27/967.45	c cleaning 202991 clauses out of 406048 with flag 87265392/20900000
980.18/979.21	c cleaning 204019 clauses out of 408058 with flag 88015828/21105001
992.65/991.70	c cleaning 204996 clauses out of 410038 with flag 88801613/21311000
1004.42/1003.57	c cleaning 206004 clauses out of 412044 with flag 89562305/21518002
1016.40/1015.53	c cleaning 206984 clauses out of 414039 with flag 90322041/21726001
1028.07/1027.28	c cleaning 208009 clauses out of 416054 with flag 91082351/21935000
1040.25/1039.42	c cleaning 208983 clauses out of 418045 with flag 91855710/22145000
1052.93/1052.11	c cleaning 210023 clauses out of 420062 with flag 92639422/22356000
1065.30/1064.53	c cleaning 211014 clauses out of 422041 with flag 93420507/22568002
1077.38/1076.69	c cleaning 212002 clauses out of 424026 with flag 94190078/22781001
1089.35/1088.68	c cleaning 212984 clauses out of 426023 with flag 94969004/22995000
1102.03/1101.38	c cleaning 213999 clauses out of 428039 with flag 95751231/23210000
1114.80/1114.18	c cleaning 215006 clauses out of 430041 with flag 96541556/23426001
1127.78/1127.10	c cleaning 216008 clauses out of 432034 with flag 97327507/23643000
1141.23/1140.14	c cleaning 217006 clauses out of 434028 with flag 98120692/23861002
1154.30/1153.21	c cleaning 218003 clauses out of 436021 with flag 98921798/24080001
1167.47/1166.45	c cleaning 218997 clauses out of 438017 with flag 99725086/24300000
1180.34/1179.32	c cleaning 219994 clauses out of 440020 with flag 100521503/24521000
1192.72/1191.71	c cleaning 221006 clauses out of 442027 with flag 101315153/24743001
1206.89/1205.97	c cleaning 221984 clauses out of 444021 with flag 102134836/24966001
1220.75/1219.85	c cleaning 222994 clauses out of 446037 with flag 102967983/25190001
1233.52/1232.62	c cleaning 224012 clauses out of 448042 with flag 103765616/25415000
1246.50/1245.62	c cleaning 224991 clauses out of 450031 with flag 104594155/25641001
1258.98/1258.15	c cleaning 225998 clauses out of 452039 with flag 105412245/25868000
1271.35/1270.50	c cleaning 227014 clauses out of 454042 with flag 106204259/26096001
1285.77/1284.92	c cleaning 228001 clauses out of 456027 with flag 107041682/26325000
1299.44/1298.62	c cleaning 228994 clauses out of 458027 with flag 107877548/26555001
1312.32/1311.60	c cleaning 229986 clauses out of 460034 with flag 108715816/26786002
1325.89/1325.16	c cleaning 231010 clauses out of 462047 with flag 109554752/27018001
1340.16/1339.40	c cleaning 232006 clauses out of 464037 with flag 110410817/27251001
1354.02/1353.37	c cleaning 233000 clauses out of 466030 with flag 111270957/27485000
1368.20/1367.58	c cleaning 234008 clauses out of 468031 with flag 112132795/27720001
1384.57/1383.94	c cleaning 234995 clauses out of 470024 with flag 113033098/27956002
1398.64/1398.00	c cleaning 235988 clauses out of 472027 with flag 113888378/28193000
1413.10/1412.59	c cleaning 236990 clauses out of 474040 with flag 114761121/28431001
1426.77/1426.28	c cleaning 237998 clauses out of 476049 with flag 115627968/28670000
1441.65/1441.12	c cleaning 239011 clauses out of 478052 with flag 116518966/28910001
1456.32/1455.73	c cleaning 240006 clauses out of 480040 with flag 117393835/29151000
1471.69/1471.11	c cleaning 240994 clauses out of 482034 with flag 118295736/29393000
1488.15/1487.65	c cleaning 241999 clauses out of 484040 with flag 119206392/29636000
1503.43/1502.95	c cleaning 243005 clauses out of 486041 with flag 120094535/29880000
1518.60/1518.13	c cleaning 244005 clauses out of 488036 with flag 120993641/30125000
1534.66/1534.20	c cleaning 244991 clauses out of 490031 with flag 121892255/30371000
1550.02/1549.68	c cleaning 245990 clauses out of 492040 with flag 122803548/30618000
1565.59/1565.20	c cleaning 247009 clauses out of 494051 with flag 123717849/30866001
1582.14/1581.81	c cleaning 247999 clauses out of 496042 with flag 124651616/31115001
1598.11/1597.89	c cleaning 248985 clauses out of 498043 with flag 125579564/31365001
1614.77/1614.56	c cleaning 250000 clauses out of 500058 with flag 126511522/31616001
1632.12/1631.90	c cleaning 251009 clauses out of 502058 with flag 127461425/31868001
1648.31/1648.07	c cleaning 252006 clauses out of 504048 with flag 128419001/32121000
1664.87/1664.61	c cleaning 253003 clauses out of 506043 with flag 129377658/32375001
1681.93/1681.70	c cleaning 253988 clauses out of 508040 with flag 130351030/32630001
1699.50/1699.35	c cleaning 255006 clauses out of 510052 with flag 131317791/32886001
1717.17/1717.02	c cleaning 256002 clauses out of 512045 with flag 132291565/33143000
1734.33/1734.27	c cleaning 257012 clauses out of 514043 with flag 133274516/33401000
1751.49/1751.49	c cleaning 257996 clauses out of 516032 with flag 134253195/33660001
1769.96/1769.92	c cleaning 258995 clauses out of 518035 with flag 135245687/33920000
1787.62/1787.60	c cleaning 259996 clauses out of 520041 with flag 136242892/34181001
1805.77/1805.84	c cleaning 261005 clauses out of 522044 with flag 137244821/34443000
1823.74/1823.83	c cleaning 262006 clauses out of 524039 with flag 138246685/34706000
1841.60/1841.79	c cleaning 262997 clauses out of 526033 with flag 139271731/34970000
1860.48/1860.59	c cleaning 263997 clauses out of 528036 with flag 140289230/35235000
1878.74/1878.84	c cleaning 265016 clauses out of 530041 with flag 141305318/35501002
1896.20/1896.30	c cleaning 265982 clauses out of 532023 with flag 142321756/35768000
1914.57/1914.79	c cleaning 266999 clauses out of 534041 with flag 143350270/36036000
1933.53/1933.79	c cleaning 268020 clauses out of 536042 with flag 144386668/36305000
1951.99/1952.23	c cleaning 268990 clauses out of 538023 with flag 145396964/36575001
1970.45/1970.79	c cleaning 270009 clauses out of 540032 with flag 146413584/36846000
1988.51/1988.80	c cleaning 270994 clauses out of 542023 with flag 147427384/37118000
2006.51/2006.77	c cleaning 272000 clauses out of 544029 with flag 148436554/37391000
2025.06/2025.37	c cleaning 273000 clauses out of 546030 with flag 149455063/37665001
2043.83/2044.12	c cleaning 274006 clauses out of 548030 with flag 150486199/37940001
2062.09/2062.49	c cleaning 274992 clauses out of 550023 with flag 151536242/38216000
2081.85/2082.26	c cleaning 275998 clauses out of 552033 with flag 152582267/38493002
2100.11/2100.53	c cleaning 276991 clauses out of 554033 with flag 153638193/38771000
2119.58/2120.05	c cleaning 278001 clauses out of 556042 with flag 154689081/39050000
2138.94/2139.41	c cleaning 279009 clauses out of 558042 with flag 155747307/39330001
2159.29/2159.80	c cleaning 280003 clauses out of 560032 with flag 156817512/39611000
2179.25/2179.85	c cleaning 281001 clauses out of 562030 with flag 157882187/39893001
2198.81/2199.47	c cleaning 282002 clauses out of 564030 with flag 158970311/40176002
2218.76/2219.44	c cleaning 282997 clauses out of 566026 with flag 160059749/40460000
2239.29/2239.81	c cleaning 284003 clauses out of 568029 with flag 161171976/40745000
2261.84/2262.44	c cleaning 285000 clauses out of 570028 with flag 162321695/41031002
2286.49/2287.17	c cleaning 285998 clauses out of 572026 with flag 163493997/41318000
2309.35/2310.03	c cleaning 287005 clauses out of 574028 with flag 164664658/41606000
2332.49/2333.21	c cleaning 288004 clauses out of 576023 with flag 165799601/41895000
2357.14/2357.99	c cleaning 288997 clauses out of 578020 with flag 166956117/42185001
2381.28/2382.13	c cleaning 289997 clauses out of 580022 with flag 168146286/42476000
2407.31/2408.24	c cleaning 290997 clauses out of 582025 with flag 169345970/42768000
2434.05/2435.01	c cleaning 292007 clauses out of 584028 with flag 170582729/43061000
2463.68/2464.74	c cleaning 293007 clauses out of 586021 with flag 171878467/43355000
2491.70/2492.29	c starts		: 26429
2491.70/2492.29	c conflicts		: 43644091
2491.70/2492.29	c decisions		: 61345571
2491.70/2492.29	c propagations		: 403737884
2491.70/2492.29	c inspects		: 46031131938
2491.70/2492.29	c shortcuts		: 0
2491.70/2492.29	c learnt literals	: 14
2491.70/2492.29	c learnt binary clauses	: 83
2491.70/2492.29	c learnt ternary clauses	: 326
2491.70/2492.29	c learnt constraints	: 43644076
2491.70/2492.29	c ignored constraints	: 0
2491.70/2492.29	c root simplifications	: 0
2491.70/2492.29	c removed literals (reason simplification)	: 41533484
2491.70/2492.29	c reason swapping (by a shorter reason)	: 0
2491.70/2492.29	c Calls to reduceDB	: 290
2491.70/2492.29	c Number of update (reduction) of LBD	: 10087321
2491.70/2492.29	c Imported unit clauses	: 0
2491.70/2492.29	c No decision after first conflict	: false
2491.70/2492.29	c number of reductions to clauses (during analyze)	: 0
2491.70/2492.29	c number of learned constraints concerned by reduction	: 0
2491.70/2492.29	c number of learning phase by resolution	: 0
2491.70/2492.29	c number of learning phase by cutting planes	: 0
2491.70/2492.29	c number of rounding to 1 operations	: 0
2491.70/2492.29	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2491.70/2492.29	c number of reductions of the coefficients by power 2 	: 0
2491.70/2492.29	c number of right shift for reduction by power 2 	: 0
2491.70/2492.29	c number of reductions of the coefficients by GCD over coefficients 	: 0
2491.70/2492.29	c number of ending skipping 	: 0
2491.70/2492.29	c number of internal skipping 	: 0
2491.70/2492.29	c number of derivation steps 	: 0
2491.70/2492.29	c number of skipped derivation steps 	: 0
2491.70/2492.29	c number of remaining unassigned 	: 0
2491.70/2492.29	c number of remaining assigned 	: 0
2491.70/2492.29	c number of falsified literals weakened from reason	: 0
2491.70/2492.29	c number of falsified literals weakened from conflict	: 0
2491.70/2492.29	c time for arithmetic operations	: 0
2491.70/2492.29	c minimum degree of deleted constraints	: null
2491.70/2492.30	c maximum degree of deleted constraints	: null
2491.70/2492.30	c number of deleted constraints	: 0
2491.81/2492.30	c speed (assignments/second)	: 162007.8111175002
2491.81/2492.30	c non guided choices	: 4932021
2491.81/2492.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 582007
2491.81/2492.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 83
2491.81/2492.37	s UNSATISFIABLE
2491.81/2492.37	c Total wall clock time (in seconds): 2492.242

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61076 MiB free)
  memory of node 1: 64507 MiB (61285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513338-1751216233/watcher-4513338-1751216233 -o /tmp/evaluation-result-4513338-1751216233/solver-4513338-1751216233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26872 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513338-1751216233.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.13 4.09 5/339 28071
/proc/meminfo: memFree=125272024/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18930384 memory=57636 CPUtime=0.12 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 6557 0 0 0 10 2 0 0 20 0 18 0 37301025 19384713216 14409 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4732596 14409 5330 1 0 547602 0
[pid=28053/tid=28055] ppid=28050 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 5061 0 0 0 6 1 0 0 20 0 18 0 37301027 19384713216 14409 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37301029 19384713216 14409 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37301029 19384713216 14409 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57636 KiB

[startup+0.2058 s]*
/proc/loadavg: 4.13 4.13 4.09 6/340 28072
/proc/meminfo: memFree=125249528/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18931412 memory=80428 CPUtime=0.31 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 7074 0 0 0 28 3 0 0 20 0 19 0 37301025 19385765888 20107 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4732853 20107 5426 1 0 548196 0
[pid=28053/tid=28055] ppid=28050 vsize=18931412 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) S 28050 28053 26860 0 -1 4194368 5296 0 0 0 15 2 0 0 20 0 19 0 37301027 19385765888 20107 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18931412 memory=16880 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37301029 19385765888 20107 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18931412 memory=59585004307431 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37301029 19385765888 20107 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=18931412 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (java) R 28050 28053 26860 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 37301045 19385765888 20107 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 2147221247 0 16800975 0 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 80428 KiB

[startup+0.305819 s]*
/proc/loadavg: 4.13 4.13 4.09 7/340 28072
/proc/meminfo: memFree=125238944/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18996948 memory=90784 CPUtime=0.51 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 11478 0 0 0 47 4 0 0 20 0 19 0 37301025 19452874752 22696 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4749237 22696 5426 1 0 550318 0
[pid=28053/tid=28055] ppid=28050 vsize=18996948 memory=-6000919507066578029 CPUtime=0.25 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 5320 0 0 0 23 2 0 0 20 0 19 0 37301027 19452874752 22696 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 22696 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 22696 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37301045 19452874752 22696 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90784 KiB

[startup+0.70025 s]
/proc/loadavg: 4.13 4.13 4.09 6/340 28072
/proc/meminfo: memFree=125233148/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18996948 memory=103876 CPUtime=1.26 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 15057 0 0 0 122 4 0 0 20 0 19 0 37301025 19452874752 25969 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4749237 25969 5458 1 0 552857 0
[pid=28053/tid=28055] ppid=28050 vsize=18996948 memory=17408 CPUtime=0.62 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 5415 0 0 0 60 2 0 0 20 0 19 0 37301027 19452874752 25969 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 25969 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 25969 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37301045 19452874752 25969 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103876 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.13 4.09 6/340 28072
/proc/meminfo: memFree=125217460/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18996948 memory=113784 CPUtime=2.83 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 19661 0 0 0 278 5 0 0 20 0 19 0 37301025 19452874752 28446 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4749237 28446 5458 1 0 553171 0
[pid=28053/tid=28055] ppid=28050 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 5819 0 0 0 139 2 0 0 20 0 19 0 37301027 19452874752 28446 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 28446 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 28446 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37301045 19452874752 28446 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113784 KiB

[startup+3.10556 s]
/proc/loadavg: 4.13 4.13 4.09 5/340 28072
/proc/meminfo: memFree=125188868/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=18996948 memory=138744 CPUtime=4.56 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 20539 0 0 0 450 6 0 0 20 0 19 0 37301025 19452874752 34686 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4749237 34686 5490 1 0 553173 0
[pid=28053/tid=28055] ppid=28050 vsize=18996948 memory=10752 CPUtime=3.01 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 6147 0 0 0 299 2 0 0 20 0 19 0 37301027 19452874752 34686 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=18996948 memory=-6000919507066578029 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 34686 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37301029 19452874752 34686 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37301045 19452874752 34686 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138744 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.12 4.09 5/341 28073
/proc/meminfo: memFree=125144064/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=175724 CPUtime=7.76 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 21860 0 0 0 769 7 0 0 20 0 20 0 37301025 19521036288 43931 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 43931 5490 1 0 553462 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 6188 0 0 0 616 3 0 0 20 0 20 0 37301027 19521036288 43931 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 43931 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 43931 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=115960 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 43931 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175724 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/341 28073
/proc/meminfo: memFree=125144568/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=177772 CPUtime=14.16 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 24795 0 0 0 1408 8 0 0 20 0 20 0 37301025 19521036288 44443 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 44443 5490 1 0 553462 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=115960 CPUtime=12.57 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) S 28050 28053 26860 0 -1 4194368 7243 0 0 0 1254 3 0 0 20 0 20 0 37301027 19521036288 44443 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=175724 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 44443 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 44443 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 44443 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177772 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/341 28074
/proc/meminfo: memFree=125112832/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=206660 CPUtime=26.97 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 26373 0 0 0 2688 9 0 0 20 0 20 0 37301025 19521036288 51665 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 51665 5490 1 0 553462 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=175724 CPUtime=25.3 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 7789 0 0 0 2527 3 0 0 20 0 20 0 37301027 19521036288 51665 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 51665 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=184008 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 51665 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 51665 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 26.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206660 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/341 28074
/proc/meminfo: memFree=124962800/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=276540 CPUtime=52.6 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 27703 0 0 0 5249 11 0 0 20 0 20 0 37301025 19521036288 69135 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 69135 5490 1 0 553462 0

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

/proc/loadavg: 3.40 3.87 4.00 4/313 28295
/proc/meminfo: memFree=123263048/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2036516 CPUtime=2456.59 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 75214 0 0 0 245562 97 0 0 20 0 20 0 37301025 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 509129 5490 1 0 558432 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=0 CPUtime=2449.33 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 29630 0 0 0 244924 9 0 0 20 0 20 0 37301027 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2456.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2036516 KiB

[startup+2470.4 s]
/proc/loadavg: 3.39 3.84 3.99 4/313 28295
/proc/meminfo: memFree=123251264/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2036516 CPUtime=2469.36 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 75422 0 0 0 246839 97 0 0 20 0 20 0 37301025 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 509129 5490 1 0 558432 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=19712 CPUtime=2462.1 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 29828 0 0 0 246201 9 0 0 20 0 20 0 37301027 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2469.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2036516 KiB

[startup+2483.2 s]
/proc/loadavg: 3.33 3.82 3.98 4/313 28296
/proc/meminfo: memFree=123252400/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2036516 CPUtime=2482.14 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 75843 0 0 0 248116 98 0 0 20 0 20 0 37301025 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 509129 5490 1 0 558432 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=2036516 CPUtime=2474.86 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30122 0 0 0 247477 9 0 0 20 0 20 0 37301027 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2482.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2036516 KiB

[startup+2486.4 s]
/proc/loadavg: 3.30 3.80 3.98 4/313 28296
/proc/meminfo: memFree=123252652/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2036516 CPUtime=2485.35 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 76202 0 0 0 248437 98 0 0 20 0 20 0 37301025 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 509129 5490 1 0 558444 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=14384 CPUtime=2478.05 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30241 0 0 0 247796 9 0 0 20 0 20 0 37301027 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 509129 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2485.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2036516 KiB

[startup+2489.6 s]
/proc/loadavg: 3.30 3.80 3.98 4/313 28296
/proc/meminfo: memFree=123243704/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2042920 CPUtime=2488.82 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 77703 0 0 0 248784 98 0 0 20 0 20 0 37301025 19521036288 510730 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 510730 5490 1 0 558502 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=2036772 CPUtime=2481.07 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30783 0 0 0 248098 9 0 0 20 0 20 0 37301027 19521036288 510730 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036772 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510730 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=139981574111836 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510730 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 510730 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2488.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2042920 KiB

[startup+2491.2 s]
/proc/loadavg: 3.28 3.79 3.97 4/313 28296
/proc/meminfo: memFree=123243704/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2043688 CPUtime=2490.7 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 78111 0 0 0 248971 99 0 0 20 0 20 0 37301025 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 510922 5490 1 0 558502 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=5632 CPUtime=2482.66 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30814 0 0 0 248257 9 0 0 20 0 20 0 37301027 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2490.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2043688 KiB

[startup+2492 s]*
/proc/loadavg: 3.28 3.79 3.97 4/313 28296
/proc/meminfo: memFree=123243956/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2043688 CPUtime=2491.5 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 78118 0 0 0 249051 99 0 0 20 0 20 0 37301025 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 510922 5490 1 0 558502 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=2432 CPUtime=2483.47 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30814 0 0 0 248338 9 0 0 20 0 20 0 37301027 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=7510671152907329044 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=245635481903 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2491.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2043688 KiB

[startup+2492.2 s]
/proc/loadavg: 3.28 3.79 3.97 4/313 28296
/proc/meminfo: memFree=123243956/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19063512 memory=2043688 CPUtime=2491.7 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 78119 0 0 0 249071 99 0 0 20 0 20 0 37301025 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4765878 510922 5490 1 0 558502 0
[pid=28053/tid=28055] ppid=28050 vsize=19063512 memory=245635481903 CPUtime=2483.66 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) R 28050 28053 26860 0 -1 4194368 30815 0 0 0 248357 9 0 0 20 0 20 0 37301027 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19063512 memory=61805452067567 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19063512 memory=3546083562019356704 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28072] ppid=28050 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/28053/task/28072/stat : 28072 (Timer-0) S 28050 28053 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37301045 19521036288 510922 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2491.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2043688 KiB

[startup+2492.3 s]
/proc/loadavg: 3.28 3.79 3.97 4/313 28296
/proc/meminfo: memFree=123243956/131249996 swapFree=33010684/33010684
[pid=28053] ppid=28050 vsize=19196640 memory=2044456 CPUtime=2491.81 cores=1,3
/proc/28053/stat : 28053 (java) S 28050 28053 26860 0 -1 4194304 79046 0 0 0 249082 99 0 0 20 0 20 0 37301025 19657359360 511114 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
/proc/28053/statm: 4799160 511114 5522 1 0 559136 0
[pid=28053/tid=28055] ppid=28050 vsize=19196640 memory=2036516 CPUtime=2483.76 cores=1,3
/proc/28053/task/28055/stat : 28055 (java) S 28050 28053 26860 0 -1 4194368 31426 0 0 0 248366 10 0 0 20 0 20 0 37301027 19657359360 511114 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28064] ppid=28050 vsize=19196640 memory=2036516 CPUtime=0 cores=1,3
/proc/28053/task/28064/stat : 28064 (Finalizer) S 28050 28053 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37301029 19657359360 511114 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
[pid=28053/tid=28071] ppid=28050 vsize=19196640 memory=2042920 CPUtime=0 cores=1,3
/proc/28053/task/28071/stat : 28071 (Common-Cleaner) S 28050 28053 26860 0 -1 4194368 750 0 0 0 0 0 0 0 20 0 20 0 37301029 19657359360 511114 18446744073709551615 93969168633856 93969168637552 140728326947248 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969168645368 93969168646160 93969193992192 140728326949249 140728326949350 140728326949350 140728326954952 0
Current children cumulated CPU time: 2491.81 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2044456 KiB

Child status: 20

Real time (s): 2492.39
CPU time (s): 2491.94
CPU user time (s): 2490.94
CPU system time (s): 1.00497
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2044456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2490.94
system time used= 1.00497
maximum resident set size= 2044584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72947
involuntary context switches= 2290


# summary of solver processes directly reported to runsolver:
#   pid: 28053
#   total CPU time (s): 2491.94
#   total CPU user time (s): 2490.94
#   total CPU system time (s): 1.00497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2987 second user time and 11.3551 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 18:57:13
IDJOB=4513338
IDBENCH=162338
IDSOLVER=3363
FILE ID=nodeC022/4513338-1751216233
RUNJOBID= nodeC022-1751208407-26872
SLURM_JOB_ID= 9587640
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513338-1751216233/watcher-4513338-1751216233 -o /tmp/evaluation-result-4513338-1751216233/solver-4513338-1751216233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26872 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513338-1751216233.opb

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

MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=935828599

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125299004 kB
MemAvailable:   125954396 kB
Buffers:            3280 kB
Cached:          1460012 kB
SwapCached:            0 kB
Active:          4134468 kB
Inactive:        1211652 kB
Active(anon):    3900888 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1211652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               720 kB
Writeback:             0 kB
AnonPages:       3886032 kB
Mapped:           122180 kB
Shmem:             18060 kB
KReclaimable:      98396 kB
Slab:             185132 kB
SReclaimable:      98396 kB
SUnreclaim:        86736 kB
KernelStack:        5280 kB
PageTables:        11372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7071816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3674112 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 19:38:45