Trace number 4502019

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.34 3610.74

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
MD5SUM9dbe363344c0fe5585984e30a944da25
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23114
Total number of constraints76854
Number of constraints which are clauses76350
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint90
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 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 532
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.20	c os.arch		amd64
0.11/0.21	c Free memory 		2104792832
0.11/0.21	c Max memory 		16282288128
0.11/0.21	c Total memory 		2113929216
0.11/0.22	c Number of processors 	2
0.26/0.32	c Pseudo Boolean Optimization by upper bound
0.26/0.32	c --- Begin Solver configuration ---
0.26/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.26/0.32	c Learn all clauses as in MiniSAT
0.26/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.32	c Expensive reason simplification
0.26/0.32	c Glucose 2.1 dynamic restart strategy
0.26/0.32	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.26/0.32	c timeout=2147483s
0.26/0.32	c DB Simplification allowed=false
0.26/0.32	c Listener: none
0.26/0.32	c --- End Solver configuration ---
0.40/0.33	c solving HOME/instance-4502019-1751160886.opb
0.40/0.33	c reading problem ... 
0.40/0.33	c using VERIPB proof format
0.40/0.33	c  no objective function found
1.45/0.97	c ... done. Wall clock time 0.645s.
1.45/0.97	c declared #vars     23114
1.45/0.97	c #constraints  76854
1.45/0.97	c constraints type 
1.45/0.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 56943
1.45/0.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 504
1.45/0.97	c org.sat4j.specs.Constr$1 => 7398
1.45/0.97	c org.sat4j.pb.constraints.pb.UnitClausePB => 3065
1.45/0.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8944
1.45/0.97	c 76854 constraints processed.
4.81/2.61	c cleaning 2493 clauses out of 5000 with flag 19981/5000
6.70/3.68	c cleaning 4249 clauses out of 8507 with flag 46430/11000
8.90/4.87	c cleaning 5622 clauses out of 11259 with flag 80072/18001
10.30/6.16	c cleaning 6810 clauses out of 13636 with flag 120293/26000
11.56/7.46	c cleaning 7901 clauses out of 15827 with flag 174203/35001
13.53/9.10	c cleaning 8952 clauses out of 17925 with flag 220414/45000
15.22/10.78	c cleaning 9982 clauses out of 19973 with flag 286332/56000
17.22/12.71	c cleaning 10985 clauses out of 21994 with flag 352462/68003
19.22/14.75	c cleaning 11999 clauses out of 24007 with flag 421557/81001
21.42/17.01	c cleaning 12993 clauses out of 26010 with flag 508063/95003
23.92/19.47	c cleaning 14000 clauses out of 28015 with flag 593299/110001
26.70/22.08	c cleaning 15004 clauses out of 30013 with flag 686267/126000
29.81/24.90	c cleaning 15994 clauses out of 32009 with flag 785290/143000
32.90/27.77	c cleaning 16995 clauses out of 34017 with flag 885126/161002
35.97/30.83	c cleaning 17993 clauses out of 36020 with flag 1002863/180000
39.19/34.08	c cleaning 19000 clauses out of 38027 with flag 1108588/200000
42.57/37.45	c cleaning 20007 clauses out of 40028 with flag 1249273/221001
46.27/41.13	c cleaning 20989 clauses out of 42020 with flag 1424466/243000
50.32/45.02	c cleaning 21998 clauses out of 44032 with flag 1575252/266001
54.33/49.11	c cleaning 23010 clauses out of 46033 with flag 1725289/290000
58.81/53.56	c cleaning 23995 clauses out of 48022 with flag 1873346/315000
63.50/58.25	c cleaning 24998 clauses out of 50027 with flag 2032841/341000
68.11/62.95	c cleaning 26002 clauses out of 52029 with flag 2214552/368000
72.80/67.60	c cleaning 27000 clauses out of 54027 with flag 2376065/396000
77.99/72.83	c cleaning 28003 clauses out of 56027 with flag 2543977/425000
83.38/78.26	c cleaning 29004 clauses out of 58024 with flag 2726448/455000
88.87/83.75	c cleaning 30001 clauses out of 60021 with flag 2907538/486001
94.56/89.47	c cleaning 31008 clauses out of 62019 with flag 3104766/518000
102.02/97.03	c cleaning 31987 clauses out of 64011 with flag 3292635/551000
108.57/103.68	c cleaning 33006 clauses out of 66025 with flag 3497575/585001
115.15/110.20	c cleaning 34001 clauses out of 68018 with flag 3704267/620000
121.74/116.86	c cleaning 34996 clauses out of 70018 with flag 3912710/656001
129.63/124.81	c cleaning 36004 clauses out of 72022 with flag 4114473/693001
136.93/132.16	c cleaning 37005 clauses out of 74017 with flag 4321351/731000
144.10/139.38	c cleaning 38005 clauses out of 76012 with flag 4560693/770000
151.48/146.75	c cleaning 38992 clauses out of 78010 with flag 4802787/810003
159.76/155.17	c cleaning 39996 clauses out of 80016 with flag 5036978/851001
169.14/164.10	c cleaning 40991 clauses out of 82019 with flag 5295692/893000
177.82/172.71	c cleaning 42003 clauses out of 84030 with flag 5534299/936002
186.30/181.29	c cleaning 43008 clauses out of 86024 with flag 5775421/980000
196.67/191.73	c cleaning 43997 clauses out of 88017 with flag 6030026/1025001
205.25/200.38	c cleaning 45005 clauses out of 90021 with flag 6282837/1071002
214.72/209.85	c cleaning 45995 clauses out of 92014 with flag 6573958/1118000
225.89/221.16	c cleaning 47002 clauses out of 94023 with flag 6860620/1166004
235.76/231.11	c cleaning 47998 clauses out of 96017 with flag 7160431/1215000
245.93/241.29	c cleaning 48992 clauses out of 98019 with flag 7455697/1265000
257.38/252.89	c cleaning 50001 clauses out of 100028 with flag 7724508/1316001
268.06/263.59	c cleaning 50996 clauses out of 102027 with flag 8023753/1368001
278.85/274.31	c cleaning 52007 clauses out of 104034 with flag 8352916/1421004
289.99/285.62	c cleaning 53007 clauses out of 106024 with flag 8655654/1475001
301.48/297.15	c cleaning 53995 clauses out of 108016 with flag 8996773/1530000
313.85/309.57	c cleaning 54997 clauses out of 110022 with flag 9294244/1586001
326.82/322.57	c cleaning 56007 clauses out of 112027 with flag 9624251/1643003
338.70/334.45	c cleaning 56992 clauses out of 114018 with flag 9918598/1701001
351.79/347.76	c cleaning 58006 clauses out of 116025 with flag 10276945/1760000
365.46/361.40	c cleaning 59003 clauses out of 118019 with flag 10617304/1820000
381.20/377.32	c cleaning 59998 clauses out of 120016 with flag 10951178/1881000
394.38/390.57	c cleaning 60987 clauses out of 122018 with flag 11301686/1943000
408.67/404.95	c cleaning 62010 clauses out of 124032 with flag 11669274/2006001
422.85/419.12	c cleaning 62999 clauses out of 126021 with flag 12035292/2070000
438.71/435.19	c cleaning 63998 clauses out of 128024 with flag 12382048/2135002
453.58/450.06	c cleaning 64996 clauses out of 130025 with flag 12766451/2201001
468.94/465.52	c cleaning 66015 clauses out of 132031 with flag 13138063/2268003
484.74/481.31	c cleaning 67002 clauses out of 134013 with flag 13488103/2336000
502.32/499.08	c cleaning 67998 clauses out of 136011 with flag 13865843/2405000
519.17/515.94	c cleaning 68986 clauses out of 138013 with flag 14243634/2475000
537.14/534.03	c cleaning 70006 clauses out of 140027 with flag 14611821/2546000
554.78/551.62	c cleaning 71004 clauses out of 142021 with flag 15003014/2618000
573.80/570.82	c cleaning 71984 clauses out of 144017 with flag 15382911/2691000
591.78/589.01	c cleaning 73008 clauses out of 146034 with flag 15771047/2765001
610.41/607.50	c cleaning 74003 clauses out of 148027 with flag 16140889/2840002
630.87/628.13	c cleaning 75002 clauses out of 150022 with flag 16519059/2916000
651.33/648.78	c cleaning 75995 clauses out of 152021 with flag 16930930/2993001
670.71/668.13	c cleaning 77002 clauses out of 154030 with flag 17352626/3071005
691.57/689.19	c cleaning 77999 clauses out of 156023 with flag 17750625/3150000
710.76/708.49	c cleaning 79000 clauses out of 158025 with flag 18161318/3230001
731.14/728.86	c cleaning 79998 clauses out of 160024 with flag 18622768/3311000
751.35/749.15	c cleaning 81007 clauses out of 162027 with flag 19041504/3393001
771.84/769.71	c cleaning 81998 clauses out of 164021 with flag 19473560/3476002
793.25/791.14	c cleaning 82992 clauses out of 166023 with flag 19935941/3560002
816.19/814.74	c cleaning 83995 clauses out of 168030 with flag 20382659/3645001
838.30/836.93	c cleaning 85007 clauses out of 170034 with flag 20803139/3731000
860.00/858.68	c cleaning 85996 clauses out of 172030 with flag 21255057/3818003
884.42/883.24	c cleaning 87009 clauses out of 174032 with flag 21703412/3906001
909.18/908.18	c cleaning 87993 clauses out of 176024 with flag 22192669/3995002
933.84/932.93	c cleaning 89003 clauses out of 178029 with flag 22680484/4085000
958.97/958.12	c cleaning 90003 clauses out of 180026 with flag 23127825/4176000
982.53/981.75	c cleaning 90999 clauses out of 182024 with flag 23556803/4268001
1007.22/1006.48	c cleaning 92004 clauses out of 184024 with flag 24032375/4361000
1031.40/1030.75	c cleaning 92999 clauses out of 186022 with flag 24552186/4455002
1056.92/1056.30	c cleaning 93989 clauses out of 188021 with flag 24988350/4550000
1085.48/1085.05	c cleaning 95003 clauses out of 190032 with flag 25457409/4646000
1112.08/1111.40	c cleaning 96002 clauses out of 192030 with flag 25908965/4743002
1138.82/1138.21	c cleaning 96995 clauses out of 194026 with flag 26367835/4841000
1166.48/1165.96	c cleaning 98002 clauses out of 196032 with flag 26865769/4940001
1194.52/1194.10	c cleaning 98999 clauses out of 198029 with flag 27394988/5040000
1224.81/1224.41	c cleaning 100001 clauses out of 200031 with flag 27897169/5141001
1254.97/1254.79	c cleaning 101002 clauses out of 202029 with flag 28383292/5243000
1284.88/1284.76	c cleaning 102009 clauses out of 204031 with flag 28869240/5346004
1313.29/1313.25	c cleaning 103007 clauses out of 206018 with flag 29359119/5450000
1342.18/1342.28	c cleaning 103999 clauses out of 208011 with flag 29839497/5555000
1371.14/1371.38	c cleaning 104995 clauses out of 210016 with flag 30325443/5661004
1401.43/1401.85	c cleaning 105996 clauses out of 212017 with flag 30834418/5768000
1433.79/1434.40	c cleaning 106994 clauses out of 214024 with flag 31366027/5876003
1465.93/1466.70	c cleaning 107995 clauses out of 216027 with flag 31892810/5985000
1498.45/1499.40	c cleaning 109008 clauses out of 218032 with flag 32385572/6095000
1531.67/1532.81	c cleaning 110004 clauses out of 220025 with flag 32888855/6206001
1565.75/1567.15	c cleaning 111000 clauses out of 222020 with flag 33416764/6318000
1598.01/1599.59	c cleaning 111995 clauses out of 224021 with flag 33944902/6431001
1633.41/1635.12	c cleaning 113006 clauses out of 226026 with flag 34469118/6545001
1667.15/1669.08	c cleaning 113999 clauses out of 228020 with flag 35014810/6660001
1703.26/1705.21	c cleaning 114997 clauses out of 230020 with flag 35561742/6776000
1737.97/1740.19	c cleaning 116003 clauses out of 232026 with flag 36102268/6893003
1774.73/1777.10	c cleaning 116997 clauses out of 234022 with flag 36653986/7011002
1809.78/1812.26	c cleaning 117999 clauses out of 236025 with flag 37212998/7130002
1846.13/1848.87	c cleaning 119005 clauses out of 238024 with flag 37763877/7250000
1882.22/1885.05	c cleaning 119998 clauses out of 240021 with flag 38357845/7371002
1917.60/1920.50	c cleaning 121006 clauses out of 242023 with flag 38941445/7493002
1955.46/1958.42	c cleaning 121993 clauses out of 244015 with flag 39513713/7616000
1992.53/1995.64	c cleaning 122997 clauses out of 246023 with flag 40075283/7740001
2030.55/2034.67	c cleaning 123989 clauses out of 248026 with flag 40641988/7865001
2069.12/2073.34	c cleaning 125012 clauses out of 250039 with flag 41218414/7991003
2107.06/2111.46	c cleaning 126000 clauses out of 252025 with flag 41797745/8118001
2147.61/2152.24	c cleaning 126986 clauses out of 254024 with flag 42390815/8246000
2187.22/2191.93	c cleaning 128010 clauses out of 256040 with flag 42978736/8375002
2226.09/2230.84	c cleaning 129001 clauses out of 258029 with flag 43586238/8505001
2267.67/2272.50	c cleaning 130008 clauses out of 260030 with flag 44191068/8636003
2312.67/2317.78	c cleaning 130991 clauses out of 262019 with flag 44780438/8768000
2353.74/2359.01	c cleaning 131992 clauses out of 264029 with flag 45374382/8901001
2396.43/2401.86	c cleaning 133005 clauses out of 266037 with flag 45952597/9035001
2438.30/2443.82	c cleaning 134010 clauses out of 268034 with flag 46557107/9170003
2481.84/2487.68	c cleaning 134999 clauses out of 270023 with flag 47175467/9306002
2527.44/2533.53	c cleaning 135991 clauses out of 272022 with flag 47776838/9443000
2569.83/2576.09	c cleaning 137004 clauses out of 274031 with flag 48385190/9581000
2616.63/2623.10	c cleaning 138002 clauses out of 276027 with flag 48986384/9720000
2661.93/2668.46	c cleaning 138997 clauses out of 278028 with flag 49639630/9860003
2709.08/2715.98	c cleaning 140010 clauses out of 280028 with flag 50246849/10001000
2754.37/2761.46	c cleaning 141005 clauses out of 282021 with flag 50874935/10143003
2801.94/2809.24	c cleaning 141988 clauses out of 284014 with flag 51530798/10286001
2851.94/2859.45	c cleaning 143010 clauses out of 286025 with flag 52157497/10430000
2899.92/2907.52	c cleaning 143985 clauses out of 288017 with flag 52769171/10575002
2949.49/2957.38	c cleaning 145005 clauses out of 290032 with flag 53391640/10721002
2997.24/3005.24	c cleaning 146001 clauses out of 292025 with flag 54027296/10868000
3046.82/3055.10	c cleaning 147002 clauses out of 294024 with flag 54700561/11016000
3095.77/3104.26	c cleaning 147997 clauses out of 296023 with flag 55362361/11165001
3145.46/3154.17	c cleaning 149005 clauses out of 298026 with flag 56017583/11315001
3197.33/3206.32	c cleaning 149994 clauses out of 300023 with flag 56651252/11466003
3250.32/3259.58	c cleaning 150998 clauses out of 302026 with flag 57294368/11618000
3303.75/3313.06	c cleaning 151998 clauses out of 304028 with flag 57942686/11771000
3355.90/3365.46	c cleaning 152994 clauses out of 306032 with flag 58635098/11925002
3408.31/3418.00	c cleaning 154012 clauses out of 308038 with flag 59295267/12080002
3461.19/3470.81	c cleaning 155002 clauses out of 310024 with flag 59976056/12236000
3515.25/3525.28	c cleaning 155999 clauses out of 312024 with flag 60637695/12393002
3569.53/3579.86	c cleaning 156994 clauses out of 314023 with flag 61320247/12551000
3600.07/3610.52	c starts		: 42200
3600.07/3610.52	c timeout
3600.07/3610.56	c conflicts		: 12646132
3600.07/3610.56	c decisions		: 18794443
3600.07/3610.56	c propagations		: 5529798970
3600.07/3610.56	c inspects		: 38238494531
3600.07/3610.56	c shortcuts		: 0
3600.07/3610.56	c learnt literals	: 4
3600.07/3610.56	c learnt binary clauses	: 66
3600.07/3610.56	c learnt ternary clauses	: 5258
3600.07/3610.56	c learnt constraints	: 12646128
3600.07/3610.56	c ignored constraints	: 0
3600.07/3610.56	c root simplifications	: 0
3600.07/3610.56	c removed literals (reason simplification)	: 160349344
3600.07/3610.56	c reason swapping (by a shorter reason)	: 0
3600.07/3610.56	c Calls to reduceDB	: 154
3600.07/3610.56	c Number of update (reduction) of LBD	: 4437771
3600.07/3610.56	c Imported unit clauses	: 0
3600.07/3610.56	c No decision after first conflict	: false
3600.07/3610.56	c number of reductions to clauses (during analyze)	: 0
3600.07/3610.56	c number of learned constraints concerned by reduction	: 0
3600.07/3610.56	c number of learning phase by resolution	: 0
3600.07/3610.56	c number of learning phase by cutting planes	: 0
3600.07/3610.56	c number of rounding to 1 operations	: 0
3600.07/3610.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3610.56	c number of reductions of the coefficients by power 2 	: 0
3600.07/3610.56	c number of right shift for reduction by power 2 	: 0
3600.07/3610.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3610.56	c number of ending skipping 	: 0
3600.07/3610.56	c number of internal skipping 	: 0
3600.07/3610.56	c number of derivation steps 	: 0
3600.07/3610.56	c number of skipped derivation steps 	: 0
3600.07/3610.56	c number of remaining unassigned 	: 0
3600.07/3610.56	c number of remaining assigned 	: 0
3600.07/3610.56	c number of falsified literals weakened from reason	: 0
3600.07/3610.57	c number of falsified literals weakened from conflict	: 0
3600.07/3610.57	c time for arithmetic operations	: 0
3600.07/3610.57	c minimum degree of deleted constraints	: null
3600.07/3610.57	c maximum degree of deleted constraints	: null
3600.07/3610.57	c number of deleted constraints	: 0
3600.07/3610.57	c speed (assignments/second)	: 1531982.3242152599
3600.07/3610.57	c non guided choices	: 22921
3600.30/3610.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 252095
3600.30/3610.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 66
3600.30/3610.71	s UNKNOWN
3600.30/3610.71	c Total wall clock time (in seconds): 3610.381

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502019-1751160886/watcher-4502019-1751160886 -o /tmp/evaluation-result-4502019-1751160886/solver-4502019-1751160886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16728 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502019-1751160886 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502019-1751160886.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 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
Current StackSize limit: 8192 KiB

solver pid=18563, runsolver pid=18560

[startup+0.100074 s]*
/proc/loadavg: 4.18 4.17 4.11 7/327 18581
/proc/meminfo: memFree=105276180/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=18930384 memory=48524 CPUtime=0.11 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 5807 0 0 0 8 3 0 0 20 0 18 0 31768310 19384713216 12131 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4732596 12131 5337 1 0 547006 0
[pid=18563/tid=18565] ppid=18560 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 4694 0 0 0 5 2 0 0 20 0 18 0 31768312 19384713216 12131 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31768315 19384713216 12131 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=18930384 memory=57394571004297 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31768316 19384713216 12131 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48524 KiB

[startup+0.223657 s]*
/proc/loadavg: 4.18 4.17 4.11 6/327 18581
/proc/meminfo: memFree=105233396/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=18930384 memory=55672 CPUtime=0.26 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 6554 0 0 0 22 4 0 0 20 0 18 0 31768310 19384713216 13918 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4732596 13918 5369 1 0 547603 0
[pid=18563/tid=18565] ppid=18560 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 5037 0 0 0 15 3 0 0 20 0 18 0 31768312 19384713216 13918 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=18930384 memory=1707 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31768315 19384713216 13918 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=18930384 memory=56295059358712 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31768316 19384713216 13918 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55672 KiB

[startup+0.31424 s]*
/proc/loadavg: 4.18 4.17 4.11 7/327 18581
/proc/meminfo: memFree=105196724/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=18930384 memory=59116 CPUtime=0.4 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 6814 0 0 0 35 5 0 0 20 0 18 0 31768310 19384713216 14779 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4732596 14779 5433 1 0 547787 0
[pid=18563/tid=18565] ppid=18560 vsize=18930384 memory=-6000919507049473134 CPUtime=0.26 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 5192 0 0 0 23 3 0 0 20 0 18 0 31768312 19384713216 14779 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31768315 19384713216 14779 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31768316 19384713216 14779 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59116 KiB

[startup+0.700295 s]
/proc/loadavg: 4.33 4.20 4.12 7/328 18582
/proc/meminfo: memFree=105163768/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=18930384 memory=125028 CPUtime=1.06 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 9045 0 0 0 98 8 0 0 20 0 18 0 31768310 19384713216 31257 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4732596 31257 5433 1 0 549284 0
[pid=18563/tid=18565] ppid=18560 vsize=18930384 memory=17152 CPUtime=0.58 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 5316 0 0 0 53 5 0 0 20 0 18 0 31768312 19384713216 31257 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=18930384 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31768315 19384713216 31257 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31768316 19384713216 31257 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 125028 KiB

[startup+1.50028 s]
/proc/loadavg: 4.33 4.20 4.12 8/331 18585
/proc/meminfo: memFree=105062964/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=179048 CPUtime=2.63 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 19842 0 0 0 251 12 0 0 20 0 20 0 31768310 19521036288 44762 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 44762 5465 1 0 553778 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=3200 CPUtime=1.32 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 5848 0 0 0 126 6 0 0 20 0 20 0 31768312 19521036288 44762 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 44762 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 44762 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 44762 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179048 KiB

[startup+3.10557 s]
/proc/loadavg: 4.33 4.20 4.12 7/331 18585
/proc/meminfo: memFree=105013116/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=195892 CPUtime=5.81 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 25373 0 0 0 567 14 0 0 20 0 20 0 31768310 19521036288 48973 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 48973 5497 1 0 555060 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=14848 CPUtime=2.87 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 7196 0 0 0 280 7 0 0 20 0 20 0 31768312 19521036288 48973 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 48973 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 48973 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 48973 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195892 KiB

[startup+6.30044 s]
/proc/loadavg: 4.30 4.19 4.12 5/331 18585
/proc/meminfo: memFree=104970448/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=192932 CPUtime=10.45 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 25930 0 0 0 1029 16 0 0 20 0 20 0 31768310 19521036288 48233 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 48233 5529 1 0 555312 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=0 CPUtime=6.01 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 7243 0 0 0 592 9 0 0 20 0 20 0 31768312 19521036288 48233 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 48233 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 48233 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=183452 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 48233 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 10.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192932 KiB

[startup+12.7005 s]
/proc/loadavg: 4.28 4.19 4.12 5/331 18585
/proc/meminfo: memFree=104661328/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=293436 CPUtime=17.22 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 27528 0 0 0 1702 20 0 0 20 0 20 0 31768310 19521036288 73359 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 73359 5529 1 0 555312 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=183452 CPUtime=12.38 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 8143 0 0 0 1226 12 0 0 20 0 20 0 31768312 19521036288 73359 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=293436 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 73359 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 73359 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 73359 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 293436 KiB

[startup+25.5005 s]
/proc/loadavg: 4.39 4.22 4.13 6/331 18585
/proc/meminfo: memFree=103981736/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=617232 CPUtime=30.71 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 34013 0 0 0 3041 30 0 0 20 0 20 0 31768310 19521036288 154308 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 154308 5529 1 0 555316 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=0 CPUtime=25.11 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 9537 0 0 0 2491 20 0 0 20 0 20 0 31768312 19521036288 154308 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 154308 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=617232 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 154308 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=615040 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 154308 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 30.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 617232 KiB

[startup+51.1137 s]
/proc/loadavg: 4.29 4.21 4.13 5/331 18585
/proc/meminfo: memFree=102648496/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=1196912 CPUtime=56.43 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 38291 0 0 0 5595 48 0 0 20 0 20 0 31768310 19521036288 299228 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 299228 5529 1 0 555316 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=617232 CPUtime=50.56 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 11284 0 0 0 5020 36 0 0 20 0 20 0 31768312 19521036288 299228 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=30472 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 299228 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 299228 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0

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

Current children cumulated memory: 2131896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/329 19094
/proc/meminfo: memFree=106465936/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3332.92 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 94151 0 0 0 332516 776 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3305.87 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 38329 0 0 0 330012 575 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=-6000919507049473134 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1425 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/329 19096
/proc/meminfo: memFree=106208396/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3392.73 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 95733 0 0 0 338485 788 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3365.35 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 39234 0 0 0 335950 585 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=-6000919507049473134 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1425 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/328 19098
/proc/meminfo: memFree=105878460/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3452.64 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 97097 0 0 0 344464 800 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3424.93 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 40366 0 0 0 341900 593 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=-6000919507049473134 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.17 4.18 5/329 19101
/proc/meminfo: memFree=105530616/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3512.36 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 97790 0 0 0 350423 813 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3484.33 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 40576 0 0 0 347830 603 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/330 19108
/proc/meminfo: memFree=105283636/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3572.03 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 97814 0 0 0 356377 826 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=5632 CPUtime=3543.73 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 40589 0 0 0 353760 613 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.28 4.19 4.19 5/330 19175
/proc/meminfo: memFree=111641468/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3600.07 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 97899 0 0 0 359175 832 0 0 20 0 20 0 31768310 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4765878 532974 5529 1 0 555646 0
[pid=18563/tid=18565] ppid=18560 vsize=19063512 memory=2131896 CPUtime=3571.63 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) R 18560 18563 16715 0 -1 4194368 40669 0 0 0 356545 618 0 0 20 0 20 0 31768312 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31768315 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19063512 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 31768316 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18585] ppid=18560 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/18563/task/18585/stat : 18585 (Timer-0) S 18560 18563 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31768409 19521036288 532974 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2131896 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592 s, system=8.34417 s

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

[startup+3610.61 s]
/proc/loadavg: 4.28 4.19 4.19 5/330 19175
/proc/meminfo: memFree=111641468/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19263204 memory=2132792 CPUtime=3600.2 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 100461 0 0 0 359188 832 0 0 20 0 21 0 31768310 19725520896 533198 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4815801 533198 5529 1 0 556607 0
[pid=18563/tid=18565] ppid=18560 vsize=19263204 memory=1920 CPUtime=3571.65 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) S 18560 18563 16715 0 -1 4194368 40999 0 0 0 356547 618 0 0 20 0 21 0 31768312 19725520896 533198 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19263204 memory=5760 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31768315 19725520896 533198 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19263204 memory=-6000919507049473134 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 21 0 31768316 19725520896 533198 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2132792 KiB

[startup+3610.7 s]
/proc/loadavg: 4.28 4.19 4.19 5/330 19175
/proc/meminfo: memFree=111641468/131382112 swapFree=33010684/33010684
[pid=18563] ppid=18560 vsize=19263204 memory=2132920 CPUtime=3600.3 cores=5,7
/proc/18563/stat : 18563 (java) S 18560 18563 16715 0 -1 4194304 100561 0 0 0 359198 832 0 0 20 0 21 0 31768310 19725520896 533230 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
/proc/18563/statm: 4815801 533230 5529 1 0 556625 0
[pid=18563/tid=18565] ppid=18560 vsize=19263204 memory=2131896 CPUtime=3571.65 cores=5,7
/proc/18563/task/18565/stat : 18565 (java) S 18560 18563 16715 0 -1 4194368 40999 0 0 0 356547 618 0 0 20 0 21 0 31768312 19725520896 533230 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18574] ppid=18560 vsize=19263204 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18574/stat : 18574 (Finalizer) S 18560 18563 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31768315 19725520896 533230 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
[pid=18563/tid=18581] ppid=18560 vsize=19263204 memory=2131896 CPUtime=0 cores=5,7
/proc/18563/task/18581/stat : 18581 (Common-Cleaner) S 18560 18563 16715 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 21 0 31768316 19725520896 533230 18446744073709551615 94316495306752 94316495310448 140720943124544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94316495318264 94316495319056 94316521701376 140720943130928 140720943131110 140720943131110 140720943136712 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2132920 KiB

Child status: 143

Real time (s): 3610.74
CPU time (s): 3600.34
CPU user time (s): 3592
CPU system time (s): 8.34417
CPU usage (%): 99.7119
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2132920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592
system time used= 8.34417
maximum resident set size= 2133176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9442624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112802
involuntary context switches= 13525


# summary of solver processes directly reported to runsolver:
#   pid: 18563
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3592
#   total CPU system time (s): 8.34417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.103 second user time and 37.3804 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-29 03:34:46
IDJOB=4502019
IDBENCH=153060
IDSOLVER=3364
FILE ID=nodeC012/4502019-1751160886
RUNJOBID= nodeC012-1751157286-16728
SLURM_JOB_ID= 9587482
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9029_2-sat.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502019-1751160886/watcher-4502019-1751160886 -o /tmp/evaluation-result-4502019-1751160886/solver-4502019-1751160886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16728 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502019-1751160886 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502019-1751160886.opb

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

MD5SUM BENCH= 9dbe363344c0fe5585984e30a944da25
RANDOM SEED=352253081

nodeC012 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	: 0xb00001f
cpu MHz		: 3591.378
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.156
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1396.676
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3591.461
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 2015.908
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        105315812 kB
MemAvailable:   124371532 kB
Buffers:            3280 kB
Cached:         19845152 kB
SwapCached:            0 kB
Active:          5893116 kB
Inactive:       19612384 kB
Active(anon):    5675048 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file): 19612384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            128596 kB
Writeback:             0 kB
AnonPages:       5655504 kB
Mapped:           122112 kB
Shmem:             17960 kB
KReclaimable:     129404 kB
Slab:             215592 kB
SReclaimable:     129404 kB
SUnreclaim:        86188 kB
KernelStack:        4992 kB
PageTables:        14632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8271396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5392384 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC012 at 2025-06-29 04:34:57