Trace number 4450552

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 3614.03

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-2.opb
MD5SUM47ea31a7c9031906789706eba8e52740
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.13	c Free memory 		2115194816
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.17	--- Begin Solver configuration ---
0.12/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.17	Learn all clauses as in MiniSAT
0.12/0.17	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	Expensive reason simplification
0.12/0.17	Glucose 2.1 dynamic restart strategy
0.12/0.17	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.12/0.17	timeout=2147483s
0.12/0.17	DB Simplification allowed=false
0.12/0.17	Listener: none
0.12/0.17	--- End Solver configuration ---
0.12/0.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	c Expensive reason simplification
0.12/0.18	c Glucose 2.1 dynamic restart strategy
0.12/0.18	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.12/0.18	c timeout=2147483s
0.12/0.18	c DB Simplification allowed=false
0.12/0.18	c Listener: none
0.12/0.18	c --- End Solver configuration ---
0.12/0.18	c solving HOME/instance-4450552-1721827870.opb
0.12/0.18	c reading problem ... 
0.12/0.19	c using VERIPB proof format
0.12/0.19	c  no objective function found
0.69/0.45	c ... done. Wall clock time 0.267s.
0.69/0.45	c declared #vars     4288
0.69/0.45	c #constraints  10816
0.69/0.45	c constraints type 
0.69/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.69/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.69/0.45	c org.sat4j.specs.Constr$1 => 904
0.69/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.69/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 504
0.69/0.45	c 10816 constraints processed.
2.98/1.65	c cleaning 2487 clauses out of 4998 with flag 16564/5000
4.17/2.22	c cleaning 4251 clauses out of 8511 with flag 39765/11000
5.36/2.85	c cleaning 5607 clauses out of 11260 with flag 68684/18000
6.75/3.59	c cleaning 6808 clauses out of 13653 with flag 102747/26000
7.56/4.27	c cleaning 7904 clauses out of 15845 with flag 144768/35000
8.95/5.10	c cleaning 8950 clauses out of 17943 with flag 191951/45002
10.33/6.10	c cleaning 9976 clauses out of 19991 with flag 247964/56000
11.43/7.15	c cleaning 10974 clauses out of 22016 with flag 310373/68001
12.65/8.35	c cleaning 11980 clauses out of 24041 with flag 380609/81000
13.93/9.59	c cleaning 13011 clauses out of 26061 with flag 454292/95000
15.24/10.87	c cleaning 13979 clauses out of 28050 with flag 536142/110000
16.74/12.38	c cleaning 15029 clauses out of 30071 with flag 620171/126000
18.51/13.96	c cleaning 15995 clauses out of 32042 with flag 714377/143000
20.52/15.71	c cleaning 17012 clauses out of 34048 with flag 815170/161001
22.41/17.63	c cleaning 18004 clauses out of 36035 with flag 922972/180000
24.41/19.68	c cleaning 19004 clauses out of 38032 with flag 1038458/200001
26.61/21.84	c cleaning 20004 clauses out of 40027 with flag 1159737/221000
28.81/24.05	c cleaning 20982 clauses out of 42024 with flag 1288010/243001
31.28/26.40	c cleaning 21997 clauses out of 44041 with flag 1422846/266000
33.77/28.93	c cleaning 23011 clauses out of 46044 with flag 1559952/290000
36.57/31.74	c cleaning 23955 clauses out of 48033 with flag 1701961/315000
39.36/34.58	c cleaning 25026 clauses out of 50079 with flag 1851327/341001
42.36/37.63	c cleaning 25992 clauses out of 52053 with flag 2011700/368001
45.44/40.79	c cleaning 26978 clauses out of 54060 with flag 2178702/396000
48.75/44.09	c cleaning 28000 clauses out of 56082 with flag 2353379/425000
52.23/47.53	c cleaning 28979 clauses out of 58082 with flag 2534016/455000
56.02/51.31	c cleaning 30032 clauses out of 60103 with flag 2716911/486000
59.81/55.12	c cleaning 31020 clauses out of 62071 with flag 2910759/518000
63.80/59.13	c cleaning 32010 clauses out of 64051 with flag 3108013/551000
68.08/63.39	c cleaning 32995 clauses out of 66041 with flag 3309630/585000
72.59/67.91	c cleaning 33970 clauses out of 68046 with flag 3521252/620000
77.18/72.55	c cleaning 35025 clauses out of 70077 with flag 3734493/656001
81.87/77.29	c cleaning 35979 clauses out of 72051 with flag 3956480/693000
86.85/82.21	c cleaning 36964 clauses out of 74073 with flag 4185100/731001
92.03/87.40	c cleaning 38023 clauses out of 76108 with flag 4425533/770000
97.32/92.76	c cleaning 39009 clauses out of 78085 with flag 4665822/810000
102.93/98.47	c cleaning 40006 clauses out of 80076 with flag 4915991/851000
108.71/104.28	c cleaning 41022 clauses out of 82071 with flag 5169413/893001
114.89/110.43	c cleaning 42010 clauses out of 84048 with flag 5432857/936000
120.98/116.55	c cleaning 43010 clauses out of 86038 with flag 5703459/980000
127.36/122.90	c cleaning 43978 clauses out of 88028 with flag 5978424/1025000
133.89/129.58	c cleaning 44992 clauses out of 90050 with flag 6262482/1071000
140.87/136.56	c cleaning 45998 clauses out of 92059 with flag 6551797/1118001
148.06/143.76	c cleaning 47021 clauses out of 94060 with flag 6848384/1166000
155.64/151.31	c cleaning 48007 clauses out of 96039 with flag 7146117/1215000
163.27/159.05	c cleaning 48990 clauses out of 98032 with flag 7453504/1265000
170.94/166.71	c cleaning 50004 clauses out of 100042 with flag 7769552/1316000
179.02/174.89	c cleaning 50992 clauses out of 102039 with flag 8089545/1368001
187.49/183.33	c cleaning 52003 clauses out of 104046 with flag 8410759/1421000
196.01/192.00	c cleaning 53008 clauses out of 106043 with flag 8739167/1475000
205.00/200.89	c cleaning 53957 clauses out of 108035 with flag 9077535/1530000
214.19/210.02	c cleaning 55001 clauses out of 110078 with flag 9419229/1586000
223.55/219.48	c cleaning 56025 clauses out of 112077 with flag 9773371/1643000
233.66/229.52	c cleaning 56999 clauses out of 114052 with flag 10129134/1701000
243.79/239.63	c cleaning 57978 clauses out of 116053 with flag 10493480/1760000
254.05/249.92	c cleaning 59032 clauses out of 118076 with flag 10858847/1820001
264.87/260.87	c cleaning 60015 clauses out of 120043 with flag 11230916/1881000
276.21/272.25	c cleaning 61010 clauses out of 122029 with flag 11604249/1943001
287.61/283.79	c cleaning 61962 clauses out of 124020 with flag 11988646/2006002
299.68/295.88	c cleaning 63018 clauses out of 126056 with flag 12372889/2070000
312.09/308.22	c cleaning 63994 clauses out of 128038 with flag 12766850/2135000
324.74/320.94	c cleaning 64980 clauses out of 130044 with flag 13165114/2201000
338.00/334.15	c cleaning 66012 clauses out of 132064 with flag 13568933/2268000
351.65/347.87	c cleaning 67010 clauses out of 134052 with flag 13981036/2336000
365.56/361.79	c cleaning 68007 clauses out of 136044 with flag 14397782/2405002
379.91/376.15	c cleaning 68997 clauses out of 138035 with flag 14825007/2475000
394.62/390.85	c cleaning 69975 clauses out of 140039 with flag 15258112/2546001
409.84/406.04	c cleaning 71023 clauses out of 142063 with flag 15695827/2618000
425.24/421.40	c cleaning 72006 clauses out of 144043 with flag 16135217/2691003
440.01/436.37	c cleaning 72988 clauses out of 146034 with flag 16586708/2765000
454.54/450.88	c cleaning 73997 clauses out of 148046 with flag 17038840/2840000
470.70/467.17	c cleaning 75007 clauses out of 150049 with flag 17500000/2916000
487.36/483.80	c cleaning 76009 clauses out of 152043 with flag 17967177/2993001
504.79/501.43	c cleaning 77010 clauses out of 154033 with flag 18442103/3071000
522.44/519.01	c cleaning 78003 clauses out of 156023 with flag 18920291/3150000
540.57/537.38	c cleaning 78981 clauses out of 158020 with flag 19406886/3230000
559.01/555.72	c cleaning 80009 clauses out of 160041 with flag 19898113/3311002
577.87/574.71	c cleaning 80975 clauses out of 162031 with flag 20395136/3393001
597.65/594.96	c cleaning 81985 clauses out of 164055 with flag 20893164/3476000
617.55/614.78	c cleaning 83016 clauses out of 166070 with flag 21397327/3560000
639.20/636.74	c cleaning 84028 clauses out of 168055 with flag 21906984/3645001
659.80/657.36	c cleaning 84979 clauses out of 170026 with flag 22425729/3731000
681.01/678.57	c cleaning 85996 clauses out of 172048 with flag 22948672/3818001
702.39/700.14	c cleaning 87012 clauses out of 174053 with flag 23477882/3906002
724.06/722.04	c cleaning 87995 clauses out of 176039 with flag 24010032/3995000
746.47/744.51	c cleaning 88972 clauses out of 178045 with flag 24546492/4085001
769.95/768.08	c cleaning 90024 clauses out of 180072 with flag 25091641/4176000
794.08/792.20	c cleaning 91020 clauses out of 182048 with flag 25636534/4268000
818.41/820.49	c cleaning 92005 clauses out of 184028 with flag 26188045/4361000
842.46/844.80	c cleaning 92996 clauses out of 186023 with flag 26752139/4455000
866.83/869.16	c cleaning 93993 clauses out of 188029 with flag 27321461/4550002
891.57/893.91	c cleaning 94963 clauses out of 190034 with flag 27894785/4646000
917.17/919.67	c cleaning 96013 clauses out of 192071 with flag 28472722/4743000
943.73/946.29	c cleaning 96981 clauses out of 194059 with flag 29057385/4841001
970.40/972.96	c cleaning 98008 clauses out of 196077 with flag 29650363/4940000
997.00/999.67	c cleaning 99026 clauses out of 198069 with flag 30252063/5040000
1024.84/1027.46	c cleaning 100015 clauses out of 200044 with flag 30848753/5141001
1052.81/1055.65	c cleaning 100991 clauses out of 202029 with flag 31455602/5243001
1081.37/1084.22	c cleaning 101991 clauses out of 204037 with flag 32067153/5346000
1110.70/1113.60	c cleaning 102990 clauses out of 206046 with flag 32682492/5450000
1140.77/1144.03	c cleaning 104027 clauses out of 208056 with flag 33307786/5555000
1170.86/1174.23	c cleaning 104969 clauses out of 210029 with flag 33933414/5661000
1201.47/1204.87	c cleaning 106010 clauses out of 212061 with flag 34564911/5768001
1232.53/1235.96	c cleaning 106993 clauses out of 214052 with flag 35199015/5876002
1264.61/1268.16	c cleaning 107993 clauses out of 216057 with flag 35839177/5985000
1296.88/1300.43	c cleaning 109026 clauses out of 218064 with flag 36485266/6095000
1329.83/1333.61	c cleaning 109960 clauses out of 220040 with flag 37136367/6206002
1363.43/1367.28	c cleaning 111007 clauses out of 222078 with flag 37794474/6318000
1397.76/1401.63	c cleaning 112018 clauses out of 224072 with flag 38464184/6431001
1431.94/1436.00	c cleaning 112961 clauses out of 226053 with flag 39135755/6545000
1467.71/1471.77	c cleaning 113996 clauses out of 228093 with flag 39804913/6660001
1502.88/1507.09	c cleaning 114997 clauses out of 230096 with flag 40493042/6776000
1539.60/1543.78	c cleaning 116002 clauses out of 232100 with flag 41184699/6893001
1576.75/1582.25	c cleaning 117016 clauses out of 234098 with flag 41878340/7011001
1614.33/1620.05	c cleaning 118010 clauses out of 236081 with flag 42578842/7130000
1652.39/1658.12	c cleaning 119017 clauses out of 238073 with flag 43284159/7250002
1690.90/1696.71	c cleaning 119983 clauses out of 240054 with flag 43999914/7371000
1730.14/1736.25	c cleaning 121016 clauses out of 242072 with flag 44716427/7493001
1769.99/1776.14	c cleaning 122005 clauses out of 244057 with flag 45440758/7616002
1810.74/1817.05	c cleaning 122978 clauses out of 246050 with flag 46170422/7740000
1851.35/1858.11	c cleaning 124017 clauses out of 248073 with flag 46912883/7865001
1892.92/1899.87	c cleaning 124957 clauses out of 250056 with flag 47655813/7991001
1934.92/1941.94	c cleaning 126013 clauses out of 252101 with flag 48403441/8118003
1978.17/1985.44	c cleaning 127036 clauses out of 254086 with flag 49149804/8246001
2021.98/2029.36	c cleaning 128002 clauses out of 256049 with flag 49906883/8375000
2066.69/2074.11	c cleaning 128993 clauses out of 258048 with flag 50667615/8505001
2111.08/2118.62	c cleaning 129998 clauses out of 260054 with flag 51435803/8636000
2156.69/2164.33	c cleaning 130967 clauses out of 262056 with flag 52204015/8768000
2204.44/2211.98	c cleaning 132038 clauses out of 264092 with flag 52985738/8901003
2251.53/2260.16	c cleaning 132945 clauses out of 266053 with flag 53772033/9035002
2298.48/2307.16	c cleaning 134044 clauses out of 268109 with flag 54561907/9170003
2346.56/2355.49	c cleaning 134989 clauses out of 270063 with flag 55357008/9306001
2395.60/2404.54	c cleaning 135985 clauses out of 272073 with flag 56156214/9443000
2445.46/2454.72	c cleaning 137036 clauses out of 274090 with flag 56959947/9581002
2495.50/2505.09	c cleaning 137984 clauses out of 276052 with flag 57770147/9720000
2546.29/2556.06	c cleaning 139015 clauses out of 278069 with flag 58589209/9860001
2597.94/2607.96	c cleaning 139996 clauses out of 280053 with flag 59407941/10001000
2651.03/2661.25	c cleaning 140997 clauses out of 282057 with flag 60228901/10143000
2705.02/2715.39	c cleaning 142021 clauses out of 284062 with flag 61062782/10286002
2758.81/2769.26	c cleaning 142983 clauses out of 286039 with flag 61892685/10430000
2813.06/2824.02	c cleaning 144029 clauses out of 288058 with flag 62731817/10575002
2867.75/2878.83	c cleaning 144984 clauses out of 290027 with flag 63582956/10721000
2923.48/2934.71	c cleaning 146009 clauses out of 292044 with flag 64444181/10868001
2980.53/2992.19	c cleaning 147005 clauses out of 294036 with flag 65309612/11016002
3036.78/3048.69	c cleaning 147987 clauses out of 296029 with flag 66178154/11165000
3094.13/3106.17	c cleaning 148966 clauses out of 298043 with flag 67056081/11315001
3152.25/3164.41	c cleaning 150005 clauses out of 300076 with flag 67934295/11466000
3211.87/3224.32	c cleaning 151028 clauses out of 302071 with flag 68816616/11618000
3272.35/3284.90	c cleaning 151987 clauses out of 304044 with flag 69704416/11771001
3333.19/3345.99	c cleaning 153025 clauses out of 306058 with flag 70603145/11925002
3394.71/3407.52	c cleaning 153996 clauses out of 308032 with flag 71508141/12080001
3457.31/3470.18	c cleaning 155016 clauses out of 310036 with flag 72417251/12236001
3520.78/3533.64	c cleaning 155960 clauses out of 312019 with flag 73323706/12393000
3585.27/3599.03	c cleaning 156990 clauses out of 314060 with flag 74238630/12551001
3600.01/3613.82	c timeout
3600.01/3613.84	c starts		: 104038
3600.01/3613.85	c conflicts		: 12597924
3600.01/3613.85	c decisions		: 110878624
3600.01/3613.85	c propagations		: 1647724139
3600.01/3613.85	c inspects		: 35814644066
3600.01/3613.85	c shortcuts		: 0
3600.01/3613.85	c learnt literals	: 2
3600.01/3613.85	c learnt binary clauses	: 62
3600.01/3613.85	c learnt ternary clauses	: 820
3600.01/3613.85	c learnt constraints	: 12597922
3600.01/3613.85	c ignored constraints	: 0
3600.01/3613.85	c root simplifications	: 0
3600.01/3613.85	c removed literals (reason simplification)	: 11573947
3600.01/3613.85	c reason swapping (by a shorter reason)	: 0
3600.01/3613.85	c Calls to reduceDB	: 154
3600.01/3613.85	c Number of update (reduction) of LBD	: 2675317
3600.01/3613.85	c Imported unit clauses	: 0
3600.01/3613.85	c No decision after first conflict	: false
3600.01/3613.85	c number of reductions to clauses (during analyze)	: 0
3600.01/3613.85	c number of learned constraints concerned by reduction	: 0
3600.01/3613.85	c number of learning phase by resolution	: 0
3600.01/3613.85	c number of learning phase by cutting planes	: 0
3600.01/3613.85	c number of rounding to 1 operations	: 0
3600.01/3613.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3613.86	c number of reductions of the coefficients by power 2 	: 0
3600.01/3613.86	c number of right shift for reduction by power 2 	: 0
3600.01/3613.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3613.86	c number of ending skipping 	: 0
3600.01/3613.86	c number of internal skipping 	: 0
3600.01/3613.86	c number of derivation steps 	: 0
3600.01/3613.86	c number of skipped derivation steps 	: 0
3600.01/3613.86	c number of remaining unassigned 	: 0
3600.01/3613.86	c number of remaining assigned 	: 0
3600.01/3613.86	c number of falsified literals weakened from reason	: 0
3600.01/3613.86	c number of falsified literals weakened from conflict	: 0
3600.01/3613.86	c time for arithmetic operations	: 0
3600.01/3613.86	c minimum degree of deleted constraints	: null
3600.01/3613.86	c maximum degree of deleted constraints	: null
3600.01/3613.86	c number of deleted constraints	: 0
3600.01/3613.86	c speed (assignments/second)	: 456004.8118222435
3600.01/3613.86	c non guided choices	: 47726
3600.15/3613.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 203931
3600.15/3613.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 62
3600.15/3614.01	s UNKNOWN
3600.15/3614.01	c Total wall clock time (in seconds): 3613.836

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=192978, runsolver pid=192975

[startup+0.105447 s]*
/proc/loadavg: 4.34 4.49 4.40 6/324 192996
/proc/meminfo: memFree=101891780/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=18975048 memory=57684 CPUtime=0.12 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 6546 0 0 0 9 3 0 0 20 0 18 0 18775881 19430449152 14421 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4743762 14421 5540 1 0 550940 0
[pid=192978/tid=192980] ppid=192975 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) S 192975 192978 187238 0 -1 1077936192 5501 0 0 0 6 2 0 0 20 0 18 0 18775881 19430449152 14421 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18775886 19430449152 14421 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=18975048 memory=3834591019379458080 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18775887 19430449152 14421 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57684 KiB

[startup+0.214795 s]*
/proc/loadavg: 4.34 4.49 4.40 7/324 192996
/proc/meminfo: memFree=101881148/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=18975048 memory=68252 CPUtime=0.33 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 7300 0 0 0 29 4 0 0 20 0 18 0 18775881 19430449152 17063 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4743762 17063 5823 1 0 551611 0
[pid=192978/tid=192980] ppid=192975 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 5892 0 0 0 16 3 0 0 20 0 18 0 18775881 19430449152 17063 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=18975048 memory=1361999 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18775886 19430449152 17063 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18775887 19430449152 17063 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68252 KiB

[startup+0.328796 s]*
/proc/loadavg: 4.34 4.49 4.40 7/324 192996
/proc/meminfo: memFree=101868508/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=18975048 memory=79124 CPUtime=0.54 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 7452 0 0 0 50 4 0 0 20 0 18 0 18775881 19430449152 19781 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4743762 19781 5823 1 0 551687 0
[pid=192978/tid=192980] ppid=192975 vsize=18975048 memory=-8815340430219322044 CPUtime=0.3 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 5929 0 0 0 27 3 0 0 20 0 18 0 18775881 19430449152 19781 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18775886 19430449152 19781 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18775887 19430449152 19781 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79124 KiB

[startup+0.700807 s]
/proc/loadavg: 4.34 4.49 4.40 7/325 192997
/proc/meminfo: memFree=101843836/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19041612 memory=109068 CPUtime=1.2 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 9329 0 0 0 115 5 0 0 20 0 19 0 18775881 19498610688 27267 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4760403 27267 5823 1 0 553158 0
[pid=192978/tid=192980] ppid=192975 vsize=19041612 memory=5500 CPUtime=0.62 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 6018 0 0 0 59 3 0 0 20 0 19 0 18775881 19498610688 27267 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19041612 memory=11880 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18775886 19498610688 27267 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19041612 memory=280788990223016 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18775887 19498610688 27267 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18775927 19498610688 27267 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109068 KiB

[startup+1.50851 s]
/proc/loadavg: 4.34 4.49 4.40 6/325 192997
/proc/meminfo: memFree=101805880/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=177340 CPUtime=2.8 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 16085 0 0 0 272 8 0 0 20 0 20 0 18775881 19566772224 43823 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 43823 5834 1 0 555428 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=11880 CPUtime=1.4 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) S 192975 192978 187238 0 -1 1077936192 6472 0 0 0 135 5 0 0 20 0 20 0 18775881 19566772224 44335 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 44335 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 44335 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=280788990076176 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 44335 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177340 KiB

[startup+3.10679 s]
/proc/loadavg: 4.34 4.49 4.40 6/326 193000
/proc/meminfo: memFree=101596660/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=188260 CPUtime=5.97 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 22439 0 0 0 587 10 0 0 20 0 20 0 18775881 19566772224 47065 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 47065 5866 1 0 557864 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 7484 0 0 0 289 6 0 0 20 0 20 0 18775881 19566772224 47065 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 47065 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 47065 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 47065 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188260 KiB

[startup+6.3004 s]
/proc/loadavg: 4.31 4.48 4.39 5/326 193000
/proc/meminfo: memFree=101384072/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=379844 CPUtime=10.62 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 23969 0 0 0 1047 15 0 0 20 0 20 0 18775881 19566772224 94961 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 94961 5882 1 0 559099 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=11880 CPUtime=6.1 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 7609 0 0 0 600 10 0 0 20 0 20 0 18775881 19566772224 94961 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 94961 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 94961 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=177424 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 94961 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 379844 KiB

[startup+12.7004 s]
/proc/loadavg: 4.29 4.47 4.39 5/326 193001
/proc/meminfo: memFree=100923736/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=689204 CPUtime=17.32 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 29893 0 0 0 1707 25 0 0 20 0 20 0 18775881 19566772224 172301 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 172301 5882 1 0 559099 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=0 CPUtime=12.4 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 8612 0 0 0 1222 18 0 0 20 0 20 0 18775881 19566772224 172301 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 172301 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=689164 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 172301 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 172301 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 17.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 689204 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.48 4.40 5/326 193004
/proc/meminfo: memFree=100023764/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=1324140 CPUtime=30.39 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 35390 0 0 0 2993 46 0 0 20 0 20 0 18775881 19566772224 331035 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 331035 5882 1 0 559099 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=689164 CPUtime=25.11 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 10397 0 0 0 2474 37 0 0 20 0 20 0 18775881 19566772224 331035 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=-8815340430219322044 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 331035 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 331035 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 331035 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 30.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324140 KiB

[startup+51.1136 s]
/proc/loadavg: 4.31 4.46 4.39 8/326 193007
/proc/meminfo: memFree=99371692/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=1332348 CPUtime=55.83 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 40095 0 0 0 5525 58 0 0 20 0 20 0 18775881 19566772224 333087 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 333087 5882 1 0 559099 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=1332348 CPUtime=50.37 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 12465 0 0 0 4989 48 0 0 20 0 20 0 18775881 19566772224 333087 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 333087 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0

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

/proc/meminfo: memFree=107836080/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2181988 CPUtime=3269.76 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 177710 0 0 0 326039 937 0 0 20 0 20 0 18775881 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545497 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=75588 CPUtime=3237.76 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 78366 0 0 0 323039 737 0 0 20 0 20 0 18775881 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1627 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=2181984 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=2181988 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3642 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=2181988 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3269.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181988 KiB

[startup+3342.3 s]
/proc/loadavg: 3.17 3.51 3.92 3/270 194732
/proc/meminfo: memFree=112245176/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2181988 CPUtime=3329.51 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 180093 0 0 0 332000 951 0 0 20 0 20 0 18775881 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545497 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=2181988 CPUtime=3297.14 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 79871 0 0 0 328966 748 0 0 20 0 20 0 18775881 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1645 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=2181988 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=2181988 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3699 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=37104 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545497 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3329.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181988 KiB

[startup+3402.3 s]
/proc/loadavg: 2.62 3.29 3.82 3/270 194743
/proc/meminfo: memFree=112097088/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2182004 CPUtime=3389.52 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 183265 0 0 0 337984 968 0 0 20 0 20 0 18775881 19566772224 545501 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545501 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=2181988 CPUtime=3356.32 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 81344 0 0 0 334871 761 0 0 20 0 20 0 18775881 19566772224 545501 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1649 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545501 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=2181992 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3756 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545501 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=2181992 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545501 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3389.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182004 KiB

[startup+3462.3 s]
/proc/loadavg: 2.35 3.08 3.71 3/270 194922
/proc/meminfo: memFree=111948204/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2182012 CPUtime=3449.44 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 185695 0 0 0 343960 984 0 0 20 0 20 0 18775881 19566772224 545503 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545503 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=2181988 CPUtime=3415.84 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 82744 0 0 0 340810 774 0 0 20 0 20 0 18775881 19566772224 545503 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1652 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=2181992 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545503 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=75588 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3816 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545503 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=2296 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545503 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3449.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182012 KiB

[startup+3522.3 s]
/proc/loadavg: 2.29 2.93 3.62 3/271 194934
/proc/meminfo: memFree=111799640/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2182016 CPUtime=3509.35 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 188068 0 0 0 349935 1000 0 0 20 0 20 0 18775881 19566772224 545504 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545504 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=2182016 CPUtime=3475.25 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 84186 0 0 0 346738 787 0 0 20 0 20 0 18775881 19566772224 545504 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1656 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=2182012 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545504 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=11880 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3872 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545504 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=2182016 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545504 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3509.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182016 KiB

[startup+3582.3 s]
/proc/loadavg: 2.17 2.77 3.52 3/272 195004
/proc/meminfo: memFree=111652980/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2182028 CPUtime=3568.54 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 190400 0 0 0 355840 1014 0 0 20 0 20 0 18775881 19566772224 545507 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545507 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=25564 CPUtime=3533.83 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 85570 0 0 0 352585 798 0 0 20 0 20 0 18775881 19566772224 545507 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1742 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=2182028 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545507 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3930 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545507 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=11412 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545507 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3568.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.8 s]
/proc/loadavg: 2.23 2.73 3.48 3/272 195009
/proc/meminfo: memFree=111569800/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19108176 memory=2182036 CPUtime=3600.01 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 191664 0 0 0 358977 1024 0 0 20 0 20 0 18775881 19566772224 545509 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4777044 545509 5882 1 0 560081 0
[pid=192978/tid=192980] ppid=192975 vsize=19108176 memory=32824 CPUtime=3564.98 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) R 192975 192978 187238 0 -1 4194368 85999 0 0 0 355692 806 0 0 20 0 20 0 18775881 19566772224 545509 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1744 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19108176 memory=19192 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18775886 19566772224 545509 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19108176 memory=2182036 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3987 0 0 0 0 0 0 0 20 0 20 0 18775887 19566772224 545509 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192997] ppid=192975 vsize=19108176 memory=37104 CPUtime=0 cores=0,2
/proc/192978/task/192997/stat : 192997 (Timer-0) S 192975 192978 187238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18775927 19566772224 545509 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.02 s, system=10.2591 s

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

[startup+3614 s]*
/proc/loadavg: 2.23 2.73 3.48 5/274 195013
/proc/meminfo: memFree=111566608/131655788 swapFree=131070192/131071996
[pid=192978] ppid=192975 vsize=19307868 memory=2183076 CPUtime=3600.26 cores=0,2
/proc/192978/stat : 192978 (java) S 192975 192978 187238 0 -1 1077936128 194785 0 0 0 359002 1024 0 0 20 0 21 0 18775881 19771256832 545769 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
/proc/192978/statm: 4826967 545769 5879 1 0 561014 0
[pid=192978/tid=192980] ppid=192975 vsize=19307868 memory=-9032647904038003388 CPUtime=3565.01 cores=0,2
/proc/192978/task/192980/stat : 192980 (java) S 192975 192978 187238 0 -1 1077936192 86395 0 0 0 355695 806 0 0 20 0 21 0 18775881 19771256832 545769 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1748 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192989] ppid=192975 vsize=19307868 memory=1469645082924843353 CPUtime=0 cores=0,2
/proc/192978/task/192989/stat : 192989 (Finalizer) S 192975 192978 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18775886 19771256832 545778 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=192996] ppid=192975 vsize=19307868 memory=1363778 CPUtime=0 cores=0,2
/proc/192978/task/192996/stat : 192996 (Common-Cleaner) S 192975 192978 187238 0 -1 1077936192 3987 0 0 0 0 0 0 0 20 0 16 0 18775887 19771256832 545762 134679101440 94746136293376 94746136297072 140736559544528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94746136304888 94746136305680 94746142879744 140736559547307 140736559547489 140736559547489 140736559554504 0
[pid=192978/tid=195011] ppid=192975 vsize=0 memory=198340509722 CPUtime=0.15 cores=0,2
/proc/192978/task/195011/stat : 195011 (Thread-0) X 192975 192978 187238 0 -1 4194372 420 0 0 0 15 0 0 0 20 0 16 0 19137262 0 0 134679101440 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2183076 KiB

Child status: 143

Real time (s): 3614.03
CPU time (s): 3600.28
CPU user time (s): 3590.02
CPU system time (s): 10.2591
CPU usage (%): 99.6196
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2183076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.02
system time used= 10.2591
maximum resident set size= 2184148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11246816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113996
involuntary context switches= 27000


# summary of solver processes directly reported to runsolver:
#   pid: 192978
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3590.02
#   total CPU system time (s): 10.2591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3497 second user time and 39.8167 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 15:31:10
IDJOB=4450552
IDBENCH=162158
IDSOLVER=3079
FILE ID=nodeC002/4450552-1721827870
RUNJOBID= nodeC002-1721820325-187248
SLURM_JOB_ID= 7891441
Free space on /tmp= 723776 MiB

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

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

MD5SUM BENCH= 47ea31a7c9031906789706eba8e52740
RANDOM SEED=1173110531

nodeC002.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		: 3491.765
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.43
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		: 3662.774
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.41
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.166
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.43
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.298
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.41
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		: 3655.840
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.43
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		: 3671.643
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.41
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.189
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.43
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.259
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        101930712 kB
MemAvailable:   111800196 kB
Buffers:          260044 kB
Cached:         10422776 kB
SwapCached:           72 kB
Active:          2221136 kB
Inactive:       26873840 kB
Active(anon):       1560 kB
Inactive(anon): 18464564 kB
Active(file):    2219576 kB
Inactive(file):  8409276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:            161456 kB
Writeback:             0 kB
AnonPages:      18410924 kB
Mapped:           123924 kB
Shmem:             53844 kB
KReclaimable:     161664 kB
Slab:             279860 kB
SReclaimable:     161664 kB
SUnreclaim:       118196 kB
KernelStack:        4960 kB
PageTables:        46164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   20668872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18001920 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

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