Trace number 4518511

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)1 3568.7 3702.76

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
MD5SUMd5993a0e2ae11ecdb32c60d775cccf06
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.016932
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables124
Total number of constraints31
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 31
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.45/0.35	c Pseudo Boolean Optimization by upper bound
0.45/0.35	c --- Begin Solver configuration ---
0.45/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.45/0.35	c Learn all clauses as in MiniSAT
0.45/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.35	c Expensive reason simplification
0.45/0.35	c Glucose 2.1 dynamic restart strategy
0.45/0.35	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.45/0.35	c timeout=2147483s
0.45/0.35	c DB Simplification allowed=false
0.45/0.35	c Listener: none
0.45/0.35	c --- End Solver configuration ---
0.45/0.35	c solving HOME/instance-4518511-1751547548.opb
0.45/0.35	c reading problem ... 
0.45/0.37	c using VERIPB proof format
0.45/0.38	c  objective function found
0.45/0.42	c ... done. Wall clock time 0.061s.
0.45/0.42	c declared #vars     124
0.45/0.42	c #constraints  62
0.45/0.42	c constraints type 
0.45/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 62
0.57/0.43	c 62 constraints processed.
0.57/0.46	c objective function length is 31 literals
1.27/0.84	c SATISFIABLE
1.27/0.84	c OPTIMIZING...
1.27/0.84	c Got one! Elapsed wall clock time (in seconds):0.49
1.27/0.84	o 1
2.45/1.45	c cleaning 2603 clauses out of 5211 with flag 26127/5211
3.45/1.94	c cleaning 4295 clauses out of 8608 with flag 64576/11211
4.43/2.40	c cleaning 5646 clauses out of 11313 with flag 109068/18211
5.23/2.83	c cleaning 6827 clauses out of 13668 with flag 170198/26212
6.14/3.32	c cleaning 7912 clauses out of 15840 with flag 238649/35211
6.69/3.87	c cleaning 8963 clauses out of 17936 with flag 314977/45219
7.57/4.53	c cleaning 9972 clauses out of 19966 with flag 405167/56212
8.29/5.27	c cleaning 10990 clauses out of 21993 with flag 498848/68211
9.30/6.20	c cleaning 11990 clauses out of 24004 with flag 595708/81212
10.21/7.16	c cleaning 13006 clauses out of 26014 with flag 701601/95212
11.25/7.92	c cleaning 13996 clauses out of 28007 with flag 835632/110211
13.04/8.98	c cleaning 14993 clauses out of 30011 with flag 1005183/126211
14.07/9.92	c cleaning 16000 clauses out of 32018 with flag 1158806/143211
15.21/11.07	c cleaning 17004 clauses out of 34021 with flag 1323609/161214
16.60/12.41	c cleaning 18003 clauses out of 36014 with flag 1529538/180211
17.99/13.88	c cleaning 19000 clauses out of 38012 with flag 1742592/200212
19.59/15.46	c cleaning 20002 clauses out of 40015 with flag 1958082/221215
20.98/16.89	c cleaning 21002 clauses out of 42011 with flag 2134281/243213
22.48/18.37	c cleaning 21989 clauses out of 44008 with flag 2316719/266212
24.07/19.95	c cleaning 23001 clauses out of 46019 with flag 2523313/290212
25.97/21.88	c cleaning 24002 clauses out of 48017 with flag 2761119/315211
28.17/24.10	c cleaning 24995 clauses out of 50016 with flag 3014999/341212
30.26/26.16	c cleaning 25992 clauses out of 52021 with flag 3293025/368212
32.45/28.35	c cleaning 27005 clauses out of 54028 with flag 3543906/396211
34.84/30.77	c cleaning 27996 clauses out of 56023 with flag 3806633/425211
37.63/33.54	c cleaning 29000 clauses out of 58027 with flag 4106098/455211
40.43/36.39	c cleaning 30003 clauses out of 60028 with flag 4367778/486212
43.52/39.40	c cleaning 30991 clauses out of 62025 with flag 4701421/518212
46.48/42.57	c cleaning 32012 clauses out of 64033 with flag 5050947/551211
49.78/45.81	c cleaning 32993 clauses out of 66021 with flag 5353309/585211
53.36/49.45	c cleaning 33998 clauses out of 68029 with flag 5647958/620212
57.55/53.66	c cleaning 35001 clauses out of 70030 with flag 5969363/656211
61.54/57.63	c cleaning 36010 clauses out of 72030 with flag 6302588/693212
65.63/61.70	c cleaning 37004 clauses out of 74019 with flag 6666253/731211
70.22/66.34	c cleaning 38000 clauses out of 76016 with flag 7070358/770212
75.21/71.35	c cleaning 38995 clauses out of 78017 with flag 7477952/810213
80.73/76.93	c cleaning 40003 clauses out of 80022 with flag 7913566/851213
86.51/82.75	c cleaning 41002 clauses out of 82019 with flag 8409200/893213
92.60/88.84	c cleaning 41999 clauses out of 84019 with flag 8937980/936215
98.38/94.64	c cleaning 42996 clauses out of 86016 with flag 9421086/980211
103.17/99.48	c cleaning 43997 clauses out of 88020 with flag 9834253/1025211
109.07/105.49	c cleaning 45001 clauses out of 90023 with flag 10295189/1071211
115.46/111.86	c cleaning 45996 clauses out of 92022 with flag 10764367/1118211
122.04/118.42	c cleaning 46999 clauses out of 94026 with flag 11212683/1166211
128.22/124.60	c cleaning 48004 clauses out of 96027 with flag 11684952/1215211
135.21/131.65	c cleaning 49000 clauses out of 98024 with flag 12171486/1265212
143.03/143.47	c cleaning 50001 clauses out of 100024 with flag 12696276/1316212
150.21/150.64	c cleaning 50995 clauses out of 102023 with flag 13241149/1368212
157.00/157.49	c cleaning 51997 clauses out of 104027 with flag 13755725/1421211
163.17/163.67	c cleaning 53006 clauses out of 106030 with flag 14272480/1475211
170.60/171.12	c cleaning 54002 clauses out of 108024 with flag 14795367/1530211
179.07/179.61	c cleaning 55003 clauses out of 110024 with flag 15354813/1586213
186.75/187.36	c cleaning 55994 clauses out of 112019 with flag 15906070/1643211
195.13/195.79	c cleaning 57007 clauses out of 114025 with flag 16430656/1701211
203.05/203.79	c cleaning 57987 clauses out of 116018 with flag 17008213/1760211
211.74/212.43	c cleaning 58997 clauses out of 118031 with flag 17564691/1820211
220.82/221.50	c cleaning 60006 clauses out of 120034 with flag 18134854/1881211
230.02/230.71	c cleaning 61001 clauses out of 122028 with flag 18685335/1943211
239.13/239.97	c cleaning 62006 clauses out of 124027 with flag 19310706/2006211
247.32/248.17	c cleaning 63000 clauses out of 126022 with flag 19925419/2070212
256.19/257.11	c cleaning 63997 clauses out of 128021 with flag 20508597/2135211
267.76/268.77	c cleaning 65012 clauses out of 130025 with flag 21233451/2201212
279.25/280.22	c cleaning 65985 clauses out of 132012 with flag 21931357/2268211
292.22/293.32	c cleaning 66992 clauses out of 134027 with flag 22651301/2336211
305.68/306.85	c cleaning 68004 clauses out of 136037 with flag 23340297/2405213
317.56/318.75	c cleaning 69007 clauses out of 138031 with flag 23976360/2475211
331.94/333.30	c cleaning 69988 clauses out of 140024 with flag 24717207/2546211
346.53/347.84	c cleaning 71005 clauses out of 142036 with flag 25479622/2618211
360.12/368.45	c cleaning 72008 clauses out of 144034 with flag 26258508/2691214
372.69/381.06	c cleaning 73005 clauses out of 146023 with flag 27095085/2765211
386.64/395.13	c cleaning 74007 clauses out of 148018 with flag 27894868/2840211
404.59/413.16	c cleaning 74998 clauses out of 150012 with flag 28748695/2916212
420.57/429.28	c cleaning 75993 clauses out of 152013 with flag 29582415/2993211
436.44/445.17	c cleaning 76991 clauses out of 154022 with flag 30341282/3071213
452.75/461.59	c cleaning 78009 clauses out of 156031 with flag 31175524/3150213
472.11/481.00	c cleaning 79003 clauses out of 158021 with flag 32074765/3230212
491.04/503.70	c cleaning 79998 clauses out of 160017 with flag 32941365/3311211
508.67/521.43	c cleaning 80998 clauses out of 162019 with flag 33761175/3393211
527.92/540.77	c cleaning 82004 clauses out of 164022 with flag 34652410/3476212
548.73/561.65	c cleaning 82987 clauses out of 166017 with flag 35504936/3560211
571.16/584.12	c cleaning 83994 clauses out of 168030 with flag 36412847/3645211
593.59/606.66	c cleaning 85005 clauses out of 170036 with flag 37341001/3731211
616.65/634.87	c cleaning 86000 clauses out of 172031 with flag 38222633/3818211
640.25/658.57	c cleaning 87003 clauses out of 174034 with flag 39155392/3906214
665.67/684.02	c cleaning 88006 clauses out of 176028 with flag 40161951/3995211
692.68/713.45	c cleaning 88996 clauses out of 178022 with flag 41155502/4085211
717.96/738.72	c cleaning 90003 clauses out of 180027 with flag 42064398/4176212
743.30/764.19	c cleaning 90999 clauses out of 182024 with flag 43095383/4268212
769.81/790.90	c cleaning 92007 clauses out of 184026 with flag 44153705/4361213
797.34/818.98	c cleaning 92993 clauses out of 186020 with flag 45289318/4455214
825.86/847.58	c cleaning 94005 clauses out of 188025 with flag 46371995/4550212
855.18/879.97	c cleaning 94995 clauses out of 190020 with flag 47466383/4646212
882.92/907.80	c cleaning 96005 clauses out of 192025 with flag 48568299/4743212
908.83/933.99	c cleaning 97000 clauses out of 194019 with flag 49691543/4841211
934.27/959.42	c cleaning 97998 clauses out of 196019 with flag 50830099/4940211
962.17/990.66	c cleaning 98999 clauses out of 198021 with flag 51859048/5040211
994.30/1022.96	c cleaning 99991 clauses out of 200022 with flag 53097809/5141211
1027.42/1056.28	c cleaning 101010 clauses out of 202031 with flag 54351979/5243211
1060.48/1095.14	c cleaning 102004 clauses out of 204021 with flag 55465130/5346211
1092.59/1127.43	c cleaning 102996 clauses out of 206017 with flag 56681275/5450211
1125.76/1160.76	c cleaning 104007 clauses out of 208025 with flag 57861114/5555215
1156.69/1191.81	c cleaning 105002 clauses out of 210015 with flag 59106793/5661212
1183.00/1226.21	c cleaning 105993 clauses out of 212013 with flag 60221646/5768212
1208.40/1251.63	c cleaning 106996 clauses out of 214019 with flag 61482553/5876211
1234.96/1289.64	c cleaning 107989 clauses out of 216023 with flag 62644513/5985211
1259.50/1314.20	c cleaning 109001 clauses out of 218035 with flag 63769050/6095212
1286.61/1341.55	c cleaning 110004 clauses out of 220033 with flag 64824245/6206211
1314.23/1372.90	c cleaning 111001 clauses out of 222029 with flag 65911821/6318211
1341.78/1400.65	c cleaning 111997 clauses out of 224028 with flag 67074404/6431211
1368.91/1427.87	c cleaning 112998 clauses out of 226031 with flag 68214312/6545211
1396.45/1455.47	c cleaning 113998 clauses out of 228034 with flag 69299046/6660212
1425.82/1484.95	c cleaning 115001 clauses out of 230037 with flag 70428359/6776213
1456.48/1515.60	c cleaning 116002 clauses out of 232034 with flag 71575184/6893211
1486.69/1546.00	c cleaning 117002 clauses out of 234032 with flag 72836720/7011211
1517.11/1576.38	c cleaning 118006 clauses out of 236033 with flag 74001077/7130214
1550.91/1610.24	c cleaning 118994 clauses out of 238025 with flag 75343564/7250212
1585.61/1645.10	c cleaning 120009 clauses out of 240032 with flag 76637854/7371213
1627.83/1687.37	c cleaning 121003 clauses out of 242021 with flag 77949608/7493211
1670.21/1731.88	c cleaning 121994 clauses out of 244020 with flag 79253008/7616213
1717.97/1779.76	c cleaning 123002 clauses out of 246024 with flag 80557025/7740211
1764.94/1826.87	c cleaning 123999 clauses out of 248022 with flag 81918751/7865211
1811.58/1884.42	c cleaning 125000 clauses out of 250024 with flag 83368246/7991212
1856.28/1929.29	c cleaning 125995 clauses out of 252024 with flag 84757389/8118212
1905.69/1978.79	c cleaning 127007 clauses out of 254028 with flag 86125884/8246211
1954.20/2034.89	c cleaning 128002 clauses out of 256022 with flag 87657006/8375212
2003.57/2084.38	c cleaning 128995 clauses out of 258019 with flag 89043502/8505211
2053.59/2136.18	c cleaning 129996 clauses out of 260026 with flag 90513077/8636213
2103.59/2186.21	c cleaning 131002 clauses out of 262028 with flag 92008363/8768211
2155.52/2238.22	c cleaning 132007 clauses out of 264027 with flag 93533512/8901212
2204.28/2292.42	c cleaning 133000 clauses out of 266019 with flag 94931328/9035211
2260.16/2348.41	c cleaning 133999 clauses out of 268019 with flag 96271824/9170211
2305.76/2399.02	c cleaning 134994 clauses out of 270023 with flag 97617068/9306214
2351.77/2445.16	c cleaning 135998 clauses out of 272027 with flag 99141633/9443212
2409.69/2503.25	c cleaning 137003 clauses out of 274028 with flag 100630541/9581211
2457.53/2551.18	c cleaning 138000 clauses out of 276026 with flag 102113584/9720212
2510.25/2603.90	c cleaning 138997 clauses out of 278026 with flag 103670924/9860212
2564.58/2660.11	c cleaning 140011 clauses out of 280029 with flag 105312076/10001212
2617.16/2718.05	c cleaning 140999 clauses out of 282019 with flag 106949960/10143213
2664.44/2765.42	c cleaning 142002 clauses out of 284021 with flag 108388960/10286214
2716.51/2817.57	c cleaning 142999 clauses out of 286017 with flag 109924534/10430212
2765.20/2866.31	c cleaning 144005 clauses out of 288017 with flag 111548167/10575211
2813.93/2915.15	c cleaning 144993 clauses out of 290012 with flag 113198527/10721211
2865.24/2968.80	c cleaning 145991 clauses out of 292020 with flag 114810919/10868212
2927.38/3031.03	c cleaning 146998 clauses out of 294030 with flag 116491544/11016213
2995.05/3107.82	c cleaning 148005 clauses out of 296031 with flag 118220058/11165212
3061.25/3174.12	c cleaning 149002 clauses out of 298026 with flag 119959391/11315212
3122.05/3244.04	c cleaning 150000 clauses out of 300026 with flag 121600295/11466214
3178.86/3301.08	c cleaning 150995 clauses out of 302025 with flag 123187583/11618213
3250.69/3373.16	c cleaning 152003 clauses out of 304028 with flag 124808065/11771211
3309.40/3438.13	c cleaning 153006 clauses out of 306025 with flag 126379565/11925211
3372.52/3501.43	c cleaning 153998 clauses out of 308020 with flag 128003075/12080212
3428.28/3557.38	c cleaning 155002 clauses out of 310021 with flag 129577109/12236211
3504.33/3636.11	c cleaning 155996 clauses out of 312020 with flag 131282745/12393212
3568.19/3700.04	c starts		: 2040
3568.19/3700.06	c conflicts		: 12551212
3568.19/3700.07	c decisions		: 14149885
3568.19/3700.07	c propagations		: 245416771
3568.19/3700.07	c inspects		: 48386093234
3568.19/3700.07	c shortcuts		: 0
3568.19/3700.07	c learnt literals	: 0
3568.19/3700.07	c learnt binary clauses	: 0
3568.19/3700.07	c learnt ternary clauses	: 0
3568.19/3700.07	c learnt constraints	: 12551212
3568.19/3700.07	c ignored constraints	: 0
3568.19/3700.07	c root simplifications	: 0
3568.19/3700.07	c removed literals (reason simplification)	: 59140652
3568.19/3700.07	c reason swapping (by a shorter reason)	: 0
3568.19/3700.07	c Calls to reduceDB	: 154
3568.19/3700.07	c Number of update (reduction) of LBD	: 4126692
3568.19/3700.08	c Imported unit clauses	: 0
3568.19/3700.08	c No decision after first conflict	: false
3568.19/3700.08	c number of reductions to clauses (during analyze)	: 0
3568.19/3700.08	c number of learned constraints concerned by reduction	: 0
3568.19/3700.08	c number of learning phase by resolution	: 0
3568.19/3700.08	c number of learning phase by cutting planes	: 0
3568.19/3700.08	c number of rounding to 1 operations	: 0
3568.19/3700.08	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3568.19/3700.08	c number of reductions of the coefficients by power 2 	: 0
3568.19/3700.08	c number of right shift for reduction by power 2 	: 0
3568.19/3700.08	c number of reductions of the coefficients by GCD over coefficients 	: 0
3568.19/3700.08	c number of ending skipping 	: 0
3568.19/3700.08	c number of internal skipping 	: 0
3568.19/3700.08	c number of derivation steps 	: 0
3568.19/3700.08	c number of skipped derivation steps 	: 0
3568.19/3700.08	c number of remaining unassigned 	: 0
3568.19/3700.09	c number of remaining assigned 	: 0
3568.19/3700.09	c number of falsified literals weakened from reason	: 0
3568.19/3700.09	c number of falsified literals weakened from conflict	: 0
3568.19/3700.09	c time for arithmetic operations	: 0
3568.19/3700.09	c minimum degree of deleted constraints	: null
3568.19/3700.09	c maximum degree of deleted constraints	: null
3568.19/3700.09	c number of deleted constraints	: 0
3568.19/3700.09	c speed (assignments/second)	: 66335.79539265324
3568.19/3700.09	c non guided choices	: 56
3568.56/3700.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 314024
3568.56/3700.25	s SATISFIABLE
3568.56/3700.25	c Found 1 solution(s)
3568.56/3700.25	v x1 -x2 -x3 -x4 x5 x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 x15 x16 x17 x18 x19 x20 -x21 -x22 x23 -x24 x25 x26 -x27 x28 -x29 x30 -x31 x32 -x33 x34 x35 x36 -x37 x38 x39 x40 x41 x42 -x43 x44 x45 x46 -x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 -x61 -x62 x63 x64 x65 -x66 x67 -x68 -x69 x70 x71 x72 -x73 x74 x75 x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
3568.56/3700.26	c objective function=1
3568.56/3700.26	c Total wall clock time (in seconds): 3699.909

Verifier Data 

OK	1

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62987 MiB free)
  memory of node 1: 64507 MiB (62192 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10449 s]*
/proc/loadavg: 0.83 1.02 1.07 14/319 78380
/proc/meminfo: memFree=128083520/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=18930384 memory=47432 CPUtime=0.1 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 5710 0 0 0 6 4 0 0 20 0 18 0 70434199 19384713216 11858 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4732596 11858 5134 1 0 546931 0
[pid=78307/tid=78320] ppid=78295 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 4581 0 0 0 3 3 0 0 20 0 18 0 70434202 19384713216 11858 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=18930384 memory=12896 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 11858 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 11858 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47432 KiB

[startup+0.216175 s]*
/proc/loadavg: 0.83 1.02 1.07 9/319 78380
/proc/meminfo: memFree=128065968/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=18930384 memory=52124 CPUtime=0.27 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 6179 0 0 0 21 6 0 0 20 0 18 0 70434199 19384713216 13031 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4732596 13031 5358 1 0 547290 0
[pid=78307/tid=78320] ppid=78295 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 4961 0 0 0 13 4 0 0 20 0 18 0 70434202 19384713216 13031 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=18930384 memory=12896 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 13031 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 13031 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52124 KiB

[startup+0.321047 s]*
/proc/loadavg: 0.83 1.02 1.07 15/319 78380
/proc/meminfo: memFree=128048668/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=18930384 memory=58332 CPUtime=0.45 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 6725 0 0 0 39 6 0 0 20 0 18 0 70434199 19384713216 14583 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4732596 14583 5358 1 0 547761 0
[pid=78307/tid=78320] ppid=78295 vsize=18930384 memory=-6000919481229534312 CPUtime=0.27 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 5179 0 0 0 23 4 0 0 20 0 18 0 70434202 19384713216 14583 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 14583 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70434208 19384713216 14583 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58332 KiB

[startup+0.702357 s]
/proc/loadavg: 0.83 1.02 1.07 11/322 78383
/proc/meminfo: memFree=128038964/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=18996948 memory=70884 CPUtime=1.09 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 8093 0 0 0 100 9 0 0 20 0 19 0 70434199 19452874752 17721 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4749237 17721 5486 1 0 548779 0
[pid=78307/tid=78320] ppid=78295 vsize=18996948 memory=18432 CPUtime=0.55 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 5394 0 0 0 50 5 0 0 20 0 19 0 70434202 19452874752 17721 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 17721 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 17721 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434247 19452874752 17721 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70884 KiB

[startup+1.50032 s]
/proc/loadavg: 0.83 1.02 1.07 10/323 78384
/proc/meminfo: memFree=127919680/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=18996948 memory=146500 CPUtime=2.65 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 18280 0 0 0 251 14 0 0 20 0 19 0 70434199 19452874752 36625 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4749237 36625 5486 1 0 552838 0
[pid=78307/tid=78320] ppid=78295 vsize=18996948 memory=0 CPUtime=1.28 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 6402 0 0 0 120 8 0 0 20 0 19 0 70434202 19452874752 36625 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 36625 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70434208 19452874752 36625 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70434247 19452874752 36625 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146500 KiB

[startup+3.10559 s]
/proc/loadavg: 0.83 1.02 1.07 10/327 78388
/proc/meminfo: memFree=127508136/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=179172 CPUtime=5.83 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 23139 0 0 0 566 17 0 0 20 0 20 0 70434199 19521036288 44793 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 44793 5518 1 0 554628 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=11136 CPUtime=2.86 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 6914 0 0 0 276 10 0 0 20 0 20 0 70434202 19521036288 44793 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=-6000919485524501608 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 44793 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 44793 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 44793 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179172 KiB

[startup+6.30039 s]
/proc/loadavg: 1.16 1.09 1.09 6/327 78388
/proc/meminfo: memFree=126212912/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=302552 CPUtime=9.4 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 24140 0 0 0 918 22 0 0 20 0 20 0 70434199 19521036288 75638 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 75638 5518 1 0 554629 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 7265 0 0 0 587 14 0 0 20 0 20 0 70434202 19521036288 75638 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 75638 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 75638 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=157640 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 75638 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 302552 KiB

[startup+12.7004 s]
/proc/loadavg: 1.39 1.14 1.11 6/330 78391
/proc/meminfo: memFree=124236952/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=554980 CPUtime=16.89 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 32466 0 0 0 1658 31 0 0 20 0 20 0 70434199 19521036288 138745 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 138745 5518 1 0 554632 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=157640 CPUtime=12.35 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 8757 0 0 0 1212 23 0 0 20 0 20 0 70434202 19521036288 138745 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=548824 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 138745 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=548824 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 138745 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 138745 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 16.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 554980 KiB

[startup+25.5004 s]
/proc/loadavg: 1.97 1.28 1.15 6/330 78391
/proc/meminfo: memFree=122582176/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=1312884 CPUtime=29.65 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 35278 0 0 0 2912 53 0 0 20 0 20 0 70434199 19521036288 328221 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 328221 5518 1 0 554632 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=548824 CPUtime=25.06 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 10089 0 0 0 2463 43 0 0 20 0 20 0 70434202 19521036288 328221 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=1312884 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 328221 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 328221 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=1312884 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 328221 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 29.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312884 KiB

[startup+51.1132 s]
/proc/loadavg: 2.79 1.53 1.24 6/331 78393
/proc/meminfo: memFree=122217360/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=1314936 CPUtime=55.07 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 38407 0 0 0 5443 64 0 0 20 0 20 0 70434199 19521036288 328734 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 328734 5518 1 0 554632 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=1314936 CPUtime=50.41 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 11732 0 0 0 4989 52 0 0 20 0 20 0 70434202 19521036288 328734 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=1314936 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 328734 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0

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

/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 36237 0 0 0 319695 564 0 0 20 0 20 0 70434202 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=2125228 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1456 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3219.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.10 6/335 78594
/proc/meminfo: memFree=100703764/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2125228 CPUtime=3279.78 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 85843 0 0 0 327225 753 0 0 20 0 20 0 70434199 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 531307 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=0 CPUtime=3262.18 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 36461 0 0 0 325646 572 0 0 20 0 20 0 70434202 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=2125228 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1456 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=2125228 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3279.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.10 6/334 78596
/proc/meminfo: memFree=100448388/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2125228 CPUtime=3333.54 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 87820 0 0 0 332592 762 0 0 20 0 20 0 70434199 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 531307 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=0 CPUtime=3315.69 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 37304 0 0 0 330990 579 0 0 20 0 20 0 70434202 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=2125228 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1457 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 531307 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.11 6/333 78598
/proc/meminfo: memFree=100172928/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3393.37 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 88899 0 0 0 338564 773 0 0 20 0 20 0 70434199 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 532332 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3375.27 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 38156 0 0 0 336939 588 0 0 20 0 20 0 70434202 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=2129328 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1529 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=2129328 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.11 6/333 78600
/proc/meminfo: memFree=99904744/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3453.17 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 90206 0 0 0 344533 784 0 0 20 0 20 0 70434199 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 532332 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=0 CPUtime=3434.87 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 38558 0 0 0 342891 596 0 0 20 0 20 0 70434202 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1610 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129328 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.15 4.10 6/328 78602
/proc/meminfo: memFree=99676004/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3510.6 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 90260 0 0 0 350268 792 0 0 20 0 20 0 70434199 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 532332 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3492.16 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 38575 0 0 0 348614 602 0 0 20 0 20 0 70434202 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=2125228 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1610 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3510.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.18 4.17 4.10 7/332 78609
/proc/meminfo: memFree=99401068/131382120 swapFree=33010416/33010684
[pid=78307] ppid=78295 vsize=19063512 memory=2129328 CPUtime=3568.19 cores=4,6
/proc/78307/stat : 78307 (java) S 78295 78307 78242 0 -1 4194304 90440 0 0 0 356015 804 0 0 20 0 20 0 70434199 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
/proc/78307/statm: 4765878 532332 5550 1 0 554657 0
[pid=78307/tid=78320] ppid=78295 vsize=19063512 memory=-6000919481229534312 CPUtime=3549.56 cores=4,6
/proc/78307/task/78320/stat : 78320 (java) R 78295 78307 78242 0 -1 4194368 38746 0 0 0 354346 610 0 0 20 0 20 0 70434202 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78367] ppid=78295 vsize=19063512 memory=6452091047492216896 CPUtime=0 cores=4,6
/proc/78307/task/78367/stat : 78367 (Finalizer) S 78295 78307 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78379] ppid=78295 vsize=19063512 memory=7152 CPUtime=0 cores=4,6
/proc/78307/task/78379/stat : 78379 (Common-Cleaner) S 78295 78307 78242 0 -1 4194368 1610 0 0 0 0 0 0 0 20 0 20 0 70434208 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
[pid=78307/tid=78382] ppid=78295 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/78307/task/78382/stat : 78382 (Timer-0) S 78295 78307 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70434247 19521036288 532332 18446744073709551615 94091563749376 94091563753072 140725777304080 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94091563760888 94091563761680 94091574063104 140725777312048 140725777312230 140725777312230 140725777317832 0
Current children cumulated CPU time: 3568.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129328 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3560.63 s, system=8.07174 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.18 4.17 4.10 3/258 78618
/proc/meminfo: memFree=107512792/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3701.6 s]
/proc/loadavg: 4.18 4.17 4.10 2/258 78618
/proc/meminfo: memFree=107543800/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3702 s]*
/proc/loadavg: 4.18 4.17 4.10 3/258 78618
/proc/meminfo: memFree=107543552/131382120 swapFree=33010416/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): 3702.76
CPU time (s): 3568.7
CPU user time (s): 3560.63
CPU system time (s): 8.07174
CPU usage (%): 96.3795
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2130224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.63
system time used= 8.07174
maximum resident set size= 2130480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4569752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110255
involuntary context switches= 24287


# summary of solver processes directly reported to runsolver:
#   pid: 78307
#   total CPU time (s): 3568.7
#   total CPU user time (s): 3560.63
#   total CPU system time (s): 8.07174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7257 second user time and 38.8777 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 14:59:08
IDJOB=4518511
IDBENCH=177059
IDSOLVER=3364
FILE ID=nodeC006/4518511-1751547548
RUNJOBID= nodeC006-1751547548-78253
SLURM_JOB_ID= 9598718
Free space on /tmp= 432164 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518511-1751547548/watcher-4518511-1751547548 -o /tmp/evaluation-result-4518511-1751547548/solver-4518511-1751547548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78253 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518511-1751547548 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518511-1751547548.opb

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

MD5SUM BENCH= d5993a0e2ae11ecdb32c60d775cccf06
RANDOM SEED=1117943236

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128162060 kB
MemAvailable:   129897112 kB
Buffers:            2128 kB
Cached:          2500752 kB
SwapCached:           12 kB
Active:           532612 kB
Inactive:        2035956 kB
Active(anon):      72560 kB
Inactive(anon):    11076 kB
Active(file):     460052 kB
Inactive(file):  2024880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2684 kB
Writeback:             0 kB
AnonPages:         68892 kB
Mapped:           103652 kB
Shmem:             17948 kB
KReclaimable:     179112 kB
Slab:             265416 kB
SReclaimable:     179112 kB
SUnreclaim:        86304 kB
KernelStack:        3904 kB
PageTables:         2932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 16:00:51