Trace number 4452424

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 Default 2024-07-07? (TO) 3600.18 3601.7

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ns903616.0.u.opb
MD5SUM851dd7bb62635ec66e2461b484912a91
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 variables21582
Total number of constraints17547
Number of constraints which are clauses6313
Number of constraints which are cardinality constraints (but not clauses)344
Number of constraints which are nor clauses,nor cardinality constraints10890
Minimum length of a constraint1
Maximum length of a constraint221
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 221
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4452424-1721447535.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c  no objective function found
1.07/0.63	c ... done. Wall clock time 0.492s.
1.07/0.64	c declared #vars     21582
1.07/0.64	c #constraints  23698
1.07/0.64	c constraints type 
1.07/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5197
1.07/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8340
1.07/0.64	c org.sat4j.specs.Constr$1 => 3832
1.07/0.64	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1127
1.07/0.64	c org.sat4j.pb.constraints.pb.UnitClausePB => 862
1.07/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4340
1.07/0.64	c 23698 constraints processed.
3.25/1.79	c cleaning 2484 clauses out of 4999 with flag 28748/5000
4.40/2.44	c cleaning 4235 clauses out of 8511 with flag 72689/11000
5.21/3.17	c cleaning 5629 clauses out of 11272 with flag 138063/18000
6.42/4.15	c cleaning 6774 clauses out of 13638 with flag 229292/26001
7.66/5.17	c cleaning 7881 clauses out of 15863 with flag 328697/35002
8.75/6.28	c cleaning 8953 clauses out of 17977 with flag 428502/45001
10.25/7.72	c cleaning 9890 clauses out of 20023 with flag 554832/56001
11.45/8.97	c cleaning 10998 clauses out of 22129 with flag 664636/68000
12.85/10.36	c cleaning 12025 clauses out of 24129 with flag 784464/81000
14.60/12.03	c cleaning 13032 clauses out of 26101 with flag 923129/95000
16.39/13.88	c cleaning 14011 clauses out of 28062 with flag 1054955/110000
18.49/15.96	c cleaning 14964 clauses out of 30048 with flag 1198770/126000
20.51/17.95	c cleaning 15962 clauses out of 32081 with flag 1343408/143000
22.83/20.27	c cleaning 16970 clauses out of 34114 with flag 1495511/161000
25.13/22.53	c cleaning 18050 clauses out of 36141 with flag 1645732/180000
27.52/24.97	c cleaning 19038 clauses out of 38088 with flag 1791628/200001
30.23/27.64	c cleaning 19978 clauses out of 40045 with flag 1941841/221000
32.73/30.17	c cleaning 20987 clauses out of 42064 with flag 2100022/243000
35.51/32.99	c cleaning 22015 clauses out of 44073 with flag 2261679/266000
38.61/36.05	c cleaning 22983 clauses out of 46056 with flag 2431003/290002
41.90/39.37	c cleaning 24001 clauses out of 48070 with flag 2597745/315000
44.70/42.15	c cleaning 24976 clauses out of 50065 with flag 2756664/341001
47.78/45.27	c cleaning 26005 clauses out of 52086 with flag 2940570/368000
51.17/48.61	c cleaning 27032 clauses out of 54076 with flag 3123860/396000
54.27/51.79	c cleaning 28006 clauses out of 56042 with flag 3308374/425000
57.86/55.35	c cleaning 29000 clauses out of 58035 with flag 3497675/455002
61.95/59.41	c cleaning 30009 clauses out of 60031 with flag 3717480/486000
65.24/62.76	c cleaning 30974 clauses out of 62018 with flag 3901282/518000
69.23/66.70	c cleaning 31961 clauses out of 64043 with flag 4112590/551001
72.93/70.48	c cleaning 33012 clauses out of 66078 with flag 4321707/585000
77.12/74.60	c cleaning 34004 clauses out of 68065 with flag 4537829/620000
80.21/77.72	c cleaning 34992 clauses out of 70062 with flag 4751014/656002
83.90/81.45	c cleaning 35945 clauses out of 72069 with flag 4980892/693001
88.30/85.88	c cleaning 37040 clauses out of 74121 with flag 5220425/731001
91.78/89.32	c cleaning 37983 clauses out of 76077 with flag 5456825/770000
96.08/93.66	c cleaning 39013 clauses out of 78092 with flag 5701930/810000
101.57/99.16	c cleaning 39969 clauses out of 80077 with flag 5974961/851000
107.16/104.76	c cleaning 40936 clauses out of 82106 with flag 6249174/893000
112.45/110.01	c cleaning 42050 clauses out of 84172 with flag 6528334/936003
116.83/114.44	c cleaning 43015 clauses out of 86118 with flag 6777217/980000
121.92/119.52	c cleaning 44027 clauses out of 88102 with flag 7066404/1025000
127.22/124.80	c cleaning 45016 clauses out of 90074 with flag 7358742/1071000
132.62/130.25	c cleaning 46003 clauses out of 92057 with flag 7644909/1118000
137.21/134.83	c cleaning 46963 clauses out of 94055 with flag 7917460/1166001
143.00/140.65	c cleaning 47988 clauses out of 96088 with flag 8226918/1215000
149.59/147.21	c cleaning 49025 clauses out of 98100 with flag 8554579/1265000
155.68/153.36	c cleaning 49977 clauses out of 100074 with flag 8847513/1316000
161.78/159.41	c cleaning 51037 clauses out of 102095 with flag 9148465/1368000
166.87/164.51	c cleaning 52003 clauses out of 104059 with flag 9441646/1421001
173.25/170.99	c cleaning 52984 clauses out of 106054 with flag 9784866/1475000
180.63/178.37	c cleaning 53974 clauses out of 108068 with flag 10141157/1530002
187.27/184.96	c cleaning 55008 clauses out of 110092 with flag 10504228/1586001
194.57/192.20	c cleaning 55998 clauses out of 112084 with flag 10853333/1643001
202.35/200.05	c cleaning 57001 clauses out of 114084 with flag 11209830/1701001
210.23/207.98	c cleaning 58029 clauses out of 116083 with flag 11557194/1760002
220.18/217.80	c cleaning 59007 clauses out of 118051 with flag 11913689/1820000
227.87/225.51	c cleaning 59985 clauses out of 120044 with flag 12248913/1881000
235.87/233.51	c cleaning 60985 clauses out of 122056 with flag 12607766/1943000
244.25/241.96	c cleaning 61970 clauses out of 124072 with flag 12970580/2006001
252.69/250.37	c cleaning 63018 clauses out of 126101 with flag 13344150/2070000
262.67/260.37	c cleaning 64003 clauses out of 128081 with flag 13763872/2135000
271.47/269.16	c cleaning 65033 clauses out of 130079 with flag 14128593/2201001
279.85/277.58	c cleaning 66006 clauses out of 132047 with flag 14528664/2268002
288.81/286.44	c cleaning 66976 clauses out of 134040 with flag 14930088/2336001
297.51/295.17	c cleaning 67988 clauses out of 136060 with flag 15334776/2405000
306.49/304.18	c cleaning 68997 clauses out of 138071 with flag 15721446/2475000
315.87/313.50	c cleaning 70016 clauses out of 140075 with flag 16127402/2546001
325.69/323.30	c cleaning 71007 clauses out of 142058 with flag 16512802/2618000
335.28/332.97	c cleaning 72011 clauses out of 144050 with flag 16937116/2691000
344.96/342.62	c cleaning 72996 clauses out of 146039 with flag 17380772/2765000
355.42/353.06	c cleaning 73977 clauses out of 148043 with flag 17795485/2840000
366.10/363.72	c cleaning 74996 clauses out of 150065 with flag 18245798/2916000
375.19/372.82	c cleaning 76022 clauses out of 152071 with flag 18684298/2993002
387.58/385.22	c cleaning 77007 clauses out of 154047 with flag 19111098/3071000
399.02/396.68	c cleaning 77981 clauses out of 156041 with flag 19574049/3150001
411.80/409.42	c cleaning 78996 clauses out of 158057 with flag 20044464/3230000
422.09/419.73	c cleaning 80006 clauses out of 160062 with flag 20464858/3311001
435.24/432.80	c cleaning 81024 clauses out of 162055 with flag 20892215/3393000
448.52/446.18	c cleaning 81990 clauses out of 164031 with flag 21414680/3476000
462.19/459.83	c cleaning 82970 clauses out of 166041 with flag 21881449/3560001
476.81/474.43	c cleaning 83983 clauses out of 168070 with flag 22382787/3645000
488.46/486.16	c cleaning 84990 clauses out of 170088 with flag 22874567/3731001
501.92/499.60	c cleaning 86007 clauses out of 172098 with flag 23393147/3818001
514.68/512.39	c cleaning 87033 clauses out of 174089 with flag 23850429/3906000
527.97/525.68	c cleaning 88011 clauses out of 176056 with flag 24299143/3995000
543.14/540.86	c cleaning 88975 clauses out of 178046 with flag 24801983/4085001
558.13/555.86	c cleaning 90015 clauses out of 180069 with flag 25326905/4176001
572.45/570.10	c cleaning 90947 clauses out of 182052 with flag 25834189/4268000
587.12/584.84	c cleaning 92037 clauses out of 184105 with flag 26362390/4361000
602.57/600.20	c cleaning 93014 clauses out of 186067 with flag 26865592/4455000
617.85/615.54	c cleaning 94005 clauses out of 188055 with flag 27401381/4550002
634.81/632.52	c cleaning 94990 clauses out of 190048 with flag 27950841/4646000
655.77/653.53	c cleaning 96021 clauses out of 192058 with flag 28514666/4743000
674.31/672.07	c cleaning 97015 clauses out of 194037 with flag 29092529/4841000
690.57/688.30	c cleaning 97997 clauses out of 196021 with flag 29648956/4940001
706.54/704.35	c cleaning 98996 clauses out of 198024 with flag 30217362/5040001
724.81/722.60	c cleaning 99978 clauses out of 200028 with flag 30803397/5141002
741.28/739.09	c cleaning 101008 clauses out of 202049 with flag 31362680/5243001
759.14/756.97	c cleaning 101957 clauses out of 204041 with flag 31925552/5346001
778.70/776.58	c cleaning 102988 clauses out of 206083 with flag 32530403/5450000
798.09/796.10	c cleaning 104012 clauses out of 208095 with flag 33107292/5555001
816.94/815.03	c cleaning 104980 clauses out of 210082 with flag 33625913/5661001
838.59/836.73	c cleaning 106045 clauses out of 212101 with flag 34262066/5768001
860.34/858.54	c cleaning 106999 clauses out of 214055 with flag 34903670/5876000
880.51/878.64	c cleaning 108025 clauses out of 216056 with flag 35484339/5985000
899.88/898.02	c cleaning 109005 clauses out of 218031 with flag 36058913/6095000
919.33/917.54	c cleaning 110000 clauses out of 220026 with flag 36624731/6206000
939.79/938.01	c cleaning 111000 clauses out of 222027 with flag 37244754/6318001
960.72/958.95	c cleaning 112002 clauses out of 224025 with flag 37832794/6431000
978.39/976.66	c cleaning 112973 clauses out of 226023 with flag 38391349/6545001
1000.44/998.72	c cleaning 113976 clauses out of 228049 with flag 38979315/6660000
1020.81/1019.16	c cleaning 115019 clauses out of 230073 with flag 39562610/6776001
1045.35/1043.77	c cleaning 116020 clauses out of 232054 with flag 40178528/6893001
1066.21/1064.56	c cleaning 116983 clauses out of 234033 with flag 40788808/7011000
1084.48/1082.82	c cleaning 118013 clauses out of 236051 with flag 41358084/7130001
1105.75/1104.11	c cleaning 119008 clauses out of 238037 with flag 41964138/7250001
1124.62/1123.07	c cleaning 120003 clauses out of 240030 with flag 42654311/7371002
1143.68/1142.17	c cleaning 121003 clauses out of 242025 with flag 43305029/7493001
1164.24/1162.78	c cleaning 121996 clauses out of 244021 with flag 43897146/7616000
1186.49/1185.00	c cleaning 123004 clauses out of 246025 with flag 44540590/7740001
1208.45/1206.97	c cleaning 123971 clauses out of 248020 with flag 45160921/7865000
1228.01/1226.50	c cleaning 125010 clauses out of 250050 with flag 45806160/7991001
1248.28/1246.87	c cleaning 126002 clauses out of 252039 with flag 46419240/8118000
1269.82/1268.44	c cleaning 126988 clauses out of 254039 with flag 47131091/8246002
1291.58/1290.22	c cleaning 128002 clauses out of 256051 with flag 47823067/8375002
1316.78/1315.36	c cleaning 129011 clauses out of 258047 with flag 48522506/8505000
1339.74/1338.36	c cleaning 130003 clauses out of 260036 with flag 49147432/8636000
1361.60/1360.28	c cleaning 130987 clauses out of 262035 with flag 49778817/8768002
1384.56/1383.20	c cleaning 132006 clauses out of 264046 with flag 50473754/8901000
1406.12/1404.84	c cleaning 133004 clauses out of 266041 with flag 51146934/9035001
1431.00/1429.60	c cleaning 133963 clauses out of 268036 with flag 51866048/9170000
1455.49/1454.37	c cleaning 134978 clauses out of 270073 with flag 52607133/9306000
1481.03/1480.09	c cleaning 136029 clauses out of 272095 with flag 53329077/9443001
1503.58/1502.63	c cleaning 137024 clauses out of 274065 with flag 54066077/9581001
1528.52/1527.63	c cleaning 138008 clauses out of 276040 with flag 54796300/9720000
1553.86/1552.63	c cleaning 139004 clauses out of 278033 with flag 55549054/9860001
1578.12/1576.92	c cleaning 139998 clauses out of 280028 with flag 56282418/10001000
1606.07/1604.91	c cleaning 141008 clauses out of 282030 with flag 57021919/10143001
1634.92/1633.82	c cleaning 142000 clauses out of 284022 with flag 57754284/10286001
1665.84/1664.70	c cleaning 143000 clauses out of 286023 with flag 58530845/10430002
1690.99/1689.93	c cleaning 143993 clauses out of 288021 with flag 59252900/10575000
1716.72/1715.72	c cleaning 144972 clauses out of 290028 with flag 59995925/10721000
1745.07/1744.13	c cleaning 146016 clauses out of 292056 with flag 60785245/10868000
1778.90/1778.05	c cleaning 147014 clauses out of 294041 with flag 61495032/11016001
1812.74/1811.89	c cleaning 147998 clauses out of 296027 with flag 62300551/11165001
1846.47/1845.64	c cleaning 149000 clauses out of 298029 with flag 63219451/11315001
1876.21/1875.42	c cleaning 149999 clauses out of 300028 with flag 64027319/11466000
1906.44/1905.70	c cleaning 151007 clauses out of 302030 with flag 64788236/11618001
1935.91/1935.19	c cleaning 152010 clauses out of 304024 with flag 65544464/11771002
1965.43/1964.75	c cleaning 152984 clauses out of 306013 with flag 66402163/11925001
1995.37/1994.78	c cleaning 154004 clauses out of 308027 with flag 67203445/12080000
2027.79/2027.29	c cleaning 155000 clauses out of 310024 with flag 68028165/12236002
2057.36/2056.73	c cleaning 155994 clauses out of 312022 with flag 68809397/12393001
2090.30/2089.70	c cleaning 157007 clauses out of 314027 with flag 69554062/12551000
2123.43/2122.91	c cleaning 157960 clauses out of 316019 with flag 70355085/12710000
2157.18/2156.72	c cleaning 159019 clauses out of 318060 with flag 71220257/12870001
2187.02/2186.62	c cleaning 159990 clauses out of 320042 with flag 72028865/13031002
2219.15/2218.80	c cleaning 160994 clauses out of 322052 with flag 72856828/13193002
2253.33/2253.05	c cleaning 161973 clauses out of 324057 with flag 73648041/13356001
2286.87/2286.64	c cleaning 163030 clauses out of 326082 with flag 74477021/13520000
2321.91/2321.75	c cleaning 164016 clauses out of 328052 with flag 75321329/13685000
2359.83/2359.78	c cleaning 165002 clauses out of 330038 with flag 76169294/13851002
2397.46/2397.44	c cleaning 166003 clauses out of 332034 with flag 76925453/14018000
2434.10/2434.17	c cleaning 166987 clauses out of 334032 with flag 77711238/14186001
2467.22/2467.38	c cleaning 167981 clauses out of 336044 with flag 78571778/14355000
2500.75/2500.90	c cleaning 169007 clauses out of 338064 with flag 79438493/14525001
2535.67/2535.99	c cleaning 169992 clauses out of 340055 with flag 80270877/14696000
2570.90/2571.14	c cleaning 171015 clauses out of 342063 with flag 81117293/14868001
2606.21/2606.52	c cleaning 171983 clauses out of 344049 with flag 82014489/15041003
2642.74/2643.13	c cleaning 173009 clauses out of 346065 with flag 82994921/15215002
2691.53/2692.02	c cleaning 174022 clauses out of 348054 with flag 84000595/15390000
2727.34/2727.88	c cleaning 175011 clauses out of 350032 with flag 84877103/15566000
2765.15/2765.75	c cleaning 176004 clauses out of 352021 with flag 85775269/15743001
2797.28/2797.93	c cleaning 176982 clauses out of 354016 with flag 86694243/15921000
2829.04/2829.66	c cleaning 177997 clauses out of 356035 with flag 87548188/16100001
2863.78/2864.40	c cleaning 179013 clauses out of 358038 with flag 88423991/16280001
2900.20/2900.91	c cleaning 179970 clauses out of 360025 with flag 89286404/16461001
2941.21/2942.05	c cleaning 181023 clauses out of 362055 with flag 90160523/16643001
2979.94/2980.75	c cleaning 182008 clauses out of 364031 with flag 91077207/16826000
3017.87/3018.72	c cleaning 183013 clauses out of 366026 with flag 91963873/17010003
3053.51/3054.44	c cleaning 183993 clauses out of 368010 with flag 92892482/17195000
3094.61/3095.69	c cleaning 184997 clauses out of 370018 with flag 93833570/17381001
3138.03/3139.05	c cleaning 185996 clauses out of 372020 with flag 94711307/17568000
3181.65/3182.72	c cleaning 186998 clauses out of 374024 with flag 95719576/17756000
3221.08/3222.28	c cleaning 188006 clauses out of 376027 with flag 96665500/17945001
3266.80/3268.03	c cleaning 188979 clauses out of 378022 with flag 97622809/18135002
3306.42/3307.75	c cleaning 190009 clauses out of 380041 with flag 98548819/18326000
3351.86/3353.20	c cleaning 191005 clauses out of 382034 with flag 99510453/18518002
3390.62/3392.33	c cleaning 192011 clauses out of 384027 with flag 100469754/18711000
3436.32/3438.15	c cleaning 192980 clauses out of 386018 with flag 101483416/18905002
3479.32/3481.24	c cleaning 193994 clauses out of 388036 with flag 102462474/19100000
3523.30/3524.76	c cleaning 195010 clauses out of 390042 with flag 103416218/19296000
3592.65/3594.26	c cleaning 196006 clauses out of 392032 with flag 104573699/19493000
3600.04/3601.62	c starts		: 66457
3600.04/3601.62	c timeout
3600.04/3601.62	c conflicts		: 19548381
3600.04/3601.62	c decisions		: 45040667
3600.04/3601.62	c propagations		: 4235553671
3600.04/3601.62	c inspects		: 47663243559
3600.04/3601.62	c shortcuts		: 0
3600.04/3601.62	c learnt literals	: 177
3600.04/3601.62	c learnt binary clauses	: 3259
3600.04/3601.62	c learnt ternary clauses	: 40835
3600.04/3601.62	c learnt constraints	: 19548204
3600.04/3601.62	c ignored constraints	: 0
3600.04/3601.62	c root simplifications	: 0
3600.04/3601.62	c removed literals (reason simplification)	: 0
3600.04/3601.62	c reason swapping (by a shorter reason)	: 0
3600.04/3601.62	c Calls to reduceDB	: 193
3600.04/3601.62	c Number of update (reduction) of LBD	: 6137452
3600.04/3601.62	c Imported unit clauses	: 0
3600.04/3601.62	c No decision after first conflict	: false
3600.04/3601.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3601.62	c number of learned constraints concerned by reduction	: 0
3600.04/3601.62	c number of learning phase by resolution	: 0
3600.04/3601.62	c number of learning phase by cutting planes	: 0
3600.04/3601.62	c number of rounding to 1 operations	: 0
3600.04/3601.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3601.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3601.62	c number of right shift for reduction by power 2 	: 0
3600.04/3601.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3601.62	c number of ending skipping 	: 0
3600.04/3601.62	c number of internal skipping 	: 0
3600.04/3601.62	c number of derivation steps 	: 0
3600.04/3601.62	c number of skipped derivation steps 	: 0
3600.04/3601.62	c number of remaining unassigned 	: 0
3600.04/3601.62	c number of remaining assigned 	: 0
3600.04/3601.62	c number of falsified literals weakened from reason	: 0
3600.04/3601.62	c number of falsified literals weakened from conflict	: 0
3600.04/3601.62	c time for arithmetic operations	: 0
3600.04/3601.62	c minimum degree of deleted constraints	: null
3600.04/3601.62	c maximum degree of deleted constraints	: null
3600.04/3601.62	c number of deleted constraints	: 0
3600.04/3601.64	c speed (assignments/second)	: 1176226.4121758372
3600.04/3601.64	c non guided choices	: 219249
3600.04/3601.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 248148
3600.04/3601.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3259
3600.04/3601.68	s UNKNOWN
3600.04/3601.68	c Total wall clock time (in seconds): 3601.55

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: 63931 MiB (32118 MiB free)
  memory of node 1: 64510 MiB (45557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452424-1721447535/watcher-4452424-1721447535 -o /tmp/evaluation-result-4452424-1721447535/solver-4452424-1721447535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015390 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452424-1721447535.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100524 s]*
/proc/loadavg: 6.03 5.54 5.05 8/330 1016834
/proc/meminfo: memFree=79498164/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=18975048 memory=62976 CPUtime=0.13 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 7186 0 0 0 11 2 0 0 20 0 18 0 196914070 19430449152 15744 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4743762 15744 5680 1 0 549306 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 1077936192 5724 0 0 0 6 2 0 0 20 0 18 0 196914071 19430449152 15744 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196914073 19430449152 15744 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196914074 19430449152 15744 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62976 KiB

[startup+0.206254 s]*
/proc/loadavg: 6.03 5.54 5.05 8/330 1016834
/proc/meminfo: memFree=79405672/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19041612 memory=158032 CPUtime=0.32 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 7776 0 0 0 27 5 0 0 20 0 19 0 196914070 19498610688 39508 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4760403 39508 5874 1 0 549880 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) S 1016813 1016816 1015377 0 -1 1077936192 5965 0 0 0 13 4 0 0 20 0 19 0 196914071 19498610688 39508 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19041612 memory=14994 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196914073 19498610688 39508 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196914074 19498610688 39508 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158032 KiB

[startup+0.306345 s]*
/proc/loadavg: 6.03 5.54 5.05 7/331 1016835
/proc/meminfo: memFree=79386800/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19041612 memory=190916 CPUtime=0.51 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 9336 0 0 0 45 6 0 0 20 0 19 0 196914070 19498610688 47729 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4760403 47729 5874 1 0 550885 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19041612 memory=-7380658146866522719 CPUtime=0.25 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 5986 0 0 0 20 5 0 0 20 0 19 0 196914071 19498610688 47729 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196914073 19498610688 48241 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196914074 19498610688 48241 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 190916 KiB

[startup+0.70034 s]
/proc/loadavg: 6.03 5.54 5.05 6/331 1016835
/proc/meminfo: memFree=78816172/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=856016 CPUtime=1.26 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 12535 0 0 0 106 20 0 0 20 0 20 0 196914070 19566772224 214004 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 214004 5874 1 0 553058 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=5560 CPUtime=0.6 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 6351 0 0 0 42 18 0 0 20 0 20 0 196914071 19566772224 214004 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 214004 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 214004 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 856016 KiB

[startup+1.50034 s]
/proc/loadavg: 6.03 5.54 5.05 6/332 1016836
/proc/meminfo: memFree=78692456/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=867376 CPUtime=2.85 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 16300 0 0 0 264 21 0 0 20 0 20 0 196914070 19566772224 216844 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 216844 5874 1 0 555762 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=13012 CPUtime=1.37 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 6364 0 0 0 119 18 0 0 20 0 20 0 196914071 19566772224 216844 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 216844 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 216844 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 216844 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 867376 KiB

[startup+3.1057 s]
/proc/loadavg: 6.03 5.54 5.05 5/332 1016836
/proc/meminfo: memFree=78691188/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=868148 CPUtime=5.21 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 16488 0 0 0 500 21 0 0 20 0 20 0 196914070 19566772224 217037 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 217037 5874 1 0 555815 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=0 CPUtime=2.97 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 6402 0 0 0 279 18 0 0 20 0 20 0 196914071 19566772224 217037 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 217037 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 217037 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 217037 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 868148 KiB

[startup+6.30028 s]
/proc/loadavg: 5.87 5.52 5.05 5/332 1016838
/proc/meminfo: memFree=78691284/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=868080 CPUtime=8.85 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 24459 0 0 0 863 22 0 0 20 0 20 0 196914070 19566772224 217020 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 217020 5890 1 0 556643 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=0 CPUtime=6.15 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 7106 0 0 0 597 18 0 0 20 0 20 0 196914071 19566772224 217020 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 217020 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 217020 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=47000 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 217020 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 868080 KiB

[startup+12.7003 s]
/proc/loadavg: 5.80 5.51 5.05 6/332 1016838
/proc/meminfo: memFree=78691276/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=868348 CPUtime=15.3 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 25365 0 0 0 1508 22 0 0 20 0 20 0 196914070 19566772224 217087 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 217087 5900 1 0 556643 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=865720 CPUtime=12.54 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 7292 0 0 0 1236 18 0 0 20 0 20 0 196914071 19566772224 217087 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=868348 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 217087 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=868148 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 217087 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 217087 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 868348 KiB

[startup+25.5003 s]
/proc/loadavg: 5.85 5.53 5.06 7/332 1016841
/proc/meminfo: memFree=78691196/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=868428 CPUtime=28.12 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 29159 0 0 0 2790 22 0 0 20 0 20 0 196914070 19566772224 217107 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 217107 5900 1 0 556643 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=868348 CPUtime=25.31 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 8680 0 0 0 2513 18 0 0 20 0 20 0 196914071 19566772224 217107 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=868416 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 217107 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 217107 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=6943526294502006880 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 217107 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 28.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 868428 KiB

[startup+51.106 s]
/proc/loadavg: 5.27 5.42 5.04 5/332 1016844
/proc/meminfo: memFree=78690692/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=868540 CPUtime=53.68 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 31534 0 0 0 5344 24 0 0 20 0 20 0 196914070 19566772224 217135 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 217135 5900 1 0 556643 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=868540 CPUtime=50.85 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 10511 0 0 0 5066 19 0 0 20 0 20 0 196914071 19566772224 217135 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=868540 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 217135 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 217135 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0

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

/proc/meminfo: memFree=96341524/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3221.18 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 176548 0 0 0 321931 187 0 0 20 0 20 0 196914070 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 731940 5916 1 0 1085799 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=5560 CPUtime=3209.09 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 82468 0 0 0 320870 39 0 0 20 0 20 0 196914071 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4116 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3221.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2927760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.26 4.27 5/331 1018893
/proc/meminfo: memFree=96340632/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3281.06 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 178165 0 0 0 327918 188 0 0 20 0 20 0 196914070 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 731940 5916 1 0 1085799 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3268.95 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 83819 0 0 0 326856 39 0 0 20 0 20 0 196914071 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=47000 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4258 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3281.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2927760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.29 4.28 5/331 1018904
/proc/meminfo: memFree=96331548/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3341.06 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 180977 0 0 0 333916 190 0 0 20 0 20 0 196914070 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 731940 5916 1 0 1085799 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=47000 CPUtime=3328.64 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 85169 0 0 0 332825 39 0 0 20 0 20 0 196914071 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4344 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3341.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2927760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.25 4.27 5/330 1018915
/proc/meminfo: memFree=96271156/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3400.6 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 182516 0 0 0 339868 192 0 0 20 0 20 0 196914070 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 731940 5916 1 0 1085799 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3388.15 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 86531 0 0 0 338776 39 0 0 20 0 20 0 196914071 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=47000 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4434 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3400.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2927760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.26 4.27 5/330 1018925
/proc/meminfo: memFree=96082692/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3460.47 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 184189 0 0 0 345853 194 0 0 20 0 20 0 196914070 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 731940 5916 1 0 1085799 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3447.99 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 87952 0 0 0 344760 39 0 0 20 0 20 0 196914071 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4576 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 731940 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3460.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2927760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.23 4.26 5/332 1018940
/proc/meminfo: memFree=96016492/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2931392 CPUtime=3520.9 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 200160 0 0 0 351893 197 0 0 20 0 20 0 196914070 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 732848 5916 1 0 1086737 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=2927760 CPUtime=3507.69 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 94627 0 0 0 350729 40 0 0 20 0 20 0 196914071 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4662 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=5036 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3520.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2931392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.22 4.25 5/334 1018955
/proc/meminfo: memFree=95982528/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2931392 CPUtime=3580.78 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 201525 0 0 0 357879 199 0 0 20 0 20 0 196914070 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 732848 5916 1 0 1086737 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=5560 CPUtime=3567.54 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 95672 0 0 0 356714 40 0 0 20 0 20 0 196914071 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=-7313703874305940856 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4820 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=-9187040377656145861 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3580.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2931392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.6 s]
/proc/loadavg: 4.19 4.22 4.25 5/334 1018958
/proc/meminfo: memFree=95982512/131524600 swapFree=131071996/131071996
[pid=1016816] ppid=1016813 vsize=19108176 memory=2931392 CPUtime=3600.04 cores=5,7
/proc/1016816/stat : 1016816 (java) S 1016813 1016816 1015377 0 -1 1077936128 202463 0 0 0 359804 200 0 0 20 0 20 0 196914070 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
/proc/1016816/statm: 4777044 732848 5916 1 0 1086737 0
[pid=1016816/tid=1016818] ppid=1016813 vsize=19108176 memory=2931392 CPUtime=3586.79 cores=5,7
/proc/1016816/task/1016818/stat : 1016818 (java) R 1016813 1016816 1015377 0 -1 4194368 96512 0 0 0 358639 40 0 0 20 0 20 0 196914071 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016827] ppid=1016813 vsize=19108176 memory=2931392 CPUtime=0 cores=5,7
/proc/1016816/task/1016827/stat : 1016827 (Finalizer) S 1016813 1016816 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196914073 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016834] ppid=1016813 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1016816/task/1016834/stat : 1016834 (Common-Cleaner) S 1016813 1016816 1015377 0 -1 1077936192 4820 0 0 0 0 0 0 0 20 0 20 0 196914074 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
[pid=1016816/tid=1016836] ppid=1016813 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/1016816/task/1016836/stat : 1016836 (Timer-0) S 1016813 1016816 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196914135 19566772224 732848 134679101440 93911929884672 93911929888368 140733984977328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93911929896184 93911929896976 93911953465344 140733984982021 140733984982111 140733984982111 140733984989128 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2931392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.16 s, system=2.01923 s

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

Child status: 143

Real time (s): 3601.7
CPU time (s): 3600.18
CPU user time (s): 3598.16
CPU system time (s): 2.01923
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2931392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.16
system time used= 2.01923
maximum resident set size= 2932980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115590
involuntary context switches= 4025


# summary of solver processes directly reported to runsolver:
#   pid: 1016816
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.16
#   total CPU system time (s): 2.01923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.36374 second user time and 16.8978 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 05:52:27
IDJOB=4452424
IDBENCH=164356
IDSOLVER=3058
FILE ID=nodeC016/4452424-1721447535
RUNJOBID= nodeC016-1721444951-1015390
SLURM_JOB_ID= 7545662
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452424-1721447535/watcher-4452424-1721447535 -o /tmp/evaluation-result-4452424-1721447535/solver-4452424-1721447535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015390 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452424-1721447535.opb

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

MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=824627139

nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3619.713
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.077
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.238
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3646.028
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.848
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.030
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        79540408 kB
MemAvailable:   83350284 kB
Buffers:          421780 kB
Cached:          4229708 kB
SwapCached:            0 kB
Active:           698460 kB
Inactive:       50572720 kB
Active(anon):       1544 kB
Inactive(anon): 46664056 kB
Active(file):     696916 kB
Inactive(file):  3908664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2028 kB
Writeback:            32 kB
AnonPages:      46618184 kB
Mapped:           127736 kB
Shmem:             45912 kB
KReclaimable:      87884 kB
Slab:             200316 kB
SReclaimable:      87884 kB
SUnreclaim:       112432 kB
KernelStack:        5040 kB
PageTables:       101196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   49637072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73568 kB
HardwareCorrupted:     0 kB
AnonHugePages:  46008320 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC016 at 2024-07-20 06:52:28