Trace number 4516794

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.16 3594

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
MD5SUM0934d7cef3e2008f3f8157a455916830
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.253014
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7001
Total number of constraints7000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)846
Number of constraints which are nor clauses,nor cardinality constraints6154
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4516794-1751241712.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.47/0.34	c ... done. Wall clock time 0.186s.
0.47/0.34	c declared #vars     7001
0.47/0.34	c #constraints  7000
0.47/0.34	c constraints type 
0.47/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7000
0.47/0.34	c 7000 constraints processed.
1.43/0.80	c cleaning 2484 clauses out of 5001 with flag 20995/5001
1.84/1.07	c cleaning 4223 clauses out of 8516 with flag 47451/11000
2.43/1.35	c cleaning 5600 clauses out of 11294 with flag 81436/18001
2.77/1.58	c cleaning 6806 clauses out of 13693 with flag 125181/26000
3.09/1.73	c cleaning 7923 clauses out of 15890 with flag 166417/35003
3.49/1.90	c cleaning 8954 clauses out of 17965 with flag 217254/45001
3.62/2.09	c cleaning 9981 clauses out of 20011 with flag 268975/56001
4.02/2.42	c cleaning 10989 clauses out of 22029 with flag 331801/68000
4.32/2.73	c cleaning 12012 clauses out of 24043 with flag 402780/81003
4.52/2.99	c cleaning 13003 clauses out of 26028 with flag 471976/95000
4.92/3.32	c cleaning 13996 clauses out of 28025 with flag 554649/110000
5.22/3.63	c cleaning 15003 clauses out of 30031 with flag 640054/126002
5.65/4.01	c cleaning 15992 clauses out of 32028 with flag 730427/143002
5.97/4.33	c cleaning 17006 clauses out of 34034 with flag 823123/161000
6.27/4.66	c cleaning 17963 clauses out of 36028 with flag 922952/180000
6.77/5.11	c cleaning 19000 clauses out of 38067 with flag 1032028/200002
7.17/5.51	c cleaning 19980 clauses out of 40065 with flag 1149003/221000
7.56/5.99	c cleaning 21003 clauses out of 42086 with flag 1268215/243001
8.16/6.53	c cleaning 22021 clauses out of 44083 with flag 1401643/266001
8.87/7.20	c cleaning 23016 clauses out of 46062 with flag 1533780/290001
9.46/7.81	c cleaning 24008 clauses out of 48045 with flag 1671714/315000
10.16/8.55	c cleaning 24995 clauses out of 50039 with flag 1821038/341002
10.76/9.19	c cleaning 25990 clauses out of 52043 with flag 1968788/368001
11.36/9.76	c cleaning 27007 clauses out of 54053 with flag 2115842/396001
11.96/10.38	c cleaning 27987 clauses out of 56047 with flag 2273995/425002
12.76/11.14	c cleaning 29013 clauses out of 58059 with flag 2437068/455001
13.66/12.04	c cleaning 30011 clauses out of 60046 with flag 2615440/486001
14.25/12.62	c cleaning 30992 clauses out of 62035 with flag 2775961/518001
14.95/13.38	c cleaning 31983 clauses out of 64044 with flag 2952660/551002
15.65/14.06	c cleaning 33001 clauses out of 66059 with flag 3126466/585000
16.44/14.86	c cleaning 33992 clauses out of 68058 with flag 3311816/620000
17.35/15.75	c cleaning 35010 clauses out of 70067 with flag 3508083/656001
18.24/16.61	c cleaning 36013 clauses out of 72057 with flag 3722463/693001
19.14/17.58	c cleaning 36981 clauses out of 74043 with flag 3933611/731000
20.43/18.84	c cleaning 37993 clauses out of 76062 with flag 4160297/770000
21.64/20.08	c cleaning 39023 clauses out of 78069 with flag 4383905/810000
22.64/21.02	c cleaning 39973 clauses out of 80046 with flag 4601725/851000
23.73/22.12	c cleaning 40978 clauses out of 82073 with flag 4831883/893000
24.82/23.24	c cleaning 42025 clauses out of 84095 with flag 5064385/936000
25.92/24.30	c cleaning 43002 clauses out of 86070 with flag 5298105/980000
26.82/25.28	c cleaning 44013 clauses out of 88069 with flag 5536121/1025001
27.92/26.31	c cleaning 44998 clauses out of 90056 with flag 5782138/1071001
28.82/27.27	c cleaning 45961 clauses out of 92058 with flag 6027266/1118001
30.02/28.42	c cleaning 46974 clauses out of 94096 with flag 6285458/1166000
31.91/30.37	c cleaning 48033 clauses out of 96123 with flag 6574446/1215001
33.31/31.71	c cleaning 48990 clauses out of 98090 with flag 6863169/1265001
34.50/32.98	c cleaning 49981 clauses out of 100100 with flag 7135151/1316001
36.00/34.45	c cleaning 51025 clauses out of 102121 with flag 7432479/1368003
37.10/35.59	c cleaning 52012 clauses out of 104093 with flag 7713203/1421000
38.49/36.94	c cleaning 53020 clauses out of 106083 with flag 8005091/1475002
39.70/38.16	c cleaning 54001 clauses out of 108061 with flag 8303386/1530000
41.19/39.68	c cleaning 54973 clauses out of 110062 with flag 8612392/1586002
42.59/41.00	c cleaning 56028 clauses out of 112088 with flag 8923487/1643001
44.18/42.67	c cleaning 56993 clauses out of 114059 with flag 9248274/1701000
45.48/43.94	c cleaning 58006 clauses out of 116066 with flag 9557299/1760000
46.77/45.27	c cleaning 58987 clauses out of 118060 with flag 9873604/1820000
48.07/46.59	c cleaning 60024 clauses out of 120075 with flag 10198960/1881002
49.67/48.13	c cleaning 60994 clauses out of 122049 with flag 10526333/1943000
51.26/49.70	c cleaning 62010 clauses out of 124055 with flag 10865940/2006000
53.06/51.54	c cleaning 62992 clauses out of 126045 with flag 11222416/2070000
54.86/53.38	c cleaning 64011 clauses out of 128053 with flag 11582699/2135000
56.75/55.23	c cleaning 65009 clauses out of 130045 with flag 11953043/2201003
59.15/57.68	c cleaning 65993 clauses out of 132035 with flag 12327802/2268002
61.55/60.06	c cleaning 66951 clauses out of 134040 with flag 12727545/2336000
63.54/62.01	c cleaning 68025 clauses out of 136090 with flag 13111512/2405001
65.27/63.76	c cleaning 69010 clauses out of 138064 with flag 13496791/2475000
67.27/65.75	c cleaning 69988 clauses out of 140054 with flag 13891055/2546000
69.46/67.97	c cleaning 71010 clauses out of 142067 with flag 14294871/2618001
71.30/69.78	c cleaning 71985 clauses out of 144057 with flag 14683963/2691001
73.70/72.18	c cleaning 73025 clauses out of 146071 with flag 15112291/2765000
75.89/74.37	c cleaning 73967 clauses out of 148047 with flag 15523213/2840001
77.78/76.24	c cleaning 75025 clauses out of 150079 with flag 15920407/2916000
80.01/78.47	c cleaning 76011 clauses out of 152056 with flag 16330645/2993002
82.50/80.90	c cleaning 77001 clauses out of 154043 with flag 16747315/3071000
84.30/82.76	c cleaning 78014 clauses out of 156042 with flag 17147313/3150000
86.60/85.08	c cleaning 78980 clauses out of 158028 with flag 17585835/3230000
89.34/87.76	c cleaning 79974 clauses out of 160048 with flag 18041195/3311000
91.83/90.21	c cleaning 81012 clauses out of 162074 with flag 18479237/3393000
95.02/93.48	c cleaning 81959 clauses out of 164062 with flag 18992188/3476000
97.31/95.73	c cleaning 82975 clauses out of 166104 with flag 19436772/3560001
100.66/99.04	c cleaning 84028 clauses out of 168128 with flag 19943730/3645000
103.05/101.43	c cleaning 85016 clauses out of 170101 with flag 20422180/3731001
106.14/104.57	c cleaning 85991 clauses out of 172087 with flag 20908803/3818003
109.38/107.72	c cleaning 87026 clauses out of 174093 with flag 21423285/3906000
111.88/110.23	c cleaning 88022 clauses out of 176069 with flag 21914516/3995002
114.27/112.67	c cleaning 88992 clauses out of 178046 with flag 22400141/4085001
116.77/115.15	c cleaning 90011 clauses out of 180055 with flag 22890902/4176002
119.51/117.81	c cleaning 90995 clauses out of 182042 with flag 23392818/4268000
122.41/120.74	c cleaning 92010 clauses out of 184047 with flag 23895107/4361000
124.90/123.27	c cleaning 92985 clauses out of 186038 with flag 24404714/4455001
127.64/126.00	c cleaning 94003 clauses out of 188052 with flag 24913375/4550000
130.84/129.15	c cleaning 95001 clauses out of 190049 with flag 25450542/4646000
133.52/131.80	c cleaning 95975 clauses out of 192048 with flag 25967987/4743000
136.17/134.40	c cleaning 97022 clauses out of 194076 with flag 26480482/4841003
138.87/137.19	c cleaning 97995 clauses out of 196054 with flag 27027663/4940003
142.55/140.88	c cleaning 98992 clauses out of 198056 with flag 27583147/5040000
145.60/143.89	c cleaning 100020 clauses out of 200066 with flag 28125808/5141002
149.00/147.23	c cleaning 101004 clauses out of 202044 with flag 28679931/5243000
151.80/150.07	c cleaning 101972 clauses out of 204040 with flag 29238880/5346000
155.54/153.77	c cleaning 103012 clauses out of 206068 with flag 29806232/5450000
159.23/157.45	c cleaning 104000 clauses out of 208057 with flag 30399861/5555001
162.12/160.30	c cleaning 105004 clauses out of 210057 with flag 30980584/5661001
165.07/163.22	c cleaning 105975 clauses out of 212054 with flag 31542963/5768002
168.36/166.59	c cleaning 107019 clauses out of 214077 with flag 32155858/5876000
172.55/170.73	c cleaning 108021 clauses out of 216058 with flag 32782093/5985000
175.64/173.84	c cleaning 108991 clauses out of 218037 with flag 33368599/6095000
179.20/177.32	c cleaning 109957 clauses out of 220047 with flag 33985513/6206001
182.39/180.59	c cleaning 111020 clauses out of 222089 with flag 34602046/6318000
186.18/184.31	c cleaning 112029 clauses out of 224069 with flag 35225592/6431000
190.27/188.46	c cleaning 113003 clauses out of 226041 with flag 35870574/6545001
193.72/191.85	c cleaning 114000 clauses out of 228037 with flag 36487642/6660000
197.02/195.18	c cleaning 114982 clauses out of 230037 with flag 37116623/6776000
200.71/198.82	c cleaning 116011 clauses out of 232055 with flag 37752430/6893000
204.00/202.16	c cleaning 117003 clauses out of 234044 with flag 38398893/7011000
207.57/205.60	c cleaning 117993 clauses out of 236041 with flag 39041601/7130000
211.16/209.27	c cleaning 119015 clauses out of 238049 with flag 39705458/7250001
214.95/213.01	c cleaning 119940 clauses out of 240034 with flag 40375062/7371001
219.44/217.58	c cleaning 121027 clauses out of 242093 with flag 41073255/7493000
223.94/222.09	c cleaning 122029 clauses out of 244066 with flag 41773630/7616000
227.81/225.83	c cleaning 122971 clauses out of 246038 with flag 42458022/7740001
231.80/229.86	c cleaning 123948 clauses out of 248067 with flag 43164561/7865001
235.89/233.93	c cleaning 125000 clauses out of 250119 with flag 43853166/7991001
239.98/238.05	c cleaning 126021 clauses out of 252118 with flag 44548536/8118000
244.77/242.87	c cleaning 127004 clauses out of 254099 with flag 45277401/8246002
249.55/247.67	c cleaning 127996 clauses out of 256094 with flag 45995881/8375001
253.64/251.75	c cleaning 129006 clauses out of 258097 with flag 46702524/8505000
257.82/255.85	c cleaning 130028 clauses out of 260091 with flag 47412366/8636000
261.91/259.97	c cleaning 130981 clauses out of 262063 with flag 48131095/8768000
267.30/265.38	c cleaning 132032 clauses out of 264083 with flag 48895643/8901001
272.29/270.35	c cleaning 133010 clauses out of 266050 with flag 49630779/9035000
276.09/274.14	c cleaning 134003 clauses out of 268040 with flag 50360773/9170000
281.35/278.96	c cleaning 135008 clauses out of 270037 with flag 51115111/9306000
285.84/283.45	c cleaning 136007 clauses out of 272030 with flag 51905041/9443001
290.73/288.30	c cleaning 136960 clauses out of 274022 with flag 52707211/9581000
294.92/292.51	c cleaning 137999 clauses out of 276065 with flag 53485009/9720003
299.11/296.72	c cleaning 139015 clauses out of 278063 with flag 54263947/9860000
303.47/301.02	c cleaning 139985 clauses out of 280048 with flag 55037999/10001000
309.34/307.00	c cleaning 141001 clauses out of 282063 with flag 55846973/10143000
315.13/312.72	c cleaning 142000 clauses out of 284063 with flag 56665668/10286001
320.12/317.70	c cleaning 142997 clauses out of 286062 with flag 57478734/10430000
324.91/322.53	c cleaning 143991 clauses out of 288065 with flag 58314739/10575000
330.50/328.03	c cleaning 144982 clauses out of 290076 with flag 59136304/10721002
335.99/333.50	c cleaning 145999 clauses out of 292092 with flag 59968107/10868000
341.37/338.92	c cleaning 147020 clauses out of 294093 with flag 60815745/11016000
346.26/343.80	c cleaning 148007 clauses out of 296073 with flag 61687479/11165000
351.55/349.12	c cleaning 148983 clauses out of 298067 with flag 62541697/11315001
357.44/354.96	c cleaning 150023 clauses out of 300083 with flag 63428389/11466000
363.32/360.83	c cleaning 151006 clauses out of 302061 with flag 64290396/11618001
368.41/365.95	c cleaning 151998 clauses out of 304054 with flag 65159324/11771000
373.60/371.15	c cleaning 153001 clauses out of 306056 with flag 66016245/11925000
380.28/377.88	c cleaning 154016 clauses out of 308055 with flag 66956992/12080000
386.07/383.52	c cleaning 154999 clauses out of 310042 with flag 67838424/12236003
391.96/389.48	c cleaning 155996 clauses out of 312040 with flag 68733702/12393000
397.05/394.58	c cleaning 156967 clauses out of 314044 with flag 69617031/12551000
402.24/399.79	c cleaning 158011 clauses out of 316077 with flag 70530068/12710000
407.53/405.09	c cleaning 159016 clauses out of 318067 with flag 71432997/12870001
412.92/410.42	c cleaning 160001 clauses out of 320054 with flag 72331462/13031004
418.42/415.81	c cleaning 161015 clauses out of 322053 with flag 73225375/13193004
423.61/421.08	c cleaning 161960 clauses out of 324034 with flag 74153909/13356000
430.39/427.87	c cleaning 162987 clauses out of 326075 with flag 75132472/13520001
436.17/433.62	c cleaning 164026 clauses out of 328089 with flag 76077292/13685002
441.96/439.43	c cleaning 164988 clauses out of 330062 with flag 77031542/13851001
447.45/444.95	c cleaning 166035 clauses out of 332074 with flag 77959392/14018001
453.04/450.58	c cleaning 167001 clauses out of 334038 with flag 78900603/14186000
459.78/457.11	c cleaning 167974 clauses out of 336037 with flag 79860323/14355000
465.56/462.96	c cleaning 168985 clauses out of 338063 with flag 80842459/14525000
471.15/468.59	c cleaning 170011 clauses out of 340081 with flag 81781019/14696003
476.34/473.74	c cleaning 170995 clauses out of 342067 with flag 82719220/14868000
482.52/479.91	c cleaning 171989 clauses out of 344075 with flag 83708165/15041003
489.01/486.44	c cleaning 173024 clauses out of 346085 with flag 84676603/15215002
495.49/492.92	c cleaning 173989 clauses out of 348059 with flag 85694821/15390000
501.28/498.73	c cleaning 175009 clauses out of 350072 with flag 86678320/15566002
507.99/505.49	c cleaning 175974 clauses out of 352061 with flag 87706364/15743000
514.41/511.76	c cleaning 177029 clauses out of 354087 with flag 88725368/15921000
521.19/518.54	c cleaning 178000 clauses out of 356059 with flag 89756177/16100001
527.97/525.31	c cleaning 179008 clauses out of 358059 with flag 90802146/16280001
534.16/531.54	c cleaning 179981 clauses out of 360050 with flag 91828091/16461000
540.54/537.97	c cleaning 181019 clauses out of 362070 with flag 92853257/16643001
546.83/544.21	c cleaning 182001 clauses out of 364050 with flag 93848035/16826000
553.11/550.56	c cleaning 182988 clauses out of 366049 with flag 94894838/17010000
559.90/557.35	c cleaning 184008 clauses out of 368064 with flag 95965150/17195003
567.55/564.85	c cleaning 184968 clauses out of 370054 with flag 97019668/17381001
574.13/571.47	c cleaning 185999 clauses out of 372087 with flag 98075921/17568002
581.82/579.13	c cleaning 187012 clauses out of 374088 with flag 99160326/17756002
588.80/586.16	c cleaning 188017 clauses out of 376074 with flag 100236782/17945000
596.67/593.49	c cleaning 189010 clauses out of 378057 with flag 101324230/18135000
603.45/600.23	c cleaning 189986 clauses out of 380047 with flag 102407771/18326000
609.63/606.45	c cleaning 191021 clauses out of 382062 with flag 103472433/18518001
616.82/613.65	c cleaning 191997 clauses out of 384041 with flag 104591476/18711001
624.40/621.26	c cleaning 193007 clauses out of 386045 with flag 105698505/18905002
632.30/629.15	c cleaning 193986 clauses out of 388036 with flag 106843885/19100000
639.95/636.71	c cleaning 194994 clauses out of 390050 with flag 107951350/19296000
646.73/643.59	c cleaning 196021 clauses out of 392056 with flag 109086088/19493000
654.60/651.48	c cleaning 196981 clauses out of 394036 with flag 110216559/19691001
662.49/659.36	c cleaning 198025 clauses out of 396058 with flag 111356014/19890004
670.18/667.10	c cleaning 199002 clauses out of 398029 with flag 112473489/20090000
677.16/674.08	c cleaning 199972 clauses out of 400028 with flag 113602393/20291001
684.93/681.83	c cleaning 201000 clauses out of 402057 with flag 114759459/20493002
692.46/689.28	c cleaning 202021 clauses out of 404055 with flag 115906118/20696000
699.54/696.30	c cleaning 203005 clauses out of 406034 with flag 117066816/20900000
706.52/703.38	c cleaning 203981 clauses out of 408029 with flag 118214957/21105000
714.40/711.28	c cleaning 204999 clauses out of 410048 with flag 119371022/21311000
721.89/718.78	c cleaning 205999 clauses out of 412049 with flag 120535909/21518000
729.37/726.24	c cleaning 207015 clauses out of 414051 with flag 121721986/21726001
736.85/733.78	c cleaning 207997 clauses out of 416036 with flag 122871271/21935001
745.73/742.64	c cleaning 209007 clauses out of 418039 with flag 124082704/22145001
752.96/749.76	c cleaning 209995 clauses out of 420032 with flag 125264030/22356001
760.05/756.81	c cleaning 210985 clauses out of 422037 with flag 126470977/22568001
768.52/765.35	c cleaning 212007 clauses out of 424052 with flag 127714362/22781001
775.91/772.76	c cleaning 213012 clauses out of 426046 with flag 128901096/22995002
783.89/780.75	c cleaning 213993 clauses out of 428032 with flag 130140629/23210000
791.98/788.85	c cleaning 214985 clauses out of 430041 with flag 131381866/23426002
800.56/797.46	c cleaning 215968 clauses out of 432055 with flag 132605307/23643001
809.27/806.19	c cleaning 217027 clauses out of 434087 with flag 133860476/23861001
816.90/813.67	c cleaning 218011 clauses out of 436059 with flag 135096009/24080000
825.18/821.98	c cleaning 219011 clauses out of 438050 with flag 136336817/24300002
833.96/830.77	c cleaning 219986 clauses out of 440037 with flag 137586605/24521000
841.93/838.77	c cleaning 221015 clauses out of 442052 with flag 138830097/24743001
850.42/847.28	c cleaning 221966 clauses out of 444036 with flag 140106523/24966000
858.31/855.12	c cleaning 223014 clauses out of 446070 with flag 141343984/25190000
867.18/864.01	c cleaning 224007 clauses out of 448057 with flag 142624431/25415001
876.20/873.02	c cleaning 224997 clauses out of 450050 with flag 143939359/25641001
885.32/882.08	c cleaning 225970 clauses out of 452052 with flag 145230617/25868000
894.79/891.58	c cleaning 227005 clauses out of 454082 with flag 146516353/26096000
903.97/900.76	c cleaning 228024 clauses out of 456077 with flag 147823973/26325000
912.85/909.62	c cleaning 228986 clauses out of 458053 with flag 149144015/26555000
921.83/918.60	c cleaning 230014 clauses out of 460068 with flag 150447156/26786001
930.80/927.67	c cleaning 231016 clauses out of 462054 with flag 151768008/27018001
939.69/936.56	c cleaning 231982 clauses out of 464037 with flag 153106568/27251000
948.33/945.15	c cleaning 232975 clauses out of 466055 with flag 154433551/27485000
958.04/954.77	c cleaning 234013 clauses out of 468080 with flag 155746680/27720000
966.92/963.69	c cleaning 235007 clauses out of 470069 with flag 157072444/27956002
975.60/972.31	c cleaning 236002 clauses out of 472060 with flag 158406125/28193000
985.28/982.04	c cleaning 237004 clauses out of 474059 with flag 159772836/28431001
995.26/992.10	c cleaning 238010 clauses out of 476054 with flag 161146213/28670000
1005.13/1001.97	c cleaning 238962 clauses out of 478045 with flag 162540793/28910001
1014.61/1011.47	c cleaning 240027 clauses out of 480082 with flag 163923220/29151000
1024.52/1021.19	c cleaning 241004 clauses out of 482055 with flag 165315840/29393000
1033.19/1029.82	c cleaning 242003 clauses out of 484051 with flag 166675376/29636000
1041.67/1038.38	c cleaning 242970 clauses out of 486049 with flag 168039084/29880001
1052.55/1049.24	c cleaning 244019 clauses out of 488079 with flag 169413651/30125001
1062.82/1059.55	c cleaning 245025 clauses out of 490060 with flag 170850978/30371001
1073.70/1070.46	c cleaning 245967 clauses out of 492035 with flag 172245715/30618001
1082.97/1079.71	c cleaning 247011 clauses out of 494067 with flag 173622865/30866000
1092.42/1089.07	c cleaning 247985 clauses out of 496057 with flag 175008873/31115001
1101.41/1098.06	c cleaning 249008 clauses out of 498072 with flag 176396407/31365001
1110.88/1107.56	c cleaning 250003 clauses out of 500063 with flag 177770400/31616000
1121.46/1118.13	c cleaning 251018 clauses out of 502061 with flag 179227466/31868001
1132.34/1129.08	c cleaning 251993 clauses out of 504042 with flag 180726548/32121000
1142.40/1138.50	c cleaning 252968 clauses out of 506049 with flag 182137382/32375000
1152.37/1148.55	c cleaning 254028 clauses out of 508082 with flag 183587480/32630001
1162.85/1159.01	c cleaning 254994 clauses out of 510053 with flag 185047226/32886000
1174.22/1170.49	c cleaning 255996 clauses out of 512059 with flag 186550798/33143000
1185.39/1181.65	c cleaning 256975 clauses out of 514064 with flag 188070203/33401001
1195.28/1191.44	c cleaning 258007 clauses out of 516090 with flag 189532041/33660002
1205.07/1201.28	c cleaning 259028 clauses out of 518081 with flag 191018880/33920000
1215.34/1211.52	c cleaning 260009 clauses out of 520054 with flag 192474160/34181001
1225.02/1221.23	c cleaning 261006 clauses out of 522045 with flag 193944749/34443001
1235.80/1232.10	c cleaning 262006 clauses out of 524038 with flag 195431539/34706000
1246.37/1242.68	c cleaning 262976 clauses out of 526032 with flag 196887920/34970000
1256.98/1253.23	c cleaning 264008 clauses out of 528057 with flag 198392174/35235001
1267.46/1263.61	c cleaning 264999 clauses out of 530049 with flag 199897154/35501001
1278.53/1274.76	c cleaning 265964 clauses out of 532049 with flag 201382590/35768000
1290.20/1286.49	c cleaning 267025 clauses out of 534086 with flag 202922031/36036001
1301.78/1298.04	c cleaning 267958 clauses out of 536060 with flag 204419953/36305000
1312.05/1308.30	c cleaning 269030 clauses out of 538102 with flag 205919681/36575000
1322.73/1319.10	c cleaning 270012 clauses out of 540072 with flag 207422181/36846000
1335.29/1331.61	c cleaning 271022 clauses out of 542061 with flag 209022195/37118001
1347.21/1343.30	c cleaning 271988 clauses out of 544038 with flag 210581266/37391000
1358.08/1354.22	c cleaning 273010 clauses out of 546050 with flag 212163885/37665000
1369.45/1365.63	c cleaning 274006 clauses out of 548041 with flag 213702759/37940001
1381.22/1377.40	c cleaning 274987 clauses out of 550035 with flag 215213249/38216001
1391.29/1387.50	c cleaning 276018 clauses out of 552048 with flag 216762096/38493001
1401.37/1397.69	c cleaning 277004 clauses out of 554029 with flag 218289219/38771000
1412.34/1408.65	c cleaning 277994 clauses out of 556025 with flag 219870573/39050000
1423.80/1420.10	c cleaning 278957 clauses out of 558031 with flag 221427294/39330000
1435.90/1432.07	c cleaning 280023 clauses out of 560074 with flag 223021102/39611000
1449.37/1445.50	c cleaning 280986 clauses out of 562052 with flag 224590719/39893001
1460.04/1456.27	c cleaning 282024 clauses out of 564065 with flag 226189437/40176000
1470.71/1466.99	c cleaning 283010 clauses out of 566041 with flag 227783554/40460000
1481.89/1478.17	c cleaning 283995 clauses out of 568031 with flag 229334566/40745000
1494.35/1490.69	c cleaning 284996 clauses out of 570037 with flag 230944814/41031001
1507.50/1503.74	c cleaning 285971 clauses out of 572040 with flag 232575614/41318000
1519.33/1515.48	c cleaning 287019 clauses out of 574069 with flag 234187949/41606000
1531.40/1527.53	c cleaning 288004 clauses out of 576051 with flag 235811109/41895001
1543.07/1539.25	c cleaning 289000 clauses out of 578046 with flag 237441640/42185000
1555.04/1551.25	c cleaning 289995 clauses out of 580048 with flag 239097613/42476002
1567.81/1564.08	c cleaning 290992 clauses out of 582052 with flag 240766056/42768001
1580.78/1577.01	c cleaning 292008 clauses out of 584060 with flag 242424600/43061001
1593.50/1589.56	c cleaning 292988 clauses out of 586053 with flag 244077917/43355002
1606.27/1602.31	c cleaning 293971 clauses out of 588064 with flag 245764062/43650001
1618.44/1614.55	c cleaning 295028 clauses out of 590093 with flag 247434737/43946001
1631.31/1627.43	c cleaning 296016 clauses out of 592064 with flag 249109150/44243000
1643.78/1639.92	c cleaning 296997 clauses out of 594049 with flag 250780168/44541001
1657.09/1653.23	c cleaning 297975 clauses out of 596051 with flag 252421776/44840000
1670.62/1666.63	c cleaning 298998 clauses out of 598080 with flag 254080451/45140004
1683.20/1679.21	c cleaning 300012 clauses out of 600078 with flag 255760001/45441000
1696.97/1693.02	c cleaning 301004 clauses out of 602067 with flag 257473764/45743001
1709.23/1705.31	c cleaning 302015 clauses out of 604065 with flag 259169163/46046003
1723.30/1719.43	c cleaning 303007 clauses out of 606050 with flag 260912143/46350003
1736.36/1732.54	c cleaning 303992 clauses out of 608041 with flag 262594067/46655001
1750.24/1746.23	c cleaning 305004 clauses out of 610049 with flag 264344408/46961001
1762.91/1758.95	c cleaning 305982 clauses out of 612044 with flag 266050211/47268000
1778.57/1774.61	c cleaning 307001 clauses out of 614063 with flag 267766390/47576001
1793.84/1789.92	c cleaning 307999 clauses out of 616061 with flag 269536192/47885000
1807.71/1803.89	c cleaning 309008 clauses out of 618064 with flag 271308137/48195002
1823.28/1818.62	c cleaning 310020 clauses out of 620055 with flag 273029568/48506001
1837.25/1832.70	c cleaning 311006 clauses out of 622035 with flag 274751562/48818001
1851.31/1846.75	c cleaning 312003 clauses out of 624029 with flag 276521295/49131001
1863.59/1859.01	c cleaning 312952 clauses out of 626026 with flag 278262535/49445001
1876.33/1871.70	c cleaning 314017 clauses out of 628073 with flag 280004834/49760000
1890.00/1885.48	c cleaning 315009 clauses out of 630056 with flag 281747252/50076000
1903.37/1898.82	c cleaning 315967 clauses out of 632047 with flag 283540256/50393000
1916.04/1911.50	c cleaning 317018 clauses out of 634080 with flag 285330724/50711000
1929.11/1924.68	c cleaning 318016 clauses out of 636062 with flag 287048976/51030000
1944.55/1939.95	c cleaning 319009 clauses out of 638046 with flag 288851575/51350000
1960.21/1955.69	c cleaning 320008 clauses out of 640037 with flag 290574732/51671000
1974.47/1969.91	c cleaning 320960 clauses out of 642029 with flag 292351591/51993000
1989.44/1984.91	c cleaning 322007 clauses out of 644069 with flag 294117837/52316000
2002.91/1998.49	c cleaning 323001 clauses out of 646062 with flag 295941906/52640000
2017.48/2013.05	c cleaning 324016 clauses out of 648061 with flag 297733759/52965000
2032.79/2028.18	c cleaning 325009 clauses out of 650045 with flag 299561889/53291000
2047.94/2043.33	c cleaning 326006 clauses out of 652036 with flag 301407228/53618000
2061.81/2057.26	c cleaning 326991 clauses out of 654032 with flag 303221032/53946002
2075.77/2071.28	c cleaning 328017 clauses out of 656041 with flag 305036960/54275002
2090.34/2085.83	c cleaning 328992 clauses out of 658022 with flag 306873175/54605000
2103.91/2099.47	c cleaning 329982 clauses out of 660030 with flag 308710362/54936000
2118.49/2113.86	c cleaning 330996 clauses out of 662048 with flag 310587952/55268000
2134.56/2129.97	c cleaning 331998 clauses out of 664052 with flag 312500355/55601000
2149.22/2144.64	c cleaning 333003 clauses out of 666054 with flag 314378964/55935000
2164.18/2159.63	c cleaning 333970 clauses out of 668051 with flag 316250658/56270000
2178.65/2174.16	c cleaning 335008 clauses out of 670082 with flag 318104288/56606001
2193.06/2188.57	c cleaning 336009 clauses out of 672073 with flag 319969920/56943000
2207.49/2202.85	c cleaning 337006 clauses out of 674064 with flag 321794911/57281000
2221.96/2217.30	c cleaning 338007 clauses out of 676058 with flag 323673478/57620000
2236.03/2231.40	c cleaning 338993 clauses out of 678051 with flag 325554879/57960000
2250.39/2245.80	c cleaning 339957 clauses out of 680058 with flag 327414166/58301000
2264.56/2260.04	c cleaning 341017 clauses out of 682103 with flag 329294392/58643002
2279.09/2274.52	c cleaning 342016 clauses out of 684084 with flag 331149975/58986000
2295.16/2290.53	c cleaning 343008 clauses out of 686069 with flag 333057901/59330001
2309.92/2305.32	c cleaning 343937 clauses out of 688061 with flag 334925467/59675001
2324.48/2319.96	c cleaning 345016 clauses out of 690123 with flag 336836282/60021000
2339.34/2334.82	c cleaning 346042 clauses out of 692108 with flag 338752500/60368001
2355.11/2350.68	c cleaning 347026 clauses out of 694067 with flag 340674600/60716002
2370.74/2366.20	c cleaning 347966 clauses out of 696039 with flag 342591588/61065000
2386.83/2382.23	c cleaning 349002 clauses out of 698074 with flag 344481785/61415001
2402.50/2397.97	c cleaning 350000 clauses out of 700072 with flag 346392953/61766001
2418.96/2414.47	c cleaning 351014 clauses out of 702073 with flag 348336568/62118002
2435.41/2430.96	c cleaning 352014 clauses out of 704060 with flag 350228761/62471003
2451.28/2446.84	c cleaning 353011 clauses out of 706043 with flag 352138142/62825000
2469.48/2464.86	c cleaning 353988 clauses out of 708032 with flag 354141915/63180000
2485.65/2481.08	c cleaning 354988 clauses out of 710045 with flag 356055750/63536001
2501.90/2497.33	c cleaning 356003 clauses out of 712056 with flag 357957786/63893000
2519.26/2514.77	c cleaning 357001 clauses out of 714054 with flag 359891945/64251001
2536.02/2531.50	c cleaning 358002 clauses out of 716054 with flag 361849370/64610002
2554.17/2549.51	c cleaning 358989 clauses out of 718051 with flag 363776305/64970001
2569.83/2565.22	c cleaning 359978 clauses out of 720061 with flag 365796857/65331000
2586.90/2582.33	c cleaning 361002 clauses out of 722083 with flag 367778735/65693000
2603.76/2599.22	c cleaning 362018 clauses out of 724082 with flag 369811545/66056001
2623.02/2617.63	c cleaning 363017 clauses out of 726066 with flag 371858613/66420003
2638.39/2633.10	c cleaning 364003 clauses out of 728046 with flag 373820673/66785000
2654.84/2649.50	c cleaning 364971 clauses out of 730043 with flag 375859516/67151000
2672.33/2666.99	c cleaning 366014 clauses out of 732073 with flag 377924145/67518001
2691.49/2686.17	c cleaning 366973 clauses out of 734059 with flag 379943903/67886001
2707.35/2702.07	c cleaning 368037 clauses out of 736089 with flag 381952964/68255004
2723.61/2718.31	c cleaning 369012 clauses out of 738048 with flag 383931317/68625000
2740.87/2735.64	c cleaning 369996 clauses out of 740039 with flag 385943212/68996003
2759.33/2754.20	c cleaning 370987 clauses out of 742040 with flag 388001029/69368000
2780.11/2774.75	c cleaning 372009 clauses out of 744055 with flag 390055543/69741002
2798.38/2793.00	c cleaning 373022 clauses out of 746046 with flag 392050429/70115002
2817.73/2812.46	c cleaning 374003 clauses out of 748023 with flag 394137112/70490001
2835.88/2830.68	c cleaning 374990 clauses out of 750019 with flag 396178372/70866000
2855.53/2850.37	c cleaning 376002 clauses out of 752029 with flag 398255136/71243000
2871.79/2866.53	c cleaning 376999 clauses out of 754027 with flag 400325949/71621000
2890.96/2885.52	c cleaning 377992 clauses out of 756028 with flag 402448178/72000000
2909.52/2904.11	c cleaning 378983 clauses out of 758036 with flag 404525606/72380000
2927.27/2921.94	c cleaning 379981 clauses out of 760053 with flag 406582317/72761000
2945.62/2940.31	c cleaning 381026 clauses out of 762075 with flag 408650594/73143003
2961.74/2956.46	c cleaning 381998 clauses out of 764046 with flag 410685516/73526000
2981.82/2976.30	c cleaning 382987 clauses out of 766050 with flag 412768207/73910002
3000.17/2994.75	c cleaning 383997 clauses out of 768061 with flag 414930029/74295000
3020.32/3014.93	c cleaning 385014 clauses out of 770064 with flag 417059848/74681000
3038.08/3032.70	c cleaning 385988 clauses out of 772050 with flag 419183244/75068000
3055.63/3050.27	c cleaning 387008 clauses out of 774062 with flag 421327606/75456000
3073.86/3068.35	c cleaning 388012 clauses out of 776056 with flag 423435456/75845002
3092.02/3086.55	c cleaning 389005 clauses out of 778042 with flag 425561263/76235000
3110.38/3104.94	c cleaning 389977 clauses out of 780039 with flag 427726731/76626002
3129.38/3123.93	c cleaning 390989 clauses out of 782062 with flag 429804663/77018002
3147.24/3141.67	c cleaning 392018 clauses out of 784072 with flag 431915659/77411001
3165.30/3159.76	c cleaning 393007 clauses out of 786053 with flag 434020942/77805000
3184.25/3178.77	c cleaning 394009 clauses out of 788046 with flag 436133368/78200000
3202.86/3197.39	c cleaning 394982 clauses out of 790037 with flag 438293988/78596000
3222.14/3216.46	c cleaning 396011 clauses out of 792055 with flag 440466411/78993000
3244.38/3238.72	c cleaning 396978 clauses out of 794047 with flag 442579197/79391003
3262.88/3257.24	c cleaning 398018 clauses out of 796066 with flag 444655685/79790000
3281.47/3275.74	c cleaning 398990 clauses out of 798048 with flag 446806805/80190000
3301.83/3296.10	c cleaning 399975 clauses out of 800058 with flag 448947213/80591000
3321.07/3315.43	c cleaning 400989 clauses out of 802083 with flag 451109961/80993000
3340.43/3334.86	c cleaning 402024 clauses out of 804095 with flag 453229802/81396001
3358.75/3353.15	c cleaning 403014 clauses out of 806070 with flag 455390163/81800000
3379.06/3372.85	c cleaning 404000 clauses out of 808057 with flag 457554848/82205001
3400.12/3393.93	c cleaning 405005 clauses out of 810056 with flag 459718212/82611000
3418.77/3412.68	c cleaning 405986 clauses out of 812052 with flag 461941876/83018001
3439.03/3432.91	c cleaning 406974 clauses out of 814065 with flag 464122973/83426000
3457.54/3451.33	c cleaning 408037 clauses out of 816091 with flag 466337788/83835000
3475.80/3469.65	c cleaning 409012 clauses out of 818055 with flag 468541114/84245001
3494.65/3488.58	c cleaning 409979 clauses out of 820043 with flag 470730461/84656001
3515.00/3508.91	c cleaning 410997 clauses out of 822063 with flag 472933332/85068000
3534.45/3528.49	c cleaning 412022 clauses out of 824066 with flag 475131646/85481000
3555.51/3549.38	c cleaning 412961 clauses out of 826044 with flag 477338980/85895000
3575.28/3569.12	c cleaning 414001 clauses out of 828084 with flag 479552883/86310001
3597.01/3590.93	c cleaning 415005 clauses out of 830082 with flag 481736814/86726000
3600.01/3593.91	c starts		: 35173
3600.01/3593.91	c conflicts		: 86794609
3600.01/3593.91	c decisions		: 146747297
3600.01/3593.91	c propagations		: 1783491157
3600.01/3593.91	c inspects		: 57440083340
3600.01/3593.91	c shortcuts		: 0
3600.01/3593.91	c learnt literals	: 0
3600.01/3593.91	c learnt binary clauses	: 0
3600.01/3593.91	c learnt ternary clauses	: 0
3600.01/3593.91	c learnt constraints	: 86794609
3600.01/3593.91	c ignored constraints	: 0
3600.01/3593.91	c root simplifications	: 0
3600.01/3593.91	c removed literals (reason simplification)	: 149462000
3600.01/3593.91	c reason swapping (by a shorter reason)	: 0
3600.01/3593.91	c Calls to reduceDB	: 412
3600.01/3593.91	c Number of update (reduction) of LBD	: 32181747
3600.01/3593.91	c Imported unit clauses	: 0
3600.01/3593.91	c No decision after first conflict	: false
3600.01/3593.91	c number of reductions to clauses (during analyze)	: 0
3600.01/3593.91	c number of learned constraints concerned by reduction	: 0
3600.01/3593.91	c number of learning phase by resolution	: 0
3600.01/3593.91	c number of learning phase by cutting planes	: 0
3600.01/3593.91	c number of rounding to 1 operations	: 0
3600.01/3593.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3593.91	c number of reductions of the coefficients by power 2 	: 0
3600.01/3593.91	c timeout
3600.01/3593.92	c number of right shift for reduction by power 2 	: 0
3600.01/3593.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3593.92	c number of ending skipping 	: 0
3600.01/3593.92	c number of internal skipping 	: 0
3600.01/3593.92	c number of derivation steps 	: 0
3600.01/3593.92	c number of skipped derivation steps 	: 0
3600.01/3593.92	c number of remaining unassigned 	: 0
3600.01/3593.92	c number of remaining assigned 	: 0
3600.01/3593.92	c number of falsified literals weakened from reason	: 0
3600.01/3593.92	c number of falsified literals weakened from conflict	: 0
3600.01/3593.92	c time for arithmetic operations	: 0
3600.01/3593.92	c minimum degree of deleted constraints	: null
3600.01/3593.92	c maximum degree of deleted constraints	: null
3600.01/3593.92	c number of deleted constraints	: 0
3600.01/3593.92	c speed (assignments/second)	: 496300.5202902628
3600.01/3593.92	c non guided choices	: 34160835
3600.01/3593.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 483686
3600.01/3593.98	s UNKNOWN
3600.01/3593.98	c Total wall clock time (in seconds): 3593.833

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516794-1751241712/watcher-4516794-1751241712 -o /tmp/evaluation-result-4516794-1751241712/solver-4516794-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34696 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516794-1751241712.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=34739, runsolver pid=34736
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.84 3.79 3.95 7/332 34824
/proc/meminfo: memFree=129737968/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=18930384 memory=53160 CPUtime=0.1 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 6431 0 0 0 9 1 0 0 20 0 18 0 39851485 19384713216 13290 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4732596 13290 5337 1 0 547513 0
[pid=34739/tid=34749] ppid=34736 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 4962 0 0 0 5 1 0 0 20 0 18 0 39851487 19384713216 13290 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39851490 19384713216 13290 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39851490 19384713216 13290 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53160 KiB

[startup+0.205679 s]*
/proc/loadavg: 2.84 3.79 3.95 13/334 34826
/proc/meminfo: memFree=129645212/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=18930384 memory=98624 CPUtime=0.28 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 7004 0 0 0 26 2 0 0 20 0 18 0 39851485 19384713216 24656 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4732596 24656 5433 1 0 547886 0
[pid=34739/tid=34749] ppid=34736 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 5275 0 0 0 13 2 0 0 20 0 18 0 39851487 19384713216 24656 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39851490 19384713216 24656 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39851490 19384713216 24656 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98624 KiB

[startup+0.30564 s]*
/proc/loadavg: 2.84 3.79 3.95 9/336 34828
/proc/meminfo: memFree=129450988/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=18996948 memory=187260 CPUtime=0.47 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 8614 0 0 0 43 4 0 0 20 0 19 0 39851485 19452874752 46815 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4749237 46815 5465 1 0 549146 0
[pid=34739/tid=34749] ppid=34736 vsize=18996948 memory=-6000919494197995628 CPUtime=0.23 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) S 34736 34739 34686 0 -1 4194368 5315 0 0 0 20 3 0 0 20 0 19 0 39851487 19452874752 46815 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851490 19452874752 46815 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851490 19452874752 46815 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 187260 KiB

[startup+0.70021 s]
/proc/loadavg: 2.84 3.79 3.95 10/337 34829
/proc/meminfo: memFree=128955564/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=201176 CPUtime=1.23 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 13773 0 0 0 118 5 0 0 20 0 20 0 39851485 19521036288 50294 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 50294 5465 1 0 552318 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=13568 CPUtime=0.57 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 5366 0 0 0 54 3 0 0 20 0 20 0 39851487 19521036288 50294 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 50294 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 50294 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 50294 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201176 KiB

[startup+1.50023 s]
/proc/loadavg: 2.84 3.79 3.95 8/338 34830
/proc/meminfo: memFree=128810036/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=209820 CPUtime=2.77 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 22734 0 0 0 270 7 0 0 20 0 20 0 39851485 19521036288 52455 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 52455 5465 1 0 554273 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=0 CPUtime=1.34 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 5718 0 0 0 131 3 0 0 20 0 20 0 39851487 19521036288 52455 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 52455 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 52455 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 52455 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209820 KiB

[startup+3.10567 s]
/proc/loadavg: 2.84 3.79 3.95 5/338 34830
/proc/meminfo: memFree=128754880/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=216372 CPUtime=4.73 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 23560 0 0 0 466 7 0 0 20 0 20 0 39851485 19521036288 54093 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 54093 5497 1 0 554274 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=10752 CPUtime=2.95 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 6020 0 0 0 291 4 0 0 20 0 20 0 39851487 19521036288 54093 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=-6000919481329870956 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 54093 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 54093 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 54093 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216372 KiB

[startup+6.30019 s]
/proc/loadavg: 2.94 3.80 3.95 5/338 34830
/proc/meminfo: memFree=128643364/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=254556 CPUtime=7.96 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 24127 0 0 0 788 8 0 0 20 0 20 0 39851485 19521036288 63639 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 63639 5497 1 0 554275 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=0 CPUtime=6.13 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 6214 0 0 0 608 5 0 0 20 0 20 0 39851487 19521036288 63639 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 63639 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 63639 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=209820 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 63639 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 254556 KiB

[startup+12.7002 s]
/proc/loadavg: 3.02 3.80 3.95 5/338 34831
/proc/meminfo: memFree=128450884/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=328284 CPUtime=14.35 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 25536 0 0 0 1424 11 0 0 20 0 20 0 39851485 19521036288 82071 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 82071 5497 1 0 554275 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=209820 CPUtime=12.51 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 7325 0 0 0 1244 7 0 0 20 0 20 0 39851487 19521036288 82071 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=313948 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 82071 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 82071 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 82071 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 328284 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 3.83 3.96 5/340 34833
/proc/meminfo: memFree=128073832/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=471644 CPUtime=27.12 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 26461 0 0 0 2699 13 0 0 20 0 20 0 39851485 19521036288 117911 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 117911 5497 1 0 554275 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=313948 CPUtime=25.28 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 8177 0 0 0 2518 10 0 0 20 0 20 0 39851487 19521036288 117911 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=418396 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 117911 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=13568 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 117911 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 117911 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 471644 KiB

[startup+51.1056 s]
/proc/loadavg: 3.55 3.84 3.96 5/340 34833
/proc/meminfo: memFree=127465696/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=752220 CPUtime=52.66 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 27322 0 0 0 5246 20 0 0 20 0 20 0 39851485 19521036288 188055 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 188055 5497 1 0 554275 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=664156 CPUtime=50.81 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 8910 0 0 0 5065 16 0 0 20 0 20 0 39851487 19521036288 188055 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=748124 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 188055 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0

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

/proc/meminfo: memFree=119965700/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=2997356 CPUtime=3288.05 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 106341 0 0 0 328685 120 0 0 20 0 20 0 39851485 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 749339 5529 1 0 762284 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=14720 CPUtime=3266.2 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 51627 0 0 0 326566 54 0 0 20 0 20 0 39851487 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3288.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2997356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/340 34989
/proc/meminfo: memFree=119942004/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=2997356 CPUtime=3347.91 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 107406 0 0 0 334670 121 0 0 20 0 20 0 39851485 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 749339 5529 1 0 762284 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=4252 CPUtime=3326.04 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 52646 0 0 0 332550 54 0 0 20 0 20 0 39851487 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 749339 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3347.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2997356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/341 34992
/proc/meminfo: memFree=119846532/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3408.5 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 111583 0 0 0 340726 124 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785259 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=4252 CPUtime=3385.79 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 54897 0 0 0 338523 56 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3408.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/341 34994
/proc/meminfo: memFree=119845728/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3468.52 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 112023 0 0 0 346727 125 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785261 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=2997356 CPUtime=3445.52 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 55024 0 0 0 344496 56 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3468.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/340 35000
/proc/meminfo: memFree=119851224/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3528.37 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 112956 0 0 0 352712 125 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785261 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3505.37 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 55893 0 0 0 350480 57 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3528.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/341 35017
/proc/meminfo: memFree=119848676/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3588.44 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 114442 0 0 0 358718 126 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785261 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=14720 CPUtime=3565.06 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 57013 0 0 0 356449 57 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3588.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.9 s]
/proc/loadavg: 4.00 4.11 4.08 4/315 35051
/proc/meminfo: memFree=124279456/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3600.01 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 114489 0 0 0 359875 126 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785261 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3576.63 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 57060 0 0 0 357606 57 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.87 s, system=1.28241 s

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

[startup+3593.9 s]
/proc/loadavg: 4.00 4.11 4.08 4/315 35051
/proc/meminfo: memFree=124279456/131250000 swapFree=33010684/33010684
[pid=34739] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3600.01 cores=0,2
/proc/34739/stat : 34739 (java) S 34736 34739 34686 0 -1 4194304 114489 0 0 0 359875 126 0 0 20 0 20 0 39851485 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
/proc/34739/statm: 4765878 772315 5529 1 0 785261 0
[pid=34739/tid=34749] ppid=34736 vsize=19063512 memory=3089260 CPUtime=3576.63 cores=0,2
/proc/34739/task/34749/stat : 34749 (java) R 34736 34739 34686 0 -1 4194368 57060 0 0 0 357606 57 0 0 20 0 20 0 39851487 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34777] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34777/stat : 34777 (Finalizer) S 34736 34739 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34791] ppid=34736 vsize=19063512 memory=2997356 CPUtime=0 cores=0,2
/proc/34739/task/34791/stat : 34791 (Common-Cleaner) S 34736 34739 34686 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 39851490 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
[pid=34739/tid=34829] ppid=34736 vsize=19063512 memory=3089260 CPUtime=0 cores=0,2
/proc/34739/task/34829/stat : 34829 (Timer-0) S 34736 34739 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851520 19521036288 772315 18446744073709551615 94410629971968 94410629975664 140737231745376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94410629983480 94410629984272 94410651611136 140737231747457 140737231747558 140737231747558 140737231753160 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3089260 KiB

Child status: 143

Real time (s): 3594
CPU time (s): 3600.16
CPU user time (s): 3598.87
CPU system time (s): 1.28241
CPU usage (%): 100.171
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3089260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.28241
maximum resident set size= 3090028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110473
involuntary context switches= 6565


# summary of solver processes directly reported to runsolver:
#   pid: 34739
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.87
#   total CPU system time (s): 1.28241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30626 second user time and 15.7084 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 02:01:52
IDJOB=4516794
IDBENCH=175827
IDSOLVER=3363
FILE ID=nodeC013/4516794-1751241712
RUNJOBID= nodeC013-1751241712-34696
SLURM_JOB_ID= 9587732
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516794-1751241712/watcher-4516794-1751241712 -o /tmp/evaluation-result-4516794-1751241712/solver-4516794-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34696 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516794-1751241712.opb

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

MD5SUM BENCH= 0934d7cef3e2008f3f8157a455916830
RANDOM SEED=1293250273

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129852912 kB
MemAvailable:   129787708 kB
Buffers:            3280 kB
Cached:           737628 kB
SwapCached:            0 kB
Active:           313564 kB
Inactive:         494140 kB
Active(anon):      80080 kB
Inactive(anon):        0 kB
Active(file):     233484 kB
Inactive(file):   494140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1292 kB
Writeback:             8 kB
AnonPages:         69952 kB
Mapped:            97876 kB
Shmem:             13284 kB
KReclaimable:      92424 kB
Slab:             179052 kB
SReclaimable:      92424 kB
SUnreclaim:        86628 kB
KernelStack:        4024 kB
PageTables:         2428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     316308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC013 at 2025-06-30 03:01:46