Trace number 4503357

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.17 3605.45

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
MD5SUM7ac327da8fefd7cd3f39afa8bfb7af2c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark106.066
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15414
Total number of constraints395824
Number of constraints which are clauses358980
Number of constraints which are cardinality constraints (but not clauses)907
Number of constraints which are nor clauses,nor cardinality constraints35937
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4503357-1751162204.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
2.99/1.61	c ... done. Wall clock time 1.475s.
2.99/1.61	c declared #vars     15414
2.99/1.61	c #constraints  396289
2.99/1.61	c constraints type 
2.99/1.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94336
2.99/1.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 912
2.99/1.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35937
2.99/1.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 265104
2.99/1.61	c 396289 constraints processed.
6.39/3.82	c cleaning 2488 clauses out of 4997 with flag 82051/5000
9.67/6.18	c cleaning 4197 clauses out of 8509 with flag 233642/11000
12.19/8.08	c cleaning 5630 clauses out of 11311 with flag 422380/18000
14.93/10.59	c cleaning 6604 clauses out of 13681 with flag 620977/26000
17.93/13.48	c cleaning 7790 clauses out of 16077 with flag 854455/35000
21.42/17.00	c cleaning 9025 clauses out of 18287 with flag 1119021/45001
25.22/20.74	c cleaning 10091 clauses out of 20261 with flag 1339625/56000
29.31/24.84	c cleaning 11027 clauses out of 22170 with flag 1595646/68000
33.30/28.83	c cleaning 12008 clauses out of 24143 with flag 1841562/81000
38.20/33.70	c cleaning 13034 clauses out of 26137 with flag 2079851/95002
42.06/37.64	c cleaning 14035 clauses out of 28101 with flag 2347292/110000
47.88/43.48	c cleaning 15003 clauses out of 30066 with flag 2658266/126000
53.40/48.97	c cleaning 15903 clauses out of 32063 with flag 2922098/143000
59.24/54.76	c cleaning 16965 clauses out of 34163 with flag 3186166/161003
65.03/60.52	c cleaning 18091 clauses out of 36195 with flag 3470790/180000
70.98/66.49	c cleaning 18882 clauses out of 38104 with flag 3728505/200000
76.16/71.67	c cleaning 20047 clauses out of 40222 with flag 3987792/221000
82.65/78.16	c cleaning 21034 clauses out of 42175 with flag 4291781/243000
89.04/84.50	c cleaning 21993 clauses out of 44141 with flag 4607253/266000
95.22/90.77	c cleaning 23044 clauses out of 46148 with flag 4872785/290000
100.77/96.37	c cleaning 24053 clauses out of 48105 with flag 5125049/315001
107.05/102.64	c cleaning 24861 clauses out of 50051 with flag 5408418/341000
113.34/108.98	c cleaning 25930 clauses out of 52190 with flag 5687363/368000
119.13/114.71	c cleaning 26949 clauses out of 54261 with flag 5967237/396001
124.76/120.33	c cleaning 28070 clauses out of 56311 with flag 6227273/425000
129.84/125.49	c cleaning 29039 clauses out of 58241 with flag 6483506/455000
134.98/130.66	c cleaning 30103 clauses out of 60205 with flag 6727225/486003
141.37/137.08	c cleaning 30821 clauses out of 62099 with flag 7018434/518000
147.55/143.29	c cleaning 32108 clauses out of 64278 with flag 7319961/551000
153.84/149.57	c cleaning 33011 clauses out of 66170 with flag 7544363/585001
160.47/156.16	c cleaning 34029 clauses out of 68159 with flag 7826958/620001
167.10/162.81	c cleaning 35045 clauses out of 70133 with flag 8118614/656004
174.38/170.12	c cleaning 35925 clauses out of 72086 with flag 8421341/693002
182.95/178.79	c cleaning 36740 clauses out of 74159 with flag 8761077/731000
191.24/187.03	c cleaning 37851 clauses out of 76420 with flag 9114249/770001
199.46/195.35	c cleaning 39041 clauses out of 78569 with flag 9452820/810001
208.34/204.29	c cleaning 39972 clauses out of 80527 with flag 9817136/851000
218.53/214.43	c cleaning 40531 clauses out of 82555 with flag 10151683/893000
227.58/223.54	c cleaning 41736 clauses out of 85025 with flag 10498904/936001
236.87/232.87	c cleaning 43017 clauses out of 87289 with flag 10857812/980001
246.95/242.98	c cleaning 43510 clauses out of 89271 with flag 11281822/1025000
255.99/252.05	c cleaning 44876 clauses out of 91761 with flag 11672922/1071000
265.76/261.80	c cleaning 45716 clauses out of 93885 with flag 12070334/1118000
275.35/271.42	c cleaning 47110 clauses out of 96169 with flag 12474004/1166000
284.90/281.01	c cleaning 48002 clauses out of 98060 with flag 12823473/1215001
295.58/291.73	c cleaning 48903 clauses out of 100058 with flag 13214349/1265001
305.30/301.49	c cleaning 50075 clauses out of 102154 with flag 13574373/1316000
315.25/311.45	c cleaning 51165 clauses out of 104079 with flag 13964471/1368000
326.52/322.79	c cleaning 51705 clauses out of 105914 with flag 14408780/1421000
337.80/334.05	c cleaning 52911 clauses out of 108210 with flag 14863645/1475001
350.62/346.90	c cleaning 53580 clauses out of 110299 with flag 15344066/1530001
363.40/359.72	c cleaning 54896 clauses out of 112721 with flag 15843273/1586003
375.63/372.09	c cleaning 56029 clauses out of 114823 with flag 16290516/1643001
387.76/384.15	c cleaning 56419 clauses out of 116793 with flag 16748554/1701000
400.32/396.77	c cleaning 57927 clauses out of 119376 with flag 17206761/1760002
412.86/409.34	c cleaning 57973 clauses out of 121447 with flag 17765299/1820000
425.43/422.00	c cleaning 59716 clauses out of 124475 with flag 18226705/1881001
437.06/433.63	c cleaning 60866 clauses out of 126758 with flag 18662679/1943000
450.34/446.94	c cleaning 61492 clauses out of 128892 with flag 19131919/2006000
465.25/461.89	c cleaning 62164 clauses out of 131400 with flag 19730800/2070000
481.79/478.40	c cleaning 63259 clauses out of 134237 with flag 20308925/2135001
499.22/495.95	c cleaning 64173 clauses out of 136977 with flag 20957388/2201000
517.87/514.67	c cleaning 65599 clauses out of 139804 with flag 21555782/2268000
534.21/531.07	c cleaning 67005 clauses out of 142205 with flag 22136764/2336000
550.63/547.42	c cleaning 67758 clauses out of 144200 with flag 22726765/2405000
566.66/563.54	c cleaning 68444 clauses out of 146442 with flag 23252626/2475000
584.82/581.70	c cleaning 69994 clauses out of 149000 with flag 23790577/2546002
602.25/599.28	c cleaning 70839 clauses out of 151006 with flag 24304192/2618002
621.58/618.65	c cleaning 71693 clauses out of 153165 with flag 24884436/2691000
639.70/636.71	c cleaning 72937 clauses out of 155472 with flag 25396271/2765000
657.62/654.79	c cleaning 73992 clauses out of 157536 with flag 25972804/2840001
674.88/672.06	c cleaning 74898 clauses out of 159543 with flag 26512656/2916000
693.57/691.40	c cleaning 75696 clauses out of 161647 with flag 27099235/2993002
712.00/709.97	c cleaning 76914 clauses out of 163949 with flag 27662849/3071000
730.51/728.44	c cleaning 77663 clauses out of 166035 with flag 28271954/3150000
749.03/747.05	c cleaning 78615 clauses out of 168372 with flag 28926566/3230000
768.48/766.58	c cleaning 79904 clauses out of 170757 with flag 29634642/3311000
788.00/786.13	c cleaning 80630 clauses out of 172854 with flag 30270729/3393001
809.08/807.22	c cleaning 81884 clauses out of 175223 with flag 31038263/3476000
832.22/830.41	c cleaning 82545 clauses out of 177342 with flag 31792525/3560003
852.31/850.67	c cleaning 83846 clauses out of 179794 with flag 32468709/3645000
872.96/871.33	c cleaning 84723 clauses out of 181948 with flag 33138797/3731000
895.94/894.38	c cleaning 85171 clauses out of 184225 with flag 33941630/3818000
919.59/918.08	c cleaning 86267 clauses out of 187055 with flag 34674310/3906001
942.89/941.43	c cleaning 87316 clauses out of 189787 with flag 35379209/3995000
964.80/963.40	c cleaning 88430 clauses out of 192472 with flag 36042160/4085001
986.11/984.70	c cleaning 89728 clauses out of 195041 with flag 36688071/4176000
1008.43/1007.17	c cleaning 90558 clauses out of 197315 with flag 37385923/4268002
1032.94/1031.75	c cleaning 91799 clauses out of 199755 with flag 38059844/4361000
1055.84/1054.74	c cleaning 93041 clauses out of 201958 with flag 38679086/4455002
1080.97/1079.98	c cleaning 93588 clauses out of 203915 with flag 39388645/4550000
1105.50/1104.54	c cleaning 94741 clauses out of 206327 with flag 40052521/4646000
1131.30/1130.48	c cleaning 95278 clauses out of 208586 with flag 40799180/4743000
1156.77/1155.99	c cleaning 96625 clauses out of 211310 with flag 41523308/4841002
1183.36/1182.66	c cleaning 97482 clauses out of 213683 with flag 42311748/4940000
1211.25/1210.66	c cleaning 98888 clauses out of 216201 with flag 43121837/5040000
1236.91/1236.33	c cleaning 99587 clauses out of 218313 with flag 43830622/5141000
1266.02/1265.56	c cleaning 100386 clauses out of 220726 with flag 44594061/5243000
1295.21/1294.82	c cleaning 101828 clauses out of 223340 with flag 45351625/5346000
1327.60/1327.24	c cleaning 102376 clauses out of 225513 with flag 46236345/5450001
1359.79/1359.59	c cleaning 103781 clauses out of 228136 with flag 46999865/5555000
1388.58/1388.43	c cleaning 104724 clauses out of 230355 with flag 47750683/5661000
1423.51/1423.45	c cleaning 105280 clauses out of 232631 with flag 48646727/5768000
1452.71/1452.71	c cleaning 106724 clauses out of 235351 with flag 49358029/5876000
1483.21/1483.30	c cleaning 107157 clauses out of 237627 with flag 50148479/5985000
1513.90/1514.02	c cleaning 108747 clauses out of 240471 with flag 50871296/6095001
1547.67/1547.99	c cleaning 109979 clauses out of 242723 with flag 51699963/6206000
1577.57/1577.90	c cleaning 111042 clauses out of 244745 with flag 52476872/6318001
1609.34/1609.73	c cleaning 111683 clauses out of 246702 with flag 53371065/6431000
1642.61/1643.13	c cleaning 112859 clauses out of 249020 with flag 54264684/6545001
1676.77/1677.40	c cleaning 114067 clauses out of 251160 with flag 55126443/6660000
1714.61/1715.36	c cleaning 114507 clauses out of 253093 with flag 56012771/6776000
1750.59/1751.45	c cleaning 115823 clauses out of 255588 with flag 56819868/6893002
1784.17/1785.00	c cleaning 116836 clauses out of 257764 with flag 57705418/7011001
1820.30/1821.33	c cleaning 117738 clauses out of 259927 with flag 58575122/7130000
1855.08/1856.26	c cleaning 118705 clauses out of 262192 with flag 59417547/7250003
1892.36/1893.70	c cleaning 119598 clauses out of 264484 with flag 60367485/7371000
1926.94/1928.45	c cleaning 120885 clauses out of 266886 with flag 61275612/7493000
1961.55/1963.02	c cleaning 122034 clauses out of 269001 with flag 62110156/7616000
1998.13/1999.74	c cleaning 122875 clauses out of 270968 with flag 62977232/7740001
2038.18/2039.94	c cleaning 123314 clauses out of 273092 with flag 63961776/7865000
2082.26/2084.01	c cleaning 124851 clauses out of 275778 with flag 64765394/7991000
2124.79/2126.71	c cleaning 125525 clauses out of 277928 with flag 65849496/8118001
2165.30/2167.27	c cleaning 126813 clauses out of 280402 with flag 66825199/8246000
2206.13/2208.15	c cleaning 127607 clauses out of 282592 with flag 67806956/8375003
2247.68/2249.84	c cleaning 128536 clauses out of 284982 with flag 68717895/8505000
2291.62/2294.17	c cleaning 129688 clauses out of 287446 with flag 69698197/8636000
2335.29/2337.97	c cleaning 131006 clauses out of 289758 with flag 70668988/8768000
2375.75/2378.46	c cleaning 131669 clauses out of 291752 with flag 71583975/8901000
2420.72/2423.56	c cleaning 132683 clauses out of 294083 with flag 72537861/9035000
2463.77/2466.69	c cleaning 133541 clauses out of 296400 with flag 73420497/9170000
2511.23/2514.22	c cleaning 134944 clauses out of 298859 with flag 74410458/9306000
2555.41/2558.42	c cleaning 135752 clauses out of 300915 with flag 75338350/9443000
2599.80/2602.95	c cleaning 136481 clauses out of 303164 with flag 76326684/9581001
2649.32/2652.40	c cleaning 137645 clauses out of 305683 with flag 77273461/9720001
2696.09/2699.39	c cleaning 138570 clauses out of 308038 with flag 78274202/9860001
2744.80/2748.10	c cleaning 139613 clauses out of 310467 with flag 79391105/10001000
2789.16/2792.51	c cleaning 140932 clauses out of 312854 with flag 80387619/10143000
2838.96/2842.37	c cleaning 141799 clauses out of 314922 with flag 81617104/10286000
2886.92/2890.43	c cleaning 142508 clauses out of 317126 with flag 82605071/10430003
2938.21/2941.73	c cleaning 143440 clauses out of 319615 with flag 83645689/10575000
2988.85/2992.57	c cleaning 144838 clauses out of 322175 with flag 84791784/10721000
3038.86/3042.55	c cleaning 145619 clauses out of 324338 with flag 85878107/10868001
3089.09/3092.90	c cleaning 146585 clauses out of 326719 with flag 87183778/11016001
3140.38/3144.30	c cleaning 147769 clauses out of 329135 with flag 88210991/11165002
3191.31/3195.30	c cleaning 148594 clauses out of 331365 with flag 89241491/11315001
3248.83/3252.94	c cleaning 149759 clauses out of 333770 with flag 90336827/11466000
3307.19/3311.56	c cleaning 150118 clauses out of 336011 with flag 91507258/11618000
3360.24/3364.61	c cleaning 151625 clauses out of 338893 with flag 92530509/11771000
3421.81/3426.74	c cleaning 152613 clauses out of 341268 with flag 93738227/11925000
3474.71/3479.82	c cleaning 153512 clauses out of 343655 with flag 94842988/12080000
3530.71/3535.87	c cleaning 154573 clauses out of 346143 with flag 95994810/12236000
3582.92/3588.28	c cleaning 155655 clauses out of 348570 with flag 97155037/12393000
3600.02/3605.31	c starts		: 51430
3600.02/3605.31	c timeout
3600.02/3605.32	c conflicts		: 12438541
3600.02/3605.32	c decisions		: 121033696
3600.02/3605.32	c propagations		: 2453465702
3600.02/3605.32	c inspects		: 39700955649
3600.02/3605.32	c shortcuts		: 0
3600.02/3605.32	c learnt literals	: 6
3600.02/3605.32	c learnt binary clauses	: 4513
3600.02/3605.32	c learnt ternary clauses	: 14904
3600.02/3605.32	c learnt constraints	: 12438535
3600.02/3605.32	c ignored constraints	: 0
3600.02/3605.32	c root simplifications	: 0
3600.02/3605.32	c removed literals (reason simplification)	: 108257548
3600.02/3605.32	c reason swapping (by a shorter reason)	: 0
3600.02/3605.32	c Calls to reduceDB	: 153
3600.02/3605.32	c Number of update (reduction) of LBD	: 7245693
3600.02/3605.32	c Imported unit clauses	: 0
3600.02/3605.32	c No decision after first conflict	: false
3600.02/3605.32	c number of reductions to clauses (during analyze)	: 0
3600.02/3605.32	c number of learned constraints concerned by reduction	: 0
3600.02/3605.32	c number of learning phase by resolution	: 0
3600.02/3605.32	c number of learning phase by cutting planes	: 0
3600.02/3605.32	c number of rounding to 1 operations	: 0
3600.02/3605.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3605.32	c number of reductions of the coefficients by power 2 	: 0
3600.02/3605.32	c number of right shift for reduction by power 2 	: 0
3600.02/3605.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3605.32	c number of ending skipping 	: 0
3600.02/3605.32	c number of internal skipping 	: 0
3600.02/3605.32	c number of derivation steps 	: 0
3600.02/3605.32	c number of skipped derivation steps 	: 0
3600.02/3605.32	c number of remaining unassigned 	: 0
3600.02/3605.32	c number of remaining assigned 	: 0
3600.02/3605.33	c number of falsified literals weakened from reason	: 0
3600.02/3605.33	c number of falsified literals weakened from conflict	: 0
3600.02/3605.33	c time for arithmetic operations	: 0
3600.02/3605.33	c minimum degree of deleted constraints	: null
3600.02/3605.33	c maximum degree of deleted constraints	: null
3600.02/3605.33	c number of deleted constraints	: 0
3600.02/3605.33	c speed (assignments/second)	: 680816.064431324
3600.02/3605.33	c non guided choices	: 4080588
3600.02/3605.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 233943
3600.02/3605.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4513
3600.02/3605.39	s UNKNOWN
3600.02/3605.39	c Total wall clock time (in seconds): 3605.259

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503357-1751162204/watcher-4503357-1751162204 -o /tmp/evaluation-result-4503357-1751162204/solver-4503357-1751162204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20626 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503357-1751162204 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503357-1751162204.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=23546, runsolver pid=23543

[startup+0.100017 s]*
/proc/loadavg: 4.15 4.23 4.19 5/342 23564
/proc/meminfo: memFree=123917888/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=18930384 memory=57788 CPUtime=0.12 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 6588 0 0 0 11 1 0 0 20 0 18 0 31899782 19384713216 14447 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4732596 14447 5335 1 0 547622 0
[pid=23546/tid=23548] ppid=23543 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5089 0 0 0 7 1 0 0 20 0 18 0 31899784 19384713216 14447 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 14447 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=18930384 memory=60684515952020 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 14447 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57788 KiB

[startup+0.205739 s]*
/proc/loadavg: 4.15 4.23 4.19 7/342 23564
/proc/meminfo: memFree=123912280/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=18930384 memory=70332 CPUtime=0.32 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 7071 0 0 0 30 2 0 0 20 0 18 0 31899782 19384713216 17583 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4732596 17583 5431 1 0 547919 0
[pid=23546/tid=23548] ppid=23543 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5321 0 0 0 16 1 0 0 20 0 18 0 31899784 19384713216 17583 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 17583 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 18095 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70332 KiB

[startup+0.305918 s]*
/proc/loadavg: 4.15 4.23 4.19 6/342 23564
/proc/meminfo: memFree=123866280/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=18930384 memory=117488 CPUtime=0.51 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 8558 0 0 0 48 3 0 0 20 0 18 0 31899782 19384713216 29372 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4732596 29372 5431 1 0 548923 0
[pid=23546/tid=23548] ppid=23543 vsize=18930384 memory=-6000919494198126957 CPUtime=0.27 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5342 0 0 0 25 2 0 0 20 0 18 0 31899784 19384713216 29372 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 29372 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31899786 19384713216 29372 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 117488 KiB

[startup+0.70023 s]
/proc/loadavg: 4.15 4.23 4.19 6/343 23565
/proc/meminfo: memFree=123818200/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=18996948 memory=181308 CPUtime=1.28 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 11168 0 0 0 123 5 0 0 20 0 19 0 31899782 19452874752 45327 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4749237 45327 5463 1 0 551137 0
[pid=23546/tid=23548] ppid=23543 vsize=18996948 memory=17280 CPUtime=0.63 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5362 0 0 0 60 3 0 0 20 0 19 0 31899784 19452874752 45327 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31899786 19452874752 45327 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31899786 19452874752 45327 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181308 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.23 4.19 6/343 23565
/proc/meminfo: memFree=123751536/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=18996948 memory=480644 CPUtime=2.86 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 17015 0 0 0 275 11 0 0 20 0 19 0 31899782 19452874752 120161 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4749237 120161 5463 1 0 1081042 0
[pid=23546/tid=23548] ppid=23543 vsize=18996948 memory=3328 CPUtime=1.27 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5471 0 0 0 121 6 0 0 20 0 19 0 31899784 19452874752 120161 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31899786 19452874752 120161 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31899786 19452874752 120161 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 480644 KiB

[startup+3.1058 s]
/proc/loadavg: 4.38 4.28 4.21 6/344 23566
/proc/meminfo: memFree=123477708/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=499288 CPUtime=5.64 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 17572 0 0 0 552 12 0 0 20 0 20 0 31899782 19521036288 124822 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 124822 5495 1 0 1081473 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=10752 CPUtime=2.8 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 5538 0 0 0 274 6 0 0 20 0 20 0 31899784 19521036288 124822 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 124822 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 124822 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 124822 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 499288 KiB

[startup+6.30023 s]
/proc/loadavg: 4.38 4.28 4.21 5/344 23566
/proc/meminfo: memFree=123461128/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=497672 CPUtime=10 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 26168 0 0 0 986 14 0 0 20 0 20 0 31899782 19521036288 124418 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 124418 5495 1 0 1081688 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=0 CPUtime=5.98 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 6397 0 0 0 592 6 0 0 20 0 20 0 31899784 19521036288 124418 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 124418 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=-6000919494198126957 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 124418 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 124418 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 497672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.27 4.20 5/344 23566
/proc/meminfo: memFree=123392772/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=545452 CPUtime=17.23 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 32944 0 0 0 1706 17 0 0 20 0 20 0 31899782 19521036288 136363 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 136363 5527 1 0 1683281 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=0 CPUtime=12.33 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 7345 0 0 0 1226 7 0 0 20 0 20 0 31899784 19521036288 136363 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=524960 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 136363 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 136363 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 136363 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 17.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 545452 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.28 4.21 5/344 23567
/proc/meminfo: memFree=123056820/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=803500 CPUtime=30.01 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 34280 0 0 0 2978 23 0 0 20 0 20 0 31899782 19521036288 200875 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 200875 5527 1 0 1683281 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=-6000919494198126957 CPUtime=25.09 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 8422 0 0 0 2496 13 0 0 20 0 20 0 31899784 19521036288 200875 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=3103 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 200875 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=668332 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 200875 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=651948 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 200875 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 803500 KiB

[startup+51.106 s]
/proc/loadavg: 4.23 4.25 4.20 5/344 23567
/proc/meminfo: memFree=122625000/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=1121172 CPUtime=55.62 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 38346 0 0 0 5531 31 0 0 20 0 20 0 31899782 19521036288 280293 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 280293 5527 1 0 1683290 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=1061652 CPUtime=50.57 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 9602 0 0 0 5036 21 0 0 20 0 20 0 31899784 19521036288 280293 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=-6000919494198126957 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 280293 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=836348 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 280293 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=733868 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 280293 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0

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

/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=4800024 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2621 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4800024 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3218.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4800024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/344 23753
/proc/meminfo: memFree=105547732/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=4800024 CPUtime=3278.14 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 170171 0 0 0 327145 669 0 0 20 0 20 0 31899782 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1200006 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=4800024 CPUtime=3264.21 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 97983 0 0 0 325843 578 0 0 20 0 20 0 31899784 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=4800024 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=4800024 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2697 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4800024 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1200006 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3278.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4800024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.14 4.11 5/346 23826
/proc/meminfo: memFree=108673352/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=4818456 CPUtime=3338.02 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 172269 0 0 0 333123 679 0 0 20 0 20 0 31899782 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1204614 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=0 CPUtime=3323.77 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 98917 0 0 0 331789 588 0 0 20 0 20 0 31899784 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=4818456 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=4818456 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2807 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4818456 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3338.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4818456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/346 23894
/proc/meminfo: memFree=110478476/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=4818456 CPUtime=3397.28 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 174125 0 0 0 339039 689 0 0 20 0 20 0 31899782 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1204614 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=4818456 CPUtime=3383 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 100741 0 0 0 337704 596 0 0 20 0 20 0 31899784 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=16380 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=4818456 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2808 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4818456 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1204614 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3397.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4818456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/346 23962
/proc/meminfo: memFree=116480244/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=4890136 CPUtime=3457.29 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 177066 0 0 0 345029 700 0 0 20 0 20 0 31899782 19521036288 1222534 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1222534 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=4818456 CPUtime=3442.57 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 102569 0 0 0 343652 605 0 0 20 0 20 0 31899784 19521036288 1222534 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=16380 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1222534 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2837 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1222534 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=4890136 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1222534 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3457.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4890136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/344 23964
/proc/meminfo: memFree=114559640/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=5037596 CPUtime=3517.24 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 178928 0 0 0 351013 711 0 0 20 0 20 0 31899782 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1259399 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=4890136 CPUtime=3502.16 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 103449 0 0 0 349604 612 0 0 20 0 20 0 31899784 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=5037596 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=4890136 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2874 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=16380 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3517.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5037596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.19 4.13 5/343 23966
/proc/meminfo: memFree=113295476/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=5037596 CPUtime=3577.03 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 181050 0 0 0 356983 720 0 0 20 0 20 0 31899782 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1259399 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=16380 CPUtime=3561.92 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 105540 0 0 0 355572 620 0 0 20 0 20 0 31899784 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=16380 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2874 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3577.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5037596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.3 s]
/proc/loadavg: 4.27 4.19 4.13 5/344 23967
/proc/meminfo: memFree=112958076/131250000 swapFree=33010684/33010684
[pid=23546] ppid=23543 vsize=19063512 memory=5037596 CPUtime=3600.02 cores=5,7
/proc/23546/stat : 23546 (java) S 23543 23546 20613 0 -1 4194304 182798 0 0 0 359279 723 0 0 20 0 20 0 31899782 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
/proc/23546/statm: 4765878 1259399 5527 1 0 1683377 0
[pid=23546/tid=23548] ppid=23543 vsize=19063512 memory=10752 CPUtime=3584.71 cores=5,7
/proc/23546/task/23548/stat : 23548 (java) R 23543 23546 20613 0 -1 4194368 106081 0 0 0 357849 622 0 0 20 0 20 0 31899784 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23557] ppid=23543 vsize=19063512 memory=5037596 CPUtime=0 cores=5,7
/proc/23546/task/23557/stat : 23557 (Finalizer) S 23543 23546 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23564] ppid=23543 vsize=19063512 memory=5037596 CPUtime=0 cores=5,7
/proc/23546/task/23564/stat : 23564 (Common-Cleaner) S 23543 23546 20613 0 -1 4194368 2874 0 0 0 0 0 0 0 20 0 20 0 31899786 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
[pid=23546/tid=23566] ppid=23543 vsize=19063512 memory=5037596 CPUtime=0 cores=5,7
/proc/23546/task/23566/stat : 23566 (Timer-0) S 23543 23546 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31899944 19521036288 1259399 18446744073709551615 94572703911936 94572703915632 140724660945280 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94572703923448 94572703924240 94572723560448 140724660951344 140724660951526 140724660951526 140724660957128 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5037596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.91 s, system=7.258 s

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

[startup+3605.41 s]*
/proc/loadavg: 4.27 4.19 4.13 5/326 23970
/proc/meminfo: memFree=117149028/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3605.45
CPU time (s): 3600.17
CPU user time (s): 3592.91
CPU system time (s): 7.258
CPU usage (%): 99.8537
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 5037596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.91
system time used= 7.258
maximum resident set size= 5038492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8474760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107731
involuntary context switches= 6971


# summary of solver processes directly reported to runsolver:
#   pid: 23546
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3592.91
#   total CPU system time (s): 7.258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24033 second user time and 17.1627 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 03:56:44
IDJOB=4503357
IDBENCH=155426
IDSOLVER=3364
FILE ID=nodeC033/4503357-1751162204
RUNJOBID= nodeC033-1751158366-20626
SLURM_JOB_ID= 9587493
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-192.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503357-1751162204/watcher-4503357-1751162204 -o /tmp/evaluation-result-4503357-1751162204/solver-4503357-1751162204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20626 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503357-1751162204 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503357-1751162204.opb

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

MD5SUM BENCH= 7ac327da8fefd7cd3f39afa8bfb7af2c
RANDOM SEED=244242826

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123942488 kB
MemAvailable:   124554108 kB
Buffers:            3280 kB
Cached:          1421324 kB
SwapCached:            0 kB
Active:          5580588 kB
Inactive:        1163208 kB
Active(anon):    5337368 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  1163208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             87816 kB
Writeback:             0 kB
AnonPages:       5322640 kB
Mapped:           122788 kB
Shmem:             18120 kB
KReclaimable:      88860 kB
Slab:             177148 kB
SReclaimable:      88860 kB
SUnreclaim:        88288 kB
KernelStack:        5248 kB
PageTables:        14036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    9167664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5107712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC033 at 2025-06-29 04:56:49