Trace number 4516327

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.23 3494.95

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
MD5SUM6964b646467d268a62556124320c5d40
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.053684
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1585
Number of constraints which are clauses1584
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint792
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 805
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.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.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4516327-1751237587.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.054s.
0.12/0.19	c declared #vars     792
0.12/0.19	c #constraints  1585
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1584
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.19	c 1585 constraints processed.
3.43/1.82	c cleaning 2497 clauses out of 5002 with flag 10639/5002
4.59/2.77	c cleaning 4252 clauses out of 8504 with flag 23445/11001
6.06/4.01	c cleaning 5624 clauses out of 11251 with flag 38345/18000
7.55/5.41	c cleaning 6814 clauses out of 13627 with flag 55485/26000
9.12/6.92	c cleaning 7902 clauses out of 15814 with flag 74685/35001
10.92/8.63	c cleaning 8956 clauses out of 17912 with flag 95948/45001
12.84/10.37	c cleaning 9975 clauses out of 19955 with flag 119293/56000
15.01/12.41	c cleaning 10989 clauses out of 21980 with flag 144815/68000
17.19/14.58	c cleaning 11995 clauses out of 23992 with flag 172464/81001
19.79/17.05	c cleaning 12998 clauses out of 25996 with flag 202202/95000
23.07/20.00	c cleaning 13994 clauses out of 27999 with flag 234196/110001
25.78/22.60	c cleaning 15003 clauses out of 30005 with flag 268079/126001
28.91/25.69	c cleaning 16000 clauses out of 32001 with flag 304206/143000
32.23/29.00	c cleaning 17001 clauses out of 34001 with flag 342371/161000
35.69/32.39	c cleaning 17995 clauses out of 36000 with flag 382616/180000
39.77/36.07	c cleaning 19000 clauses out of 38006 with flag 425146/200001
43.69/39.87	c cleaning 20003 clauses out of 40005 with flag 469772/221000
47.66/43.65	c cleaning 20996 clauses out of 42003 with flag 516412/243001
51.99/47.84	c cleaning 22003 clauses out of 44007 with flag 565027/266001
56.74/52.41	c cleaning 22997 clauses out of 46003 with flag 615968/290000
61.70/57.27	c cleaning 24001 clauses out of 48008 with flag 669361/315002
66.69/62.29	c cleaning 24996 clauses out of 50006 with flag 724741/341001
73.54/68.64	c cleaning 26005 clauses out of 52010 with flag 782181/368001
79.91/74.61	c cleaning 26995 clauses out of 54004 with flag 841366/396000
86.33/80.90	c cleaning 27999 clauses out of 56010 with flag 902611/425001
92.04/86.56	c cleaning 29001 clauses out of 58010 with flag 965821/455000
97.47/91.84	c cleaning 29996 clauses out of 60010 with flag 1031020/486001
103.49/97.74	c cleaning 31004 clauses out of 62013 with flag 1098187/518000
110.68/104.49	c cleaning 32004 clauses out of 64009 with flag 1167596/551000
116.90/110.64	c cleaning 32999 clauses out of 66006 with flag 1239135/585001
124.11/117.57	c cleaning 33997 clauses out of 68007 with flag 1312902/620001
131.40/124.70	c cleaning 35003 clauses out of 70010 with flag 1388843/656001
139.43/132.22	c cleaning 36001 clauses out of 72009 with flag 1467264/693003
146.89/139.59	c cleaning 37000 clauses out of 74005 with flag 1547457/731000
154.74/147.26	c cleaning 37996 clauses out of 76007 with flag 1630235/770002
163.36/155.32	c cleaning 38998 clauses out of 78011 with flag 1714960/810002
172.50/164.33	c cleaning 39999 clauses out of 80011 with flag 1802193/851000
181.51/173.25	c cleaning 41006 clauses out of 82012 with flag 1891445/893000
192.00/182.76	c cleaning 42003 clauses out of 84006 with flag 1982203/936000
203.10/193.34	c cleaning 43000 clauses out of 86004 with flag 2075741/980001
213.62/203.50	c cleaning 44002 clauses out of 88003 with flag 2171403/1025000
223.53/213.16	c cleaning 44997 clauses out of 90001 with flag 2268148/1071000
234.52/223.86	c cleaning 45995 clauses out of 92005 with flag 2367013/1118001
245.44/234.28	c cleaning 46999 clauses out of 94009 with flag 2468261/1166000
256.50/245.00	c cleaning 48002 clauses out of 96012 with flag 2572350/1215002
269.64/257.76	c cleaning 49003 clauses out of 98008 with flag 2678567/1265000
282.93/270.76	c cleaning 49997 clauses out of 100005 with flag 2786697/1316000
296.39/283.83	c cleaning 51004 clauses out of 102009 with flag 2896855/1368001
310.07/296.83	c cleaning 52003 clauses out of 104005 with flag 3008973/1421001
326.40/312.80	c cleaning 53001 clauses out of 106001 with flag 3123575/1475000
338.63/324.76	c cleaning 53994 clauses out of 108002 with flag 3239427/1530002
351.32/336.98	c cleaning 54997 clauses out of 110006 with flag 3357622/1586000
364.89/349.27	c cleaning 55995 clauses out of 112009 with flag 3478552/1643000
378.88/362.91	c cleaning 57002 clauses out of 114014 with flag 3601128/1701000
393.10/376.44	c cleaning 58003 clauses out of 116013 with flag 3725982/1760001
407.12/390.11	c cleaning 59001 clauses out of 118011 with flag 3853387/1820002
421.70/404.28	c cleaning 60002 clauses out of 120010 with flag 3982750/1881002
438.96/421.01	c cleaning 60999 clauses out of 122008 with flag 4114395/1943002
454.32/435.98	c cleaning 62003 clauses out of 124007 with flag 4247890/2006000
470.79/452.00	c cleaning 63000 clauses out of 126004 with flag 4383555/2070000
487.97/468.64	c cleaning 64001 clauses out of 128006 with flag 4521270/2135002
506.78/486.73	c cleaning 64999 clauses out of 130004 with flag 4661151/2201001
524.41/504.09	c cleaning 65998 clauses out of 132005 with flag 4802910/2268001
543.46/522.63	c cleaning 66999 clauses out of 134006 with flag 4946950/2336000
564.63/541.76	c cleaning 67998 clauses out of 136007 with flag 5093266/2405000
585.39/562.16	c cleaning 69002 clauses out of 138012 with flag 5241404/2475003
605.30/581.60	c cleaning 69997 clauses out of 140007 with flag 5391698/2546000
625.38/601.28	c cleaning 71000 clauses out of 142011 with flag 5544438/2618001
646.17/621.53	c cleaning 72000 clauses out of 144010 with flag 5699064/2691000
667.48/642.20	c cleaning 73003 clauses out of 146010 with flag 5855932/2765000
687.03/661.06	c cleaning 73993 clauses out of 148007 with flag 6014595/2840000
708.30/681.62	c cleaning 75004 clauses out of 150016 with flag 6176388/2916002
728.32/701.34	c cleaning 76004 clauses out of 152010 with flag 6339620/2993000
749.31/721.64	c cleaning 76996 clauses out of 154008 with flag 6504429/3071002
771.63/743.52	c cleaning 77991 clauses out of 156011 with flag 6672026/3150001
798.02/768.17	c cleaning 79007 clauses out of 158021 with flag 6842445/3230002
824.72/794.16	c cleaning 80007 clauses out of 160013 with flag 7014796/3311001
848.65/817.31	c cleaning 80997 clauses out of 162006 with flag 7189076/3393001
879.58/847.84	c cleaning 82003 clauses out of 164008 with flag 7365369/3476000
904.42/872.06	c cleaning 82993 clauses out of 166005 with flag 7544157/3560000
928.17/895.32	c cleaning 84005 clauses out of 168012 with flag 7725193/3645000
961.59/928.37	c cleaning 84999 clauses out of 170007 with flag 7908127/3731000
983.60/949.49	c cleaning 85997 clauses out of 172008 with flag 8092786/3818000
1008.26/973.44	c cleaning 87000 clauses out of 174012 with flag 8280183/3906001
1031.63/996.12	c cleaning 88000 clauses out of 176011 with flag 8469502/3995000
1055.18/1018.98	c cleaning 89004 clauses out of 178012 with flag 8660149/4085001
1079.09/1042.28	c cleaning 89998 clauses out of 180008 with flag 8853168/4176001
1103.64/1066.35	c cleaning 91005 clauses out of 182010 with flag 9048705/4268001
1126.22/1088.03	c cleaning 91997 clauses out of 184004 with flag 9245575/4361000
1147.93/1109.09	c cleaning 93002 clauses out of 186008 with flag 9444827/4455001
1172.83/1131.14	c cleaning 93999 clauses out of 188006 with flag 9647010/4550001
1196.12/1153.77	c cleaning 94998 clauses out of 190006 with flag 9851068/4646000
1219.20/1175.96	c cleaning 96000 clauses out of 192009 with flag 10056361/4743001
1245.06/1200.94	c cleaning 97002 clauses out of 194009 with flag 10264191/4841001
1267.65/1222.85	c cleaning 97996 clauses out of 196006 with flag 10473637/4940000
1295.35/1249.76	c cleaning 98999 clauses out of 198011 with flag 10685110/5040001
1323.74/1277.23	c cleaning 100003 clauses out of 200013 with flag 10898329/5141002
1352.21/1304.83	c cleaning 101005 clauses out of 202010 with flag 11114136/5243002
1379.29/1331.26	c cleaning 101997 clauses out of 204003 with flag 11332135/5346000
1407.07/1358.29	c cleaning 103001 clauses out of 206006 with flag 11552333/5450000
1442.10/1392.67	c cleaning 103999 clauses out of 208005 with flag 11775746/5555000
1471.91/1421.61	c cleaning 104996 clauses out of 210006 with flag 12001135/5661000
1502.05/1448.63	c cleaning 106004 clauses out of 212010 with flag 12228538/5768000
1532.13/1477.83	c cleaning 107002 clauses out of 214008 with flag 12457969/5876002
1564.66/1509.22	c cleaning 108001 clauses out of 216005 with flag 12689776/5985001
1596.13/1539.92	c cleaning 109000 clauses out of 218004 with flag 12923480/6095001
1627.46/1570.40	c cleaning 110002 clauses out of 220003 with flag 13159596/6206000
1656.33/1598.49	c cleaning 110996 clauses out of 222001 with flag 13396691/6318000
1691.50/1632.98	c cleaning 112004 clauses out of 224007 with flag 13636958/6431002
1727.43/1668.23	c cleaning 112998 clauses out of 226001 with flag 13879492/6545000
1761.88/1702.18	c cleaning 113993 clauses out of 228004 with flag 14122883/6660001
1790.41/1729.80	c cleaning 115002 clauses out of 230012 with flag 14367540/6776002
1831.86/1768.22	c cleaning 115998 clauses out of 232008 with flag 14614602/6893000
1878.58/1814.49	c cleaning 117002 clauses out of 234011 with flag 14864132/7011001
1923.42/1858.36	c cleaning 118001 clauses out of 236009 with flag 15117050/7130001
1958.83/1893.17	c cleaning 118997 clauses out of 238007 with flag 15371718/7250000
1993.94/1927.23	c cleaning 119996 clauses out of 240010 with flag 15628873/7371000
2032.68/1964.93	c cleaning 121002 clauses out of 242014 with flag 15887445/7493000
2070.74/2002.54	c cleaning 121993 clauses out of 244012 with flag 16148460/7616000
2101.64/2032.50	c cleaning 123004 clauses out of 246019 with flag 16411630/7740000
2134.26/2064.35	c cleaning 123998 clauses out of 248016 with flag 16676930/7865001
2176.30/2103.99	c cleaning 125009 clauses out of 250018 with flag 16944321/7991001
2212.65/2139.11	c cleaning 126003 clauses out of 252009 with flag 17211331/8118001
2250.33/2176.10	c cleaning 126994 clauses out of 254006 with flag 17482410/8246001
2285.57/2210.64	c cleaning 128002 clauses out of 256011 with flag 17755830/8375000
2322.39/2247.48	c cleaning 129000 clauses out of 258011 with flag 18031673/8505002
2360.91/2285.17	c cleaning 129997 clauses out of 260009 with flag 18309447/8636000
2417.20/2340.90	c cleaning 130999 clauses out of 262012 with flag 18590059/8768000
2466.08/2389.06	c cleaning 132002 clauses out of 264013 with flag 18873063/8901000
2507.75/2429.97	c cleaning 132999 clauses out of 266011 with flag 19156889/9035000
2549.45/2467.95	c cleaning 134006 clauses out of 268013 with flag 19443232/9170001
2589.71/2507.21	c cleaning 134995 clauses out of 270007 with flag 19731815/9306001
2634.15/2550.90	c cleaning 136005 clauses out of 272012 with flag 20023200/9443001
2686.00/2601.99	c cleaning 136996 clauses out of 274008 with flag 20316085/9581002
2740.27/2655.53	c cleaning 138005 clauses out of 276012 with flag 20610486/9720002
2797.50/2711.94	c cleaning 138998 clauses out of 278006 with flag 20907242/9860001
2857.59/2771.30	c cleaning 140001 clauses out of 280008 with flag 21205392/10001001
2909.98/2822.76	c cleaning 141000 clauses out of 282008 with flag 21506557/10143002
2961.33/2870.15	c cleaning 141994 clauses out of 284006 with flag 21810279/10286000
3003.75/2911.57	c cleaning 143003 clauses out of 286014 with flag 22116106/10430002
3051.85/2959.04	c cleaning 144000 clauses out of 288010 with flag 22422821/10575001
3099.91/3006.15	c cleaning 145005 clauses out of 290010 with flag 22732202/10721001
3144.53/3050.14	c cleaning 145999 clauses out of 292006 with flag 23043569/10868002
3190.76/3095.45	c cleaning 147004 clauses out of 294007 with flag 23356461/11016002
3241.78/3145.81	c cleaning 147997 clauses out of 296001 with flag 23672725/11165000
3291.14/3194.24	c cleaning 149003 clauses out of 298006 with flag 23990490/11315002
3349.47/3249.30	c cleaning 149990 clauses out of 300001 with flag 24310082/11466000
3399.58/3298.62	c cleaning 151000 clauses out of 302011 with flag 24630801/11618000
3442.74/3340.80	c cleaning 152005 clauses out of 304011 with flag 24953075/11771000
3488.96/3386.39	c cleaning 153000 clauses out of 306008 with flag 25277394/11925002
3530.20/3426.64	c cleaning 153998 clauses out of 308006 with flag 25604494/12080000
3571.26/3466.77	c cleaning 154998 clauses out of 310008 with flag 25932360/12236000
3600.01/3494.61	c starts		: 1
3600.01/3494.62	c conflicts		: 12360193
3600.01/3494.62	c decisions		: 13183301
3600.01/3494.62	c propagations		: 64416680
3600.01/3494.62	c inspects		: 5837197774
3600.01/3494.62	c shortcuts		: 0
3600.01/3494.62	c learnt literals	: 0
3600.01/3494.62	c learnt binary clauses	: 0
3600.01/3494.62	c learnt ternary clauses	: 0
3600.01/3494.62	c learnt constraints	: 12360193
3600.01/3494.62	c ignored constraints	: 0
3600.01/3494.62	c root simplifications	: 0
3600.01/3494.62	c removed literals (reason simplification)	: 231985891
3600.01/3494.62	c reason swapping (by a shorter reason)	: 0
3600.01/3494.62	c timeout
3600.01/3494.62	c Calls to reduceDB	: 152
3600.01/3494.62	c Number of update (reduction) of LBD	: 195374
3600.01/3494.62	c Imported unit clauses	: 0
3600.01/3494.62	c No decision after first conflict	: false
3600.01/3494.62	c number of reductions to clauses (during analyze)	: 0
3600.01/3494.62	c number of learned constraints concerned by reduction	: 0
3600.01/3494.62	c number of learning phase by resolution	: 0
3600.01/3494.62	c number of learning phase by cutting planes	: 0
3600.01/3494.62	c number of rounding to 1 operations	: 0
3600.01/3494.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3494.62	c number of reductions of the coefficients by power 2 	: 0
3600.01/3494.62	c number of right shift for reduction by power 2 	: 0
3600.01/3494.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3494.62	c number of ending skipping 	: 0
3600.01/3494.62	c number of internal skipping 	: 0
3600.01/3494.62	c number of derivation steps 	: 0
3600.01/3494.62	c number of skipped derivation steps 	: 0
3600.01/3494.62	c number of remaining unassigned 	: 0
3600.01/3494.62	c number of remaining assigned 	: 0
3600.01/3494.62	c number of falsified literals weakened from reason	: 0
3600.01/3494.62	c number of falsified literals weakened from conflict	: 0
3600.01/3494.62	c time for arithmetic operations	: 0
3600.01/3494.62	c minimum degree of deleted constraints	: null
3600.01/3494.62	c maximum degree of deleted constraints	: null
3600.01/3494.62	c number of deleted constraints	: 0
3600.01/3494.62	c speed (assignments/second)	: 18434.133923072874
3600.01/3494.62	c non guided choices	: 174
3600.01/3494.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 279203
3600.01/3494.69	s UNKNOWN
3600.01/3494.69	c Total wall clock time (in seconds): 3494.561

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 (56573 MiB free)
  memory of node 1: 64465 MiB (47831 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100035 s]*
/proc/loadavg: 4.18 4.35 4.34 6/348 36453
/proc/meminfo: memFree=106878032/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=18930384 memory=57772 CPUtime=0.12 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 6569 0 0 0 10 2 0 0 20 0 18 0 39438071 19384713216 14443 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4732596 14443 5350 1 0 547619 0
[pid=36435/tid=36437] ppid=36432 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 5073 0 0 0 6 1 0 0 20 0 18 0 39438072 19384713216 14443 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39438074 19384713216 14443 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39438075 19384713216 14443 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57772 KiB

[startup+0.206206 s]*
/proc/loadavg: 4.18 4.35 4.34 7/349 36454
/proc/meminfo: memFree=106877024/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=18996948 memory=64124 CPUtime=0.31 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 7068 0 0 0 29 2 0 0 20 0 19 0 39438071 19452874752 16031 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4749237 16031 5446 1 0 548188 0
[pid=36435/tid=36437] ppid=36432 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 5305 0 0 0 15 1 0 0 20 0 19 0 39438072 19452874752 16031 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=18996948 memory=16898 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39438074 19452874752 16031 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=18996948 memory=59585004307431 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39438075 19452874752 16031 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=18996948 memory=156632 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39438091 19452874752 16031 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64124 KiB

[startup+0.306217 s]*
/proc/loadavg: 4.18 4.35 4.34 6/349 36454
/proc/meminfo: memFree=106863604/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=18996948 memory=78952 CPUtime=0.51 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 8545 0 0 0 48 3 0 0 20 0 19 0 39438071 19452874752 19738 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4749237 19738 5446 1 0 548769 0
[pid=36435/tid=36437] ppid=36432 vsize=18996948 memory=-6000919498509936236 CPUtime=0.25 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 5363 0 0 0 23 2 0 0 20 0 19 0 39438072 19452874752 19738 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39438074 19452874752 19738 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39438075 19452874752 19738 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39438091 19452874752 19738 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78952 KiB

[startup+0.700245 s]
/proc/loadavg: 4.18 4.35 4.34 7/349 36454
/proc/meminfo: memFree=106794164/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=160968 CPUtime=1.26 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 10132 0 0 0 120 6 0 0 20 0 20 0 39438071 19521036288 40242 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 40242 5478 1 0 549791 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=18048 CPUtime=0.62 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 5411 0 0 0 58 4 0 0 20 0 20 0 39438072 19521036288 40242 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 40242 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 40242 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 40242 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 160968 KiB

[startup+1.50025 s]
/proc/loadavg: 4.18 4.35 4.34 6/350 36455
/proc/meminfo: memFree=106753648/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=186540 CPUtime=2.85 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 17296 0 0 0 277 8 0 0 20 0 20 0 39438071 19521036288 46635 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 46635 5478 1 0 551974 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 5732 0 0 0 131 5 0 0 20 0 20 0 39438072 19521036288 46635 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 46635 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 46635 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 46635 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186540 KiB

[startup+3.10601 s]
/proc/loadavg: 4.18 4.35 4.34 5/350 36455
/proc/meminfo: memFree=106260056/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=646924 CPUtime=5.09 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 21007 0 0 0 489 20 0 0 20 0 20 0 39438071 19521036288 161731 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 161731 5478 1 0 1272691 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=10752 CPUtime=2.79 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 6751 0 0 0 266 13 0 0 20 0 20 0 39438072 19521036288 161731 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=-6000919498509936236 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 161731 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 161731 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 161731 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 646924 KiB

[startup+6.30024 s]
/proc/loadavg: 4.25 4.36 4.35 5/350 36455
/proc/meminfo: memFree=105244736/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=1668248 CPUtime=8.51 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 22373 0 0 0 809 42 0 0 20 0 20 0 39438071 19521036288 417062 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 417062 5478 1 0 1535904 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=0 CPUtime=5.7 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 7148 0 0 0 541 29 0 0 20 0 20 0 39438072 19521036288 417062 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 417062 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 417062 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=192848 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 417062 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1668248 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.35 4.35 5/350 36455
/proc/meminfo: memFree=103738944/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=2695588 CPUtime=15.39 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 23282 0 0 0 1469 70 0 0 20 0 20 0 39438071 19521036288 673897 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 673897 5478 1 0 1657067 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=192848 CPUtime=11.72 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 7521 0 0 0 1122 50 0 0 20 0 20 0 39438072 19521036288 673897 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=2529588 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 673897 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 673897 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 673897 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2695588 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.35 4.35 5/351 36457
/proc/meminfo: memFree=102669552/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=3166836 CPUtime=28.81 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 25159 0 0 0 2786 95 0 0 20 0 20 0 39438071 19521036288 791709 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 791709 5478 1 0 1657073 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=2529588 CPUtime=23.85 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 8788 0 0 0 2316 69 0 0 20 0 20 0 39438072 19521036288 791709 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 791709 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=-6000919498509936236 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 791709 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 791709 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 28.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3166836 KiB

[startup+51.1062 s]
/proc/loadavg: 4.29 4.35 4.35 5/351 36457
/proc/meminfo: memFree=99447916/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=5218436 CPUtime=55.29 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 32631 0 0 0 5364 165 0 0 20 0 20 0 39438071 19521036288 1304609 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 1304609 5510 1 0 1788683 0

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

Current children cumulated memory: 16260152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/345 36713
/proc/meminfo: memFree=32680212/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16260920 CPUtime=3322.07 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 474461 0 0 0 329302 2905 0 0 20 0 20 0 39438071 19521036288 4065230 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4065230 5542 1 0 4080665 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=14412 CPUtime=3104.5 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) S 36432 36435 34474 0 -1 4194368 245791 0 0 0 307766 2684 0 0 20 0 20 0 39438072 19521036288 4065230 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=16260152 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4065230 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=16260920 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3455 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4065230 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4065230 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3322.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16260920 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/345 36717
/proc/meminfo: memFree=32363112/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3383.35 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 488463 0 0 0 335384 2951 0 0 20 0 20 0 39438071 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4067278 5542 1 0 4082753 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3162.12 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) S 36432 36435 34474 0 -1 4194368 255153 0 0 0 313485 2727 0 0 20 0 20 0 39438072 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=14412 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3455 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3383.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/346 36721
/proc/meminfo: memFree=31875808/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3444.24 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 497851 0 0 0 341429 2995 0 0 20 0 20 0 39438071 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4067278 5542 1 0 4082753 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=10752 CPUtime=3220.02 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 262652 0 0 0 319233 2769 0 0 20 0 20 0 39438072 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3590 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3444.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269112 KiB

[startup+3402.3 s]
/proc/loadavg: 3.79 4.08 4.15 4/320 36757
/proc/meminfo: memFree=47275128/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3505.42 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 507531 0 0 0 347497 3045 0 0 20 0 20 0 39438071 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4067278 5542 1 0 4082753 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=5504 CPUtime=3277.52 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 269071 0 0 0 324935 2817 0 0 20 0 20 0 39438072 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=-6000919498509936236 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3718 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3505.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269112 KiB

[startup+3462.3 s]
/proc/loadavg: 3.39 3.92 4.08 4/319 36760
/proc/meminfo: memFree=46222708/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3566.86 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 517089 0 0 0 353588 3098 0 0 20 0 20 0 39438071 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4067278 5542 1 0 4082753 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=18048 CPUtime=3334.69 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 276399 0 0 0 330601 2868 0 0 20 0 20 0 39438072 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3814 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3566.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3494.6 s]
/proc/loadavg: 3.33 3.84 4.05 4/320 36762
/proc/meminfo: memFree=45716024/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19063512 memory=16269112 CPUtime=3600.01 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 525307 0 0 0 356876 3125 0 0 20 0 20 0 39438071 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4765878 4067278 5542 1 0 4082753 0
[pid=36435/tid=36437] ppid=36432 vsize=19063512 memory=18048 CPUtime=3365.98 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 282024 0 0 0 333704 2894 0 0 20 0 20 0 39438072 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39438074 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3950 0 0 0 0 0 0 0 20 0 20 0 39438075 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36454] ppid=36432 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/36435/task/36454/stat : 36454 (Timer-0) S 36432 36435 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39438091 19521036288 4067278 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16269112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.89 s, system=31.3408 s

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

[startup+3494.8 s]
/proc/loadavg: 3.33 3.84 4.05 4/320 36762
/proc/meminfo: memFree=45716024/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19263204 memory=16269752 CPUtime=3600.17 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 528102 0 0 0 356888 3129 0 0 20 0 17 0 39438071 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4815801 4067438 5542 1 0 4083672 0
[pid=36435/tid=36437] ppid=36432 vsize=19263204 memory=10752 CPUtime=3366.03 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) R 36432 36435 34474 0 -1 4194368 282344 0 0 0 333706 2897 0 0 20 0 17 0 39438072 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19263204 memory=14412 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 39438074 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19263204 memory=18048 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3950 0 0 0 0 0 0 0 20 0 17 0 39438075 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16269752 KiB

[startup+3494.9 s]
/proc/loadavg: 3.33 3.84 4.05 4/320 36762
/proc/meminfo: memFree=45716024/131250000 swapFree=33009904/33010684
[pid=36435] ppid=36432 vsize=19263204 memory=16269752 CPUtime=3600.17 cores=0,2
/proc/36435/stat : 36435 (java) S 36432 36435 34474 0 -1 4194304 528102 0 0 0 356888 3129 0 0 20 0 17 0 39438071 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
/proc/36435/statm: 4815801 4067438 5542 1 0 4083672 0
[pid=36435/tid=36437] ppid=36432 vsize=19263204 memory=16269112 CPUtime=3366.03 cores=0,2
/proc/36435/task/36437/stat : 36437 (java) S 36432 36435 34474 0 -1 4194368 282344 0 0 0 333706 2897 0 0 20 0 17 0 39438072 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36446] ppid=36432 vsize=19263204 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36446/stat : 36446 (Finalizer) S 36432 36435 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 39438074 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
[pid=36435/tid=36453] ppid=36432 vsize=19263204 memory=16269112 CPUtime=0 cores=0,2
/proc/36435/task/36453/stat : 36453 (Common-Cleaner) S 36432 36435 34474 0 -1 4194368 3950 0 0 0 0 0 0 0 20 0 17 0 39438075 19725520896 4067438 18446744073709551615 94687770550272 94687770553968 140727421886320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94687770561784 94687770562576 94687779901440 140727421892912 140727421893094 140727421893094 140727421898696 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16269752 KiB

Child status: 143

Real time (s): 3494.95
CPU time (s): 3600.23
CPU user time (s): 3568.89
CPU system time (s): 31.3408
CPU usage (%): 103.012
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16269752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.89
system time used= 31.3408
maximum resident set size= 16269880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528131
page faults= 0
swaps= 0
block input operations= 8
block output operations= 66687200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139109
involuntary context switches= 21770


# summary of solver processes directly reported to runsolver:
#   pid: 36435
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3568.89
#   total CPU system time (s): 31.3408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78469 second user time and 17.8306 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 00:53:07
IDJOB=4516327
IDBENCH=170631
IDSOLVER=3364
FILE ID=nodeC033/4516327-1751237587
RUNJOBID= nodeC033-1751234104-34965
SLURM_JOB_ID= 9587701
Free space on /tmp= 432776 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516327-1751237587/watcher-4516327-1751237587 -o /tmp/evaluation-result-4516327-1751237587/solver-4516327-1751237587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34965 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516327-1751237587 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516327-1751237587.opb

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

MD5SUM BENCH= 6964b646467d268a62556124320c5d40
RANDOM SEED=946988881

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        106911584 kB
MemAvailable:   123785072 kB
Buffers:            2128 kB
Cached:         17656232 kB
SwapCached:           68 kB
Active:          6144644 kB
Inactive:       17500116 kB
Active(anon):    5977676 kB
Inactive(anon):    26880 kB
Active(file):     166968 kB
Inactive(file): 17473236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            688848 kB
Writeback:             0 kB
AnonPages:       5985844 kB
Mapped:           123824 kB
Shmem:             18028 kB
KReclaimable:     145044 kB
Slab:             255256 kB
SReclaimable:     145044 kB
SUnreclaim:       110212 kB
KernelStack:        5344 kB
PageTables:        15460 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7741592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151624 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5752832 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432776 MiB
End job on nodeC033 at 2025-06-30 01:51:22