Trace number 4450612

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.32 3622.8

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-5.opb
MD5SUM31f4cbeae6238292a97a65729b160061
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.16	c version CUSTOM.v20240707
0.13/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.18	c java.vm.version	22.0.1+8-16
0.13/0.18	c java.vm.vendor	Oracle Corporation
0.13/0.18	c sun.arch.data.model	64
0.13/0.18	c java.version		22.0.1
0.13/0.18	c os.name		Linux
0.13/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.18	c os.arch		amd64
0.13/0.19	c Free memory 		2113181440
0.13/0.19	c Max memory 		16282288128
0.13/0.19	c Total memory 		2122317824
0.13/0.20	c Number of processors 	2
0.30/0.29	--- Begin Solver configuration ---
0.30/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.29	Learn all clauses as in MiniSAT
0.30/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	Expensive reason simplification
0.30/0.29	Glucose 2.1 dynamic restart strategy
0.30/0.29	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.29	timeout=2147483s
0.30/0.29	DB Simplification allowed=false
0.30/0.29	Listener: none
0.30/0.29	--- End Solver configuration ---
0.30/0.29	c Pseudo Boolean Optimization by upper bound
0.30/0.29	c --- Begin Solver configuration ---
0.30/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.29	c Learn all clauses as in MiniSAT
0.30/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	c Expensive reason simplification
0.30/0.29	c Glucose 2.1 dynamic restart strategy
0.30/0.29	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.29	c timeout=2147483s
0.30/0.29	c DB Simplification allowed=false
0.30/0.29	c Listener: none
0.30/0.29	c --- End Solver configuration ---
0.30/0.29	c solving HOME/instance-4450612-1721827928.opb
0.30/0.29	c reading problem ... 
0.30/0.29	c using VERIPB proof format
0.30/0.29	c  no objective function found
0.84/0.60	c ... done. Wall clock time 0.308s.
0.84/0.60	c declared #vars     4288
0.84/0.60	c #constraints  10880
0.84/0.60	c constraints type 
0.84/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.84/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.84/0.60	c org.sat4j.specs.Constr$1 => 936
0.84/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.84/0.60	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
0.84/0.60	c 10880 constraints processed.
2.99/1.67	c cleaning 2499 clauses out of 4997 with flag 16660/5001
4.16/2.21	c cleaning 4228 clauses out of 8497 with flag 39052/11000
5.34/2.86	c cleaning 5608 clauses out of 11269 with flag 67180/18000
6.43/3.52	c cleaning 6825 clauses out of 13662 with flag 101022/26001
7.50/4.31	c cleaning 7899 clauses out of 15836 with flag 142296/35000
8.92/5.44	c cleaning 8958 clauses out of 17939 with flag 188926/45002
10.44/6.90	c cleaning 9985 clauses out of 19979 with flag 242717/56000
11.55/8.02	c cleaning 10992 clauses out of 21994 with flag 300858/68000
12.84/9.21	c cleaning 11996 clauses out of 24002 with flag 366045/81000
14.05/10.49	c cleaning 12970 clauses out of 26006 with flag 439191/95000
15.55/11.90	c cleaning 13992 clauses out of 28037 with flag 517391/110001
16.96/13.31	c cleaning 15004 clauses out of 30044 with flag 603621/126000
18.78/14.94	c cleaning 16012 clauses out of 32040 with flag 696484/143000
20.72/16.70	c cleaning 17011 clauses out of 34028 with flag 793220/161000
22.51/18.56	c cleaning 17989 clauses out of 36017 with flag 896472/180000
24.51/20.59	c cleaning 19007 clauses out of 38030 with flag 1006478/200002
26.71/22.73	c cleaning 19963 clauses out of 40022 with flag 1122527/221001
29.02/25.01	c cleaning 21025 clauses out of 42060 with flag 1243986/243002
31.40/27.45	c cleaning 21963 clauses out of 44033 with flag 1375144/266000
34.01/30.02	c cleaning 22985 clauses out of 46072 with flag 1507174/290002
36.69/32.70	c cleaning 24037 clauses out of 48085 with flag 1651949/315000
40.02/36.57	c cleaning 24988 clauses out of 50048 with flag 1798944/341000
43.22/39.78	c cleaning 26021 clauses out of 52061 with flag 1952088/368001
46.41/42.97	c cleaning 26992 clauses out of 54040 with flag 2110361/396001
49.71/46.29	c cleaning 28001 clauses out of 56047 with flag 2276473/425000
53.29/49.84	c cleaning 29008 clauses out of 58047 with flag 2447313/455001
56.98/53.54	c cleaning 29967 clauses out of 60039 with flag 2627031/486001
60.87/57.45	c cleaning 31025 clauses out of 62071 with flag 2811728/518000
64.97/61.57	c cleaning 31997 clauses out of 64046 with flag 3003590/551000
69.91/66.65	c cleaning 32988 clauses out of 66049 with flag 3203210/585000
75.19/71.99	c cleaning 34005 clauses out of 68061 with flag 3404757/620000
79.98/76.76	c cleaning 34961 clauses out of 70058 with flag 3612824/656002
84.87/81.61	c cleaning 36035 clauses out of 72095 with flag 3829161/693000
89.90/86.61	c cleaning 37022 clauses out of 74061 with flag 4055846/731001
95.09/91.84	c cleaning 38007 clauses out of 76038 with flag 4285557/770000
100.98/97.79	c cleaning 39008 clauses out of 78031 with flag 4525265/810000
106.56/103.35	c cleaning 39975 clauses out of 80024 with flag 4763059/851001
112.37/109.12	c cleaning 41007 clauses out of 82048 with flag 5014450/893000
118.66/115.40	c cleaning 41998 clauses out of 84041 with flag 5266777/936000
125.15/121.93	c cleaning 43006 clauses out of 86043 with flag 5525789/980000
131.75/128.64	c cleaning 43990 clauses out of 88037 with flag 5788040/1025000
138.73/135.63	c cleaning 45012 clauses out of 90047 with flag 6056499/1071000
145.82/142.77	c cleaning 46005 clauses out of 92035 with flag 6335300/1118000
153.25/150.12	c cleaning 47005 clauses out of 94031 with flag 6618009/1166001
160.55/157.58	c cleaning 48003 clauses out of 96025 with flag 6909280/1215000
168.54/165.50	c cleaning 48938 clauses out of 98023 with flag 7202784/1265001
176.43/173.48	c cleaning 50041 clauses out of 100084 with flag 7501071/1316000
184.62/181.68	c cleaning 50973 clauses out of 102043 with flag 7807997/1368000
193.49/190.51	c cleaning 52012 clauses out of 104070 with flag 8124356/1421000
202.28/199.35	c cleaning 52976 clauses out of 106058 with flag 8441216/1475000
211.54/208.63	c cleaning 54021 clauses out of 108086 with flag 8760433/1530004
220.99/218.55	c cleaning 55028 clauses out of 110061 with flag 9091256/1586000
230.76/228.32	c cleaning 55994 clauses out of 112034 with flag 9426983/1643001
240.75/238.39	c cleaning 57001 clauses out of 114040 with flag 9770581/1701001
251.17/248.86	c cleaning 57981 clauses out of 116038 with flag 10118107/1760000
261.95/259.68	c cleaning 59009 clauses out of 118057 with flag 10468829/1820000
272.93/270.64	c cleaning 60017 clauses out of 120048 with flag 10832094/1881000
284.38/282.11	c cleaning 60998 clauses out of 122031 with flag 11193469/1943000
296.06/293.83	c cleaning 62003 clauses out of 124034 with flag 11563314/2006001
308.56/306.31	c cleaning 63009 clauses out of 126032 with flag 11937946/2070002
322.55/320.49	c cleaning 63995 clauses out of 128021 with flag 12315905/2135000
336.03/333.90	c cleaning 65010 clauses out of 130026 with flag 12702525/2201000
349.77/347.71	c cleaning 65971 clauses out of 132016 with flag 13094718/2268000
363.69/361.63	c cleaning 66985 clauses out of 134046 with flag 13492858/2336001
377.86/375.83	c cleaning 68013 clauses out of 136061 with flag 13897434/2405001
392.54/390.52	c cleaning 69014 clauses out of 138048 with flag 14302307/2475001
407.37/405.47	c cleaning 70013 clauses out of 140033 with flag 14711860/2546000
422.77/420.84	c cleaning 71005 clauses out of 142020 with flag 15132444/2618000
438.64/436.71	c cleaning 71989 clauses out of 144016 with flag 15554883/2691001
455.15/453.22	c cleaning 73005 clauses out of 146027 with flag 15979747/2765001
471.70/470.08	c cleaning 74005 clauses out of 148022 with flag 16410905/2840001
488.94/487.21	c cleaning 74986 clauses out of 150016 with flag 16851362/2916000
506.25/504.91	c cleaning 75968 clauses out of 152032 with flag 17293218/2993002
523.69/522.35	c cleaning 77011 clauses out of 154063 with flag 17736380/3071001
542.61/541.85	c cleaning 78008 clauses out of 156051 with flag 18188640/3150000
561.26/560.72	c cleaning 79022 clauses out of 158043 with flag 18644873/3230000
580.27/579.72	c cleaning 80006 clauses out of 160022 with flag 19111480/3311001
599.60/599.15	c cleaning 80994 clauses out of 162016 with flag 19581329/3393001
619.41/619.08	c cleaning 81998 clauses out of 164022 with flag 20059251/3476001
639.63/639.22	c cleaning 82977 clauses out of 166023 with flag 20541253/3560000
660.05/659.79	c cleaning 83965 clauses out of 168046 with flag 21032848/3645000
681.27/681.09	c cleaning 85033 clauses out of 170082 with flag 21521630/3731001
703.47/703.18	c cleaning 86000 clauses out of 172048 with flag 22025476/3818000
725.44/725.17	c cleaning 86992 clauses out of 174049 with flag 22529722/3906001
747.86/747.68	c cleaning 87999 clauses out of 176056 with flag 23039497/3995000
770.78/771.05	c cleaning 88999 clauses out of 178057 with flag 23555568/4085000
793.44/793.74	c cleaning 90009 clauses out of 180058 with flag 24078908/4176000
816.73/817.36	c cleaning 90990 clauses out of 182049 with flag 24604963/4268000
840.22/841.01	c cleaning 91980 clauses out of 184060 with flag 25140530/4361001
865.48/866.53	c cleaning 92983 clauses out of 186079 with flag 25674659/4455000
890.68/891.70	c cleaning 94035 clauses out of 188098 with flag 26218626/4550002
916.09/917.79	c cleaning 95001 clauses out of 190062 with flag 26771822/4646001
943.33/945.70	c cleaning 96015 clauses out of 192061 with flag 27317867/4743001
970.61/973.63	c cleaning 96957 clauses out of 194045 with flag 27876970/4841000
997.72/1001.29	c cleaning 98038 clauses out of 196088 with flag 28439278/4940000
1025.30/1029.05	c cleaning 98975 clauses out of 198050 with flag 29009540/5040000
1053.82/1057.70	c cleaning 99989 clauses out of 200075 with flag 29589257/5141000
1082.59/1086.76	c cleaning 101008 clauses out of 202086 with flag 30173727/5243000
1111.80/1116.09	c cleaning 101979 clauses out of 204079 with flag 30762660/5346001
1141.04/1145.31	c cleaning 103026 clauses out of 206100 with flag 31353021/5450001
1171.76/1176.09	c cleaning 104024 clauses out of 208074 with flag 31953916/5555001
1203.01/1207.32	c cleaning 104969 clauses out of 210050 with flag 32558557/5661001
1233.60/1238.14	c cleaning 106032 clauses out of 212080 with flag 33171541/5768000
1264.91/1269.56	c cleaning 106980 clauses out of 214048 with flag 33792428/5876000
1297.43/1302.11	c cleaning 108018 clauses out of 216069 with flag 34416650/5985001
1330.52/1335.29	c cleaning 108970 clauses out of 218052 with flag 35044929/6095002
1364.01/1368.87	c cleaning 109976 clauses out of 220082 with flag 35676630/6206002
1398.52/1403.69	c cleaning 110999 clauses out of 222104 with flag 36318826/6318000
1433.55/1438.75	c cleaning 112021 clauses out of 224108 with flag 36956770/6431003
1468.11/1473.41	c cleaning 113004 clauses out of 226084 with flag 37605388/6545000
1504.05/1509.42	c cleaning 114013 clauses out of 228080 with flag 38260191/6660000
1540.49/1545.94	c cleaning 115021 clauses out of 230068 with flag 38917972/6776001
1576.93/1582.43	c cleaning 115992 clauses out of 232046 with flag 39575872/6893000
1614.23/1619.88	c cleaning 117022 clauses out of 234055 with flag 40245913/7011001
1652.34/1657.95	c cleaning 118006 clauses out of 236032 with flag 40924288/7130000
1691.20/1696.88	c cleaning 118982 clauses out of 238027 with flag 41605553/7250001
1731.27/1736.96	c cleaning 120017 clauses out of 240045 with flag 42291690/7371001
1771.06/1776.85	c cleaning 121006 clauses out of 242028 with flag 42989415/7493001
1811.09/1817.00	c cleaning 121960 clauses out of 244023 with flag 43678305/7616002
1852.11/1857.97	c cleaning 123000 clauses out of 246061 with flag 44379651/7740000
1893.24/1899.14	c cleaning 123996 clauses out of 248061 with flag 45089365/7865000
1935.30/1941.34	c cleaning 125021 clauses out of 250065 with flag 45795385/7991000
1979.79/1985.99	c cleaning 125978 clauses out of 252044 with flag 46509288/8118000
2023.27/2029.67	c cleaning 127006 clauses out of 254067 with flag 47230242/8246001
2066.94/2073.54	c cleaning 128008 clauses out of 256060 with flag 47962813/8375000
2111.76/2118.66	c cleaning 129022 clauses out of 258052 with flag 48697080/8505000
2157.36/2164.33	c cleaning 130005 clauses out of 260030 with flag 49435708/8636000
2202.50/2209.80	c cleaning 130994 clauses out of 262025 with flag 50184354/8768000
2250.14/2259.83	c cleaning 131961 clauses out of 264032 with flag 50938375/8901001
2297.75/2308.21	c cleaning 133018 clauses out of 266072 with flag 51697702/9035002
2346.65/2357.95	c cleaning 134002 clauses out of 268052 with flag 52457307/9170000
2395.32/2407.36	c cleaning 134956 clauses out of 270050 with flag 53224012/9306000
2444.73/2456.96	c cleaning 136026 clauses out of 272096 with flag 53995706/9443002
2494.67/2507.13	c cleaning 136968 clauses out of 274069 with flag 54774006/9581001
2545.74/2558.33	c cleaning 138041 clauses out of 276100 with flag 55557016/9720000
2596.72/2609.41	c cleaning 139011 clauses out of 278059 with flag 56349406/9860000
2648.88/2661.84	c cleaning 140024 clauses out of 280048 with flag 57140729/10001000
2701.71/2714.88	c cleaning 140983 clauses out of 282026 with flag 57941258/10143002
2756.33/2772.87	c cleaning 142000 clauses out of 284041 with flag 58745941/10286000
2810.59/2827.25	c cleaning 142987 clauses out of 286042 with flag 59541600/10430001
2864.98/2881.65	c cleaning 144006 clauses out of 288054 with flag 60360572/10575000
2919.96/2937.13	c cleaning 144993 clauses out of 290049 with flag 61186242/10721001
2976.13/2994.01	c cleaning 146009 clauses out of 292057 with flag 62005728/10868002
3032.45/3050.32	c cleaning 146989 clauses out of 294046 with flag 62842639/11016000
3089.69/3107.91	c cleaning 148021 clauses out of 296057 with flag 63678802/11165000
3150.41/3171.20	c cleaning 148958 clauses out of 298036 with flag 64517300/11315000
3209.51/3230.53	c cleaning 150034 clauses out of 300079 with flag 65365549/11466001
3269.90/3291.01	c cleaning 150971 clauses out of 302045 with flag 66212084/11618001
3322.38/3343.70	c cleaning 152037 clauses out of 304073 with flag 67075182/11771000
3375.47/3396.79	c cleaning 152964 clauses out of 306036 with flag 67942261/11925000
3428.87/3450.29	c cleaning 154020 clauses out of 308073 with flag 68806438/12080001
3483.40/3505.30	c cleaning 155008 clauses out of 310053 with flag 69677513/12236001
3536.99/3559.00	c cleaning 155960 clauses out of 312044 with flag 70559387/12393000
3592.36/3614.92	c cleaning 157026 clauses out of 314084 with flag 71449058/12551000
3600.05/3622.62	c starts		: 104114
3600.05/3622.63	c timeout
3600.05/3622.64	c conflicts		: 12581086
3600.05/3622.64	c decisions		: 100225016
3600.05/3622.64	c propagations		: 1569982881
3600.05/3622.64	c inspects		: 35770495838
3600.05/3622.64	c shortcuts		: 0
3600.05/3622.64	c learnt literals	: 4
3600.05/3622.64	c learnt binary clauses	: 89
3600.05/3622.64	c learnt ternary clauses	: 1127
3600.05/3622.64	c learnt constraints	: 12581082
3600.05/3622.64	c ignored constraints	: 0
3600.05/3622.64	c root simplifications	: 0
3600.05/3622.65	c removed literals (reason simplification)	: 12388919
3600.05/3622.65	c reason swapping (by a shorter reason)	: 0
3600.05/3622.65	c Calls to reduceDB	: 154
3600.05/3622.65	c Number of update (reduction) of LBD	: 2693022
3600.05/3622.65	c Imported unit clauses	: 0
3600.05/3622.65	c No decision after first conflict	: false
3600.05/3622.65	c number of reductions to clauses (during analyze)	: 0
3600.05/3622.65	c number of learned constraints concerned by reduction	: 0
3600.05/3622.65	c number of learning phase by resolution	: 0
3600.05/3622.65	c number of learning phase by cutting planes	: 0
3600.05/3622.65	c number of rounding to 1 operations	: 0
3600.05/3622.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3622.65	c number of reductions of the coefficients by power 2 	: 0
3600.05/3622.66	c number of right shift for reduction by power 2 	: 0
3600.05/3622.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3622.66	c number of ending skipping 	: 0
3600.05/3622.66	c number of internal skipping 	: 0
3600.05/3622.66	c number of derivation steps 	: 0
3600.05/3622.66	c number of skipped derivation steps 	: 0
3600.05/3622.66	c number of remaining unassigned 	: 0
3600.05/3622.66	c number of remaining assigned 	: 0
3600.05/3622.66	c number of falsified literals weakened from reason	: 0
3600.05/3622.66	c number of falsified literals weakened from conflict	: 0
3600.05/3622.66	c time for arithmetic operations	: 0
3600.05/3622.66	c minimum degree of deleted constraints	: null
3600.05/3622.66	c maximum degree of deleted constraints	: null
3600.05/3622.66	c number of deleted constraints	: 0
3600.05/3622.66	c speed (assignments/second)	: 433451.94428784173
3600.05/3622.66	c non guided choices	: 43132
3600.21/3622.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 187055
3600.21/3622.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 89
3600.21/3622.78	s UNKNOWN
3600.21/3622.78	c Total wall clock time (in seconds): 3622.493

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=177650, runsolver pid=177647
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 4.47 4.31 4.22 5/327 177668
/proc/meminfo: memFree=116019424/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=18975048 memory=56000 CPUtime=0.13 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 6502 0 0 0 10 3 0 0 20 0 18 0 18782110 19430449152 14000 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4743762 14000 5660 1 0 550843 0
[pid=177650/tid=177652] ppid=177647 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) S 177647 177650 172041 0 -1 1077936192 5395 0 0 0 7 2 0 0 20 0 18 0 18782110 19430449152 14000 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18782115 19430449152 14000 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18782116 19430449152 14000 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56000 KiB

[startup+0.212331 s]*
/proc/loadavg: 4.47 4.31 4.22 6/327 177668
/proc/meminfo: memFree=116011452/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=18975048 memory=65068 CPUtime=0.3 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 7206 0 0 0 27 3 0 0 20 0 18 0 18782110 19430449152 16267 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4743762 16267 5668 1 0 551391 0
[pid=177650/tid=177652] ppid=177647 vsize=18974984 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 5743 0 0 0 17 2 0 0 20 0 18 0 18782110 19430383616 16287 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=18975048 memory=1276314 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18782115 19430449152 16287 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18782116 19430449152 16287 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65068 KiB

[startup+0.312331 s]*
/proc/loadavg: 4.47 4.31 4.22 7/327 177668
/proc/meminfo: memFree=116007824/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=18975048 memory=66556 CPUtime=0.48 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 7506 0 0 0 45 3 0 0 20 0 18 0 18782110 19430449152 16639 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4743762 16639 5743 1 0 551602 0
[pid=177650/tid=177652] ppid=177647 vsize=18975048 memory=-8672072944167199420 CPUtime=0.29 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 5921 0 0 0 27 2 0 0 20 0 18 0 18782110 19430449152 16639 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18782115 19430449152 16639 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18782116 19430449152 16639 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66556 KiB

[startup+0.703501 s]
/proc/loadavg: 4.47 4.31 4.22 7/327 177668
/proc/meminfo: memFree=115987760/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19041612 memory=103140 CPUtime=1.2 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 9384 0 0 0 115 5 0 0 20 0 19 0 18782110 19498610688 25785 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4760403 25785 5823 1 0 553064 0
[pid=177650/tid=177652] ppid=177647 vsize=19041612 memory=5456 CPUtime=0.62 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 6032 0 0 0 59 3 0 0 20 0 19 0 18782110 19498610688 25785 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19041612 memory=12620 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18782115 19498610688 25785 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18782116 19498610688 25785 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103140 KiB

[startup+1.5005 s]
/proc/loadavg: 4.47 4.31 4.22 8/328 177669
/proc/meminfo: memFree=115951940/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19041612 memory=164268 CPUtime=2.77 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 14810 0 0 0 270 7 0 0 20 0 19 0 18782110 19498610688 41067 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4760403 41067 5839 1 0 554795 0
[pid=177650/tid=177652] ppid=177647 vsize=19041612 memory=12620 CPUtime=1.34 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 6477 0 0 0 129 5 0 0 20 0 19 0 18782110 19498610688 41067 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18782115 19498610688 41067 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18782116 19498610688 41067 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18782171 19498610688 41067 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164268 KiB

[startup+3.1065 s]
/proc/loadavg: 4.51 4.32 4.22 6/329 177670
/proc/meminfo: memFree=115862516/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=189012 CPUtime=5.94 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 22850 0 0 0 584 10 0 0 20 0 20 0 18782110 19566772224 47253 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 47253 5855 1 0 557340 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 7472 0 0 0 283 6 0 0 20 0 20 0 18782110 19566772224 47253 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 47253 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 47253 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 47253 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189012 KiB

[startup+6.30045 s]
/proc/loadavg: 4.51 4.32 4.22 5/329 177672
/proc/meminfo: memFree=115645020/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=406016 CPUtime=9.83 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 24323 0 0 0 966 17 0 0 20 0 20 0 18782110 19566772224 101504 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 101504 5855 1 0 557991 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=0 CPUtime=6.05 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 7755 0 0 0 592 13 0 0 20 0 20 0 18782110 19566772224 101504 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 101504 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 101504 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=59920 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 101504 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 406016 KiB

[startup+12.7004 s]
/proc/loadavg: 4.43 4.31 4.22 5/329 177672
/proc/meminfo: memFree=114949756/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=1006488 CPUtime=16.35 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 28729 0 0 0 1603 32 0 0 20 0 20 0 18782110 19566772224 251622 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 251622 5886 1 0 557991 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=105452 CPUtime=12.4 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 9288 0 0 0 1213 27 0 0 20 0 20 0 18782110 19566772224 251622 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=1006488 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 251622 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=189012 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 251622 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 251622 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 16.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1006488 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.30 4.22 5/329 177674
/proc/meminfo: memFree=114815484/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=1006604 CPUtime=29.5 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 31606 0 0 0 2912 38 0 0 20 0 20 0 18782110 19566772224 251651 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 251651 5886 1 0 557991 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=1006488 CPUtime=25.06 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 10781 0 0 0 2475 31 0 0 20 0 20 0 18782110 19566772224 251651 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=1006572 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 251651 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 251651 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 251651 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 29.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1006604 KiB

[startup+51.1149 s]
/proc/loadavg: 4.31 4.29 4.22 5/329 177678
/proc/meminfo: memFree=114174108/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=1342524 CPUtime=54.6 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 36343 0 0 0 5406 54 0 0 20 0 20 0 18782110 19566772224 335631 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 335631 5886 1 0 557991 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=1231916 CPUtime=49.9 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 13200 0 0 0 4945 45 0 0 20 0 20 0 18782110 19566772224 335631 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=1340460 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 335631 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 335631 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0

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

[startup+3282.3 s]
/proc/loadavg: 4.00 4.16 4.19 3/272 179293
/proc/meminfo: memFree=113751744/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181120 CPUtime=3261.1 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 178533 0 0 0 325188 922 0 0 20 0 20 0 18782110 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545280 5886 1 0 560062 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=2181112 CPUtime=3228.76 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 85826 0 0 0 322139 737 0 0 20 0 20 0 18782110 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2509 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=2181112 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=2181120 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 3727 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=2181120 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3261.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181120 KiB

[startup+3342.3 s]
/proc/loadavg: 2.35 3.67 4.02 2/246 179336
/proc/meminfo: memFree=119823772/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181120 CPUtime=3321.08 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 181298 0 0 0 331173 935 0 0 20 0 20 0 18782110 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545280 5886 1 0 560062 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=2181120 CPUtime=3288.19 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 87558 0 0 0 328072 747 0 0 20 0 20 0 18782110 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2525 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=59920 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=29752 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 3789 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=2181120 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545280 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3321.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181120 KiB

[startup+3402.3 s]
/proc/loadavg: 1.60 3.21 3.83 2/248 179516
/proc/meminfo: memFree=119736112/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181176 CPUtime=3381.08 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 185740 0 0 0 337159 949 0 0 20 0 20 0 18782110 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545294 5886 1 0 560073 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=59920 CPUtime=3347.71 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 89064 0 0 0 334012 759 0 0 20 0 20 0 18782110 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2539 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=2181120 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=59920 CPUtime=0 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 3850 0 0 0 0 0 0 0 20 0 20 0 18782116 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=2181176 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3381.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181176 KiB

[startup+3462.3 s]
/proc/loadavg: 1.28 2.82 3.66 2/248 179526
/proc/meminfo: memFree=119653608/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181176 CPUtime=3440.98 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 188276 0 0 0 343134 964 0 0 20 0 20 0 18782110 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545294 5886 1 0 560073 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=59920 CPUtime=3407.38 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 90588 0 0 0 339968 770 0 0 20 0 20 0 18782110 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2549 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=59920 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=2181176 CPUtime=0.01 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 3911 0 0 0 0 1 0 0 20 0 20 0 18782116 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=2181176 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545294 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3440.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181176 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 2.50 3.50 2/249 179596
/proc/meminfo: memFree=119572812/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181200 CPUtime=3500.39 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 191606 0 0 0 349062 977 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545300 5886 1 0 560073 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=2181176 CPUtime=3466.3 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 92407 0 0 0 345850 780 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2619 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=2181192 CPUtime=0.01 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 3972 0 0 0 0 1 0 0 20 0 20 0 18782116 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3500.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181200 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 2.26 3.35 2/248 179608
/proc/meminfo: memFree=119490820/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181200 CPUtime=3560.29 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 194221 0 0 0 355038 991 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545300 5886 1 0 560073 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=12620 CPUtime=3525.94 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 93821 0 0 0 351802 792 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2629 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=59920 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=59920 CPUtime=0.01 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 4033 0 0 0 0 1 0 0 20 0 20 0 18782116 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3560.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.6 s]
/proc/loadavg: 1.14 2.11 3.25 2/247 179615
/proc/meminfo: memFree=119439288/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19108176 memory=2181200 CPUtime=3600.05 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 195437 0 0 0 359006 999 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4777044 545300 5886 1 0 560073 0
[pid=177650/tid=177652] ppid=177647 vsize=19108176 memory=19632 CPUtime=3565.32 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) R 177647 177650 172041 0 -1 4194368 94735 0 0 0 355734 798 0 0 20 0 20 0 18782110 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2692 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19108176 memory=2181200 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18782115 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19108176 memory=5432 CPUtime=0.01 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 4095 0 0 0 0 1 0 0 20 0 20 0 18782116 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177669] ppid=177647 vsize=19108176 memory=2181200 CPUtime=0 cores=5,7
/proc/177650/task/177669/stat : 177669 (Timer-0) S 177647 177650 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18782171 19566772224 545300 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.3 s, system=10.0191 s

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

[startup+3622.71 s]
/proc/loadavg: 1.14 2.11 3.25 2/247 179615
/proc/meminfo: memFree=119439288/131655788 swapFree=131056320/131071996
[pid=177650] ppid=177647 vsize=19307868 memory=2182172 CPUtime=3600.21 cores=5,7
/proc/177650/stat : 177650 (java) S 177647 177650 172041 0 -1 1077936128 199281 0 0 0 359021 1000 0 0 20 0 21 0 18782110 19771256832 545543 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
/proc/177650/statm: 4826967 545543 5885 1 0 561008 0
[pid=177650/tid=177652] ppid=177647 vsize=19307868 memory=2181200 CPUtime=3565.34 cores=5,7
/proc/177650/task/177652/stat : 177652 (java) S 177647 177650 172041 0 -1 1077936192 95186 0 0 0 355736 798 0 0 20 0 21 0 18782110 19771256832 545543 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2692 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177661] ppid=177647 vsize=19307868 memory=-8672072944167199420 CPUtime=0 cores=5,7
/proc/177650/task/177661/stat : 177661 (Finalizer) S 177647 177650 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18782115 19771256832 545543 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
[pid=177650/tid=177668] ppid=177647 vsize=19307868 memory=11536 CPUtime=0.01 cores=5,7
/proc/177650/task/177668/stat : 177668 (Common-Cleaner) S 177647 177650 172041 0 -1 1077936192 4095 0 0 0 0 1 0 0 20 0 21 0 18782116 19771256832 545543 134679101440 94055830532096 94055830535792 140734466500288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94055830543608 94055830544400 94055857401856 140734466507691 140734466507873 140734466507873 140734466514888 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2182172 KiB

Child status: 143

Real time (s): 3622.8
CPU time (s): 3600.32
CPU user time (s): 3590.3
CPU system time (s): 10.0191
CPU usage (%): 99.3797
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2182172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.3
system time used= 10.0191
maximum resident set size= 2183256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11275768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114904
involuntary context switches= 7411


# summary of solver processes directly reported to runsolver:
#   pid: 177650
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3590.3
#   total CPU system time (s): 10.0191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4252 second user time and 42.1194 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 15:32:08
IDJOB=4450612
IDBENCH=162170
IDSOLVER=3079
FILE ID=nodeC006/4450612-1721827928
RUNJOBID= nodeC006-1721820325-172054
SLURM_JOB_ID= 7891453
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 31f4cbeae6238292a97a65729b160061
RANDOM SEED=2049239296

nodeC006.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		: 3665.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	: 6983.06
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		: 3673.465
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.40
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.247
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	: 6983.06
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.209
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.40
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		: 3656.912
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	: 6983.06
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		: 1197.104
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.40
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.225
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	: 6983.06
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		: 1481.258
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116056240 kB
MemAvailable:   121709908 kB
Buffers:          256848 kB
Cached:          6007072 kB
SwapCached:          240 kB
Active:          1927844 kB
Inactive:       12730224 kB
Active(anon):       1752 kB
Inactive(anon):  8437148 kB
Active(file):    1926092 kB
Inactive(file):  4293076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:            141948 kB
Writeback:             4 kB
AnonPages:       8393464 kB
Mapped:           112316 kB
Shmem:             45244 kB
KReclaimable:     496408 kB
Slab:             610768 kB
SReclaimable:     496408 kB
SUnreclaim:       114360 kB
KernelStack:        5008 kB
PageTables:        26572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10476788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8112128 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC006 at 2024-07-24 16:32:31