Trace number 4450732

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.3 3618.62

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-3.opb
MD5SUM3a6a9e178c68ea233cbdb43dd005ad2a
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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.14/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.14	c See www.sat4j.org for details.
0.14/0.15	c version CUSTOM.v20240707
0.14/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.19	c java.vm.version	22.0.1+8-16
0.14/0.19	c java.vm.vendor	Oracle Corporation
0.14/0.19	c sun.arch.data.model	64
0.14/0.19	c java.version		22.0.1
0.14/0.19	c os.name		Linux
0.14/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.19	c os.arch		amd64
0.14/0.19	c Free memory 		2113181440
0.14/0.19	c Max memory 		16282288128
0.14/0.19	c Total memory 		2122317824
0.14/0.19	c Number of processors 	2
0.28/0.30	--- Begin Solver configuration ---
0.28/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.30	Learn all clauses as in MiniSAT
0.28/0.30	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	Expensive reason simplification
0.28/0.30	Glucose 2.1 dynamic restart strategy
0.28/0.30	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.28/0.30	timeout=2147483s
0.28/0.30	DB Simplification allowed=false
0.28/0.30	Listener: none
0.28/0.30	--- End Solver configuration ---
0.28/0.30	c Pseudo Boolean Optimization by upper bound
0.28/0.30	c --- Begin Solver configuration ---
0.28/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.30	c Learn all clauses as in MiniSAT
0.28/0.30	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	c Expensive reason simplification
0.28/0.30	c Glucose 2.1 dynamic restart strategy
0.28/0.30	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.28/0.30	c timeout=2147483s
0.28/0.30	c DB Simplification allowed=false
0.28/0.30	c Listener: none
0.28/0.30	c --- End Solver configuration ---
0.28/0.30	c solving HOME/instance-4450732-1721828289.opb
0.28/0.30	c reading problem ... 
0.28/0.31	c using VERIPB proof format
0.28/0.31	c  no objective function found
0.97/0.65	c ... done. Wall clock time 0.345s.
0.97/0.65	c declared #vars     4288
0.97/0.65	c #constraints  10848
0.97/0.65	c constraints type 
0.97/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.97/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.97/0.65	c org.sat4j.specs.Constr$1 => 920
0.97/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.97/0.65	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.97/0.65	c 10848 constraints processed.
3.31/1.85	c cleaning 2496 clauses out of 4998 with flag 15756/5000
4.49/2.48	c cleaning 4242 clauses out of 8502 with flag 38266/11000
5.89/3.19	c cleaning 5624 clauses out of 11260 with flag 66291/18000
7.26/3.89	c cleaning 6765 clauses out of 13636 with flag 101748/26000
8.82/4.65	c cleaning 7935 clauses out of 15871 with flag 142613/35000
9.97/5.51	c cleaning 8938 clauses out of 17936 with flag 189927/45000
11.05/6.44	c cleaning 9960 clauses out of 19998 with flag 246341/56000
12.75/8.16	c cleaning 11009 clauses out of 22039 with flag 306461/68001
14.22/9.54	c cleaning 12005 clauses out of 24029 with flag 377421/81000
15.52/10.88	c cleaning 12981 clauses out of 26026 with flag 454439/95002
17.03/12.31	c cleaning 14007 clauses out of 28045 with flag 535658/110002
18.53/13.85	c cleaning 15008 clauses out of 30037 with flag 625472/126001
20.37/15.52	c cleaning 16007 clauses out of 32028 with flag 720482/143000
22.28/17.25	c cleaning 16993 clauses out of 34021 with flag 822814/161000
24.10/19.10	c cleaning 18008 clauses out of 36028 with flag 932241/180000
26.18/21.06	c cleaning 18997 clauses out of 38021 with flag 1050627/200001
28.37/23.27	c cleaning 19986 clauses out of 40023 with flag 1172439/221000
30.56/25.46	c cleaning 21012 clauses out of 42039 with flag 1302411/243002
33.15/27.90	c cleaning 22006 clauses out of 44027 with flag 1434753/266002
35.74/30.51	c cleaning 23004 clauses out of 46019 with flag 1572560/290000
38.48/33.45	c cleaning 24004 clauses out of 48015 with flag 1717469/315000
41.18/36.14	c cleaning 24981 clauses out of 50011 with flag 1868262/341000
44.18/39.15	c cleaning 25973 clauses out of 52031 with flag 2027893/368001
47.35/42.35	c cleaning 27016 clauses out of 54058 with flag 2190823/396001
50.75/45.70	c cleaning 28007 clauses out of 56041 with flag 2365714/425000
54.34/49.30	c cleaning 28995 clauses out of 58034 with flag 2543698/455000
57.73/52.77	c cleaning 30007 clauses out of 60039 with flag 2730499/486000
61.63/56.61	c cleaning 30979 clauses out of 62032 with flag 2921188/518000
65.83/60.81	c cleaning 31997 clauses out of 64055 with flag 3118400/551002
69.94/65.23	c cleaning 32994 clauses out of 66056 with flag 3325274/585000
74.24/69.52	c cleaning 34012 clauses out of 68062 with flag 3536966/620000
78.83/74.16	c cleaning 34993 clauses out of 70050 with flag 3754494/656000
83.42/78.77	c cleaning 35980 clauses out of 72057 with flag 3978344/693000
88.21/83.58	c cleaning 36985 clauses out of 74077 with flag 4206336/731000
93.49/88.87	c cleaning 38029 clauses out of 76092 with flag 4441370/770000
98.79/94.79	c cleaning 39025 clauses out of 78063 with flag 4683574/810000
104.28/100.27	c cleaning 40003 clauses out of 80039 with flag 4932043/851001
110.37/106.38	c cleaning 41005 clauses out of 82038 with flag 5184531/893003
116.06/112.04	c cleaning 42000 clauses out of 84030 with flag 5444559/936000
122.34/118.33	c cleaning 43005 clauses out of 86031 with flag 5716802/980001
128.67/125.04	c cleaning 44005 clauses out of 88027 with flag 5991803/1025002
135.34/131.78	c cleaning 44994 clauses out of 90021 with flag 6270318/1071001
142.13/138.58	c cleaning 46002 clauses out of 92028 with flag 6556019/1118002
149.42/145.80	c cleaning 46983 clauses out of 94025 with flag 6846199/1166001
156.82/153.25	c cleaning 47993 clauses out of 96041 with flag 7136846/1215000
164.10/161.04	c cleaning 48990 clauses out of 98049 with flag 7440325/1265001
172.19/169.11	c cleaning 49997 clauses out of 100058 with flag 7747625/1316000
180.07/177.11	c cleaning 51004 clauses out of 102061 with flag 8064608/1368000
188.28/185.74	c cleaning 52006 clauses out of 104057 with flag 8383930/1421000
197.06/194.56	c cleaning 53014 clauses out of 106051 with flag 8713674/1475000
205.84/203.30	c cleaning 53980 clauses out of 108037 with flag 9047593/1530000
214.72/212.20	c cleaning 55015 clauses out of 110058 with flag 9388659/1586001
223.82/221.95	c cleaning 55996 clauses out of 112042 with flag 9735231/1643000
233.40/231.56	c cleaning 56953 clauses out of 114046 with flag 10081159/1701000
243.30/241.40	c cleaning 58026 clauses out of 116093 with flag 10432728/1760000
253.76/252.47	c cleaning 59025 clauses out of 118067 with flag 10792087/1820000
264.56/263.21	c cleaning 59965 clauses out of 120043 with flag 11155852/1881001
275.83/274.52	c cleaning 60983 clauses out of 122077 with flag 11527201/1943000
288.23/287.01	c cleaning 62016 clauses out of 124094 with flag 11905693/2006000
300.01/298.82	c cleaning 62971 clauses out of 126078 with flag 12297303/2070000
312.04/310.90	c cleaning 64014 clauses out of 128107 with flag 12692470/2135000
324.77/323.64	c cleaning 65018 clauses out of 130094 with flag 13086388/2201001
337.79/336.69	c cleaning 66020 clauses out of 132075 with flag 13485509/2268000
351.10/349.94	c cleaning 67029 clauses out of 134058 with flag 13892369/2336003
364.72/363.52	c cleaning 68006 clauses out of 136026 with flag 14307215/2405000
378.80/377.62	c cleaning 68998 clauses out of 138020 with flag 14721931/2475000
393.14/391.90	c cleaning 69969 clauses out of 140022 with flag 15141688/2546000
407.62/406.45	c cleaning 70983 clauses out of 142054 with flag 15565665/2618001
422.67/421.41	c cleaning 71971 clauses out of 144070 with flag 15997252/2691000
438.00/436.83	c cleaning 73032 clauses out of 146100 with flag 16435287/2765001
453.52/452.40	c cleaning 74008 clauses out of 148067 with flag 16878986/2840000
469.64/468.79	c cleaning 74997 clauses out of 150062 with flag 17329824/2916003
486.08/485.14	c cleaning 75967 clauses out of 152062 with flag 17792329/2993000
503.28/502.40	c cleaning 77020 clauses out of 154097 with flag 18250873/3071002
520.63/519.72	c cleaning 78011 clauses out of 156076 with flag 18717748/3150001
538.21/537.36	c cleaning 79023 clauses out of 158064 with flag 19188766/3230000
555.87/555.05	c cleaning 80003 clauses out of 160042 with flag 19670913/3311001
573.96/573.19	c cleaning 80979 clauses out of 162038 with flag 20158143/3393000
592.57/591.98	c cleaning 82001 clauses out of 164059 with flag 20650650/3476000
611.90/611.27	c cleaning 82987 clauses out of 166058 with flag 21152491/3560000
631.54/630.82	c cleaning 83993 clauses out of 168071 with flag 21658547/3645000
651.68/651.29	c cleaning 85002 clauses out of 170078 with flag 22167248/3731000
671.92/671.46	c cleaning 86008 clauses out of 172076 with flag 22683031/3818000
692.55/692.33	c cleaning 87017 clauses out of 174068 with flag 23205749/3906000
713.75/713.72	c cleaning 87990 clauses out of 176052 with flag 23734480/3995001
734.84/734.80	c cleaning 89002 clauses out of 178062 with flag 24269493/4085001
757.03/757.75	c cleaning 90016 clauses out of 180060 with flag 24808477/4176001
779.83/780.58	c cleaning 90990 clauses out of 182043 with flag 25353133/4268000
802.75/803.54	c cleaning 91980 clauses out of 184054 with flag 25895167/4361001
825.70/826.54	c cleaning 92963 clauses out of 186073 with flag 26451869/4455000
850.20/851.80	c cleaning 94009 clauses out of 188110 with flag 27007828/4550000
873.85/875.70	c cleaning 95015 clauses out of 190101 with flag 27572125/4646000
898.88/901.00	c cleaning 96006 clauses out of 192087 with flag 28142564/4743001
924.08/926.45	c cleaning 97006 clauses out of 194083 with flag 28720758/4841003
949.44/951.88	c cleaning 98002 clauses out of 196075 with flag 29304077/4940001
975.02/977.50	c cleaning 99025 clauses out of 198072 with flag 29894593/5040000
1001.55/1004.09	c cleaning 99976 clauses out of 200047 with flag 30486969/5141000
1028.43/1031.04	c cleaning 100987 clauses out of 202072 with flag 31083521/5243001
1055.55/1058.31	c cleaning 102026 clauses out of 204084 with flag 31693552/5346000
1083.15/1086.20	c cleaning 102986 clauses out of 206058 with flag 32306091/5450000
1111.32/1114.44	c cleaning 104006 clauses out of 208072 with flag 32926063/5555000
1139.92/1143.06	c cleaning 105029 clauses out of 210066 with flag 33550678/5661000
1169.03/1172.27	c cleaning 106008 clauses out of 212037 with flag 34176154/5768000
1199.00/1202.48	c cleaning 106971 clauses out of 214029 with flag 34807332/5876000
1229.77/1233.25	c cleaning 107974 clauses out of 216058 with flag 35441950/5985000
1259.86/1263.51	c cleaning 109019 clauses out of 218084 with flag 36083935/6095000
1291.59/1295.57	c cleaning 110014 clauses out of 220067 with flag 36725082/6206002
1323.95/1328.02	c cleaning 111022 clauses out of 222053 with flag 37373215/6318002
1355.89/1360.28	c cleaning 112002 clauses out of 224029 with flag 38030999/6431000
1388.31/1393.02	c cleaning 113002 clauses out of 226027 with flag 38695981/6545000
1421.82/1427.18	c cleaning 114004 clauses out of 228029 with flag 39365560/6660004
1455.84/1461.33	c cleaning 114994 clauses out of 230021 with flag 40038666/6776000
1490.21/1495.76	c cleaning 116004 clauses out of 232030 with flag 40716603/6893003
1524.93/1530.67	c cleaning 116952 clauses out of 234024 with flag 41399351/7011001
1560.57/1566.46	c cleaning 118028 clauses out of 236072 with flag 42088393/7130001
1596.87/1603.24	c cleaning 118980 clauses out of 238043 with flag 42781525/7250000
1634.22/1640.65	c cleaning 120021 clauses out of 240063 with flag 43485777/7371000
1671.19/1677.70	c cleaning 121007 clauses out of 242042 with flag 44196776/7493000
1709.05/1715.91	c cleaning 122006 clauses out of 244035 with flag 44911904/7616000
1747.14/1754.19	c cleaning 122986 clauses out of 246030 with flag 45638582/7740001
1785.91/1793.10	c cleaning 124017 clauses out of 248044 with flag 46363942/7865001
1825.21/1832.41	c cleaning 124978 clauses out of 250026 with flag 47095427/7991000
1865.59/1872.83	c cleaning 126001 clauses out of 252048 with flag 47836804/8118000
1906.53/1914.16	c cleaning 127019 clauses out of 254047 with flag 48578475/8246000
1948.78/1956.50	c cleaning 127987 clauses out of 256029 with flag 49314854/8375001
1991.26/1999.20	c cleaning 129012 clauses out of 258041 with flag 50061552/8505000
2033.89/2042.27	c cleaning 129983 clauses out of 260029 with flag 50815387/8636000
2076.00/2084.69	c cleaning 130985 clauses out of 262046 with flag 51577021/8768000
2118.97/2127.98	c cleaning 132021 clauses out of 264062 with flag 52347759/8901001
2163.10/2172.36	c cleaning 133013 clauses out of 266041 with flag 53117630/9035001
2207.30/2216.90	c cleaning 133985 clauses out of 268028 with flag 53899215/9170001
2252.33/2262.07	c cleaning 135014 clauses out of 270042 with flag 54680197/9306000
2298.40/2308.92	c cleaning 135986 clauses out of 272029 with flag 55470598/9443001
2344.51/2355.15	c cleaning 136966 clauses out of 274047 with flag 56269104/9581005
2390.33/2401.58	c cleaning 138033 clauses out of 276077 with flag 57068268/9720001
2438.16/2449.44	c cleaning 138997 clauses out of 278043 with flag 57878116/9860000
2487.67/2499.19	c cleaning 140020 clauses out of 280046 with flag 58685633/10001000
2537.56/2549.07	c cleaning 141009 clauses out of 282026 with flag 59496146/10143000
2587.50/2599.24	c cleaning 141999 clauses out of 284017 with flag 60322926/10286000
2637.48/2649.49	c cleaning 143006 clauses out of 286018 with flag 61150751/10430000
2689.34/2702.03	c cleaning 143991 clauses out of 288012 with flag 61984415/10575000
2740.99/2754.00	c cleaning 144967 clauses out of 290021 with flag 62823046/10721000
2793.41/2806.55	c cleaning 145987 clauses out of 292054 with flag 63667155/10868000
2846.98/2860.40	c cleaning 147005 clauses out of 294067 with flag 64516548/11016000
2899.00/2912.50	c cleaning 147983 clauses out of 296062 with flag 65366070/11165000
2948.77/2962.42	c cleaning 149026 clauses out of 298079 with flag 66230238/11315000
2999.15/3012.82	c cleaning 150005 clauses out of 300054 with flag 67096557/11466001
3050.49/3064.24	c cleaning 150970 clauses out of 302048 with flag 67974855/11618000
3104.06/3120.27	c cleaning 152005 clauses out of 304079 with flag 68852457/11771001
3157.13/3173.32	c cleaning 152992 clauses out of 306073 with flag 69730551/11925000
3211.13/3227.45	c cleaning 154005 clauses out of 308081 with flag 70609203/12080000
3265.19/3282.17	c cleaning 155006 clauses out of 310076 with flag 71504312/12236000
3320.17/3337.23	c cleaning 155992 clauses out of 312071 with flag 72403050/12393001
3375.67/3392.82	c cleaning 157027 clauses out of 314078 with flag 73302210/12551000
3433.41/3450.97	c cleaning 158003 clauses out of 316053 with flag 74210660/12710002
3490.68/3508.71	c cleaning 158999 clauses out of 318050 with flag 75126969/12870002
3548.38/3566.62	c cleaning 159991 clauses out of 320049 with flag 76048911/13031000
3600.09/3618.52	c timeout
3600.09/3618.52	c starts		: 109466
3600.09/3618.53	c conflicts		: 13180846
3600.09/3618.53	c decisions		: 110917611
3600.09/3618.53	c propagations		: 1692108538
3600.09/3618.53	c inspects		: 38404149926
3600.09/3618.53	c shortcuts		: 0
3600.09/3618.53	c learnt literals	: 2
3600.09/3618.53	c learnt binary clauses	: 81
3600.09/3618.53	c learnt ternary clauses	: 922
3600.09/3618.53	c learnt constraints	: 13180844
3600.09/3618.53	c ignored constraints	: 0
3600.09/3618.53	c root simplifications	: 0
3600.09/3618.53	c removed literals (reason simplification)	: 12764919
3600.09/3618.53	c reason swapping (by a shorter reason)	: 0
3600.09/3618.53	c Calls to reduceDB	: 157
3600.09/3618.53	c Number of update (reduction) of LBD	: 2798023
3600.09/3618.53	c Imported unit clauses	: 0
3600.09/3618.53	c No decision after first conflict	: false
3600.09/3618.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3618.53	c number of learned constraints concerned by reduction	: 0
3600.09/3618.53	c number of learning phase by resolution	: 0
3600.09/3618.53	c number of learning phase by cutting planes	: 0
3600.09/3618.53	c number of rounding to 1 operations	: 0
3600.09/3618.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3618.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3618.53	c number of right shift for reduction by power 2 	: 0
3600.09/3618.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3618.53	c number of ending skipping 	: 0
3600.09/3618.53	c number of internal skipping 	: 0
3600.09/3618.53	c number of derivation steps 	: 0
3600.09/3618.53	c number of skipped derivation steps 	: 0
3600.09/3618.53	c number of remaining unassigned 	: 0
3600.09/3618.53	c number of remaining assigned 	: 0
3600.09/3618.53	c number of falsified literals weakened from reason	: 0
3600.09/3618.53	c number of falsified literals weakened from conflict	: 0
3600.09/3618.53	c time for arithmetic operations	: 0
3600.09/3618.53	c minimum degree of deleted constraints	: null
3600.09/3618.53	c maximum degree of deleted constraints	: null
3600.09/3618.53	c number of deleted constraints	: 0
3600.09/3618.53	c speed (assignments/second)	: 467709.53065650375
3600.09/3618.53	c non guided choices	: 46401
3600.27/3618.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309823
3600.27/3618.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 81
3600.27/3618.60	s UNKNOWN
3600.27/3618.60	c Total wall clock time (in seconds): 3618.302

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: 64059 MiB (11657 MiB free)
  memory of node 1: 64510 MiB (52152 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=236387, runsolver pid=236384

[startup+0.10497 s]*
/proc/loadavg: 4.33 4.33 4.28 7/316 236405
/proc/meminfo: memFree=65305584/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=18993908 memory=57564 CPUtime=0.14 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 6607 0 0 0 11 3 0 0 20 0 18 0 18818267 19449761792 14391 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4748477 14391 5918 1 0 550900 0
[pid=236387/tid=236389] ppid=236384 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 5536 0 0 0 7 1 0 0 20 0 18 0 18818268 19449761792 14391 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18818272 19449761792 14391 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=18993908 memory=3618136736603272068 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18818273 19449761792 14391 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57564 KiB

[startup+0.22098 s]*
/proc/loadavg: 4.33 4.33 4.28 5/316 236405
/proc/meminfo: memFree=65294232/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=18993908 memory=66420 CPUtime=0.28 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 7262 0 0 0 25 3 0 0 20 0 18 0 18818267 19449761792 16605 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4748477 16605 5927 1 0 551419 0
[pid=236387/tid=236389] ppid=236384 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 5809 0 0 0 17 2 0 0 20 0 18 0 18818268 19449761792 16605 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=18993908 memory=952865 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18818272 19449761792 16605 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18818273 19449761792 16605 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66420 KiB

[startup+0.318618 s]*
/proc/loadavg: 4.33 4.33 4.28 5/316 236405
/proc/meminfo: memFree=65291488/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=18993908 memory=67252 CPUtime=0.44 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 7540 0 0 0 40 4 0 0 20 0 18 0 18818267 19449761792 16813 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4748477 16813 5942 1 0 551624 0
[pid=236387/tid=236389] ppid=236384 vsize=18993908 memory=-8887123129271034556 CPUtime=0.27 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 1077936192 5971 0 0 0 25 2 0 0 20 0 18 0 18818268 19449761792 16813 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18818272 19449761792 16813 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18818273 19449761792 16813 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67252 KiB

[startup+0.702766 s]
/proc/loadavg: 4.33 4.33 4.28 7/316 236405
/proc/meminfo: memFree=65271952/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19060472 memory=104144 CPUtime=1.14 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 9384 0 0 0 109 5 0 0 20 0 19 0 18818267 19517923328 26036 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4765118 26036 6084 1 0 553079 0
[pid=236387/tid=236389] ppid=236384 vsize=19060472 memory=5640 CPUtime=0.59 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 6108 0 0 0 56 3 0 0 20 0 19 0 18818268 19517923328 26036 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18818272 19517923328 26036 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19060472 memory=4957 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18818273 19517923328 26036 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 104144 KiB

[startup+1.50156 s]
/proc/loadavg: 4.33 4.33 4.28 6/317 236406
/proc/meminfo: memFree=65235580/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19060472 memory=155284 CPUtime=2.72 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 17503 0 0 0 264 8 0 0 20 0 19 0 18818267 19517923328 38821 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4765118 38821 6116 1 0 555827 0
[pid=236387/tid=236389] ppid=236384 vsize=19060472 memory=4957 CPUtime=1.28 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 6725 0 0 0 125 3 0 0 20 0 19 0 18818268 19517923328 38821 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18818272 19517923328 38821 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18818273 19517923328 38821 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18818335 19517923328 38821 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 155284 KiB

[startup+3.10696 s]
/proc/loadavg: 4.33 4.33 4.28 6/318 236407
/proc/meminfo: memFree=65127784/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=188072 CPUtime=5.89 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 23287 0 0 0 580 9 0 0 20 0 20 0 18818267 19586084864 47018 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 47018 6148 1 0 557840 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=12240 CPUtime=2.83 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 7647 0 0 0 279 4 0 0 20 0 20 0 18818268 19586084864 47018 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 47018 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 47018 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 47018 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 188072 KiB

[startup+6.30097 s]
/proc/loadavg: 4.30 4.32 4.28 5/318 236409
/proc/meminfo: memFree=64896272/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=427080 CPUtime=10.95 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 27680 0 0 0 1079 16 0 0 20 0 20 0 18818267 19586084864 106770 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 106770 6148 1 0 561069 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=0 CPUtime=5.97 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 7989 0 0 0 587 10 0 0 20 0 20 0 18818268 19586084864 106770 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 106770 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=271432 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 106770 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=953103 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 106770 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 427080 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.33 4.28 6/318 236409
/proc/meminfo: memFree=64534084/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=728548 CPUtime=17.43 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 31763 0 0 0 1717 26 0 0 20 0 20 0 18818267 19586084864 182137 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 182137 6164 1 0 561069 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=695780 CPUtime=12.31 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 9441 0 0 0 1211 20 0 0 20 0 20 0 18818268 19586084864 182137 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=660956 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 182137 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=660964 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 182137 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 182137 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 17.43 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 728548 KiB

[startup+25.5005 s]
/proc/loadavg: 4.50 4.37 4.29 5/318 236412
/proc/meminfo: memFree=63645364/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=1332852 CPUtime=30.66 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 38119 0 0 0 3022 44 0 0 20 0 20 0 18818267 19586084864 333213 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 333213 6164 1 0 561069 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=660964 CPUtime=25.03 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 11463 0 0 0 2467 36 0 0 20 0 20 0 18818268 19586084864 333213 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=1332852 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 333213 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 333213 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 333213 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 30.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1332852 KiB

[startup+51.1131 s]
/proc/loadavg: 4.67 4.42 4.31 5/318 236415
/proc/meminfo: memFree=63259612/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=1341068 CPUtime=56.15 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 45297 0 0 0 5562 53 0 0 20 0 20 0 18818267 19586084864 335267 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 335267 6164 1 0 561069 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=1339020 CPUtime=50.27 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 14067 0 0 0 4983 44 0 0 20 0 20 0 18818268 19586084864 335267 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 335267 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 335267 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0

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

[startup+3282.3 s]
/proc/loadavg: 1.17 1.93 3.10 2/243 238357
/proc/meminfo: memFree=110303908/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195364 CPUtime=3265.38 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 168885 0 0 0 325714 824 0 0 20 0 20 0 18818267 19586084864 548841 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548841 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=2195364 CPUtime=3232.32 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 76020 0 0 0 322596 636 0 0 20 0 20 0 18818268 19586084864 548841 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2345 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=2195364 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548841 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=70176 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 2871 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548841 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548841 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3265.38 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195364 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.77 2.97 2/242 238367
/proc/meminfo: memFree=110218560/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195368 CPUtime=3325.26 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 171112 0 0 0 331688 838 0 0 20 0 20 0 18818267 19586084864 548842 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548842 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=12240 CPUtime=3291.68 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 76875 0 0 0 328522 646 0 0 20 0 20 0 18818268 19586084864 548842 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2371 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=2232 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548842 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=2195368 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3013 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548842 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=2195368 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548842 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3325.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195368 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.64 2.85 2/242 238377
/proc/meminfo: memFree=110137636/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195372 CPUtime=3384.91 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 173517 0 0 0 337638 853 0 0 20 0 20 0 18818267 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548843 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=5640 CPUtime=3350.94 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 78326 0 0 0 334436 658 0 0 20 0 20 0 18818268 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2412 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=70176 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3018 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=2195372 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3384.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195372 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.55 2.74 2/239 238389
/proc/meminfo: memFree=110059632/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195372 CPUtime=3444.67 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 176086 0 0 0 343599 868 0 0 20 0 20 0 18818267 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548843 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=12240 CPUtime=3410.32 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 79646 0 0 0 340363 669 0 0 20 0 20 0 18818268 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2432 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=2195372 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3078 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=19856 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548843 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3444.67 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195372 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.47 2.63 2/239 238399
/proc/meminfo: memFree=109981776/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195376 CPUtime=3504.2 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 178526 0 0 0 349537 883 0 0 20 0 20 0 18818267 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548844 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=2195372 CPUtime=3469.38 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 81278 0 0 0 346257 681 0 0 20 0 20 0 18818268 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2490 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=2195372 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=2195372 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3134 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=2195376 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3504.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195376 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.39 2.53 2/239 238409
/proc/meminfo: memFree=109901316/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195376 CPUtime=3564.09 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 181106 0 0 0 355511 898 0 0 20 0 20 0 18818267 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548844 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=70176 CPUtime=3528.99 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 82712 0 0 0 352207 692 0 0 20 0 20 0 18818268 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2503 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=2195376 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3195 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=70176 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3564.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.5 s]
/proc/loadavg: 1.09 1.36 2.48 2/239 238415
/proc/meminfo: memFree=109860052/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19127036 memory=2195376 CPUtime=3600.09 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 181892 0 0 0 359104 905 0 0 20 0 20 0 18818267 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4781759 548844 6164 1 0 563023 0
[pid=236387/tid=236389] ppid=236384 vsize=19127036 memory=12264 CPUtime=3564.79 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) R 236384 236387 230684 0 -1 4194368 83368 0 0 0 355781 698 0 0 20 0 20 0 18818268 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2525 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19127036 memory=2195376 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18818272 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19127036 memory=2195376 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3254 0 0 0 0 0 0 0 20 0 20 0 18818273 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236406] ppid=236384 vsize=19127036 memory=2195376 CPUtime=0 cores=1,3
/proc/236387/task/236406/stat : 236406 (Timer-0) S 236384 236387 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18818335 19586084864 548844 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2195376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.22 s, system=9.07642 s

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

[startup+3618.6 s]
/proc/loadavg: 1.09 1.36 2.48 2/239 238415
/proc/meminfo: memFree=109860052/131655788 swapFree=131061124/131071996
[pid=236387] ppid=236384 vsize=19326728 memory=2196272 CPUtime=3600.27 cores=1,3
/proc/236387/stat : 236387 (java) S 236384 236387 230684 0 -1 1077936128 185251 0 0 0 359121 906 0 0 20 0 21 0 18818267 19790569472 549068 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
/proc/236387/statm: 4831682 549068 6163 1 0 563972 0
[pid=236387/tid=236389] ppid=236384 vsize=19326728 memory=-8887123129271034556 CPUtime=3564.81 cores=1,3
/proc/236387/task/236389/stat : 236389 (java) S 236384 236387 230684 0 -1 1077936192 83749 0 0 0 355783 698 0 0 20 0 21 0 18818268 19790569472 549068 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2527 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236398] ppid=236384 vsize=19326728 memory=1896 CPUtime=0 cores=1,3
/proc/236387/task/236398/stat : 236398 (Finalizer) S 236384 236387 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18818272 19790569472 549068 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
[pid=236387/tid=236405] ppid=236384 vsize=19326728 memory=19856 CPUtime=0 cores=1,3
/proc/236387/task/236405/stat : 236405 (Common-Cleaner) S 236384 236387 230684 0 -1 1077936192 3254 0 0 0 0 0 0 0 20 0 21 0 18818273 19790569472 549068 134679101440 94550262804480 94550262808176 140722862608800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94550262815992 94550262816784 94550263115776 140722862617519 140722862617701 140722862617701 140722862624712 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2196272 KiB

Child status: 143

Real time (s): 3618.62
CPU time (s): 3600.3
CPU user time (s): 3591.22
CPU system time (s): 9.07642
CPU usage (%): 99.4937
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2196272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 9.07642
maximum resident set size= 2197756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11829488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114201
involuntary context switches= 10348


# summary of solver processes directly reported to runsolver:
#   pid: 236387
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3591.22
#   total CPU system time (s): 9.07642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9519 second user time and 39.5188 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 15:38:09
IDJOB=4450732
IDBENCH=162225
IDSOLVER=3079
FILE ID=nodeC005/4450732-1721828289
RUNJOBID= nodeC005-1721820325-230696
SLURM_JOB_ID= 7891450
Free space on /tmp= 723772 MiB

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

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

MD5SUM BENCH= 3a6a9e178c68ea233cbdb43dd005ad2a
RANDOM SEED=1282150474

nodeC005.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		: 3649.572
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.14
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		: 1695.917
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.31
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.125
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.14
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.115
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.31
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.392
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.14
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		: 3609.175
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.31
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.282
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.14
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.252
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        65343132 kB
MemAvailable:   108487704 kB
Buffers:          254052 kB
Cached:         43636812 kB
SwapCached:          612 kB
Active:          2499452 kB
Inactive:       63045192 kB
Active(anon):       1608 kB
Inactive(anon): 21705480 kB
Active(file):    2497844 kB
Inactive(file): 41339712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:            251356 kB
Writeback:             0 kB
AnonPages:      21653372 kB
Mapped:           138392 kB
Shmem:             53264 kB
KReclaimable:     294092 kB
Slab:             413144 kB
SReclaimable:     294092 kB
SUnreclaim:       119052 kB
KernelStack:        4800 kB
PageTables:        52860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   22155636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21200896 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-24 16:38:27