Trace number 4453234

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.35 3584.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v1/normalized-grid4_81.opb
MD5SUMf100cf33f2766fb68fbd6d015e5ae1f8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.013287
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables324
Total number of constraints649
Number of constraints which are clauses648
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint324
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 162
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- 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-4453234-1721454689.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.028s.
0.13/0.15	c declared #vars     324
0.13/0.15	c #constraints  649
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 648
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.15	c 649 constraints processed.
0.91/0.52	c cleaning 2500 clauses out of 5000 with flag 10393/5000
1.29/0.73	c cleaning 4250 clauses out of 8500 with flag 22809/11000
1.57/0.94	c cleaning 5624 clauses out of 11250 with flag 37383/18000
1.87/1.19	c cleaning 6814 clauses out of 13627 with flag 53962/26001
2.16/1.46	c cleaning 7905 clauses out of 15812 with flag 72633/35000
2.46/1.77	c cleaning 8951 clauses out of 17907 with flag 93402/45000
2.94/2.16	c cleaning 9975 clauses out of 19956 with flag 116291/56000
3.33/2.58	c cleaning 10992 clauses out of 21983 with flag 141274/68002
3.83/3.08	c cleaning 11995 clauses out of 23989 with flag 168229/81000
4.46/3.66	c cleaning 12995 clauses out of 25994 with flag 197332/95000
5.06/4.23	c cleaning 13999 clauses out of 27999 with flag 228464/110000
5.65/4.89	c cleaning 14998 clauses out of 30003 with flag 261705/126003
6.54/5.68	c cleaning 16000 clauses out of 32003 with flag 297033/143001
7.34/6.41	c cleaning 16994 clauses out of 34003 with flag 334424/161001
8.04/7.20	c cleaning 18001 clauses out of 36009 with flag 374023/180001
9.05/8.14	c cleaning 18999 clauses out of 38008 with flag 415519/200001
9.94/9.08	c cleaning 20001 clauses out of 40008 with flag 459208/221000
11.07/10.18	c cleaning 21000 clauses out of 42007 with flag 504862/243000
12.25/11.30	c cleaning 22001 clauses out of 44008 with flag 552726/266001
13.46/12.50	c cleaning 23002 clauses out of 46006 with flag 602590/290000
14.55/13.67	c cleaning 23999 clauses out of 48004 with flag 654495/315000
16.06/15.14	c cleaning 25003 clauses out of 50006 with flag 708609/341001
17.57/16.65	c cleaning 25995 clauses out of 52002 with flag 764723/368000
18.96/18.01	c cleaning 27004 clauses out of 54007 with flag 822770/396000
20.49/19.55	c cleaning 28002 clauses out of 56004 with flag 882933/425001
21.98/21.06	c cleaning 28995 clauses out of 58001 with flag 945425/455000
23.80/22.82	c cleaning 30000 clauses out of 60007 with flag 1009795/486001
25.58/24.62	c cleaning 31002 clauses out of 62007 with flag 1076273/518001
27.39/26.45	c cleaning 31998 clauses out of 64004 with flag 1144851/551000
29.37/28.41	c cleaning 33002 clauses out of 66006 with flag 1215607/585000
31.59/30.62	c cleaning 34001 clauses out of 68005 with flag 1288304/620001
34.23/33.21	c cleaning 34997 clauses out of 70004 with flag 1363228/656001
36.42/35.47	c cleaning 35999 clauses out of 72006 with flag 1440276/693000
38.70/37.76	c cleaning 37005 clauses out of 74009 with flag 1519302/731002
41.16/40.14	c cleaning 37999 clauses out of 76002 with flag 1600160/770000
43.35/42.38	c cleaning 39002 clauses out of 78003 with flag 1683377/810000
46.25/45.25	c cleaning 39999 clauses out of 80002 with flag 1768442/851001
48.65/47.69	c cleaning 40998 clauses out of 82003 with flag 1855775/893001
51.49/50.49	c cleaning 42002 clauses out of 84004 with flag 1945184/936000
54.78/53.71	c cleaning 43003 clauses out of 86005 with flag 2036633/980003
57.74/56.69	c cleaning 43999 clauses out of 87999 with flag 2130299/1025000
61.14/60.07	c cleaning 45000 clauses out of 90000 with flag 2226035/1071000
64.64/63.47	c cleaning 45996 clauses out of 92000 with flag 2323635/1118000
68.03/66.89	c cleaning 47000 clauses out of 94007 with flag 2423384/1166003
72.02/70.86	c cleaning 47999 clauses out of 96005 with flag 2525239/1215001
75.75/74.54	c cleaning 48999 clauses out of 98006 with flag 2629306/1265001
79.05/77.82	c cleaning 50003 clauses out of 100007 with flag 2735258/1316001
82.74/81.53	c cleaning 50999 clauses out of 102003 with flag 2843288/1368000
87.12/85.49	c cleaning 52003 clauses out of 104005 with flag 2953266/1421001
91.72/90.09	c cleaning 52998 clauses out of 106002 with flag 3065341/1475001
96.26/94.58	c cleaning 54002 clauses out of 108003 with flag 3179875/1530000
100.86/99.16	c cleaning 54999 clauses out of 110002 with flag 3296180/1586001
105.35/103.61	c cleaning 56001 clauses out of 112003 with flag 3414305/1643001
110.23/108.41	c cleaning 56999 clauses out of 114003 with flag 3534746/1701002
115.22/113.40	c cleaning 58001 clauses out of 116005 with flag 3657359/1760003
120.31/118.53	c cleaning 58994 clauses out of 118002 with flag 3782095/1820001
125.83/123.90	c cleaning 60001 clauses out of 120007 with flag 3908879/1881000
130.53/128.69	c cleaning 60998 clauses out of 122006 with flag 4037647/1943000
135.99/134.00	c cleaning 62001 clauses out of 124008 with flag 4168550/2006000
141.38/139.48	c cleaning 63001 clauses out of 126007 with flag 4301410/2070000
146.89/144.97	c cleaning 64003 clauses out of 128007 with flag 4436409/2135001
152.88/150.94	c cleaning 65001 clauses out of 130003 with flag 4573497/2201000
159.49/157.51	c cleaning 65998 clauses out of 132004 with flag 4712987/2268002
165.04/163.12	c cleaning 66999 clauses out of 134004 with flag 4854229/2336000
170.89/169.08	c cleaning 68000 clauses out of 136005 with flag 4997547/2405000
177.76/175.90	c cleaning 69000 clauses out of 138007 with flag 5143035/2475002
185.01/183.19	c cleaning 70003 clauses out of 140005 with flag 5290573/2546000
192.93/190.96	c cleaning 70996 clauses out of 142002 with flag 5440334/2618000
198.83/196.80	c cleaning 72002 clauses out of 144008 with flag 5592035/2691002
206.89/204.51	c cleaning 73001 clauses out of 146004 with flag 5745676/2765000
214.16/211.87	c cleaning 73996 clauses out of 148003 with flag 5901449/2840000
222.64/220.37	c cleaning 75004 clauses out of 150009 with flag 6059571/2916002
229.65/227.30	c cleaning 75999 clauses out of 152003 with flag 6219401/2993000
237.44/235.18	c cleaning 77000 clauses out of 154004 with flag 6381755/3071000
245.02/242.77	c cleaning 78000 clauses out of 156004 with flag 6545943/3150000
253.31/251.04	c cleaning 79003 clauses out of 158005 with flag 6711976/3230001
260.56/258.19	c cleaning 79995 clauses out of 160001 with flag 6880221/3311000
267.64/265.28	c cleaning 81002 clauses out of 162007 with flag 7050691/3393001
277.62/275.27	c cleaning 81998 clauses out of 164004 with flag 7222826/3476000
286.42/283.95	c cleaning 82999 clauses out of 166007 with flag 7397088/3560001
295.64/293.27	c cleaning 84000 clauses out of 168008 with flag 7573439/3645001
304.97/302.66	c cleaning 84999 clauses out of 170008 with flag 7751804/3731001
314.48/312.07	c cleaning 85999 clauses out of 172009 with flag 7932454/3818001
323.86/321.43	c cleaning 87001 clauses out of 174012 with flag 8115505/3906003
333.45/331.04	c cleaning 88001 clauses out of 176009 with flag 8300334/3995001
344.14/341.69	c cleaning 89002 clauses out of 178007 with flag 8487459/4085000
353.22/350.77	c cleaning 89996 clauses out of 180006 with flag 8676716/4176001
363.30/360.80	c cleaning 91003 clauses out of 182010 with flag 8867898/4268001
373.41/370.97	c cleaning 92000 clauses out of 184006 with flag 9061094/4361000
382.39/379.95	c cleaning 93001 clauses out of 186006 with flag 9256297/4455000
392.27/389.80	c cleaning 94000 clauses out of 188005 with flag 9453510/4550000
402.39/400.03	c cleaning 94999 clauses out of 190006 with flag 9652676/4646001
413.46/411.15	c cleaning 95997 clauses out of 192008 with flag 9854505/4743002
423.84/421.53	c cleaning 97003 clauses out of 194009 with flag 10057975/4841000
434.53/432.17	c cleaning 98000 clauses out of 196007 with flag 10263581/4940001
446.91/444.62	c cleaning 98998 clauses out of 198006 with flag 10471324/5040000
456.72/454.57	c cleaning 100000 clauses out of 200008 with flag 10681028/5141000
468.91/465.99	c cleaning 101003 clauses out of 202009 with flag 10892797/5243001
482.09/479.22	c cleaning 102001 clauses out of 204005 with flag 11106609/5346000
493.08/490.12	c cleaning 103001 clauses out of 206004 with flag 11322328/5450000
507.36/504.41	c cleaning 103999 clauses out of 208003 with flag 11540257/5555000
519.44/516.54	c cleaning 104995 clauses out of 210004 with flag 11760419/5661000
532.69/529.74	c cleaning 106001 clauses out of 212010 with flag 11982710/5768001
545.37/542.47	c cleaning 107001 clauses out of 214009 with flag 12206732/5876001
558.25/555.38	c cleaning 108003 clauses out of 216009 with flag 12433526/5985002
573.42/570.41	c cleaning 108995 clauses out of 218004 with flag 12661855/6095000
586.41/583.49	c cleaning 110003 clauses out of 220011 with flag 12892383/6206002
601.58/598.66	c cleaning 110999 clauses out of 222007 with flag 13125037/6318001
616.69/613.63	c cleaning 111997 clauses out of 224007 with flag 13359500/6431000
632.86/629.83	c cleaning 113006 clauses out of 226011 with flag 13596129/6545001
647.13/644.10	c cleaning 113999 clauses out of 228004 with flag 13834707/6660000
663.72/660.69	c cleaning 114999 clauses out of 230005 with flag 14075672/6776000
677.10/674.03	c cleaning 116003 clauses out of 232008 with flag 14318474/6893002
692.37/689.37	c cleaning 117001 clauses out of 234004 with flag 14563564/7011001
707.79/704.68	c cleaning 117999 clauses out of 236003 with flag 14810614/7130001
723.47/720.31	c cleaning 118998 clauses out of 238004 with flag 15059541/7250001
739.59/735.81	c cleaning 119999 clauses out of 240005 with flag 15311202/7371000
754.86/751.15	c cleaning 121002 clauses out of 242006 with flag 15564271/7493000
772.12/768.32	c cleaning 122003 clauses out of 244006 with flag 15819854/7616002
787.10/783.36	c cleaning 123001 clauses out of 246003 with flag 16077404/7740002
807.73/803.86	c cleaning 123992 clauses out of 248002 with flag 16337454/7865002
826.64/822.82	c cleaning 125002 clauses out of 250009 with flag 16599001/7991001
844.42/840.61	c cleaning 126003 clauses out of 252007 with flag 16862759/8118001
863.62/859.89	c cleaning 126998 clauses out of 254005 with flag 17128913/8246002
882.59/878.99	c cleaning 127998 clauses out of 256007 with flag 17397250/8375002
900.72/896.96	c cleaning 129000 clauses out of 258007 with flag 17667119/8505000
919.84/916.06	c cleaning 129997 clauses out of 260007 with flag 17939030/8636000
939.54/935.74	c cleaning 131003 clauses out of 262011 with flag 18212933/8768001
956.60/952.84	c cleaning 131999 clauses out of 264007 with flag 18488860/8901000
977.47/973.58	c cleaning 132999 clauses out of 266009 with flag 18767288/9035001
996.14/992.22	c cleaning 134003 clauses out of 268010 with flag 19047976/9170001
1015.92/1011.30	c cleaning 134997 clauses out of 270007 with flag 19330165/9306001
1036.04/1031.65	c cleaning 136000 clauses out of 272010 with flag 19614612/9443001
1055.35/1051.06	c cleaning 137002 clauses out of 274011 with flag 19901118/9581002
1073.79/1069.54	c cleaning 137999 clauses out of 276007 with flag 20190156/9720000
1092.67/1088.41	c cleaning 138999 clauses out of 278008 with flag 20480869/9860000
1111.49/1107.18	c cleaning 140002 clauses out of 280009 with flag 20773527/10001000
1130.85/1126.51	c cleaning 141004 clauses out of 282008 with flag 21068284/10143001
1150.31/1145.87	c cleaning 142000 clauses out of 284003 with flag 21364874/10286000
1169.89/1165.48	c cleaning 143002 clauses out of 286003 with flag 21664366/10430000
1191.89/1187.34	c cleaning 144000 clauses out of 288002 with flag 21965751/10575001
1212.16/1207.67	c cleaning 144999 clauses out of 290002 with flag 22268909/10721001
1229.75/1225.10	c cleaning 145996 clauses out of 292002 with flag 22574098/10868000
1252.63/1248.02	c cleaning 146998 clauses out of 294006 with flag 22881733/11016000
1275.46/1270.87	c cleaning 148004 clauses out of 296010 with flag 23191405/11165002
1295.64/1291.05	c cleaning 148998 clauses out of 298004 with flag 23502861/11315000
1316.60/1311.01	c cleaning 150002 clauses out of 300006 with flag 23816749/11466000
1339.90/1334.33	c cleaning 150999 clauses out of 302005 with flag 24132584/11618001
1359.57/1354.02	c cleaning 151998 clauses out of 304005 with flag 24450094/11771000
1382.13/1376.54	c cleaning 153002 clauses out of 306007 with flag 24769755/11925000
1401.90/1396.32	c cleaning 154000 clauses out of 308006 with flag 25091528/12080001
1423.65/1418.00	c cleaning 154998 clauses out of 310005 with flag 25415763/12236000
1444.11/1438.57	c cleaning 156001 clauses out of 312009 with flag 25742007/12393002
1464.82/1459.18	c cleaning 157002 clauses out of 314006 with flag 26070180/12551000
1490.19/1484.55	c cleaning 158001 clauses out of 316005 with flag 26400905/12710001
1516.35/1510.78	c cleaning 159000 clauses out of 318005 with flag 26733481/12870002
1543.72/1538.10	c cleaning 159993 clauses out of 320003 with flag 27067809/13031000
1570.08/1564.48	c cleaning 161000 clauses out of 322010 with flag 27404347/13193000
1600.00/1594.22	c cleaning 162001 clauses out of 324010 with flag 27742845/13356000
1624.16/1618.42	c cleaning 162999 clauses out of 326009 with flag 28083120/13520000
1650.46/1644.61	c cleaning 164003 clauses out of 328012 with flag 28425631/13685002
1675.42/1669.65	c cleaning 164997 clauses out of 330007 with flag 28770207/13851000
1701.63/1695.18	c cleaning 166003 clauses out of 332011 with flag 29116997/14018001
1726.79/1720.14	c cleaning 167000 clauses out of 334008 with flag 29466066/14186001
1750.17/1743.40	c cleaning 167999 clauses out of 336007 with flag 29817351/14355000
1778.06/1771.29	c cleaning 169001 clauses out of 338009 with flag 30170779/14525001
1804.50/1797.51	c cleaning 169999 clauses out of 340009 with flag 30525659/14696002
1832.62/1825.54	c cleaning 171004 clauses out of 342009 with flag 30883035/14868001
1861.06/1853.02	c cleaning 171999 clauses out of 344005 with flag 31242114/15041001
1886.07/1878.02	c cleaning 172996 clauses out of 346005 with flag 31603405/15215000
1919.67/1911.53	c cleaning 174003 clauses out of 348009 with flag 31967588/15390000
1945.53/1937.42	c cleaning 175000 clauses out of 350007 with flag 32333126/15566001
1970.79/1962.66	c cleaning 176001 clauses out of 352006 with flag 32701024/15743000
1999.05/1990.92	c cleaning 177002 clauses out of 354007 with flag 33070567/15921002
2026.32/2018.14	c cleaning 177998 clauses out of 356003 with flag 33442308/16100000
2054.58/2046.49	c cleaning 179000 clauses out of 358006 with flag 33816058/16280001
2085.41/2077.04	c cleaning 180000 clauses out of 360005 with flag 34192183/16461000
2114.87/2106.56	c cleaning 181002 clauses out of 362006 with flag 34570075/16643001
2143.11/2134.65	c cleaning 181999 clauses out of 364005 with flag 34949829/16826002
2173.95/2164.35	c cleaning 183000 clauses out of 366004 with flag 35332271/17010000
2204.88/2195.20	c cleaning 183997 clauses out of 368005 with flag 35716813/17195001
2237.63/2227.91	c cleaning 185001 clauses out of 370009 with flag 36103467/17381002
2269.59/2259.94	c cleaning 185999 clauses out of 372006 with flag 36492236/17568000
2301.18/2291.58	c cleaning 187001 clauses out of 374007 with flag 36882553/17756000
2331.59/2321.85	c cleaning 187999 clauses out of 376006 with flag 37275060/17945000
2364.65/2354.95	c cleaning 189004 clauses out of 378007 with flag 37669674/18135000
2400.33/2390.55	c cleaning 190002 clauses out of 380004 with flag 38066937/18326001
2434.52/2424.65	c cleaning 190994 clauses out of 382001 with flag 38465586/18518000
2468.94/2458.99	c cleaning 191998 clauses out of 384007 with flag 38865875/18711000
2501.71/2490.61	c cleaning 193000 clauses out of 386010 with flag 39268384/18905001
2534.13/2523.08	c cleaning 193999 clauses out of 388009 with flag 39673779/19100000
2573.28/2562.26	c cleaning 194999 clauses out of 390010 with flag 40081220/19296000
2607.95/2596.96	c cleaning 196004 clauses out of 392011 with flag 40490539/19493000
2643.49/2632.50	c cleaning 197002 clauses out of 394009 with flag 40901835/19691002
2674.85/2663.69	c cleaning 197999 clauses out of 396005 with flag 41315000/19890000
2707.26/2695.95	c cleaning 199000 clauses out of 398006 with flag 41730499/20090000
2743.50/2732.05	c cleaning 199998 clauses out of 400006 with flag 42147969/20291000
2779.15/2767.53	c cleaning 201002 clauses out of 402009 with flag 42567925/20493001
2811.99/2800.22	c cleaning 201998 clauses out of 404006 with flag 42989660/20696000
2850.99/2838.17	c cleaning 203001 clauses out of 406008 with flag 43413430/20900000
2884.41/2871.54	c cleaning 204000 clauses out of 408007 with flag 43838941/21105000
2920.82/2907.88	c cleaning 205000 clauses out of 410007 with flag 44266728/21311000
2954.21/2941.05	c cleaning 205998 clauses out of 412007 with flag 44696625/21518000
2993.09/2979.72	c cleaning 207001 clauses out of 414010 with flag 45128388/21726001
3032.22/3018.76	c cleaning 208001 clauses out of 416010 with flag 45562409/21935002
3072.22/3058.53	c cleaning 209001 clauses out of 418008 with flag 45998513/22145001
3108.01/3094.10	c cleaning 210003 clauses out of 420008 with flag 46436415/22356002
3150.68/3135.69	c cleaning 210996 clauses out of 422004 with flag 46877099/22568001
3187.80/3172.78	c cleaning 212000 clauses out of 424007 with flag 47319714/22781000
3228.91/3213.74	c cleaning 213000 clauses out of 426007 with flag 47764255/22995000
3265.66/3250.51	c cleaning 214005 clauses out of 428011 with flag 48210938/23210004
3299.32/3284.28	c cleaning 214996 clauses out of 430005 with flag 48659723/23426003
3344.52/3329.30	c cleaning 216001 clauses out of 432008 with flag 49110249/23643002
3385.76/3370.66	c cleaning 216996 clauses out of 434005 with flag 49563245/23861000
3426.04/3410.85	c cleaning 218002 clauses out of 436009 with flag 50018282/24080000
3468.61/3453.36	c cleaning 219002 clauses out of 438009 with flag 50475672/24300002
3507.47/3492.04	c cleaning 220000 clauses out of 440006 with flag 50934369/24521001
3556.20/3540.67	c cleaning 220999 clauses out of 442006 with flag 51395689/24743001
3600.08/3584.41	c starts		: 1
3600.08/3584.42	c conflicts		: 24966001
3600.08/3584.42	c decisions		: 25936436
3600.08/3584.42	c propagations		: 123653974
3600.08/3584.42	c inspects		: 33268856170
3600.08/3584.42	c shortcuts		: 0
3600.08/3584.42	c learnt literals	: 0
3600.08/3584.42	c learnt binary clauses	: 0
3600.08/3584.42	c learnt ternary clauses	: 0
3600.08/3584.42	c learnt constraints	: 24966001
3600.08/3584.42	c ignored constraints	: 0
3600.08/3584.42	c root simplifications	: 0
3600.08/3584.42	c removed literals (reason simplification)	: 0
3600.08/3584.42	c reason swapping (by a shorter reason)	: 0
3600.08/3584.42	c Calls to reduceDB	: 219
3600.08/3584.42	c Number of update (reduction) of LBD	: 802142
3600.08/3584.42	c Imported unit clauses	: 0
3600.08/3584.42	c No decision after first conflict	: false
3600.08/3584.42	c number of reductions to clauses (during analyze)	: 0
3600.08/3584.42	c number of learned constraints concerned by reduction	: 0
3600.08/3584.42	c number of learning phase by resolution	: 0
3600.08/3584.42	c number of learning phase by cutting planes	: 0
3600.08/3584.42	c number of rounding to 1 operations	: 0
3600.08/3584.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3584.42	c number of reductions of the coefficients by power 2 	: 0
3600.08/3584.42	c number of right shift for reduction by power 2 	: 0
3600.08/3584.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3584.42	c number of ending skipping 	: 0
3600.08/3584.42	c number of internal skipping 	: 0
3600.08/3584.42	c number of derivation steps 	: 0
3600.08/3584.42	c number of skipped derivation steps 	: 0
3600.08/3584.42	c number of remaining unassigned 	: 0
3600.08/3584.42	c number of remaining assigned 	: 0
3600.08/3584.42	c number of falsified literals weakened from reason	: 0
3600.08/3584.42	c number of falsified literals weakened from conflict	: 0
3600.08/3584.42	c time for arithmetic operations	: 0
3600.08/3584.43	c minimum degree of deleted constraints	: null
3600.08/3584.43	c maximum degree of deleted constraints	: null
3600.08/3584.43	c number of deleted constraints	: 0
3600.08/3584.43	c speed (assignments/second)	: 34499.048621309994
3600.08/3584.43	c non guided choices	: 158
3600.29/3584.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 444007
3600.29/3584.52	s UNKNOWN
3600.29/3584.52	c Total wall clock time (in seconds): 3584.397

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453234-1721454689/watcher-4453234-1721454689 -o /tmp/evaluation-result-4453234-1721454689/solver-4453234-1721454689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015390 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453234-1721454689.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
Current StackSize limit: 8192 KiB

solver pid=1021119, runsolver pid=1021116

[startup+0.100724 s]*
/proc/loadavg: 4.49 4.28 4.25 9/331 1021137
/proc/meminfo: memFree=91082792/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=18975048 memory=64348 CPUtime=0.13 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 7081 0 0 0 11 2 0 0 20 0 18 0 197629450 19430449152 16087 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4743762 16087 5616 1 0 549336 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 5669 0 0 0 7 1 0 0 20 0 18 0 197629451 19430449152 16087 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197629453 19430449152 16087 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197629454 19430449152 16087 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64348 KiB

[startup+0.206555 s]*
/proc/loadavg: 4.49 4.28 4.25 8/332 1021138
/proc/meminfo: memFree=91078756/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19041612 memory=69204 CPUtime=0.34 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 7809 0 0 0 31 3 0 0 20 0 19 0 197629450 19498610688 17301 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4760403 17301 5812 1 0 549994 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 5862 0 0 0 17 2 0 0 20 0 19 0 197629451 19498610688 17301 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19041612 memory=14994 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197629453 19498610688 17301 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197629454 19498610688 17301 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197629466 19498610688 17301 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69204 KiB

[startup+0.306555 s]*
/proc/loadavg: 4.49 4.28 4.25 8/332 1021138
/proc/meminfo: memFree=91068636/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19041612 memory=79272 CPUtime=0.53 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 9310 0 0 0 50 3 0 0 20 0 19 0 197629450 19498610688 19818 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4760403 19818 5812 1 0 550912 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19041612 memory=-7740664642079255142 CPUtime=0.28 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 5890 0 0 0 26 2 0 0 20 0 19 0 197629451 19498610688 19818 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197629453 19498610688 19818 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197629454 19498610688 19818 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197629466 19498610688 19818 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79272 KiB

[startup+0.700558 s]
/proc/loadavg: 4.49 4.28 4.25 9/332 1021138
/proc/meminfo: memFree=91059656/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19041612 memory=98996 CPUtime=1.29 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 11270 0 0 0 125 4 0 0 20 0 19 0 197629450 19498610688 24749 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4760403 24749 5844 1 0 552216 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19041612 memory=47000 CPUtime=0.65 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 6011 0 0 0 63 2 0 0 20 0 19 0 197629451 19498610688 24749 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197629453 19498610688 24749 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197629454 19498610688 24749 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197629466 19498610688 24749 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98996 KiB

[startup+1.50056 s]
/proc/loadavg: 4.53 4.30 4.25 6/332 1021138
/proc/meminfo: memFree=91027184/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19041612 memory=149352 CPUtime=2.26 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 12370 0 0 0 221 5 0 0 20 0 19 0 197629450 19498610688 37338 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4760403 37338 5844 1 0 552424 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19041612 memory=13012 CPUtime=1.44 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 6399 0 0 0 141 3 0 0 20 0 19 0 197629451 19498610688 37338 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197629453 19498610688 37338 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197629454 19498610688 37338 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19041612 memory=26268 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197629466 19498610688 37338 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149352 KiB

[startup+3.10655 s]
/proc/loadavg: 4.53 4.30 4.25 5/333 1021140
/proc/meminfo: memFree=90956592/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=190988 CPUtime=3.93 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 15482 0 0 0 386 7 0 0 20 0 20 0 197629450 19566772224 47747 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 47747 5851 1 0 552733 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=0 CPUtime=3.01 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 6682 0 0 0 297 4 0 0 20 0 20 0 197629451 19566772224 47747 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=-7740664642079255142 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 47747 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 47747 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 47747 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190988 KiB

[startup+6.30055 s]
/proc/loadavg: 4.49 4.29 4.25 5/333 1021140
/proc/meminfo: memFree=90851104/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=296140 CPUtime=7.24 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 16492 0 0 0 714 10 0 0 20 0 20 0 197629450 19566772224 74035 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 74035 5851 1 0 552734 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=2312 CPUtime=6.09 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 6759 0 0 0 605 4 0 0 20 0 20 0 197629451 19566772224 74035 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 74035 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 74035 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 74035 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 296140 KiB

[startup+12.7006 s]
/proc/loadavg: 4.45 4.29 4.25 5/333 1021142
/proc/meminfo: memFree=90719396/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=427628 CPUtime=13.66 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 18767 0 0 0 1353 13 0 0 20 0 20 0 197629450 19566772224 106907 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 106907 5851 1 0 552734 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=13012 CPUtime=12.29 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 7778 0 0 0 1225 4 0 0 20 0 20 0 197629451 19566772224 106907 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=324984 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 106907 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=47000 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 106907 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 106907 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 13.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 427628 KiB

[startup+25.5006 s]
/proc/loadavg: 4.46 4.29 4.25 5/333 1021143
/proc/meminfo: memFree=90329860/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=816332 CPUtime=26.5 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 22091 0 0 0 2630 20 0 0 20 0 20 0 197629450 19566772224 204083 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 204083 5851 1 0 659253 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=6944656574621848725 CPUtime=24.72 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 8670 0 0 0 2466 6 0 0 20 0 20 0 197629451 19566772224 204083 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 204083 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=3477 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 204083 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 204083 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 26.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 816332 KiB

[startup+51.1058 s]
/proc/loadavg: 4.46 4.31 4.26 5/333 1021146
/proc/meminfo: memFree=89949108/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=1196068 CPUtime=52.19 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 26563 0 0 0 5190 29 0 0 20 0 20 0 197629450 19566772224 299017 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 299017 5867 1 0 659253 0

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

[startup+3282.3 s]
/proc/loadavg: 1.20 1.17 1.35 2/254 1023038
/proc/meminfo: memFree=121617036/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=3297.43 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 202388 0 0 0 329535 208 0 0 20 0 20 0 197629450 19566772224 1064173 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1064173 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=3260.41 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 70524 0 0 0 325996 45 0 0 20 0 20 0 197629451 19566772224 1064173 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1064173 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1355 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1064173 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1064173 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3297.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4256692 KiB

[startup+3342.3 s]
/proc/loadavg: 1.25 1.18 1.34 2/254 1023048
/proc/meminfo: memFree=121599960/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=3357.5 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 203274 0 0 0 335540 210 0 0 20 0 20 0 197629450 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068270 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=4256692 CPUtime=3320.13 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 70952 0 0 0 331968 45 0 0 20 0 20 0 197629451 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=47292 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1359 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3357.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273080 KiB

[startup+3402.3 s]
/proc/loadavg: 1.21 1.18 1.33 2/254 1023060
/proc/meminfo: memFree=121599276/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=3417.56 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 203658 0 0 0 341545 211 0 0 20 0 20 0 197629450 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068270 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=3379.88 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71165 0 0 0 337942 46 0 0 20 0 20 0 197629451 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=1836 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068270 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3417.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273080 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.14 1.31 2/254 1023071
/proc/meminfo: memFree=121598372/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273088 CPUtime=3477.61 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 204031 0 0 0 347547 214 0 0 20 0 20 0 197629450 19566772224 1068272 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068272 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=3439.64 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71336 0 0 0 343918 46 0 0 20 0 20 0 197629451 19566772224 1068272 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4273080 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068272 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=4273088 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068272 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068272 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3477.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273088 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.13 1.29 2/256 1023086
/proc/meminfo: memFree=121597692/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273096 CPUtime=3537.72 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 204356 0 0 0 353556 216 0 0 20 0 20 0 197629450 19566772224 1068274 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068274 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=4273096 CPUtime=3499.31 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71377 0 0 0 349885 46 0 0 20 0 20 0 197629451 19566772224 1068274 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4273096 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068274 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=1740 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068274 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=4273096 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068274 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3537.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273096 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.13 1.28 2/256 1023097
/proc/meminfo: memFree=121596648/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273144 CPUtime=3597.99 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 206029 0 0 0 359581 218 0 0 20 0 20 0 197629450 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068286 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=11488 CPUtime=3558.82 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71742 0 0 0 355836 46 0 0 20 0 20 0 197629451 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4273144 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3597.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.4 s]
/proc/loadavg: 1.12 1.13 1.28 2/256 1023097
/proc/meminfo: memFree=121596648/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19108176 memory=4273144 CPUtime=3600.08 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 206029 0 0 0 359790 218 0 0 20 0 20 0 197629450 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4777044 1068286 5867 1 0 1081460 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19108176 memory=8124 CPUtime=3560.91 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71742 0 0 0 356045 46 0 0 20 0 20 0 197629451 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19108176 memory=4273144 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197629453 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 20 0 197629454 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021138] ppid=1021116 vsize=19108176 memory=5444 CPUtime=0 cores=5,7
/proc/1021119/task/1021138/stat : 1021138 (Timer-0) S 1021116 1021119 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197629466 19566772224 1068286 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4273144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.15 s, system=2.20106 s

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

[startup+3584.5 s]
/proc/loadavg: 1.12 1.13 1.28 2/256 1023097
/proc/meminfo: memFree=121596648/131524600 swapFree=131071996/131071996
[pid=1021119] ppid=1021116 vsize=19307868 memory=4273816 CPUtime=3600.29 cores=5,7
/proc/1021119/stat : 1021119 (java) S 1021116 1021119 1015377 0 -1 1077936128 209115 0 0 0 359811 218 0 0 20 0 21 0 197629450 19771256832 1068454 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
/proc/1021119/statm: 4826967 1068454 5866 1 0 1082363 0
[pid=1021119/tid=1021121] ppid=1021116 vsize=19307868 memory=4273096 CPUtime=3561.02 cores=5,7
/proc/1021119/task/1021121/stat : 1021121 (java) R 1021116 1021119 1015377 0 -1 4194368 71742 0 0 0 356056 46 0 0 20 0 21 0 197629451 19771256832 1068454 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021130] ppid=1021116 vsize=19307868 memory=13012 CPUtime=0 cores=5,7
/proc/1021119/task/1021130/stat : 1021130 (Finalizer) S 1021116 1021119 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197629453 19771256832 1068454 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
[pid=1021119/tid=1021137] ppid=1021116 vsize=19307868 memory=4273088 CPUtime=0 cores=5,7
/proc/1021119/task/1021137/stat : 1021137 (Common-Cleaner) S 1021116 1021119 1015377 0 -1 1077936192 1360 0 0 0 0 0 0 0 20 0 21 0 197629454 19771256832 1068454 134679101440 94357823680512 94357823684208 140735778998336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94357823692024 94357823692816 94357855084544 140735779001349 140735779001439 140735779001439 140735779008456 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4273816 KiB

Child status: 143

Real time (s): 3584.54
CPU time (s): 3600.35
CPU user time (s): 3598.15
CPU system time (s): 2.20106
CPU usage (%): 100.441
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4273816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 2.20106
maximum resident set size= 4274948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109300
involuntary context switches= 6414


# summary of solver processes directly reported to runsolver:
#   pid: 1021119
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3598.15
#   total CPU system time (s): 2.20106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28168 second user time and 17.7809 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 07:51:41
IDJOB=4453234
IDBENCH=170248
IDSOLVER=3058
FILE ID=nodeC016/4453234-1721454689
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/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-large-v1/normalized-grid4_81.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453234-1721454689/watcher-4453234-1721454689 -o /tmp/evaluation-result-4453234-1721454689/solver-4453234-1721454689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015390 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453234-1721454689.opb

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

MD5SUM BENCH= f100cf33f2766fb68fbd6d015e5ae1f8
RANDOM SEED=967397410

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		: 3617.360
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		: 3599.848
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		: 3628.440
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		: 3613.721
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.955
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		: 3652.950
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:        91126448 kB
MemAvailable:   95030924 kB
Buffers:          430472 kB
Cached:          4315588 kB
SwapCached:            0 kB
Active:           706344 kB
Inactive:       38999960 kB
Active(anon):       1568 kB
Inactive(anon): 35004588 kB
Active(file):     704776 kB
Inactive(file):  3995372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:      34958740 kB
Mapped:           128340 kB
Shmem:             45912 kB
KReclaimable:      87948 kB
Slab:             201392 kB
SReclaimable:      87948 kB
SUnreclaim:       113444 kB
KernelStack:        5020 kB
PageTables:        78316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   39841348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73792 kB
HardwareCorrupted:     0 kB
AnonHugePages:  34568192 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= 890084 MiB
End job on nodeC016 at 2024-07-20 08:51:25