Trace number 4451464

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.67 3584.92

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/vertexcover-instances/
normalized-vertexcover-grid10x29.opb
MD5SUM30a4cf2ddf192745c6efb8ab99c0ca30
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.011587
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables290
Total number of constraints581
Number of constraints which are clauses580
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 constraint290
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 145
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 435
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.23	c java.vm.vendor	Oracle Corporation
0.12/0.23	c sun.arch.data.model	64
0.12/0.23	c java.version		22.0.1
0.12/0.23	c os.name		Linux
0.12/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.23	c os.arch		amd64
0.30/0.23	c Free memory 		2113181440
0.30/0.23	c Max memory 		16282288128
0.30/0.23	c Total memory 		2122317824
0.30/0.24	c Number of processors 	2
0.45/0.34	--- Begin Solver configuration ---
0.45/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.34	Learn all clauses as in MiniSAT
0.45/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.34	No reason simplification
0.45/0.34	Glucose 2.1 dynamic restart strategy
0.45/0.34	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.45/0.34	timeout=2147483s
0.45/0.34	DB Simplification allowed=false
0.45/0.34	Listener: none
0.45/0.34	--- End Solver configuration ---
0.45/0.34	c Pseudo Boolean Optimization by upper bound
0.45/0.34	c --- Begin Solver configuration ---
0.45/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.34	c Learn all clauses as in MiniSAT
0.45/0.34	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.34	c No reason simplification
0.45/0.34	c Glucose 2.1 dynamic restart strategy
0.45/0.34	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.45/0.34	c timeout=2147483s
0.45/0.34	c DB Simplification allowed=false
0.45/0.34	c Listener: none
0.45/0.34	c --- End Solver configuration ---
0.45/0.34	c solving HOME/instance-4451464-1721434903.opb
0.45/0.34	c reading problem ... 
0.45/0.35	c  no objective function found
0.62/0.45	c ... done. Wall clock time 0.089s.
0.62/0.45	c declared #vars     290
0.62/0.45	c #constraints  581
0.62/0.45	c constraints type 
0.62/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 580
0.62/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.62/0.45	c 581 constraints processed.
1.95/1.14	c cleaning 2500 clauses out of 5000 with flag 10329/5000
2.93/1.63	c cleaning 4251 clauses out of 8501 with flag 22719/11001
3.27/1.86	c cleaning 5621 clauses out of 11249 with flag 37206/18000
3.76/2.12	c cleaning 6815 clauses out of 13630 with flag 53743/26002
4.13/2.40	c cleaning 7906 clauses out of 15813 with flag 72338/35000
4.42/2.70	c cleaning 8948 clauses out of 17908 with flag 93002/45001
4.83/3.05	c cleaning 9978 clauses out of 19960 with flag 115704/56001
5.31/3.51	c cleaning 10990 clauses out of 21981 with flag 140493/68000
5.71/3.92	c cleaning 11993 clauses out of 23992 with flag 167419/81001
6.12/4.38	c cleaning 13000 clauses out of 25999 with flag 196319/95001
6.72/4.94	c cleaning 13996 clauses out of 28000 with flag 227278/110002
7.53/5.71	c cleaning 14996 clauses out of 30003 with flag 260329/126001
8.31/6.43	c cleaning 16004 clauses out of 32007 with flag 295419/143001
9.17/7.21	c cleaning 17000 clauses out of 34004 with flag 332615/161002
10.09/8.15	c cleaning 17999 clauses out of 36003 with flag 371735/180001
10.68/8.79	c cleaning 19000 clauses out of 38004 with flag 413039/200001
11.58/9.63	c cleaning 19998 clauses out of 40003 with flag 456380/221000
12.62/10.65	c cleaning 21000 clauses out of 42006 with flag 501815/243001
13.72/11.74	c cleaning 22004 clauses out of 44007 with flag 549345/266002
14.81/12.87	c cleaning 22997 clauses out of 46002 with flag 598841/290001
16.22/14.24	c cleaning 23999 clauses out of 48004 with flag 650404/315000
17.61/15.61	c cleaning 25000 clauses out of 50007 with flag 703781/341002
19.24/17.29	c cleaning 26002 clauses out of 52005 with flag 758796/368000
20.84/18.83	c cleaning 27000 clauses out of 54004 with flag 815868/396001
22.24/20.29	c cleaning 27995 clauses out of 56004 with flag 875063/425001
24.11/22.06	c cleaning 29004 clauses out of 58010 with flag 936258/455002
25.80/23.75	c cleaning 30004 clauses out of 60007 with flag 999442/486003
27.88/25.72	c cleaning 30996 clauses out of 62001 with flag 1064592/518001
29.77/27.63	c cleaning 32001 clauses out of 64007 with flag 1131824/551003
31.77/29.63	c cleaning 33000 clauses out of 66003 with flag 1201149/585000
33.90/31.71	c cleaning 33998 clauses out of 68003 with flag 1272460/620000
36.22/34.04	c cleaning 34999 clauses out of 70005 with flag 1345960/656000
38.43/36.28	c cleaning 35998 clauses out of 72006 with flag 1422012/693000
40.72/38.54	c cleaning 36998 clauses out of 74008 with flag 1500613/731000
43.57/41.32	c cleaning 38005 clauses out of 76010 with flag 1580787/770000
46.47/44.24	c cleaning 39000 clauses out of 78006 with flag 1663360/810001
49.55/47.23	c cleaning 40003 clauses out of 80007 with flag 1747864/851002
51.65/49.34	c cleaning 40995 clauses out of 82002 with flag 1834491/893000
54.09/51.75	c cleaning 42005 clauses out of 84009 with flag 1923257/936002
56.99/54.61	c cleaning 42998 clauses out of 86003 with flag 2014143/980001
60.47/58.01	c cleaning 44004 clauses out of 88008 with flag 2107087/1025004
63.57/61.13	c cleaning 44997 clauses out of 90002 with flag 2202063/1071002
67.00/64.54	c cleaning 45999 clauses out of 92003 with flag 2299192/1118000
70.61/68.16	c cleaning 47000 clauses out of 94004 with flag 2398254/1166000
74.40/71.92	c cleaning 47999 clauses out of 96005 with flag 2499408/1215001
78.03/75.52	c cleaning 49001 clauses out of 98005 with flag 2602708/1265000
81.22/78.70	c cleaning 49999 clauses out of 100004 with flag 2708021/1316000
84.58/82.02	c cleaning 51001 clauses out of 102005 with flag 2815352/1368000
88.93/86.30	c cleaning 51998 clauses out of 104004 with flag 2924887/1421000
93.52/90.96	c cleaning 53002 clauses out of 106008 with flag 3036300/1475002
98.57/96.00	c cleaning 53999 clauses out of 108004 with flag 3149785/1530000
103.36/100.75	c cleaning 54997 clauses out of 110005 with flag 3265476/1586000
108.56/105.83	c cleaning 56002 clauses out of 112008 with flag 3383156/1643000
114.15/111.49	c cleaning 57000 clauses out of 114007 with flag 3502943/1701001
121.20/117.90	c cleaning 58001 clauses out of 116009 with flag 3624908/1760003
126.89/123.68	c cleaning 59001 clauses out of 118005 with flag 3748852/1820000
133.14/129.82	c cleaning 60001 clauses out of 120004 with flag 3874711/1881000
138.53/135.23	c cleaning 60997 clauses out of 122004 with flag 4002827/1943001
144.39/141.02	c cleaning 61998 clauses out of 124006 with flag 4132964/2006000
150.16/146.83	c cleaning 63002 clauses out of 126009 with flag 4264990/2070001
156.47/153.15	c cleaning 64003 clauses out of 128007 with flag 4399209/2135001
162.54/159.16	c cleaning 65000 clauses out of 130003 with flag 4535559/2201000
169.54/166.15	c cleaning 65997 clauses out of 132003 with flag 4674013/2268000
176.68/173.20	c cleaning 67000 clauses out of 134006 with flag 4814379/2336000
184.31/180.86	c cleaning 68004 clauses out of 136008 with flag 4956864/2405002
192.09/188.61	c cleaning 69002 clauses out of 138003 with flag 5101526/2475001
199.37/195.82	c cleaning 69997 clauses out of 140000 with flag 5248148/2546000
205.36/201.89	c cleaning 71001 clauses out of 142004 with flag 5396925/2618001
211.21/207.66	c cleaning 71999 clauses out of 144003 with flag 5547526/2691001
217.61/214.03	c cleaning 73001 clauses out of 146005 with flag 5700043/2765002
225.69/222.04	c cleaning 73998 clauses out of 148004 with flag 5855039/2840002
232.87/229.24	c cleaning 74999 clauses out of 150004 with flag 6012093/2916000
240.98/237.22	c cleaning 76000 clauses out of 152006 with flag 6170966/2993001
247.78/244.07	c cleaning 77000 clauses out of 154005 with flag 6332172/3071000
255.62/251.86	c cleaning 78001 clauses out of 156005 with flag 6494858/3150000
263.60/259.88	c cleaning 79000 clauses out of 158004 with flag 6659678/3230000
273.06/269.20	c cleaning 79999 clauses out of 160004 with flag 6826929/3311000
282.64/278.88	c cleaning 81000 clauses out of 162006 with flag 6996223/3393001
292.23/288.41	c cleaning 82001 clauses out of 164006 with flag 7167487/3476001
300.92/297.18	c cleaning 83001 clauses out of 166004 with flag 7340801/3560000
307.90/304.13	c cleaning 83999 clauses out of 168003 with flag 7516470/3645000
314.27/310.53	c cleaning 85000 clauses out of 170006 with flag 7694179/3731002
320.77/317.06	c cleaning 85998 clauses out of 172004 with flag 7873573/3818000
329.94/326.26	c cleaning 87000 clauses out of 174006 with flag 8055275/3906000
342.61/338.96	c cleaning 88004 clauses out of 176007 with flag 8239298/3995001
353.59/349.35	c cleaning 88998 clauses out of 178002 with flag 8425259/4085000
364.08/359.89	c cleaning 90002 clauses out of 180004 with flag 8613064/4176000
374.76/370.51	c cleaning 90996 clauses out of 182003 with flag 8803254/4268001
383.55/379.39	c cleaning 91998 clauses out of 184007 with flag 8995431/4361001
395.12/390.73	c cleaning 93001 clauses out of 186009 with flag 9189498/4455001
405.20/400.89	c cleaning 94000 clauses out of 188008 with flag 9385648/4550001
416.17/411.76	c cleaning 95002 clauses out of 190007 with flag 9583824/4646000
429.04/424.67	c cleaning 95999 clauses out of 192005 with flag 9784212/4743000
440.25/435.70	c cleaning 96996 clauses out of 194006 with flag 9986609/4841000
452.55/448.04	c cleaning 98001 clauses out of 196010 with flag 10191091/4940000
464.02/459.59	c cleaning 99002 clauses out of 198009 with flag 10397473/5040000
477.21/472.77	c cleaning 100000 clauses out of 200007 with flag 10606222/5141000
490.21/485.58	c cleaning 100999 clauses out of 202007 with flag 10816928/5243000
504.70/500.04	c cleaning 101997 clauses out of 204008 with flag 11029407/5346000
517.99/513.20	c cleaning 103003 clauses out of 206013 with flag 11244012/5450002
533.26/528.52	c cleaning 104003 clauses out of 208009 with flag 11460398/5555001
548.10/543.39	c cleaning 104998 clauses out of 210006 with flag 11679214/5661001
563.47/558.71	c cleaning 106002 clauses out of 212008 with flag 11900222/5768001
578.97/574.11	c cleaning 106998 clauses out of 214006 with flag 12123092/5876001
595.95/591.12	c cleaning 108001 clauses out of 216008 with flag 12348103/5985001
613.11/607.98	c cleaning 109001 clauses out of 218007 with flag 12575503/6095001
628.69/623.54	c cleaning 110003 clauses out of 220005 with flag 12804583/6206000
645.02/639.81	c cleaning 111001 clauses out of 222002 with flag 13035565/6318000
660.90/655.74	c cleaning 111996 clauses out of 224004 with flag 13268796/6431003
679.34/674.04	c cleaning 112996 clauses out of 226006 with flag 13504367/6545001
695.00/689.78	c cleaning 113998 clauses out of 228010 with flag 13742017/6660001
712.18/707.01	c cleaning 115005 clauses out of 230011 with flag 13981584/6776000
730.74/725.37	c cleaning 115996 clauses out of 232006 with flag 14223079/6893000
747.73/742.18	c cleaning 117002 clauses out of 234011 with flag 14466511/7011001
764.79/759.23	c cleaning 118002 clauses out of 236008 with flag 14712405/7130000
781.02/775.48	c cleaning 118999 clauses out of 238007 with flag 14960269/7250001
796.98/791.46	c cleaning 120002 clauses out of 240008 with flag 15209593/7371001
816.96/811.30	c cleaning 121002 clauses out of 242005 with flag 15459295/7493000
836.16/830.31	c cleaning 122002 clauses out of 244003 with flag 15713081/7616000
855.23/849.42	c cleaning 123000 clauses out of 246001 with flag 15969058/7740000
875.32/869.41	c cleaning 123992 clauses out of 248003 with flag 16227291/7865002
896.22/890.30	c cleaning 125001 clauses out of 250011 with flag 16487448/7991002
917.48/911.59	c cleaning 126004 clauses out of 252009 with flag 16749595/8118001
938.73/932.88	c cleaning 126995 clauses out of 254004 with flag 17013917/8246000
962.05/956.16	c cleaning 128002 clauses out of 256009 with flag 17280131/8375000
986.23/980.33	c cleaning 129000 clauses out of 258008 with flag 17548423/8505001
1010.30/1004.44	c cleaning 129999 clauses out of 260008 with flag 17818897/8636001
1033.46/1027.69	c cleaning 131001 clauses out of 262009 with flag 18091370/8768001
1054.99/1049.13	c cleaning 131999 clauses out of 264007 with flag 18365918/8901000
1073.49/1066.88	c cleaning 133000 clauses out of 266008 with flag 18642510/9035000
1092.85/1086.18	c cleaning 133999 clauses out of 268009 with flag 18921070/9170001
1111.40/1104.72	c cleaning 135001 clauses out of 270010 with flag 19201977/9306001
1132.16/1125.52	c cleaning 136001 clauses out of 272009 with flag 19485046/9443001
1154.72/1148.19	c cleaning 137000 clauses out of 274007 with flag 19770036/9581000
1180.20/1173.59	c cleaning 138001 clauses out of 276008 with flag 20057120/9720001
1200.79/1194.14	c cleaning 139000 clauses out of 278007 with flag 20346644/9860001
1226.75/1220.15	c cleaning 140001 clauses out of 280006 with flag 20637649/10001000
1251.80/1245.20	c cleaning 140998 clauses out of 282007 with flag 20930847/10143002
1278.36/1271.68	c cleaning 141999 clauses out of 284008 with flag 21226132/10286001
1302.53/1295.83	c cleaning 143000 clauses out of 286008 with flag 21523413/10430000
1325.96/1319.11	c cleaning 144004 clauses out of 288010 with flag 21822489/10575002
1353.71/1346.81	c cleaning 145000 clauses out of 290006 with flag 22123898/10721002
1379.19/1372.28	c cleaning 145997 clauses out of 292004 with flag 22427282/10868000
1407.35/1400.34	c cleaning 147001 clauses out of 294008 with flag 22732881/11016001
1433.96/1426.85	c cleaning 147999 clauses out of 296007 with flag 23040514/11165001
1462.05/1453.74	c cleaning 148998 clauses out of 298007 with flag 23350161/11315000
1495.59/1487.39	c cleaning 150005 clauses out of 300011 with flag 23659497/11466002
1526.10/1517.82	c cleaning 150996 clauses out of 302004 with flag 23972896/11618000
1557.77/1549.42	c cleaning 152002 clauses out of 304009 with flag 24288884/11771001
1590.36/1581.90	c cleaning 153001 clauses out of 306008 with flag 24606657/11925002
1623.34/1614.80	c cleaning 154002 clauses out of 308006 with flag 24926645/12080001
1657.84/1649.24	c cleaning 154998 clauses out of 310004 with flag 25248288/12236001
1689.16/1680.41	c cleaning 155997 clauses out of 312006 with flag 25572199/12393001
1721.91/1713.27	c cleaning 157001 clauses out of 314009 with flag 25898693/12551001
1758.07/1749.37	c cleaning 158000 clauses out of 316008 with flag 26226916/12710001
1798.24/1789.45	c cleaning 158998 clauses out of 318009 with flag 26557092/12870002
1831.37/1822.51	c cleaning 159999 clauses out of 320009 with flag 26889514/13031000
1861.29/1852.41	c cleaning 161005 clauses out of 322011 with flag 27224276/13193001
1897.76/1888.78	c cleaning 162001 clauses out of 324007 with flag 27560651/13356002
1935.06/1924.86	c cleaning 162995 clauses out of 326004 with flag 27899234/13520000
1969.21/1959.03	c cleaning 164002 clauses out of 328009 with flag 28239602/13685000
2004.21/1994.07	c cleaning 164997 clauses out of 330007 with flag 28582473/13851000
2036.05/2025.83	c cleaning 166000 clauses out of 332010 with flag 28927354/14018000
2071.34/2061.15	c cleaning 167003 clauses out of 334010 with flag 29274301/14186000
2101.49/2091.36	c cleaning 167999 clauses out of 336008 with flag 29623207/14355001
2134.53/2124.24	c cleaning 168996 clauses out of 338008 with flag 29974064/14525000
2170.08/2159.89	c cleaning 170007 clauses out of 340013 with flag 30326832/14696001
2206.66/2196.31	c cleaning 170997 clauses out of 342007 with flag 30681740/14868002
2245.40/2235.05	c cleaning 171998 clauses out of 344008 with flag 31038966/15041000
2278.87/2268.59	c cleaning 173004 clauses out of 346011 with flag 31398519/15215001
2312.14/2301.74	c cleaning 173999 clauses out of 348006 with flag 31759936/15390000
2349.01/2338.58	c cleaning 175002 clauses out of 350007 with flag 32123398/15566000
2383.44/2372.95	c cleaning 175998 clauses out of 352005 with flag 32488950/15743000
2419.28/2408.76	c cleaning 177000 clauses out of 354007 with flag 32856455/15921000
2453.98/2443.38	c cleaning 178004 clauses out of 356010 with flag 33226216/16100003
2494.03/2482.13	c cleaning 178999 clauses out of 358004 with flag 33597594/16280001
2536.69/2524.69	c cleaning 179998 clauses out of 360005 with flag 33971272/16461001
2581.22/2569.10	c cleaning 180999 clauses out of 362006 with flag 34347147/16643000
2624.84/2612.49	c cleaning 182002 clauses out of 364007 with flag 34724955/16826000
2669.42/2656.80	c cleaning 182997 clauses out of 366005 with flag 35104784/17010000
2714.38/2701.52	c cleaning 184003 clauses out of 368009 with flag 35486988/17195001
2758.73/2745.51	c cleaning 185001 clauses out of 370007 with flag 35871153/17381002
2804.11/2790.87	c cleaning 186000 clauses out of 372005 with flag 36257184/17568001
2848.13/2834.88	c cleaning 186999 clauses out of 374005 with flag 36645252/17756001
2893.09/2879.89	c cleaning 187997 clauses out of 376007 with flag 37035421/17945002
2945.03/2931.86	c cleaning 189004 clauses out of 378008 with flag 37427287/18135000
2991.04/2977.87	c cleaning 189998 clauses out of 380004 with flag 37821380/18326000
3037.51/3024.28	c cleaning 191004 clauses out of 382007 with flag 38217796/18518001
3088.18/3074.88	c cleaning 191995 clauses out of 384002 with flag 38616411/18711000
3131.39/3118.07	c cleaning 192998 clauses out of 386007 with flag 39017335/18905000
3184.68/3171.24	c cleaning 194000 clauses out of 388009 with flag 39420116/19100000
3237.70/3224.16	c cleaning 195002 clauses out of 390011 with flag 39824758/19296002
3290.03/3276.42	c cleaning 196003 clauses out of 392009 with flag 40231546/19493002
3338.97/3325.33	c cleaning 196999 clauses out of 394005 with flag 40640144/19691001
3392.24/3378.42	c cleaning 197999 clauses out of 396006 with flag 41051332/19890001
3445.87/3430.60	c cleaning 198996 clauses out of 398006 with flag 41464299/20090000
3498.56/3483.24	c cleaning 200003 clauses out of 400012 with flag 41879699/20291002
3547.81/3532.48	c cleaning 201001 clauses out of 402008 with flag 42296013/20493001
3600.07/3584.62	c starts		: 1
3600.07/3584.63	c conflicts		: 20696001
3600.07/3584.65	c decisions		: 21407244
3600.07/3584.65	c propagations		: 101389229
3600.07/3584.65	c inspects		: 26598499451
3600.07/3584.65	c shortcuts		: 0
3600.07/3584.65	c learnt literals	: 0
3600.07/3584.66	c learnt binary clauses	: 0
3600.07/3584.66	c learnt ternary clauses	: 0
3600.07/3584.66	c learnt constraints	: 20696001
3600.07/3584.66	c ignored constraints	: 0
3600.07/3584.66	c root simplifications	: 0
3600.07/3584.66	c removed literals (reason simplification)	: 0
3600.07/3584.66	c reason swapping (by a shorter reason)	: 0
3600.07/3584.66	c Calls to reduceDB	: 199
3600.07/3584.66	c Number of update (reduction) of LBD	: 593827
3600.07/3584.66	c Imported unit clauses	: 0
3600.07/3584.66	c No decision after first conflict	: false
3600.07/3584.66	c number of reductions to clauses (during analyze)	: 0
3600.07/3584.66	c number of learned constraints concerned by reduction	: 0
3600.07/3584.66	c number of learning phase by resolution	: 0
3600.07/3584.67	c number of learning phase by cutting planes	: 0
3600.07/3584.67	c number of rounding to 1 operations	: 0
3600.07/3584.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3584.67	c number of reductions of the coefficients by power 2 	: 0
3600.07/3584.67	c number of right shift for reduction by power 2 	: 0
3600.07/3584.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3584.68	c number of ending skipping 	: 0
3600.07/3584.68	c number of internal skipping 	: 0
3600.07/3584.68	c number of derivation steps 	: 0
3600.07/3584.68	c number of skipped derivation steps 	: 0
3600.07/3584.68	c number of remaining unassigned 	: 0
3600.07/3584.68	c number of remaining assigned 	: 0
3600.07/3584.68	c number of falsified literals weakened from reason	: 0
3600.07/3584.68	c number of falsified literals weakened from conflict	: 0
3600.07/3584.68	c time for arithmetic operations	: 0
3600.07/3584.68	c minimum degree of deleted constraints	: null
3600.07/3584.69	c maximum degree of deleted constraints	: null
3600.07/3584.69	c number of deleted constraints	: 0
3600.07/3584.69	c speed (assignments/second)	: 28287.52694436028
3600.07/3584.70	c non guided choices	: 135
3600.46/3584.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 404007
3600.46/3584.89	s UNKNOWN
3600.46/3584.89	c Total wall clock time (in seconds): 3584.544

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63111 MiB free)
  memory of node 1: 64473 MiB (63311 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451464-1721434903/watcher-4451464-1721434903 -o /tmp/evaluation-result-4451464-1721434903/solver-4451464-1721434903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036505 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451464-1721434903.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=1036546, runsolver pid=1036543

[startup+0.100069 s]*
/proc/loadavg: 3.82 4.15 4.18 10/311 1036633
/proc/meminfo: memFree=129339432/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=18975048 memory=56588 CPUtime=0.12 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 6268 0 0 0 8 4 0 0 20 0 18 0 195647452 19430449152 14147 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4743762 14147 5493 1 0 550740 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 5218 0 0 0 5 2 0 0 20 0 18 0 195647452 19430449152 14147 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=18975048 memory=1774770 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 14147 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 14147 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56588 KiB

[startup+0.220094 s]*
/proc/loadavg: 3.82 4.15 4.18 14/311 1036633
/proc/meminfo: memFree=129324992/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=18975048 memory=61584 CPUtime=0.3 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 6952 0 0 0 25 5 0 0 20 0 18 0 195647452 19430449152 15396 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4743762 15396 5550 1 0 551321 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=18975048 memory=8603368907145347203 CPUtime=0.18 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 5569 0 0 0 15 3 0 0 20 0 18 0 195647452 19430449152 15396 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=18975048 memory=1774770 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 15396 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 15396 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61584 KiB

[startup+0.317768 s]*
/proc/loadavg: 3.82 4.15 4.18 13/311 1036633
/proc/meminfo: memFree=129301160/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=18975048 memory=67404 CPUtime=0.45 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 7206 0 0 0 40 5 0 0 20 0 18 0 195647452 19430449152 16851 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4743762 16851 5735 1 0 551483 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=18975048 memory=-7380095196913100386 CPUtime=0.27 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 5728 0 0 0 24 3 0 0 20 0 18 0 195647452 19430449152 16851 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195647459 19430449152 16851 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195647460 19430449152 16851 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67404 KiB

[startup+0.700763 s]
/proc/loadavg: 3.82 4.15 4.18 13/313 1036635
/proc/meminfo: memFree=129237644/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19041612 memory=78352 CPUtime=1.15 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 9301 0 0 0 109 6 0 0 20 0 19 0 195647452 19498610688 19588 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4760403 19588 5844 1 0 552817 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19041612 memory=5540 CPUtime=0.59 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 5868 0 0 0 55 4 0 0 20 0 19 0 195647452 19498610688 19588 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 19588 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 19588 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19041612 memory=280151455779264 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647497 19498610688 19588 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78352 KiB

[startup+1.50075 s]
/proc/loadavg: 3.82 4.15 4.18 10/315 1036637
/proc/meminfo: memFree=129181912/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19041612 memory=97708 CPUtime=2.74 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 16989 0 0 0 265 9 0 0 20 0 19 0 195647452 19498610688 24427 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4760403 24427 5859 1 0 554915 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19041612 memory=12508 CPUtime=1.37 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 6892 0 0 0 132 5 0 0 20 0 19 0 195647452 19498610688 24427 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 24427 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19041612 memory=1128 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 24427 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647497 19498610688 24427 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97708 KiB

[startup+3.1134 s]
/proc/loadavg: 4.00 4.18 4.19 6/315 1036639
/proc/meminfo: memFree=129026852/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19041612 memory=169936 CPUtime=4.93 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 17817 0 0 0 482 11 0 0 20 0 19 0 195647452 19498610688 42484 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4760403 42484 5859 1 0 554919 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19041612 memory=0 CPUtime=2.98 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 7169 0 0 0 291 7 0 0 20 0 19 0 195647452 19498610688 42484 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195647459 19498610688 42484 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195647460 19498610688 42484 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195647497 19498610688 42484 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 169936 KiB

[startup+6.30045 s]
/proc/loadavg: 4.00 4.18 4.19 6/318 1036642
/proc/meminfo: memFree=128840424/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19108176 memory=225004 CPUtime=8.2 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 18862 0 0 0 807 13 0 0 20 0 20 0 195647452 19566772224 56251 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4777044 56251 5875 1 0 555225 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19108176 memory=12508 CPUtime=5.95 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 7177 0 0 0 588 7 0 0 20 0 20 0 195647452 19566772224 56251 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 56251 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19108176 memory=4581 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 195647460 19566772224 56251 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647497 19566772224 56251 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 8.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225004 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.23 4.20 6/319 1036711
/proc/meminfo: memFree=128666516/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19108176 memory=319872 CPUtime=14.72 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 20086 0 0 0 1456 16 0 0 20 0 20 0 195647452 19566772224 79968 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4777044 79968 5891 1 0 555225 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19108176 memory=12508 CPUtime=12.12 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 7770 0 0 0 1205 7 0 0 20 0 20 0 195647452 19566772224 79968 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19108176 memory=2264 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 79968 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 195647460 19566772224 79968 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647497 19566772224 79968 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 319872 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.22 4.20 5/320 1036714
/proc/meminfo: memFree=128106856/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19108176 memory=754584 CPUtime=27.68 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 24587 0 0 0 2741 27 0 0 20 0 20 0 195647452 19566772224 188646 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4777044 188646 5891 1 0 741123 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19108176 memory=12508 CPUtime=24.4 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 9090 0 0 0 2431 9 0 0 20 0 20 0 195647452 19566772224 188646 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19108176 memory=48136 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 188646 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19108176 memory=2305 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 195647460 19566772224 188646 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195647497 19566772224 188646 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 27.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 754584 KiB

[startup+51.1164 s]
/proc/loadavg: 4.12 4.20 4.19 5/320 1036717
/proc/meminfo: memFree=127100148/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19108176 memory=1037876 CPUtime=53.51 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 28772 0 0 0 5317 34 0 0 20 0 20 0 195647452 19566772224 259469 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4777044 259469 5907 1 0 741123 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19108176 memory=12508 CPUtime=49.48 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 10429 0 0 0 4939 9 0 0 20 0 20 0 195647452 19566772224 259469 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19108176 memory=968036 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195647459 19566772224 259469 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.17 6/319 1038614
/proc/meminfo: memFree=120237288/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=3886464 CPUtime=3295.91 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 155734 0 0 0 329326 265 0 0 20 0 21 0 195647452 19634933760 971616 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 971616 5923 1 0 1043690 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=48488 CPUtime=3256.33 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 56417 0 0 0 325591 42 0 0 20 0 21 0 195647452 19634933760 971616 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=3886464 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 971616 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=3886464 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 971616 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=32180 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 971616 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3295.91 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 3886464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/319 1038624
/proc/meminfo: memFree=120236780/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=3886696 CPUtime=3355.95 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 156157 0 0 0 335327 268 0 0 20 0 21 0 195647452 19634933760 971674 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 971674 5923 1 0 1043690 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=2264 CPUtime=3316.05 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 56674 0 0 0 331563 42 0 0 20 0 21 0 195647452 19634933760 971674 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=3886464 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 971674 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=32180 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 971674 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=21028 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 971674 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3355.95 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 3886696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/319 1038634
/proc/meminfo: memFree=119826692/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=4260608 CPUtime=3417.46 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 160998 0 0 0 341466 280 0 0 20 0 21 0 195647452 19634933760 1065152 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 1065152 5923 1 0 1369613 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=4182784 CPUtime=3375.6 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57160 0 0 0 337515 45 0 0 20 0 21 0 195647452 19634933760 1065152 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=4246272 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 1065152 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=4250368 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 1065152 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=4244224 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 1065152 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3417.46 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4260608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 6/319 1038645
/proc/meminfo: memFree=119612932/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=4439060 CPUtime=3477.69 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 161606 0 0 0 347483 286 0 0 20 0 21 0 195647452 19634933760 1109765 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 1109765 5923 1 0 1369613 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=11420 CPUtime=3434.95 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57467 0 0 0 343449 46 0 0 20 0 21 0 195647452 19634933760 1109765 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=4387584 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 1109765 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=4387584 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 1109765 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=16192 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 1109765 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3477.69 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4439060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/319 1038655
/proc/meminfo: memFree=119587888/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=3537.72 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 161758 0 0 0 353483 289 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 1109811 5923 1 0 1369613 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=5540 CPUtime=3494.65 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57535 0 0 0 349419 46 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=2264 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=11420 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3537.72 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4439244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/321 1038669
/proc/meminfo: memFree=119554648/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=3597.77 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 161937 0 0 0 359485 292 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 1109811 5923 1 0 1369613 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=48488 CPUtime=3554.36 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57649 0 0 0 355390 46 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=11420 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3597.77 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4439244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.6 s]
/proc/loadavg: 4.08 4.13 4.16 6/321 1038669
/proc/meminfo: memFree=119552536/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=3600.07 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 161937 0 0 0 359715 292 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4793685 1109811 5923 1 0 1369613 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19174740 memory=4439244 CPUtime=3556.66 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57649 0 0 0 355620 46 0 0 20 0 21 0 195647452 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19174740 memory=7523089799933751151 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 195647459 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19174740 memory=-7380095196913100642 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 21 0 195647460 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036635] ppid=1036543 vsize=19174740 memory=1832 CPUtime=0 cores=5,7
/proc/1036546/task/1036635/stat : 1036635 (Timer-0) S 1036543 1036546 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 195647497 19634933760 1109811 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4439244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.73 s, system=2.94292 s

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

[startup+3584.8 s]
/proc/loadavg: 4.08 4.13 4.16 6/321 1038669
/proc/meminfo: memFree=119552536/131655788 swapFree=131070704/131071996
[pid=1036546] ppid=1036543 vsize=19374432 memory=4439844 CPUtime=3600.46 cores=5,7
/proc/1036546/stat : 1036546 (java) S 1036543 1036546 1036492 0 -1 1077936128 163130 0 0 0 359754 292 0 0 20 0 22 0 195647452 19839418368 1109961 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
/proc/1036546/statm: 4843608 1109961 5922 1 0 1370516 0
[pid=1036546/tid=1036554] ppid=1036543 vsize=19374432 memory=-7449368835445539473 CPUtime=3556.86 cores=5,7
/proc/1036546/task/1036554/stat : 1036554 (java) R 1036543 1036546 1036492 0 -1 4194368 57649 0 0 0 355640 46 0 0 20 0 22 0 195647452 19839418368 1109961 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036599] ppid=1036543 vsize=19374432 memory=-7380095196913100642 CPUtime=0 cores=5,7
/proc/1036546/task/1036599/stat : 1036599 (Finalizer) S 1036543 1036546 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 195647459 19839418368 1109961 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
[pid=1036546/tid=1036627] ppid=1036543 vsize=19374432 memory=32180 CPUtime=0 cores=5,7
/proc/1036546/task/1036627/stat : 1036627 (Common-Cleaner) S 1036543 1036546 1036492 0 -1 1077936192 1601 0 0 0 0 0 0 0 20 0 22 0 195647460 19839418368 1109961 134679101440 94118801571840 94118801575536 140735402503984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94118801583352 94118801584144 94118806839296 140735402509317 140735402509407 140735402509407 140735402516424 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 4439844 KiB

Child status: 143

Real time (s): 3584.92
CPU time (s): 3600.67
CPU user time (s): 3597.73
CPU system time (s): 2.94292
CPU usage (%): 100.439
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 4439844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 2.94292
maximum resident set size= 4439884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110353
involuntary context switches= 4201


# summary of solver processes directly reported to runsolver:
#   pid: 1036546
#   total CPU time (s): 3600.67
#   total CPU user time (s): 3597.73
#   total CPU system time (s): 2.94292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0799 second user time and 37.6773 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 02:21:55
IDJOB=4451464
IDBENCH=162486
IDSOLVER=3058
FILE ID=nodeC011/4451464-1721434903
RUNJOBID= nodeC011-1721434915-1036505
SLURM_JOB_ID= 7545639
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451464-1721434903/watcher-4451464-1721434903 -o /tmp/evaluation-result-4451464-1721434903/solver-4451464-1721434903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036505 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451464-1721434903.opb

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

MD5SUM BENCH= 30a4cf2ddf192745c6efb8ab99c0ca30
RANDOM SEED=1048899140

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129480276 kB
MemAvailable:   129996272 kB
Buffers:          559840 kB
Cached:           803796 kB
SwapCached:          132 kB
Active:          1071856 kB
Inactive:         614116 kB
Active(anon):       1356 kB
Inactive(anon):   366552 kB
Active(file):    1070500 kB
Inactive(file):   247564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:               656 kB
Writeback:             0 kB
AnonPages:        322196 kB
Mapped:           105484 kB
Shmem:             45592 kB
KReclaimable:      76264 kB
Slab:             159016 kB
SReclaimable:      76264 kB
SUnreclaim:        82752 kB
KernelStack:        3672 kB
PageTables:         9708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     797888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-20 03:21:40