Trace number 4516867

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.32 3608.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
MD5SUM3f4295d7844794036c91b3ab07b2ea96
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.007345
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints53
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.26/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.24	c java.vm.version	22.0.1+8-16
0.26/0.24	c java.vm.vendor	Oracle Corporation
0.26/0.24	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.25	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4516867-1751242012.opb
0.41/0.37	c reading problem ... 
0.41/0.37	c using VERIPB proof format
0.41/0.38	c  no objective function found
0.41/0.41	c ... done. Wall clock time 0.036s.
0.41/0.41	c declared #vars     121
0.41/0.41	c #constraints  60
0.41/0.41	c constraints type 
0.41/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.41/0.42	c 60 constraints processed.
1.91/1.19	c cleaning 2494 clauses out of 5000 with flag 30176/5000
2.69/1.55	c cleaning 4250 clauses out of 8507 with flag 65314/11001
3.48/1.93	c cleaning 5619 clauses out of 11256 with flag 105438/18000
4.06/2.22	c cleaning 6811 clauses out of 13637 with flag 156323/26000
4.55/2.52	c cleaning 7900 clauses out of 15826 with flag 211383/35000
5.04/2.86	c cleaning 8948 clauses out of 17928 with flag 277441/45002
5.51/3.28	c cleaning 9972 clauses out of 19979 with flag 353865/56001
6.05/3.75	c cleaning 10991 clauses out of 22006 with flag 434958/68000
7.21/4.34	c cleaning 11995 clauses out of 24015 with flag 528390/81000
7.94/4.94	c cleaning 13002 clauses out of 26022 with flag 619658/95002
8.54/5.59	c cleaning 13991 clauses out of 28018 with flag 720368/110000
9.36/6.30	c cleaning 15003 clauses out of 30027 with flag 832441/126000
10.26/7.12	c cleaning 16001 clauses out of 32025 with flag 950817/143001
11.24/8.05	c cleaning 17000 clauses out of 34025 with flag 1075208/161002
12.31/9.04	c cleaning 18008 clauses out of 36023 with flag 1214044/180000
13.30/10.06	c cleaning 19000 clauses out of 38016 with flag 1351770/200001
14.50/11.34	c cleaning 19995 clauses out of 40015 with flag 1507565/221000
15.80/12.66	c cleaning 20993 clauses out of 42021 with flag 1676579/243001
17.21/14.07	c cleaning 22010 clauses out of 44028 with flag 1841968/266001
18.60/15.49	c cleaning 22998 clauses out of 46018 with flag 2016789/290001
20.20/17.06	c cleaning 24002 clauses out of 48019 with flag 2201435/315000
21.79/18.68	c cleaning 24995 clauses out of 50017 with flag 2382975/341000
23.58/20.46	c cleaning 26007 clauses out of 52022 with flag 2586452/368000
25.67/22.52	c cleaning 27001 clauses out of 54016 with flag 2779780/396001
27.67/24.58	c cleaning 27994 clauses out of 56014 with flag 2990441/425000
29.87/26.76	c cleaning 29009 clauses out of 58021 with flag 3202949/455001
32.27/29.13	c cleaning 29994 clauses out of 60011 with flag 3424404/486000
34.72/31.69	c cleaning 30999 clauses out of 62017 with flag 3645304/518000
37.24/34.19	c cleaning 32005 clauses out of 64019 with flag 3862457/551001
40.27/37.02	c cleaning 32998 clauses out of 66014 with flag 4111237/585001
43.34/40.08	c cleaning 34003 clauses out of 68016 with flag 4352769/620001
46.68/43.26	c cleaning 34991 clauses out of 70012 with flag 4597050/656000
49.92/46.48	c cleaning 36010 clauses out of 72023 with flag 4857072/693002
53.34/49.75	c cleaning 36998 clauses out of 74011 with flag 5118413/731000
57.03/53.28	c cleaning 38005 clauses out of 76014 with flag 5384943/770001
60.42/56.61	c cleaning 38993 clauses out of 78008 with flag 5656301/810000
64.46/60.53	c cleaning 40002 clauses out of 80015 with flag 5941467/851000
68.87/64.93	c cleaning 40999 clauses out of 82015 with flag 6216530/893002
72.97/69.09	c cleaning 41999 clauses out of 84014 with flag 6514426/936000
76.96/73.08	c cleaning 43006 clauses out of 86016 with flag 6797109/980001
81.44/77.54	c cleaning 44001 clauses out of 88012 with flag 7103589/1025003
86.13/82.27	c cleaning 44997 clauses out of 90008 with flag 7395248/1071000
91.08/87.19	c cleaning 45990 clauses out of 92011 with flag 7702645/1118000
95.92/91.99	c cleaning 47006 clauses out of 94021 with flag 8018716/1166000
102.26/98.35	c cleaning 48000 clauses out of 96015 with flag 8341081/1215000
107.70/103.86	c cleaning 49003 clauses out of 98015 with flag 8654562/1265000
114.38/110.50	c cleaning 49988 clauses out of 100014 with flag 9028293/1316002
120.46/116.69	c cleaning 51008 clauses out of 102024 with flag 9366528/1368000
126.55/122.77	c cleaning 51999 clauses out of 104016 with flag 9707048/1421000
132.69/128.92	c cleaning 52997 clauses out of 106017 with flag 10056042/1475000
139.18/135.43	c cleaning 53999 clauses out of 108020 with flag 10407827/1530000
145.78/142.04	c cleaning 55004 clauses out of 110022 with flag 10758117/1586001
152.44/148.73	c cleaning 55994 clauses out of 112017 with flag 11136256/1643000
160.37/156.70	c cleaning 57008 clauses out of 114025 with flag 11521347/1701002
167.93/164.30	c cleaning 58003 clauses out of 116015 with flag 11890243/1760000
176.10/172.46	c cleaning 59003 clauses out of 118012 with flag 12261297/1820000
184.09/180.42	c cleaning 59993 clauses out of 120009 with flag 12633542/1881000
193.42/189.84	c cleaning 61001 clauses out of 122018 with flag 13035268/1943002
202.17/198.53	c cleaning 61999 clauses out of 124017 with flag 13420050/2006002
210.55/207.00	c cleaning 63007 clauses out of 126016 with flag 13808812/2070000
219.60/216.02	c cleaning 64002 clauses out of 128010 with flag 14210522/2135001
228.77/225.25	c cleaning 64992 clauses out of 130009 with flag 14600605/2201002
238.16/234.62	c cleaning 66000 clauses out of 132017 with flag 15012169/2268002
248.48/244.95	c cleaning 66999 clauses out of 134016 with flag 15432270/2336001
259.11/255.65	c cleaning 68005 clauses out of 136017 with flag 15861543/2405001
268.79/265.35	c cleaning 69006 clauses out of 138015 with flag 16287495/2475004
280.07/276.66	c cleaning 69994 clauses out of 140005 with flag 16727872/2546000
291.30/287.91	c cleaning 70996 clauses out of 142012 with flag 17171228/2618001
303.27/299.97	c cleaning 71992 clauses out of 144015 with flag 17616263/2691000
315.31/312.07	c cleaning 73005 clauses out of 146023 with flag 18056368/2765000
327.56/324.31	c cleaning 74007 clauses out of 148020 with flag 18512749/2840002
339.93/336.74	c cleaning 74996 clauses out of 150011 with flag 18986231/2916000
352.98/349.83	c cleaning 75998 clauses out of 152017 with flag 19458098/2993002
366.03/362.92	c cleaning 76999 clauses out of 154017 with flag 19948848/3071000
380.72/377.77	c cleaning 78008 clauses out of 156019 with flag 20451887/3150001
393.59/390.61	c cleaning 78997 clauses out of 158010 with flag 20930030/3230000
407.73/404.85	c cleaning 80001 clauses out of 160015 with flag 21439042/3311002
423.60/420.74	c cleaning 81001 clauses out of 162012 with flag 21979954/3393000
438.44/435.65	c cleaning 81999 clauses out of 164011 with flag 22582395/3476000
453.60/450.84	c cleaning 82993 clauses out of 166012 with flag 23102516/3560000
469.56/466.89	c cleaning 84000 clauses out of 168019 with flag 23640150/3645000
485.84/483.19	c cleaning 84999 clauses out of 170020 with flag 24163198/3731001
502.97/500.30	c cleaning 85999 clauses out of 172021 with flag 24721989/3818001
520.53/517.99	c cleaning 87006 clauses out of 174021 with flag 25285143/3906000
536.95/534.46	c cleaning 88002 clauses out of 176015 with flag 25833181/3995000
555.30/552.87	c cleaning 89006 clauses out of 178014 with flag 26388867/4085001
575.28/572.91	c cleaning 89985 clauses out of 180008 with flag 26960312/4176001
594.04/592.42	c cleaning 91003 clauses out of 182022 with flag 27544764/4268000
613.00/611.45	c cleaning 91994 clauses out of 184019 with flag 28123580/4361000
634.79/633.39	c cleaning 93002 clauses out of 186025 with flag 28710797/4455000
657.16/655.83	c cleaning 94003 clauses out of 188025 with flag 29304923/4550002
677.32/676.05	c cleaning 95000 clauses out of 190020 with flag 29888761/4646000
699.56/698.35	c cleaning 96008 clauses out of 192020 with flag 30468367/4743000
722.09/721.00	c cleaning 97002 clauses out of 194013 with flag 31085298/4841001
746.17/745.19	c cleaning 97999 clauses out of 196011 with flag 31676584/4940001
771.37/770.48	c cleaning 98999 clauses out of 198012 with flag 32287990/5040001
797.25/796.30	c cleaning 100003 clauses out of 200012 with flag 32896154/5141000
823.54/822.77	c cleaning 100997 clauses out of 202009 with flag 33498725/5243000
850.44/849.78	c cleaning 101993 clauses out of 204012 with flag 34127645/5346000
877.36/876.79	c cleaning 103001 clauses out of 206019 with flag 34767652/5450000
901.79/901.30	c cleaning 103994 clauses out of 208018 with flag 35414380/5555000
929.40/928.95	c cleaning 105007 clauses out of 210025 with flag 36075983/5661001
957.80/957.42	c cleaning 106004 clauses out of 212017 with flag 36729297/5768000
987.14/986.82	c cleaning 106999 clauses out of 214013 with flag 37406894/5876000
1016.25/1016.07	c cleaning 107996 clauses out of 216015 with flag 38051530/5985001
1044.77/1044.66	c cleaning 108997 clauses out of 218018 with flag 38747262/6095000
1073.89/1073.86	c cleaning 109999 clauses out of 220021 with flag 39402050/6206000
1106.38/1106.48	c cleaning 111004 clauses out of 222022 with flag 40084381/6318000
1137.71/1137.83	c cleaning 112003 clauses out of 224019 with flag 40758709/6431001
1170.62/1170.83	c cleaning 113003 clauses out of 226015 with flag 41458072/6545000
1203.04/1203.31	c cleaning 114000 clauses out of 228012 with flag 42146153/6660000
1235.94/1236.33	c cleaning 115001 clauses out of 230013 with flag 42856851/6776001
1268.85/1269.33	c cleaning 115999 clauses out of 232011 with flag 43616128/6893000
1300.39/1300.97	c cleaning 117000 clauses out of 234014 with flag 44358732/7011002
1334.19/1334.85	c cleaning 118004 clauses out of 236016 with flag 45143102/7130004
1369.78/1370.54	c cleaning 118997 clauses out of 238008 with flag 45951180/7250000
1406.61/1407.76	c cleaning 120005 clauses out of 240013 with flag 46764198/7371002
1443.49/1444.76	c cleaning 120992 clauses out of 242007 with flag 47616479/7493001
1482.66/1483.95	c cleaning 121998 clauses out of 244016 with flag 48420688/7616002
1518.57/1519.96	c cleaning 123005 clauses out of 246017 with flag 49197212/7740001
1559.37/1560.80	c cleaning 123999 clauses out of 248011 with flag 50020610/7865000
1598.57/1600.11	c cleaning 124995 clauses out of 250013 with flag 50820290/7991001
1638.15/1639.87	c cleaning 125994 clauses out of 252017 with flag 51608277/8118000
1679.13/1680.97	c cleaning 127009 clauses out of 254023 with flag 52473838/8246000
1720.41/1722.34	c cleaning 128000 clauses out of 256014 with flag 53316221/8375000
1762.11/1764.13	c cleaning 128995 clauses out of 258014 with flag 54121932/8505000
1803.08/1805.21	c cleaning 130005 clauses out of 260020 with flag 54930144/8636001
1848.81/1851.14	c cleaning 130993 clauses out of 262016 with flag 55756447/8768002
1895.47/1897.95	c cleaning 132002 clauses out of 264023 with flag 56616618/8901002
1938.74/1941.38	c cleaning 132994 clauses out of 266019 with flag 57519838/9035000
1983.01/1985.73	c cleaning 134007 clauses out of 268026 with flag 58342493/9170001
2027.90/2030.74	c cleaning 134999 clauses out of 270018 with flag 59165809/9306000
2069.99/2072.92	c cleaning 136009 clauses out of 272023 with flag 59983070/9443004
2117.39/2120.48	c cleaning 137003 clauses out of 274011 with flag 60858247/9581001
2164.88/2168.05	c cleaning 137997 clauses out of 276008 with flag 61747846/9720001
2213.22/2216.59	c cleaning 138996 clauses out of 278013 with flag 62597113/9860003
2263.91/2267.32	c cleaning 139994 clauses out of 280015 with flag 63485145/10001001
2314.93/2318.53	c cleaning 141000 clauses out of 282022 with flag 64405377/10143002
2367.75/2371.54	c cleaning 142005 clauses out of 284021 with flag 65279255/10286001
2421.42/2425.32	c cleaning 143002 clauses out of 286017 with flag 66166510/10430002
2474.66/2478.70	c cleaning 144000 clauses out of 288014 with flag 67116067/10575001
2528.31/2532.55	c cleaning 145005 clauses out of 290013 with flag 67987010/10721000
2581.12/2585.54	c cleaning 145991 clauses out of 292009 with flag 68906402/10868001
2635.98/2640.56	c cleaning 147001 clauses out of 294017 with flag 69804901/11016000
2693.22/2697.96	c cleaning 148000 clauses out of 296017 with flag 70745054/11165001
2748.77/2753.64	c cleaning 148995 clauses out of 298017 with flag 71671902/11315001
2804.91/2809.95	c cleaning 150003 clauses out of 300023 with flag 72663431/11466002
2863.79/2868.95	c cleaning 151007 clauses out of 302019 with flag 73584178/11618001
2921.64/2928.25	c cleaning 152000 clauses out of 304012 with flag 74558946/11771001
2980.74/2987.49	c cleaning 152985 clauses out of 306011 with flag 75508689/11925000
3040.47/3047.31	c cleaning 154009 clauses out of 308027 with flag 76428937/12080001
3102.89/3109.96	c cleaning 155002 clauses out of 310019 with flag 77394066/12236002
3159.42/3166.68	c cleaning 156001 clauses out of 312016 with flag 78336610/12393001
3223.64/3231.07	c cleaning 157001 clauses out of 314014 with flag 79342833/12551000
3289.67/3297.28	c cleaning 158002 clauses out of 316013 with flag 80316435/12710000
3355.56/3363.24	c cleaning 158996 clauses out of 318012 with flag 81285878/12870001
3417.48/3425.33	c cleaning 160003 clauses out of 320015 with flag 82265989/13031000
3489.47/3497.54	c cleaning 160996 clauses out of 322012 with flag 83295991/13193000
3559.27/3567.53	c cleaning 161998 clauses out of 324016 with flag 84282496/13356000
3600.05/3608.42	c timeout
3600.05/3608.43	c starts		: 27736
3600.05/3608.44	c conflicts		: 13474984
3600.05/3608.44	c decisions		: 17992666
3600.05/3608.44	c propagations		: 244985485
3600.05/3608.44	c inspects		: 56738000498
3600.05/3608.44	c shortcuts		: 0
3600.05/3608.44	c learnt literals	: 0
3600.05/3608.44	c learnt binary clauses	: 0
3600.05/3608.44	c learnt ternary clauses	: 0
3600.05/3608.44	c learnt constraints	: 13474984
3600.05/3608.44	c ignored constraints	: 0
3600.05/3608.44	c root simplifications	: 0
3600.05/3608.44	c removed literals (reason simplification)	: 31506044
3600.05/3608.44	c reason swapping (by a shorter reason)	: 0
3600.05/3608.44	c Calls to reduceDB	: 159
3600.05/3608.44	c Number of update (reduction) of LBD	: 4398176
3600.05/3608.44	c Imported unit clauses	: 0
3600.05/3608.44	c No decision after first conflict	: false
3600.05/3608.44	c number of reductions to clauses (during analyze)	: 0
3600.05/3608.44	c number of learned constraints concerned by reduction	: 0
3600.05/3608.44	c number of learning phase by resolution	: 0
3600.05/3608.44	c number of learning phase by cutting planes	: 0
3600.05/3608.44	c number of rounding to 1 operations	: 0
3600.05/3608.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3608.44	c number of reductions of the coefficients by power 2 	: 0
3600.05/3608.44	c number of right shift for reduction by power 2 	: 0
3600.05/3608.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3608.45	c number of ending skipping 	: 0
3600.05/3608.45	c number of internal skipping 	: 0
3600.05/3608.45	c number of derivation steps 	: 0
3600.05/3608.45	c number of skipped derivation steps 	: 0
3600.05/3608.45	c number of remaining unassigned 	: 0
3600.05/3608.45	c number of remaining assigned 	: 0
3600.05/3608.45	c number of falsified literals weakened from reason	: 0
3600.05/3608.45	c number of falsified literals weakened from conflict	: 0
3600.05/3608.45	c time for arithmetic operations	: 0
3600.05/3608.45	c minimum degree of deleted constraints	: null
3600.05/3608.45	c maximum degree of deleted constraints	: null
3600.05/3608.45	c number of deleted constraints	: 0
3600.05/3608.45	c speed (assignments/second)	: 67900.25692762235
3600.05/3608.45	c non guided choices	: 134
3600.20/3608.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 281002
3600.20/3608.59	s UNKNOWN
3600.20/3608.59	c Total wall clock time (in seconds): 3608.22

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516867-1751242012/watcher-4516867-1751242012 -o /tmp/evaluation-result-4516867-1751242012/solver-4516867-1751242012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751242012-33420 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516867-1751242012 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516867-1751242012.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

Current StackSize limit: 8192 KiB

solver pid=33468, runsolver pid=33459

[startup+0.100075 s]*
/proc/loadavg: 0.97 1.45 1.89 11/311 33535
/proc/meminfo: memFree=129637248/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=18930344 memory=46320 CPUtime=0.09 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 5466 0 0 0 5 4 0 0 20 0 18 0 39880625 19384672256 11580 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4732586 11580 5107 1 0 546715 0
[pid=33468/tid=33475] ppid=33459 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 4569 0 0 0 3 3 0 0 20 0 18 0 39880627 19384672256 11580 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=18930344 memory=2622 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880633 19384672256 11580 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=18930344 memory=55195547730935 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880634 19384672256 11580 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46320 KiB

[startup+0.21486 s]*
/proc/loadavg: 0.97 1.45 1.89 8/321 33545
/proc/meminfo: memFree=129616260/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=18930384 memory=51764 CPUtime=0.26 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 6115 0 0 0 21 5 0 0 20 0 18 0 39880625 19384713216 12941 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4732596 12941 5331 1 0 547233 0
[pid=33468/tid=33475] ppid=33459 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 4959 0 0 0 14 3 0 0 20 0 18 0 39880627 19384713216 12941 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=18930384 memory=2622 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880633 19384713216 12941 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=18930384 memory=55195547730935 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880634 19384713216 12941 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51764 KiB

[startup+0.314296 s]*
/proc/loadavg: 0.97 1.45 1.89 9/321 33545
/proc/meminfo: memFree=129589984/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=18930384 memory=58016 CPUtime=0.41 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 6653 0 0 0 36 5 0 0 20 0 18 0 39880625 19384713216 14504 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4732596 14504 5331 1 0 547684 0
[pid=33468/tid=33475] ppid=33459 vsize=18930384 memory=-6000919485574703468 CPUtime=0.25 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 5130 0 0 0 22 3 0 0 20 0 18 0 39880627 19384713216 14504 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880633 19384713216 14504 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880634 19384713216 14504 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58016 KiB

[startup+0.700445 s]
/proc/loadavg: 0.97 1.45 1.89 13/323 33547
/proc/meminfo: memFree=129506076/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=18996948 memory=67620 CPUtime=1.11 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 8072 0 0 0 104 7 0 0 20 0 19 0 39880625 19452874752 16905 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4749237 16905 5459 1 0 548536 0
[pid=33468/tid=33475] ppid=33459 vsize=18996948 memory=18048 CPUtime=0.56 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 5357 0 0 0 52 4 0 0 20 0 19 0 39880627 19452874752 16905 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=18996948 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880633 19452874752 16905 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39880634 19452874752 16905 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39880668 19452874752 16905 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67620 KiB

[startup+1.50027 s]
/proc/loadavg: 0.97 1.45 1.89 11/326 33550
/proc/meminfo: memFree=128808004/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=18996948 memory=144384 CPUtime=2.69 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 19770 0 0 0 256 13 0 0 20 0 19 0 39880625 19452874752 36096 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4749237 36096 5459 1 0 553190 0
[pid=33468/tid=33475] ppid=33459 vsize=18996948 memory=0 CPUtime=1.29 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 5740 0 0 0 122 7 0 0 20 0 19 0 39880627 19452874752 36096 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=18996948 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880633 19452874752 36096 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39880634 19452874752 36096 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39880668 19452874752 36096 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144384 KiB

[startup+3.1054 s]
/proc/loadavg: 0.97 1.45 1.89 7/329 33553
/proc/meminfo: memFree=128125484/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=175936 CPUtime=5.42 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 23249 0 0 0 525 17 0 0 20 0 20 0 39880625 19521036288 43984 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 43984 5491 1 0 553925 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=11008 CPUtime=2.86 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 6226 0 0 0 277 9 0 0 20 0 20 0 39880627 19521036288 43984 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=-6000919468411611500 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 43984 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 43984 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 43984 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175936 KiB

[startup+6.30358 s]
/proc/loadavg: 1.37 1.53 1.91 8/329 33553
/proc/meminfo: memFree=127251456/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=264380 CPUtime=9.36 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 25521 0 0 0 915 21 0 0 20 0 20 0 39880625 19521036288 66095 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 66095 5491 1 0 553929 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=0 CPUtime=6.03 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 6965 0 0 0 590 13 0 0 20 0 20 0 39880627 19521036288 66095 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 66095 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=204972 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 66095 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 66095 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 264380 KiB

[startup+12.7004 s]
/proc/loadavg: 1.58 1.57 1.92 6/330 33554
/proc/meminfo: memFree=126302068/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=760128 CPUtime=15.9 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 29679 0 0 0 1555 35 0 0 20 0 20 0 39880625 19521036288 190032 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 190032 5491 1 0 553929 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=745660 CPUtime=12.3 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 8190 0 0 0 1204 26 0 0 20 0 20 0 39880627 19521036288 190032 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 190032 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 190032 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 190032 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 760128 KiB

[startup+25.5004 s]
/proc/loadavg: 2.19 1.71 1.96 6/329 33555
/proc/meminfo: memFree=123559352/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=926024 CPUtime=28.67 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 31446 0 0 0 2824 43 0 0 20 0 20 0 39880625 19521036288 231506 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 231506 5491 1 0 553929 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=745660 CPUtime=25 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 9098 0 0 0 2467 33 0 0 20 0 20 0 39880627 19521036288 231506 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 231506 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 231506 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 231506 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 28.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 926024 KiB

[startup+51.1135 s]
/proc/loadavg: 2.81 1.89 2.02 6/332 33558
/proc/meminfo: memFree=121511376/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1311092 CPUtime=54.75 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 33902 0 0 0 5413 62 0 0 20 0 20 0 39880625 19521036288 327773 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 327773 5491 1 0 553929 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=1311092 CPUtime=50.48 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 9518 0 0 0 4999 49 0 0 20 0 20 0 39880627 19521036288 327773 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=1118540 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 327773 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0

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

/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=1724480 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1275 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=1724480 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3214.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1724480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.23 4.23 7/334 33737
/proc/meminfo: memFree=89390356/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1724480 CPUtime=3274.8 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 78310 0 0 0 326802 678 0 0 20 0 20 0 39880625 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 431120 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=1724480 CPUtime=3260.01 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 31424 0 0 0 325494 507 0 0 20 0 20 0 39880627 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=1724480 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=1724480 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1277 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=1724480 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 431120 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3274.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1724480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.26 4.24 6/333 33739
/proc/meminfo: memFree=88832992/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3334.72 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 78809 0 0 0 332782 690 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=4355429012416917152 CPUtime=3319.75 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 31837 0 0 0 331461 514 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3334.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.24 6/333 33741
/proc/meminfo: memFree=88314496/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3394.55 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 79749 0 0 0 338755 700 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=4355429012416917152 CPUtime=3379.42 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 32507 0 0 0 337421 521 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=-6000919468411611500 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3394.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.25 6/333 33742
/proc/meminfo: memFree=88823432/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3454.38 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 79758 0 0 0 344727 711 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=4355429012416917152 CPUtime=3439.2 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 32510 0 0 0 343391 529 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3454.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.26 4.25 6/334 33745
/proc/meminfo: memFree=88606924/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3514.19 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 79774 0 0 0 350701 718 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3498.81 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 32511 0 0 0 349346 535 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3514.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.03 4.20 4.23 4/284 33822
/proc/meminfo: memFree=122266988/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3574.02 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 80038 0 0 0 356674 728 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3558.53 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 32758 0 0 0 355311 542 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=14352 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=1769640 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 3.48 4.05 4.18 2/261 33837
/proc/meminfo: memFree=124018932/131382116 swapFree=33010684/33010684
[pid=33468] ppid=33459 vsize=19063512 memory=1769640 CPUtime=3600.05 cores=5,7
/proc/33468/stat : 33468 (java) S 33459 33468 33405 0 -1 4194304 80554 0 0 0 359273 732 0 0 20 0 20 0 39880625 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
/proc/33468/statm: 4765878 442410 5523 1 0 553958 0
[pid=33468/tid=33475] ppid=33459 vsize=19063512 memory=-6000919468411611500 CPUtime=3584.54 cores=5,7
/proc/33468/task/33475/stat : 33475 (java) R 33459 33468 33405 0 -1 4194368 33155 0 0 0 357909 545 0 0 20 0 20 0 39880627 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33515] ppid=33459 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/33468/task/33515/stat : 33515 (Finalizer) S 33459 33468 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880633 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33534] ppid=33459 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/33468/task/33534/stat : 33534 (Common-Cleaner) S 33459 33468 33405 0 -1 4194368 1516 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
[pid=33468/tid=33546] ppid=33459 vsize=19063512 memory=3104 CPUtime=0 cores=5,7
/proc/33468/task/33546/stat : 33546 (Timer-0) S 33459 33468 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880668 19521036288 442410 18446744073709551615 94183194234880 94183194238576 140734601596112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94183194246392 94183194247184 94183208095744 140734601599280 140734601599462 140734601599462 140734601605064 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1769640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.97 s, system=7.34276 s

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

[startup+3608.6 s]*
/proc/loadavg: 3.48 4.05 4.18 3/242 33858
/proc/meminfo: memFree=125696880/131382116 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): 3608.62
CPU time (s): 3600.32
CPU user time (s): 3592.97
CPU system time (s): 7.34276
CPU usage (%): 99.7699
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1770408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.97
system time used= 7.34276
maximum resident set size= 1770536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3534144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105902
involuntary context switches= 9005


# summary of solver processes directly reported to runsolver:
#   pid: 33468
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3592.97
#   total CPU system time (s): 7.34276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2956 second user time and 38.0893 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 02:06:52
IDJOB=4516867
IDBENCH=175890
IDSOLVER=3364
FILE ID=nodeC010/4516867-1751242012
RUNJOBID= nodeC010-1751242012-33420
SLURM_JOB_ID= 9587733
Free space on /tmp= 432692 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516867-1751242012/watcher-4516867-1751242012 -o /tmp/evaluation-result-4516867-1751242012/solver-4516867-1751242012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751242012-33420 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516867-1751242012 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516867-1751242012.opb

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

MD5SUM BENCH= 3f4295d7844794036c91b3ab07b2ea96
RANDOM SEED=242914678

nodeC010 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.108
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.36
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.151
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.36
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.241
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.36
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.207
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.36
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		: 1196.609
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.36
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.236
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.36
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.020
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.36
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.468
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129697264 kB
MemAvailable:   129941884 kB
Buffers:            3280 kB
Cached:          1054000 kB
SwapCached:            0 kB
Active:           357300 kB
Inactive:         761512 kB
Active(anon):      79492 kB
Inactive(anon):        0 kB
Active(file):     277808 kB
Inactive(file):   761512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1632 kB
Writeback:             0 kB
AnonPages:         64704 kB
Mapped:           103460 kB
Shmem:             17960 kB
KReclaimable:      89856 kB
Slab:             172048 kB
SReclaimable:      89856 kB
SUnreclaim:        82192 kB
KernelStack:        3828 kB
PageTables:         2500 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432692 MiB
End job on nodeC010 at 2025-06-30 03:07:01