Trace number 4516866

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.19 3606.69

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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4516866-1751241712.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c  no objective function found
0.09/0.16	c ... done. Wall clock time 0.01s.
0.09/0.16	c declared #vars     121
0.09/0.16	c #constraints  60
0.09/0.16	c constraints type 
0.09/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.09/0.17	c 60 constraints processed.
0.66/0.45	c cleaning 2494 clauses out of 5000 with flag 30176/5000
1.04/0.67	c cleaning 4250 clauses out of 8507 with flag 65314/11001
1.43/0.90	c cleaning 5619 clauses out of 11256 with flag 105438/18000
1.95/1.11	c cleaning 6811 clauses out of 13637 with flag 156323/26000
2.24/1.34	c cleaning 7900 clauses out of 15826 with flag 211383/35000
2.61/1.63	c cleaning 8948 clauses out of 17928 with flag 277441/45002
2.93/1.98	c cleaning 9972 clauses out of 19979 with flag 353865/56001
3.43/2.41	c cleaning 10991 clauses out of 22006 with flag 434958/68000
3.93/2.92	c cleaning 11995 clauses out of 24015 with flag 528390/81000
4.43/3.46	c cleaning 13002 clauses out of 26022 with flag 619658/95002
5.03/4.05	c cleaning 13991 clauses out of 28018 with flag 720368/110000
5.63/4.68	c cleaning 15003 clauses out of 30027 with flag 832441/126000
6.35/5.39	c cleaning 16001 clauses out of 32025 with flag 950817/143001
7.28/6.21	c cleaning 17000 clauses out of 34025 with flag 1075208/161002
8.08/7.08	c cleaning 18008 clauses out of 36023 with flag 1214044/180000
8.98/7.97	c cleaning 19000 clauses out of 38016 with flag 1351770/200001
10.08/9.03	c cleaning 19995 clauses out of 40015 with flag 1507565/221000
11.27/10.20	c cleaning 20993 clauses out of 42021 with flag 1676579/243001
12.57/11.51	c cleaning 22010 clauses out of 44028 with flag 1841968/266001
13.76/12.79	c cleaning 22998 clauses out of 46018 with flag 2016789/290001
15.26/14.22	c cleaning 24002 clauses out of 48019 with flag 2201435/315000
16.66/15.68	c cleaning 24995 clauses out of 50017 with flag 2382975/341000
18.26/17.29	c cleaning 26007 clauses out of 52022 with flag 2586452/368000
20.16/19.11	c cleaning 27001 clauses out of 54016 with flag 2779780/396001
22.05/21.01	c cleaning 27994 clauses out of 56014 with flag 2990441/425000
24.05/23.03	c cleaning 29009 clauses out of 58021 with flag 3202949/455001
26.24/25.24	c cleaning 29994 clauses out of 60011 with flag 3424404/486000
28.64/27.62	c cleaning 30999 clauses out of 62017 with flag 3645304/518000
30.93/29.97	c cleaning 32005 clauses out of 64019 with flag 3862457/551001
33.52/32.59	c cleaning 32998 clauses out of 66014 with flag 4111237/585001
36.32/35.39	c cleaning 34003 clauses out of 68016 with flag 4352769/620001
39.21/38.27	c cleaning 34991 clauses out of 70012 with flag 4597050/656000
42.21/41.24	c cleaning 36010 clauses out of 72023 with flag 4857072/693002
45.21/44.24	c cleaning 36998 clauses out of 74011 with flag 5118413/731000
48.61/47.63	c cleaning 38005 clauses out of 76014 with flag 5384943/770001
51.90/50.95	c cleaning 38993 clauses out of 78008 with flag 5656301/810000
55.79/54.80	c cleaning 40002 clauses out of 80015 with flag 5941467/851000
60.09/59.13	c cleaning 40999 clauses out of 82015 with flag 6216530/893002
64.18/63.28	c cleaning 41999 clauses out of 84014 with flag 6514426/936000
68.07/67.18	c cleaning 43006 clauses out of 86016 with flag 6797109/980001
72.56/71.61	c cleaning 44001 clauses out of 88012 with flag 7103589/1025003
77.15/76.28	c cleaning 44997 clauses out of 90008 with flag 7395248/1071000
81.94/81.03	c cleaning 45990 clauses out of 92011 with flag 7702645/1118000
86.74/85.81	c cleaning 47006 clauses out of 94021 with flag 8018716/1166000
92.13/91.26	c cleaning 48000 clauses out of 96015 with flag 8341081/1215000
97.62/96.70	c cleaning 49003 clauses out of 98015 with flag 8654562/1265000
103.30/102.49	c cleaning 49988 clauses out of 100014 with flag 9028293/1316002
109.59/108.71	c cleaning 51008 clauses out of 102024 with flag 9366528/1368000
115.77/114.92	c cleaning 51999 clauses out of 104016 with flag 9707048/1421000
121.86/121.08	c cleaning 52997 clauses out of 106017 with flag 10056042/1475000
128.49/127.63	c cleaning 53999 clauses out of 108020 with flag 10407827/1530000
135.07/134.25	c cleaning 55004 clauses out of 110022 with flag 10758117/1586001
141.86/141.10	c cleaning 55994 clauses out of 112017 with flag 11136256/1643000
149.54/148.73	c cleaning 57008 clauses out of 114025 with flag 11521347/1701002
157.22/156.49	c cleaning 58003 clauses out of 116015 with flag 11890243/1760000
165.60/164.80	c cleaning 59003 clauses out of 118012 with flag 12261297/1820000
173.92/173.18	c cleaning 59993 clauses out of 120009 with flag 12633542/1881000
182.09/181.37	c cleaning 61001 clauses out of 122018 with flag 13035268/1943002
191.07/190.35	c cleaning 61999 clauses out of 124017 with flag 13420050/2006002
199.76/199.10	c cleaning 63007 clauses out of 126016 with flag 13808812/2070000
209.12/208.41	c cleaning 64002 clauses out of 128010 with flag 14210522/2135001
218.70/218.01	c cleaning 64992 clauses out of 130009 with flag 14600605/2201002
228.31/227.64	c cleaning 66000 clauses out of 132017 with flag 15012169/2268002
239.08/238.42	c cleaning 66999 clauses out of 134016 with flag 15432270/2336001
250.15/249.53	c cleaning 68005 clauses out of 136017 with flag 15861543/2405001
260.13/259.54	c cleaning 69006 clauses out of 138015 with flag 16287495/2475004
271.91/271.35	c cleaning 69994 clauses out of 140005 with flag 16727872/2546000
283.72/283.11	c cleaning 70996 clauses out of 142012 with flag 17171228/2618001
296.09/295.54	c cleaning 71992 clauses out of 144015 with flag 17616263/2691000
308.67/308.18	c cleaning 73005 clauses out of 146023 with flag 18056368/2765000
321.44/320.94	c cleaning 74007 clauses out of 148020 with flag 18512749/2840002
334.41/334.00	c cleaning 74996 clauses out of 150011 with flag 18986231/2916000
348.21/347.77	c cleaning 75998 clauses out of 152017 with flag 19458098/2993002
361.98/361.59	c cleaning 76999 clauses out of 154017 with flag 19948848/3071000
375.94/375.53	c cleaning 78008 clauses out of 156019 with flag 20451887/3150001
389.32/388.92	c cleaning 78997 clauses out of 158010 with flag 20930030/3230000
403.99/403.69	c cleaning 80001 clauses out of 160015 with flag 21439042/3311002
420.40/420.05	c cleaning 81001 clauses out of 162012 with flag 21979954/3393000
436.15/435.84	c cleaning 81999 clauses out of 164011 with flag 22582395/3476000
452.22/451.92	c cleaning 82993 clauses out of 166012 with flag 23102516/3560000
468.99/468.74	c cleaning 84000 clauses out of 168019 with flag 23640150/3645000
486.08/485.85	c cleaning 84999 clauses out of 170020 with flag 24163198/3731001
503.94/503.74	c cleaning 85999 clauses out of 172021 with flag 24721989/3818001
522.50/522.31	c cleaning 87006 clauses out of 174021 with flag 25285143/3906000
539.65/539.52	c cleaning 88002 clauses out of 176015 with flag 25833181/3995000
559.04/558.93	c cleaning 89006 clauses out of 178014 with flag 26388867/4085001
578.21/578.14	c cleaning 89985 clauses out of 180008 with flag 26960312/4176001
597.35/597.30	c cleaning 91003 clauses out of 182022 with flag 27544764/4268000
617.21/617.20	c cleaning 91994 clauses out of 184019 with flag 28123580/4361000
638.59/638.68	c cleaning 93002 clauses out of 186025 with flag 28710797/4455000
660.55/660.65	c cleaning 94003 clauses out of 188025 with flag 29304923/4550002
681.91/682.05	c cleaning 95000 clauses out of 190020 with flag 29888761/4646000
703.86/704.07	c cleaning 96008 clauses out of 192020 with flag 30468367/4743000
727.21/727.42	c cleaning 97002 clauses out of 194013 with flag 31085298/4841001
750.96/751.24	c cleaning 97999 clauses out of 196011 with flag 31676584/4940001
775.65/775.97	c cleaning 98999 clauses out of 198012 with flag 32287990/5040001
800.71/801.07	c cleaning 100003 clauses out of 200012 with flag 32896154/5141000
826.05/826.40	c cleaning 100997 clauses out of 202009 with flag 33498725/5243000
852.70/853.13	c cleaning 101993 clauses out of 204012 with flag 34127645/5346000
878.84/879.36	c cleaning 103001 clauses out of 206019 with flag 34767652/5450000
904.09/904.68	c cleaning 103994 clauses out of 208018 with flag 35414380/5555000
932.66/933.27	c cleaning 105007 clauses out of 210025 with flag 36075983/5661001
960.60/961.28	c cleaning 106004 clauses out of 212017 with flag 36729297/5768000
990.64/991.30	c cleaning 106999 clauses out of 214013 with flag 37406894/5876000
1020.37/1021.15	c cleaning 107996 clauses out of 216015 with flag 38051530/5985001
1049.81/1050.62	c cleaning 108997 clauses out of 218018 with flag 38747262/6095000
1079.94/1080.84	c cleaning 109999 clauses out of 220021 with flag 39402050/6206000
1111.71/1112.68	c cleaning 111004 clauses out of 222022 with flag 40084381/6318000
1143.95/1144.90	c cleaning 112003 clauses out of 224019 with flag 40758709/6431001
1177.28/1178.33	c cleaning 113003 clauses out of 226015 with flag 41458072/6545000
1210.80/1211.92	c cleaning 114000 clauses out of 228012 with flag 42146153/6660000
1245.03/1246.23	c cleaning 115001 clauses out of 230013 with flag 42856851/6776001
1279.26/1280.51	c cleaning 115999 clauses out of 232011 with flag 43616128/6893000
1311.73/1313.04	c cleaning 117000 clauses out of 234014 with flag 44358732/7011002
1346.75/1348.16	c cleaning 118004 clauses out of 236016 with flag 45143102/7130004
1383.96/1385.43	c cleaning 118997 clauses out of 238008 with flag 45951180/7250000
1420.46/1422.02	c cleaning 120005 clauses out of 240013 with flag 46764198/7371002
1458.87/1460.54	c cleaning 120992 clauses out of 242007 with flag 47616479/7493001
1497.68/1499.46	c cleaning 121998 clauses out of 244016 with flag 48420688/7616002
1534.69/1536.58	c cleaning 123005 clauses out of 246017 with flag 49197212/7740001
1575.69/1577.61	c cleaning 123999 clauses out of 248011 with flag 50020610/7865000
1616.19/1618.26	c cleaning 124995 clauses out of 250013 with flag 50820290/7991001
1657.29/1659.49	c cleaning 125994 clauses out of 252017 with flag 51608277/8118000
1699.59/1701.86	c cleaning 127009 clauses out of 254023 with flag 52473838/8246000
1741.68/1744.05	c cleaning 128000 clauses out of 256014 with flag 53316221/8375000
1783.58/1786.10	c cleaning 128995 clauses out of 258014 with flag 54121932/8505000
1826.48/1829.04	c cleaning 130005 clauses out of 260020 with flag 54930144/8636001
1871.38/1874.01	c cleaning 130993 clauses out of 262016 with flag 55756447/8768002
1919.95/1922.78	c cleaning 132002 clauses out of 264023 with flag 56616618/8901002
1965.24/1968.16	c cleaning 132994 clauses out of 266019 with flag 57519838/9035000
2011.33/2014.36	c cleaning 134007 clauses out of 268026 with flag 58342493/9170001
2058.51/2061.52	c cleaning 134999 clauses out of 270018 with flag 59165809/9306000
2102.41/2105.53	c cleaning 136009 clauses out of 272023 with flag 59983070/9443004
2151.79/2155.10	c cleaning 137003 clauses out of 274011 with flag 60858247/9581001
2200.77/2204.11	c cleaning 137997 clauses out of 276008 with flag 61747846/9720001
2251.25/2254.75	c cleaning 138996 clauses out of 278013 with flag 62597113/9860003
2304.31/2307.91	c cleaning 139994 clauses out of 280015 with flag 63485145/10001001
2354.20/2357.94	c cleaning 141000 clauses out of 282022 with flag 64405377/10143002
2407.97/2411.84	c cleaning 142005 clauses out of 284021 with flag 65279255/10286001
2463.14/2467.11	c cleaning 143002 clauses out of 286017 with flag 66166510/10430002
2519.01/2523.15	c cleaning 144000 clauses out of 288014 with flag 67116067/10575001
2575.67/2579.92	c cleaning 145005 clauses out of 290013 with flag 67987010/10721000
2629.44/2633.79	c cleaning 145991 clauses out of 292009 with flag 68906402/10868001
2686.20/2690.65	c cleaning 147001 clauses out of 294017 with flag 69804901/11016000
2746.75/2751.31	c cleaning 148000 clauses out of 296017 with flag 70745054/11165001
2804.02/2808.71	c cleaning 148995 clauses out of 298017 with flag 71671902/11315001
2863.27/2868.17	c cleaning 150003 clauses out of 300023 with flag 72663431/11466002
2925.03/2930.03	c cleaning 151007 clauses out of 302019 with flag 73584178/11618001
2984.28/2989.46	c cleaning 152000 clauses out of 304012 with flag 74558946/11771001
3046.04/3051.37	c cleaning 152985 clauses out of 306011 with flag 75508689/11925000
3107.84/3113.27	c cleaning 154009 clauses out of 308027 with flag 76428937/12080001
3173.28/3178.82	c cleaning 155002 clauses out of 310019 with flag 77394066/12236002
3232.34/3238.09	c cleaning 156001 clauses out of 312016 with flag 78336610/12393001
3298.57/3304.41	c cleaning 157001 clauses out of 314014 with flag 79342833/12551000
3367.81/3373.89	c cleaning 158002 clauses out of 316013 with flag 80316435/12710000
3436.95/3443.19	c cleaning 158996 clauses out of 318012 with flag 81285878/12870001
3500.89/3507.21	c cleaning 160003 clauses out of 320015 with flag 82265989/13031000
3574.32/3580.89	c cleaning 160996 clauses out of 322012 with flag 83295991/13193000
3600.05/3606.61	c starts		: 27501
3600.05/3606.61	c conflicts		: 13263198
3600.05/3606.62	c decisions		: 17723454
3600.05/3606.62	c propagations		: 241331068
3600.05/3606.62	c inspects		: 55448591911
3600.05/3606.62	c shortcuts		: 0
3600.05/3606.62	c learnt literals	: 0
3600.05/3606.62	c learnt binary clauses	: 0
3600.05/3606.62	c learnt ternary clauses	: 0
3600.05/3606.62	c learnt constraints	: 13263198
3600.05/3606.62	c ignored constraints	: 0
3600.05/3606.62	c root simplifications	: 0
3600.05/3606.62	c removed literals (reason simplification)	: 30936698
3600.05/3606.62	c reason swapping (by a shorter reason)	: 0
3600.05/3606.62	c Calls to reduceDB	: 158
3600.05/3606.62	c Number of update (reduction) of LBD	: 4328926
3600.05/3606.62	c Imported unit clauses	: 0
3600.05/3606.62	c timeout
3600.05/3606.62	c No decision after first conflict	: false
3600.05/3606.62	c number of reductions to clauses (during analyze)	: 0
3600.05/3606.62	c number of learned constraints concerned by reduction	: 0
3600.05/3606.62	c number of learning phase by resolution	: 0
3600.05/3606.62	c number of learning phase by cutting planes	: 0
3600.05/3606.62	c number of rounding to 1 operations	: 0
3600.05/3606.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3606.62	c number of reductions of the coefficients by power 2 	: 0
3600.05/3606.62	c number of right shift for reduction by power 2 	: 0
3600.05/3606.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3606.62	c number of ending skipping 	: 0
3600.05/3606.62	c number of internal skipping 	: 0
3600.05/3606.62	c number of derivation steps 	: 0
3600.05/3606.62	c number of skipped derivation steps 	: 0
3600.05/3606.62	c number of remaining unassigned 	: 0
3600.05/3606.62	c number of remaining assigned 	: 0
3600.05/3606.62	c number of falsified literals weakened from reason	: 0
3600.05/3606.62	c number of falsified literals weakened from conflict	: 0
3600.05/3606.62	c time for arithmetic operations	: 0
3600.05/3606.62	c minimum degree of deleted constraints	: null
3600.05/3606.62	c maximum degree of deleted constraints	: null
3600.05/3606.62	c number of deleted constraints	: 0
3600.05/3606.62	c speed (assignments/second)	: 66916.3858046831
3600.05/3606.62	c non guided choices	: 134
3600.05/3606.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231214
3600.05/3606.68	s UNKNOWN
3600.05/3606.68	c Total wall clock time (in seconds): 3606.528

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: 63665 MiB (62806 MiB free)
  memory of node 1: 64507 MiB (63994 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516866-1751241712/watcher-4516866-1751241712 -o /tmp/evaluation-result-4516866-1751241712/solver-4516866-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34699 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516866-1751241712.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 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=34756, runsolver pid=34743
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 2.84 3.79 3.95 10/332 34824
/proc/meminfo: memFree=129731856/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18930384 memory=53856 CPUtime=0.09 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 6110 0 0 0 7 2 0 0 20 0 18 0 39851488 19384713216 13464 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4732596 13464 5359 1 0 547265 0
[pid=34756/tid=34770] ppid=34743 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 4952 0 0 0 4 1 0 0 20 0 18 0 39851489 19384713216 13464 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39851491 19384713216 13464 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18930384 memory=59585004340264 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39851492 19384713216 13464 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53856 KiB

[startup+0.204917 s]*
/proc/loadavg: 2.84 3.79 3.95 13/335 34827
/proc/meminfo: memFree=129545900/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=62164 CPUtime=0.27 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 7612 0 0 0 25 2 0 0 20 0 19 0 39851488 19452874752 15541 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 15541 5423 1 0 548496 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=4026597660 CPUtime=0.14 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 5278 0 0 0 13 1 0 0 20 0 19 0 39851489 19452874752 15541 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=19950 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 15541 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 15541 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 15541 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62164 KiB

[startup+0.304715 s]*
/proc/loadavg: 2.84 3.79 3.95 11/336 34828
/proc/meminfo: memFree=129401900/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=70684 CPUtime=0.47 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 9890 0 0 0 44 3 0 0 20 0 19 0 39851488 19452874752 17671 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 17671 5455 1 0 550076 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=-6000919494197995628 CPUtime=0.22 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 5290 0 0 0 21 1 0 0 20 0 19 0 39851489 19452874752 17671 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 17671 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 17671 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 17671 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70684 KiB

[startup+0.700199 s]
/proc/loadavg: 2.84 3.79 3.95 10/337 34829
/proc/meminfo: memFree=128950712/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=86556 CPUtime=1.23 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 13705 0 0 0 120 3 0 0 20 0 19 0 39851488 19452874752 21639 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 21639 5455 1 0 552911 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=13568 CPUtime=0.58 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 5333 0 0 0 57 1 0 0 20 0 19 0 39851489 19452874752 21639 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 21639 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 21639 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 21639 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86556 KiB

[startup+1.50019 s]
/proc/loadavg: 2.84 3.79 3.95 9/338 34830
/proc/meminfo: memFree=128810036/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=92964 CPUtime=2.46 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 17368 0 0 0 242 4 0 0 20 0 19 0 39851488 19452874752 23241 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 23241 5455 1 0 552916 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=0 CPUtime=1.37 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 5660 0 0 0 136 1 0 0 20 0 19 0 39851489 19452874752 23241 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 23241 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 23241 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 23241 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92964 KiB

[startup+3.10447 s]
/proc/loadavg: 2.84 3.79 3.95 6/338 34830
/proc/meminfo: memFree=128754880/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=105412 CPUtime=4.14 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 18114 0 0 0 410 4 0 0 20 0 19 0 39851488 19452874752 26353 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 26353 5455 1 0 552933 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=10752 CPUtime=2.96 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 5917 0 0 0 295 1 0 0 20 0 19 0 39851489 19452874752 26353 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 26353 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 26353 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 26353 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105412 KiB

[startup+6.30015 s]
/proc/loadavg: 2.94 3.80 3.95 7/338 34830
/proc/meminfo: memFree=128643364/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=115644 CPUtime=7.38 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 18925 0 0 0 733 5 0 0 20 0 19 0 39851488 19452874752 28911 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 28911 5455 1 0 552934 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=0 CPUtime=6.16 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 6228 0 0 0 614 2 0 0 20 0 19 0 39851489 19452874752 28911 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 28911 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 28911 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=95144 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 28911 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115644 KiB

[startup+12.7002 s]
/proc/loadavg: 3.02 3.80 3.95 6/338 34831
/proc/meminfo: memFree=128450884/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=18996948 memory=144316 CPUtime=13.76 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 20025 0 0 0 1371 5 0 0 20 0 19 0 39851488 19452874752 36079 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4749237 36079 5455 1 0 552934 0
[pid=34756/tid=34770] ppid=34743 vsize=18996948 memory=95144 CPUtime=12.53 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 6913 0 0 0 1251 2 0 0 20 0 19 0 39851489 19452874752 36079 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=18996948 memory=138172 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 36079 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 36079 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851505 19452874752 36079 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 13.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144316 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 3.83 3.96 6/340 34833
/proc/meminfo: memFree=128073832/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=175532 CPUtime=26.54 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 21689 0 0 0 2648 6 0 0 20 0 20 0 39851488 19521036288 43883 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 43883 5487 1 0 553223 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=138172 CPUtime=25.3 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 7237 0 0 0 2527 3 0 0 20 0 20 0 39851489 19521036288 43883 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=146364 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 43883 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 43883 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 43883 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 26.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175532 KiB

[startup+51.1048 s]
/proc/loadavg: 3.55 3.84 3.96 6/340 34833
/proc/meminfo: memFree=127465696/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=183784 CPUtime=52.1 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 22170 0 0 0 5203 7 0 0 20 0 20 0 39851488 19521036288 45946 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 45946 5487 1 0 553223 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=183784 CPUtime=50.82 cores=5,7

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

/proc/meminfo: memFree=119966452/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3216.68 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 41685 0 0 0 321566 102 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3212.64 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 15479 0 0 0 321254 10 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 505 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3216.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/340 34987
/proc/meminfo: memFree=119965700/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3276.53 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 41753 0 0 0 327550 103 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3272.48 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 15520 0 0 0 327238 10 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 505 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3276.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.10 6/340 34989
/proc/meminfo: memFree=119942004/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3336.38 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 41997 0 0 0 333534 104 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3332.31 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 15714 0 0 0 333221 10 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 505 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3336.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/341 34992
/proc/meminfo: memFree=119846532/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3396.25 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 42473 0 0 0 339519 106 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3392.14 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 16070 0 0 0 339204 10 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 516 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3396.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/341 34994
/proc/meminfo: memFree=119845728/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3456.1 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 43190 0 0 0 345503 107 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3451.98 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 16621 0 0 0 345188 10 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 597 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3456.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/340 35000
/proc/meminfo: memFree=119851224/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3515.95 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 43513 0 0 0 351487 108 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3511.82 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 16824 0 0 0 351171 11 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 692 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3515.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/341 35017
/proc/meminfo: memFree=119848676/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3575.81 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 43551 0 0 0 357471 110 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3571.65 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 16857 0 0 0 357154 11 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 692 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3575.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.6 s]
/proc/loadavg: 3.55 4.00 4.05 4/290 35085
/proc/meminfo: memFree=127341700/131250000 swapFree=33010684/33010684
[pid=34756] ppid=34743 vsize=19063512 memory=1260164 CPUtime=3600.05 cores=5,7
/proc/34756/stat : 34756 (java) S 34743 34756 34686 0 -1 4194304 43573 0 0 0 359895 110 0 0 20 0 20 0 39851488 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
/proc/34756/statm: 4765878 315041 5519 1 0 553259 0
[pid=34756/tid=34770] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=3595.88 cores=5,7
/proc/34756/task/34770/stat : 34770 (java) R 34743 34756 34686 0 -1 4194368 16875 0 0 0 359577 11 0 0 20 0 20 0 39851489 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34814] ppid=34743 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/34756/task/34814/stat : 34814 (Finalizer) S 34743 34756 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34824] ppid=34743 vsize=19063512 memory=-6000919494197995628 CPUtime=0 cores=5,7
/proc/34756/task/34824/stat : 34824 (Common-Cleaner) S 34743 34756 34686 0 -1 4194368 692 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
[pid=34756/tid=34826] ppid=34743 vsize=19063512 memory=1260164 CPUtime=0 cores=5,7
/proc/34756/task/34826/stat : 34826 (Timer-0) S 34743 34756 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851505 19521036288 315041 18446744073709551615 94746479689728 94746479693424 140727149743168 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94746479701240 94746479702032 94746481713152 140727149746561 140727149746662 140727149746662 140727149752264 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.07 s, system=1.11631 s

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

Child status: 143

Real time (s): 3606.69
CPU time (s): 3600.19
CPU user time (s): 3599.07
CPU system time (s): 1.11631
CPU usage (%): 99.8197
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1260164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.11631
maximum resident set size= 1260932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103012
involuntary context switches= 2896


# summary of solver processes directly reported to runsolver:
#   pid: 34756
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.07
#   total CPU system time (s): 1.11631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33016 second user time and 14.7275 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 02:01:52
IDJOB=4516866
IDBENCH=175890
IDSOLVER=3363
FILE ID=nodeC013/4516866-1751241712
RUNJOBID= nodeC013-1751241712-34699
SLURM_JOB_ID= 9587732
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516866-1751241712/watcher-4516866-1751241712 -o /tmp/evaluation-result-4516866-1751241712/solver-4516866-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34699 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516866-1751241712.opb

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

MD5SUM BENCH= 3f4295d7844794036c91b3ab07b2ea96
RANDOM SEED=1293250273

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129849900 kB
MemAvailable:   129786964 kB
Buffers:            3280 kB
Cached:           739896 kB
SwapCached:            0 kB
Active:           313564 kB
Inactive:         496408 kB
Active(anon):      80080 kB
Inactive(anon):        0 kB
Active(file):     233484 kB
Inactive(file):   496408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3560 kB
Writeback:             8 kB
AnonPages:         69952 kB
Mapped:            97876 kB
Shmem:             13284 kB
KReclaimable:      92424 kB
Slab:             178716 kB
SReclaimable:      92424 kB
SUnreclaim:        86292 kB
KernelStack:        4024 kB
PageTables:         2428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     317944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC013 at 2025-06-30 03:01:59