Trace number 4450882

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.28 3629.62

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-2.opb
MD5SUMa8b84d78b1363b4a3850ebb291b1422d
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 benchmark385.769
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2113181440
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.30/0.23	c Number of processors 	2
0.30/0.30	--- Begin Solver configuration ---
0.30/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.30	Learn all clauses as in MiniSAT
0.30/0.30	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.30	Expensive reason simplification
0.30/0.30	Glucose 2.1 dynamic restart strategy
0.30/0.30	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.30/0.30	timeout=2147483s
0.30/0.30	DB Simplification allowed=false
0.30/0.30	Listener: none
0.30/0.30	--- End Solver configuration ---
0.30/0.30	c Pseudo Boolean Optimization by upper bound
0.30/0.30	c --- Begin Solver configuration ---
0.30/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.30	c Learn all clauses as in MiniSAT
0.30/0.30	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.30	c Expensive reason simplification
0.30/0.30	c Glucose 2.1 dynamic restart strategy
0.30/0.30	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.30/0.30	c timeout=2147483s
0.30/0.30	c DB Simplification allowed=false
0.30/0.30	c Listener: none
0.30/0.30	c --- End Solver configuration ---
0.30/0.30	c solving HOME/instance-4450882-1721828451.opb
0.30/0.30	c reading problem ... 
0.45/0.32	c using VERIPB proof format
0.45/0.32	c  no objective function found
0.96/0.67	c ... done. Wall clock time 0.363s.
0.96/0.68	c declared #vars     4288
0.96/0.68	c #constraints  10752
0.96/0.68	c constraints type 
0.96/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.96/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.96/0.68	c org.sat4j.specs.Constr$1 => 872
0.96/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.96/0.68	c org.sat4j.pb.constraints.pb.UnitClausePB => 472
0.96/0.68	c 10752 constraints processed.
3.30/1.80	c cleaning 2493 clauses out of 4998 with flag 15887/5000
4.31/2.39	c cleaning 4240 clauses out of 8506 with flag 37287/11001
5.69/3.08	c cleaning 5627 clauses out of 11265 with flag 67115/18000
7.08/3.78	c cleaning 6760 clauses out of 13638 with flag 100067/26000
8.06/4.53	c cleaning 7925 clauses out of 15878 with flag 138062/35000
8.98/5.44	c cleaning 8951 clauses out of 17953 with flag 181432/45000
10.02/6.44	c cleaning 9995 clauses out of 20002 with flag 232269/56000
11.11/7.51	c cleaning 10999 clauses out of 22007 with flag 290114/68000
12.33/8.77	c cleaning 11983 clauses out of 24010 with flag 351112/81002
13.74/10.14	c cleaning 13001 clauses out of 26025 with flag 420957/95000
15.23/11.62	c cleaning 13998 clauses out of 28028 with flag 496181/110004
16.74/13.15	c cleaning 14976 clauses out of 30027 with flag 581157/126001
18.57/14.75	c cleaning 16013 clauses out of 32050 with flag 671595/143000
20.38/16.47	c cleaning 16980 clauses out of 34039 with flag 771509/161002
22.38/18.41	c cleaning 18012 clauses out of 36057 with flag 877973/180000
24.47/20.47	c cleaning 18992 clauses out of 38046 with flag 990817/200001
26.66/22.66	c cleaning 19976 clauses out of 40055 with flag 1111094/221002
28.95/24.90	c cleaning 21037 clauses out of 42078 with flag 1235786/243001
31.35/27.33	c cleaning 21963 clauses out of 44043 with flag 1369296/266003
34.04/29.95	c cleaning 22992 clauses out of 46077 with flag 1506941/290000
36.88/33.02	c cleaning 23990 clauses out of 48087 with flag 1652421/315002
39.66/35.89	c cleaning 25023 clauses out of 50095 with flag 1804258/341000
42.64/38.89	c cleaning 25996 clauses out of 52072 with flag 1963583/368000
45.95/42.15	c cleaning 27028 clauses out of 54077 with flag 2133200/396001
49.33/45.50	c cleaning 28003 clauses out of 56049 with flag 2305019/425001
52.83/49.03	c cleaning 29003 clauses out of 58045 with flag 2484475/455000
56.50/52.70	c cleaning 29992 clauses out of 60042 with flag 2669076/486000
60.29/56.55	c cleaning 30991 clauses out of 62050 with flag 2860458/518000
64.38/60.64	c cleaning 32015 clauses out of 64060 with flag 3057755/551001
68.54/64.97	c cleaning 32992 clauses out of 66044 with flag 3265668/585000
73.04/69.43	c cleaning 34014 clauses out of 68052 with flag 3476672/620000
77.82/74.23	c cleaning 34987 clauses out of 70038 with flag 3696886/656000
82.61/78.92	c cleaning 35979 clauses out of 72051 with flag 3927762/693000
87.60/83.98	c cleaning 36992 clauses out of 74072 with flag 4159416/731000
92.97/89.33	c cleaning 38027 clauses out of 76080 with flag 4394321/770000
98.37/94.81	c cleaning 38997 clauses out of 78056 with flag 4642837/810003
104.06/100.52	c cleaning 39990 clauses out of 80056 with flag 4890127/851000
109.93/106.46	c cleaning 40982 clauses out of 82067 with flag 5151695/893001
116.02/112.51	c cleaning 42005 clauses out of 84084 with flag 5412852/936000
122.23/118.77	c cleaning 43027 clauses out of 86079 with flag 5683793/980000
128.58/125.24	c cleaning 44008 clauses out of 88052 with flag 5963462/1025000
135.37/132.04	c cleaning 45000 clauses out of 90046 with flag 6248396/1071002
142.15/138.82	c cleaning 46008 clauses out of 92045 with flag 6542890/1118001
149.22/145.96	c cleaning 46973 clauses out of 94037 with flag 6837045/1166001
156.60/153.37	c cleaning 48006 clauses out of 96063 with flag 7138549/1215000
164.38/161.23	c cleaning 48988 clauses out of 98057 with flag 7448428/1265000
172.27/169.17	c cleaning 49980 clauses out of 100069 with flag 7768788/1316000
180.43/177.32	c cleaning 51013 clauses out of 102090 with flag 8094446/1368001
189.63/186.93	c cleaning 52014 clauses out of 104076 with flag 8427920/1421000
198.14/195.55	c cleaning 53002 clauses out of 106062 with flag 8767878/1475000
207.90/205.34	c cleaning 54012 clauses out of 108060 with flag 9110608/1530000
216.99/214.45	c cleaning 54966 clauses out of 110048 with flag 9457489/1586000
226.31/223.91	c cleaning 56007 clauses out of 112082 with flag 9817849/1643000
235.98/233.66	c cleaning 57009 clauses out of 114076 with flag 10186607/1701001
246.25/243.93	c cleaning 58023 clauses out of 116066 with flag 10552175/1760000
256.75/254.79	c cleaning 59015 clauses out of 118043 with flag 10928311/1820000
267.42/265.47	c cleaning 59982 clauses out of 120028 with flag 11313436/1881000
278.84/276.84	c cleaning 61007 clauses out of 122046 with flag 11696824/1943000
290.45/288.60	c cleaning 61990 clauses out of 124040 with flag 12083857/2006001
303.20/301.49	c cleaning 63012 clauses out of 126049 with flag 12482242/2070000
315.72/314.11	c cleaning 64010 clauses out of 128038 with flag 12883765/2135001
329.26/327.79	c cleaning 64976 clauses out of 130029 with flag 13296795/2201002
342.28/340.91	c cleaning 66003 clauses out of 132051 with flag 13718563/2268000
355.82/354.49	c cleaning 67007 clauses out of 134049 with flag 14138759/2336001
369.58/368.27	c cleaning 68013 clauses out of 136041 with flag 14572803/2405000
383.77/382.76	c cleaning 69003 clauses out of 138030 with flag 15009430/2475002
398.21/397.16	c cleaning 69972 clauses out of 140025 with flag 15449846/2546000
413.17/412.36	c cleaning 70960 clauses out of 142053 with flag 15900667/2618000
428.51/427.61	c cleaning 72029 clauses out of 144094 with flag 16354192/2691001
443.70/443.00	c cleaning 73024 clauses out of 146064 with flag 16813700/2765000
459.58/458.81	c cleaning 74015 clauses out of 148040 with flag 17280014/2840000
475.72/475.17	c cleaning 75002 clauses out of 150025 with flag 17748805/2916000
492.12/491.50	c cleaning 75979 clauses out of 152023 with flag 18227345/2993000
508.91/508.49	c cleaning 76979 clauses out of 154044 with flag 18712784/3071000
526.03/525.69	c cleaning 78007 clauses out of 156065 with flag 19204151/3150000
543.47/543.11	c cleaning 79003 clauses out of 158059 with flag 19701410/3230001
561.77/561.46	c cleaning 80018 clauses out of 160055 with flag 20204463/3311000
579.81/579.49	c cleaning 80960 clauses out of 162037 with flag 20714729/3393000
598.65/598.47	c cleaning 81973 clauses out of 164077 with flag 21226839/3476000
618.19/618.05	c cleaning 83034 clauses out of 166104 with flag 21752554/3560000
637.91/637.75	c cleaning 84021 clauses out of 168070 with flag 22275924/3645000
657.70/657.68	c cleaning 85002 clauses out of 170050 with flag 22808403/3731001
677.96/678.08	c cleaning 86013 clauses out of 172050 with flag 23345820/3818003
699.07/699.12	c cleaning 87004 clauses out of 174034 with flag 23895010/3906000
720.77/721.59	c cleaning 88001 clauses out of 176030 with flag 24447821/3995000
742.78/743.55	c cleaning 89011 clauses out of 178030 with flag 25001095/4085001
764.93/765.67	c cleaning 89987 clauses out of 180018 with flag 25562825/4176000
787.65/788.43	c cleaning 91002 clauses out of 182032 with flag 26131576/4268001
811.00/812.02	c cleaning 91961 clauses out of 184029 with flag 26707008/4361000
834.96/836.33	c cleaning 93000 clauses out of 186071 with flag 27286847/4455003
858.99/860.54	c cleaning 94004 clauses out of 188069 with flag 27873294/4550001
883.59/885.34	c cleaning 95020 clauses out of 190064 with flag 28466874/4646000
908.99/910.83	c cleaning 95955 clauses out of 192044 with flag 29062404/4743000
934.43/936.31	c cleaning 96986 clauses out of 194089 with flag 29668978/4841000
960.57/962.67	c cleaning 98005 clauses out of 196103 with flag 30278581/4940000
986.75/988.92	c cleaning 99007 clauses out of 198098 with flag 30898102/5040000
1013.77/1015.92	c cleaning 100010 clauses out of 200091 with flag 31520003/5141000
1040.63/1042.86	c cleaning 101031 clauses out of 202081 with flag 32140734/5243000
1068.49/1070.86	c cleaning 101985 clauses out of 204051 with flag 32769996/5346001
1096.79/1099.23	c cleaning 103011 clauses out of 206065 with flag 33414725/5450000
1125.79/1128.32	c cleaning 104011 clauses out of 208055 with flag 34059130/5555001
1154.95/1157.60	c cleaning 104979 clauses out of 210043 with flag 34711074/5661000
1184.45/1187.24	c cleaning 105989 clauses out of 212064 with flag 35362854/5768000
1214.80/1217.62	c cleaning 106986 clauses out of 214076 with flag 36021863/5876001
1245.71/1248.63	c cleaning 108021 clauses out of 216089 with flag 36687714/5985000
1277.20/1280.22	c cleaning 109015 clauses out of 218069 with flag 37356368/6095001
1308.69/1311.84	c cleaning 110005 clauses out of 220053 with flag 38028636/6206000
1340.74/1344.27	c cleaning 110997 clauses out of 222049 with flag 38711072/6318001
1374.12/1377.70	c cleaning 111985 clauses out of 224051 with flag 39400374/6431000
1407.12/1410.80	c cleaning 113026 clauses out of 226066 with flag 40093868/6545000
1441.52/1445.81	c cleaning 113986 clauses out of 228042 with flag 40797163/6660002
1476.39/1481.57	c cleaning 114998 clauses out of 230054 with flag 41500929/6776000
1511.14/1516.66	c cleaning 116017 clauses out of 232056 with flag 42211363/6893000
1548.12/1553.94	c cleaning 117014 clauses out of 234042 with flag 42929777/7011003
1584.39/1590.46	c cleaning 117989 clauses out of 236025 with flag 43649832/7130000
1621.37/1627.50	c cleaning 119012 clauses out of 238036 with flag 44376538/7250000
1659.37/1665.90	c cleaning 119996 clauses out of 240026 with flag 45109698/7371002
1697.18/1704.08	c cleaning 120971 clauses out of 242028 with flag 45852190/7493000
1735.48/1742.40	c cleaning 121954 clauses out of 244057 with flag 46598055/7616000
1774.69/1782.00	c cleaning 123009 clauses out of 246103 with flag 47346857/7740000
1815.42/1823.14	c cleaning 124030 clauses out of 248094 with flag 48105653/7865000
1855.62/1863.51	c cleaning 124967 clauses out of 250064 with flag 48872938/7991000
1897.28/1905.31	c cleaning 126014 clauses out of 252097 with flag 49638892/8118000
1938.71/1946.90	c cleaning 127033 clauses out of 254083 with flag 50418573/8246000
1983.14/1991.16	c cleaning 127979 clauses out of 256050 with flag 51196537/8375000
2025.28/2033.44	c cleaning 128972 clauses out of 258071 with flag 51989004/8505000
2068.58/2077.00	c cleaning 130032 clauses out of 260099 with flag 52782143/8636000
2113.72/2123.15	c cleaning 130997 clauses out of 262067 with flag 53578037/8768000
2158.94/2168.70	c cleaning 132006 clauses out of 264071 with flag 54385011/8901001
2204.35/2223.74	c cleaning 132993 clauses out of 266064 with flag 55202879/9035000
2249.69/2269.29	c cleaning 134032 clauses out of 268071 with flag 56019860/9170000
2296.35/2316.76	c cleaning 134982 clauses out of 270039 with flag 56841662/9306000
2343.54/2364.43	c cleaning 135998 clauses out of 272057 with flag 57671235/9443000
2391.30/2412.85	c cleaning 136998 clauses out of 274059 with flag 58501727/9581000
2439.65/2461.53	c cleaning 138023 clauses out of 276061 with flag 59348866/9720000
2488.66/2510.98	c cleaning 138995 clauses out of 278038 with flag 60193612/9860000
2538.70/2561.12	c cleaning 139998 clauses out of 280043 with flag 61048592/10001000
2589.27/2611.84	c cleaning 140980 clauses out of 282045 with flag 61904051/10143000
2640.02/2662.86	c cleaning 141948 clauses out of 284065 with flag 62778702/10286000
2691.17/2714.32	c cleaning 143020 clauses out of 286120 with flag 63647029/10430003
2743.81/2767.02	c cleaning 144017 clauses out of 288098 with flag 64525201/10575001
2796.17/2820.29	c cleaning 145021 clauses out of 290081 with flag 65411721/10721001
2849.69/2874.43	c cleaning 146009 clauses out of 292060 with flag 66305442/10868001
2903.84/2929.08	c cleaning 146957 clauses out of 294050 with flag 67197647/11016000
2958.74/2984.33	c cleaning 148020 clauses out of 296094 with flag 68100194/11165001
3015.31/3041.50	c cleaning 148995 clauses out of 298074 with flag 68998693/11315001
3071.93/3098.40	c cleaning 149992 clauses out of 300078 with flag 69909500/11466000
3129.28/3155.93	c cleaning 151020 clauses out of 302086 with flag 70823068/11618000
3188.31/3214.98	c cleaning 152004 clauses out of 304067 with flag 71743928/11771001
3246.85/3273.70	c cleaning 153023 clauses out of 306062 with flag 72670371/11925000
3305.42/3332.71	c cleaning 154005 clauses out of 308039 with flag 73607900/12080000
3361.14/3388.65	c cleaning 154964 clauses out of 310034 with flag 74549565/12236000
3414.01/3441.66	c cleaning 155994 clauses out of 312070 with flag 75495374/12393000
3467.71/3495.53	c cleaning 157018 clauses out of 314076 with flag 76444130/12551000
3521.73/3549.71	c cleaning 157983 clauses out of 316058 with flag 77404527/12710000
3579.15/3608.49	c cleaning 158996 clauses out of 318075 with flag 78370232/12870000
3600.04/3629.32	c timeout
3600.04/3629.34	c starts		: 97776
3600.04/3629.34	c conflicts		: 12942957
3600.04/3629.34	c decisions		: 122708829
3600.04/3629.34	c propagations		: 1735079237
3600.04/3629.34	c inspects		: 35808821571
3600.04/3629.34	c shortcuts		: 0
3600.04/3629.34	c learnt literals	: 2
3600.04/3629.34	c learnt binary clauses	: 43
3600.04/3629.34	c learnt ternary clauses	: 599
3600.04/3629.34	c learnt constraints	: 12942955
3600.04/3629.34	c ignored constraints	: 0
3600.04/3629.34	c root simplifications	: 0
3600.04/3629.34	c removed literals (reason simplification)	: 10334375
3600.04/3629.34	c reason swapping (by a shorter reason)	: 0
3600.04/3629.34	c Calls to reduceDB	: 156
3600.04/3629.34	c Number of update (reduction) of LBD	: 2736488
3600.04/3629.34	c Imported unit clauses	: 0
3600.04/3629.34	c No decision after first conflict	: false
3600.04/3629.34	c number of reductions to clauses (during analyze)	: 0
3600.04/3629.34	c number of learned constraints concerned by reduction	: 0
3600.04/3629.34	c number of learning phase by resolution	: 0
3600.04/3629.34	c number of learning phase by cutting planes	: 0
3600.04/3629.34	c number of rounding to 1 operations	: 0
3600.04/3629.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3629.34	c number of reductions of the coefficients by power 2 	: 0
3600.04/3629.34	c number of right shift for reduction by power 2 	: 0
3600.04/3629.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3629.34	c number of ending skipping 	: 0
3600.04/3629.34	c number of internal skipping 	: 0
3600.04/3629.34	c number of derivation steps 	: 0
3600.04/3629.34	c number of skipped derivation steps 	: 0
3600.04/3629.34	c number of remaining unassigned 	: 0
3600.04/3629.34	c number of remaining assigned 	: 0
3600.04/3629.34	c number of falsified literals weakened from reason	: 0
3600.04/3629.34	c number of falsified literals weakened from conflict	: 0
3600.04/3629.34	c time for arithmetic operations	: 0
3600.04/3629.34	c minimum degree of deleted constraints	: null
3600.04/3629.34	c maximum degree of deleted constraints	: null
3600.04/3629.34	c number of deleted constraints	: 0
3600.04/3629.35	c speed (assignments/second)	: 478160.6940647122
3600.04/3629.35	c non guided choices	: 51801
3600.23/3629.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231993
3600.23/3629.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 43
3600.23/3629.41	s UNKNOWN
3600.23/3629.41	c Total wall clock time (in seconds): 3629.109

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450882-1721828451/watcher-4450882-1721828451 -o /tmp/evaluation-result-4450882-1721828451/solver-4450882-1721828451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176942 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4450882-1721828451 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450882-1721828451.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=184344, runsolver pid=184341
Current StackSize limit: 8192 KiB


[startup+0.100076 s]*
/proc/loadavg: 4.28 4.33 4.34 5/323 184362
/proc/meminfo: memFree=85781452/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=18975048 memory=57124 CPUtime=0.13 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 6339 0 0 0 9 4 0 0 20 0 18 0 18834072 19430449152 14281 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4743762 14281 5592 1 0 550834 0
[pid=184344/tid=184346] ppid=184341 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 5273 0 0 0 5 3 0 0 20 0 18 0 18834073 19430449152 14281 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18834078 19430449152 14281 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18834079 19430449152 14281 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57124 KiB

[startup+0.21514 s]*
/proc/loadavg: 4.28 4.33 4.34 7/323 184362
/proc/meminfo: memFree=85775260/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=18975048 memory=61784 CPUtime=0.3 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 6955 0 0 0 25 5 0 0 20 0 18 0 18834072 19430449152 15446 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4743762 15446 5601 1 0 551344 0
[pid=184344/tid=184346] ppid=184341 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 1077936192 5563 0 0 0 14 3 0 0 20 0 18 0 18834073 19430449152 15446 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=18975048 memory=880909 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18834078 19430449152 15446 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18834079 19430449152 15446 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61784 KiB

[startup+0.313925 s]*
/proc/loadavg: 4.28 4.33 4.34 4/323 184362
/proc/meminfo: memFree=85768124/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=18975048 memory=67536 CPUtime=0.45 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 7271 0 0 0 39 6 0 0 20 0 18 0 18834072 19430449152 16884 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4743762 16884 5710 1 0 551586 0
[pid=184344/tid=184346] ppid=184341 vsize=18975048 memory=-9104421819797775036 CPUtime=0.27 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 5795 0 0 0 23 4 0 0 20 0 18 0 18834073 19430449152 16884 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18834078 19430449152 16884 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18834079 19430449152 16884 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67536 KiB

[startup+0.709777 s]
/proc/loadavg: 4.28 4.33 4.34 7/323 184362
/proc/meminfo: memFree=85752324/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19041612 memory=101732 CPUtime=1.16 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 9091 0 0 0 108 8 0 0 20 0 19 0 18834072 19498610688 25433 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4760403 25433 5771 1 0 553037 0
[pid=184344/tid=184346] ppid=184341 vsize=19041612 memory=5572 CPUtime=0.55 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 5924 0 0 0 50 5 0 0 20 0 19 0 18834073 19498610688 25433 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19041612 memory=11652 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18834078 19498610688 25433 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18834079 19498610688 25433 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101732 KiB

[startup+1.50026 s]
/proc/loadavg: 4.28 4.33 4.34 14/324 184363
/proc/meminfo: memFree=85713604/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19041612 memory=156040 CPUtime=2.71 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 18413 0 0 0 261 10 0 0 20 0 19 0 18834072 19498610688 39010 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4760403 39010 5798 1 0 555551 0
[pid=184344/tid=184346] ppid=184341 vsize=19041612 memory=11652 CPUtime=1.3 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 6320 0 0 0 124 6 0 0 20 0 19 0 18834073 19498610688 39010 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18834078 19498610688 39010 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18834079 19498610688 39010 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18834141 19498610688 39010 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156040 KiB

[startup+3.10627 s]
/proc/loadavg: 4.34 4.34 4.34 5/325 184364
/proc/meminfo: memFree=85628336/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=187280 CPUtime=5.89 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 23243 0 0 0 577 12 0 0 20 0 20 0 18834072 19566772224 46820 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 46820 5821 1 0 556639 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=0 CPUtime=2.85 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 7280 0 0 0 278 7 0 0 20 0 20 0 18834073 19566772224 46820 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 46820 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 46820 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 46820 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187280 KiB

[startup+6.30042 s]
/proc/loadavg: 4.34 4.34 4.34 5/325 184364
/proc/meminfo: memFree=85338132/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=520628 CPUtime=9.91 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 25628 0 0 0 972 19 0 0 20 0 20 0 18834072 19566772224 130157 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 130157 5821 1 0 557958 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=0 CPUtime=6.02 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 7749 0 0 0 588 14 0 0 20 0 20 0 18834073 19566772224 130157 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 130157 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 130157 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=68272 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 130157 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 520628 KiB

[startup+12.7005 s]
/proc/loadavg: 4.28 4.33 4.34 5/325 184366
/proc/meminfo: memFree=84340172/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=1327960 CPUtime=16.33 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 29632 0 0 0 1594 39 0 0 20 0 20 0 18834072 19566772224 331990 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 331990 5853 1 0 557958 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=104084 CPUtime=12.37 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 9386 0 0 0 1205 32 0 0 20 0 20 0 18834073 19566772224 331990 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=1313564 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 331990 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=188600 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 331990 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 331990 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 16.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327960 KiB

[startup+25.5005 s]
/proc/loadavg: 4.32 4.33 4.34 5/324 184367
/proc/meminfo: memFree=84162628/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=1332160 CPUtime=29.55 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 35882 0 0 0 2910 45 0 0 20 0 20 0 18834072 19566772224 333040 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 333040 5853 1 0 557958 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=1313564 CPUtime=25.09 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 10851 0 0 0 2471 38 0 0 20 0 20 0 18834073 19566772224 333040 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=1330060 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 333040 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 333040 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=6656426216303648864 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 333040 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1332160 KiB

[startup+51.1138 s]
/proc/loadavg: 4.21 4.31 4.33 5/324 184373
/proc/meminfo: memFree=83870500/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=1340400 CPUtime=54.92 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 43122 0 0 0 5434 58 0 0 20 0 20 0 18834072 19566772224 335100 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 335100 5853 1 0 557958 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=1332200 CPUtime=50.17 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 13516 0 0 0 4969 48 0 0 20 0 20 0 18834073 19566772224 335100 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=1332200 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 335100 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 335100 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0

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

[startup+3282.3 s]
/proc/loadavg: 3.11 3.37 3.81 4/298 186314
/proc/meminfo: memFree=101306244/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196580 CPUtime=3255.43 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 178650 0 0 0 324566 977 0 0 20 0 20 0 18834072 19566772224 549145 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549145 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2196580 CPUtime=3221.85 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 81224 0 0 0 321407 778 0 0 20 0 20 0 18834073 19566772224 549145 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2777 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=2196580 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549145 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196580 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 2868 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549145 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=68488 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549145 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3255.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196580 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.33 3.77 4/297 186324
/proc/meminfo: memFree=101070764/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3315.01 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 180911 0 0 0 330510 991 0 0 20 0 20 0 18834072 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549148 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=11652 CPUtime=3281.05 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 81967 0 0 0 327316 789 0 0 20 0 20 0 18834073 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2811 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 2911 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3315.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196592 KiB

[startup+3402.3 s]
/proc/loadavg: 2.67 3.17 3.69 3/272 186369
/proc/meminfo: memFree=108100372/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3374.83 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 181539 0 0 0 336480 1003 0 0 20 0 20 0 18834072 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549148 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2196472 CPUtime=3340.62 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 82444 0 0 0 333264 798 0 0 20 0 20 0 18834073 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2822 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 2947 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3374.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196592 KiB

[startup+3462.3 s]
/proc/loadavg: 2.44 3.00 3.60 3/248 186410
/proc/meminfo: memFree=110105352/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3434.67 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 183401 0 0 0 342450 1017 0 0 20 0 20 0 18834072 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549148 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2148 CPUtime=3400.15 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 82993 0 0 0 339207 808 0 0 20 0 20 0 18834073 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2831 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 3026 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3434.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196592 KiB

[startup+3522.3 s]
/proc/loadavg: 2.30 2.86 3.51 3/246 186420
/proc/meminfo: memFree=109814184/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3494.37 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 184148 0 0 0 348407 1030 0 0 20 0 20 0 18834072 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549148 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3459.55 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 83660 0 0 0 345136 819 0 0 20 0 20 0 18834073 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2855 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=2196592 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 3027 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=2220 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549148 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3494.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196592 KiB

[startup+3582.3 s]
/proc/loadavg: 2.01 2.69 3.41 2/244 186435
/proc/meminfo: memFree=115730620/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196600 CPUtime=3553.36 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 185945 0 0 0 354292 1044 0 0 20 0 20 0 18834072 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549150 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2196592 CPUtime=3518.05 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 84449 0 0 0 350975 830 0 0 20 0 20 0 18834073 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2958 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=68488 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196600 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 3133 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=68488 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3553.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.3 s]
/proc/loadavg: 1.48 2.44 3.28 2/246 186447
/proc/meminfo: memFree=115667768/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19108176 memory=2196600 CPUtime=3600.04 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 186317 0 0 0 358947 1057 0 0 20 0 20 0 18834072 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4777044 549150 5853 1 0 561316 0
[pid=184344/tid=184346] ppid=184341 vsize=19108176 memory=2196600 CPUtime=3564.61 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) R 184341 184344 176776 0 -1 4194368 84749 0 0 0 355621 840 0 0 20 0 20 0 18834073 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2982 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19108176 memory=-9104421819797775036 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18834078 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19108176 memory=2196600 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 3134 0 0 0 0 0 0 0 20 0 20 0 18834079 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184363] ppid=184341 vsize=19108176 memory=2196600 CPUtime=0 cores=0,2
/proc/184344/task/184363/stat : 184363 (Timer-0) S 184341 184344 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18834141 19566772224 549150 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.68 s, system=10.6037 s

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

[startup+3629.6 s]
/proc/loadavg: 1.48 2.44 3.28 2/246 186447
/proc/meminfo: memFree=115667768/131655788 swapFree=131071472/131071996
[pid=184344] ppid=184341 vsize=19307868 memory=2197280 CPUtime=3600.26 cores=0,2
/proc/184344/stat : 184344 (java) S 184341 184344 176776 0 -1 1077936128 189950 0 0 0 358968 1058 0 0 20 0 15 0 18834072 19771256832 549320 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
/proc/184344/statm: 4826967 549320 5865 1 0 562256 0
[pid=184344/tid=184346] ppid=184341 vsize=19307868 memory=2196600 CPUtime=3564.65 cores=0,2
/proc/184344/task/184346/stat : 184346 (java) S 184341 184344 176776 0 -1 1077936192 85145 0 0 0 355624 841 0 0 20 0 15 0 18834073 19771256832 549320 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3016 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184355] ppid=184341 vsize=19307868 memory=5572 CPUtime=0 cores=0,2
/proc/184344/task/184355/stat : 184355 (Finalizer) S 184341 184344 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18834078 19771256832 549320 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
[pid=184344/tid=184362] ppid=184341 vsize=19307868 memory=16072 CPUtime=0 cores=0,2
/proc/184344/task/184362/stat : 184362 (Common-Cleaner) S 184341 184344 176776 0 -1 1077936192 3134 0 0 0 0 0 0 0 20 0 15 0 18834079 19771256832 549320 134679101440 93916356952064 93916356955760 140724916235760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93916356963576 93916356964368 93916388741120 140724916237227 140724916237409 140724916237409 140724916244424 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2197280 KiB

Child status: 143

Real time (s): 3629.62
CPU time (s): 3600.28
CPU user time (s): 3589.68
CPU system time (s): 10.6037
CPU usage (%): 99.1918
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2197280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.68
system time used= 10.6037
maximum resident set size= 2198156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11290032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115681
involuntary context switches= 28326


# summary of solver processes directly reported to runsolver:
#   pid: 184344
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3589.68
#   total CPU system time (s): 10.6037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.533 second user time and 37.8689 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-24 15:40:51
IDJOB=4450882
IDBENCH=162302
IDSOLVER=3079
FILE ID=nodeC004/4450882-1721828451
RUNJOBID= nodeC004-1721820325-176942
SLURM_JOB_ID= 7891447
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-2.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-4450882-1721828451/watcher-4450882-1721828451 -o /tmp/evaluation-result-4450882-1721828451/solver-4450882-1721828451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176942 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450882-1721828451 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450882-1721828451.opb

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

MD5SUM BENCH= a8b84d78b1363b4a3850ebb291b1422d
RANDOM SEED=1807510817

nodeC004.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	: 0xb00001f
cpu MHz		: 1197.290
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3632.132
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.284
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.391
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3649.122
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3508.022
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.476
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.367
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        85818992 kB
MemAvailable:   109031836 kB
Buffers:          256408 kB
Cached:         23736108 kB
SwapCached:           60 kB
Active:          2565056 kB
Inactive:       42559392 kB
Active(anon):       1444 kB
Inactive(anon): 21184092 kB
Active(file):    2563612 kB
Inactive(file): 21375300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            252600 kB
Writeback:             0 kB
AnonPages:      21129304 kB
Mapped:           134644 kB
Shmem:             53860 kB
KReclaimable:     228260 kB
Slab:             348820 kB
SReclaimable:     228260 kB
SUnreclaim:       120560 kB
KernelStack:        4908 kB
PageTables:        51400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22479544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20647936 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC004 at 2024-07-24 16:41:21