Trace number 4516723

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.22 3589.22

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
MD5SUM4265bbe025469237f5d61ba95458ed2b
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 benchmark0.153389
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12001
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6000
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-4516723-1751241082.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.69/0.47	c ... done. Wall clock time 0.334s.
0.69/0.47	c declared #vars     12001
0.69/0.47	c #constraints  12000
0.69/0.47	c constraints type 
0.69/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12000
0.69/0.47	c 12000 constraints processed.
1.86/1.06	c cleaning 2479 clauses out of 5000 with flag 24855/5000
2.85/1.56	c cleaning 4256 clauses out of 8521 with flag 56902/11000
3.44/1.80	c cleaning 5613 clauses out of 11265 with flag 92927/18000
3.64/1.97	c cleaning 6783 clauses out of 13652 with flag 133598/26000
4.22/2.21	c cleaning 7913 clauses out of 15870 with flag 184537/35001
4.62/2.44	c cleaning 8910 clauses out of 17956 with flag 240926/45000
4.87/2.67	c cleaning 9963 clauses out of 20046 with flag 301511/56000
5.18/2.93	c cleaning 10982 clauses out of 22083 with flag 367678/68000
5.50/3.27	c cleaning 12023 clauses out of 24101 with flag 441664/81000
5.92/3.59	c cleaning 13008 clauses out of 26080 with flag 520433/95002
6.49/3.95	c cleaning 14006 clauses out of 28074 with flag 602503/110004
6.90/4.33	c cleaning 15029 clauses out of 30064 with flag 685070/126000
7.46/4.79	c cleaning 15920 clauses out of 32038 with flag 772792/143003
8.01/5.23	c cleaning 17023 clauses out of 34115 with flag 870358/161000
8.41/5.68	c cleaning 18020 clauses out of 36092 with flag 967583/180000
8.92/6.15	c cleaning 18880 clauses out of 38075 with flag 1075397/200003
9.41/6.65	c cleaning 20087 clauses out of 40192 with flag 1190108/221000
11.25/7.63	c cleaning 21033 clauses out of 42107 with flag 1311767/243002
11.85/8.26	c cleaning 22001 clauses out of 44073 with flag 1454011/266001
12.56/8.93	c cleaning 23036 clauses out of 46073 with flag 1601719/290002
13.05/9.49	c cleaning 23969 clauses out of 48035 with flag 1745896/315000
13.76/10.16	c cleaning 25003 clauses out of 50070 with flag 1886213/341004
14.36/10.77	c cleaning 25985 clauses out of 52064 with flag 2029528/368001
15.17/11.55	c cleaning 27034 clauses out of 54078 with flag 2179444/396000
15.97/12.30	c cleaning 28010 clauses out of 56045 with flag 2329598/425001
16.67/13.04	c cleaning 28999 clauses out of 58034 with flag 2495372/455000
17.56/13.99	c cleaning 29996 clauses out of 60035 with flag 2670160/486000
18.45/14.80	c cleaning 30995 clauses out of 62039 with flag 2837442/518000
19.27/15.63	c cleaning 31976 clauses out of 64045 with flag 3014053/551001
20.17/16.59	c cleaning 32971 clauses out of 66068 with flag 3197111/585000
21.27/17.68	c cleaning 33996 clauses out of 68098 with flag 3390853/620001
22.56/18.98	c cleaning 35007 clauses out of 70102 with flag 3601060/656001
23.56/19.93	c cleaning 36016 clauses out of 72094 with flag 3796098/693000
24.45/20.88	c cleaning 36998 clauses out of 74078 with flag 3989393/731000
25.78/22.13	c cleaning 38002 clauses out of 76080 with flag 4195494/770000
26.87/23.20	c cleaning 38960 clauses out of 78078 with flag 4415718/810000
28.26/24.61	c cleaning 40027 clauses out of 80119 with flag 4638952/851001
29.36/25.73	c cleaning 41014 clauses out of 82091 with flag 4854129/893000
30.36/26.75	c cleaning 41973 clauses out of 84078 with flag 5069067/936001
31.58/27.99	c cleaning 43038 clauses out of 86104 with flag 5295415/980000
32.87/29.20	c cleaning 44011 clauses out of 88066 with flag 5522885/1025000
34.17/30.54	c cleaning 44945 clauses out of 90055 with flag 5769752/1071000
35.37/31.76	c cleaning 45979 clauses out of 92110 with flag 6011038/1118000
36.67/33.09	c cleaning 47027 clauses out of 94131 with flag 6258427/1166000
38.06/34.48	c cleaning 48036 clauses out of 96104 with flag 6517121/1215000
40.25/36.82	c cleaning 48980 clauses out of 98068 with flag 6788682/1265000
41.75/38.32	c cleaning 49971 clauses out of 100089 with flag 7051468/1316001
43.95/40.53	c cleaning 51007 clauses out of 102117 with flag 7324084/1368000
45.85/42.46	c cleaning 52015 clauses out of 104110 with flag 7627434/1421000
47.34/43.90	c cleaning 53036 clauses out of 106096 with flag 7912325/1475001
49.06/45.69	c cleaning 54006 clauses out of 108059 with flag 8211656/1530000
50.56/47.12	c cleaning 55001 clauses out of 110055 with flag 8498058/1586002
52.65/49.20	c cleaning 55980 clauses out of 112053 with flag 8812505/1643001
54.14/50.78	c cleaning 57031 clauses out of 114073 with flag 9119668/1701001
56.14/52.72	c cleaning 57993 clauses out of 116041 with flag 9442672/1760000
58.06/54.68	c cleaning 59015 clauses out of 118050 with flag 9755114/1820002
59.76/56.37	c cleaning 59997 clauses out of 120034 with flag 10078610/1881001
61.55/58.15	c cleaning 60947 clauses out of 122036 with flag 10404392/1943000
63.15/59.79	c cleaning 61987 clauses out of 124089 with flag 10733188/2006000
65.67/62.22	c cleaning 62988 clauses out of 126102 with flag 11111183/2070000
67.56/64.13	c cleaning 64008 clauses out of 128115 with flag 11460405/2135001
69.49/66.29	c cleaning 65026 clauses out of 130107 with flag 11805748/2201001
71.88/68.68	c cleaning 65977 clauses out of 132080 with flag 12163184/2268000
73.99/70.72	c cleaning 67041 clauses out of 134105 with flag 12503176/2336002
75.90/72.68	c cleaning 68001 clauses out of 136063 with flag 12853997/2405001
78.19/74.93	c cleaning 69016 clauses out of 138061 with flag 13217605/2475000
80.88/77.62	c cleaning 69980 clauses out of 140045 with flag 13603751/2546000
83.01/79.78	c cleaning 71011 clauses out of 142067 with flag 13991654/2618002
85.09/81.84	c cleaning 71994 clauses out of 144054 with flag 14371358/2691000
87.19/83.91	c cleaning 72990 clauses out of 146061 with flag 14758161/2765001
89.62/86.31	c cleaning 73966 clauses out of 148070 with flag 15164842/2840000
91.91/88.61	c cleaning 75037 clauses out of 150108 with flag 15560372/2916004
95.01/91.78	c cleaning 76003 clauses out of 152067 with flag 15989691/2993000
97.83/94.53	c cleaning 77008 clauses out of 154065 with flag 16418510/3071001
100.18/97.03	c cleaning 77987 clauses out of 156056 with flag 16846295/3150000
102.66/99.52	c cleaning 79017 clauses out of 158069 with flag 17270000/3230000
105.10/101.98	c cleaning 79959 clauses out of 160052 with flag 17699194/3311000
107.78/104.64	c cleaning 80975 clauses out of 162095 with flag 18165029/3393002
110.08/106.94	c cleaning 81999 clauses out of 164118 with flag 18601888/3476000
113.01/109.88	c cleaning 83009 clauses out of 166120 with flag 19058954/3560001
115.71/112.58	c cleaning 84040 clauses out of 168110 with flag 19493491/3645000
118.31/115.18	c cleaning 85026 clauses out of 170072 with flag 19945845/3731002
121.44/118.21	c cleaning 86000 clauses out of 172044 with flag 20421232/3818000
124.14/120.97	c cleaning 86963 clauses out of 174046 with flag 20882147/3906002
127.13/123.97	c cleaning 88012 clauses out of 176081 with flag 21368370/3995000
130.16/126.96	c cleaning 89017 clauses out of 178069 with flag 21845276/4085000
134.08/132.59	c cleaning 89972 clauses out of 180054 with flag 22348967/4176002
136.68/135.15	c cleaning 91030 clauses out of 182081 with flag 22806597/4268001
139.92/138.30	c cleaning 92006 clauses out of 184051 with flag 23303281/4361001
142.81/141.29	c cleaning 92949 clauses out of 186044 with flag 23792432/4455000
146.10/144.54	c cleaning 94014 clauses out of 188095 with flag 24291582/4550000
149.66/148.08	c cleaning 94987 clauses out of 190082 with flag 24810254/4646001
153.05/151.45	c cleaning 96026 clauses out of 192095 with flag 25332598/4743001
156.51/154.83	c cleaning 96983 clauses out of 194069 with flag 25859659/4841001
159.88/158.36	c cleaning 97997 clauses out of 196087 with flag 26386325/4940002
163.18/161.68	c cleaning 99027 clauses out of 198089 with flag 26926929/5040001
166.96/165.31	c cleaning 99913 clauses out of 200063 with flag 27456409/5141002
170.35/168.80	c cleaning 101063 clauses out of 202148 with flag 28008406/5243000
173.92/172.27	c cleaning 101985 clauses out of 204086 with flag 28540935/5346001
177.12/175.49	c cleaning 103034 clauses out of 206101 with flag 29088112/5450001
181.00/179.32	c cleaning 103995 clauses out of 208068 with flag 29673319/5555002
184.48/182.74	c cleaning 104991 clauses out of 210074 with flag 30217097/5661003
187.88/186.18	c cleaning 105978 clauses out of 212082 with flag 30770852/5768002
192.52/190.87	c cleaning 106981 clauses out of 214102 with flag 31400035/5876000
196.62/194.91	c cleaning 108012 clauses out of 216122 with flag 31988219/5985001
201.11/199.37	c cleaning 109017 clauses out of 218111 with flag 32593247/6095002
204.81/203.02	c cleaning 110006 clauses out of 220093 with flag 33183158/6206001
209.02/207.17	c cleaning 111020 clauses out of 222086 with flag 33775422/6318000
213.01/211.13	c cleaning 112014 clauses out of 224066 with flag 34395427/6431000
217.30/215.38	c cleaning 112980 clauses out of 226052 with flag 35019725/6545000
221.26/219.40	c cleaning 113993 clauses out of 228073 with flag 35626578/6660001
225.14/223.36	c cleaning 115032 clauses out of 230081 with flag 36242188/6776002
228.93/227.04	c cleaning 115996 clauses out of 232047 with flag 36859965/6893000
232.32/230.49	c cleaning 116963 clauses out of 234051 with flag 37471428/7011000
237.09/235.16	c cleaning 118013 clauses out of 236088 with flag 38122124/7130000
241.18/239.26	c cleaning 118994 clauses out of 238078 with flag 38789297/7250003
246.18/244.15	c cleaning 120012 clauses out of 240081 with flag 39432248/7371000
250.17/248.11	c cleaning 121031 clauses out of 242070 with flag 40080602/7493001
254.52/252.50	c cleaning 121988 clauses out of 244039 with flag 40747483/7616001
258.81/256.87	c cleaning 122965 clauses out of 246051 with flag 41396943/7740001
263.70/261.69	c cleaning 124017 clauses out of 248085 with flag 42068985/7865000
267.88/265.80	c cleaning 125024 clauses out of 250069 with flag 42729599/7991001
272.68/270.52	c cleaning 125986 clauses out of 252046 with flag 43423068/8118002
276.47/274.39	c cleaning 127018 clauses out of 254058 with flag 44100728/8246000
281.25/279.04	c cleaning 127993 clauses out of 256040 with flag 44781311/8375000
286.21/284.03	c cleaning 128937 clauses out of 258047 with flag 45486035/8505000
290.70/288.59	c cleaning 130038 clauses out of 260111 with flag 46192699/8636001
295.50/293.25	c cleaning 131023 clauses out of 262073 with flag 46907001/8768001
299.69/297.47	c cleaning 131966 clauses out of 264051 with flag 47593424/8901002
304.08/301.78	c cleaning 132968 clauses out of 266084 with flag 48303622/9035001
309.07/306.76	c cleaning 133979 clauses out of 268115 with flag 49038041/9170000
314.21/311.94	c cleaning 135032 clauses out of 270137 with flag 49791280/9306001
320.30/318.08	c cleaning 136026 clauses out of 272104 with flag 50567480/9443000
326.18/323.82	c cleaning 137014 clauses out of 274078 with flag 51336726/9581000
330.67/328.37	c cleaning 137960 clauses out of 276065 with flag 52071918/9720001
335.45/333.05	c cleaning 138994 clauses out of 278104 with flag 52815797/9860000
340.93/338.48	c cleaning 140035 clauses out of 280110 with flag 53581807/10001000
346.39/344.04	c cleaning 141005 clauses out of 282075 with flag 54366941/10143000
351.39/348.94	c cleaning 142021 clauses out of 284071 with flag 55147464/10286001
356.87/354.49	c cleaning 143015 clauses out of 286053 with flag 55939943/10430004
362.94/360.42	c cleaning 143958 clauses out of 288035 with flag 56739445/10575001
369.01/366.45	c cleaning 145022 clauses out of 290076 with flag 57540076/10721000
374.71/372.16	c cleaning 145986 clauses out of 292054 with flag 58328942/10868000
381.07/378.50	c cleaning 147021 clauses out of 294068 with flag 59178579/11016000
386.25/383.66	c cleaning 147977 clauses out of 296048 with flag 59998583/11165001
392.12/389.46	c cleaning 149024 clauses out of 298071 with flag 60824180/11315001
397.71/395.06	c cleaning 149992 clauses out of 300047 with flag 61653181/11466001
403.78/401.07	c cleaning 150995 clauses out of 302055 with flag 62526771/11618001
408.91/406.25	c cleaning 151988 clauses out of 304060 with flag 63345266/11771001
414.91/412.20	c cleaning 153016 clauses out of 306071 with flag 64219326/11925000
420.09/417.34	c cleaning 153957 clauses out of 308055 with flag 65039212/12080000
424.96/422.10	c cleaning 155025 clauses out of 310099 with flag 65846036/12236001
431.10/428.28	c cleaning 156016 clauses out of 312073 with flag 66697609/12393000
436.76/433.87	c cleaning 156997 clauses out of 314059 with flag 67525611/12551002
442.60/439.75	c cleaning 158005 clauses out of 316060 with flag 68397947/12710000
449.14/445.83	c cleaning 158993 clauses out of 318055 with flag 69296541/12870000
455.12/451.85	c cleaning 160009 clauses out of 320062 with flag 70170171/13031000
461.44/458.17	c cleaning 160991 clauses out of 322055 with flag 71061051/13193002
467.37/464.03	c cleaning 161974 clauses out of 324063 with flag 71952083/13356001
473.47/470.29	c cleaning 162981 clauses out of 326088 with flag 72855023/13520000
479.56/476.33	c cleaning 164040 clauses out of 328107 with flag 73755753/13685000
485.51/482.21	c cleaning 165009 clauses out of 330067 with flag 74645824/13851000
491.59/488.26	c cleaning 165955 clauses out of 332059 with flag 75574350/14018001
498.18/494.86	c cleaning 167005 clauses out of 334106 with flag 76515313/14186003
504.33/501.07	c cleaning 168034 clauses out of 336099 with flag 77436099/14355001
511.29/507.95	c cleaning 168992 clauses out of 338065 with flag 78396060/14525001
517.88/514.43	c cleaning 170013 clauses out of 340072 with flag 79329656/14696000
523.66/520.23	c cleaning 170980 clauses out of 342059 with flag 80265772/14868000
529.83/526.32	c cleaning 172018 clauses out of 344079 with flag 81207767/15041000
537.02/533.67	c cleaning 173008 clauses out of 346063 with flag 82178166/15215002
544.11/540.64	c cleaning 173967 clauses out of 348054 with flag 83158822/15390001
551.60/548.11	c cleaning 174963 clauses out of 350087 with flag 84142519/15566001
558.26/554.71	c cleaning 176040 clauses out of 352123 with flag 85121560/15743000
564.87/561.49	c cleaning 176951 clauses out of 354085 with flag 86093769/15921002
572.56/569.03	c cleaning 177991 clauses out of 356133 with flag 87104310/16100001
579.94/576.45	c cleaning 179044 clauses out of 358144 with flag 88131436/16280003
586.73/583.15	c cleaning 179993 clauses out of 360097 with flag 89128906/16461000
593.30/589.84	c cleaning 181020 clauses out of 362104 with flag 90125440/16643000
601.88/598.30	c cleaning 182026 clauses out of 364085 with flag 91157685/16826001
609.16/605.56	c cleaning 182991 clauses out of 366058 with flag 92175971/17010000
616.45/612.80	c cleaning 184010 clauses out of 368067 with flag 93211168/17195000
623.21/619.74	c cleaning 185007 clauses out of 370058 with flag 94214598/17381001
631.08/627.51	c cleaning 186011 clauses out of 372050 with flag 95261375/17568000
639.16/635.53	c cleaning 186985 clauses out of 374039 with flag 96311466/17756000
645.95/642.27	c cleaning 188009 clauses out of 376054 with flag 97368052/17945000
653.46/649.95	c cleaning 189014 clauses out of 378046 with flag 98445876/18135001
660.93/657.34	c cleaning 189973 clauses out of 380032 with flag 99506659/18326001
668.80/665.17	c cleaning 190980 clauses out of 382058 with flag 100585315/18518000
676.67/672.99	c cleaning 192001 clauses out of 384079 with flag 101666039/18711001
684.31/680.70	c cleaning 193023 clauses out of 386077 with flag 102753019/18905000
692.78/689.17	c cleaning 194001 clauses out of 388054 with flag 103861011/19100000
700.88/697.14	c cleaning 194976 clauses out of 390053 with flag 104949450/19296000
708.42/704.66	c cleaning 196005 clauses out of 392078 with flag 106021882/19493001
716.28/712.69	c cleaning 197016 clauses out of 394072 with flag 107148342/19691000
724.26/720.52	c cleaning 198001 clauses out of 396057 with flag 108251835/19890001
732.03/728.27	c cleaning 198987 clauses out of 398057 with flag 109363037/20090002
739.10/735.25	c cleaning 199998 clauses out of 400068 with flag 110458271/20291000
747.10/743.45	c cleaning 201020 clauses out of 402071 with flag 111601117/20493001
755.20/751.14	c cleaning 202000 clauses out of 404052 with flag 112706138/20696002
762.90/758.82	c cleaning 203010 clauses out of 406051 with flag 113830175/20900001
771.43/767.30	c cleaning 204002 clauses out of 408041 with flag 114957077/21105001
779.46/775.58	c cleaning 204987 clauses out of 410040 with flag 116119225/21311002
788.27/784.21	c cleaning 206002 clauses out of 412051 with flag 117263879/21518000
796.44/792.38	c cleaning 207000 clauses out of 414051 with flag 118408032/21726002
805.33/801.18	c cleaning 208009 clauses out of 416050 with flag 119569212/21935001
813.83/809.87	c cleaning 208964 clauses out of 418041 with flag 120736944/22145001
824.60/820.51	c cleaning 210016 clauses out of 420077 with flag 121951052/22356001
834.28/830.15	c cleaning 210994 clauses out of 422063 with flag 123145680/22568003
842.41/838.40	c cleaning 211919 clauses out of 424066 with flag 124307972/22781000
850.57/846.51	c cleaning 213040 clauses out of 426147 with flag 125483383/22995000
859.13/855.00	c cleaning 214033 clauses out of 428108 with flag 126678722/23210001
870.54/866.53	c cleaning 215006 clauses out of 430076 with flag 127923552/23426002
880.02/875.95	c cleaning 216020 clauses out of 432068 with flag 129149285/23643000
888.41/884.23	c cleaning 217003 clauses out of 434048 with flag 130322420/23861000
896.99/892.74	c cleaning 218000 clauses out of 436045 with flag 131517008/24080000
906.38/902.28	c cleaning 218952 clauses out of 438045 with flag 132770546/24300000
914.44/910.23	c cleaning 220012 clauses out of 440093 with flag 133968086/24521000
923.32/919.07	c cleaning 221014 clauses out of 442081 with flag 135189955/24743000
933.21/929.01	c cleaning 222013 clauses out of 444069 with flag 136417638/24966002
943.09/938.87	c cleaning 222987 clauses out of 446055 with flag 137669583/25190001
951.96/947.69	c cleaning 224013 clauses out of 448070 with flag 138879603/25415003
960.91/956.69	c cleaning 224999 clauses out of 450055 with flag 140143812/25641001
970.68/966.32	c cleaning 226004 clauses out of 452056 with flag 141411642/25868001
979.84/975.48	c cleaning 227008 clauses out of 454052 with flag 142653094/26096001
989.30/984.84	c cleaning 227990 clauses out of 456044 with flag 143927458/26325001
998.29/993.99	c cleaning 228995 clauses out of 458054 with flag 145185278/26555001
1007.63/1003.21	c cleaning 230003 clauses out of 460058 with flag 146458727/26786000
1017.19/1012.69	c cleaning 230995 clauses out of 462058 with flag 147738504/27018003
1026.48/1022.05	c cleaning 231993 clauses out of 464061 with flag 149045799/27251001
1037.21/1032.73	c cleaning 233022 clauses out of 466067 with flag 150390576/27485000
1046.77/1042.29	c cleaning 233982 clauses out of 468048 with flag 151684659/27720003
1056.51/1052.05	c cleaning 234991 clauses out of 470066 with flag 152970358/27956003
1066.16/1061.68	c cleaning 236012 clauses out of 472073 with flag 154264012/28193001
1076.80/1072.27	c cleaning 237013 clauses out of 474060 with flag 155616871/28431000
1086.19/1081.74	c cleaning 238000 clauses out of 476051 with flag 156929391/28670004
1096.13/1091.10	c cleaning 239011 clauses out of 478047 with flag 158259898/28910000
1105.72/1100.70	c cleaning 239982 clauses out of 480037 with flag 159584704/29151001
1114.84/1109.81	c cleaning 241014 clauses out of 482054 with flag 160919288/29393000
1124.51/1119.66	c cleaning 241986 clauses out of 484040 with flag 162240137/29636000
1134.55/1129.64	c cleaning 243003 clauses out of 486054 with flag 163607046/29880000
1143.89/1138.95	c cleaning 243990 clauses out of 488053 with flag 164923007/30125002
1153.76/1148.89	c cleaning 244977 clauses out of 490062 with flag 166295064/30371001
1163.64/1158.67	c cleaning 246030 clauses out of 492085 with flag 167647361/30618001
1174.00/1168.97	c cleaning 246996 clauses out of 494054 with flag 168997197/30866000
1186.76/1181.82	c cleaning 248014 clauses out of 496059 with flag 170432098/31115001
1196.63/1191.62	c cleaning 248991 clauses out of 498044 with flag 171811608/31365000
1208.54/1203.65	c cleaning 249969 clauses out of 500053 with flag 173202673/31616000
1219.71/1214.78	c cleaning 251010 clauses out of 502084 with flag 174621621/31868000
1231.07/1226.01	c cleaning 252028 clauses out of 504074 with flag 176051041/32121000
1242.66/1237.72	c cleaning 252995 clauses out of 506047 with flag 177477126/32375001
1253.26/1248.27	c cleaning 253977 clauses out of 508051 with flag 178890650/32630000
1263.40/1258.22	c cleaning 254997 clauses out of 510074 with flag 180286735/32886000
1273.57/1268.54	c cleaning 255969 clauses out of 512077 with flag 181681158/33143000
1284.54/1279.48	c cleaning 257035 clauses out of 514110 with flag 183101763/33401002
1295.51/1290.37	c cleaning 258016 clauses out of 516075 with flag 184519209/33660002
1307.13/1301.50	c cleaning 259018 clauses out of 518058 with flag 185937199/33920001
1317.24/1311.62	c cleaning 259984 clauses out of 520040 with flag 187356743/34181001
1328.66/1323.02	c cleaning 261008 clauses out of 522055 with flag 188804655/34443000
1339.48/1333.99	c cleaning 261997 clauses out of 524047 with flag 190238557/34706000
1349.50/1343.92	c cleaning 263001 clauses out of 526053 with flag 191616000/34970003
1359.83/1354.11	c cleaning 264002 clauses out of 528051 with flag 193061950/35235002
1371.87/1366.27	c cleaning 264988 clauses out of 530048 with flag 194515691/35501001
1384.92/1379.26	c cleaning 265995 clauses out of 532060 with flag 196032518/35768001
1396.16/1390.54	c cleaning 267018 clauses out of 534064 with flag 197500758/36036000
1408.51/1402.80	c cleaning 267995 clauses out of 536047 with flag 199019494/36305001
1419.65/1413.85	c cleaning 269002 clauses out of 538052 with flag 200459511/36575001
1430.48/1424.78	c cleaning 269995 clauses out of 540050 with flag 201927536/36846001
1441.94/1436.12	c cleaning 270992 clauses out of 542055 with flag 203410965/37118001
1454.49/1448.86	c cleaning 272000 clauses out of 544062 with flag 204914824/37391000
1466.03/1460.37	c cleaning 273000 clauses out of 546062 with flag 206411786/37665000
1478.88/1473.07	c cleaning 273986 clauses out of 548063 with flag 207980007/37940001
1491.25/1485.56	c cleaning 274995 clauses out of 550079 with flag 209499229/38216003
1503.01/1497.23	c cleaning 275979 clauses out of 552081 with flag 210996717/38493000
1514.65/1508.80	c cleaning 277029 clauses out of 554102 with flag 212511575/38771000
1525.71/1520.03	c cleaning 277991 clauses out of 556075 with flag 214012226/39050002
1538.86/1533.00	c cleaning 279000 clauses out of 558083 with flag 215548203/39330001
1550.39/1544.64	c cleaning 280012 clauses out of 560083 with flag 217075726/39611001
1563.03/1557.29	c cleaning 281009 clauses out of 562071 with flag 218695276/39893001
1576.47/1570.15	c cleaning 282023 clauses out of 564062 with flag 220288338/40176001
1587.69/1581.44	c cleaning 282987 clauses out of 566039 with flag 221778820/40460001
1600.35/1594.02	c cleaning 284001 clauses out of 568052 with flag 223338990/40745001
1612.97/1606.75	c cleaning 284995 clauses out of 570051 with flag 224898921/41031001
1624.52/1618.29	c cleaning 286000 clauses out of 572055 with flag 226421686/41318000
1637.48/1631.08	c cleaning 287013 clauses out of 574057 with flag 228019633/41606002
1649.02/1642.62	c cleaning 287991 clauses out of 576042 with flag 229563794/41895000
1660.77/1654.35	c cleaning 288970 clauses out of 578053 with flag 231114747/42185002
1673.49/1667.06	c cleaning 290031 clauses out of 580083 with flag 232701817/42476002
1685.57/1679.08	c cleaning 290989 clauses out of 582053 with flag 234319606/42768003
1698.23/1691.66	c cleaning 292020 clauses out of 584062 with flag 235935380/43061001
1710.07/1703.48	c cleaning 292988 clauses out of 586041 with flag 237528222/43355000
1723.01/1716.24	c cleaning 293962 clauses out of 588053 with flag 239186459/43650000
1735.27/1728.50	c cleaning 295011 clauses out of 590092 with flag 240775536/43946001
1747.71/1740.92	c cleaning 296018 clauses out of 592082 with flag 242412755/44243002
1761.14/1754.28	c cleaning 296992 clauses out of 594064 with flag 244050808/44541002
1774.36/1767.79	c cleaning 298001 clauses out of 596070 with flag 245682200/44840000
1787.21/1780.59	c cleaning 298997 clauses out of 598070 with flag 247338240/45140001
1800.50/1793.86	c cleaning 300015 clauses out of 600072 with flag 248938977/45441000
1813.87/1807.11	c cleaning 300975 clauses out of 602059 with flag 250619184/45743002
1826.25/1819.17	c cleaning 302027 clauses out of 604083 with flag 252256931/46046001
1841.40/1834.27	c cleaning 302997 clauses out of 606055 with flag 253941203/46350000
1853.65/1846.49	c cleaning 304011 clauses out of 608062 with flag 255561838/46655004
1866.26/1859.10	c cleaning 304965 clauses out of 610048 with flag 257204114/46961001
1880.32/1873.19	c cleaning 306004 clauses out of 612083 with flag 258864979/47268001
1894.16/1887.00	c cleaning 307021 clauses out of 614079 with flag 260559559/47576001
1907.99/1900.77	c cleaning 307998 clauses out of 616057 with flag 262243532/47885000
1920.87/1913.67	c cleaning 309010 clauses out of 618059 with flag 263917248/48195000
1934.09/1926.83	c cleaning 309977 clauses out of 620050 with flag 265599323/48506001
1947.59/1940.31	c cleaning 310984 clauses out of 622072 with flag 267284792/48818000
1962.55/1955.27	c cleaning 312037 clauses out of 624088 with flag 269005972/49131000
1975.89/1968.58	c cleaning 312972 clauses out of 626052 with flag 270695305/49445001
1989.51/1982.14	c cleaning 314011 clauses out of 628079 with flag 272400342/49760000
2003.76/1996.30	c cleaning 314973 clauses out of 630068 with flag 274144286/50076000
2017.18/2009.71	c cleaning 316035 clauses out of 632095 with flag 275875080/50393000
2030.07/2022.55	c cleaning 317015 clauses out of 634062 with flag 277584681/50711002
2044.07/2036.63	c cleaning 317960 clauses out of 636045 with flag 279301016/51030000
2057.20/2049.60	c cleaning 319027 clauses out of 638085 with flag 281011126/51350000
2072.84/2065.34	c cleaning 319998 clauses out of 640059 with flag 282786231/51671001
2086.78/2079.14	c cleaning 320997 clauses out of 642061 with flag 284491751/51993001
2101.13/2093.50	c cleaning 321979 clauses out of 644063 with flag 286234748/52316000
2115.01/2106.88	c cleaning 323010 clauses out of 646084 with flag 287959955/52640000
2129.94/2121.73	c cleaning 324005 clauses out of 648075 with flag 289703834/52965001
2143.93/2135.88	c cleaning 324975 clauses out of 650069 with flag 291488189/53291000
2160.63/2152.48	c cleaning 326017 clauses out of 652094 with flag 293301400/53618000
2175.09/2166.85	c cleaning 327013 clauses out of 654078 with flag 295055663/53946001
2191.21/2182.86	c cleaning 327983 clauses out of 656066 with flag 296892202/54275002
2204.97/2196.60	c cleaning 329014 clauses out of 658081 with flag 298636669/54605000
2221.89/2213.44	c cleaning 330019 clauses out of 660070 with flag 300407771/54936003
2237.23/2228.87	c cleaning 330993 clauses out of 662049 with flag 302202398/55268001
2252.16/2243.69	c cleaning 332017 clauses out of 664055 with flag 304007929/55601000
2268.60/2260.18	c cleaning 332982 clauses out of 666038 with flag 305806455/55935000
2284.73/2276.11	c cleaning 334015 clauses out of 668058 with flag 307627226/56270002
2299.34/2290.86	c cleaning 334983 clauses out of 670041 with flag 309424525/56606000
2315.07/2306.48	c cleaning 335981 clauses out of 672058 with flag 311253134/56943000
2330.00/2321.48	c cleaning 337008 clauses out of 674078 with flag 313033435/57281001
2344.00/2335.32	c cleaning 338011 clauses out of 676071 with flag 314847593/57620002
2359.53/2351.00	c cleaning 339011 clauses out of 678058 with flag 316714008/57960000
2374.56/2365.88	c cleaning 340005 clauses out of 680048 with flag 318532907/58301001
2390.90/2381.62	c cleaning 340998 clauses out of 682042 with flag 320331788/58643000
2406.04/2396.77	c cleaning 341981 clauses out of 684045 with flag 322189703/58986001
2422.23/2412.98	c cleaning 343004 clauses out of 686063 with flag 324056131/59330000
2438.16/2428.83	c cleaning 344008 clauses out of 688059 with flag 325887997/59675000
2455.25/2445.97	c cleaning 344982 clauses out of 690052 with flag 327762419/60021001
2471.10/2461.74	c cleaning 346017 clauses out of 692070 with flag 329630110/60368001
2487.42/2478.09	c cleaning 346990 clauses out of 694054 with flag 331499758/60716002
2501.27/2491.84	c cleaning 347993 clauses out of 696062 with flag 333330693/61065000
2516.76/2507.33	c cleaning 348974 clauses out of 698070 with flag 335189147/61415001
2533.19/2523.77	c cleaning 350034 clauses out of 700096 with flag 337074201/61766001
2548.40/2538.82	c cleaning 351015 clauses out of 702061 with flag 338975986/62118000
2565.90/2556.31	c cleaning 351998 clauses out of 704046 with flag 340929628/62471000
2581.96/2572.39	c cleaning 352999 clauses out of 706049 with flag 342889306/62825001
2598.40/2588.72	c cleaning 353981 clauses out of 708049 with flag 344803920/63180000
2613.67/2603.97	c cleaning 354993 clauses out of 710068 with flag 346733524/63536000
2630.04/2620.31	c cleaning 355999 clauses out of 712078 with flag 348622153/63893003
2646.66/2636.90	c cleaning 357028 clauses out of 714076 with flag 350533561/64251000
2662.71/2652.52	c cleaning 357996 clauses out of 716050 with flag 352412113/64610002
2679.52/2669.26	c cleaning 359001 clauses out of 718052 with flag 354344215/64970000
2694.56/2684.33	c cleaning 359984 clauses out of 720051 with flag 356261036/65331000
2710.96/2700.62	c cleaning 361001 clauses out of 722067 with flag 358202264/65693000
2727.48/2717.20	c cleaning 361992 clauses out of 724067 with flag 360076973/66056001
2745.56/2735.22	c cleaning 363024 clauses out of 726075 with flag 362105735/66420001
2762.00/2751.66	c cleaning 364003 clauses out of 728050 with flag 364076102/66785000
2777.86/2767.49	c cleaning 364984 clauses out of 730047 with flag 366022395/67151000
2795.07/2784.66	c cleaning 366016 clauses out of 732063 with flag 367990052/67518000
2811.91/2801.54	c cleaning 366971 clauses out of 734047 with flag 369962506/67886000
2828.52/2818.09	c cleaning 368015 clauses out of 736078 with flag 371884925/68255002
2845.23/2834.77	c cleaning 368972 clauses out of 738062 with flag 373855988/68625001
2862.98/2852.49	c cleaning 370037 clauses out of 740090 with flag 375878643/68996001
2878.85/2868.38	c cleaning 370972 clauses out of 742052 with flag 377829001/69368000
2895.80/2885.18	c cleaning 372024 clauses out of 744082 with flag 379845524/69741002
2911.83/2901.24	c cleaning 373000 clauses out of 746056 with flag 381796360/70115000
2929.43/2918.75	c cleaning 374014 clauses out of 748058 with flag 383782754/70490002
2946.27/2934.95	c cleaning 375007 clauses out of 750042 with flag 385748175/70866000
2963.18/2951.86	c cleaning 375999 clauses out of 752035 with flag 387789376/71243000
2980.51/2969.26	c cleaning 376967 clauses out of 754036 with flag 389791933/71621000
2998.31/2987.05	c cleaning 378010 clauses out of 756069 with flag 391790016/72000000
3016.35/3005.07	c cleaning 378989 clauses out of 758060 with flag 393803333/72380001
3034.10/3022.82	c cleaning 379969 clauses out of 760070 with flag 395840846/72761000
3052.72/3041.32	c cleaning 381023 clauses out of 762101 with flag 397855185/73143000
3071.53/3060.18	c cleaning 382002 clauses out of 764078 with flag 399858771/73526000
3091.64/3080.32	c cleaning 383030 clauses out of 766076 with flag 401870654/73910000
3110.46/3099.02	c cleaning 383999 clauses out of 768046 with flag 403926798/74295000
3127.68/3116.27	c cleaning 385010 clauses out of 770047 with flag 405967914/74681000
3146.42/3134.92	c cleaning 385987 clauses out of 772039 with flag 408101496/75068002
3163.71/3152.26	c cleaning 386996 clauses out of 774053 with flag 410165683/75456003
3182.08/3170.60	c cleaning 388001 clauses out of 776054 with flag 412210415/75845000
3198.72/3187.14	c cleaning 389008 clauses out of 778053 with flag 414270759/76235000
3217.09/3205.60	c cleaning 389980 clauses out of 780045 with flag 416405642/76626000
3235.12/3223.07	c cleaning 391010 clauses out of 782067 with flag 418476569/77018002
3253.64/3241.60	c cleaning 392011 clauses out of 784056 with flag 420578646/77411001
3272.47/3260.31	c cleaning 393007 clauses out of 786044 with flag 422751668/77805000
3291.36/3279.30	c cleaning 393969 clauses out of 788039 with flag 424879912/78200002
3309.38/3297.34	c cleaning 394973 clauses out of 790068 with flag 426977854/78596000
3327.67/3315.50	c cleaning 396031 clauses out of 792096 with flag 429039217/78993001
3344.73/3332.63	c cleaning 396993 clauses out of 794066 with flag 431103199/79391002
3362.27/3350.12	c cleaning 397993 clauses out of 796073 with flag 433170687/79790002
3379.33/3367.37	c cleaning 399016 clauses out of 798078 with flag 435290141/80190000
3399.56/3387.64	c cleaning 399998 clauses out of 800062 with flag 437446856/80591000
3421.40/3409.37	c cleaning 401009 clauses out of 802065 with flag 439554988/80993001
3440.37/3428.46	c cleaning 401993 clauses out of 804055 with flag 441680521/81396000
3459.83/3447.42	c cleaning 403012 clauses out of 806062 with flag 443798660/81800000
3479.22/3466.77	c cleaning 404007 clauses out of 808050 with flag 445973733/82205000
3498.47/3486.03	c cleaning 405004 clauses out of 810045 with flag 448177753/82611002
3521.15/3510.33	c cleaning 405952 clauses out of 812040 with flag 450407594/83018001
3538.90/3528.08	c cleaning 406985 clauses out of 814087 with flag 452563776/83426000
3556.17/3545.36	c cleaning 408032 clauses out of 816102 with flag 454649766/83835000
3576.64/3565.75	c cleaning 409002 clauses out of 818070 with flag 456832898/84245000
3596.97/3586.03	c cleaning 410018 clauses out of 820068 with flag 459015558/84656000
3600.06/3589.12	c starts		: 38622
3600.06/3589.12	c timeout
3600.06/3589.13	c conflicts		: 84732083
3600.06/3589.13	c decisions		: 172534662
3600.06/3589.13	c propagations		: 1832817667
3600.06/3589.13	c inspects		: 47237791811
3600.06/3589.13	c shortcuts		: 0
3600.06/3589.13	c learnt literals	: 0
3600.06/3589.13	c learnt binary clauses	: 0
3600.06/3589.13	c learnt ternary clauses	: 0
3600.06/3589.13	c learnt constraints	: 84732083
3600.06/3589.13	c ignored constraints	: 0
3600.06/3589.13	c root simplifications	: 0
3600.06/3589.13	c removed literals (reason simplification)	: 125869253
3600.06/3589.13	c reason swapping (by a shorter reason)	: 0
3600.06/3589.13	c Calls to reduceDB	: 407
3600.06/3589.13	c Number of update (reduction) of LBD	: 31926071
3600.06/3589.13	c Imported unit clauses	: 0
3600.06/3589.13	c No decision after first conflict	: false
3600.06/3589.13	c number of reductions to clauses (during analyze)	: 0
3600.06/3589.13	c number of learned constraints concerned by reduction	: 0
3600.06/3589.13	c number of learning phase by resolution	: 0
3600.06/3589.13	c number of learning phase by cutting planes	: 0
3600.06/3589.13	c number of rounding to 1 operations	: 0
3600.06/3589.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3589.13	c number of reductions of the coefficients by power 2 	: 0
3600.06/3589.13	c number of right shift for reduction by power 2 	: 0
3600.06/3589.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3589.13	c number of ending skipping 	: 0
3600.06/3589.13	c number of internal skipping 	: 0
3600.06/3589.13	c number of derivation steps 	: 0
3600.06/3589.13	c number of skipped derivation steps 	: 0
3600.06/3589.13	c number of remaining unassigned 	: 0
3600.06/3589.13	c number of remaining assigned 	: 0
3600.06/3589.13	c number of falsified literals weakened from reason	: 0
3600.06/3589.13	c number of falsified literals weakened from conflict	: 0
3600.06/3589.13	c time for arithmetic operations	: 0
3600.06/3589.13	c minimum degree of deleted constraints	: null
3600.06/3589.13	c maximum degree of deleted constraints	: null
3600.06/3589.13	c number of deleted constraints	: 0
3600.06/3589.14	c speed (assignments/second)	: 510726.08258646494
3600.06/3589.14	c non guided choices	: 61419728
3600.06/3589.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 486133
3600.20/3589.20	s UNKNOWN
3600.20/3589.20	c Total wall clock time (in seconds): 3589.068

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.26 4.27 4.23 6/346 32672
/proc/meminfo: memFree=124204972/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=18930384 memory=55728 CPUtime=0.12 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 6549 0 0 0 10 2 0 0 20 0 18 0 39785677 19384713216 13932 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4732596 13932 5361 1 0 547604 0
[pid=32654/tid=32656] ppid=32651 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 39785678 19384713216 13932 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39785680 19384713216 13932 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=18930384 memory=56286469452864 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39785680 19384713216 13932 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55728 KiB

[startup+0.205929 s]*
/proc/loadavg: 4.26 4.27 4.23 7/347 32673
/proc/meminfo: memFree=124103772/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=18996948 memory=150552 CPUtime=0.31 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 7148 0 0 0 27 4 0 0 20 0 19 0 39785677 19452874752 37638 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4749237 37638 5489 1 0 548186 0
[pid=32654/tid=32656] ppid=32651 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5316 0 0 0 14 2 0 0 20 0 19 0 39785678 19452874752 37638 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=18996948 memory=2621 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39785680 19452874752 37638 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=18996948 memory=55186957796323 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39785680 19452874752 37638 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150552 KiB

[startup+0.305886 s]*
/proc/loadavg: 4.26 4.27 4.23 6/347 32673
/proc/meminfo: memFree=123976356/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=18996948 memory=279932 CPUtime=0.5 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 8765 0 0 0 43 7 0 0 20 0 19 0 39785677 19452874752 69983 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4749237 69983 5489 1 0 549280 0
[pid=32654/tid=32656] ppid=32651 vsize=18996948 memory=-6000919502771219052 CPUtime=0.25 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5375 0 0 0 20 5 0 0 20 0 19 0 39785678 19452874752 69983 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39785680 19452874752 69983 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39785680 19452874752 69983 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 279932 KiB

[startup+0.700222 s]
/proc/loadavg: 4.26 4.27 4.23 8/348 32674
/proc/meminfo: memFree=123594672/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=660268 CPUtime=1.26 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 15751 0 0 0 110 16 0 0 20 0 20 0 39785677 19521036288 165067 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 165067 5489 1 0 554007 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=17408 CPUtime=0.61 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5631 0 0 0 49 12 0 0 20 0 20 0 39785678 19521036288 165067 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 165067 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 165067 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 165067 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 660268 KiB

[startup+1.50023 s]
/proc/loadavg: 4.26 4.27 4.23 6/348 32674
/proc/meminfo: memFree=123557376/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=668844 CPUtime=2.85 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 17896 0 0 0 268 17 0 0 20 0 20 0 39785677 19521036288 167211 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 167211 5489 1 0 555774 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=0 CPUtime=1.38 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5682 0 0 0 126 12 0 0 20 0 20 0 39785678 19521036288 167211 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 167211 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 167211 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 167211 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 668844 KiB

[startup+3.10612 s]
/proc/loadavg: 4.24 4.27 4.23 5/348 32674
/proc/meminfo: memFree=123411204/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=792688 CPUtime=5.38 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 18307 0 0 0 517 21 0 0 20 0 20 0 39785677 19521036288 198172 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 198172 5521 1 0 555778 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=10752 CPUtime=2.97 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 5924 0 0 0 281 16 0 0 20 0 20 0 39785678 19521036288 198172 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=-6000919502771219052 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 198172 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 198172 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 198172 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 792688 KiB

[startup+6.30022 s]
/proc/loadavg: 4.24 4.27 4.23 5/349 32675
/proc/meminfo: memFree=122602920/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=1531836 CPUtime=9.12 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 24504 0 0 0 871 41 0 0 20 0 20 0 39785677 19521036288 382959 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 382959 5521 1 0 754206 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 7211 0 0 0 577 35 0 0 20 0 20 0 39785678 19521036288 382959 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 382959 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 382959 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=668972 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 382959 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1531836 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.26 4.23 5/349 32675
/proc/meminfo: memFree=121974932/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=1937420 CPUtime=16.37 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 29322 0 0 0 1583 54 0 0 20 0 20 0 39785677 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 484355 5521 1 0 754215 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=668972 CPUtime=12.47 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 7574 0 0 0 1200 47 0 0 20 0 20 0 39785678 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=1937420 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1937420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.25 4.22 5/349 32675
/proc/meminfo: memFree=121642868/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=1937420 CPUtime=29.16 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 32886 0 0 0 2853 63 0 0 20 0 20 0 39785677 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 484355 5521 1 0 754218 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=-6000919502771219052 CPUtime=25.18 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 9470 0 0 0 2463 55 0 0 20 0 20 0 39785678 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 484355 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1937420 KiB

[startup+51.1058 s]
/proc/loadavg: 4.32 4.28 4.23 5/349 32676
/proc/meminfo: memFree=120839316/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=1939476 CPUtime=54.55 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 38161 0 0 0 5372 83 0 0 20 0 20 0 39785677 19521036288 484869 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 484869 5521 1 0 754219 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=1939476 CPUtime=50.42 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 12723 0 0 0 4968 74 0 0 20 0 20 0 39785678 19521036288 484869 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=1939476 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 484869 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/346 32863
/proc/meminfo: memFree=55823244/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3294.45 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 187150 0 0 0 327692 1753 0 0 20 0 20 0 39785677 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745601 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3225.99 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 87001 0 0 0 320964 1635 0 0 20 0 20 0 39785678 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=2982404 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 1902 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3294.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/346 32865
/proc/meminfo: memFree=54745300/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3354.49 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 189900 0 0 0 333667 1782 0 0 20 0 20 0 39785677 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745601 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=14848 CPUtime=3284.98 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 88862 0 0 0 326836 1662 0 0 20 0 20 0 39785678 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=2982404 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=2982404 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 1902 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3354.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/346 32868
/proc/meminfo: memFree=53715036/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3414.31 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 192349 0 0 0 339626 1805 0 0 20 0 20 0 39785677 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745601 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3344.02 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 90506 0 0 0 332717 1685 0 0 20 0 20 0 39785678 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=2982404 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 1969 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=2982404 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745601 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3414.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/348 32872
/proc/meminfo: memFree=52627528/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982532 CPUtime=3474.83 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 194116 0 0 0 345652 1831 0 0 20 0 20 0 39785677 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745633 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=2982404 CPUtime=3403.1 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 91072 0 0 0 338601 1709 0 0 20 0 20 0 39785678 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 2022 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3474.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982532 KiB

[startup+3522.3 s]
/proc/loadavg: 3.79 4.08 4.15 4/299 32939
/proc/meminfo: memFree=74935356/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982532 CPUtime=3533.21 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 196792 0 0 0 351466 1855 0 0 20 0 20 0 39785677 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745633 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=2982532 CPUtime=3460.5 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 92961 0 0 0 344318 1732 0 0 20 0 20 0 39785678 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 2022 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3533.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982532 KiB

[startup+3582.3 s]
/proc/loadavg: 2.56 3.68 4.00 2/273 32982
/proc/meminfo: memFree=109681976/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982532 CPUtime=3593.18 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 198031 0 0 0 357433 1885 0 0 20 0 20 0 39785677 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745633 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=-6000919502771219052 CPUtime=3519.66 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 94018 0 0 0 350206 1760 0 0 20 0 20 0 39785678 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 2089 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3593.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.11 s]
/proc/loadavg: 2.32 3.60 3.97 2/273 32982
/proc/meminfo: memFree=109657508/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19063512 memory=2982532 CPUtime=3600.06 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 199556 0 0 0 358118 1888 0 0 20 0 20 0 39785677 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4765878 745633 5521 1 0 757435 0
[pid=32654/tid=32656] ppid=32651 vsize=19063512 memory=14848 CPUtime=3526.31 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) R 32651 32654 31982 0 -1 4194368 94424 0 0 0 350868 1763 0 0 20 0 20 0 39785678 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 2089 0 0 0 0 0 0 0 20 0 20 0 39785680 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32674] ppid=32651 vsize=19063512 memory=2982532 CPUtime=0 cores=0,2
/proc/32654/task/32674/stat : 32674 (Timer-0) S 32651 32654 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39785725 19521036288 745633 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.32 s, system=18.9068 s

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

[startup+3589.2 s]
/proc/loadavg: 2.32 3.60 3.97 2/273 32982
/proc/meminfo: memFree=109657508/131249996 swapFree=33010684/33010684
[pid=32654] ppid=32651 vsize=19263204 memory=2983300 CPUtime=3600.2 cores=0,2
/proc/32654/stat : 32654 (java) S 32651 32654 31982 0 -1 4194304 201865 0 0 0 358131 1889 0 0 20 0 21 0 39785677 19725520896 745825 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
/proc/32654/statm: 4815801 745825 5553 1 0 758354 0
[pid=32654/tid=32656] ppid=32651 vsize=19263204 memory=2760 CPUtime=3526.34 cores=0,2
/proc/32654/task/32656/stat : 32656 (java) S 32651 32654 31982 0 -1 4194368 94689 0 0 0 350870 1764 0 0 20 0 21 0 39785678 19725520896 745825 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32665] ppid=32651 vsize=19263204 memory=-6000919502771219052 CPUtime=0 cores=0,2
/proc/32654/task/32665/stat : 32665 (Finalizer) S 32651 32654 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39785680 19725520896 745825 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
[pid=32654/tid=32672] ppid=32651 vsize=19263204 memory=245635481903 CPUtime=0 cores=0,2
/proc/32654/task/32672/stat : 32672 (Common-Cleaner) S 32651 32654 31982 0 -1 4194368 2089 0 0 0 0 0 0 0 20 0 21 0 39785680 19725520896 745825 18446744073709551615 94193305468928 94193305472624 140730582159360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94193305480440 94193305481232 94193306648576 140730582165808 140730582165990 140730582165990 140730582171592 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2983300 KiB

Child status: 143

Real time (s): 3589.22
CPU time (s): 3600.22
CPU user time (s): 3581.32
CPU system time (s): 18.9068
CPU usage (%): 100.307
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2983300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.32
system time used= 18.9068
maximum resident set size= 2983428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34393216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125820
involuntary context switches= 10816


# summary of solver processes directly reported to runsolver:
#   pid: 32654
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3581.32
#   total CPU system time (s): 18.9068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77929 second user time and 17.2816 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 01:51:22
IDJOB=4516723
IDBENCH=175738
IDSOLVER=3364
FILE ID=nodeC015/4516723-1751241082
RUNJOBID= nodeC015-1751237512-31992
SLURM_JOB_ID= 9587718
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516723-1751241082/watcher-4516723-1751241082 -o /tmp/evaluation-result-4516723-1751241082/solver-4516723-1751241082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31992 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516723-1751241082 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516723-1751241082.opb

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

MD5SUM BENCH= 4265bbe025469237f5d61ba95458ed2b
RANDOM SEED=149524638

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.023
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	: 7000.14
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		: 3600.075
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	: 7000.14
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		: 3598.942
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	: 7000.14
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		: 3600.089
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	: 7000.14
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		: 3600.085
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	: 7000.14
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		: 3600.076
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	: 7000.14
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		: 3600.190
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	: 7000.14
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		: 3514.511
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124249976 kB
MemAvailable:   125155980 kB
Buffers:            3280 kB
Cached:          1714044 kB
SwapCached:            0 kB
Active:          4980580 kB
Inactive:        1457564 kB
Active(anon):    4738964 kB
Inactive(anon):        0 kB
Active(file):     241616 kB
Inactive(file):  1457564 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            299732 kB
Writeback:             0 kB
AnonPages:       4723976 kB
Mapped:           122740 kB
Shmem:             18076 kB
KReclaimable:      92128 kB
Slab:             188564 kB
SReclaimable:      92128 kB
SUnreclaim:        96436 kB
KernelStack:        5296 kB
PageTables:        12852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8060676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4519936 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:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC015 at 2025-06-30 02:51:11