Trace number 4452454

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.19 3560.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-mine-90-10.0.u.opb
MD5SUM655e29d3d11acc2b2e2d8217bccdc3c7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark61.7102
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints6271
Number of constraints which are clauses6250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21
Minimum length of a constraint2
Maximum length of a constraint900
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 212908544
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 712908561
Number of bits of the biggest sum of numbers30
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.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.11	c Pseudo Boolean Optimization by upper bound
0.14/0.11	c --- Begin Solver configuration ---
0.14/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	c Learn all clauses as in MiniSAT
0.14/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	c No reason simplification
0.14/0.11	c Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	c timeout=2147483s
0.14/0.11	c DB Simplification allowed=false
0.14/0.11	c Listener: none
0.14/0.11	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4452454-1721448270.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.34/0.22	c ... done. Wall clock time 0.098s.
0.34/0.22	c declared #vars     900
0.34/0.22	c #constraints  6271
0.34/0.22	c constraints type 
0.34/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6250
0.34/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.34/0.22	c 6271 constraints processed.
1.11/0.64	c cleaning 2498 clauses out of 4995 with flag 10973/5004
1.50/0.82	c cleaning 4246 clauses out of 8493 with flag 24439/11000
2.04/1.26	c cleaning 5615 clauses out of 11246 with flag 41568/18001
2.82/1.83	c cleaning 6815 clauses out of 13629 with flag 63108/26000
3.86/2.63	c cleaning 7901 clauses out of 15815 with flag 93623/35001
5.11/3.56	c cleaning 8956 clauses out of 17913 with flag 128454/45000
6.30/4.61	c cleaning 9969 clauses out of 19957 with flag 160980/56000
7.36/5.63	c cleaning 10995 clauses out of 21990 with flag 198642/68002
8.66/6.81	c cleaning 11995 clauses out of 23995 with flag 240390/81002
9.95/8.01	c cleaning 12994 clauses out of 26001 with flag 282490/95003
11.23/9.20	c cleaning 14001 clauses out of 28004 with flag 325457/110000
12.62/10.54	c cleaning 14990 clauses out of 30003 with flag 374258/126000
14.15/12.01	c cleaning 15994 clauses out of 32013 with flag 426499/143000
15.87/13.62	c cleaning 17004 clauses out of 34019 with flag 483919/161000
17.46/15.19	c cleaning 17998 clauses out of 36015 with flag 548824/180000
19.49/17.02	c cleaning 19005 clauses out of 38019 with flag 608643/200002
21.60/19.05	c cleaning 19996 clauses out of 40013 with flag 675479/221001
23.73/21.04	c cleaning 21000 clauses out of 42016 with flag 749117/243000
25.85/23.05	c cleaning 22000 clauses out of 44016 with flag 819576/266000
28.44/25.46	c cleaning 23002 clauses out of 46015 with flag 898678/290001
31.28/28.14	c cleaning 23998 clauses out of 48014 with flag 987825/315003
32.67/29.56	c cleaning 24990 clauses out of 50014 with flag 1052592/341001
35.08/31.80	c cleaning 26013 clauses out of 52025 with flag 1129886/368002
37.47/34.19	c cleaning 27002 clauses out of 54012 with flag 1206736/396002
40.18/36.75	c cleaning 28006 clauses out of 56011 with flag 1289511/425003
42.91/39.39	c cleaning 28993 clauses out of 58002 with flag 1376998/455000
45.91/42.29	c cleaning 29992 clauses out of 60008 with flag 1486444/486000
49.79/45.87	c cleaning 31002 clauses out of 62016 with flag 1586840/518000
53.33/48.93	c cleaning 32002 clauses out of 64016 with flag 1697598/551002
57.05/52.55	c cleaning 32999 clauses out of 66012 with flag 1812342/585000
61.06/56.44	c cleaning 33999 clauses out of 68014 with flag 1955388/620001
64.92/60.02	c cleaning 34998 clauses out of 70020 with flag 2084679/656006
68.63/63.69	c cleaning 35987 clauses out of 72016 with flag 2218744/693001
72.75/67.60	c cleaning 37008 clauses out of 74029 with flag 2360802/731001
77.14/71.98	c cleaning 38002 clauses out of 76021 with flag 2502614/770001
81.48/76.12	c cleaning 39004 clauses out of 78018 with flag 2624114/810000
85.68/80.05	c cleaning 40004 clauses out of 80014 with flag 2751017/851000
90.71/84.97	c cleaning 41004 clauses out of 82016 with flag 2913283/893006
96.01/89.90	c cleaning 42000 clauses out of 84006 with flag 3065966/936000
101.57/95.08	c cleaning 42996 clauses out of 86006 with flag 3243068/980000
107.08/100.45	c cleaning 43993 clauses out of 88014 with flag 3421264/1025004
113.63/106.69	c cleaning 44998 clauses out of 90018 with flag 3602563/1071001
121.06/113.91	c cleaning 46004 clauses out of 92019 with flag 3772691/1118000
127.52/120.09	c cleaning 46997 clauses out of 94018 with flag 3990241/1166003
133.78/126.11	c cleaning 48006 clauses out of 96019 with flag 4180027/1215001
140.27/132.30	c cleaning 49007 clauses out of 98016 with flag 4383262/1265004
146.49/138.49	c cleaning 49999 clauses out of 100007 with flag 4560350/1316002
153.10/144.26	c cleaning 50993 clauses out of 102007 with flag 4737191/1368001
160.59/151.62	c cleaning 51992 clauses out of 104015 with flag 4894461/1421002
167.61/158.55	c cleaning 53002 clauses out of 106023 with flag 5060139/1475002
174.41/165.02	c cleaning 54001 clauses out of 108019 with flag 5236379/1530000
178.40/169.10	c cleaning 55001 clauses out of 110018 with flag 5372204/1586000
182.50/173.14	c cleaning 56001 clauses out of 112017 with flag 5510268/1643000
187.15/177.78	c cleaning 57000 clauses out of 114016 with flag 5657624/1701000
191.14/181.71	c cleaning 57998 clauses out of 116017 with flag 5801629/1760001
195.63/186.20	c cleaning 59003 clauses out of 118019 with flag 5948694/1820001
200.10/190.68	c cleaning 59992 clauses out of 120016 with flag 6094788/1881001
205.60/196.15	c cleaning 60995 clauses out of 122023 with flag 6247484/1943000
210.59/201.16	c cleaning 62003 clauses out of 124028 with flag 6403582/2006000
215.38/205.90	c cleaning 63001 clauses out of 126026 with flag 6565432/2070001
220.05/210.53	c cleaning 64000 clauses out of 128025 with flag 6720285/2135001
224.74/215.26	c cleaning 65003 clauses out of 130025 with flag 6883746/2201001
230.13/220.61	c cleaning 66003 clauses out of 132022 with flag 7044011/2268001
235.89/226.33	c cleaning 67001 clauses out of 134019 with flag 7209600/2336001
241.48/231.97	c cleaning 67999 clauses out of 136017 with flag 7386274/2405000
246.78/237.24	c cleaning 68995 clauses out of 138018 with flag 7559193/2475000
252.47/242.94	c cleaning 69999 clauses out of 140024 with flag 7739999/2546001
259.43/249.84	c cleaning 70998 clauses out of 142024 with flag 7921907/2618000
265.41/255.88	c cleaning 72009 clauses out of 144030 with flag 8093155/2691004
273.00/263.43	c cleaning 72996 clauses out of 146017 with flag 8272262/2765000
279.49/269.96	c cleaning 73999 clauses out of 148022 with flag 8457604/2840001
286.38/276.73	c cleaning 74998 clauses out of 150023 with flag 8641824/2916001
293.56/283.98	c cleaning 76006 clauses out of 152024 with flag 8833066/2993000
301.75/292.13	c cleaning 77004 clauses out of 154021 with flag 9020725/3071003
309.13/299.53	c cleaning 77998 clauses out of 156015 with flag 9225405/3150001
317.11/307.58	c cleaning 79001 clauses out of 158016 with flag 9419265/3230000
326.57/316.91	c cleaning 79992 clauses out of 160016 with flag 9630928/3311001
335.96/326.31	c cleaning 81000 clauses out of 162023 with flag 9849853/3393000
345.04/335.47	c cleaning 81997 clauses out of 164023 with flag 10063779/3476000
356.02/346.48	c cleaning 83002 clauses out of 166026 with flag 10306875/3560000
365.60/356.05	c cleaning 83997 clauses out of 168026 with flag 10534204/3645002
374.87/365.35	c cleaning 85001 clauses out of 170027 with flag 10765676/3731000
383.75/374.21	c cleaning 86002 clauses out of 172026 with flag 11009252/3818000
394.02/384.55	c cleaning 86999 clauses out of 174024 with flag 11257323/3906000
402.52/393.03	c cleaning 88001 clauses out of 176026 with flag 11500082/3995001
413.38/403.95	c cleaning 89000 clauses out of 178024 with flag 11727128/4085000
422.77/413.35	c cleaning 90002 clauses out of 180024 with flag 11944602/4176000
432.44/423.09	c cleaning 91000 clauses out of 182022 with flag 12175127/4268000
441.12/431.70	c cleaning 92004 clauses out of 184024 with flag 12413767/4361002
451.00/441.68	c cleaning 92996 clauses out of 186018 with flag 12647743/4455000
462.67/453.34	c cleaning 93994 clauses out of 188022 with flag 12888058/4550000
472.15/462.86	c cleaning 95005 clauses out of 190029 with flag 13128459/4646001
481.33/472.01	c cleaning 96001 clauses out of 192023 with flag 13381402/4743000
489.91/480.66	c cleaning 96998 clauses out of 194025 with flag 13631522/4841003
501.68/492.46	c cleaning 97996 clauses out of 196026 with flag 13887463/4940002
511.27/502.08	c cleaning 98999 clauses out of 198028 with flag 14140409/5040000
519.05/509.82	c cleaning 100002 clauses out of 200030 with flag 14383844/5141001
528.39/518.70	c cleaning 100996 clauses out of 202028 with flag 14627805/5243001
535.97/526.38	c cleaning 102007 clauses out of 204032 with flag 14890376/5346001
545.86/536.26	c cleaning 103005 clauses out of 206026 with flag 15145516/5450002
556.74/547.12	c cleaning 103995 clauses out of 208020 with flag 15405023/5555001
568.82/559.28	c cleaning 105000 clauses out of 210026 with flag 15689898/5661002
581.22/570.72	c cleaning 106002 clauses out of 212025 with flag 15993002/5768001
591.53/581.19	c cleaning 107000 clauses out of 214022 with flag 16284120/5876000
602.71/592.43	c cleaning 108001 clauses out of 216023 with flag 16570318/5985001
616.09/605.99	c cleaning 109003 clauses out of 218023 with flag 16845987/6095002
627.01/616.82	c cleaning 110001 clauses out of 220020 with flag 17122806/6206002
638.90/628.87	c cleaning 110998 clauses out of 222018 with flag 17396213/6318001
650.00/640.03	c cleaning 111998 clauses out of 224020 with flag 17684601/6431001
661.99/652.18	c cleaning 113001 clauses out of 226022 with flag 17967282/6545001
676.81/667.04	c cleaning 113996 clauses out of 228020 with flag 18287157/6660000
692.46/682.84	c cleaning 115002 clauses out of 230025 with flag 18601893/6776001
708.21/698.77	c cleaning 115999 clauses out of 232022 with flag 18917508/6893000
723.96/714.66	c cleaning 116996 clauses out of 234023 with flag 19237277/7011000
738.13/728.98	c cleaning 117994 clauses out of 236027 with flag 19557285/7130000
753.97/744.87	c cleaning 119005 clauses out of 238034 with flag 19880957/7250001
769.24/760.27	c cleaning 120001 clauses out of 240029 with flag 20197029/7371001
783.01/774.14	c cleaning 120996 clauses out of 242027 with flag 20512035/7493000
800.45/791.72	c cleaning 121999 clauses out of 244031 with flag 20836236/7616000
817.30/808.70	c cleaning 123002 clauses out of 246033 with flag 21159461/7740001
833.50/824.90	c cleaning 123989 clauses out of 248030 with flag 21505208/7865000
850.54/842.14	c cleaning 125011 clauses out of 250043 with flag 21855530/7991002
864.30/856.03	c cleaning 126004 clauses out of 252032 with flag 22166692/8118002
877.58/869.42	c cleaning 127002 clauses out of 254026 with flag 22491166/8246000
891.83/883.66	c cleaning 127998 clauses out of 256024 with flag 22821138/8375000
909.40/901.28	c cleaning 128998 clauses out of 258028 with flag 23158996/8505002
923.66/915.56	c cleaning 130003 clauses out of 260028 with flag 23513827/8636000
943.98/935.25	c cleaning 131005 clauses out of 262029 with flag 23964789/8768004
962.20/952.66	c cleaning 132006 clauses out of 264023 with flag 24402045/8901003
979.88/969.93	c cleaning 133000 clauses out of 266014 with flag 24799553/9035001
1001.77/991.89	c cleaning 133998 clauses out of 268015 with flag 25184266/9170002
1024.31/1014.44	c cleaning 134998 clauses out of 270015 with flag 25613239/9306000
1045.80/1035.41	c cleaning 135998 clauses out of 272018 with flag 26032651/9443001
1067.81/1057.60	c cleaning 136995 clauses out of 274023 with flag 26446686/9581004
1094.81/1084.60	c cleaning 137985 clauses out of 276024 with flag 26882326/9720000
1120.47/1110.32	c cleaning 138996 clauses out of 278040 with flag 27302677/9860001
1147.88/1137.65	c cleaning 139997 clauses out of 280044 with flag 27732099/10001001
1176.54/1166.35	c cleaning 141002 clauses out of 282046 with flag 28181469/10143000
1208.89/1198.58	c cleaning 142012 clauses out of 284046 with flag 28683908/10286002
1239.54/1229.19	c cleaning 142997 clauses out of 286032 with flag 29179783/10430000
1262.72/1252.29	c cleaning 144004 clauses out of 288036 with flag 29628192/10575001
1294.47/1284.09	c cleaning 144997 clauses out of 290031 with flag 30104399/10721000
1318.65/1308.13	c cleaning 146004 clauses out of 292036 with flag 30572761/10868002
1340.28/1329.71	c cleaning 147008 clauses out of 294030 with flag 31060697/11016000
1364.77/1353.74	c cleaning 147998 clauses out of 296021 with flag 31524339/11165000
1390.80/1379.15	c cleaning 149006 clauses out of 298023 with flag 32015609/11315000
1413.46/1401.91	c cleaning 150005 clauses out of 300019 with flag 32439500/11466002
1438.14/1426.36	c cleaning 150989 clauses out of 302014 with flag 32918645/11618003
1456.47/1443.52	c cleaning 152001 clauses out of 304027 with flag 33349272/11771005
1483.19/1469.54	c cleaning 153000 clauses out of 306021 with flag 33875297/11925000
1511.65/1497.73	c cleaning 154000 clauses out of 308021 with flag 34367800/12080000
1535.88/1521.55	c cleaning 155001 clauses out of 310021 with flag 34865073/12236001
1563.96/1549.08	c cleaning 155995 clauses out of 312019 with flag 35397446/12393000
1600.58/1585.61	c cleaning 156995 clauses out of 314024 with flag 35911537/12551000
1630.94/1615.84	c cleaning 158008 clauses out of 316029 with flag 36435412/12710000
1661.36/1645.23	c cleaning 159000 clauses out of 318021 with flag 37000000/12870000
1689.06/1672.48	c cleaning 160005 clauses out of 320025 with flag 37516317/13031004
1721.47/1704.14	c cleaning 160989 clauses out of 322017 with flag 38077563/13193001
1749.62/1731.78	c cleaning 161999 clauses out of 324027 with flag 38592140/13356000
1782.88/1763.73	c cleaning 163006 clauses out of 326030 with flag 39174473/13520002
1811.74/1791.86	c cleaning 163997 clauses out of 328022 with flag 39762722/13685000
1843.64/1823.01	c cleaning 165003 clauses out of 330025 with flag 40345346/13851000
1874.24/1851.07	c cleaning 166003 clauses out of 332023 with flag 40920645/14018001
1904.54/1880.62	c cleaning 167002 clauses out of 334019 with flag 41494687/14186000
1932.62/1907.97	c cleaning 168003 clauses out of 336018 with flag 42119775/14355001
1959.38/1934.04	c cleaning 168988 clauses out of 338014 with flag 42685437/14525000
1987.38/1961.02	c cleaning 169996 clauses out of 340026 with flag 43254209/14696000
2016.06/1988.90	c cleaning 171008 clauses out of 342030 with flag 43829970/14868000
2050.92/2023.04	c cleaning 172001 clauses out of 344022 with flag 44419584/15041000
2080.19/2051.78	c cleaning 173011 clauses out of 346021 with flag 45042363/15215000
2114.80/2084.58	c cleaning 173985 clauses out of 348009 with flag 45648862/15390000
2145.38/2114.55	c cleaning 174999 clauses out of 350025 with flag 46244457/15566001
2178.23/2146.66	c cleaning 176003 clauses out of 352025 with flag 46831583/15743000
2213.11/2181.12	c cleaning 177001 clauses out of 354022 with flag 47414630/15921000
2241.98/2209.53	c cleaning 177999 clauses out of 356022 with flag 47985510/16100001
2275.78/2241.53	c cleaning 178998 clauses out of 358022 with flag 48603398/16280000
2306.71/2271.79	c cleaning 179999 clauses out of 360027 with flag 49157893/16461003
2343.72/2308.16	c cleaning 181006 clauses out of 362030 with flag 49800761/16643005
2374.75/2338.56	c cleaning 182004 clauses out of 364019 with flag 50411074/16826000
2405.81/2367.82	c cleaning 183001 clauses out of 366018 with flag 51014556/17010003
2439.14/2400.42	c cleaning 183986 clauses out of 368015 with flag 51629946/17195001
2474.35/2435.02	c cleaning 185012 clauses out of 370028 with flag 52272417/17381000
2511.71/2471.66	c cleaning 185997 clauses out of 372020 with flag 52922615/17568004
2559.97/2520.07	c cleaning 187000 clauses out of 374019 with flag 53593887/17756000
2606.93/2566.73	c cleaning 188004 clauses out of 376019 with flag 54200689/17945000
2651.53/2611.32	c cleaning 188993 clauses out of 378015 with flag 54791539/18135000
2691.94/2651.87	c cleaning 189996 clauses out of 380026 with flag 55359095/18326004
2740.94/2700.86	c cleaning 190989 clauses out of 382026 with flag 55954136/18518000
2780.18/2740.11	c cleaning 192004 clauses out of 384039 with flag 56496929/18711002
2832.18/2792.29	c cleaning 193004 clauses out of 386034 with flag 57053984/18905001
2880.61/2840.67	c cleaning 194007 clauses out of 388029 with flag 57604738/19100000
2917.05/2877.13	c cleaning 195002 clauses out of 390023 with flag 58172621/19296001
2956.67/2916.75	c cleaning 195992 clauses out of 392020 with flag 58752176/19493000
2997.59/2957.71	c cleaning 196998 clauses out of 394028 with flag 59321725/19691000
3044.35/3004.46	c cleaning 198000 clauses out of 396030 with flag 59927616/19890000
3088.08/3048.17	c cleaning 198997 clauses out of 398030 with flag 60540203/20090000
3129.09/3089.24	c cleaning 200005 clauses out of 400033 with flag 61118530/20291000
3167.61/3127.70	c cleaning 200996 clauses out of 402028 with flag 61724728/20493000
3213.81/3174.09	c cleaning 202006 clauses out of 404033 with flag 62329983/20696001
3262.15/3222.39	c cleaning 202996 clauses out of 406026 with flag 62956993/20900000
3305.25/3265.53	c cleaning 203994 clauses out of 408031 with flag 63552313/21105001
3344.17/3304.49	c cleaning 205008 clauses out of 410037 with flag 64172857/21311001
3376.50/3336.86	c cleaning 206004 clauses out of 412030 with flag 64702644/21518002
3412.72/3373.12	c cleaning 206997 clauses out of 414024 with flag 65262943/21726000
3452.37/3412.77	c cleaning 208002 clauses out of 416027 with flag 65856993/21935000
3491.69/3452.14	c cleaning 209003 clauses out of 418025 with flag 66446563/22145000
3530.27/3490.63	c cleaning 210001 clauses out of 420022 with flag 67008040/22356000
3569.50/3529.91	c cleaning 211005 clauses out of 422023 with flag 67591458/22568002
3600.02/3560.51	c starts		: 88821
3600.02/3560.51	c timeout
3600.02/3560.52	c conflicts		: 22765875
3600.02/3560.52	c decisions		: 33384651
3600.02/3560.52	c propagations		: 390072132
3600.02/3560.52	c inspects		: 30288257558
3600.02/3560.52	c shortcuts		: 0
3600.02/3560.52	c learnt literals	: 22
3600.02/3560.52	c learnt binary clauses	: 69
3600.02/3560.52	c learnt ternary clauses	: 164
3600.02/3560.52	c learnt constraints	: 22765853
3600.02/3560.52	c ignored constraints	: 0
3600.02/3560.52	c root simplifications	: 0
3600.02/3560.52	c removed literals (reason simplification)	: 0
3600.02/3560.52	c reason swapping (by a shorter reason)	: 0
3600.02/3560.52	c Calls to reduceDB	: 208
3600.02/3560.52	c Number of update (reduction) of LBD	: 2184342
3600.02/3560.52	c Imported unit clauses	: 0
3600.02/3560.52	c No decision after first conflict	: false
3600.02/3560.52	c number of reductions to clauses (during analyze)	: 0
3600.02/3560.52	c number of learned constraints concerned by reduction	: 0
3600.02/3560.52	c number of learning phase by resolution	: 0
3600.02/3560.52	c number of learning phase by cutting planes	: 0
3600.02/3560.52	c number of rounding to 1 operations	: 0
3600.02/3560.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3560.52	c number of reductions of the coefficients by power 2 	: 0
3600.02/3560.52	c number of right shift for reduction by power 2 	: 0
3600.02/3560.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3560.52	c number of ending skipping 	: 0
3600.02/3560.52	c number of internal skipping 	: 0
3600.02/3560.52	c number of derivation steps 	: 0
3600.02/3560.52	c number of skipped derivation steps 	: 0
3600.02/3560.52	c number of remaining unassigned 	: 0
3600.02/3560.52	c number of remaining assigned 	: 0
3600.02/3560.52	c number of falsified literals weakened from reason	: 0
3600.02/3560.52	c number of falsified literals weakened from conflict	: 0
3600.02/3560.52	c time for arithmetic operations	: 0
3600.02/3560.52	c minimum degree of deleted constraints	: null
3600.02/3560.52	c maximum degree of deleted constraints	: null
3600.02/3560.52	c number of deleted constraints	: 0
3600.02/3560.52	c speed (assignments/second)	: 109561.52933093878
3600.02/3560.52	c non guided choices	: 285
3600.02/3560.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 408822
3600.02/3560.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 69
3600.02/3560.59	s UNKNOWN
3600.02/3560.59	c Total wall clock time (in seconds): 3560.472

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101883 s]*
/proc/loadavg: 4.73 4.73 4.82 5/330 1017607
/proc/meminfo: memFree=91863624/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=18975048 memory=63400 CPUtime=0.14 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 7255 0 0 0 12 2 0 0 20 0 18 0 196987565 19430449152 15850 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4743762 15850 5696 1 0 549353 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 5771 0 0 0 8 1 0 0 20 0 18 0 196987565 19430449152 15850 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196987568 19430449152 15850 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196987568 19430449152 15850 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63400 KiB

[startup+0.205859 s]*
/proc/loadavg: 4.73 4.73 4.82 7/330 1017607
/proc/meminfo: memFree=91853724/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=18975048 memory=75392 CPUtime=0.34 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 7640 0 0 0 32 2 0 0 20 0 18 0 196987565 19430449152 18848 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4743762 18848 5819 1 0 549593 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 5898 0 0 0 18 1 0 0 20 0 18 0 196987565 19430449152 18848 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=18975048 memory=14994 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196987568 19430449152 18848 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196987568 19430449152 18848 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75392 KiB

[startup+0.312654 s]*
/proc/loadavg: 4.73 4.73 4.82 7/331 1017608
/proc/meminfo: memFree=91843044/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19041612 memory=83824 CPUtime=0.55 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 9269 0 0 0 52 3 0 0 20 0 19 0 196987565 19498610688 20956 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4760403 20956 5819 1 0 550864 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19041612 memory=-7308600552828396386 CPUtime=0.29 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 5968 0 0 0 28 1 0 0 20 0 19 0 196987565 19498610688 20956 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196987568 19498610688 20956 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196987568 19498610688 20956 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196987587 19498610688 20956 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83824 KiB

[startup+0.703387 s]
/proc/loadavg: 4.73 4.73 4.82 6/331 1017608
/proc/meminfo: memFree=91830660/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19041612 memory=102640 CPUtime=1.3 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 12571 0 0 0 126 4 0 0 20 0 19 0 196987565 19498610688 25660 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4760403 25660 5834 1 0 552920 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19041612 memory=13012 CPUtime=0.65 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 6014 0 0 0 63 2 0 0 20 0 19 0 196987565 19498610688 25660 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19041612 memory=13012 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196987568 19498610688 25660 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196987568 19498610688 25660 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19041612 memory=26268 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196987587 19498610688 25660 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102640 KiB

[startup+1.50065 s]
/proc/loadavg: 4.73 4.73 4.82 6/331 1017608
/proc/meminfo: memFree=91803028/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=194468 CPUtime=2.52 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 18979 0 0 0 245 7 0 0 20 0 20 0 196987565 19566772224 48617 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 48617 5834 1 0 554467 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=13012 CPUtime=1.42 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 6444 0 0 0 139 3 0 0 20 0 20 0 196987565 19566772224 48617 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 48617 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 48617 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 48617 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194468 KiB

[startup+3.10606 s]
/proc/loadavg: 4.73 4.73 4.82 5/332 1017609
/proc/meminfo: memFree=91642320/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=284076 CPUtime=4.72 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 22885 0 0 0 463 9 0 0 20 0 20 0 196987565 19566772224 71019 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 71019 5850 1 0 555750 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 6769 0 0 0 288 3 0 0 20 0 20 0 196987565 19566772224 71019 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 71019 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=194468 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 71019 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 71019 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 284076 KiB

[startup+6.30026 s]
/proc/loadavg: 4.67 4.72 4.82 5/332 1017609
/proc/meminfo: memFree=91399072/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=561792 CPUtime=8.06 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 23885 0 0 0 791 15 0 0 20 0 20 0 196987565 19566772224 140448 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 140448 5850 1 0 856527 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=13012 CPUtime=5.91 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 6922 0 0 0 586 5 0 0 20 0 20 0 196987565 19566772224 140448 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 140448 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=7809910678917967978 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 140448 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=5560 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 140448 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 561792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.94 4.78 4.84 5/311 1017695
/proc/meminfo: memFree=105859324/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=1387036 CPUtime=14.98 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 28250 0 0 0 1466 32 0 0 20 0 20 0 196987565 19566772224 346759 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 346759 5850 1 0 1230450 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=0 CPUtime=11.76 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 7751 0 0 0 1166 10 0 0 20 0 20 0 196987565 19566772224 346759 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=1169920 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 346759 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=1038600 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 346759 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 346759 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 14.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1387036 KiB

[startup+25.5003 s]
/proc/loadavg: 4.89 4.77 4.83 5/332 1017747
/proc/meminfo: memFree=103828588/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=2488204 CPUtime=28.54 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 30593 0 0 0 2801 53 0 0 20 0 20 0 196987565 19566772224 622051 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 622051 5882 1 0 1359964 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=1169920 CPUtime=23.77 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 8243 0 0 0 2363 14 0 0 20 0 20 0 196987565 19566772224 622051 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=2189032 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 622051 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=2094824 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 622051 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 622051 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 28.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488204 KiB

[startup+51.106 s]
/proc/loadavg: 4.66 4.73 4.81 5/330 1017752
/proc/meminfo: memFree=99799104/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=4080884 CPUtime=55.66 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 50589 0 0 0 5476 90 0 0 20 0 20 0 196987565 19566772224 1020221 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1020221 5882 1 0 1472144 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=2354920 CPUtime=47.87 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 10970 0 0 0 4768 19 0 0 20 0 20 0 196987565 19566772224 1020221 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0

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

/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1648355 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=6593420 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2079 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1648355 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1648355 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3202.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6593420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.31 4.29 5/332 1019642
/proc/meminfo: memFree=95163004/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6675344 CPUtime=3262.15 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 372267 0 0 0 325953 262 0 0 20 0 20 0 196987565 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1668836 5882 1 0 1724366 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=6560636 CPUtime=3162.79 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 97668 0 0 0 316218 61 0 0 20 0 20 0 196987565 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=6675344 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=6675344 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2079 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3262.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6675344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.28 4.27 5/332 1019652
/proc/meminfo: memFree=94967464/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6675344 CPUtime=3322.01 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 373941 0 0 0 331937 264 0 0 20 0 20 0 196987565 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1668836 5882 1 0 1724366 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=47000 CPUtime=3222.64 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 99095 0 0 0 322202 62 0 0 20 0 20 0 196987565 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=27768 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1668836 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3322.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6675344 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.26 4.27 5/333 1019667
/proc/meminfo: memFree=94719268/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6716328 CPUtime=3381.98 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 376770 0 0 0 337932 266 0 0 20 0 20 0 196987565 19566772224 1679082 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1679082 5882 1 0 1724366 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=3282.34 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 100285 0 0 0 328172 62 0 0 20 0 20 0 196987565 19566772224 1679082 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=6716328 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1679082 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1679082 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=6716324 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1679082 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3381.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6716328 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.26 4.27 5/333 1019689
/proc/meminfo: memFree=94635264/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6798252 CPUtime=3441.99 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 379568 0 0 0 343928 271 0 0 20 0 20 0 196987565 19566772224 1699563 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1699563 5882 1 0 1724367 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=3342.05 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 101154 0 0 0 334143 62 0 0 20 0 20 0 196987565 19566772224 1699563 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=6716324 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1699563 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=6798252 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2262 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1699563 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=2636 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1699563 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3441.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6798252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/333 1019768
/proc/meminfo: memFree=105613180/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6798296 CPUtime=3501.86 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 381849 0 0 0 349913 273 0 0 20 0 20 0 196987565 19566772224 1699574 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1699574 5882 1 0 1724379 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=3401.88 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 102783 0 0 0 340126 62 0 0 20 0 20 0 196987565 19566772224 1699574 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=6798296 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1699574 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2348 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1699574 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=47000 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1699574 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3501.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6798296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.22 4.25 5/333 1019778
/proc/meminfo: memFree=103407932/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6839256 CPUtime=3561.91 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 386080 0 0 0 355915 276 0 0 20 0 20 0 196987565 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1709814 5882 1 0 1724379 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=1976 CPUtime=3461.57 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 104374 0 0 0 346095 62 0 0 20 0 20 0 196987565 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=26268 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=47000 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2489 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3561.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6839256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3560.5 s]
/proc/loadavg: 4.19 4.23 4.25 5/332 1019787
/proc/meminfo: memFree=102718628/131524600 swapFree=131071996/131071996
[pid=1017589] ppid=1017586 vsize=19108176 memory=6839256 CPUtime=3600.02 cores=4,6
/proc/1017589/stat : 1017589 (java) S 1017586 1017589 1015377 0 -1 1077936128 387355 0 0 0 359726 276 0 0 20 0 20 0 196987565 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
/proc/1017589/statm: 4777044 1709814 5882 1 0 1724379 0
[pid=1017589/tid=1017591] ppid=1017586 vsize=19108176 memory=47000 CPUtime=3499.68 cores=4,6
/proc/1017589/task/1017591/stat : 1017591 (java) R 1017586 1017589 1015377 0 -1 4194368 105535 0 0 0 349905 63 0 0 20 0 20 0 196987565 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017600] ppid=1017586 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1017589/task/1017600/stat : 1017600 (Finalizer) S 1017586 1017589 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017607] ppid=1017586 vsize=19108176 memory=-7308600552828396386 CPUtime=0 cores=4,6
/proc/1017589/task/1017607/stat : 1017607 (Common-Cleaner) S 1017586 1017589 1015377 0 -1 1077936192 2583 0 0 0 0 0 0 0 20 0 20 0 196987568 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
[pid=1017589/tid=1017608] ppid=1017586 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1017589/task/1017608/stat : 1017608 (Timer-0) S 1017586 1017589 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196987587 19566772224 1709814 134679101440 94086038278144 94086038281840 140730540615664 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94086038289656 94086038290448 94086058344448 140730540618757 140730540618847 140730540618847 140730540625864 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6839256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.4 s, system=2.7938 s

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

[startup+3560.61 s]*
/proc/loadavg: 4.19 4.23 4.25 5/314 1019790
/proc/meminfo: memFree=109368508/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3560.62
CPU time (s): 3600.19
CPU user time (s): 3597.4
CPU system time (s): 2.7938
CPU usage (%): 101.111
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 6839256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.4
system time used= 2.7938
maximum resident set size= 6840908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118646
involuntary context switches= 14886


# summary of solver processes directly reported to runsolver:
#   pid: 1017589
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3597.4
#   total CPU system time (s): 2.7938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72533 second user time and 18.7424 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 06:04:42
IDJOB=4452454
IDBENCH=164378
IDSOLVER=3058
FILE ID=nodeC016/4452454-1721448270
RUNJOBID= nodeC016-1721444951-1015388
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-mine-90-10.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-4452454-1721448270/watcher-4452454-1721448270 -o /tmp/evaluation-result-4452454-1721448270/solver-4452454-1721448270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015388 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452454-1721448270.opb

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

MD5SUM BENCH= 655e29d3d11acc2b2e2d8217bccdc3c7
RANDOM SEED=995825681

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		: 3676.393
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		: 3686.161
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		: 3630.285
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		: 3599.916
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		: 3623.033
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		: 3680.579
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		: 3618.802
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		: 3599.889
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:        91906012 kB
MemAvailable:   95725332 kB
Buffers:          422612 kB
Cached:          4238312 kB
SwapCached:            0 kB
Active:           699724 kB
Inactive:       38229756 kB
Active(anon):       1536 kB
Inactive(anon): 34312924 kB
Active(file):     698188 kB
Inactive(file):  3916832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1432 kB
Writeback:             8 kB
AnonPages:      34267036 kB
Mapped:           127580 kB
Shmem:             45912 kB
KReclaimable:      87896 kB
Slab:             200632 kB
SReclaimable:      87896 kB
SUnreclaim:       112736 kB
KernelStack:        4980 kB
PageTables:        76792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   37587616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73600 kB
HardwareCorrupted:     0 kB
AnonHugePages:  33769472 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= 890076 MiB
End job on nodeC016 at 2024-07-20 07:04:02