Trace number 4453402

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 2024 2024-07-07? (TO) 3600.23 3631.41

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-50.shuf-1.opb
MD5SUMcc231fedf2ca281d8b573b4ce0902990
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.002088
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables201
Total number of constraints100
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 constraints93
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4453402-1721843137.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.14	c ... done. Wall clock time 0.014s.
0.14/0.14	c declared #vars     201
0.14/0.14	c #constraints  100
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100
0.14/0.14	c 100 constraints processed.
0.90/0.58	c cleaning 2497 clauses out of 5000 with flag 36845/5000
1.67/0.94	c cleaning 4244 clauses out of 8504 with flag 84898/11001
2.26/1.23	c cleaning 5627 clauses out of 11259 with flag 143811/18000
2.85/1.50	c cleaning 6804 clauses out of 13635 with flag 212450/26003
3.65/1.91	c cleaning 7909 clauses out of 15829 with flag 300686/35001
4.52/2.45	c cleaning 8954 clauses out of 17919 with flag 420042/45000
5.19/2.92	c cleaning 9958 clauses out of 19965 with flag 526839/56000
5.69/3.40	c cleaning 10988 clauses out of 22008 with flag 628410/68001
6.22/3.96	c cleaning 12002 clauses out of 24019 with flag 745981/81000
7.01/4.70	c cleaning 12999 clauses out of 26018 with flag 883001/95001
7.81/5.57	c cleaning 14000 clauses out of 28018 with flag 1023800/110000
8.81/6.54	c cleaning 15003 clauses out of 30020 with flag 1180421/126002
9.86/7.60	c cleaning 16003 clauses out of 32016 with flag 1348237/143001
11.10/8.71	c cleaning 16999 clauses out of 34014 with flag 1523986/161002
12.40/10.07	c cleaning 17999 clauses out of 36013 with flag 1711261/180000
13.89/11.58	c cleaning 19001 clauses out of 38015 with flag 1909106/200001
15.40/13.07	c cleaning 20002 clauses out of 40013 with flag 2107870/221000
16.68/14.30	c cleaning 20995 clauses out of 42012 with flag 2313149/243001
18.08/15.71	c cleaning 22000 clauses out of 44016 with flag 2510843/266000
19.49/17.13	c cleaning 23008 clauses out of 46019 with flag 2722899/290003
21.08/18.72	c cleaning 23993 clauses out of 48008 with flag 2937924/315000
22.83/20.40	c cleaning 25002 clauses out of 50015 with flag 3158620/341000
24.53/22.17	c cleaning 26000 clauses out of 52013 with flag 3391456/368000
26.31/23.97	c cleaning 26999 clauses out of 54015 with flag 3634397/396002
28.11/25.77	c cleaning 27995 clauses out of 56014 with flag 3902613/425000
30.41/28.10	c cleaning 29000 clauses out of 58019 with flag 4203272/455000
32.70/30.36	c cleaning 29994 clauses out of 60022 with flag 4501855/486003
35.09/32.74	c cleaning 31010 clauses out of 62025 with flag 4779518/518000
37.90/35.69	c cleaning 31993 clauses out of 64015 with flag 5067313/551000
40.59/38.37	c cleaning 32993 clauses out of 66022 with flag 5388239/585000
43.49/41.25	c cleaning 34005 clauses out of 68029 with flag 5736139/620000
46.59/44.35	c cleaning 35008 clauses out of 70025 with flag 6051047/656001
49.78/47.55	c cleaning 36001 clauses out of 72017 with flag 6378704/693001
52.86/50.67	c cleaning 37000 clauses out of 74015 with flag 6723511/731000
56.36/54.19	c cleaning 38005 clauses out of 76016 with flag 7061677/770001
59.54/57.39	c cleaning 38993 clauses out of 78011 with flag 7406792/810001
63.44/61.22	c cleaning 39995 clauses out of 80017 with flag 7771773/851000
67.45/65.30	c cleaning 41000 clauses out of 82022 with flag 8149519/893000
71.17/69.10	c cleaning 42004 clauses out of 84023 with flag 8527891/936001
75.64/73.50	c cleaning 42995 clauses out of 86020 with flag 8914298/980002
79.74/77.60	c cleaning 44005 clauses out of 88023 with flag 9292689/1025000
84.02/81.97	c cleaning 45003 clauses out of 90019 with flag 9679157/1071001
89.13/87.03	c cleaning 45991 clauses out of 92015 with flag 10099073/1118000
94.01/91.94	c cleaning 46997 clauses out of 94024 with flag 10497865/1166000
99.13/97.14	c cleaning 48010 clauses out of 96027 with flag 10913365/1215000
104.83/102.82	c cleaning 49005 clauses out of 98018 with flag 11336158/1265001
110.50/108.51	c cleaning 49986 clauses out of 100012 with flag 11756413/1316000
116.39/114.45	c cleaning 51012 clauses out of 102029 with flag 12190221/1368003
121.99/120.06	c cleaning 51997 clauses out of 104014 with flag 12698510/1421000
127.72/125.87	c cleaning 52999 clauses out of 106017 with flag 13152537/1475000
134.00/132.11	c cleaning 54003 clauses out of 108019 with flag 13617360/1530001
140.09/138.25	c cleaning 54988 clauses out of 110017 with flag 14088892/1586002
146.67/144.82	c cleaning 56006 clauses out of 112027 with flag 14568457/1643000
152.45/150.66	c cleaning 57010 clauses out of 114022 with flag 15040976/1701001
160.66/158.93	c cleaning 58002 clauses out of 116011 with flag 15561811/1760000
167.74/166.09	c cleaning 58994 clauses out of 118009 with flag 16104624/1820000
175.44/173.73	c cleaning 59998 clauses out of 120016 with flag 16613765/1881001
182.91/181.20	c cleaning 60996 clauses out of 122017 with flag 17124797/1943000
191.03/189.41	c cleaning 61999 clauses out of 124021 with flag 17644772/2006000
199.21/197.63	c cleaning 63000 clauses out of 126023 with flag 18142788/2070001
207.59/206.03	c cleaning 64004 clauses out of 128022 with flag 18672446/2135000
217.38/215.86	c cleaning 65009 clauses out of 130019 with flag 19180030/2201001
226.81/225.31	c cleaning 65998 clauses out of 132011 with flag 19738567/2268002
236.59/235.19	c cleaning 66999 clauses out of 134011 with flag 20331485/2336000
245.85/244.49	c cleaning 67998 clauses out of 136012 with flag 20902476/2405000
258.37/257.05	c cleaning 68994 clauses out of 138015 with flag 21598019/2475001
267.64/266.33	c cleaning 69994 clauses out of 140020 with flag 22176542/2546000
278.51/277.23	c cleaning 71007 clauses out of 142028 with flag 22745539/2618002
289.85/288.61	c cleaning 72007 clauses out of 144021 with flag 23321630/2691002
299.41/298.27	c cleaning 72991 clauses out of 146013 with flag 23935810/2765001
310.50/309.38	c cleaning 73998 clauses out of 148021 with flag 24557711/2840000
322.23/321.13	c cleaning 74999 clauses out of 150024 with flag 25154579/2916001
334.79/333.74	c cleaning 75994 clauses out of 152024 with flag 25760768/2993000
348.50/347.53	c cleaning 77009 clauses out of 154030 with flag 26364668/3071000
361.98/361.09	c cleaning 78007 clauses out of 156023 with flag 26991583/3150002
373.51/372.65	c cleaning 78988 clauses out of 158014 with flag 27634946/3230000
388.59/387.71	c cleaning 79996 clauses out of 160027 with flag 28356249/3311001
404.33/403.54	c cleaning 80996 clauses out of 162030 with flag 29107065/3393000
417.79/417.10	c cleaning 82013 clauses out of 164034 with flag 29782674/3476000
431.16/430.41	c cleaning 83007 clauses out of 166022 with flag 30446194/3560001
444.99/444.38	c cleaning 84008 clauses out of 168017 with flag 31135761/3645003
459.08/458.46	c cleaning 84993 clauses out of 170008 with flag 31816163/3731002
475.80/475.25	c cleaning 86003 clauses out of 172015 with flag 32475991/3818002
490.09/489.55	c cleaning 86992 clauses out of 174010 with flag 33177879/3906000
505.66/505.17	c cleaning 88001 clauses out of 176019 with flag 33893329/3995001
523.21/522.72	c cleaning 89007 clauses out of 178019 with flag 34571966/4085002
540.37/539.99	c cleaning 89991 clauses out of 180011 with flag 35324933/4176001
557.35/556.96	c cleaning 90998 clauses out of 182020 with flag 36152509/4268001
573.80/573.42	c cleaning 92003 clauses out of 184021 with flag 36897025/4361000
590.88/590.57	c cleaning 93007 clauses out of 186021 with flag 37634620/4455003
608.19/607.87	c cleaning 93997 clauses out of 188011 with flag 38378078/4550000
627.69/627.41	c cleaning 94998 clauses out of 190016 with flag 39114217/4646002
648.57/648.33	c cleaning 95992 clauses out of 192016 with flag 39864467/4743000
668.86/668.68	c cleaning 96994 clauses out of 194024 with flag 40724384/4841000
689.17/689.09	c cleaning 97996 clauses out of 196030 with flag 41474318/4940000
713.13/713.03	c cleaning 99009 clauses out of 198036 with flag 42222718/5040002
736.01/735.99	c cleaning 100003 clauses out of 200026 with flag 42975636/5141001
757.13/757.14	c cleaning 101005 clauses out of 202022 with flag 43756360/5243000
777.39/777.41	c cleaning 102005 clauses out of 204019 with flag 44559168/5346002
797.89/797.90	c cleaning 103005 clauses out of 206013 with flag 45322180/5450001
817.74/817.88	c cleaning 103988 clauses out of 208008 with flag 46162411/5555001
837.55/837.72	c cleaning 104999 clauses out of 210019 with flag 47043600/5661000
859.63/859.80	c cleaning 105999 clauses out of 212021 with flag 47837497/5768001
882.17/882.45	c cleaning 107003 clauses out of 214021 with flag 48679640/5876000
905.62/905.97	c cleaning 108005 clauses out of 216018 with flag 49512231/5985000
931.85/932.31	c cleaning 108990 clauses out of 218013 with flag 50371427/6095000
960.10/960.81	c cleaning 110004 clauses out of 220023 with flag 51178962/6206000
985.34/986.22	c cleaning 111000 clauses out of 222020 with flag 52011423/6318001
1010.61/1011.52	c cleaning 112008 clauses out of 224020 with flag 52877274/6431001
1041.27/1042.23	c cleaning 112999 clauses out of 226011 with flag 53746801/6545000
1063.98/1065.02	c cleaning 113995 clauses out of 228012 with flag 54628259/6660000
1090.82/1091.92	c cleaning 115006 clauses out of 230020 with flag 55491459/6776003
1120.55/1121.72	c cleaning 115997 clauses out of 232011 with flag 56376782/6893000
1145.50/1146.76	c cleaning 116995 clauses out of 234014 with flag 57304887/7011000
1174.25/1175.56	c cleaning 118002 clauses out of 236020 with flag 58242225/7130001
1202.12/1203.49	c cleaning 119002 clauses out of 238017 with flag 59103159/7250000
1232.50/1233.98	c cleaning 119995 clauses out of 240016 with flag 60002821/7371001
1265.53/1267.07	c cleaning 121002 clauses out of 242020 with flag 60904933/7493000
1295.54/1297.17	c cleaning 122000 clauses out of 244019 with flag 61847508/7616001
1324.48/1326.16	c cleaning 123009 clauses out of 246019 with flag 62838179/7740001
1357.40/1359.16	c cleaning 124000 clauses out of 248010 with flag 63846546/7865001
1386.15/1387.93	c cleaning 124986 clauses out of 250009 with flag 64798296/7991000
1421.78/1423.64	c cleaning 126009 clauses out of 252023 with flag 65714628/8118000
1454.11/1456.01	c cleaning 126995 clauses out of 254015 with flag 66658001/8246001
1488.33/1490.31	c cleaning 128003 clauses out of 256019 with flag 67573027/8375000
1522.70/1525.67	c cleaning 129001 clauses out of 258017 with flag 68514205/8505001
1555.90/1558.91	c cleaning 129997 clauses out of 260016 with flag 69461627/8636001
1591.01/1594.15	c cleaning 131001 clauses out of 262018 with flag 70453481/8768000
1619.23/1622.40	c cleaning 131992 clauses out of 264017 with flag 71491530/8901000
1654.35/1657.60	c cleaning 132997 clauses out of 266025 with flag 72496286/9035000
1686.27/1689.68	c cleaning 134002 clauses out of 268028 with flag 73522763/9170000
1725.66/1745.16	c cleaning 135008 clauses out of 270027 with flag 74482239/9306001
1758.25/1777.80	c cleaning 136000 clauses out of 272018 with flag 75500455/9443000
1790.08/1809.70	c cleaning 136995 clauses out of 274018 with flag 76510976/9581000
1831.40/1851.17	c cleaning 138003 clauses out of 276023 with flag 77552901/9720000
1869.10/1888.96	c cleaning 138992 clauses out of 278020 with flag 78534276/9860000
1907.88/1927.99	c cleaning 140008 clauses out of 280030 with flag 79620481/10001002
1952.26/1972.97	c cleaning 140994 clauses out of 282020 with flag 80679756/10143000
1988.34/2009.37	c cleaning 141997 clauses out of 284026 with flag 81718787/10286000
2032.29/2053.68	c cleaning 143008 clauses out of 286029 with flag 82772805/10430000
2069.28/2090.79	c cleaning 144005 clauses out of 288022 with flag 83885198/10575001
2115.07/2136.68	c cleaning 144995 clauses out of 290016 with flag 84948763/10721000
2157.61/2179.30	c cleaning 145999 clauses out of 292022 with flag 86014357/10868001
2198.10/2220.02	c cleaning 147002 clauses out of 294022 with flag 87088724/11016000
2238.98/2261.38	c cleaning 147996 clauses out of 296020 with flag 88182348/11165000
2278.35/2300.83	c cleaning 149001 clauses out of 298024 with flag 89339177/11315000
2329.97/2352.69	c cleaning 150006 clauses out of 300024 with flag 90410337/11466001
2382.93/2405.86	c cleaning 150998 clauses out of 302018 with flag 91468451/11618001
2423.66/2446.75	c cleaning 151986 clauses out of 304019 with flag 92606741/11771000
2459.79/2482.92	c cleaning 153008 clauses out of 306035 with flag 93778525/11925002
2503.20/2526.52	c cleaning 154006 clauses out of 308025 with flag 95081070/12080000
2550.86/2574.30	c cleaning 155003 clauses out of 310021 with flag 96189602/12236002
2597.80/2621.39	c cleaning 155995 clauses out of 312017 with flag 97377527/12393001
2649.22/2673.24	c cleaning 157006 clauses out of 314022 with flag 98528734/12551001
2694.63/2719.05	c cleaning 158005 clauses out of 316016 with flag 99703860/12710001
2744.64/2769.52	c cleaning 158980 clauses out of 318010 with flag 100824276/12870000
2798.91/2824.15	c cleaning 160011 clauses out of 320031 with flag 101972891/13031001
2844.98/2870.34	c cleaning 161000 clauses out of 322020 with flag 103118365/13193001
2891.90/2919.58	c cleaning 161992 clauses out of 324020 with flag 104486318/13356001
2939.06/2966.86	c cleaning 163006 clauses out of 326029 with flag 105654707/13520002
2991.07/3019.03	c cleaning 164002 clauses out of 328021 with flag 106826892/13685000
3043.50/3071.66	c cleaning 164999 clauses out of 330019 with flag 107987520/13851000
3091.68/3119.99	c cleaning 165997 clauses out of 332021 with flag 109208110/14018001
3157.25/3185.75	c cleaning 167003 clauses out of 334023 with flag 110363975/14186000
3212.87/3241.56	c cleaning 168003 clauses out of 336021 with flag 111593039/14355001
3268.55/3298.67	c cleaning 169001 clauses out of 338017 with flag 112843186/14525000
3336.81/3367.29	c cleaning 170002 clauses out of 340017 with flag 114020025/14696001
3394.02/3424.60	c cleaning 170996 clauses out of 342014 with flag 115184899/14868000
3444.90/3475.79	c cleaning 172002 clauses out of 344020 with flag 116360190/15041002
3510.27/3541.39	c cleaning 173002 clauses out of 346018 with flag 117515198/15215002
3554.30/3585.45	c cleaning 174000 clauses out of 348014 with flag 118737385/15390000
3600.08/3631.31	c starts		: 67721
3600.08/3631.32	c timeout
3600.08/3631.32	c conflicts		: 15564958
3600.08/3631.32	c decisions		: 23357835
3600.08/3631.32	c propagations		: 429900271
3600.08/3631.32	c inspects		: 50499732620
3600.08/3631.32	c shortcuts		: 0
3600.08/3631.32	c learnt literals	: 0
3600.08/3631.33	c learnt binary clauses	: 0
3600.08/3631.33	c learnt ternary clauses	: 0
3600.08/3631.33	c learnt constraints	: 15564958
3600.08/3631.33	c ignored constraints	: 0
3600.08/3631.33	c root simplifications	: 0
3600.08/3631.33	c removed literals (reason simplification)	: 35808580
3600.08/3631.33	c reason swapping (by a shorter reason)	: 0
3600.08/3631.33	c Calls to reduceDB	: 171
3600.08/3631.33	c Number of update (reduction) of LBD	: 4997970
3600.08/3631.33	c Imported unit clauses	: 0
3600.08/3631.33	c No decision after first conflict	: false
3600.08/3631.33	c number of reductions to clauses (during analyze)	: 0
3600.08/3631.33	c number of learned constraints concerned by reduction	: 0
3600.08/3631.33	c number of learning phase by resolution	: 0
3600.08/3631.33	c number of learning phase by cutting planes	: 0
3600.08/3631.33	c number of rounding to 1 operations	: 0
3600.08/3631.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3631.33	c number of reductions of the coefficients by power 2 	: 0
3600.08/3631.33	c number of right shift for reduction by power 2 	: 0
3600.08/3631.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3631.33	c number of ending skipping 	: 0
3600.08/3631.33	c number of internal skipping 	: 0
3600.08/3631.33	c number of derivation steps 	: 0
3600.08/3631.33	c number of skipped derivation steps 	: 0
3600.08/3631.33	c number of remaining unassigned 	: 0
3600.08/3631.33	c number of remaining assigned 	: 0
3600.08/3631.33	c number of falsified literals weakened from reason	: 0
3600.08/3631.33	c number of falsified literals weakened from conflict	: 0
3600.08/3631.33	c time for arithmetic operations	: 0
3600.08/3631.33	c minimum degree of deleted constraints	: null
3600.08/3631.33	c maximum degree of deleted constraints	: null
3600.08/3631.33	c number of deleted constraints	: 0
3600.08/3631.33	c speed (assignments/second)	: 118391.3087780532
3600.08/3631.33	c non guided choices	: 105
3600.08/3631.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 348972
3600.08/3631.39	s UNKNOWN
3600.08/3631.39	c Total wall clock time (in seconds): 3631.26

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: 63968 MiB (54591 MiB free)
  memory of node 1: 64473 MiB (58843 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453402-1721843137/watcher-4453402-1721843137 -o /tmp/evaluation-result-4453402-1721843137/solver-4453402-1721843137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206802 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453402-1721843137 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453402-1721843137.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=209241, runsolver pid=209238

[startup+0.100334 s]*
/proc/loadavg: 4.15 4.12 4.09 5/329 209259
/proc/meminfo: memFree=116113176/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=18993908 memory=65820 CPUtime=0.14 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 7289 0 0 0 12 2 0 0 20 0 18 0 20842010 19449761792 16455 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4748477 16455 5792 1 0 549380 0
[pid=209241/tid=209243] ppid=209238 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) D 209238 209241 206792 0 -1 1078198336 5839 0 0 0 7 1 0 0 20 0 18 0 20842010 19449761792 16455 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20842013 19449761792 16455 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=18993908 memory=15534145914147786 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20842014 19449761792 16455 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65820 KiB

[startup+0.208236 s]*
/proc/loadavg: 4.15 4.12 4.09 6/330 209260
/proc/meminfo: memFree=116104768/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19060472 memory=72988 CPUtime=0.33 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 7904 0 0 0 31 2 0 0 20 0 19 0 20842010 19517923328 18247 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4765118 18247 6088 1 0 550019 0
[pid=209241/tid=209243] ppid=209238 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 6068 0 0 0 17 1 0 0 20 0 19 0 20842010 19517923328 18312 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19060472 memory=1446658 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20842013 19517923328 18312 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19060472 memory=14979970577467533 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20842014 19517923328 18312 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20842025 19517923328 18312 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 72988 KiB

[startup+0.310551 s]*
/proc/loadavg: 4.15 4.12 4.09 5/330 209260
/proc/meminfo: memFree=116087356/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19060472 memory=88736 CPUtime=0.53 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 9622 0 0 0 50 3 0 0 20 0 19 0 20842010 19517923328 22184 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4765118 22184 6116 1 0 550691 0
[pid=209241/tid=209243] ppid=209238 vsize=19060472 memory=-8600301214679933628 CPUtime=0.28 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) D 209238 209241 206792 0 -1 4194368 6094 0 0 0 26 2 0 0 20 0 19 0 20842010 19517923328 22184 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20842013 19517923328 22184 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20842014 19517923328 22184 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20842025 19517923328 22184 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 88736 KiB

[startup+0.701247 s]
/proc/loadavg: 4.15 4.12 4.09 7/330 209260
/proc/meminfo: memFree=116050060/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19060472 memory=160656 CPUtime=1.28 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 14607 0 0 0 123 5 0 0 20 0 19 0 20842010 19517923328 40164 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4765118 40164 6116 1 0 554272 0
[pid=209241/tid=209243] ppid=209238 vsize=19060472 memory=75972 CPUtime=0.65 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 6162 0 0 0 62 3 0 0 20 0 19 0 20842010 19517923328 40164 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19060472 memory=12248 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20842013 19517923328 40164 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19060472 memory=2164 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20842014 19517923328 40164 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19060472 memory=5448 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20842025 19517923328 40164 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 160656 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.09 6/331 209261
/proc/meminfo: memFree=115971588/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=181840 CPUtime=2.85 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 21167 0 0 0 278 7 0 0 20 0 20 0 20842010 19586084864 45460 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 45460 6148 1 0 554883 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=12248 CPUtime=1.41 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 6564 0 0 0 137 4 0 0 20 0 20 0 20842010 19586084864 45460 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 45460 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=2164 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 45460 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=5448 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 45460 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 181840 KiB

[startup+3.10623 s]
/proc/loadavg: 4.21 4.14 4.10 5/331 209261
/proc/meminfo: memFree=115641416/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=231712 CPUtime=5.4 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 23476 0 0 0 530 10 0 0 20 0 20 0 20842010 19586084864 57928 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 57928 6148 1 0 554886 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=0 CPUtime=2.98 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 6957 0 0 0 292 6 0 0 20 0 20 0 20842010 19586084864 57928 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=-8600301214679933628 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 57928 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=12248 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 57928 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2164 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 57928 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 231712 KiB

[startup+6.30027 s]
/proc/loadavg: 4.21 4.14 4.10 5/331 209263
/proc/meminfo: memFree=115222788/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=630276 CPUtime=8.61 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 24580 0 0 0 840 21 0 0 20 0 20 0 20842010 19586084864 157569 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 157569 6148 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=12248 CPUtime=6.15 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 7493 0 0 0 598 17 0 0 20 0 20 0 20842010 19586084864 157569 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=2164 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 157569 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 157569 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=182016 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 157569 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 630276 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.15 4.10 5/331 209263
/proc/meminfo: memFree=114842788/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=865968 CPUtime=15.09 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 28378 0 0 0 1479 30 0 0 20 0 20 0 20842010 19586084864 216492 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 216492 6148 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=182016 CPUtime=12.52 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 8475 0 0 0 1226 26 0 0 20 0 20 0 20842010 19586084864 216492 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=738992 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 216492 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=632496 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 216492 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=12248 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 216492 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 865968 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.16 4.11 5/331 209266
/proc/meminfo: memFree=113901080/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=1298124 CPUtime=27.91 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 34000 0 0 0 2745 46 0 0 20 0 20 0 20842010 19586084864 324531 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 324531 6148 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=1298124 CPUtime=25.27 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 10036 0 0 0 2485 42 0 0 20 0 20 0 20842010 19586084864 324531 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 324531 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 324531 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 324531 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1298124 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.15 4.10 5/330 209270
/proc/meminfo: memFree=113283416/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=1318656 CPUtime=53.37 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 39160 0 0 0 5279 58 0 0 20 0 20 0 20842010 19586084864 329664 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 329664 6148 1 0 554904 0

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

/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 527743 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=26812 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 3433 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 527743 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2110972 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 527743 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3193.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2110972 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/334 211046
/proc/meminfo: memFree=91907792/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2110976 CPUtime=3252.29 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 156953 0 0 0 324392 837 0 0 20 0 20 0 20842010 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 527744 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=2110976 CPUtime=3238.84 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 69375 0 0 0 323174 710 0 0 20 0 20 0 20842010 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2401 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=2110976 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=75972 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 3564 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2110972 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3252.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2110976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/334 211056
/proc/meminfo: memFree=91646576/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2110976 CPUtime=3311.92 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 159212 0 0 0 330342 850 0 0 20 0 20 0 20842010 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 527744 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=38868 CPUtime=3298.36 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 70952 0 0 0 329115 721 0 0 20 0 20 0 20842010 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2426 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=75972 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=2110976 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 3652 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2110976 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 527744 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3311.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2110976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/335 211069
/proc/meminfo: memFree=91352812/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2110984 CPUtime=3371.76 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 161899 0 0 0 336316 860 0 0 20 0 20 0 20842010 19586084864 527746 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 527746 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=2110976 CPUtime=3358.06 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 72529 0 0 0 335076 730 0 0 20 0 20 0 20842010 19586084864 527746 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2428 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=75972 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 527746 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 527746 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=-8600301214679933628 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 527746 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3371.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2110984 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/335 211079
/proc/meminfo: memFree=91040184/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2133520 CPUtime=3431.59 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 164863 0 0 0 342288 871 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 533380 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=2110976 CPUtime=3417.65 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 73590 0 0 0 341027 738 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2437 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=75972 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=38868 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 3942 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2133520 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3431.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2133520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/335 211090
/proc/meminfo: memFree=90780788/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2133520 CPUtime=3491.36 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 167286 0 0 0 348255 881 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 533380 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=75972 CPUtime=3477.31 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 74788 0 0 0 346985 746 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2445 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=2133520 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 4076 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2133520 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3491.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2133520 KiB

[startup+3582.3 s]
/proc/loadavg: 3.69 4.02 4.08 2/257 211203
/proc/meminfo: memFree=117676512/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2133520 CPUtime=3551.2 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 169713 0 0 0 354227 893 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 533380 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=11496 CPUtime=3536.95 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 75856 0 0 0 352939 756 0 0 20 0 20 0 20842010 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2450 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=5448 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 4246 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=26072 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 533380 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3551.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2133520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631.3 s]
/proc/loadavg: 2.30 3.59 3.93 2/254 211211
/proc/meminfo: memFree=117641748/131524600 swapFree=131061696/131071996
[pid=209241] ppid=209238 vsize=19127036 memory=2133536 CPUtime=3600.08 cores=0,2
/proc/209241/stat : 209241 (java) S 209238 209241 206792 0 -1 1077936128 171915 0 0 0 359107 901 0 0 20 0 20 0 20842010 19586084864 533384 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
/proc/209241/statm: 4781759 533384 6164 1 0 554904 0
[pid=209241/tid=209243] ppid=209238 vsize=19127036 memory=2133520 CPUtime=3585.69 cores=0,2
/proc/209241/task/209243/stat : 209243 (java) R 209238 209241 206792 0 -1 4194368 76889 0 0 0 357806 763 0 0 20 0 20 0 20842010 19586084864 533384 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2457 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209252] ppid=209238 vsize=19127036 memory=2133520 CPUtime=0 cores=0,2
/proc/209241/task/209252/stat : 209252 (Finalizer) S 209238 209241 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20842013 19586084864 533384 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209259] ppid=209238 vsize=19127036 memory=11496 CPUtime=0 cores=0,2
/proc/209241/task/209259/stat : 209259 (Common-Cleaner) S 209238 209241 206792 0 -1 1077936192 4329 0 0 0 0 0 0 0 20 0 20 0 20842014 19586084864 533384 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
[pid=209241/tid=209260] ppid=209238 vsize=19127036 memory=2133520 CPUtime=0 cores=0,2
/proc/209241/task/209260/stat : 209260 (Timer-0) S 209238 209241 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20842025 19586084864 533384 134679101440 94273628053504 94273628057200 140721893955968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273628065016 94273628065808 94273644138496 140721893958575 140721893958757 140721893958757 140721893965768 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2133536 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.19 s, system=9.0344 s

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

[startup+3631.4 s]*
/proc/loadavg: 2.30 3.59 3.93 3/236 211214
/proc/meminfo: memFree=118113540/131524600 swapFree=131061696/131071996
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): 3631.41
CPU time (s): 3600.23
CPU user time (s): 3591.19
CPU system time (s): 9.0344
CPU usage (%): 99.1413
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 2133536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 9.0344
maximum resident set size= 2135552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6138400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109280
involuntary context switches= 28642


# summary of solver processes directly reported to runsolver:
#   pid: 209241
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3591.19
#   total CPU system time (s): 9.0344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41187 second user time and 17.6091 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 19:45:37
IDJOB=4453402
IDBENCH=175488
IDSOLVER=3079
FILE ID=nodeC020/4453402-1721843137
RUNJOBID= nodeC020-1721839470-206802
SLURM_JOB_ID= 7891544
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-50.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453402-1721843137/watcher-4453402-1721843137 -o /tmp/evaluation-result-4453402-1721843137/solver-4453402-1721843137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206802 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453402-1721843137 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453402-1721843137.opb

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

MD5SUM BENCH= cc231fedf2ca281d8b573b4ce0902990
RANDOM SEED=1455013244

nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3627.184
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.31
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		: 3686.174
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3652.086
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.31
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		: 3600.339
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3667.642
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.31
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		: 3686.342
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
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		: 3614.091
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.31
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		: 3599.949
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116159168 kB
MemAvailable:   124061464 kB
Buffers:          266096 kB
Cached:          8424304 kB
SwapCached:          120 kB
Active:          2592900 kB
Inactive:       12068860 kB
Active(anon):       2344 kB
Inactive(anon):  6022988 kB
Active(file):    2590556 kB
Inactive(file):  6045872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:            227072 kB
Writeback:             0 kB
AnonPages:       5970380 kB
Mapped:           129228 kB
Shmem:             53880 kB
KReclaimable:     211384 kB
Slab:             334744 kB
SReclaimable:     211384 kB
SUnreclaim:       123360 kB
KernelStack:        5024 kB
PageTables:        22140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9763740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5654528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC020 at 2024-07-24 20:46:08