Trace number 4544265

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.28 3474.46

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
MD5SUMaae1fd6f5b6959c86c4f8fcb3049cc7a
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.033295
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1803
Total number of constraints1504
Number of constraints which are clauses1202
Number of constraints which are cardinality constraints (but not clauses)301
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint1202
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 1201
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3605
Number of bits of the biggest sum of numbers12
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.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4544265-1753234778.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  no objective function found
0.30/0.21	c ... done. Wall clock time 0.064s.
0.30/0.21	c declared #vars     1803
0.30/0.21	c #constraints  1805
0.30/0.21	c constraints type 
0.30/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1204
0.30/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 600
0.30/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.30/0.21	c 1805 constraints processed.
1.77/1.13	c cleaning 2501 clauses out of 5001 with flag 11298/5001
2.66/1.94	c cleaning 4250 clauses out of 8499 with flag 24615/11000
3.93/3.07	c cleaning 5624 clauses out of 11250 with flag 40704/18001
5.40/4.44	c cleaning 6814 clauses out of 13627 with flag 58541/26002
7.39/6.21	c cleaning 7905 clauses out of 15811 with flag 80518/35000
9.08/7.84	c cleaning 8953 clauses out of 17906 with flag 103299/45000
11.09/9.77	c cleaning 9977 clauses out of 19953 with flag 127452/56000
13.29/11.89	c cleaning 10986 clauses out of 21976 with flag 153627/68000
15.68/14.12	c cleaning 11993 clauses out of 23990 with flag 181876/81000
18.19/16.54	c cleaning 12998 clauses out of 25998 with flag 212256/95001
21.83/20.05	c cleaning 13996 clauses out of 27999 with flag 245311/110000
26.15/24.26	c cleaning 15000 clauses out of 30004 with flag 280991/126001
30.32/28.25	c cleaning 15997 clauses out of 32004 with flag 318454/143001
34.97/32.62	c cleaning 17001 clauses out of 34007 with flag 357336/161001
39.39/36.92	c cleaning 18001 clauses out of 36006 with flag 399877/180001
44.20/41.65	c cleaning 19003 clauses out of 38005 with flag 442771/200001
52.27/49.08	c cleaning 20001 clauses out of 40001 with flag 495133/221000
57.75/54.15	c cleaning 21001 clauses out of 42001 with flag 543599/243001
64.26/60.58	c cleaning 22000 clauses out of 43999 with flag 592577/266000
70.81/66.89	c cleaning 23001 clauses out of 46001 with flag 643155/290002
78.09/73.86	c cleaning 24000 clauses out of 47999 with flag 697989/315001
84.66/80.23	c cleaning 24996 clauses out of 49998 with flag 753613/341000
90.57/85.84	c cleaning 25999 clauses out of 52002 with flag 810507/368000
98.24/92.54	c cleaning 27000 clauses out of 54003 with flag 869213/396000
106.02/100.14	c cleaning 27999 clauses out of 56003 with flag 931800/425000
114.39/108.48	c cleaning 29002 clauses out of 58004 with flag 996689/455000
122.21/115.90	c cleaning 29998 clauses out of 60003 with flag 1064722/486001
128.14/121.77	c cleaning 31001 clauses out of 62005 with flag 1133965/518001
136.90/130.29	c cleaning 32002 clauses out of 64003 with flag 1205537/551000
145.95/139.07	c cleaning 32994 clauses out of 66002 with flag 1279466/585001
154.46/146.57	c cleaning 34001 clauses out of 68008 with flag 1353359/620001
163.89/155.68	c cleaning 34999 clauses out of 70008 with flag 1431308/656002
174.05/165.49	c cleaning 36004 clauses out of 72009 with flag 1510780/693002
184.59/175.63	c cleaning 37001 clauses out of 74004 with flag 1594193/731001
193.20/183.91	c cleaning 38000 clauses out of 76004 with flag 1682500/770002
204.21/194.61	c cleaning 38996 clauses out of 78002 with flag 1769003/810000
213.82/203.98	c cleaning 40003 clauses out of 80008 with flag 1855600/851002
224.43/214.25	c cleaning 41001 clauses out of 82003 with flag 1947863/893000
238.66/226.81	c cleaning 41994 clauses out of 84003 with flag 2039708/936001
251.10/238.99	c cleaning 42994 clauses out of 86008 with flag 2134940/980000
263.86/251.35	c cleaning 44002 clauses out of 88015 with flag 2232235/1025001
273.66/260.78	c cleaning 45001 clauses out of 90012 with flag 2329958/1071000
282.75/269.46	c cleaning 46000 clauses out of 92011 with flag 2429232/1118000
292.14/278.46	c cleaning 47001 clauses out of 94011 with flag 2529687/1166000
301.59/287.58	c cleaning 48006 clauses out of 96011 with flag 2632787/1215001
311.44/297.04	c cleaning 48998 clauses out of 98004 with flag 2739266/1265000
320.70/305.94	c cleaning 49997 clauses out of 100006 with flag 2847590/1316000
333.63/318.45	c cleaning 50999 clauses out of 102010 with flag 2960262/1368001
348.03/331.12	c cleaning 52005 clauses out of 104011 with flag 3073827/1421001
361.06/343.78	c cleaning 52999 clauses out of 106006 with flag 3191718/1475001
377.79/360.01	c cleaning 53996 clauses out of 108006 with flag 3308932/1530000
393.92/375.73	c cleaning 54998 clauses out of 110010 with flag 3427383/1586000
411.23/392.53	c cleaning 56001 clauses out of 112012 with flag 3548217/1643000
429.62/410.52	c cleaning 57004 clauses out of 114011 with flag 3671698/1701000
446.38/426.97	c cleaning 58002 clauses out of 116007 with flag 3796895/1760000
459.77/439.96	c cleaning 58994 clauses out of 118006 with flag 3923650/1820001
473.52/453.30	c cleaning 60003 clauses out of 120013 with flag 4052211/1881002
490.09/469.22	c cleaning 61002 clauses out of 122009 with flag 4182717/1943001
507.28/485.90	c cleaning 62003 clauses out of 124008 with flag 4315026/2006002
526.36/502.77	c cleaning 62997 clauses out of 126003 with flag 4450872/2070000
546.62/522.40	c cleaning 64003 clauses out of 128007 with flag 4587854/2135001
565.48/541.01	c cleaning 64997 clauses out of 130003 with flag 4727855/2201000
585.52/560.66	c cleaning 65996 clauses out of 132008 with flag 4867430/2268002
606.57/581.12	c cleaning 67000 clauses out of 134010 with flag 5009453/2336000
627.33/601.31	c cleaning 68003 clauses out of 136010 with flag 5153837/2405000
648.06/621.68	c cleaning 69001 clauses out of 138008 with flag 5300091/2475001
671.91/645.03	c cleaning 69997 clauses out of 140006 with flag 5446803/2546000
693.84/666.58	c cleaning 71006 clauses out of 142012 with flag 5596035/2618003
716.46/688.71	c cleaning 71995 clauses out of 144003 with flag 5747305/2691000
738.90/710.61	c cleaning 73004 clauses out of 146009 with flag 5900760/2765001
761.72/733.10	c cleaning 73999 clauses out of 148005 with flag 6056665/2840001
787.70/756.36	c cleaning 75000 clauses out of 150005 with flag 6215571/2916000
811.75/779.83	c cleaning 75998 clauses out of 152005 with flag 6377621/2993000
841.58/809.10	c cleaning 77001 clauses out of 154008 with flag 6545629/3071001
870.05/836.81	c cleaning 78005 clauses out of 156009 with flag 6719186/3150003
902.90/869.36	c cleaning 78995 clauses out of 158002 with flag 6888632/3230001
932.15/898.03	c cleaning 80000 clauses out of 160007 with flag 7059361/3311001
966.47/931.76	c cleaning 81004 clauses out of 162007 with flag 7233163/3393001
992.01/956.60	c cleaning 81996 clauses out of 164002 with flag 7408670/3476000
1016.95/980.94	c cleaning 83003 clauses out of 166007 with flag 7589658/3560001
1048.02/1011.35	c cleaning 84001 clauses out of 168004 with flag 7769626/3645001
1071.98/1034.97	c cleaning 84991 clauses out of 170002 with flag 7949139/3731000
1095.87/1058.30	c cleaning 86004 clauses out of 172015 with flag 8132975/3818004
1116.44/1078.41	c cleaning 86998 clauses out of 174007 with flag 8317778/3906000
1135.80/1097.34	c cleaning 87999 clauses out of 176011 with flag 8504054/3995002
1159.22/1118.03	c cleaning 89002 clauses out of 178010 with flag 8693113/4085000
1181.06/1139.00	c cleaning 89994 clauses out of 180008 with flag 8882749/4176000
1204.48/1162.00	c cleaning 91004 clauses out of 182015 with flag 9084130/4268001
1227.34/1183.93	c cleaning 92001 clauses out of 184011 with flag 9286405/4361001
1253.36/1209.08	c cleaning 93004 clauses out of 186012 with flag 9482769/4455003
1275.49/1230.65	c cleaning 93999 clauses out of 188005 with flag 9681207/4550000
1296.43/1250.97	c cleaning 94999 clauses out of 190007 with flag 9882826/4646001
1318.33/1272.04	c cleaning 95998 clauses out of 192007 with flag 10086279/4743000
1340.16/1293.54	c cleaning 96998 clauses out of 194009 with flag 10292637/4841000
1364.44/1317.15	c cleaning 98001 clauses out of 196013 with flag 10501587/4940002
1388.90/1340.95	c cleaning 99000 clauses out of 198011 with flag 10712140/5040001
1414.93/1365.95	c cleaning 100000 clauses out of 200011 with flag 10925975/5141001
1443.29/1390.42	c cleaning 100999 clauses out of 202011 with flag 11142571/5243001
1468.01/1414.77	c cleaning 101995 clauses out of 204012 with flag 11363207/5346001
1492.70/1438.86	c cleaning 103004 clauses out of 206016 with flag 11584646/5450000
1519.61/1465.09	c cleaning 103999 clauses out of 208013 with flag 11808725/5555001
1548.69/1493.30	c cleaning 105003 clauses out of 210013 with flag 12034433/5661000
1580.53/1524.33	c cleaning 105998 clauses out of 212010 with flag 12262297/5768000
1610.18/1553.17	c cleaning 107002 clauses out of 214013 with flag 12493199/5876001
1639.84/1581.96	c cleaning 108004 clauses out of 216013 with flag 12730338/5985003
1674.36/1615.55	c cleaning 108998 clauses out of 218006 with flag 12962211/6095000
1700.47/1641.25	c cleaning 110002 clauses out of 220009 with flag 13201652/6206001
1726.47/1666.77	c cleaning 110995 clauses out of 222007 with flag 13438360/6318001
1768.70/1705.59	c cleaning 112002 clauses out of 224012 with flag 13678442/6431001
1809.78/1746.06	c cleaning 113000 clauses out of 226010 with flag 13921884/6545001
1858.51/1794.03	c cleaning 114004 clauses out of 228009 with flag 14167037/6660000
1896.39/1831.11	c cleaning 114998 clauses out of 230005 with flag 14413299/6776000
1929.87/1863.70	c cleaning 116004 clauses out of 232009 with flag 14657642/6893002
1965.42/1898.18	c cleaning 116996 clauses out of 234003 with flag 14903808/7011000
2003.23/1935.06	c cleaning 117999 clauses out of 236007 with flag 15151221/7130000
2051.88/1982.86	c cleaning 118997 clauses out of 238008 with flag 15400854/7250000
2102.13/2032.32	c cleaning 120000 clauses out of 240013 with flag 15652439/7371002
2164.35/2089.74	c cleaning 121002 clauses out of 242011 with flag 15906996/7493000
2207.51/2132.26	c cleaning 122001 clauses out of 244009 with flag 16165764/7616000
2250.66/2174.72	c cleaning 123001 clauses out of 246008 with flag 16430742/7740000
2295.18/2218.05	c cleaning 124000 clauses out of 248008 with flag 16697465/7865001
2350.52/2272.39	c cleaning 124998 clauses out of 250007 with flag 16966380/7991000
2402.70/2323.70	c cleaning 126001 clauses out of 252010 with flag 17234945/8118001
2459.48/2379.84	c cleaning 126998 clauses out of 254008 with flag 17512630/8246000
2493.25/2412.45	c cleaning 127994 clauses out of 256010 with flag 17787151/8375000
2529.05/2442.56	c cleaning 129003 clauses out of 258016 with flag 18066354/8505000
2558.78/2471.48	c cleaning 130003 clauses out of 260015 with flag 18352338/8636002
2591.38/2503.33	c cleaning 131002 clauses out of 262011 with flag 18635325/8768001
2623.68/2534.34	c cleaning 132000 clauses out of 264008 with flag 18923215/8901000
2667.27/2576.82	c cleaning 133002 clauses out of 266010 with flag 19208632/9035002
2709.94/2618.34	c cleaning 133997 clauses out of 268006 with flag 19493665/9170000
2752.03/2659.51	c cleaning 135001 clauses out of 270009 with flag 19780385/9306000
2798.15/2704.96	c cleaning 135999 clauses out of 272009 with flag 20072356/9443001
2855.53/2757.53	c cleaning 137001 clauses out of 274010 with flag 20364878/9581001
2905.34/2806.55	c cleaning 138000 clauses out of 276010 with flag 20660807/9720002
2959.34/2859.25	c cleaning 138996 clauses out of 278008 with flag 20956431/9860000
3013.40/2912.25	c cleaning 140001 clauses out of 280012 with flag 21254873/10001000
3061.86/2959.56	c cleaning 141003 clauses out of 282011 with flag 21554764/10143000
3096.06/2992.87	c cleaning 142001 clauses out of 284009 with flag 21862404/10286001
3141.72/3031.53	c cleaning 143004 clauses out of 286007 with flag 22175180/10430000
3183.89/3072.85	c cleaning 144001 clauses out of 288004 with flag 22485084/10575001
3222.41/3109.99	c cleaning 144999 clauses out of 290002 with flag 22797804/10721000
3264.23/3150.81	c cleaning 145995 clauses out of 292004 with flag 23112435/10868001
3313.87/3198.94	c cleaning 146996 clauses out of 294008 with flag 23435057/11016000
3355.89/3240.12	c cleaning 147999 clauses out of 296012 with flag 23760106/11165000
3407.19/3285.08	c cleaning 148999 clauses out of 298014 with flag 24086209/11315001
3480.80/3357.44	c cleaning 150000 clauses out of 300015 with flag 24407412/11466001
3546.57/3422.37	c cleaning 151000 clauses out of 302014 with flag 24732643/11618000
3600.06/3474.32	c starts		: 32
3600.06/3474.32	c timeout
3600.06/3474.33	c conflicts		: 11747617
3600.06/3474.33	c decisions		: 17244477
3600.06/3474.33	c propagations		: 3401779582
3600.06/3474.33	c inspects		: 10067554007
3600.06/3474.33	c shortcuts		: 0
3600.06/3474.33	c learnt literals	: 0
3600.06/3474.33	c learnt binary clauses	: 0
3600.06/3474.33	c learnt ternary clauses	: 0
3600.06/3474.33	c learnt constraints	: 11747617
3600.06/3474.33	c ignored constraints	: 0
3600.06/3474.33	c root simplifications	: 0
3600.06/3474.33	c removed literals (reason simplification)	: 76967426
3600.06/3474.33	c reason swapping (by a shorter reason)	: 0
3600.06/3474.33	c Calls to reduceDB	: 148
3600.06/3474.33	c Number of update (reduction) of LBD	: 413094
3600.06/3474.33	c Imported unit clauses	: 0
3600.06/3474.33	c No decision after first conflict	: false
3600.06/3474.34	c number of reductions to clauses (during analyze)	: 0
3600.06/3474.34	c number of learned constraints concerned by reduction	: 0
3600.06/3474.34	c number of learning phase by resolution	: 0
3600.06/3474.34	c number of learning phase by cutting planes	: 0
3600.06/3474.34	c number of rounding to 1 operations	: 0
3600.06/3474.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3474.34	c number of reductions of the coefficients by power 2 	: 0
3600.06/3474.34	c number of right shift for reduction by power 2 	: 0
3600.06/3474.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3474.34	c number of ending skipping 	: 0
3600.06/3474.34	c number of internal skipping 	: 0
3600.06/3474.34	c number of derivation steps 	: 0
3600.06/3474.34	c number of skipped derivation steps 	: 0
3600.06/3474.34	c number of remaining unassigned 	: 0
3600.06/3474.34	c number of remaining assigned 	: 0
3600.06/3474.34	c number of falsified literals weakened from reason	: 0
3600.06/3474.34	c number of falsified literals weakened from conflict	: 0
3600.06/3474.34	c time for arithmetic operations	: 0
3600.06/3474.34	c minimum degree of deleted constraints	: null
3600.06/3474.34	c maximum degree of deleted constraints	: null
3600.06/3474.34	c number of deleted constraints	: 0
3600.06/3474.34	c speed (assignments/second)	: 979177.3404488043
3600.06/3474.34	c non guided choices	: 1536
3600.21/3474.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 280631
3600.21/3474.41	s UNKNOWN
3600.21/3474.41	c Total wall clock time (in seconds): 3474.265

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 (62388 MiB free)
  memory of node 1: 64507 MiB (63631 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100058 s]*
/proc/loadavg: 1.08 1.67 2.85 8/335 167838
/proc/meminfo: memFree=128973656/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=18930384 memory=53212 CPUtime=0.11 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 6222 0 305 0 9 2 0 0 20 0 18 0 239155645 19384713216 13303 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4732596 13303 5328 1 0 547540 0
[pid=167765/tid=167783] ppid=167752 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 4731 0 305 0 5 1 0 0 20 0 18 0 239155648 19384713216 13303 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=18930384 memory=16168 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 13303 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 13303 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53212 KiB

[startup+0.20579 s]*
/proc/loadavg: 1.08 1.67 2.85 14/336 167839
/proc/meminfo: memFree=128781976/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=18930384 memory=72012 CPUtime=0.3 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 6792 0 305 0 28 2 0 0 20 0 18 0 239155645 19384713216 18003 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4732596 18003 5392 1 0 547925 0
[pid=167765/tid=167783] ppid=167752 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 5033 0 305 0 15 2 0 0 20 0 18 0 239155648 19384713216 18003 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=18930384 memory=16168 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 18003 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 18003 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72012 KiB

[startup+0.306637 s]*
/proc/loadavg: 1.08 1.67 2.85 12/341 167844
/proc/meminfo: memFree=128736104/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=18996948 memory=77616 CPUtime=0.49 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 8501 0 305 0 46 3 0 0 20 0 19 0 239155645 19452874752 19404 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4749237 19404 5392 1 0 549000 0
[pid=167765/tid=167783] ppid=167752 vsize=18996948 memory=-8887963151809422012 CPUtime=0.24 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 5080 0 305 0 22 2 0 0 20 0 19 0 239155648 19452874752 19404 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239155650 19452874752 19404 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239155650 19452874752 19404 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 239155667 19452874752 19404 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77616 KiB

[startup+0.700265 s]
/proc/loadavg: 1.08 1.67 2.85 9/341 167844
/proc/meminfo: memFree=128697404/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=18996948 memory=100760 CPUtime=1.25 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 10527 0 305 0 122 3 0 0 20 0 19 0 239155645 19452874752 25190 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4749237 25190 5424 1 0 550070 0
[pid=167765/tid=167783] ppid=167752 vsize=18996948 memory=27264 CPUtime=0.63 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 5089 0 305 0 61 2 0 0 20 0 19 0 239155648 19452874752 25190 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239155650 19452874752 25190 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239155650 19452874752 25190 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=18996948 memory=4740 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 239155667 19452874752 25190 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100760 KiB

[startup+1.50025 s]
/proc/loadavg: 1.08 1.67 2.85 5/341 167844
/proc/meminfo: memFree=128637040/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=202132 CPUtime=2.25 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 13312 0 305 0 219 6 0 0 20 0 20 0 239155645 19521036288 50533 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 50533 5456 1 0 550391 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=10496 CPUtime=1.38 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 6168 0 305 0 135 3 0 0 20 0 20 0 239155648 19521036288 50533 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 50533 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 50533 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 50533 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202132 KiB

[startup+3.10561 s]
/proc/loadavg: 1.48 1.74 2.87 6/343 167846
/proc/meminfo: memFree=127979260/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=276752 CPUtime=4.04 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 16992 0 305 0 396 8 0 0 20 0 20 0 239155645 19521036288 69188 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 69188 5456 1 0 551061 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=-9032078339885277884 CPUtime=2.92 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 6429 0 305 0 289 3 0 0 20 0 20 0 239155648 19521036288 69188 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 69188 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 69188 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 69188 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 276752 KiB

[startup+6.30022 s]
/proc/loadavg: 1.48 1.74 2.87 5/343 167847
/proc/meminfo: memFree=126758332/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=543028 CPUtime=7.49 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 18738 0 305 0 736 13 0 0 20 0 20 0 239155645 19521036288 135757 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 135757 5456 1 0 782905 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=0 CPUtime=5.9 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 6557 0 305 0 586 4 0 0 20 0 20 0 239155648 19521036288 135757 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 135757 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 135757 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=202132 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 135757 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 543028 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 1.82 2.88 5/343 167847
/proc/meminfo: memFree=124785460/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=1035752 CPUtime=14.19 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 21113 0 305 0 1396 23 0 0 20 0 20 0 239155645 19521036288 258938 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 258938 5456 1 0 782915 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=202132 CPUtime=11.96 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 7379 0 305 0 1191 5 0 0 20 0 20 0 239155648 19521036288 258938 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=1035752 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 258938 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 258938 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 258938 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1035752 KiB

[startup+25.5003 s]
/proc/loadavg: 2.27 1.91 2.90 5/343 167847
/proc/meminfo: memFree=120677820/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=1942100 CPUtime=27.62 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 24864 0 305 0 2721 41 0 0 20 0 20 0 239155645 19521036288 485525 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 485525 5488 1 0 1046116 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=0 CPUtime=24.12 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 7864 0 305 0 2403 9 0 0 20 0 20 0 239155648 19521036288 485525 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=16584 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 485525 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=27264 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 485525 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 485525 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1942100 KiB

[startup+51.1057 s]
/proc/loadavg: 3.01 2.11 2.94 5/344 167848
/proc/meminfo: memFree=114931012/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=3036288 CPUtime=54.63 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 43684 0 305 0 5396 67 0 0 20 0 20 0 239155645 19521036288 759072 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 759072 5520 1 0 1173625 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=2760524 CPUtime=48.88 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 13387 0 305 0 4874 14 0 0 20 0 20 0 239155648 19521036288 759072 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0

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

[startup+3162.3 s]
/proc/loadavg: 4.24 4.33 4.30 6/342 168027
/proc/meminfo: memFree=69084952/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3276.1 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 359692 0 305 0 327185 425 0 0 20 0 20 0 239155645 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3570789 5520 1 0 4085390 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3067.91 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 175164 0 305 0 306709 82 0 0 20 0 20 0 239155648 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2494 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3276.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14283156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.37 4.31 6/342 168029
/proc/meminfo: memFree=69085472/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3337.58 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 364471 0 305 0 333330 428 0 0 20 0 20 0 239155645 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3570789 5520 1 0 4085390 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3126.15 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 178054 0 305 0 312532 83 0 0 20 0 20 0 239155648 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2582 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3570789 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3337.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14283156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.40 4.37 4.31 5/342 168161
/proc/meminfo: memFree=85052740/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14283412 CPUtime=3404.49 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 378467 0 305 0 340014 435 0 0 20 0 20 0 239155645 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3570853 5520 1 0 4085453 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3184.26 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 185358 0 305 0 318342 84 0 0 20 0 20 0 239155648 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=14283156 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=14283412 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2629 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=14283412 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3404.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14283412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.31 5/340 168163
/proc/meminfo: memFree=84714936/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14283412 CPUtime=3465.17 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 383510 0 305 0 346079 438 0 0 20 0 20 0 239155645 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3570853 5520 1 0 4085453 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3243.3 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 188086 0 305 0 324246 84 0 0 20 0 20 0 239155648 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=14283412 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=14283412 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2768 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3570853 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3465.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14283412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.57 4.39 4.32 5/339 168234
/proc/meminfo: memFree=99324428/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14284052 CPUtime=3526.61 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 392326 0 305 0 352221 440 0 0 20 0 20 0 239155645 19521036288 3571013 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3571013 5520 1 0 4085584 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=14283156 CPUtime=3301.63 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 192301 0 305 0 330078 85 0 0 20 0 20 0 239155648 19521036288 3571013 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=14283796 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571013 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=14283796 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2769 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571013 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=16584 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3571013 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3526.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14284052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.33 4.31 5/339 168239
/proc/meminfo: memFree=97578604/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14284564 CPUtime=3587.4 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 398696 0 305 0 358298 442 0 0 20 0 20 0 239155645 19521036288 3571141 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3571141 5520 1 0 4085706 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=27264 CPUtime=3360.61 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 194980 0 305 0 335976 85 0 0 20 0 20 0 239155648 19521036288 3571141 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571141 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2839 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571141 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=198340509722 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3571141 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14284564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3474.3 s]
/proc/loadavg: 4.27 4.33 4.31 5/340 168240
/proc/meminfo: memFree=97484756/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19063512 memory=14284820 CPUtime=3600.06 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 400370 0 305 0 359563 443 0 0 20 0 20 0 239155645 19521036288 3571205 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4765878 3571205 5520 1 0 4085761 0
[pid=167765/tid=167783] ppid=167752 vsize=19063512 memory=27264 CPUtime=3371.92 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) R 167752 167765 167700 0 -1 4194368 195718 0 305 0 337107 85 0 0 20 0 20 0 239155648 19521036288 3571205 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571205 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2839 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3571205 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167841] ppid=167752 vsize=19063512 memory=14284564 CPUtime=0 cores=1,3
/proc/167765/task/167841/stat : 167841 (Timer-0) S 167752 167765 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155667 19521036288 3571205 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14284820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.8 s, system=4.47612 s

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

[startup+3474.4 s]
/proc/loadavg: 4.27 4.33 4.31 5/340 168240
/proc/meminfo: memFree=97484756/131250000 swapFree=33010416/33010684
[pid=167765] ppid=167752 vsize=19263204 memory=14285460 CPUtime=3600.21 cores=1,3
/proc/167765/stat : 167765 (java) S 167752 167765 167700 0 -1 4194304 402849 0 305 0 359578 443 0 0 20 0 21 0 239155645 19725520896 3571365 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
/proc/167765/statm: 4815801 3571365 5520 1 0 4086651 0
[pid=167765/tid=167783] ppid=167752 vsize=19263204 memory=5760 CPUtime=3371.94 cores=1,3
/proc/167765/task/167783/stat : 167783 (java) S 167752 167765 167700 0 -1 4194368 195871 0 305 0 337109 85 0 0 20 0 21 0 239155648 19725520896 3571365 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167824] ppid=167752 vsize=19263204 memory=-9032078339885277884 CPUtime=0 cores=1,3
/proc/167765/task/167824/stat : 167824 (Finalizer) S 167752 167765 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239155650 19725520896 3571365 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
[pid=167765/tid=167838] ppid=167752 vsize=19263204 memory=3200 CPUtime=0 cores=1,3
/proc/167765/task/167838/stat : 167838 (Common-Cleaner) S 167752 167765 167700 0 -1 4194368 2839 0 0 0 0 0 0 0 20 0 21 0 239155650 19725520896 3571365 18446744073709551615 94665202245632 94665202249328 140734097481984 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94665202257144 94665202257936 94665215991808 140734097484159 140734097484260 140734097484260 140734097489864 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14285460 KiB

Child status: 143

Real time (s): 3474.46
CPU time (s): 3600.28
CPU user time (s): 3595.8
CPU system time (s): 4.47612
CPU usage (%): 103.621
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14285460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.8
system time used= 4.47612
maximum resident set size= 14285716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403047
page faults= 305
swaps= 0
block input operations= 0
block output operations= 18928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116879
involuntary context switches= 14384


# summary of solver processes directly reported to runsolver:
#   pid: 167765
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.8
#   total CPU system time (s): 4.47612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52556 second user time and 16.6406 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-23 03:39:38
IDJOB=4544265
IDBENCH=175139
IDSOLVER=3363
FILE ID=nodeC018/4544265-1753234778
RUNJOBID= nodeC018-1753234778-167712
SLURM_JOB_ID= 9687862
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544265-1753234778/watcher-4544265-1753234778 -o /tmp/evaluation-result-4544265-1753234778/solver-4544265-1753234778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753234778-167712 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4544265-1753234778.opb

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

MD5SUM BENCH= aae1fd6f5b6959c86c4f8fcb3049cc7a
RANDOM SEED=1117295114

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129048828 kB
MemAvailable:   129661764 kB
Buffers:            2128 kB
Cached:          1363364 kB
SwapCached:           28 kB
Active:          1147000 kB
Inactive:         285148 kB
Active(anon):      92616 kB
Inactive(anon):      284 kB
Active(file):    1054384 kB
Inactive(file):   284864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3648 kB
Writeback:             4 kB
AnonPages:         69708 kB
Mapped:           108680 kB
Shmem:             26240 kB
KReclaimable:     225452 kB
Slab:             321984 kB
SReclaimable:     225452 kB
SUnreclaim:        96532 kB
KernelStack:        4096 kB
PageTables:         2784 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     343116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC018 at 2025-07-23 04:37:33