Trace number 4509724

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.14 3608.12

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
MD5SUM70456d73d2f29031b06a5b292ce0fc7b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark57.2992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints252
Number of constraints which are clauses252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4509724-1751193947.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.16	c ... done. Wall clock time 0.021s.
0.12/0.16	c declared #vars     121
0.12/0.16	c #constraints  252
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.12/0.16	c 252 constraints processed.
0.70/0.42	c cleaning 2496 clauses out of 5002 with flag 40275/5002
1.08/0.67	c cleaning 4249 clauses out of 8504 with flag 87234/11000
1.59/0.98	c cleaning 5625 clauses out of 11255 with flag 142204/18000
2.07/1.33	c cleaning 6810 clauses out of 13631 with flag 204635/26001
2.56/1.71	c cleaning 7907 clauses out of 15822 with flag 275881/35002
3.08/2.21	c cleaning 8951 clauses out of 17913 with flag 364111/45000
3.61/2.63	c cleaning 9977 clauses out of 19962 with flag 448884/56000
4.02/3.08	c cleaning 10986 clauses out of 21987 with flag 532151/68002
4.71/3.72	c cleaning 11988 clauses out of 23999 with flag 637366/81000
5.51/4.56	c cleaning 12997 clauses out of 26012 with flag 742101/95001
6.31/5.37	c cleaning 14005 clauses out of 28015 with flag 861844/110001
7.34/6.30	c cleaning 14997 clauses out of 30009 with flag 984627/126000
8.44/7.44	c cleaning 15996 clauses out of 32013 with flag 1122467/143001
9.76/8.71	c cleaning 16996 clauses out of 34016 with flag 1260872/161000
11.06/10.06	c cleaning 18001 clauses out of 36021 with flag 1393635/180001
12.55/11.51	c cleaning 19001 clauses out of 38019 with flag 1537879/200000
13.94/12.94	c cleaning 20003 clauses out of 40020 with flag 1682462/221002
15.54/14.51	c cleaning 20998 clauses out of 42015 with flag 1851073/243000
17.23/16.28	c cleaning 22000 clauses out of 44019 with flag 2031324/266002
19.14/18.15	c cleaning 23003 clauses out of 46018 with flag 2212947/290001
21.03/20.04	c cleaning 23991 clauses out of 48014 with flag 2402047/315000
22.82/21.86	c cleaning 25006 clauses out of 50025 with flag 2603880/341002
24.92/23.99	c cleaning 26003 clauses out of 52017 with flag 2788744/368000
27.31/26.33	c cleaning 26997 clauses out of 54014 with flag 2981421/396000
29.81/28.84	c cleaning 28001 clauses out of 56018 with flag 3186591/425001
32.61/31.61	c cleaning 28999 clauses out of 58017 with flag 3401916/455001
35.30/34.35	c cleaning 29998 clauses out of 60017 with flag 3634658/486000
38.19/37.24	c cleaning 30998 clauses out of 62019 with flag 3902574/518000
41.28/40.31	c cleaning 32009 clauses out of 64023 with flag 4185770/551002
44.67/43.73	c cleaning 33002 clauses out of 66012 with flag 4451446/585000
48.36/47.46	c cleaning 33994 clauses out of 68013 with flag 4732776/620003
52.36/51.41	c cleaning 35002 clauses out of 70016 with flag 5011096/656000
56.35/55.42	c cleaning 36002 clauses out of 72014 with flag 5281132/693000
60.04/59.18	c cleaning 36995 clauses out of 74012 with flag 5562551/731000
64.34/63.47	c cleaning 37999 clauses out of 76017 with flag 5859135/770000
68.62/67.71	c cleaning 39003 clauses out of 78018 with flag 6167045/810000
73.21/72.34	c cleaning 39999 clauses out of 80015 with flag 6494540/851000
78.20/77.36	c cleaning 40995 clauses out of 82016 with flag 6828059/893000
82.48/81.69	c cleaning 42002 clauses out of 84021 with flag 7146287/936000
87.57/86.79	c cleaning 43003 clauses out of 86019 with flag 7505413/980000
93.16/92.33	c cleaning 44002 clauses out of 88016 with flag 7872884/1025000
98.64/97.80	c cleaning 44998 clauses out of 90014 with flag 8212531/1071000
104.02/103.29	c cleaning 46004 clauses out of 92016 with flag 8548074/1118000
111.13/110.35	c cleaning 46997 clauses out of 94013 with flag 8922056/1166001
118.30/117.56	c cleaning 47997 clauses out of 96016 with flag 9309296/1215001
124.98/124.27	c cleaning 49003 clauses out of 98019 with flag 9700850/1265001
131.56/130.85	c cleaning 49997 clauses out of 100015 with flag 10095606/1316000
138.34/137.68	c cleaning 51004 clauses out of 102019 with flag 10485519/1368001
145.42/144.72	c cleaning 52003 clauses out of 104015 with flag 10882363/1421001
152.60/151.98	c cleaning 53000 clauses out of 106011 with flag 11280030/1475000
161.61/160.94	c cleaning 54000 clauses out of 108011 with flag 11729418/1530000
169.29/168.60	c cleaning 54996 clauses out of 110012 with flag 12121006/1586001
177.57/176.93	c cleaning 55999 clauses out of 112015 with flag 12543672/1643000
185.77/185.16	c cleaning 57000 clauses out of 114016 with flag 12954440/1701000
195.04/194.42	c cleaning 57998 clauses out of 116017 with flag 13382121/1760001
204.01/203.44	c cleaning 58996 clauses out of 118018 with flag 13822905/1820000
213.29/212.75	c cleaning 60004 clauses out of 120022 with flag 14265285/1881000
224.11/223.59	c cleaning 61000 clauses out of 122019 with flag 14734320/1943001
234.48/233.95	c cleaning 61996 clauses out of 124018 with flag 15215093/2006000
245.16/244.68	c cleaning 63002 clauses out of 126022 with flag 15670199/2070000
256.43/255.95	c cleaning 63998 clauses out of 128021 with flag 16140462/2135001
266.60/266.13	c cleaning 65004 clauses out of 130025 with flag 16627006/2201003
277.48/277.07	c cleaning 66002 clauses out of 132019 with flag 17109984/2268001
288.87/288.45	c cleaning 66999 clauses out of 134016 with flag 17606139/2336000
300.83/300.45	c cleaning 68004 clauses out of 136018 with flag 18109664/2405001
314.50/314.18	c cleaning 68997 clauses out of 138014 with flag 18627574/2475001
326.85/326.59	c cleaning 70002 clauses out of 140016 with flag 19125787/2546000
339.32/339.04	c cleaning 71001 clauses out of 142014 with flag 19614347/2618000
352.92/352.60	c cleaning 72004 clauses out of 144013 with flag 20147551/2691000
365.78/365.56	c cleaning 73003 clauses out of 146011 with flag 20674245/2765002
380.73/380.57	c cleaning 73997 clauses out of 148006 with flag 21186749/2840000
395.09/394.92	c cleaning 74997 clauses out of 150009 with flag 21703223/2916000
410.25/410.19	c cleaning 76001 clauses out of 152012 with flag 22232929/2993000
424.80/424.75	c cleaning 76999 clauses out of 154012 with flag 22791030/3071001
441.77/441.78	c cleaning 78000 clauses out of 156013 with flag 23365742/3150001
459.62/459.61	c cleaning 79001 clauses out of 158012 with flag 23970286/3230000
476.17/476.26	c cleaning 79995 clauses out of 160011 with flag 24565272/3311000
492.82/492.90	c cleaning 81001 clauses out of 162016 with flag 25129834/3393000
510.61/510.72	c cleaning 82006 clauses out of 164017 with flag 25693293/3476002
528.15/528.30	c cleaning 82998 clauses out of 166009 with flag 26279084/3560000
546.41/546.68	c cleaning 84000 clauses out of 168011 with flag 26866600/3645000
569.93/570.26	c cleaning 84998 clauses out of 170013 with flag 27476712/3731002
587.38/587.73	c cleaning 86002 clauses out of 172014 with flag 28067156/3818001
605.46/605.89	c cleaning 86990 clauses out of 174012 with flag 28672771/3906001
625.01/625.45	c cleaning 88000 clauses out of 176021 with flag 29275814/3995000
644.47/644.95	c cleaning 89005 clauses out of 178021 with flag 29888553/4085000
664.81/665.32	c cleaning 90005 clauses out of 180017 with flag 30540254/4176001
687.30/687.86	c cleaning 91001 clauses out of 182011 with flag 31147413/4268000
708.74/709.36	c cleaning 91997 clauses out of 184010 with flag 31757685/4361000
729.19/729.84	c cleaning 92998 clauses out of 186013 with flag 32359064/4455000
750.35/751.02	c cleaning 94005 clauses out of 188015 with flag 32962812/4550000
774.88/775.68	c cleaning 95001 clauses out of 190012 with flag 33578084/4646002
798.04/798.81	c cleaning 95998 clauses out of 192009 with flag 34220375/4743000
820.88/821.72	c cleaning 97001 clauses out of 194012 with flag 34875604/4841001
843.73/844.64	c cleaning 97998 clauses out of 196010 with flag 35541046/4940000
868.77/869.70	c cleaning 99001 clauses out of 198012 with flag 36191188/5040000
894.31/895.36	c cleaning 100000 clauses out of 200012 with flag 36846413/5141001
920.15/921.22	c cleaning 101004 clauses out of 202014 with flag 37513907/5243003
950.11/951.20	c cleaning 101999 clauses out of 204008 with flag 38221345/5346001
977.93/979.18	c cleaning 103000 clauses out of 206008 with flag 38911965/5450000
1004.55/1005.87	c cleaning 103997 clauses out of 208008 with flag 39614770/5555000
1032.77/1034.13	c cleaning 105001 clauses out of 210011 with flag 40317351/5661000
1059.48/1060.92	c cleaning 106002 clauses out of 212013 with flag 40994353/5768003
1087.40/1088.96	c cleaning 106997 clauses out of 214009 with flag 41675638/5876001
1115.81/1117.44	c cleaning 107993 clauses out of 216011 with flag 42384116/5985000
1146.32/1148.03	c cleaning 109002 clauses out of 218019 with flag 43086458/6095001
1177.72/1179.58	c cleaning 110000 clauses out of 220016 with flag 43810408/6206000
1210.93/1212.83	c cleaning 111001 clauses out of 222017 with flag 44510611/6318001
1243.63/1245.66	c cleaning 112002 clauses out of 224015 with flag 45254769/6431000
1278.03/1280.16	c cleaning 113004 clauses out of 226016 with flag 46011591/6545003
1311.32/1313.57	c cleaning 113999 clauses out of 228009 with flag 46749722/6660000
1343.92/1346.29	c cleaning 114996 clauses out of 230010 with flag 47469913/6776000
1377.12/1379.50	c cleaning 116000 clauses out of 232014 with flag 48240037/6893000
1410.62/1413.17	c cleaning 116996 clauses out of 234014 with flag 48999942/7011000
1441.62/1444.23	c cleaning 117997 clauses out of 236018 with flag 49786736/7130000
1476.72/1479.47	c cleaning 118997 clauses out of 238022 with flag 50562175/7250001
1516.29/1519.02	c cleaning 120006 clauses out of 240024 with flag 51343811/7371000
1550.40/1553.28	c cleaning 121004 clauses out of 242019 with flag 52138932/7493001
1588.58/1591.56	c cleaning 121995 clauses out of 244014 with flag 52926575/7616000
1628.37/1631.46	c cleaning 122999 clauses out of 246020 with flag 53726848/7740001
1667.55/1670.78	c cleaning 124003 clauses out of 248020 with flag 54541980/7865000
1709.92/1713.27	c cleaning 125009 clauses out of 250019 with flag 55364880/7991002
1752.20/1755.66	c cleaning 125988 clauses out of 252008 with flag 56147566/8118000
1792.88/1796.32	c cleaning 127004 clauses out of 254022 with flag 56969515/8246002
1835.38/1838.91	c cleaning 128002 clauses out of 256018 with flag 57779649/8375002
1878.58/1882.21	c cleaning 128999 clauses out of 258015 with flag 58596410/8505001
1918.89/1922.68	c cleaning 129998 clauses out of 260015 with flag 59384045/8636000
1964.48/1968.33	c cleaning 131000 clauses out of 262019 with flag 60257343/8768002
2011.76/2015.79	c cleaning 132001 clauses out of 264019 with flag 61083779/8901002
2059.23/2063.26	c cleaning 132995 clauses out of 266016 with flag 61942657/9035000
2106.01/2110.15	c cleaning 134004 clauses out of 268021 with flag 62789124/9170000
2153.89/2158.11	c cleaning 135002 clauses out of 270018 with flag 63658095/9306001
2198.18/2202.51	c cleaning 136002 clauses out of 272015 with flag 64521119/9443000
2245.58/2250.04	c cleaning 136999 clauses out of 274014 with flag 65374812/9581001
2292.66/2297.25	c cleaning 138004 clauses out of 276015 with flag 66266539/9720001
2341.35/2346.02	c cleaning 138997 clauses out of 278010 with flag 67129857/9860000
2392.53/2397.35	c cleaning 139996 clauses out of 280013 with flag 68020998/10001000
2445.37/2450.26	c cleaning 140999 clauses out of 282018 with flag 68899140/10143001
2495.95/2500.90	c cleaning 141998 clauses out of 284018 with flag 69806373/10286000
2548.42/2553.56	c cleaning 143008 clauses out of 286021 with flag 70699380/10430001
2600.09/2605.39	c cleaning 143999 clauses out of 288012 with flag 71584186/10575000
2651.74/2657.16	c cleaning 145004 clauses out of 290014 with flag 72474383/10721001
2708.57/2714.15	c cleaning 145999 clauses out of 292012 with flag 73412318/10868003
2767.89/2773.69	c cleaning 146993 clauses out of 294010 with flag 74324930/11016000
2825.02/2830.95	c cleaning 147998 clauses out of 296017 with flag 75220456/11165000
2880.85/2886.92	c cleaning 149003 clauses out of 298022 with flag 76136651/11315003
2940.17/2946.39	c cleaning 150004 clauses out of 300017 with flag 77083005/11466001
2999.59/3005.90	c cleaning 150996 clauses out of 302012 with flag 78019518/11618000
3061.70/3068.27	c cleaning 151999 clauses out of 304016 with flag 78959655/11771000
3128.60/3135.39	c cleaning 153001 clauses out of 306018 with flag 79931486/11925001
3189.52/3196.42	c cleaning 154001 clauses out of 308018 with flag 80902041/12080002
3253.93/3261.04	c cleaning 154996 clauses out of 310016 with flag 81888790/12236001
3317.92/3325.20	c cleaning 155998 clauses out of 312020 with flag 82831187/12393001
3385.82/3393.31	c cleaning 156998 clauses out of 314022 with flag 83828975/12551001
3452.92/3460.68	c cleaning 158010 clauses out of 316025 with flag 84787799/12710002
3518.09/3525.92	c cleaning 158999 clauses out of 318014 with flag 85798805/12870001
3579.74/3587.72	c cleaning 159994 clauses out of 320014 with flag 86778036/13031000
3600.00/3608.02	c starts		: 5270
3600.00/3608.02	c timeout
3600.00/3608.02	c conflicts		: 13100291
3600.00/3608.02	c decisions		: 16309845
3600.00/3608.02	c propagations		: 212440229
3600.00/3608.02	c inspects		: 59912271039
3600.00/3608.02	c shortcuts		: 0
3600.00/3608.02	c learnt literals	: 0
3600.00/3608.02	c learnt binary clauses	: 0
3600.00/3608.02	c learnt ternary clauses	: 0
3600.00/3608.02	c learnt constraints	: 13100291
3600.00/3608.02	c ignored constraints	: 0
3600.00/3608.02	c root simplifications	: 0
3600.00/3608.02	c removed literals (reason simplification)	: 33117101
3600.00/3608.02	c reason swapping (by a shorter reason)	: 0
3600.00/3608.02	c Calls to reduceDB	: 157
3600.00/3608.02	c Number of update (reduction) of LBD	: 4142602
3600.00/3608.02	c Imported unit clauses	: 0
3600.00/3608.02	c No decision after first conflict	: false
3600.00/3608.02	c number of reductions to clauses (during analyze)	: 0
3600.00/3608.02	c number of learned constraints concerned by reduction	: 0
3600.00/3608.02	c number of learning phase by resolution	: 0
3600.00/3608.02	c number of learning phase by cutting planes	: 0
3600.00/3608.02	c number of rounding to 1 operations	: 0
3600.00/3608.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3608.02	c number of reductions of the coefficients by power 2 	: 0
3600.00/3608.02	c number of right shift for reduction by power 2 	: 0
3600.00/3608.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3608.02	c number of ending skipping 	: 0
3600.00/3608.02	c number of internal skipping 	: 0
3600.00/3608.02	c number of derivation steps 	: 0
3600.00/3608.02	c number of skipped derivation steps 	: 0
3600.00/3608.02	c number of remaining unassigned 	: 0
3600.00/3608.02	c number of remaining assigned 	: 0
3600.00/3608.02	c number of falsified literals weakened from reason	: 0
3600.00/3608.02	c number of falsified literals weakened from conflict	: 0
3600.00/3608.02	c time for arithmetic operations	: 0
3600.00/3608.03	c minimum degree of deleted constraints	: null
3600.00/3608.03	c maximum degree of deleted constraints	: null
3600.00/3608.03	c number of deleted constraints	: 0
3600.00/3608.03	c speed (assignments/second)	: 58882.56538565905
3600.00/3608.03	c non guided choices	: 36
3600.00/3608.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 229311
3600.00/3608.08	s UNKNOWN
3600.00/3608.09	c Total wall clock time (in seconds): 3607.948

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509724-1751193947/watcher-4509724-1751193947 -o /tmp/evaluation-result-4509724-1751193947/solver-4509724-1751193947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509724-1751193947.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25079, runsolver pid=25076

[startup+0.100062 s]*
/proc/loadavg: 2.92 1.89 2.61 6/341 25097
/proc/meminfo: memFree=126498404/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18930384 memory=55556 CPUtime=0.12 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 6555 0 0 0 11 1 0 0 20 0 18 0 35069238 19384713216 13889 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4732596 13889 5325 1 0 547610 0
[pid=25079/tid=25081] ppid=25076 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5057 0 0 0 6 1 0 0 20 0 18 0 35069240 19384713216 13889 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35069242 19384713216 13889 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18930384 memory=57385981078853 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35069242 19384713216 13889 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55556 KiB

[startup+0.205799 s]*
/proc/loadavg: 2.92 1.89 2.61 8/342 25098
/proc/meminfo: memFree=126487028/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=62792 CPUtime=0.31 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 7479 0 0 0 30 1 0 0 20 0 19 0 35069238 19452874752 15698 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 15698 5421 1 0 548385 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5298 0 0 0 16 1 0 0 20 0 19 0 35069240 19452874752 15698 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=13929 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 15698 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=56286469424100 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 15698 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 15698 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62792 KiB

[startup+0.305807 s]*
/proc/loadavg: 2.92 1.89 2.61 7/342 25098
/proc/meminfo: memFree=126482932/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=66904 CPUtime=0.51 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 9065 0 0 0 49 2 0 0 20 0 19 0 35069238 19452874752 16726 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 16726 5421 1 0 549396 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=-6000919481263220589 CPUtime=0.27 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5303 0 0 0 26 1 0 0 20 0 19 0 35069240 19452874752 16726 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 16726 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 16726 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 16726 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66904 KiB

[startup+0.700229 s]
/proc/loadavg: 2.92 1.89 2.61 6/342 25098
/proc/meminfo: memFree=126478836/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=79900 CPUtime=1.27 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 12152 0 0 0 124 3 0 0 20 0 19 0 35069238 19452874752 19975 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 19975 5421 1 0 551492 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=17152 CPUtime=0.66 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5348 0 0 0 65 1 0 0 20 0 19 0 35069240 19452874752 19975 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 19975 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 19975 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 19975 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79900 KiB

[startup+1.50024 s]
/proc/loadavg: 2.92 1.89 2.61 6/342 25098
/proc/meminfo: memFree=126466548/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=86308 CPUtime=2.36 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 15873 0 0 0 233 3 0 0 20 0 19 0 35069238 19452874752 21577 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 21577 5421 1 0 551512 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=0 CPUtime=1.46 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5675 0 0 0 145 1 0 0 20 0 19 0 35069240 19452874752 21577 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 21577 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 21577 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 21577 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86308 KiB

[startup+3.1055 s]
/proc/loadavg: 3.00 1.92 2.62 5/342 25098
/proc/meminfo: memFree=126343876/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=96676 CPUtime=4.12 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 16732 0 0 0 409 3 0 0 20 0 19 0 35069238 19452874752 24169 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 24169 5421 1 0 551513 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=10752 CPUtime=3.06 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 5935 0 0 0 305 1 0 0 20 0 19 0 35069240 19452874752 24169 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=-6000919481263220589 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 24169 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 24169 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 24169 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96676 KiB

[startup+6.30019 s]
/proc/loadavg: 3.00 1.92 2.62 7/343 25099
/proc/meminfo: memFree=126290844/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=104716 CPUtime=7.34 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 19399 0 0 0 730 4 0 0 20 0 19 0 35069238 19452874752 26179 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 26179 5421 1 0 551514 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=0 CPUtime=6.24 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 6436 0 0 0 623 1 0 0 20 0 19 0 35069240 19452874752 26179 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 26179 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 26179 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=86308 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 26179 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104716 KiB

[startup+12.7002 s]
/proc/loadavg: 3.08 1.96 2.63 5/343 25099
/proc/meminfo: memFree=126213060/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=18996948 memory=125196 CPUtime=13.75 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 21105 0 0 0 1371 4 0 0 20 0 19 0 35069238 19452874752 31299 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4749237 31299 5421 1 0 551514 0
[pid=25079/tid=25081] ppid=25076 vsize=18996948 memory=86308 CPUtime=12.62 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 7212 0 0 0 1261 1 0 0 20 0 19 0 35069240 19452874752 31299 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=18996948 memory=121100 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 31299 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069242 19452874752 31299 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069255 19452874752 31299 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125196 KiB

[startup+25.5002 s]
/proc/loadavg: 3.29 2.06 2.65 5/344 25100
/proc/meminfo: memFree=125922064/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=172816 CPUtime=26.51 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 22520 0 0 0 2646 5 0 0 20 0 20 0 35069238 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 43204 5453 1 0 551803 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=121100 CPUtime=25.36 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 7262 0 0 0 2534 2 0 0 20 0 20 0 35069240 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=-6000919481263220589 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 26.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172816 KiB

[startup+51.1056 s]
/proc/loadavg: 3.60 2.23 2.69 5/344 25101
/proc/meminfo: memFree=125454396/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=172816 CPUtime=52.06 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 22616 0 0 0 5200 6 0 0 20 0 20 0 35069238 19521036288 43204 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 43204 5453 1 0 551803 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=14720 CPUtime=50.9 cores=5,7

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

/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 615 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3215.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/340 25399
/proc/meminfo: memFree=117028248/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3275.15 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 41764 0 0 0 327431 84 0 0 20 0 20 0 35069238 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 285334 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3271.47 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 14386 0 0 0 327137 10 0 0 20 0 20 0 35069240 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 615 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3275.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.25 4.13 5/339 25401
/proc/meminfo: memFree=117028148/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3334.97 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 41834 0 0 0 333412 85 0 0 20 0 20 0 35069238 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 285334 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3331.27 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 14430 0 0 0 333117 10 0 0 20 0 20 0 35069240 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 615 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3334.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.13 5/339 25403
/proc/meminfo: memFree=117028052/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3394.8 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 41995 0 0 0 339394 86 0 0 20 0 20 0 35069238 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 285334 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3391.07 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 14542 0 0 0 339097 10 0 0 20 0 20 0 35069240 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 615 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3394.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/340 25406
/proc/meminfo: memFree=117027956/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3454.62 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 42521 0 0 0 345375 87 0 0 20 0 20 0 35069238 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 285334 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=1141336 CPUtime=3450.88 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 14941 0 0 0 345078 10 0 0 20 0 20 0 35069240 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 615 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 285334 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3454.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1141336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/340 25411
/proc/meminfo: memFree=116991200/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1168024 CPUtime=3514.5 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 43773 0 0 0 351361 89 0 0 20 0 20 0 35069238 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 292006 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=17152 CPUtime=3510.62 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 15192 0 0 0 351052 10 0 0 20 0 20 0 35069240 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=1141336 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 708 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3514.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1168024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/340 25479
/proc/meminfo: memFree=121900448/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1168024 CPUtime=3574.35 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 44206 0 0 0 357345 90 0 0 20 0 20 0 35069238 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 292006 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=17152 CPUtime=3570.45 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 15475 0 0 0 357035 10 0 0 20 0 20 0 35069240 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=1168024 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1168024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 4.19 4.19 4.13 5/341 25553
/proc/meminfo: memFree=123646196/131249992 swapFree=33010672/33010684
[pid=25079] ppid=25076 vsize=19063512 memory=1168024 CPUtime=3600 cores=5,7
/proc/25079/stat : 25079 (java) S 25076 25079 24622 0 -1 4194304 44267 0 0 0 359909 91 0 0 20 0 20 0 35069238 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
/proc/25079/statm: 4765878 292006 5485 1 0 551819 0
[pid=25079/tid=25081] ppid=25076 vsize=19063512 memory=26136 CPUtime=3596.09 cores=5,7
/proc/25079/task/25081/stat : 25081 (java) R 25076 25079 24622 0 -1 4194368 15520 0 0 0 359599 10 0 0 20 0 20 0 35069240 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25090] ppid=25076 vsize=19063512 memory=6836 CPUtime=0 cores=5,7
/proc/25079/task/25090/stat : 25090 (Finalizer) S 25076 25079 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25097] ppid=25076 vsize=19063512 memory=5704 CPUtime=0 cores=5,7
/proc/25079/task/25097/stat : 25097 (Common-Cleaner) S 25076 25079 24622 0 -1 4194368 783 0 0 0 0 0 0 0 20 0 20 0 35069242 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
[pid=25079/tid=25098] ppid=25076 vsize=19063512 memory=-6000919507099805549 CPUtime=0 cores=5,7
/proc/25079/task/25098/stat : 25098 (Timer-0) S 25076 25079 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069255 19521036288 292006 18446744073709551615 94586672517120 94586672520816 140730467882288 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94586672528632 94586672529424 94586688557056 140730467887489 140730467887590 140730467887590 140730467893192 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1168024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.22 s, system=0.91925 s

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

[startup+3608.11 s]*
/proc/loadavg: 4.19 4.19 4.13 5/320 25556
/proc/meminfo: memFree=124778316/131249992 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3608.12
CPU time (s): 3600.14
CPU user time (s): 3599.22
CPU system time (s): 0.91925
CPU usage (%): 99.7786
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1168024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 0.91925
maximum resident set size= 1169048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102638
involuntary context switches= 19717


# summary of solver processes directly reported to runsolver:
#   pid: 25079
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3599.22
#   total CPU system time (s): 0.91925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09765 second user time and 16.8726 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 12:45:47
IDJOB=4509724
IDBENCH=158790
IDSOLVER=3363
FILE ID=nodeC035/4509724-1751193947
RUNJOBID= nodeC035-1751193887-24635
SLURM_JOB_ID= 9587593
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509724-1751193947/watcher-4509724-1751193947 -o /tmp/evaluation-result-4509724-1751193947/solver-4509724-1751193947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509724-1751193947.opb

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

MD5SUM BENCH= 70456d73d2f29031b06a5b292ce0fc7b
RANDOM SEED=1822070324

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126531104 kB
MemAvailable:   128984312 kB
Buffers:            2352 kB
Cached:          3247708 kB
SwapCached:            8 kB
Active:          1145104 kB
Inactive:        2963512 kB
Active(anon):     870576 kB
Inactive(anon):     6036 kB
Active(file):     274528 kB
Inactive(file):  2957476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1764 kB
Writeback:             0 kB
AnonPages:        861632 kB
Mapped:           122656 kB
Shmem:             18056 kB
KReclaimable:     120888 kB
Slab:             207192 kB
SReclaimable:     120888 kB
SUnreclaim:        86304 kB
KernelStack:        5216 kB
PageTables:         5252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7044212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    681984 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-06-29 13:45:55