Trace number 4446314

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 Default 2024-07-07? (TO) 3600.14 3607.9

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-77.opb
MD5SUM71fdab66bbdfc1c9c6ce1eef27fb98d4
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 benchmark1621.08
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4446314-1721325164.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
2.44/1.34	c ... done. Wall clock time 1.218s.
2.44/1.34	c declared #vars     10086
2.44/1.34	c #constraints  226608
2.44/1.34	c constraints type 
2.44/1.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 47809
2.44/1.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 722
2.44/1.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
2.44/1.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155859
2.44/1.34	c 226608 constraints processed.
5.39/2.98	c cleaning 2489 clauses out of 4999 with flag 69267/5001
6.67/4.02	c cleaning 4233 clauses out of 8505 with flag 159414/11000
8.10/5.15	c cleaning 5576 clauses out of 11272 with flag 285449/18000
9.30/6.36	c cleaning 6826 clauses out of 13696 with flag 409553/26000
10.80/7.84	c cleaning 7882 clauses out of 15870 with flag 551987/35000
12.69/9.76	c cleaning 8971 clauses out of 17988 with flag 699966/45000
13.78/10.88	c cleaning 9991 clauses out of 20020 with flag 794628/56003
14.77/11.89	c cleaning 10964 clauses out of 22027 with flag 889852/68001
15.86/12.95	c cleaning 12000 clauses out of 24062 with flag 1010395/81000
17.34/14.50	c cleaning 12889 clauses out of 26062 with flag 1146756/95000
18.83/15.99	c cleaning 14076 clauses out of 28174 with flag 1282877/110001
20.82/17.99	c cleaning 14972 clauses out of 30096 with flag 1413340/126000
23.12/20.27	c cleaning 16033 clauses out of 32125 with flag 1573838/143001
25.13/22.23	c cleaning 17007 clauses out of 34093 with flag 1730279/161002
27.62/24.74	c cleaning 17997 clauses out of 36084 with flag 1901421/180000
30.59/27.76	c cleaning 18988 clauses out of 38087 with flag 2146035/200000
33.46/30.69	c cleaning 19940 clauses out of 40099 with flag 2367191/221000
36.34/33.59	c cleaning 20990 clauses out of 42160 with flag 2573693/243001
39.02/36.27	c cleaning 22060 clauses out of 44169 with flag 2750775/266000
42.00/39.27	c cleaning 23031 clauses out of 46109 with flag 2941651/290000
45.17/42.40	c cleaning 24013 clauses out of 48078 with flag 3131425/315000
48.04/45.37	c cleaning 25022 clauses out of 50067 with flag 3355965/341002
51.02/48.34	c cleaning 25987 clauses out of 52043 with flag 3582757/368000
54.20/51.55	c cleaning 26899 clauses out of 54056 with flag 3812738/396000
57.86/55.25	c cleaning 28064 clauses out of 56157 with flag 4036142/425000
61.53/58.90	c cleaning 29047 clauses out of 58095 with flag 4296332/455002
64.75/62.11	c cleaning 29951 clauses out of 60048 with flag 4574428/486002
68.32/65.77	c cleaning 31010 clauses out of 62097 with flag 4836184/518002
72.59/70.10	c cleaning 31998 clauses out of 64085 with flag 5134744/551000
77.44/74.99	c cleaning 33021 clauses out of 66088 with flag 5428930/585001
82.39/79.98	c cleaning 34007 clauses out of 68069 with flag 5745523/620003
87.36/84.95	c cleaning 35030 clauses out of 70060 with flag 6028899/656001
92.11/89.77	c cleaning 35973 clauses out of 72031 with flag 6366121/693002
97.53/95.19	c cleaning 36982 clauses out of 74056 with flag 6735715/731000
103.18/100.89	c cleaning 38020 clauses out of 76075 with flag 7025426/770001
108.24/105.95	c cleaning 38991 clauses out of 78054 with flag 7361242/810000
114.38/112.15	c cleaning 39956 clauses out of 80063 with flag 7709381/851000
120.03/117.81	c cleaning 41033 clauses out of 82109 with flag 8037183/893002
126.63/124.46	c cleaning 42003 clauses out of 84075 with flag 8414295/936001
133.72/131.57	c cleaning 42894 clauses out of 86071 with flag 8768261/980000
141.50/139.32	c cleaning 44085 clauses out of 88177 with flag 9145619/1025000
149.48/147.33	c cleaning 44997 clauses out of 90092 with flag 9545139/1071000
158.26/156.15	c cleaning 46018 clauses out of 92095 with flag 10018906/1118000
166.70/164.59	c cleaning 47026 clauses out of 94080 with flag 10470488/1166003
175.37/173.27	c cleaning 47972 clauses out of 96051 with flag 10969492/1215000
183.75/181.62	c cleaning 49006 clauses out of 98082 with flag 11430286/1265003
191.50/189.39	c cleaning 49959 clauses out of 100073 with flag 11830265/1316000
199.19/197.05	c cleaning 50999 clauses out of 102116 with flag 12268763/1368002
208.36/206.24	c cleaning 52049 clauses out of 104116 with flag 12738835/1421001
216.45/214.31	c cleaning 53016 clauses out of 106066 with flag 13236357/1475000
224.99/222.82	c cleaning 53992 clauses out of 108050 with flag 13739511/1530000
234.17/232.05	c cleaning 54952 clauses out of 110058 with flag 14256875/1586000
242.75/240.66	c cleaning 55975 clauses out of 112106 with flag 14726214/1643000
253.27/251.15	c cleaning 57039 clauses out of 114136 with flag 15297362/1701005
263.25/261.17	c cleaning 58025 clauses out of 116092 with flag 15802013/1760000
272.82/270.74	c cleaning 59001 clauses out of 118068 with flag 16251825/1820001
283.14/281.00	c cleaning 60004 clauses out of 120066 with flag 16760553/1881000
296.81/294.77	c cleaning 61009 clauses out of 122064 with flag 17363755/1943002
312.17/310.12	c cleaning 62016 clauses out of 124053 with flag 17966847/2006000
324.80/322.71	c cleaning 63010 clauses out of 126037 with flag 18480642/2070000
339.17/337.18	c cleaning 63988 clauses out of 128027 with flag 19038183/2135000
350.53/348.50	c cleaning 64968 clauses out of 130039 with flag 19543290/2201000
362.04/360.04	c cleaning 65908 clauses out of 132071 with flag 20062368/2268000
374.70/372.78	c cleaning 66896 clauses out of 134163 with flag 20639448/2336000
389.27/387.31	c cleaning 68095 clauses out of 136267 with flag 21300604/2405000
401.47/399.52	c cleaning 69064 clauses out of 138174 with flag 21900887/2475002
415.24/413.45	c cleaning 69998 clauses out of 140108 with flag 22420498/2546000
427.84/426.15	c cleaning 71009 clauses out of 142110 with flag 23034431/2618000
442.80/441.27	c cleaning 72046 clauses out of 144102 with flag 23606373/2691001
457.75/456.32	c cleaning 72961 clauses out of 146055 with flag 24190695/2765000
471.73/470.47	c cleaning 74036 clauses out of 148094 with flag 24790764/2840000
487.76/486.50	c cleaning 74972 clauses out of 150058 with flag 25402246/2916000
503.51/502.41	c cleaning 76029 clauses out of 152086 with flag 26051098/2993000
518.18/517.26	c cleaning 77022 clauses out of 154057 with flag 26645229/3071000
534.05/533.12	c cleaning 77923 clauses out of 156035 with flag 27277705/3150000
550.59/549.83	c cleaning 79001 clauses out of 158112 with flag 27913450/3230000
566.65/566.06	c cleaning 80043 clauses out of 160113 with flag 28517667/3311002
584.97/584.55	c cleaning 81004 clauses out of 162068 with flag 29138959/3393000
605.27/604.94	c cleaning 81979 clauses out of 164064 with flag 29763617/3476000
623.50/623.38	c cleaning 83025 clauses out of 166085 with flag 30427224/3560000
640.54/640.52	c cleaning 84008 clauses out of 168060 with flag 31210832/3645000
658.78/658.92	c cleaning 84993 clauses out of 170052 with flag 31903022/3731000
676.38/676.54	c cleaning 85949 clauses out of 172059 with flag 32627257/3818000
693.34/693.52	c cleaning 86990 clauses out of 174110 with flag 33369553/3906000
714.78/715.04	c cleaning 88048 clauses out of 176121 with flag 34014629/3995001
735.63/735.98	c cleaning 88972 clauses out of 178072 with flag 34739653/4085000
756.96/757.28	c cleaning 89925 clauses out of 180100 with flag 35486862/4176000
780.00/780.30	c cleaning 91047 clauses out of 182176 with flag 36188999/4268001
799.54/799.98	c cleaning 92036 clauses out of 184128 with flag 36954558/4361000
821.21/821.50	c cleaning 93044 clauses out of 186094 with flag 37748911/4455002
844.04/844.49	c cleaning 93993 clauses out of 188048 with flag 38494165/4550000
865.59/866.09	c cleaning 95015 clauses out of 190056 with flag 39228070/4646001
886.42/886.96	c cleaning 95964 clauses out of 192040 with flag 40036406/4743000
909.56/910.02	c cleaning 97021 clauses out of 194077 with flag 40852696/4841001
930.69/931.20	c cleaning 98013 clauses out of 196055 with flag 41623472/4940000
955.92/956.55	c cleaning 98988 clauses out of 198043 with flag 42404887/5040001
979.56/980.27	c cleaning 100006 clauses out of 200054 with flag 43189790/5141000
1003.89/1004.65	c cleaning 100950 clauses out of 202048 with flag 44011013/5243000
1029.02/1029.82	c cleaning 101954 clauses out of 204098 with flag 44888683/5346000
1054.46/1055.36	c cleaning 103050 clauses out of 206144 with flag 45675743/5450000
1081.38/1082.35	c cleaning 104030 clauses out of 208095 with flag 46445435/5555001
1107.41/1108.43	c cleaning 104948 clauses out of 210064 with flag 47254577/5661000
1133.84/1134.95	c cleaning 106007 clauses out of 212116 with flag 48143493/5768000
1159.37/1160.55	c cleaning 107028 clauses out of 214110 with flag 49025213/5876001
1187.29/1188.59	c cleaning 108024 clauses out of 216083 with flag 49795531/5985002
1215.61/1216.92	c cleaning 109000 clauses out of 218059 with flag 50610689/6095002
1244.74/1246.10	c cleaning 109981 clauses out of 220057 with flag 51605464/6206000
1274.06/1275.54	c cleaning 111010 clauses out of 222076 with flag 52497739/6318000
1301.71/1302.90	c cleaning 112021 clauses out of 224067 with flag 53402163/6431001
1330.83/1332.16	c cleaning 112975 clauses out of 226045 with flag 54310884/6545000
1361.34/1362.75	c cleaning 114003 clauses out of 228070 with flag 55221873/6660000
1394.06/1394.88	c cleaning 114992 clauses out of 230067 with flag 56078703/6776000
1426.66/1427.74	c cleaning 116023 clauses out of 232079 with flag 56997657/6893004
1456.80/1458.04	c cleaning 117002 clauses out of 234052 with flag 57868681/7011000
1487.91/1489.24	c cleaning 117961 clauses out of 236050 with flag 58783926/7130000
1518.83/1520.28	c cleaning 119029 clauses out of 238089 with flag 59683905/7250000
1551.35/1552.82	c cleaning 120002 clauses out of 240060 with flag 60599737/7371000
1585.16/1586.79	c cleaning 120979 clauses out of 242058 with flag 61501966/7493000
1618.26/1619.92	c cleaning 121975 clauses out of 244079 with flag 62526488/7616000
1655.18/1656.86	c cleaning 123018 clauses out of 246104 with flag 63448929/7740000
1689.69/1691.49	c cleaning 123981 clauses out of 248086 with flag 64342590/7865000
1726.89/1728.70	c cleaning 125043 clauses out of 250107 with flag 65309780/7991002
1760.94/1762.76	c cleaning 125996 clauses out of 252062 with flag 66387686/8118000
1795.93/1797.73	c cleaning 126973 clauses out of 254068 with flag 67398998/8246002
1833.14/1835.04	c cleaning 127990 clauses out of 256095 with flag 68382436/8375002
1870.58/1872.52	c cleaning 128967 clauses out of 258104 with flag 69333191/8505001
1903.69/1905.71	c cleaning 130034 clauses out of 260136 with flag 70391976/8636000
1938.70/1940.86	c cleaning 131007 clauses out of 262102 with flag 71393528/8768000
1979.60/1981.89	c cleaning 132036 clauses out of 264095 with flag 72472178/8901000
2020.39/2022.73	c cleaning 133010 clauses out of 266059 with flag 73470830/9035000
2057.40/2059.87	c cleaning 134012 clauses out of 268051 with flag 74570029/9170002
2097.14/2099.67	c cleaning 134990 clauses out of 270037 with flag 75701064/9306000
2140.92/2143.54	c cleaning 135952 clauses out of 272048 with flag 76621073/9443001
2182.91/2185.63	c cleaning 137024 clauses out of 274096 with flag 77632921/9581001
2228.03/2230.74	c cleaning 138008 clauses out of 276071 with flag 78735808/9720000
2267.03/2269.84	c cleaning 139008 clauses out of 278063 with flag 79922197/9860000
2306.53/2309.42	c cleaning 140007 clauses out of 280058 with flag 81105529/10001003
2349.28/2352.47	c cleaning 140999 clauses out of 282048 with flag 82151992/10143000
2394.27/2397.82	c cleaning 141946 clauses out of 284049 with flag 83191299/10286000
2437.77/2441.72	c cleaning 142990 clauses out of 286106 with flag 84195698/10430003
2479.17/2483.35	c cleaning 144014 clauses out of 288113 with flag 85325430/10575000
2527.92/2532.59	c cleaning 145011 clauses out of 290099 with flag 86314777/10721000
2576.68/2581.74	c cleaning 145958 clauses out of 292089 with flag 87380405/10868001
2622.87/2628.01	c cleaning 147026 clauses out of 294130 with flag 88438948/11016000
2671.04/2676.39	c cleaning 148007 clauses out of 296106 with flag 89495556/11165002
2718.90/2724.30	c cleaning 149039 clauses out of 298097 with flag 90607627/11315000
2767.07/2772.68	c cleaning 150014 clauses out of 300059 with flag 91750999/11466001
2818.37/2824.00	c cleaning 150990 clauses out of 302044 with flag 92821184/11618000
2869.30/2875.43	c cleaning 152020 clauses out of 304054 with flag 93916830/11771000
2928.52/2934.88	c cleaning 153010 clauses out of 306034 with flag 94987484/11925000
2979.88/2986.32	c cleaning 153967 clauses out of 308026 with flag 95995196/12080002
3029.25/3035.81	c cleaning 154993 clauses out of 310057 with flag 97140881/12236000
3081.19/3087.72	c cleaning 155958 clauses out of 312064 with flag 98276530/12393000
3134.74/3141.41	c cleaning 156846 clauses out of 314106 with flag 99357646/12551000
3187.38/3194.05	c cleaning 158079 clauses out of 316261 with flag 100619083/12710001
3236.75/3243.50	c cleaning 159013 clauses out of 318185 with flag 101765620/12870004
3295.19/3302.19	c cleaning 160071 clauses out of 320170 with flag 102881244/13031002
3351.70/3358.73	c cleaning 160917 clauses out of 322098 with flag 104070634/13193001
3409.85/3417.08	c cleaning 162063 clauses out of 324184 with flag 105198893/13356004
3458.62/3465.97	c cleaning 162970 clauses out of 326117 with flag 106359916/13520000
3506.67/3514.17	c cleaning 164003 clauses out of 328147 with flag 107624917/13685000
3555.53/3563.28	c cleaning 165031 clauses out of 330144 with flag 108765599/13851000
3600.00/3607.82	c timeout
3600.00/3607.82	c starts		: 45888
3600.00/3607.82	c conflicts		: 14007746
3600.00/3607.82	c decisions		: 61744079
3600.00/3607.82	c propagations		: 2135306958
3600.00/3607.82	c inspects		: 44329517128
3600.00/3607.82	c shortcuts		: 0
3600.00/3607.82	c learnt literals	: 7
3600.00/3607.82	c learnt binary clauses	: 1311
3600.00/3607.82	c learnt ternary clauses	: 3898
3600.00/3607.82	c learnt constraints	: 14007739
3600.00/3607.82	c ignored constraints	: 0
3600.00/3607.82	c root simplifications	: 0
3600.00/3607.82	c removed literals (reason simplification)	: 0
3600.00/3607.82	c reason swapping (by a shorter reason)	: 0
3600.00/3607.82	c Calls to reduceDB	: 162
3600.00/3607.82	c Number of update (reduction) of LBD	: 7939975
3600.00/3607.82	c Imported unit clauses	: 0
3600.00/3607.82	c No decision after first conflict	: false
3600.00/3607.82	c number of reductions to clauses (during analyze)	: 0
3600.00/3607.82	c number of learned constraints concerned by reduction	: 0
3600.00/3607.82	c number of learning phase by resolution	: 0
3600.00/3607.82	c number of learning phase by cutting planes	: 0
3600.00/3607.82	c number of rounding to 1 operations	: 0
3600.00/3607.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3607.82	c number of reductions of the coefficients by power 2 	: 0
3600.00/3607.83	c number of right shift for reduction by power 2 	: 0
3600.00/3607.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3607.83	c number of ending skipping 	: 0
3600.00/3607.83	c number of internal skipping 	: 0
3600.00/3607.83	c number of derivation steps 	: 0
3600.00/3607.83	c number of skipped derivation steps 	: 0
3600.00/3607.83	c number of remaining unassigned 	: 0
3600.00/3607.83	c number of remaining assigned 	: 0
3600.00/3607.83	c number of falsified literals weakened from reason	: 0
3600.00/3607.83	c number of falsified literals weakened from conflict	: 0
3600.00/3607.83	c time for arithmetic operations	: 0
3600.00/3607.83	c minimum degree of deleted constraints	: null
3600.00/3607.83	c maximum degree of deleted constraints	: null
3600.00/3607.83	c number of deleted constraints	: 0
3600.00/3607.83	c speed (assignments/second)	: 592074.594001968
3600.00/3607.83	c non guided choices	: 1443703
3600.00/3607.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 320548
3600.00/3607.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1311
3600.00/3607.88	s UNKNOWN
3600.00/3607.88	c Total wall clock time (in seconds): 3607.77

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: 63931 MiB (60581 MiB free)
  memory of node 1: 64510 MiB (52124 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446314-1721325164/watcher-4446314-1721325164 -o /tmp/evaluation-result-4446314-1721325164/solver-4446314-1721325164 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980848 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446314-1721325164.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
solver pid=988761, runsolver pid=988758
Current StackSize limit: 8192 KiB


[startup+0.10167 s]*
/proc/loadavg: 4.29 4.25 4.20 5/332 988779
/proc/meminfo: memFree=115368956/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=18975048 memory=62720 CPUtime=0.14 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 7257 0 0 0 13 1 0 0 20 0 18 0 184684688 19430449152 15680 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4743762 15680 5563 1 0 549358 0
[pid=988761/tid=988763] ppid=988758 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 5781 0 0 0 8 0 0 0 20 0 18 0 184684689 19430449152 15680 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184684691 19430449152 15680 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184684692 19430449152 15680 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62720 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.29 4.25 4.20 7/332 988779
/proc/meminfo: memFree=115346352/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=18976112 memory=88316 CPUtime=0.33 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 8452 0 0 0 32 1 0 0 20 0 18 0 184684688 19431538688 22079 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4744028 22079 5857 1 0 550392 0
[pid=988761/tid=988763] ppid=988758 vsize=18976112 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 5941 0 0 0 18 1 0 0 20 0 18 0 184684689 19431538688 22079 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=18976112 memory=15945 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184684691 19431538688 22079 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=18976112 memory=14418111545738801 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184684692 19431538688 22079 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 88316 KiB

[startup+0.306505 s]*
/proc/loadavg: 4.29 4.25 4.20 6/332 988779
/proc/meminfo: memFree=115303292/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=18975048 memory=133160 CPUtime=0.53 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 9185 0 0 0 51 2 0 0 20 0 18 0 184684688 19430449152 33290 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4743762 33290 5857 1 0 550595 0
[pid=988761/tid=988763] ppid=988758 vsize=18975048 memory=-8599732771328664252 CPUtime=0.28 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 5962 0 0 0 27 1 0 0 20 0 18 0 184684689 19430449152 33290 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184684691 19430449152 33290 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184684692 19430449152 33290 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 133160 KiB

[startup+0.709356 s]
/proc/loadavg: 4.29 4.25 4.20 7/333 988780
/proc/meminfo: memFree=115260768/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19041612 memory=191040 CPUtime=1.29 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 15996 0 0 0 125 4 0 0 20 0 19 0 184684688 19498610688 47760 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4760403 47760 5889 1 0 555856 0
[pid=988761/tid=988763] ppid=988758 vsize=19041612 memory=5428 CPUtime=0.64 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) S 988758 988761 980838 0 -1 1077936192 5977 0 0 0 62 2 0 0 20 0 19 0 184684689 19498610688 47760 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19041612 memory=13120 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184684691 19498610688 47760 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184684692 19498610688 47760 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 191040 KiB

[startup+1.50652 s]
/proc/loadavg: 4.29 4.25 4.20 6/333 988780
/proc/meminfo: memFree=115226240/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=388676 CPUtime=2.83 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 20176 0 0 0 274 9 0 0 20 0 20 0 184684688 19566772224 97169 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 97169 5905 1 0 947540 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=13120 CPUtime=1.32 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 6090 0 0 0 126 6 0 0 20 0 20 0 184684689 19566772224 97169 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 97169 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 97169 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 388676 KiB

[startup+3.1065 s]
/proc/loadavg: 4.34 4.27 4.21 5/334 988783
/proc/meminfo: memFree=115035680/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=389856 CPUtime=5.63 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 20492 0 0 0 553 10 0 0 20 0 20 0 184684688 19566772224 97464 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 97464 5921 1 0 947633 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=198340509722 CPUtime=2.89 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 6140 0 0 0 283 6 0 0 20 0 20 0 184684689 19566772224 97464 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 97464 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 97464 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=388676 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 97464 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 389856 KiB

[startup+6.3005 s]
/proc/loadavg: 4.34 4.27 4.21 5/334 988783
/proc/meminfo: memFree=114986596/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=384624 CPUtime=9.3 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 28946 0 0 0 919 11 0 0 20 0 20 0 184684688 19566772224 96156 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 96156 5921 1 0 947851 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=0 CPUtime=6.05 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 6812 0 0 0 599 6 0 0 20 0 20 0 184684689 19566772224 96156 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 96156 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=389312 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 96156 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=384624 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 96156 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 384624 KiB

[startup+12.7005 s]
/proc/loadavg: 4.32 4.26 4.21 5/334 988783
/proc/meminfo: memFree=114986504/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=384704 CPUtime=15.66 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 30286 0 0 0 1555 11 0 0 20 0 20 0 184684688 19566772224 96176 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 96176 5937 1 0 947851 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=384704 CPUtime=12.39 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 7505 0 0 0 1233 6 0 0 20 0 20 0 184684689 19566772224 96176 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 96176 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=7669460193161864019 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 96176 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 96176 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 384704 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 4.27 4.21 5/334 988786
/proc/meminfo: memFree=114911992/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=384800 CPUtime=28.41 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 34442 0 0 0 2829 12 0 0 20 0 20 0 184684688 19566772224 96200 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 96200 5937 1 0 947851 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=7669460193161864019 CPUtime=25.07 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 8961 0 0 0 2501 6 0 0 20 0 20 0 184684689 19566772224 96200 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 96200 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=21604 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 96200 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=-8599732771328664252 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 96200 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 384800 KiB

[startup+51.1065 s]
/proc/loadavg: 4.21 4.24 4.20 5/334 988790
/proc/meminfo: memFree=114874428/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=422120 CPUtime=53.8 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 37377 0 0 0 5366 14 0 0 20 0 20 0 184684688 19566772224 105530 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 105530 5953 1 0 947853 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=422120 CPUtime=50.36 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 10125 0 0 0 5030 6 0 0 20 0 20 0 184684689 19566772224 105530 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 105530 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 105530 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 105530 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0

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

/proc/meminfo: memFree=104873892/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884108 CPUtime=3215.6 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 210990 0 0 0 321381 179 0 0 20 0 20 0 184684688 19566772224 971027 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971027 5953 1 0 986782 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=3881984 CPUtime=3202.14 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 107317 0 0 0 320174 40 0 0 20 0 20 0 184684689 19566772224 971027 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3881984 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971027 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=3884108 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4160 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971027 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971027 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3215.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/332 990772
/proc/meminfo: memFree=104236816/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884112 CPUtime=3275.44 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 213778 0 0 0 327362 182 0 0 20 0 20 0 184684688 19566772224 971028 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971028 5953 1 0 986783 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=3884108 CPUtime=3261.96 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 109699 0 0 0 326154 42 0 0 20 0 20 0 184684689 19566772224 971028 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3884108 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971028 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4288 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971028 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971028 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3275.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/332 990782
/proc/meminfo: memFree=103901872/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3335.35 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 217624 0 0 0 333350 185 0 0 20 0 20 0 184684688 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971036 5953 1 0 986786 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3321.69 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 111497 0 0 0 332127 42 0 0 20 0 20 0 184684689 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4420 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3335.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/332 990793
/proc/meminfo: memFree=103718632/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3395.19 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 219385 0 0 0 339331 188 0 0 20 0 20 0 184684688 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971036 5953 1 0 986786 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=100 CPUtime=3381.5 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 112992 0 0 0 338107 43 0 0 20 0 20 0 184684689 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3884108 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4547 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3395.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884144 KiB

[startup+3462.3 s]
/proc/loadavg: 3.71 4.05 4.13 4/309 990843
/proc/meminfo: memFree=108710864/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3455.03 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 222148 0 0 0 345314 189 0 0 20 0 20 0 184684688 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971036 5953 1 0 986786 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=100 CPUtime=3441.31 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 115335 0 0 0 344088 43 0 0 20 0 20 0 184684689 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3884108 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4635 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=-8599732771328664252 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3455.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884144 KiB

[startup+3522.3 s]
/proc/loadavg: 3.38 3.89 4.07 4/284 990886
/proc/meminfo: memFree=119474080/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3514.79 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 226211 0 0 0 351288 191 0 0 20 0 20 0 184684688 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971036 5953 1 0 986786 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=3884144 CPUtime=3500.82 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 117098 0 0 0 350038 44 0 0 20 0 20 0 184684689 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=3884144 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=5428 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4769 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971036 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3514.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884144 KiB

[startup+3582.3 s]
/proc/loadavg: 2.68 3.59 3.96 3/282 990899
/proc/meminfo: memFree=119790424/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884156 CPUtime=3574.58 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 227661 0 0 0 357265 193 0 0 20 0 20 0 184684688 19566772224 971039 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971039 5953 1 0 986789 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=11392 CPUtime=3560.58 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 118394 0 0 0 356013 45 0 0 20 0 20 0 184684689 19566772224 971039 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=16216 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971039 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4769 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971039 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=3884156 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971039 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3574.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.8 s]
/proc/loadavg: 2.45 3.46 3.90 3/282 990904
/proc/meminfo: memFree=119790176/131524600 swapFree=131071996/131071996
[pid=988761] ppid=988758 vsize=19108176 memory=3884164 CPUtime=3600 cores=0,2
/proc/988761/stat : 988761 (java) S 988758 988761 980838 0 -1 1077936128 228113 0 0 0 359806 194 0 0 20 0 20 0 184684688 19566772224 971041 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
/proc/988761/statm: 4777044 971041 5953 1 0 986791 0
[pid=988761/tid=988763] ppid=988758 vsize=19108176 memory=1904 CPUtime=3585.99 cores=0,2
/proc/988761/task/988763/stat : 988763 (java) R 988758 988761 980838 0 -1 4194368 118838 0 0 0 358554 45 0 0 20 0 20 0 184684689 19566772224 971041 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988772] ppid=988758 vsize=19108176 memory=5568 CPUtime=0 cores=0,2
/proc/988761/task/988772/stat : 988772 (Finalizer) S 988758 988761 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184684691 19566772224 971041 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988779] ppid=988758 vsize=19108176 memory=39168 CPUtime=0 cores=0,2
/proc/988761/task/988779/stat : 988779 (Common-Cleaner) S 988758 988761 980838 0 -1 1077936192 4769 0 0 0 0 0 0 0 20 0 20 0 184684692 19566772224 971041 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
[pid=988761/tid=988781] ppid=988758 vsize=19108176 memory=2208 CPUtime=0 cores=0,2
/proc/988761/task/988781/stat : 988781 (Timer-0) S 988758 988761 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184684823 19566772224 971041 134679101440 94275013976064 94275013979760 140725186469584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94275013987576 94275013988368 94275018924032 140725186475014 140725186475104 140725186475104 140725186482120 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3884164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.18 s, system=1.96071 s

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

Child status: 143

Real time (s): 3607.9
CPU time (s): 3600.14
CPU user time (s): 3598.18
CPU system time (s): 1.96071
CPU usage (%): 99.7849
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3884164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 1.96071
maximum resident set size= 3885636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110059
involuntary context switches= 30259


# summary of solver processes directly reported to runsolver:
#   pid: 988761
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.18
#   total CPU system time (s): 1.96071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21213 second user time and 18.921 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 19:52:57
IDJOB=4446314
IDBENCH=155555
IDSOLVER=3058
FILE ID=nodeC031/4446314-1721325164
RUNJOBID= nodeC031-1721317800-980848
SLURM_JOB_ID= 7542669
Free space on /tmp= 889720 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-77.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446314-1721325164/watcher-4446314-1721325164 -o /tmp/evaluation-result-4446314-1721325164/solver-4446314-1721325164 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980848 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446314-1721325164.opb

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

MD5SUM BENCH= 71fdab66bbdfc1c9c6ce1eef27fb98d4
RANDOM SEED=2096354489

nodeC031.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		: 3621.707
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.55
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		: 3684.654
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	: 7006.11
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		: 3671.640
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.55
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.911
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	: 7006.11
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		: 3666.966
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.55
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		: 3684.734
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	: 7006.11
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		: 3603.379
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.027
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115411112 kB
MemAvailable:   116860816 kB
Buffers:          476864 kB
Cached:          1801788 kB
SwapCached:            0 kB
Active:          1304880 kB
Inactive:       14157724 kB
Active(anon):       1544 kB
Inactive(anon): 13220120 kB
Active(file):    1303336 kB
Inactive(file):   937604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10096 kB
Writeback:             8 kB
AnonPages:      13181900 kB
Mapped:           126504 kB
Shmem:             37720 kB
KReclaimable:      96824 kB
Slab:             208428 kB
SReclaimable:      96824 kB
SUnreclaim:       111604 kB
KernelStack:        5104 kB
PageTables:        36076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   27671524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69600 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12855296 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC031 at 2024-07-18 20:53:05