Trace number 4446062

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 3628.1

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-60.opb
MD5SUM0cc29dda69c4373ab2687cf37dcdce8e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark70.6443
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 271
Number of bits of the biggest sum of numbers9
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.08	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4446062-1721820833.opb
0.13/0.13	c reading problem ... 
0.18/0.69	c using VERIPB proof format
0.18/0.70	c  no objective function found
2.75/2.07	c ... done. Wall clock time 1.941s.
2.75/2.08	c declared #vars     12587
2.75/2.08	c #constraints  284398
2.75/2.08	c constraints type 
2.75/2.08	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59821
2.75/2.08	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 906
2.75/2.08	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.75/2.08	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 195762
2.75/2.08	c 284398 constraints processed.
6.70/4.48	c cleaning 2500 clauses out of 5000 with flag 109976/5000
9.46/6.44	c cleaning 4058 clauses out of 8500 with flag 256043/11000
11.72/8.58	c cleaning 5693 clauses out of 11442 with flag 444078/18000
14.44/11.22	c cleaning 6840 clauses out of 13749 with flag 628501/26000
18.04/14.65	c cleaning 7882 clauses out of 15906 with flag 830586/35000
21.32/17.85	c cleaning 8930 clauses out of 18024 with flag 1014850/45000
24.54/21.02	c cleaning 10046 clauses out of 20092 with flag 1201057/56000
27.96/24.45	c cleaning 10966 clauses out of 22046 with flag 1379118/68000
30.75/27.22	c cleaning 11943 clauses out of 24080 with flag 1538118/81000
33.36/29.83	c cleaning 13062 clauses out of 26139 with flag 1687970/95002
35.46/31.95	c cleaning 13989 clauses out of 28075 with flag 1816405/110000
38.39/34.96	c cleaning 15008 clauses out of 30087 with flag 1967230/126001
41.27/37.72	c cleaning 15912 clauses out of 32078 with flag 2127375/143000
44.74/41.12	c cleaning 17048 clauses out of 34166 with flag 2301861/161000
47.53/44.00	c cleaning 18038 clauses out of 36117 with flag 2441705/180000
50.73/47.17	c cleaning 19026 clauses out of 38080 with flag 2599669/200001
54.03/50.48	c cleaning 19968 clauses out of 40053 with flag 2773353/221000
57.32/53.74	c cleaning 20999 clauses out of 42085 with flag 2936106/243000
61.31/57.76	c cleaning 22019 clauses out of 44086 with flag 3112733/266000
65.74/62.13	c cleaning 22985 clauses out of 46068 with flag 3343387/290001
69.93/66.45	c cleaning 23922 clauses out of 48084 with flag 3560634/315002
76.12/72.68	c cleaning 25030 clauses out of 50160 with flag 3831325/341000
81.22/77.76	c cleaning 26026 clauses out of 52131 with flag 4076799/368001
86.81/83.31	c cleaning 27032 clauses out of 54104 with flag 4344285/396000
92.09/88.64	c cleaning 28015 clauses out of 56074 with flag 4576916/425002
97.08/93.67	c cleaning 29010 clauses out of 58057 with flag 4815564/455000
102.90/99.54	c cleaning 29988 clauses out of 60047 with flag 5100010/486000
108.89/105.50	c cleaning 30879 clauses out of 62060 with flag 5428209/518001
115.17/111.88	c cleaning 32010 clauses out of 64180 with flag 5804608/551000
121.77/118.41	c cleaning 33064 clauses out of 66170 with flag 6216756/585000
129.34/126.17	c cleaning 33995 clauses out of 68108 with flag 6538108/620002
135.43/132.27	c cleaning 34988 clauses out of 70111 with flag 6789641/656000
141.81/138.64	c cleaning 36036 clauses out of 72123 with flag 7079162/693000
148.41/145.24	c cleaning 36933 clauses out of 74087 with flag 7346950/731000
155.82/152.63	c cleaning 37992 clauses out of 76154 with flag 7655437/770000
164.93/161.91	c cleaning 38965 clauses out of 78162 with flag 8111959/810000
172.52/169.52	c cleaning 40053 clauses out of 80197 with flag 8443702/851000
181.29/178.32	c cleaning 40966 clauses out of 82144 with flag 8870016/893000
189.36/186.94	c cleaning 41995 clauses out of 84178 with flag 9290533/936000
198.46/196.10	c cleaning 42969 clauses out of 86183 with flag 9682634/980000
207.06/204.63	c cleaning 44080 clauses out of 88214 with flag 10054343/1025000
214.65/212.25	c cleaning 45047 clauses out of 90136 with flag 10419460/1071002
223.31/221.22	c cleaning 45945 clauses out of 92087 with flag 10844301/1118000
232.79/230.73	c cleaning 47035 clauses out of 94143 with flag 11224634/1166001
242.58/240.52	c cleaning 47849 clauses out of 96107 with flag 11609396/1215000
251.41/249.48	c cleaning 49105 clauses out of 98262 with flag 11990034/1265004
260.19/258.20	c cleaning 50056 clauses out of 100153 with flag 12388010/1316000
272.77/270.83	c cleaning 51022 clauses out of 102097 with flag 12892134/1368000
283.07/281.27	c cleaning 51982 clauses out of 104075 with flag 13344705/1421000
293.76/291.99	c cleaning 53009 clauses out of 106093 with flag 13729212/1475000
303.54/301.72	c cleaning 53983 clauses out of 108084 with flag 14175552/1530000
314.94/313.28	c cleaning 54997 clauses out of 110101 with flag 14581639/1586000
325.32/323.60	c cleaning 55951 clauses out of 112104 with flag 14982953/1643000
337.79/336.11	c cleaning 56966 clauses out of 114153 with flag 15506516/1701000
349.79/348.63	c cleaning 58063 clauses out of 116188 with flag 16057146/1760001
362.47/361.42	c cleaning 58946 clauses out of 118125 with flag 16578240/1820001
374.76/373.95	c cleaning 60049 clauses out of 120179 with flag 17089742/1881001
386.88/386.06	c cleaning 60944 clauses out of 122130 with flag 17574175/1943001
400.25/399.41	c cleaning 61931 clauses out of 124185 with flag 18141785/2006000
413.04/412.38	c cleaning 63097 clauses out of 126254 with flag 18655396/2070000
427.13/426.48	c cleaning 64059 clauses out of 128157 with flag 19251029/2135000
440.03/439.48	c cleaning 65018 clauses out of 130100 with flag 19881948/2201002
453.99/453.40	c cleaning 66015 clauses out of 132081 with flag 20399548/2268001
467.24/466.72	c cleaning 66942 clauses out of 134066 with flag 20977930/2336001
484.21/483.74	c cleaning 68016 clauses out of 136123 with flag 21601293/2405000
499.08/498.71	c cleaning 69040 clauses out of 138108 with flag 22165182/2475001
513.70/513.31	c cleaning 70017 clauses out of 140068 with flag 22754357/2546001
531.00/530.71	c cleaning 70953 clauses out of 142050 with flag 23274135/2618000
545.48/545.26	c cleaning 72024 clauses out of 144097 with flag 23855420/2691000
560.32/560.12	c cleaning 72948 clauses out of 146073 with flag 24480746/2765000
576.98/576.80	c cleaning 74063 clauses out of 148126 with flag 25064661/2840001
593.46/593.44	c cleaning 74979 clauses out of 150063 with flag 25685896/2916001
610.86/610.84	c cleaning 76033 clauses out of 152083 with flag 26378260/2993000
627.39/632.56	c cleaning 76995 clauses out of 154050 with flag 26968485/3071000
644.56/649.78	c cleaning 77967 clauses out of 156057 with flag 27612261/3150002
664.47/669.71	c cleaning 78997 clauses out of 158088 with flag 28256575/3230000
683.44/688.85	c cleaning 79917 clauses out of 160091 with flag 28967640/3311000
702.81/708.25	c cleaning 81035 clauses out of 162176 with flag 29571325/3393002
721.66/727.21	c cleaning 82016 clauses out of 164140 with flag 30258254/3476001
742.64/748.30	c cleaning 83018 clauses out of 166123 with flag 30863466/3560000
761.94/767.68	c cleaning 83968 clauses out of 168106 with flag 31482112/3645001
783.04/788.81	c cleaning 85044 clauses out of 170137 with flag 32228269/3731000
806.16/812.03	c cleaning 85988 clauses out of 172095 with flag 32976576/3818002
827.71/833.62	c cleaning 87023 clauses out of 174105 with flag 33628403/3906000
851.03/857.08	c cleaning 88009 clauses out of 176082 with flag 34282112/3995000
873.58/880.49	c cleaning 89009 clauses out of 178073 with flag 35066471/4085000
896.12/903.41	c cleaning 89963 clauses out of 180064 with flag 35798278/4176000
920.42/927.70	c cleaning 90899 clauses out of 182101 with flag 36512877/4268000
943.38/950.91	c cleaning 92078 clauses out of 184205 with flag 37263167/4361003
969.59/977.21	c cleaning 93032 clauses out of 186125 with flag 38093487/4455001
994.01/1001.70	c cleaning 93956 clauses out of 188092 with flag 38809537/4550000
1018.50/1026.24	c cleaning 94988 clauses out of 190136 with flag 39564435/4646000
1041.43/1049.10	c cleaning 96016 clauses out of 192148 with flag 40360170/4743000
1066.50/1074.22	c cleaning 97001 clauses out of 194132 with flag 41090595/4841000
1091.11/1098.85	c cleaning 98027 clauses out of 196131 with flag 41934320/4940000
1116.33/1124.18	c cleaning 99005 clauses out of 198104 with flag 42652292/5040000
1143.16/1150.91	c cleaning 100029 clauses out of 200099 with flag 43515062/5141000
1169.76/1177.64	c cleaning 100955 clauses out of 202070 with flag 44247163/5243000
1197.98/1205.82	c cleaning 102022 clauses out of 204116 with flag 44950790/5346001
1225.73/1233.64	c cleaning 103032 clauses out of 206093 with flag 45765395/5450000
1255.31/1263.29	c cleaning 103994 clauses out of 208062 with flag 46595733/5555001
1286.00/1294.05	c cleaning 105014 clauses out of 210067 with flag 47332175/5661000
1312.30/1320.37	c cleaning 105966 clauses out of 212054 with flag 48204088/5768001
1339.91/1347.98	c cleaning 107002 clauses out of 214087 with flag 49133310/5876000
1371.28/1379.65	c cleaning 107973 clauses out of 216085 with flag 50110123/5985000
1401.11/1409.53	c cleaning 109043 clauses out of 218112 with flag 50955123/6095000
1434.10/1442.68	c cleaning 109837 clauses out of 220069 with flag 51952551/6206000
1467.74/1476.34	c cleaning 110947 clauses out of 222234 with flag 52888429/6318002
1503.03/1511.65	c cleaning 111986 clauses out of 224285 with flag 53733477/6431000
1535.58/1544.31	c cleaning 113120 clauses out of 226299 with flag 54666651/6545000
1569.92/1578.68	c cleaning 113503 clauses out of 228179 with flag 55736348/6660000
1603.12/1611.81	c cleaning 114985 clauses out of 230676 with flag 56677953/6776000
1635.86/1644.96	c cleaning 115595 clauses out of 232691 with flag 57683427/6893000
1670.93/1680.09	c cleaning 117169 clauses out of 235096 with flag 58592245/7011000
1705.74/1714.88	c cleaning 117683 clauses out of 236928 with flag 59720794/7130001
1742.05/1751.13	c cleaning 118680 clauses out of 239244 with flag 60762999/7250000
1780.12/1789.61	c cleaning 120031 clauses out of 241564 with flag 61613305/7371000
1818.00/1827.58	c cleaning 121025 clauses out of 243536 with flag 62490470/7493003
1854.00/1863.65	c cleaning 122120 clauses out of 245508 with flag 63344050/7616000
1888.78/1898.41	c cleaning 123151 clauses out of 247388 with flag 64226823/7740000
1928.68/1938.35	c cleaning 123523 clauses out of 249237 with flag 65307478/7865000
1967.77/1977.45	c cleaning 124998 clauses out of 251714 with flag 66335914/7991000
2006.98/2016.84	c cleaning 125986 clauses out of 253716 with flag 67296662/8118000
2043.48/2053.30	c cleaning 127192 clauses out of 255732 with flag 68260088/8246002
2082.61/2092.60	c cleaning 128130 clauses out of 257538 with flag 69165739/8375000
2122.88/2133.04	c cleaning 129220 clauses out of 259408 with flag 70096895/8505000
2163.53/2173.76	c cleaning 129996 clauses out of 261188 with flag 71170200/8636000
2207.50/2217.77	c cleaning 131137 clauses out of 263193 with flag 72132876/8768001
2252.02/2265.06	c cleaning 132131 clauses out of 265055 with flag 73268624/8901000
2294.26/2307.44	c cleaning 133035 clauses out of 266925 with flag 74351927/9035001
2340.57/2353.88	c cleaning 133871 clauses out of 268889 with flag 75417370/9170000
2383.52/2396.98	c cleaning 135047 clauses out of 271018 with flag 76565389/9306000
2425.97/2439.45	c cleaning 136038 clauses out of 272971 with flag 77651298/9443000
2468.79/2482.38	c cleaning 136869 clauses out of 274934 with flag 78893059/9581001
2511.42/2525.20	c cleaning 137891 clauses out of 277065 with flag 79899948/9720001
2555.43/2569.32	c cleaning 139178 clauses out of 279173 with flag 80955906/9860000
2602.17/2616.45	c cleaning 140006 clauses out of 280995 with flag 81998854/10001000
2647.87/2662.36	c cleaning 140747 clauses out of 282989 with flag 83083494/10143000
2694.51/2709.28	c cleaning 142074 clauses out of 285242 with flag 84168507/10286000
2743.56/2758.33	c cleaning 142935 clauses out of 287168 with flag 85178360/10430000
2790.48/2805.73	c cleaning 143918 clauses out of 289233 with flag 86250606/10575000
2841.41/2857.02	c cleaning 144751 clauses out of 291315 with flag 87309699/10721000
2888.85/2904.68	c cleaning 146035 clauses out of 293565 with flag 88485896/10868001
2937.80/2953.61	c cleaning 146703 clauses out of 295529 with flag 89651209/11016000
2988.84/3004.73	c cleaning 147880 clauses out of 297827 with flag 90909495/11165001
3038.10/3054.09	c cleaning 148918 clauses out of 299946 with flag 92116645/11315000
3091.46/3107.52	c cleaning 150110 clauses out of 302028 with flag 93152001/11466000
3148.71/3173.44	c cleaning 150688 clauses out of 303918 with flag 94331016/11618000
3203.72/3228.93	c cleaning 151952 clauses out of 306230 with flag 95513200/11771000
3267.18/3292.67	c cleaning 152700 clauses out of 308280 with flag 96742361/11925002
3316.23/3342.03	c cleaning 154072 clauses out of 310578 with flag 97904259/12080000
3372.55/3398.56	c cleaning 154959 clauses out of 312506 with flag 99096134/12236000
3431.47/3457.90	c cleaning 155888 clauses out of 314547 with flag 100247325/12393000
3487.80/3515.16	c cleaning 157182 clauses out of 316659 with flag 101361220/12551000
3539.50/3567.18	c cleaning 158211 clauses out of 318477 with flag 102589555/12710000
3593.30/3621.27	c cleaning 159005 clauses out of 320266 with flag 103766213/12870000
3600.09/3628.02	c starts		: 46881
3600.09/3628.02	c timeout
3600.09/3628.02	c conflicts		: 12893252
3600.09/3628.02	c decisions		: 86776396
3600.09/3628.02	c propagations		: 2355000633
3600.09/3628.02	c inspects		: 37454096011
3600.09/3628.02	c shortcuts		: 0
3600.09/3628.02	c learnt literals	: 6
3600.09/3628.02	c learnt binary clauses	: 5704
3600.09/3628.02	c learnt ternary clauses	: 14622
3600.09/3628.02	c learnt constraints	: 12893246
3600.09/3628.02	c ignored constraints	: 0
3600.09/3628.02	c root simplifications	: 0
3600.09/3628.02	c removed literals (reason simplification)	: 147037339
3600.09/3628.02	c reason swapping (by a shorter reason)	: 0
3600.09/3628.02	c Calls to reduceDB	: 156
3600.09/3628.02	c Number of update (reduction) of LBD	: 7597644
3600.09/3628.02	c Imported unit clauses	: 0
3600.09/3628.02	c No decision after first conflict	: false
3600.09/3628.02	c number of reductions to clauses (during analyze)	: 0
3600.09/3628.02	c number of learned constraints concerned by reduction	: 0
3600.09/3628.02	c number of learning phase by resolution	: 0
3600.09/3628.02	c number of learning phase by cutting planes	: 0
3600.09/3628.02	c number of rounding to 1 operations	: 0
3600.09/3628.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3628.02	c number of reductions of the coefficients by power 2 	: 0
3600.09/3628.02	c number of right shift for reduction by power 2 	: 0
3600.09/3628.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3628.03	c number of ending skipping 	: 0
3600.09/3628.03	c number of internal skipping 	: 0
3600.09/3628.03	c number of derivation steps 	: 0
3600.09/3628.03	c number of skipped derivation steps 	: 0
3600.09/3628.03	c number of remaining unassigned 	: 0
3600.09/3628.03	c number of remaining assigned 	: 0
3600.09/3628.03	c number of falsified literals weakened from reason	: 0
3600.09/3628.03	c number of falsified literals weakened from conflict	: 0
3600.09/3628.03	c time for arithmetic operations	: 0
3600.09/3628.03	c minimum degree of deleted constraints	: null
3600.09/3628.03	c maximum degree of deleted constraints	: null
3600.09/3628.03	c number of deleted constraints	: 0
3600.09/3628.03	c speed (assignments/second)	: 649486.7492328199
3600.09/3628.03	c non guided choices	: 2278829
3600.09/3628.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 178809
3600.09/3628.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5704
3600.09/3628.08	s UNKNOWN
3600.09/3628.08	c Total wall clock time (in seconds): 3627.957

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=242954, runsolver pid=242951

[startup+0.10072 s]*
/proc/loadavg: 4.22 4.15 4.08 6/337 242972
/proc/meminfo: memFree=99003292/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=18975048 memory=66444 CPUtime=0.13 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 7080 0 0 0 11 2 0 0 20 0 18 0 18612779 19430449152 16611 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4743762 16611 5613 1 0 549322 0
[pid=242954/tid=242956] ppid=242951 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 5661 0 0 0 7 1 0 0 20 0 18 0 18612779 19430449152 16611 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16611 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=18975048 memory=13846374089876100 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16611 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66444 KiB

[startup+0.206045 s]*
/proc/loadavg: 4.22 4.15 4.08 3/337 242972
/proc/meminfo: memFree=99001148/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=18975048 memory=67116 CPUtime=0.18 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 7285 0 0 0 16 2 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4743762 16779 5629 1 0 549476 0
[pid=242954/tid=242956] ppid=242951 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) D 242951 242954 240492 0 -1 1078198336 5780 0 0 0 9 1 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=18975048 memory=649556 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67116 KiB

[startup+0.305989 s]*
/proc/loadavg: 4.22 4.15 4.08 3/337 242972
/proc/meminfo: memFree=99001680/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=18975048 memory=67116 CPUtime=0.18 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 7285 0 0 0 16 2 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4743762 16779 5629 1 0 549476 0
[pid=242954/tid=242956] ppid=242951 vsize=18975048 memory=-9104133756408275644 CPUtime=0.1 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) D 242951 242954 240492 0 -1 1078198336 5780 0 0 0 9 1 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67116 KiB

[startup+0.700242 s]
/proc/loadavg: 4.22 4.15 4.08 3/337 242972
/proc/meminfo: memFree=99000228/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=18975048 memory=67116 CPUtime=0.18 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 7295 0 0 0 16 2 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4743762 16779 5629 1 0 549476 0
[pid=242954/tid=242956] ppid=242951 vsize=18975048 memory=5536 CPUtime=0.1 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 5790 0 0 0 9 1 0 0 20 0 18 0 18612779 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=18975048 memory=12544 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18612782 19430449152 16779 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67116 KiB

[startup+1.50071 s]
/proc/loadavg: 4.22 4.15 4.08 7/338 242973
/proc/meminfo: memFree=98903200/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19041612 memory=206932 CPUtime=1.74 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 17710 0 0 0 167 7 0 0 20 0 19 0 18612779 19498610688 51733 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4760403 51733 5819 1 0 556399 0
[pid=242954/tid=242956] ppid=242951 vsize=19041612 memory=12544 CPUtime=0.84 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 5912 0 0 0 80 4 0 0 20 0 19 0 18612779 19498610688 51733 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18612782 19498610688 51733 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18612782 19498610688 51733 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 206932 KiB

[startup+3.11071 s]
/proc/loadavg: 4.22 4.15 4.08 7/339 242974
/proc/meminfo: memFree=98620252/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=444280 CPUtime=4.91 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 20265 0 0 0 479 12 0 0 20 0 20 0 18612779 19566772224 111070 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 111070 5883 1 0 1083475 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=0 CPUtime=2.28 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 6083 0 0 0 221 7 0 0 20 0 20 0 18612779 19566772224 111070 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=12544 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 111070 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=308748 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 111070 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 111070 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 444280 KiB

[startup+6.30072 s]
/proc/loadavg: 4.20 4.15 4.08 4/317 242991
/proc/meminfo: memFree=100338964/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=445996 CPUtime=9.33 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 26700 0 0 0 920 13 0 0 20 0 20 0 18612779 19566772224 111499 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 111499 5883 1 0 1083624 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=0 CPUtime=5.44 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 6948 0 0 0 536 8 0 0 20 0 20 0 18612779 19566772224 111499 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=12544 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 111499 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=444540 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 111499 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 111499 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 445996 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.16 4.08 5/338 243043
/proc/meminfo: memFree=98547460/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=464708 CPUtime=16.13 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 29153 0 0 0 1597 16 0 0 20 0 20 0 18612779 19566772224 116177 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 116177 5898 1 0 1083626 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=-9104133756408275644 CPUtime=11.72 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 7667 0 0 0 1163 9 0 0 20 0 20 0 18612779 19566772224 116177 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 116177 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=464428 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 116177 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=12544 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 116177 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 464708 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.17 4.09 5/335 243111
/proc/meminfo: memFree=98615972/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=563440 CPUtime=29.06 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 34376 0 0 0 2884 22 0 0 20 0 20 0 18612779 19566772224 140860 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 140860 5914 1 0 1083626 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=0 CPUtime=24.43 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 9430 0 0 0 2430 13 0 0 20 0 20 0 18612779 19566772224 140860 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=479396 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 140860 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 140860 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 140860 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 29.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 563440 KiB

[startup+51.1062 s]
/proc/loadavg: 4.26 4.18 4.09 5/339 243120
/proc/meminfo: memFree=94231824/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=1409436 CPUtime=54.73 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 43558 0 0 0 5425 48 0 0 20 0 20 0 18612779 19566772224 352359 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 352359 5914 1 0 1083626 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=0 CPUtime=49.88 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 12492 0 0 0 4951 37 0 0 20 0 20 0 18612779 19566772224 352359 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=1218972 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 352359 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=4628417934024402061 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 352359 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=-9104133756408275644 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 352359 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0

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

/proc/meminfo: memFree=80871728/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3588588 CPUtime=3197.13 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 253700 0 0 0 318814 899 0 0 20 0 20 0 18612779 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 897147 5914 1 0 1083685 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=-9104133756408275644 CPUtime=3179.61 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 127442 0 0 0 317207 754 0 0 20 0 20 0 18612779 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2448 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=5536 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=3588588 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 3843 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=71476 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3197.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3588588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/339 244923
/proc/meminfo: memFree=80480416/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3588588 CPUtime=3256.9 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 258020 0 0 0 324779 911 0 0 20 0 20 0 18612779 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 897147 5914 1 0 1083685 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=3588588 CPUtime=3239.14 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 130010 0 0 0 323149 765 0 0 20 0 20 0 18612779 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2468 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=3588588 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=3588588 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 3907 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=3588588 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 897147 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3256.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3588588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/339 244935
/proc/meminfo: memFree=79983068/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3602956 CPUtime=3316.52 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 262328 0 0 0 330726 926 0 0 20 0 20 0 18612779 19566772224 900739 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 900739 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=3602956 CPUtime=3298.47 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 132845 0 0 0 329069 778 0 0 20 0 20 0 18612779 19566772224 900739 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2484 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=3602956 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 900739 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=-7449654888686511223 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 3970 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 900739 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 900739 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3316.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3602956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/342 245004
/proc/meminfo: memFree=79628232/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3662348 CPUtime=3376.19 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 265534 0 0 0 336679 940 0 0 20 0 20 0 18612779 19566772224 915587 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 915587 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=-7449654888686511223 CPUtime=3357.83 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 134410 0 0 0 334995 788 0 0 20 0 20 0 18612779 19566772224 915587 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2507 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=3662348 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 915587 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 4031 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 915587 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=-9104133756408275644 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 915587 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3376.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3662348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/340 245014
/proc/meminfo: memFree=79184356/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3682832 CPUtime=3435.83 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 269910 0 0 0 342629 954 0 0 20 0 20 0 18612779 19566772224 920708 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 920708 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=-7449654888686511223 CPUtime=3417.22 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 136619 0 0 0 340922 800 0 0 20 0 20 0 18612779 19566772224 920708 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2521 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=3682832 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 920708 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 4155 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 920708 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 920708 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3435.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3682832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/340 245026
/proc/meminfo: memFree=78867052/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3695124 CPUtime=3494.92 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 274482 0 0 0 348526 966 0 0 20 0 20 0 18612779 19566772224 923781 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 923781 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=3682832 CPUtime=3476.07 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 138838 0 0 0 346796 811 0 0 20 0 20 0 18612779 19566772224 923781 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2586 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=3588588 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 923781 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 4279 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 923781 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=-9104133756408275644 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 923781 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3494.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/339 245038
/proc/meminfo: memFree=78554848/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3709832 CPUtime=3554.67 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 279166 0 0 0 354485 982 0 0 20 0 20 0 18612779 19566772224 927458 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 927458 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=3682832 CPUtime=3535.54 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 140935 0 0 0 352731 823 0 0 20 0 20 0 18612779 19566772224 927458 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2606 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 927458 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=16192 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 4360 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 927458 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=11540 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 927458 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3554.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3709832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628 s]*
/proc/loadavg: 4.15 4.13 4.13 5/336 245114
/proc/meminfo: memFree=91356784/131524600 swapFree=131071728/131071996
[pid=242954] ppid=242951 vsize=19108176 memory=3730312 CPUtime=3600.09 cores=4,6
/proc/242954/stat : 242954 (java) S 242951 242954 240492 0 -1 1077936128 283582 0 0 0 359017 992 0 0 20 0 20 0 18612779 19566772224 932578 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
/proc/242954/statm: 4777044 932578 5914 1 0 1083689 0
[pid=242954/tid=242956] ppid=242951 vsize=19108176 memory=-9175075333259109052 CPUtime=3580.71 cores=4,6
/proc/242954/task/242956/stat : 242956 (java) R 242951 242954 240492 0 -1 4194368 142924 0 0 0 357239 832 0 0 20 0 20 0 18612779 19566772224 932578 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2634 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242965] ppid=242951 vsize=19108176 memory=650791 CPUtime=0 cores=4,6
/proc/242954/task/242965/stat : 242965 (Finalizer) S 242951 242954 240492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 932578 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242972] ppid=242951 vsize=19108176 memory=3474861592561364543 CPUtime=0 cores=4,6
/proc/242954/task/242972/stat : 242972 (Common-Cleaner) S 242951 242954 240492 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 20 0 18612782 19566772224 932578 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
[pid=242954/tid=242974] ppid=242951 vsize=19108176 memory=4964 CPUtime=0 cores=4,6
/proc/242954/task/242974/stat : 242974 (Timer-0) S 242951 242954 240492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18612987 19566772224 932578 134679101440 94831816286208 94831816289904 140725118427536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94831816297720 94831816298512 94831822225408 140725118432171 140725118432353 140725118432353 140725118439368 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3730312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.29 s, system=9.94393 s

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

Child status: 143

Real time (s): 3628.1
CPU time (s): 3600.23
CPU user time (s): 3590.29
CPU system time (s): 9.94393
CPU usage (%): 99.2318
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3730312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.29
system time used= 9.94393
maximum resident set size= 3731876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9337864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108812
involuntary context switches= 11618


# summary of solver processes directly reported to runsolver:
#   pid: 242954
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3590.29
#   total CPU system time (s): 9.94393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86116 second user time and 18.5166 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-24 13:33:53
IDJOB=4446062
IDBENCH=155441
IDSOLVER=3079
FILE ID=nodeC029/4446062-1721820833
RUNJOBID= nodeC029-1721817188-240503
SLURM_JOB_ID= 7816890
Free space on /tmp= 890048 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-60.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-4446062-1721820833/watcher-4446062-1721820833 -o /tmp/evaluation-result-4446062-1721820833/solver-4446062-1721820833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721817188-240503 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446062-1721820833 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446062-1721820833.opb

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

MD5SUM BENCH= 0cc29dda69c4373ab2687cf37dcdce8e
RANDOM SEED=2121536758

nodeC029.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		: 3640.501
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.50
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		: 2621.922
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        99047564 kB
MemAvailable:   123524692 kB
Buffers:          244176 kB
Cached:         24940600 kB
SwapCached:           44 kB
Active:          2681456 kB
Inactive:       28910580 kB
Active(anon):       1588 kB
Inactive(anon):  6459752 kB
Active(file):    2679868 kB
Inactive(file): 22450828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             24016 kB
Writeback:        103132 kB
AnonPages:       6407328 kB
Mapped:           139328 kB
Shmem:             54012 kB
KReclaimable:     372512 kB
Slab:             506504 kB
SReclaimable:     372512 kB
SUnreclaim:       133992 kB
KernelStack:        5168 kB
PageTables:        22784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7361496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6094848 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:      346836 kB
DirectMap2M:    44515328 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-24 14:34:22