Trace number 4453114

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.29 3554.15

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
MD5SUMadd936bb86ecdde22f6655365824bd6d
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 benchmark1.88567
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables440
Total number of constraints881
Number of constraints which are clauses880
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint440
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 460
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.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4453114-1721451831.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.03s.
0.13/0.16	c declared #vars     440
0.13/0.16	c #constraints  881
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 880
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.16	c 881 constraints processed.
0.91/0.55	c cleaning 2500 clauses out of 5001 with flag 10304/5001
1.28/0.78	c cleaning 4251 clauses out of 8501 with flag 22619/11001
1.59/0.96	c cleaning 5623 clauses out of 11249 with flag 36983/18000
1.88/1.18	c cleaning 6809 clauses out of 13626 with flag 53500/26000
2.18/1.48	c cleaning 7906 clauses out of 15818 with flag 72138/35001
2.48/1.79	c cleaning 8955 clauses out of 17911 with flag 92790/45000
2.99/2.16	c cleaning 9979 clauses out of 19957 with flag 115539/56001
3.37/2.55	c cleaning 10988 clauses out of 21978 with flag 140347/68001
3.93/3.03	c cleaning 11993 clauses out of 23990 with flag 167188/81001
4.34/3.45	c cleaning 12994 clauses out of 25997 with flag 196122/95001
4.99/4.08	c cleaning 14000 clauses out of 28002 with flag 227033/110000
5.59/4.69	c cleaning 14998 clauses out of 30003 with flag 260076/126001
6.37/5.34	c cleaning 15999 clauses out of 32004 with flag 295195/143000
7.07/6.04	c cleaning 17001 clauses out of 34006 with flag 332440/161001
8.04/6.94	c cleaning 17999 clauses out of 36004 with flag 371687/180000
8.93/7.82	c cleaning 19004 clauses out of 38007 with flag 413012/200002
10.01/8.82	c cleaning 19997 clauses out of 40001 with flag 456264/221000
11.08/9.86	c cleaning 21000 clauses out of 42005 with flag 501565/243001
12.08/10.82	c cleaning 22002 clauses out of 44004 with flag 548953/266000
13.37/12.03	c cleaning 22998 clauses out of 46002 with flag 598492/290000
14.48/13.16	c cleaning 23999 clauses out of 48004 with flag 650200/315000
15.93/14.54	c cleaning 25002 clauses out of 50005 with flag 703828/341000
17.12/15.75	c cleaning 26001 clauses out of 52005 with flag 759496/368002
18.49/17.07	c cleaning 27000 clauses out of 54003 with flag 817267/396001
20.18/18.70	c cleaning 28000 clauses out of 56002 with flag 877099/425000
21.68/20.19	c cleaning 29000 clauses out of 58002 with flag 939013/455000
23.54/21.94	c cleaning 30000 clauses out of 60003 with flag 1003007/486001
25.14/23.55	c cleaning 31001 clauses out of 62005 with flag 1069054/518003
26.76/25.14	c cleaning 31996 clauses out of 64001 with flag 1137359/551000
28.84/27.11	c cleaning 32997 clauses out of 66005 with flag 1207716/585000
30.82/29.01	c cleaning 34005 clauses out of 68009 with flag 1280175/620001
32.71/30.94	c cleaning 35000 clauses out of 70004 with flag 1354646/656001
34.85/33.09	c cleaning 35996 clauses out of 72003 with flag 1431226/693000
37.00/35.14	c cleaning 37002 clauses out of 74008 with flag 1509787/731001
39.19/37.32	c cleaning 38000 clauses out of 76005 with flag 1590519/770000
41.69/39.82	c cleaning 39003 clauses out of 78007 with flag 1673296/810002
43.99/42.18	c cleaning 39995 clauses out of 80003 with flag 1758081/851001
46.78/44.81	c cleaning 41000 clauses out of 82008 with flag 1844879/893001
49.16/47.25	c cleaning 42002 clauses out of 84007 with flag 1933658/936000
51.54/49.54	c cleaning 42998 clauses out of 86005 with flag 2024586/980000
54.12/52.17	c cleaning 43998 clauses out of 88007 with flag 2117721/1025000
56.86/54.87	c cleaning 45003 clauses out of 90010 with flag 2212935/1071001
59.53/57.54	c cleaning 46000 clauses out of 92006 with flag 2310076/1118000
62.62/60.52	c cleaning 47000 clauses out of 94008 with flag 2409292/1166002
65.60/63.57	c cleaning 48001 clauses out of 96007 with flag 2510591/1215001
69.47/66.71	c cleaning 49000 clauses out of 98005 with flag 2613978/1265000
72.44/69.75	c cleaning 49995 clauses out of 100005 with flag 2719440/1316000
76.24/73.41	c cleaning 51000 clauses out of 102010 with flag 2826959/1368000
79.78/76.99	c cleaning 52003 clauses out of 104011 with flag 2936647/1421001
83.43/80.57	c cleaning 52999 clauses out of 106008 with flag 3048340/1475001
87.38/84.45	c cleaning 54001 clauses out of 108008 with flag 3161933/1530000
91.25/88.38	c cleaning 55001 clauses out of 110007 with flag 3277069/1586000
94.19/91.28	c cleaning 56001 clauses out of 112006 with flag 3394634/1643000
98.16/95.21	c cleaning 56999 clauses out of 114005 with flag 3514411/1701000
101.73/98.87	c cleaning 58001 clauses out of 116006 with flag 3636250/1760000
104.88/101.80	c cleaning 59001 clauses out of 118005 with flag 3760022/1820000
107.98/104.97	c cleaning 59999 clauses out of 120005 with flag 3885821/1881001
112.10/109.09	c cleaning 60999 clauses out of 122005 with flag 4013820/1943000
116.46/113.29	c cleaning 62001 clauses out of 124007 with flag 4144132/2006001
120.66/117.44	c cleaning 63004 clauses out of 126007 with flag 4276619/2070002
125.44/121.98	c cleaning 63997 clauses out of 128001 with flag 4411026/2135000
130.08/126.43	c cleaning 64998 clauses out of 130004 with flag 4546958/2201000
134.78/131.18	c cleaning 65999 clauses out of 132007 with flag 4685301/2268001
139.39/135.27	c cleaning 67000 clauses out of 134008 with flag 4826137/2336001
143.30/139.03	c cleaning 68000 clauses out of 136007 with flag 4968976/2405000
147.79/143.50	c cleaning 69001 clauses out of 138009 with flag 5113769/2475002
152.39/147.93	c cleaning 69998 clauses out of 140006 with flag 5260442/2546000
157.25/152.89	c cleaning 71002 clauses out of 142008 with flag 5409860/2618000
162.42/158.00	c cleaning 72003 clauses out of 144008 with flag 5560955/2691002
166.81/162.31	c cleaning 73002 clauses out of 146004 with flag 5713865/2765001
172.01/167.49	c cleaning 73998 clauses out of 148001 with flag 5868934/2840000
177.87/173.33	c cleaning 75000 clauses out of 150003 with flag 6026034/2916000
184.28/179.61	c cleaning 76002 clauses out of 152004 with flag 6184929/2993001
190.88/186.04	c cleaning 76998 clauses out of 154001 with flag 6346012/3071000
196.47/191.65	c cleaning 77998 clauses out of 156004 with flag 6509266/3150001
203.03/198.10	c cleaning 79000 clauses out of 158007 with flag 6674401/3230002
208.52/203.44	c cleaning 79998 clauses out of 160005 with flag 6841824/3311000
214.38/209.17	c cleaning 81003 clauses out of 162007 with flag 7011127/3393000
221.78/215.69	c cleaning 81998 clauses out of 164004 with flag 7182516/3476000
228.42/222.13	c cleaning 83000 clauses out of 166006 with flag 7355850/3560000
235.41/229.11	c cleaning 84000 clauses out of 168007 with flag 7531360/3645001
241.35/235.04	c cleaning 85002 clauses out of 170009 with flag 7709121/3731003
247.74/241.45	c cleaning 86001 clauses out of 172006 with flag 7888664/3818002
253.91/247.56	c cleaning 87000 clauses out of 174004 with flag 8070413/3906001
262.20/255.66	c cleaning 87998 clauses out of 176004 with flag 8254265/3995001
269.63/263.15	c cleaning 89000 clauses out of 178005 with flag 8440168/4085000
277.25/270.79	c cleaning 89998 clauses out of 180006 with flag 8627896/4176001
285.09/278.42	c cleaning 90998 clauses out of 182007 with flag 8817987/4268000
291.93/285.34	c cleaning 92001 clauses out of 184010 with flag 9010015/4361001
298.25/291.61	c cleaning 93005 clauses out of 186009 with flag 9204359/4455001
306.25/299.48	c cleaning 93998 clauses out of 188003 with flag 9400788/4550000
315.41/308.43	c cleaning 94997 clauses out of 190005 with flag 9598926/4646000
323.84/316.74	c cleaning 96000 clauses out of 192008 with flag 9798980/4743000
332.35/325.19	c cleaning 97001 clauses out of 194009 with flag 10001565/4841001
339.74/332.39	c cleaning 98003 clauses out of 196007 with flag 10206058/4940000
348.78/340.35	c cleaning 99002 clauses out of 198004 with flag 10412350/5040000
357.64/349.18	c cleaning 100001 clauses out of 200004 with flag 10620702/5141002
364.42/355.99	c cleaning 100997 clauses out of 202001 with flag 10831541/5243000
371.02/362.55	c cleaning 101996 clauses out of 204004 with flag 11044577/5346000
380.19/371.67	c cleaning 103003 clauses out of 206009 with flag 11259512/5450001
386.32/377.74	c cleaning 103998 clauses out of 208006 with flag 11476679/5555001
394.19/385.60	c cleaning 105000 clauses out of 210009 with flag 11695943/5661002
403.00/394.20	c cleaning 106000 clauses out of 212007 with flag 11917188/5768000
410.29/401.46	c cleaning 107003 clauses out of 214007 with flag 12140869/5876000
417.58/408.60	c cleaning 107997 clauses out of 216005 with flag 12366139/5985001
424.08/415.04	c cleaning 109002 clauses out of 218007 with flag 12592862/6095000
431.27/422.10	c cleaning 109998 clauses out of 220007 with flag 12822036/6206002
439.43/430.04	c cleaning 111000 clauses out of 222009 with flag 13052986/6318002
449.33/439.81	c cleaning 111999 clauses out of 224008 with flag 13286305/6431001
458.52/448.88	c cleaning 112998 clauses out of 226009 with flag 13521535/6545001
467.04/457.21	c cleaning 114003 clauses out of 228010 with flag 13759012/6660000
476.41/466.51	c cleaning 114999 clauses out of 230007 with flag 13998300/6776000
486.17/476.11	c cleaning 116002 clauses out of 232008 with flag 14239635/6893000
499.51/488.22	c cleaning 116995 clauses out of 234006 with flag 14482922/7011000
508.84/497.43	c cleaning 118000 clauses out of 236012 with flag 14728597/7130001
518.22/506.56	c cleaning 119001 clauses out of 238011 with flag 14976784/7250000
526.78/514.94	c cleaning 120004 clauses out of 240013 with flag 15227040/7371003
538.43/526.30	c cleaning 120998 clauses out of 242006 with flag 15479489/7493000
548.54/536.29	c cleaning 121998 clauses out of 244008 with flag 15733920/7616000
559.97/547.69	c cleaning 122999 clauses out of 246010 with flag 15990484/7740000
568.99/556.69	c cleaning 124002 clauses out of 248011 with flag 16249025/7865000
579.23/566.83	c cleaning 125002 clauses out of 250009 with flag 16509088/7991000
591.11/578.61	c cleaning 126000 clauses out of 252007 with flag 16772007/8118000
603.32/590.71	c cleaning 126997 clauses out of 254007 with flag 17037052/8246000
615.95/603.11	c cleaning 128003 clauses out of 256010 with flag 17303901/8375000
628.69/615.74	c cleaning 129002 clauses out of 258007 with flag 17572933/8505000
643.37/630.36	c cleaning 130001 clauses out of 260006 with flag 17843795/8636001
657.54/644.52	c cleaning 130996 clauses out of 262004 with flag 18116920/8768000
669.87/656.82	c cleaning 131999 clauses out of 264010 with flag 18392159/8901002
681.57/668.46	c cleaning 133003 clauses out of 266010 with flag 18669115/9035001
693.25/679.92	c cleaning 133997 clauses out of 268006 with flag 18948475/9170000
704.79/690.10	c cleaning 135001 clauses out of 270009 with flag 19229222/9306000
717.65/702.70	c cleaning 135996 clauses out of 272008 with flag 19511693/9443000
729.85/714.63	c cleaning 137000 clauses out of 274012 with flag 19796962/9581000
742.25/726.73	c cleaning 137999 clauses out of 276012 with flag 20084030/9720000
753.68/738.06	c cleaning 139003 clauses out of 278013 with flag 20373049/9860000
767.32/751.43	c cleaning 140000 clauses out of 280010 with flag 20663840/10001000
778.99/763.04	c cleaning 140999 clauses out of 282010 with flag 20957097/10143000
791.08/775.17	c cleaning 142003 clauses out of 284012 with flag 21252479/10286001
805.40/789.44	c cleaning 142999 clauses out of 286008 with flag 21549026/10430000
822.16/805.71	c cleaning 144001 clauses out of 288013 with flag 21848520/10575004
834.52/818.08	c cleaning 144999 clauses out of 290010 with flag 22150617/10721002
847.52/830.73	c cleaning 146002 clauses out of 292010 with flag 22454760/10868001
859.54/842.68	c cleaning 147003 clauses out of 294007 with flag 22760751/11016000
873.92/856.74	c cleaning 147996 clauses out of 296004 with flag 23068693/11165000
891.52/873.05	c cleaning 149001 clauses out of 298010 with flag 23378491/11315002
903.65/884.82	c cleaning 150002 clauses out of 300008 with flag 23690842/11466001
916.63/897.53	c cleaning 151001 clauses out of 302005 with flag 24005454/11618000
932.37/913.27	c cleaning 152001 clauses out of 304007 with flag 24321864/11771003
947.80/928.44	c cleaning 152998 clauses out of 306004 with flag 24640350/11925001
961.75/942.03	c cleaning 154000 clauses out of 308005 with flag 24961124/12080000
976.07/956.31	c cleaning 154996 clauses out of 310006 with flag 25283387/12236001
992.57/972.72	c cleaning 156000 clauses out of 312009 with flag 25606875/12393000
1010.95/990.94	c cleaning 157003 clauses out of 314009 with flag 25932642/12551000
1027.49/1007.38	c cleaning 158002 clauses out of 316006 with flag 26260406/12710000
1045.76/1025.35	c cleaning 159000 clauses out of 318004 with flag 26590524/12870000
1062.37/1041.84	c cleaning 159996 clauses out of 320005 with flag 26922717/13031001
1080.46/1059.65	c cleaning 161004 clauses out of 322010 with flag 27257402/13193002
1099.92/1078.98	c cleaning 161998 clauses out of 324005 with flag 27594184/13356001
1115.50/1094.23	c cleaning 162999 clauses out of 326006 with flag 27932798/13520000
1140.04/1117.31	c cleaning 163999 clauses out of 328008 with flag 28273307/13685001
1162.58/1139.52	c cleaning 164998 clauses out of 330009 with flag 28615885/13851001
1183.44/1160.26	c cleaning 165996 clauses out of 332010 with flag 28960501/14018000
1205.96/1182.57	c cleaning 167006 clauses out of 334014 with flag 29307222/14186000
1225.28/1201.81	c cleaning 168004 clauses out of 336008 with flag 29655785/14355000
1245.26/1221.61	c cleaning 169002 clauses out of 338005 with flag 30006268/14525001
1267.42/1243.66	c cleaning 169999 clauses out of 340003 with flag 30359094/14696001
1290.21/1266.11	c cleaning 170994 clauses out of 342005 with flag 30714002/14868002
1306.27/1282.08	c cleaning 172001 clauses out of 344009 with flag 31071914/15041000
1325.47/1300.94	c cleaning 173001 clauses out of 346008 with flag 31431151/15215000
1344.02/1319.32	c cleaning 174000 clauses out of 348007 with flag 31792101/15390000
1359.81/1334.83	c cleaning 174995 clauses out of 350008 with flag 32155515/15566001
1376.13/1351.00	c cleaning 176006 clauses out of 352014 with flag 32520832/15743002
1396.70/1371.34	c cleaning 176999 clauses out of 354007 with flag 32887954/15921001
1419.32/1393.87	c cleaning 177999 clauses out of 356009 with flag 33257462/16100002
1440.04/1414.24	c cleaning 179000 clauses out of 358008 with flag 33629197/16280000
1462.68/1436.50	c cleaning 179998 clauses out of 360008 with flag 34002159/16461000
1480.41/1454.13	c cleaning 181004 clauses out of 362011 with flag 34377932/16643001
1506.41/1478.13	c cleaning 181995 clauses out of 364006 with flag 34755957/16826000
1525.89/1497.60	c cleaning 183003 clauses out of 366011 with flag 35133177/17010000
1552.51/1524.03	c cleaning 184005 clauses out of 368009 with flag 35511392/17195001
1578.36/1549.95	c cleaning 184997 clauses out of 370003 with flag 35891843/17381000
1596.77/1568.18	c cleaning 186003 clauses out of 372007 with flag 36273779/17568001
1615.28/1586.50	c cleaning 186996 clauses out of 374004 with flag 36660648/17756001
1642.13/1613.00	c cleaning 188000 clauses out of 376010 with flag 37049881/17945003
1665.84/1636.72	c cleaning 189002 clauses out of 378007 with flag 37441526/18135000
1685.31/1656.01	c cleaning 189997 clauses out of 380005 with flag 37835346/18326000
1704.90/1675.54	c cleaning 190997 clauses out of 382008 with flag 38230920/18518000
1735.35/1705.60	c cleaning 192002 clauses out of 384012 with flag 38627953/18711001
1763.23/1733.43	c cleaning 193000 clauses out of 386010 with flag 39027301/18905001
1783.52/1753.33	c cleaning 194004 clauses out of 388009 with flag 39429558/19100000
1805.06/1774.50	c cleaning 194998 clauses out of 390007 with flag 39834032/19296002
1829.23/1798.54	c cleaning 195999 clauses out of 392008 with flag 40240448/19493001
1850.18/1819.18	c cleaning 197000 clauses out of 394009 with flag 40648452/19691001
1873.82/1842.52	c cleaning 197998 clauses out of 396009 with flag 41058465/19890001
1902.97/1871.48	c cleaning 199002 clauses out of 398010 with flag 41470723/20090000
1934.58/1901.62	c cleaning 200005 clauses out of 400009 with flag 41885105/20291001
1956.10/1923.06	c cleaning 201000 clauses out of 402004 with flag 42302230/20493001
1981.57/1948.53	c cleaning 201997 clauses out of 404005 with flag 42721514/20696002
2008.24/1975.03	c cleaning 202997 clauses out of 406006 with flag 43141845/20900000
2037.60/2004.44	c cleaning 204001 clauses out of 408010 with flag 43564882/21105001
2067.55/2034.24	c cleaning 204993 clauses out of 410008 with flag 43989896/21311000
2089.63/2056.20	c cleaning 206004 clauses out of 412016 with flag 44416414/21518001
2120.84/2087.17	c cleaning 207004 clauses out of 414012 with flag 44845922/21726001
2154.67/2121.03	c cleaning 208000 clauses out of 416008 with flag 45277843/21935001
2178.47/2144.63	c cleaning 208999 clauses out of 418007 with flag 45711634/22145000
2197.64/2163.76	c cleaning 210001 clauses out of 420008 with flag 46146850/22356000
2223.42/2189.36	c cleaning 211003 clauses out of 422007 with flag 46584687/22568000
2246.34/2212.27	c cleaning 211998 clauses out of 424004 with flag 47023465/22781000
2279.43/2245.15	c cleaning 213000 clauses out of 426006 with flag 47465513/22995000
2302.47/2268.07	c cleaning 213996 clauses out of 428006 with flag 47909169/23210000
2326.13/2291.31	c cleaning 215004 clauses out of 430011 with flag 48355418/23426001
2349.25/2314.31	c cleaning 215995 clauses out of 432006 with flag 48803771/23643000
2369.78/2334.66	c cleaning 217002 clauses out of 434011 with flag 49253758/23861000
2403.34/2367.80	c cleaning 218003 clauses out of 436009 with flag 49705594/24080000
2441.29/2403.77	c cleaning 218998 clauses out of 438008 with flag 50161803/24300002
2467.84/2430.27	c cleaning 220001 clauses out of 440011 with flag 50619912/24521003
2503.62/2465.98	c cleaning 220998 clauses out of 442007 with flag 51079641/24743000
2540.76/2502.62	c cleaning 222001 clauses out of 444009 with flag 51540150/24966000
2577.79/2539.67	c cleaning 222999 clauses out of 446010 with flag 52003392/25190002
2618.07/2580.08	c cleaning 224001 clauses out of 448010 with flag 52468497/25415001
2656.50/2618.61	c cleaning 225002 clauses out of 450008 with flag 52935582/25641000
2697.63/2659.43	c cleaning 225999 clauses out of 452007 with flag 53404512/25868001
2733.74/2695.45	c cleaning 226999 clauses out of 454007 with flag 53876200/26096000
2771.11/2732.67	c cleaning 228005 clauses out of 456010 with flag 54351137/26325002
2810.64/2771.69	c cleaning 229000 clauses out of 458003 with flag 54828306/26555000
2848.51/2809.58	c cleaning 230002 clauses out of 460003 with flag 55307285/26786000
2880.03/2840.95	c cleaning 230995 clauses out of 462002 with flag 55787091/27018001
2912.99/2873.42	c cleaning 232004 clauses out of 464007 with flag 56269248/27251001
2949.73/2909.93	c cleaning 232999 clauses out of 466002 with flag 56754538/27485000
2981.88/2941.96	c cleaning 233995 clauses out of 468005 with flag 57241288/27720002
3015.53/2975.23	c cleaning 234999 clauses out of 470008 with flag 57729860/27956000
3051.32/3010.91	c cleaning 236000 clauses out of 472009 with flag 58220632/28193000
3078.79/3038.43	c cleaning 237000 clauses out of 474010 with flag 58713582/28431001
3114.51/3073.69	c cleaning 237993 clauses out of 476009 with flag 59207873/28670000
3146.32/3105.18	c cleaning 239003 clauses out of 478017 with flag 59703722/28910001
3188.89/3145.51	c cleaning 240003 clauses out of 480014 with flag 60201443/29151001
3226.26/3182.40	c cleaning 240999 clauses out of 482010 with flag 60702374/29393000
3264.09/3220.08	c cleaning 242002 clauses out of 484012 with flag 61205817/29636001
3305.50/3261.34	c cleaning 242999 clauses out of 486009 with flag 61710789/29880000
3355.09/3310.43	c cleaning 244003 clauses out of 488010 with flag 62217740/30125000
3401.13/3356.20	c cleaning 244999 clauses out of 490007 with flag 62726075/30371000
3438.05/3392.62	c cleaning 245999 clauses out of 492008 with flag 63236393/30618000
3469.72/3424.08	c cleaning 247002 clauses out of 494012 with flag 63748819/30866003
3507.73/3461.93	c cleaning 248000 clauses out of 496008 with flag 64262270/31115001
3543.81/3497.71	c cleaning 249002 clauses out of 498007 with flag 64778528/31365000
3584.23/3538.26	c cleaning 249997 clauses out of 500005 with flag 65297633/31616000
3600.09/3554.02	c starts		: 1
3600.09/3554.03	c timeout
3600.09/3554.03	c conflicts		: 31774139
3600.09/3554.03	c decisions		: 33813304
3600.09/3554.03	c propagations		: 163042263
3600.09/3554.03	c inspects		: 30697869200
3600.09/3554.03	c shortcuts		: 0
3600.09/3554.03	c learnt literals	: 0
3600.09/3554.03	c learnt binary clauses	: 0
3600.09/3554.03	c learnt ternary clauses	: 0
3600.09/3554.03	c learnt constraints	: 31774139
3600.09/3554.03	c ignored constraints	: 0
3600.09/3554.03	c root simplifications	: 0
3600.09/3554.03	c removed literals (reason simplification)	: 0
3600.09/3554.03	c reason swapping (by a shorter reason)	: 0
3600.09/3554.03	c Calls to reduceDB	: 247
3600.09/3554.03	c Number of update (reduction) of LBD	: 727176
3600.09/3554.03	c Imported unit clauses	: 0
3600.09/3554.03	c No decision after first conflict	: false
3600.09/3554.03	c number of reductions to clauses (during analyze)	: 0
3600.09/3554.03	c number of learned constraints concerned by reduction	: 0
3600.09/3554.03	c number of learning phase by resolution	: 0
3600.09/3554.03	c number of learning phase by cutting planes	: 0
3600.09/3554.03	c number of rounding to 1 operations	: 0
3600.09/3554.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3554.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3554.03	c number of right shift for reduction by power 2 	: 0
3600.09/3554.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3554.03	c number of ending skipping 	: 0
3600.09/3554.03	c number of internal skipping 	: 0
3600.09/3554.03	c number of derivation steps 	: 0
3600.09/3554.03	c number of skipped derivation steps 	: 0
3600.09/3554.03	c number of remaining unassigned 	: 0
3600.09/3554.03	c number of remaining assigned 	: 0
3600.09/3554.03	c number of falsified literals weakened from reason	: 0
3600.09/3554.03	c number of falsified literals weakened from conflict	: 0
3600.09/3554.03	c time for arithmetic operations	: 0
3600.09/3554.04	c minimum degree of deleted constraints	: null
3600.09/3554.04	c maximum degree of deleted constraints	: null
3600.09/3554.04	c number of deleted constraints	: 0
3600.09/3554.05	c speed (assignments/second)	: 45877.230307590406
3600.09/3554.05	c non guided choices	: 110
3600.09/3554.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 408147
3600.09/3554.11	s UNKNOWN
3600.09/3554.11	c Total wall clock time (in seconds): 3553.981

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1019835, runsolver pid=1019832

[startup+0.100546 s]*
/proc/loadavg: 4.19 4.23 4.25 7/330 1019853
/proc/meminfo: memFree=109497004/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=18975048 memory=64140 CPUtime=0.13 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 7056 0 0 0 11 2 0 0 20 0 18 0 197343668 19430449152 16035 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4743762 16035 5552 1 0 549334 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 1078198336 5627 0 0 0 7 1 0 0 20 0 18 0 197343668 19430449152 16035 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197343671 19430449152 16035 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197343672 19430449152 16035 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64140 KiB

[startup+0.205901 s]*
/proc/loadavg: 4.19 4.23 4.25 7/331 1019854
/proc/meminfo: memFree=109490640/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19041612 memory=69136 CPUtime=0.33 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 7658 0 0 0 31 2 0 0 20 0 19 0 197343668 19498610688 17284 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4760403 17284 5844 1 0 549937 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 5828 0 0 0 17 1 0 0 20 0 19 0 197343668 19498610688 17284 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19041612 memory=14994 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197343671 19498610688 17284 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197343672 19498610688 17284 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197343684 19498610688 17284 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69136 KiB

[startup+0.3059 s]*
/proc/loadavg: 4.19 4.23 4.25 7/331 1019854
/proc/meminfo: memFree=109480492/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19041612 memory=78720 CPUtime=0.53 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 9283 0 0 0 50 3 0 0 20 0 19 0 197343668 19498610688 19680 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4760403 19680 5844 1 0 550805 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19041612 memory=-7164485364752803935 CPUtime=0.27 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 5858 0 0 0 26 1 0 0 20 0 19 0 197343668 19498610688 19680 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197343671 19498610688 19680 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197343672 19498610688 19680 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197343684 19498610688 19680 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78720 KiB

[startup+0.700904 s]
/proc/loadavg: 4.19 4.23 4.25 7/331 1019854
/proc/meminfo: memFree=109461452/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19041612 memory=110268 CPUtime=1.28 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 11735 0 0 0 125 3 0 0 20 0 19 0 197343668 19498610688 27567 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4760403 27567 5876 1 0 552412 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19041612 memory=47000 CPUtime=0.65 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 5949 0 0 0 63 2 0 0 20 0 19 0 197343668 19498610688 27567 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19041612 memory=13012 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197343671 19498610688 27567 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197343672 19498610688 27567 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19041612 memory=26268 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197343684 19498610688 27567 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110268 KiB

[startup+1.5009 s]
/proc/loadavg: 4.19 4.23 4.25 6/331 1019854
/proc/meminfo: memFree=109405824/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=192696 CPUtime=2.28 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 13524 0 0 0 222 6 0 0 20 0 20 0 197343668 19566772224 48174 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 48174 5908 1 0 552736 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=13012 CPUtime=1.4 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 6362 0 0 0 137 3 0 0 20 0 20 0 197343668 19566772224 48174 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 48174 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=2312 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 48174 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=26268 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 48174 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192696 KiB

[startup+3.10559 s]
/proc/loadavg: 4.17 4.22 4.25 5/332 1019855
/proc/meminfo: memFree=109204176/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=318332 CPUtime=4.04 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 16877 0 0 0 394 10 0 0 20 0 20 0 197343668 19566772224 79583 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 79583 5913 1 0 552753 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=0 CPUtime=2.88 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 6635 0 0 0 285 3 0 0 20 0 20 0 197343668 19566772224 79583 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=-7164485364752803935 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 79583 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 79583 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=2312 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 79583 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 318332 KiB

[startup+6.30026 s]
/proc/loadavg: 4.17 4.22 4.25 5/332 1019855
/proc/meminfo: memFree=108901016/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=673996 CPUtime=7.44 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 18166 0 0 0 728 16 0 0 20 0 20 0 197343668 19566772224 168499 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 168499 5913 1 0 807584 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=2312 CPUtime=5.85 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 6812 0 0 0 580 5 0 0 20 0 20 0 197343668 19566772224 168499 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 168499 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 168499 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 168499 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 673996 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.22 4.25 5/332 1019857
/proc/meminfo: memFree=108429480/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=1080956 CPUtime=14.07 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 20695 0 0 0 1383 24 0 0 20 0 20 0 197343668 19566772224 270239 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 270239 5913 1 0 972599 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=13012 CPUtime=11.96 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 7503 0 0 0 1189 7 0 0 20 0 20 0 197343668 19566772224 270239 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=792780 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 270239 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=47000 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 270239 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 270239 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1080956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.22 4.25 5/332 1019859
/proc/meminfo: memFree=107797032/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=1554360 CPUtime=27.15 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 22920 0 0 0 2681 34 0 0 20 0 20 0 197343668 19566772224 388590 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 388590 5913 1 0 972608 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=6944656574621848725 CPUtime=24.35 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 8351 0 0 0 2426 9 0 0 20 0 20 0 197343668 19566772224 388590 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 388590 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=3477 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 388590 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 388590 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 27.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1554360 KiB

[startup+51.1059 s]
/proc/loadavg: 4.20 4.22 4.25 5/332 1019863
/proc/meminfo: memFree=106386960/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=2492528 CPUtime=53.13 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 26515 0 0 0 5260 53 0 0 20 0 20 0 197343668 19566772224 623132 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 623132 5913 1 0 972610 0

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.21 4.23 5/333 1021593
/proc/meminfo: memFree=86989468/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3266.38 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 309508 0 0 0 326263 375 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950288 CPUtime=3158.34 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 79958 0 0 0 315748 86 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=12950288 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 855 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3266.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.17 4.21 5/335 1021773
/proc/meminfo: memFree=86985884/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3326.63 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 314749 0 0 0 332286 377 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3217.83 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 81650 0 0 0 321696 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 942 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3326.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.21 5/334 1021784
/proc/meminfo: memFree=86884528/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3387.25 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 316417 0 0 0 338347 378 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3276.96 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 81950 0 0 0 327609 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=47000 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 950 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=5444 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3387.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.00 4.13 4.19 4/308 1021831
/proc/meminfo: memFree=102049708/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3447.73 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 317919 0 0 0 344393 380 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3336.24 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 82346 0 0 0 333537 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 950 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=1400503629537632314 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3447.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

[startup+3462.3 s]
/proc/loadavg: 3.41 3.94 4.12 4/309 1021854
/proc/meminfo: memFree=102049060/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3508.13 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 322448 0 0 0 350432 381 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3395.55 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 84242 0 0 0 339468 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 1072 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3508.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.80 4.05 4/309 1021864
/proc/meminfo: memFree=101486020/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3568.45 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 323771 0 0 0 356462 383 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3454.4 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 85111 0 0 0 345353 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 1072 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=47292 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3568.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3554 s]*
/proc/loadavg: 3.20 3.72 4.02 4/309 1021870
/proc/meminfo: memFree=101292780/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19108176 memory=12950300 CPUtime=3600.09 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 323850 0 0 0 359626 383 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4777044 3237575 5929 1 0 3419436 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19108176 memory=32920 CPUtime=3485.78 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) R 1019832 1019835 1015377 0 -1 4194368 85125 0 0 0 348491 87 0 0 20 0 20 0 197343668 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19108176 memory=-9187040416294141636 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197343671 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19108176 memory=11496 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 1074 0 0 0 0 0 0 0 20 0 20 0 197343672 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019854] ppid=1019832 vsize=19108176 memory=11496 CPUtime=0 cores=4,6
/proc/1019835/task/1019854/stat : 1019854 (Timer-0) S 1019832 1019835 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197343684 19566772224 3237575 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12950300 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.41 s, system=3.87701 s

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

[startup+3554.11 s]
/proc/loadavg: 3.20 3.72 4.02 4/309 1021870
/proc/meminfo: memFree=101292780/131524600 swapFree=131071996/131071996
[pid=1019835] ppid=1019832 vsize=19307868 memory=12951000 CPUtime=3600.24 cores=4,6
/proc/1019835/stat : 1019835 (java) S 1019832 1019835 1015377 0 -1 1077936128 326643 0 0 0 359640 384 0 0 20 0 18 0 197343668 19771256832 3237750 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
/proc/1019835/statm: 4826967 3237750 5925 1 0 3420355 0
[pid=1019835/tid=1019837] ppid=1019832 vsize=19307868 memory=12950300 CPUtime=3485.8 cores=4,6
/proc/1019835/task/1019837/stat : 1019837 (java) S 1019832 1019835 1015377 0 -1 1077936192 85219 0 0 0 348493 87 0 0 20 0 17 0 197343668 19771256832 3237750 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019846] ppid=1019832 vsize=19307868 memory=11488 CPUtime=0 cores=4,6
/proc/1019835/task/1019846/stat : 1019846 (Finalizer) S 1019832 1019835 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 197343671 19771256832 3237768 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
[pid=1019835/tid=1019853] ppid=1019832 vsize=19307868 memory=12950300 CPUtime=0 cores=4,6
/proc/1019835/task/1019853/stat : 1019853 (Common-Cleaner) S 1019832 1019835 1015377 0 -1 1077936192 1074 0 0 0 0 0 0 0 20 0 16 0 197343672 19771256832 3237768 134679101440 93965365837824 93965365841520 140729966490736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965365849336 93965365850128 93965391257600 140729966498821 140729966498911 140729966498911 140729966505928 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12951000 KiB

Child status: 143

Real time (s): 3554.15
CPU time (s): 3600.29
CPU user time (s): 3596.41
CPU system time (s): 3.87701
CPU usage (%): 101.298
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12951000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.41
system time used= 3.87701
maximum resident set size= 12952028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117740
involuntary context switches= 20369


# summary of solver processes directly reported to runsolver:
#   pid: 1019835
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3596.41
#   total CPU system time (s): 3.87701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30506 second user time and 17.4843 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 07:04:03
IDJOB=4453114
IDBENCH=168735
IDSOLVER=3058
FILE ID=nodeC016/4453114-1721451831
RUNJOBID= nodeC016-1721444951-1015388
SLURM_JOB_ID= 7545662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453114-1721451831/watcher-4453114-1721451831 -o /tmp/evaluation-result-4453114-1721451831/solver-4453114-1721451831 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015388 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453114-1721451831.opb

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

MD5SUM BENCH= add936bb86ecdde22f6655365824bd6d
RANDOM SEED=824627139

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3629.519
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		: 3688.010
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		: 3677.437
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		: 3600.023
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		: 3625.538
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		: 3688.015
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		: 3644.502
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		: 3600.057
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:        109540500 kB
MemAvailable:   113411172 kB
Buffers:          426780 kB
Cached:          4285472 kB
SwapCached:            0 kB
Active:           706456 kB
Inactive:       20623252 kB
Active(anon):       1544 kB
Inactive(anon): 16661816 kB
Active(file):     704912 kB
Inactive(file):  3961436 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1136 kB
Writeback:            32 kB
AnonPages:      16615908 kB
Mapped:           127868 kB
Shmem:             45912 kB
KReclaimable:      87944 kB
Slab:             200204 kB
SReclaimable:      87944 kB
SUnreclaim:       112260 kB
KernelStack:        5052 kB
PageTables:        42388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21575412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73728 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16171008 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= 890080 MiB
End job on nodeC016 at 2024-07-20 08:03:17