Trace number 4517370

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.17 3602.89

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
MD5SUM6887599ad065147dc61a02d711e5083c
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.095144
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables848
Total number of constraints1058
Number of constraints which are clauses768
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints290
Minimum length of a constraint2
Maximum length of a constraint288
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 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 8589934591
Number of bits of the biggest sum of numbers33
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		2104792832
0.09/0.10	c Max memory 		16282288128
0.09/0.10	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.14	c Pseudo Boolean Optimization by upper bound
0.09/0.14	c --- Begin Solver configuration ---
0.09/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.14	c Learn all clauses as in MiniSAT
0.09/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.14	c Expensive reason simplification
0.09/0.14	c Glucose 2.1 dynamic restart strategy
0.09/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.14	c timeout=2147483s
0.09/0.14	c DB Simplification allowed=false
0.09/0.14	c Listener: none
0.09/0.14	c --- End Solver configuration ---
0.09/0.14	c solving HOME/instance-4517370-1751243452.opb
0.09/0.14	c reading problem ... 
0.09/0.14	c  no objective function found
0.29/0.21	c ... done. Wall clock time 0.061s.
0.29/0.21	c declared #vars     848
0.29/0.21	c #constraints  1347
0.29/0.21	c constraints type 
0.29/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 608
0.29/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 483
0.29/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 256
0.29/0.21	c 1347 constraints processed.
1.64/1.00	c cleaning 2499 clauses out of 5002 with flag 11825/5002
2.33/1.47	c cleaning 4244 clauses out of 8503 with flag 26835/11002
3.13/2.09	c cleaning 5619 clauses out of 11258 with flag 45816/18001
4.12/2.84	c cleaning 6810 clauses out of 13640 with flag 68262/26002
5.02/3.75	c cleaning 7908 clauses out of 15829 with flag 95433/35001
6.01/4.72	c cleaning 8950 clauses out of 17920 with flag 124683/45000
7.44/6.08	c cleaning 9976 clauses out of 19971 with flag 149789/56001
9.43/8.06	c cleaning 10987 clauses out of 21994 with flag 178291/68000
11.22/9.87	c cleaning 11996 clauses out of 24008 with flag 208813/81001
13.34/11.99	c cleaning 12993 clauses out of 26011 with flag 242174/95000
16.03/14.69	c cleaning 14000 clauses out of 28018 with flag 278698/110000
19.02/17.62	c cleaning 14998 clauses out of 30019 with flag 317812/126001
22.25/20.86	c cleaning 16003 clauses out of 32020 with flag 355296/143000
25.87/24.47	c cleaning 17002 clauses out of 34018 with flag 397500/161001
29.36/27.92	c cleaning 18003 clauses out of 36016 with flag 442068/180001
33.31/31.81	c cleaning 18994 clauses out of 38012 with flag 488953/200000
37.73/36.14	c cleaning 19998 clauses out of 40019 with flag 537494/221001
42.50/40.75	c cleaning 20997 clauses out of 42020 with flag 588979/243000
47.30/45.52	c cleaning 22002 clauses out of 44023 with flag 643079/266000
50.62/48.82	c cleaning 22994 clauses out of 46021 with flag 696646/290000
53.61/51.87	c cleaning 24000 clauses out of 48027 with flag 754250/315000
56.84/55.09	c cleaning 25001 clauses out of 50027 with flag 811612/341000
61.02/59.23	c cleaning 26004 clauses out of 52026 with flag 876539/368000
65.74/63.93	c cleaning 26997 clauses out of 54022 with flag 943349/396000
70.13/68.37	c cleaning 28001 clauses out of 56025 with flag 1012360/425000
74.45/72.61	c cleaning 29001 clauses out of 58025 with flag 1086564/455001
78.84/77.04	c cleaning 30001 clauses out of 60024 with flag 1161249/486001
83.75/81.96	c cleaning 31002 clauses out of 62022 with flag 1239341/518000
90.03/88.20	c cleaning 31995 clauses out of 64020 with flag 1317421/551000
96.71/94.98	c cleaning 33003 clauses out of 66027 with flag 1397735/585002
104.41/102.65	c cleaning 34001 clauses out of 68023 with flag 1481173/620001
112.99/111.21	c cleaning 35000 clauses out of 70023 with flag 1569010/656002
122.59/120.88	c cleaning 35998 clauses out of 72021 with flag 1655313/693000
131.87/130.19	c cleaning 37000 clauses out of 74024 with flag 1745227/731001
141.78/140.05	c cleaning 38001 clauses out of 76024 with flag 1839152/770001
152.14/150.42	c cleaning 39003 clauses out of 78026 with flag 1936230/810004
163.95/162.28	c cleaning 40000 clauses out of 80020 with flag 2038383/851001
175.61/173.91	c cleaning 40995 clauses out of 82020 with flag 2145627/893001
187.37/185.77	c cleaning 42002 clauses out of 84025 with flag 2249216/936001
198.79/197.18	c cleaning 43000 clauses out of 86023 with flag 2343033/980001
210.56/208.92	c cleaning 43998 clauses out of 88023 with flag 2441331/1025001
221.23/219.63	c cleaning 45003 clauses out of 90025 with flag 2540037/1071001
231.61/230.08	c cleaning 46004 clauses out of 92021 with flag 2642424/1118000
243.13/241.55	c cleaning 46999 clauses out of 94017 with flag 2747869/1166000
255.00/253.49	c cleaning 47998 clauses out of 96019 with flag 2855869/1215001
267.47/265.98	c cleaning 49003 clauses out of 98021 with flag 2964565/1265001
279.94/278.42	c cleaning 49998 clauses out of 100017 with flag 3074855/1316000
293.55/292.05	c cleaning 51004 clauses out of 102019 with flag 3187463/1368000
307.41/305.94	c cleaning 52001 clauses out of 104015 with flag 3303100/1421000
321.59/320.13	c cleaning 52998 clauses out of 106014 with flag 3422750/1475000
335.32/333.83	c cleaning 53998 clauses out of 108016 with flag 3540459/1530000
347.89/346.48	c cleaning 55002 clauses out of 110018 with flag 3662078/1586000
360.46/359.04	c cleaning 56001 clauses out of 112016 with flag 3789225/1643000
375.21/373.88	c cleaning 56997 clauses out of 114016 with flag 3914437/1701001
390.74/389.36	c cleaning 57997 clauses out of 116018 with flag 4046659/1760000
405.80/404.48	c cleaning 59003 clauses out of 118022 with flag 4178296/1820001
421.96/420.66	c cleaning 60000 clauses out of 120018 with flag 4311032/1881000
438.21/436.92	c cleaning 61000 clauses out of 122020 with flag 4445236/1943002
454.38/453.12	c cleaning 62004 clauses out of 124018 with flag 4582391/2006000
470.83/469.67	c cleaning 63002 clauses out of 126016 with flag 4723279/2070002
487.59/486.43	c cleaning 63998 clauses out of 128012 with flag 4868167/2135000
505.75/504.62	c cleaning 65001 clauses out of 130015 with flag 5004973/2201001
522.00/520.91	c cleaning 65998 clauses out of 132014 with flag 5154277/2268001
540.98/539.83	c cleaning 66999 clauses out of 134015 with flag 5310058/2336000
560.62/559.54	c cleaning 68002 clauses out of 136016 with flag 5463180/2405000
579.38/578.38	c cleaning 69000 clauses out of 138014 with flag 5623924/2475000
599.04/598.03	c cleaning 69997 clauses out of 140015 with flag 5778239/2546001
618.38/617.30	c cleaning 70999 clauses out of 142017 with flag 5938692/2618000
639.23/638.28	c cleaning 71996 clauses out of 144018 with flag 6099537/2691000
659.98/659.05	c cleaning 73001 clauses out of 146023 with flag 6272032/2765001
679.33/678.40	c cleaning 74002 clauses out of 148022 with flag 6437021/2840001
699.65/698.31	c cleaning 75005 clauses out of 150021 with flag 6606950/2916002
718.10/716.88	c cleaning 75996 clauses out of 152014 with flag 6781042/2993000
736.06/734.81	c cleaning 77005 clauses out of 154018 with flag 6959504/3071000
757.71/756.51	c cleaning 77998 clauses out of 156013 with flag 7137664/3150000
779.41/778.28	c cleaning 78999 clauses out of 158015 with flag 7318369/3230000
802.26/801.18	c cleaning 79998 clauses out of 160017 with flag 7496834/3311001
824.81/823.75	c cleaning 81004 clauses out of 162019 with flag 7675775/3393001
847.35/846.36	c cleaning 81998 clauses out of 164014 with flag 7859024/3476000
872.07/871.08	c cleaning 83003 clauses out of 166016 with flag 8043120/3560000
898.60/897.69	c cleaning 83996 clauses out of 168013 with flag 8229948/3645000
922.54/921.68	c cleaning 85002 clauses out of 170017 with flag 8422898/3731000
949.27/948.42	c cleaning 85994 clauses out of 172016 with flag 8618160/3818001
974.41/973.57	c cleaning 87004 clauses out of 174023 with flag 8814583/3906002
998.45/997.65	c cleaning 88002 clauses out of 176017 with flag 9018334/3995000
1024.88/1024.13	c cleaning 88999 clauses out of 178015 with flag 9220413/4085000
1049.02/1048.39	c cleaning 89998 clauses out of 180017 with flag 9421322/4176001
1078.95/1078.32	c cleaning 90999 clauses out of 182018 with flag 9629479/4268000
1105.18/1104.51	c cleaning 91995 clauses out of 184019 with flag 9840651/4361000
1134.79/1134.26	c cleaning 93001 clauses out of 186025 with flag 10075101/4455001
1164.21/1163.79	c cleaning 94000 clauses out of 188024 with flag 10294271/4550001
1195.02/1194.59	c cleaning 94995 clauses out of 190023 with flag 10527755/4646000
1224.15/1223.73	c cleaning 96004 clauses out of 192028 with flag 10752077/4743000
1255.96/1255.66	c cleaning 97008 clauses out of 194025 with flag 10967880/4841001
1282.60/1282.31	c cleaning 98000 clauses out of 196017 with flag 11189325/4940001
1312.32/1312.02	c cleaning 99001 clauses out of 198017 with flag 11410588/5040001
1347.34/1347.18	c cleaning 99999 clauses out of 200015 with flag 11636095/5141000
1383.25/1383.12	c cleaning 100999 clauses out of 202016 with flag 11865100/5243000
1412.18/1412.15	c cleaning 102002 clauses out of 204018 with flag 12091850/5346001
1441.12/1441.02	c cleaning 102999 clauses out of 206015 with flag 12324009/5450000
1476.23/1476.22	c cleaning 104002 clauses out of 208017 with flag 12542777/5555001
1511.64/1511.70	c cleaning 104997 clauses out of 210015 with flag 12768382/5661001
1547.48/1547.17	c cleaning 106001 clauses out of 212017 with flag 13015879/5768000
1573.61/1573.38	c cleaning 107006 clauses out of 214019 with flag 13262597/5876003
1601.90/1601.61	c cleaning 107990 clauses out of 216010 with flag 13509316/5985000
1636.61/1636.48	c cleaning 109000 clauses out of 218022 with flag 13758264/6095002
1669.63/1669.54	c cleaning 109998 clauses out of 220020 with flag 14014285/6206000
1699.84/1699.85	c cleaning 111003 clauses out of 222022 with flag 14266974/6318000
1733.65/1733.66	c cleaning 111998 clauses out of 224020 with flag 14524346/6431001
1771.35/1771.44	c cleaning 113002 clauses out of 226022 with flag 14801256/6545001
1806.27/1806.46	c cleaning 114002 clauses out of 228020 with flag 15063080/6660001
1841.67/1841.91	c cleaning 115000 clauses out of 230017 with flag 15343188/6776000
1880.02/1880.34	c cleaning 115996 clauses out of 232018 with flag 15610154/6893001
1913.74/1914.17	c cleaning 116997 clauses out of 234021 with flag 15880974/7011000
1948.74/1949.24	c cleaning 118007 clauses out of 236025 with flag 16149478/7130001
1984.35/1984.98	c cleaning 119002 clauses out of 238018 with flag 16415106/7250001
2025.55/2026.14	c cleaning 119998 clauses out of 240015 with flag 16692830/7371000
2067.53/2068.24	c cleaning 121000 clauses out of 242017 with flag 16970747/7493000
2112.72/2113.57	c cleaning 122000 clauses out of 244017 with flag 17249552/7616000
2167.38/2168.31	c cleaning 123000 clauses out of 246018 with flag 17535023/7740001
2205.65/2206.58	c cleaning 124000 clauses out of 248018 with flag 17816480/7865001
2245.75/2246.76	c cleaning 125004 clauses out of 250017 with flag 18108374/7991000
2283.56/2284.63	c cleaning 125998 clauses out of 252013 with flag 18407655/8118000
2326.84/2327.94	c cleaning 126997 clauses out of 254017 with flag 18699256/8246002
2370.53/2371.78	c cleaning 128002 clauses out of 256019 with flag 18986319/8375001
2414.52/2415.89	c cleaning 128997 clauses out of 258016 with flag 19280270/8505000
2453.63/2454.66	c cleaning 129996 clauses out of 260019 with flag 19578381/8636000
2494.93/2496.04	c cleaning 131000 clauses out of 262023 with flag 19871958/8768000
2535.21/2536.39	c cleaning 132000 clauses out of 264023 with flag 20166893/8901000
2579.69/2580.90	c cleaning 133005 clauses out of 266023 with flag 20464899/9035000
2625.46/2626.84	c cleaning 133996 clauses out of 268018 with flag 20773982/9170000
2678.23/2679.70	c cleaning 135005 clauses out of 270022 with flag 21081286/9306000
2721.98/2723.45	c cleaning 135999 clauses out of 272018 with flag 21404393/9443001
2768.56/2770.13	c cleaning 136999 clauses out of 274018 with flag 21729188/9581000
2817.63/2819.32	c cleaning 138009 clauses out of 276021 with flag 22033092/9720002
2864.31/2866.00	c cleaning 138999 clauses out of 278010 with flag 22341831/9860000
2912.78/2914.69	c cleaning 140000 clauses out of 280011 with flag 22669049/10001000
2959.66/2961.68	c cleaning 140996 clauses out of 282012 with flag 22990322/10143001
3010.35/3012.38	c cleaning 141995 clauses out of 284016 with flag 23335733/10286001
3061.91/3064.10	c cleaning 143006 clauses out of 286021 with flag 23678562/10430001
3110.36/3112.61	c cleaning 144000 clauses out of 288014 with flag 24006194/10575000
3156.64/3159.03	c cleaning 145005 clauses out of 290014 with flag 24338375/10721000
3212.79/3214.78	c cleaning 145998 clauses out of 292009 with flag 24679938/10868000
3268.64/3270.70	c cleaning 147001 clauses out of 294012 with flag 25022484/11016001
3319.31/3321.57	c cleaning 147995 clauses out of 296010 with flag 25363993/11165000
3373.33/3375.67	c cleaning 149000 clauses out of 298015 with flag 25705390/11315000
3425.39/3427.83	c cleaning 150002 clauses out of 300016 with flag 26048450/11466001
3477.26/3479.81	c cleaning 150996 clauses out of 302013 with flag 26394428/11618000
3530.40/3533.07	c cleaning 152006 clauses out of 304017 with flag 26741116/11771000
3583.36/3586.12	c cleaning 152994 clauses out of 306012 with flag 27091013/11925001
3600.02/3602.81	c starts		: 5240
3600.02/3602.81	c conflicts		: 11982653
3600.02/3602.81	c decisions		: 12846321
3600.02/3602.81	c propagations		: 3453974792
3600.02/3602.81	c inspects		: 26438538802
3600.02/3602.81	c shortcuts		: 0
3600.02/3602.81	c learnt literals	: 0
3600.02/3602.81	c learnt binary clauses	: 1
3600.02/3602.81	c learnt ternary clauses	: 8
3600.02/3602.81	c learnt constraints	: 11982653
3600.02/3602.81	c ignored constraints	: 0
3600.02/3602.81	c root simplifications	: 0
3600.02/3602.81	c removed literals (reason simplification)	: 2141529418
3600.02/3602.81	c reason swapping (by a shorter reason)	: 0
3600.02/3602.81	c Calls to reduceDB	: 150
3600.02/3602.81	c Number of update (reduction) of LBD	: 579798
3600.02/3602.81	c Imported unit clauses	: 0
3600.02/3602.81	c No decision after first conflict	: false
3600.02/3602.81	c number of reductions to clauses (during analyze)	: 0
3600.02/3602.81	c number of learned constraints concerned by reduction	: 0
3600.02/3602.81	c number of learning phase by resolution	: 0
3600.02/3602.81	c number of learning phase by cutting planes	: 0
3600.02/3602.81	c number of rounding to 1 operations	: 0
3600.02/3602.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3602.81	c number of reductions of the coefficients by power 2 	: 0
3600.02/3602.81	c number of right shift for reduction by power 2 	: 0
3600.02/3602.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3602.81	c number of ending skipping 	: 0
3600.02/3602.81	c number of internal skipping 	: 0
3600.02/3602.81	c number of derivation steps 	: 0
3600.02/3602.81	c number of skipped derivation steps 	: 0
3600.02/3602.81	c number of remaining unassigned 	: 0
3600.02/3602.81	c number of remaining assigned 	: 0
3600.02/3602.81	c number of falsified literals weakened from reason	: 0
3600.02/3602.81	c number of falsified literals weakened from conflict	: 0
3600.02/3602.81	c time for arithmetic operations	: 0
3600.02/3602.82	c timeout
3600.02/3602.82	c minimum degree of deleted constraints	: null
3600.02/3602.82	c maximum degree of deleted constraints	: null
3600.02/3602.82	c number of deleted constraints	: 0
3600.02/3602.82	c speed (assignments/second)	: 958743.9507645026
3600.02/3602.82	c non guided choices	: 31
3600.02/3602.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 210669
3600.02/3602.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.02/3602.88	s UNKNOWN
3600.02/3602.88	c Total wall clock time (in seconds): 3602.733

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=32865, runsolver pid=32857

[startup+0.100058 s]*
/proc/loadavg: 0.60 0.99 1.57 7/331 32944
/proc/meminfo: memFree=129924804/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18930384 memory=52096 CPUtime=0.09 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 6154 0 59 0 7 2 0 0 20 0 18 0 39967714 19384713216 13024 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4732596 13024 5364 1 0 547294 0
[pid=32865/tid=32874] ppid=32857 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 4945 0 59 0 5 1 0 0 20 0 18 0 39967717 19384713216 13056 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18930384 memory=16124 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39967719 19384713216 13056 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39967720 19384713216 13056 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52096 KiB

[startup+0.205804 s]*
/proc/loadavg: 0.60 0.99 1.57 14/331 32944
/proc/meminfo: memFree=129907020/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18930384 memory=64072 CPUtime=0.29 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 7009 0 59 0 27 2 0 0 20 0 18 0 39967714 19384713216 16018 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4732596 16018 5428 1 0 547941 0
[pid=32865/tid=32874] ppid=32857 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 5268 0 59 0 14 1 0 0 20 0 18 0 39967717 19384713216 16018 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18930384 memory=16124 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39967719 19384713216 16018 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39967720 19384713216 16018 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64072 KiB

[startup+0.305819 s]*
/proc/loadavg: 0.60 0.99 1.57 11/335 32948
/proc/meminfo: memFree=129892088/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18996948 memory=69236 CPUtime=0.49 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 9068 0 59 0 46 3 0 0 20 0 19 0 39967714 19452874752 17309 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4749237 17309 5428 1 0 549421 0
[pid=32865/tid=32874] ppid=32857 vsize=18996948 memory=-6000919472689539692 CPUtime=0.24 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 5303 0 59 0 23 1 0 0 20 0 19 0 39967717 19452874752 17309 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 17309 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 17309 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967736 19452874752 17309 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69236 KiB

[startup+0.700227 s]
/proc/loadavg: 0.60 0.99 1.57 10/335 32948
/proc/meminfo: memFree=129854852/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18996948 memory=90120 CPUtime=1.25 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 12642 0 59 0 121 4 0 0 20 0 19 0 39967714 19452874752 22530 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4749237 22530 5460 1 0 551470 0
[pid=32865/tid=32874] ppid=32857 vsize=18996948 memory=17408 CPUtime=0.62 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 5309 0 59 0 60 2 0 0 20 0 19 0 39967717 19452874752 22530 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 22530 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 22530 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967736 19452874752 22530 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90120 KiB

[startup+1.50019 s]
/proc/loadavg: 0.60 0.99 1.57 10/335 32948
/proc/meminfo: memFree=129818060/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18996948 memory=105280 CPUtime=2.47 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 15402 0 59 0 243 4 0 0 20 0 19 0 39967714 19452874752 26320 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4749237 26320 5460 1 0 551524 0
[pid=32865/tid=32874] ppid=32857 vsize=18996948 memory=10752 CPUtime=1.39 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 5697 0 59 0 137 2 0 0 20 0 19 0 39967717 19452874752 26320 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 26320 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 26320 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967736 19452874752 26320 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105280 KiB

[startup+3.10555 s]
/proc/loadavg: 0.87 1.04 1.58 6/335 32948
/proc/meminfo: memFree=129696128/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=18996948 memory=143324 CPUtime=4.43 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 21234 0 59 0 438 5 0 0 20 0 19 0 39967714 19452874752 35831 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4749237 35831 5460 1 0 553832 0
[pid=32865/tid=32874] ppid=32857 vsize=18996948 memory=10752 CPUtime=2.99 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 5949 0 59 0 297 2 0 0 20 0 19 0 39967717 19452874752 35831 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=18996948 memory=-6000919477001284204 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39967719 19452874752 35831 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39967720 19452874752 35831 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39967736 19452874752 35831 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143324 KiB

[startup+6.30014 s]
/proc/loadavg: 0.87 1.04 1.58 6/336 32949
/proc/meminfo: memFree=129582004/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=177472 CPUtime=7.73 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 27725 0 59 0 767 6 0 0 20 0 20 0 39967714 19521036288 44368 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 44368 5460 1 0 554121 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=0 CPUtime=6.17 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 6641 0 59 0 614 3 0 0 20 0 20 0 39967717 19521036288 44368 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 44368 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 44368 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 44368 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177472 KiB

[startup+12.7001 s]
/proc/loadavg: 1.20 1.10 1.60 6/338 32951
/proc/meminfo: memFree=129459644/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=185808 CPUtime=14.14 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 29914 0 59 0 1407 7 0 0 20 0 20 0 39967714 19521036288 46452 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 46452 5460 1 0 554121 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=185808 CPUtime=12.54 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 7257 0 59 0 1251 3 0 0 20 0 20 0 39967717 19521036288 46452 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 46452 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 46452 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=-6000919477001284204 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 46452 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185808 KiB

[startup+25.5002 s]
/proc/loadavg: 1.82 1.25 1.64 6/339 32952
/proc/meminfo: memFree=129390376/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=212624 CPUtime=26.96 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 31855 0 59 0 2689 7 0 0 20 0 20 0 39967714 19521036288 53156 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 53156 5460 1 0 554121 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=185808 CPUtime=25.28 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 7803 0 59 0 2525 3 0 0 20 0 20 0 39967717 19521036288 53156 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 53156 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=212624 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 53156 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=-6000919477001284204 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 53156 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212624 KiB

[startup+51.1056 s]
/proc/loadavg: 2.57 1.47 1.70 6/339 32953
/proc/meminfo: memFree=129153116/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=304752 CPUtime=52.92 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 37107 0 59 0 5282 10 0 0 20 0 20 0 39967714 19521036288 76188 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 76188 5492 1 0 555025 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=265804 CPUtime=50.73 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 7816 0 59 0 5070 3 0 0 20 0 20 0 39967717 19521036288 76188 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=246200 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=122422124/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3220.37 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 111821 0 59 0 321912 125 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=2172056 CPUtime=3209.75 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 46338 0 59 0 320932 43 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=1664 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 1885 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3220.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 6/340 33127
/proc/meminfo: memFree=122422080/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3280.21 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 112193 0 59 0 327895 126 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3269.58 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 46632 0 59 0 326915 43 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 1956 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3280.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/340 33129
/proc/meminfo: memFree=122418056/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3340.11 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 112926 0 59 0 333883 128 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3329.36 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 47060 0 59 0 332892 44 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 1956 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3340.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.04 6/339 33131
/proc/meminfo: memFree=122418256/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3399.96 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 113903 0 59 0 339867 129 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=-6000919477001284204 CPUtime=3389.19 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 47917 0 59 0 338875 44 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=2172056 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 2052 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3399.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/340 33134
/proc/meminfo: memFree=122417984/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3459.81 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 114791 0 59 0 345850 131 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=14848 CPUtime=3449.01 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 48785 0 59 0 344857 44 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 2052 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=-6000919477001284204 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3459.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/341 33139
/proc/meminfo: memFree=122417588/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3519.72 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 115467 0 59 0 351839 133 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3508.77 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 48890 0 59 0 350832 45 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3519.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/341 33141
/proc/meminfo: memFree=122419164/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3579.57 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 115790 0 59 0 357823 134 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3568.6 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 49208 0 59 0 356815 45 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=2172312 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3579.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.8 s]
/proc/loadavg: 4.12 4.11 4.05 6/341 33141
/proc/meminfo: memFree=122378160/131250000 swapFree=33010684/33010684
[pid=32865] ppid=32857 vsize=19063512 memory=2172312 CPUtime=3600.02 cores=0,2
/proc/32865/stat : 32865 (java) S 32857 32865 32807 0 -1 4194304 116338 0 59 0 359867 135 0 0 20 0 20 0 39967714 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
/proc/32865/statm: 4765878 543078 5524 1 0 557762 0
[pid=32865/tid=32874] ppid=32857 vsize=19063512 memory=6748 CPUtime=3589.04 cores=0,2
/proc/32865/task/32874/stat : 32874 (java) R 32857 32865 32807 0 -1 4194368 49733 0 59 0 358859 45 0 0 20 0 20 0 39967717 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32900] ppid=32857 vsize=19063512 memory=7024 CPUtime=0 cores=0,2
/proc/32865/task/32900/stat : 32900 (Finalizer) S 32857 32865 32807 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39967719 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32917] ppid=32857 vsize=19063512 memory=6868 CPUtime=0 cores=0,2
/proc/32865/task/32917/stat : 32917 (Common-Cleaner) S 32857 32865 32807 0 -1 4194368 2124 0 0 0 0 0 0 0 20 0 20 0 39967720 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
[pid=32865/tid=32946] ppid=32857 vsize=19063512 memory=2180908 CPUtime=0 cores=0,2
/proc/32865/task/32946/stat : 32946 (Timer-0) S 32857 32865 32807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39967736 19521036288 543078 18446744073709551615 94645393711104 94645393714800 140722933599696 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94645393722616 94645393723408 94645410582528 140722933602689 140722933602790 140722933602790 140722933608392 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.81 s, system=1.36044 s

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

Child status: 143

Real time (s): 3602.89
CPU time (s): 3600.17
CPU user time (s): 3598.81
CPU system time (s): 1.36044
CPU usage (%): 99.9244
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2172312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.36044
maximum resident set size= 2173208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118405
page faults= 59
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104671
involuntary context switches= 6770


# summary of solver processes directly reported to runsolver:
#   pid: 32865
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.81
#   total CPU system time (s): 1.36044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79319 second user time and 16.3588 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-06-30 02:30:52
IDJOB=4517370
IDBENCH=176059
IDSOLVER=3363
FILE ID=nodeC028/4517370-1751243452
RUNJOBID= nodeC028-1751243452-32817
SLURM_JOB_ID= 9587742
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-16diag_spec_greater.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517370-1751243452/watcher-4517370-1751243452 -o /tmp/evaluation-result-4517370-1751243452/solver-4517370-1751243452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751243452-32817 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517370-1751243452.opb

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

MD5SUM BENCH= 6887599ad065147dc61a02d711e5083c
RANDOM SEED=395492998

nodeC028 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		: 3610.839
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.16
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		: 2099.037
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130022920 kB
MemAvailable:   129753416 kB
Buffers:            3280 kB
Cached:           539872 kB
SwapCached:            0 kB
Active:           322848 kB
Inactive:         283444 kB
Active(anon):      81208 kB
Inactive(anon):        0 kB
Active(file):     241640 kB
Inactive(file):   283444 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1380 kB
Writeback:             0 kB
AnonPages:         66868 kB
Mapped:           102768 kB
Shmem:             18068 kB
KReclaimable:      89304 kB
Slab:             173472 kB
SReclaimable:      89304 kB
SUnreclaim:        84168 kB
KernelStack:        4096 kB
PageTables:         2752 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC028 at 2025-06-30 03:30:55