Trace number 4516254

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 2025-06-06? (TO) 3600.21 3588.02

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
MD5SUM25b641ec723147791ff171774f47f88f
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.015671
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables270
Total number of constraints541
Number of constraints which are clauses540
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 constraint270
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 280
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/0.14	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.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4516254-1751238922.opb
0.13/0.14	c reading problem ... 
0.13/0.14	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.033s.
0.13/0.17	c declared #vars     270
0.13/0.17	c #constraints  541
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 540
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.17	c 541 constraints processed.
0.90/0.57	c cleaning 2501 clauses out of 5001 with flag 10647/5001
1.67/0.92	c cleaning 4249 clauses out of 8499 with flag 23426/11000
2.22/1.22	c cleaning 5621 clauses out of 11250 with flag 38304/18000
2.61/1.52	c cleaning 6815 clauses out of 13629 with flag 55294/26000
3.00/1.82	c cleaning 7907 clauses out of 15814 with flag 74394/35000
3.38/2.18	c cleaning 8954 clauses out of 17908 with flag 95642/45001
3.82/2.57	c cleaning 9966 clauses out of 19954 with flag 118969/56001
4.33/3.04	c cleaning 10993 clauses out of 21987 with flag 144509/68000
4.82/3.59	c cleaning 11994 clauses out of 23994 with flag 172188/81000
5.44/4.16	c cleaning 12996 clauses out of 26000 with flag 201891/95000
6.14/4.81	c cleaning 13998 clauses out of 28004 with flag 233683/110000
6.73/5.42	c cleaning 14999 clauses out of 30007 with flag 267698/126001
7.37/6.00	c cleaning 15997 clauses out of 32007 with flag 303635/143000
8.11/6.72	c cleaning 17000 clauses out of 34010 with flag 341819/161000
8.71/7.38	c cleaning 18003 clauses out of 36010 with flag 382063/180000
9.42/8.06	c cleaning 19003 clauses out of 38008 with flag 424553/200001
10.11/8.79	c cleaning 20001 clauses out of 40004 with flag 468974/221000
11.03/9.64	c cleaning 20996 clauses out of 42003 with flag 515538/243000
11.93/10.59	c cleaning 22004 clauses out of 44007 with flag 564197/266000
12.82/11.43	c cleaning 23000 clauses out of 46003 with flag 614993/290000
13.92/12.54	c cleaning 24002 clauses out of 48003 with flag 668036/315000
15.05/13.69	c cleaning 24988 clauses out of 50001 with flag 722895/341000
16.04/14.69	c cleaning 26002 clauses out of 52013 with flag 780035/368000
17.34/15.91	c cleaning 27006 clauses out of 54013 with flag 839492/396002
18.88/17.46	c cleaning 28003 clauses out of 56005 with flag 900993/425000
20.37/18.99	c cleaning 29002 clauses out of 58003 with flag 964550/455001
22.30/20.89	c cleaning 29999 clauses out of 60000 with flag 1030477/486000
24.19/22.74	c cleaning 30998 clauses out of 62001 with flag 1098502/518000
25.90/24.49	c cleaning 32002 clauses out of 64004 with flag 1168411/551001
28.03/26.52	c cleaning 32998 clauses out of 66001 with flag 1240478/585000
30.12/28.66	c cleaning 33997 clauses out of 68004 with flag 1314621/620001
32.34/30.89	c cleaning 34998 clauses out of 70006 with flag 1390874/656000
35.25/33.75	c cleaning 35995 clauses out of 72008 with flag 1469336/693000
37.27/35.70	c cleaning 37001 clauses out of 74015 with flag 1550036/731002
39.77/38.21	c cleaning 38004 clauses out of 76012 with flag 1632794/770000
42.30/40.71	c cleaning 38994 clauses out of 78008 with flag 1717685/810000
45.20/43.64	c cleaning 40004 clauses out of 80014 with flag 1804657/851000
48.51/46.98	c cleaning 41000 clauses out of 82010 with flag 1893854/893000
51.11/49.53	c cleaning 41998 clauses out of 84010 with flag 1984551/936000
53.64/52.06	c cleaning 43002 clauses out of 86013 with flag 2077467/980001
56.02/54.48	c cleaning 44000 clauses out of 88012 with flag 2172685/1025002
58.84/57.22	c cleaning 44997 clauses out of 90010 with flag 2270003/1071000
61.74/60.17	c cleaning 46003 clauses out of 92014 with flag 2369501/1118001
64.42/62.87	c cleaning 47002 clauses out of 94010 with flag 2471428/1166000
67.57/65.93	c cleaning 48000 clauses out of 96009 with flag 2575289/1215001
70.46/68.85	c cleaning 48999 clauses out of 98009 with flag 2680997/1265001
73.85/72.20	c cleaning 49996 clauses out of 100011 with flag 2789249/1316002
76.95/75.38	c cleaning 51002 clauses out of 102014 with flag 2899626/1368001
80.41/78.76	c cleaning 51999 clauses out of 104011 with flag 3011925/1421000
84.00/82.33	c cleaning 53007 clauses out of 106014 with flag 3126364/1475002
87.45/85.75	c cleaning 53999 clauses out of 108006 with flag 3242943/1530001
91.94/90.26	c cleaning 54997 clauses out of 110006 with flag 3361893/1586000
97.23/95.57	c cleaning 56002 clauses out of 112009 with flag 3483015/1643000
102.46/100.71	c cleaning 56998 clauses out of 114007 with flag 3606003/1701000
105.46/103.78	c cleaning 57998 clauses out of 116010 with flag 3729957/1760001
108.95/107.22	c cleaning 59006 clauses out of 118013 with flag 3856235/1820002
112.78/110.78	c cleaning 59996 clauses out of 120005 with flag 3985520/1881000
116.77/114.75	c cleaning 61002 clauses out of 122010 with flag 4116874/1943001
121.16/119.16	c cleaning 61998 clauses out of 124007 with flag 4250495/2006000
125.65/123.66	c cleaning 63000 clauses out of 126009 with flag 4385383/2070000
130.38/128.38	c cleaning 64004 clauses out of 128009 with flag 4522833/2135000
135.07/133.10	c cleaning 64996 clauses out of 130005 with flag 4662036/2201000
139.86/137.82	c cleaning 66000 clauses out of 132009 with flag 4803261/2268000
144.25/142.28	c cleaning 67003 clauses out of 134009 with flag 4946830/2336000
149.31/147.23	c cleaning 68000 clauses out of 136007 with flag 5093024/2405001
154.80/152.74	c cleaning 68999 clauses out of 138007 with flag 5240888/2475001
160.09/158.06	c cleaning 70001 clauses out of 140007 with flag 5391000/2546000
164.88/162.75	c cleaning 71005 clauses out of 142009 with flag 5543616/2618003
171.07/168.91	c cleaning 71994 clauses out of 144001 with flag 5698129/2691000
176.26/174.18	c cleaning 73004 clauses out of 146008 with flag 5855236/2765001
183.30/181.12	c cleaning 74001 clauses out of 148005 with flag 6014318/2840002
190.88/188.74	c cleaning 74996 clauses out of 150002 with flag 6175830/2916000
196.96/194.85	c cleaning 76003 clauses out of 152007 with flag 6338995/2993001
202.85/200.76	c cleaning 76997 clauses out of 154004 with flag 6503437/3071001
208.74/206.69	c cleaning 78001 clauses out of 156007 with flag 6670094/3150001
214.50/212.37	c cleaning 79001 clauses out of 158006 with flag 6838977/3230001
219.89/217.73	c cleaning 79997 clauses out of 160004 with flag 7010060/3311000
226.47/224.32	c cleaning 81002 clauses out of 162008 with flag 7183065/3393001
232.95/230.84	c cleaning 81999 clauses out of 164006 with flag 7358125/3476001
238.54/236.44	c cleaning 83003 clauses out of 166006 with flag 7535384/3560000
243.94/241.87	c cleaning 83999 clauses out of 168004 with flag 7715011/3645001
251.10/248.91	c cleaning 84996 clauses out of 170005 with flag 7897209/3731001
257.68/255.57	c cleaning 86000 clauses out of 172008 with flag 8081304/3818000
264.28/262.11	c cleaning 87003 clauses out of 174008 with flag 8267747/3906000
272.63/270.46	c cleaning 87995 clauses out of 176005 with flag 8455809/3995000
279.74/277.56	c cleaning 89004 clauses out of 178011 with flag 8646361/4085001
286.12/283.96	c cleaning 89995 clauses out of 180006 with flag 8839543/4176000
293.40/290.83	c cleaning 91003 clauses out of 182012 with flag 9035216/4268001
301.48/298.94	c cleaning 91998 clauses out of 184010 with flag 9233070/4361002
309.16/306.68	c cleaning 92998 clauses out of 186010 with flag 9432466/4455000
317.24/314.72	c cleaning 94004 clauses out of 188015 with flag 9633565/4550003
326.20/323.61	c cleaning 95001 clauses out of 190010 with flag 9837109/4646002
336.08/333.55	c cleaning 96002 clauses out of 192010 with flag 10043016/4743003
345.06/342.57	c cleaning 97001 clauses out of 194007 with flag 10251395/4841002
354.94/352.46	c cleaning 97999 clauses out of 196005 with flag 10461361/4940001
364.71/362.25	c cleaning 98998 clauses out of 198006 with flag 10672320/5040001
374.23/371.61	c cleaning 99999 clauses out of 200008 with flag 10885135/5141001
382.51/379.97	c cleaning 101001 clauses out of 202008 with flag 11101344/5243000
392.88/390.33	c cleaning 101995 clauses out of 204007 with flag 11319605/5346000
401.75/399.25	c cleaning 102999 clauses out of 206012 with flag 11540588/5450000
412.10/409.56	c cleaning 103999 clauses out of 208013 with flag 11763235/5555000
422.07/419.59	c cleaning 105001 clauses out of 210014 with flag 11988122/5661000
433.74/431.24	c cleaning 106000 clauses out of 212013 with flag 12214669/5768000
446.22/443.75	c cleaning 107000 clauses out of 214013 with flag 12442095/5876000
456.51/453.95	c cleaning 108006 clauses out of 216015 with flag 12673022/5985002
465.69/463.16	c cleaning 108998 clauses out of 218008 with flag 12907072/6095001
476.95/474.41	c cleaning 110003 clauses out of 220009 with flag 13142705/6206000
488.31/485.82	c cleaning 111000 clauses out of 222006 with flag 13380681/6318000
500.59/498.00	c cleaning 111993 clauses out of 224006 with flag 13619785/6431000
510.67/508.15	c cleaning 113001 clauses out of 226013 with flag 13861509/6545000
523.54/521.09	c cleaning 114002 clauses out of 228013 with flag 14105714/6660001
542.77/539.80	c cleaning 115001 clauses out of 230011 with flag 14352168/6776001
552.96/550.00	c cleaning 116003 clauses out of 232009 with flag 14598637/6893000
564.42/561.52	c cleaning 116995 clauses out of 234006 with flag 14847456/7011000
576.15/573.26	c cleaning 118004 clauses out of 236012 with flag 15098409/7130001
589.21/586.37	c cleaning 118997 clauses out of 238008 with flag 15352249/7250001
600.78/597.97	c cleaning 119998 clauses out of 240010 with flag 15609441/7371000
613.44/610.67	c cleaning 121002 clauses out of 242012 with flag 15868268/7493000
624.51/621.77	c cleaning 121997 clauses out of 244010 with flag 16128643/7616000
636.10/633.20	c cleaning 123001 clauses out of 246014 with flag 16391806/7740001
649.87/647.10	c cleaning 124001 clauses out of 248012 with flag 16657262/7865000
662.54/659.73	c cleaning 125003 clauses out of 250011 with flag 16924984/7991000
674.01/671.20	c cleaning 126001 clauses out of 252008 with flag 17193858/8118000
688.59/685.75	c cleaning 127001 clauses out of 254007 with flag 17465643/8246000
701.35/698.52	c cleaning 127998 clauses out of 256007 with flag 17739793/8375001
714.42/711.65	c cleaning 128999 clauses out of 258008 with flag 18015885/8505000
726.70/723.96	c cleaning 130004 clauses out of 260010 with flag 18293901/8636001
738.07/735.37	c cleaning 131001 clauses out of 262005 with flag 18573747/8768000
752.55/749.79	c cleaning 131994 clauses out of 264005 with flag 18855722/8901001
766.01/763.25	c cleaning 133003 clauses out of 266010 with flag 19140045/9035000
782.68/780.00	c cleaning 133998 clauses out of 268007 with flag 19426850/9170000
805.72/802.29	c cleaning 135004 clauses out of 270012 with flag 19715761/9306003
827.49/823.93	c cleaning 136003 clauses out of 272005 with flag 20016386/9443000
836.97/833.43	c cleaning 136996 clauses out of 274003 with flag 20340019/9581001
847.49/843.97	c cleaning 138000 clauses out of 276007 with flag 20671672/9720001
857.47/853.95	c cleaning 138999 clauses out of 278006 with flag 21011792/9860000
869.13/865.64	c cleaning 139999 clauses out of 280007 with flag 21353586/10001000
876.90/873.36	c cleaning 141000 clauses out of 282008 with flag 21687233/10143000
887.87/884.36	c cleaning 141998 clauses out of 284008 with flag 22028005/10286000
902.43/898.92	c cleaning 143003 clauses out of 286012 with flag 22367865/10430002
917.41/913.92	c cleaning 143999 clauses out of 288007 with flag 22709579/10575000
927.68/924.12	c cleaning 145001 clauses out of 290009 with flag 23049102/10721001
934.16/930.63	c cleaning 146000 clauses out of 292007 with flag 23391424/10868000
941.95/938.42	c cleaning 146999 clauses out of 294008 with flag 23734788/11016001
950.25/946.62	c cleaning 147998 clauses out of 296008 with flag 24081926/11165000
959.03/955.45	c cleaning 148995 clauses out of 298010 with flag 24427775/11315000
966.01/962.48	c cleaning 149999 clauses out of 300015 with flag 24778093/11466000
977.11/973.45	c cleaning 150998 clauses out of 302016 with flag 25144030/11618000
990.99/987.34	c cleaning 152010 clauses out of 304019 with flag 25517852/11771001
1003.35/999.79	c cleaning 153001 clauses out of 306008 with flag 25893428/11925000
1015.00/1010.62	c cleaning 154000 clauses out of 308007 with flag 26278018/12080000
1025.26/1020.84	c cleaning 154993 clauses out of 310007 with flag 26645785/12236000
1033.94/1029.54	c cleaning 156003 clauses out of 312018 with flag 27010498/12393004
1043.90/1039.46	c cleaning 157003 clauses out of 314012 with flag 27381661/12551001
1059.26/1054.80	c cleaning 157999 clauses out of 316008 with flag 27755650/12710000
1069.93/1065.40	c cleaning 159002 clauses out of 318009 with flag 28131563/12870000
1080.40/1075.90	c cleaning 160002 clauses out of 320009 with flag 28504772/13031002
1091.31/1086.78	c cleaning 161000 clauses out of 322006 with flag 28890132/13193001
1099.09/1094.59	c cleaning 161999 clauses out of 324005 with flag 29273339/13356000
1112.99/1108.36	c cleaning 163001 clauses out of 326007 with flag 29662964/13520001
1121.68/1117.03	c cleaning 163999 clauses out of 328005 with flag 30046016/13685000
1130.50/1125.21	c cleaning 164998 clauses out of 330006 with flag 30430489/13851000
1141.22/1135.99	c cleaning 165997 clauses out of 332008 with flag 30826757/14018000
1156.18/1150.98	c cleaning 167001 clauses out of 334011 with flag 31225775/14186000
1167.55/1162.29	c cleaning 167997 clauses out of 336010 with flag 31623756/14355000
1184.91/1179.66	c cleaning 169001 clauses out of 338013 with flag 32027338/14525000
1195.40/1190.03	c cleaning 170003 clauses out of 340012 with flag 32427910/14696000
1205.18/1199.81	c cleaning 171002 clauses out of 342010 with flag 32827826/14868001
1216.65/1211.25	c cleaning 171998 clauses out of 344008 with flag 33237451/15041001
1228.02/1222.63	c cleaning 173001 clauses out of 346009 with flag 33644367/15215000
1238.50/1233.01	c cleaning 173999 clauses out of 348009 with flag 34055930/15390001
1253.07/1247.65	c cleaning 175002 clauses out of 350011 with flag 34474280/15566002
1267.54/1262.12	c cleaning 175999 clauses out of 352007 with flag 34896750/15743000
1278.17/1272.70	c cleaning 177001 clauses out of 354010 with flag 35310691/15921002
1296.14/1290.74	c cleaning 177998 clauses out of 356007 with flag 35743106/16100000
1315.30/1309.85	c cleaning 178998 clauses out of 358010 with flag 36173377/16280001
1331.39/1325.07	c cleaning 180001 clauses out of 360011 with flag 36603908/16461000
1345.02/1338.69	c cleaning 180999 clauses out of 362011 with flag 37028754/16643001
1357.19/1350.87	c cleaning 182000 clauses out of 364012 with flag 37461124/16826001
1374.33/1367.93	c cleaning 182999 clauses out of 366012 with flag 37896267/17010001
1388.01/1381.69	c cleaning 184007 clauses out of 368013 with flag 38329866/17195001
1402.20/1395.73	c cleaning 184999 clauses out of 370006 with flag 38768021/17381001
1414.38/1408.00	c cleaning 185998 clauses out of 372006 with flag 39209381/17568000
1429.74/1423.31	c cleaning 187001 clauses out of 374008 with flag 39655975/17756000
1442.59/1436.15	c cleaning 188003 clauses out of 376008 with flag 40097453/17945001
1453.36/1446.98	c cleaning 188998 clauses out of 378004 with flag 40536127/18135000
1469.66/1463.19	c cleaning 189995 clauses out of 380006 with flag 40988655/18326000
1482.72/1476.27	c cleaning 191002 clauses out of 382011 with flag 41438300/18518000
1498.08/1491.66	c cleaning 192000 clauses out of 384011 with flag 41886398/18711002
1511.74/1505.23	c cleaning 193003 clauses out of 386009 with flag 42342755/18905000
1530.89/1524.40	c cleaning 193999 clauses out of 388006 with flag 42812912/19100000
1547.59/1541.01	c cleaning 194997 clauses out of 390008 with flag 43279638/19296001
1570.54/1564.03	c cleaning 196002 clauses out of 392011 with flag 43758435/19493001
1583.11/1575.92	c cleaning 197005 clauses out of 394009 with flag 44220257/19691001
1596.54/1589.25	c cleaning 197999 clauses out of 396005 with flag 44688342/19890002
1613.31/1605.94	c cleaning 199000 clauses out of 398004 with flag 45166729/20090000
1633.01/1625.65	c cleaning 199998 clauses out of 400005 with flag 45642636/20291001
1651.27/1643.98	c cleaning 200992 clauses out of 402006 with flag 46123754/20493000
1664.01/1656.66	c cleaning 202000 clauses out of 404015 with flag 46602396/20696001
1679.38/1672.08	c cleaning 203007 clauses out of 406014 with flag 47084082/20900000
1694.80/1687.31	c cleaning 204000 clauses out of 408008 with flag 47566423/21105001
1710.17/1702.78	c cleaning 204998 clauses out of 410007 with flag 48048707/21311000
1726.12/1718.64	c cleaning 205998 clauses out of 412009 with flag 48525023/21518000
1739.58/1732.06	c cleaning 207001 clauses out of 414011 with flag 49010090/21726000
1752.44/1744.97	c cleaning 208002 clauses out of 416011 with flag 49508970/21935001
1766.20/1758.44	c cleaning 208997 clauses out of 418008 with flag 49997743/22145000
1792.74/1785.03	c cleaning 210007 clauses out of 420013 with flag 50499154/22356002
1812.19/1804.54	c cleaning 210997 clauses out of 422005 with flag 50993630/22568001
1826.92/1819.14	c cleaning 211997 clauses out of 424008 with flag 51487840/22781001
1841.78/1834.07	c cleaning 213006 clauses out of 426011 with flag 51989712/22995001
1854.17/1846.34	c cleaning 213997 clauses out of 428004 with flag 52485558/23210000
1868.95/1861.13	c cleaning 214998 clauses out of 430008 with flag 52980820/23426001
1887.00/1878.55	c cleaning 215999 clauses out of 432009 with flag 53481968/23643000
1907.34/1898.85	c cleaning 217001 clauses out of 434010 with flag 53978831/23861000
1924.70/1916.21	c cleaning 218003 clauses out of 436009 with flag 54483982/24080000
1944.66/1936.29	c cleaning 219003 clauses out of 438008 with flag 54991014/24300002
1961.13/1952.69	c cleaning 219996 clauses out of 440003 with flag 55498402/24521000
1974.30/1965.87	c cleaning 220998 clauses out of 442007 with flag 56003828/24743000
1992.47/1984.05	c cleaning 222002 clauses out of 444010 with flag 56515515/24966001
2011.74/2003.25	c cleaning 222997 clauses out of 446007 with flag 57033618/25190000
2035.28/2026.81	c cleaning 223998 clauses out of 448010 with flag 57541147/25415000
2052.56/2044.12	c cleaning 225002 clauses out of 450013 with flag 58042027/25641001
2072.16/2063.65	c cleaning 226002 clauses out of 452011 with flag 58539621/25868001
2097.61/2089.15	c cleaning 226995 clauses out of 454008 with flag 59052508/26096000
2126.73/2118.32	c cleaning 228007 clauses out of 456014 with flag 59578021/26325001
2154.89/2146.34	c cleaning 229001 clauses out of 458006 with flag 60077306/26555000
2210.24/2201.81	c cleaning 230000 clauses out of 460005 with flag 60578936/26786000
2244.98/2236.53	c cleaning 230992 clauses out of 462006 with flag 61089233/27018001
2261.35/2253.00	c cleaning 232005 clauses out of 464014 with flag 61587661/27251001
2297.78/2288.78	c cleaning 233000 clauses out of 466008 with flag 62083595/27485000
2321.18/2312.05	c cleaning 233999 clauses out of 468009 with flag 62580897/27720001
2351.74/2342.51	c cleaning 235003 clauses out of 470010 with flag 63080225/27956001
2373.78/2364.61	c cleaning 236003 clauses out of 472008 with flag 63583244/28193002
2392.53/2383.38	c cleaning 236994 clauses out of 474004 with flag 64088569/28431001
2419.61/2410.35	c cleaning 238003 clauses out of 476010 with flag 64598362/28670001
2440.28/2431.02	c cleaning 238999 clauses out of 478006 with flag 65116314/28910000
2467.32/2458.03	c cleaning 240001 clauses out of 480007 with flag 65641351/29151000
2495.26/2486.00	c cleaning 240995 clauses out of 482007 with flag 66173434/29393001
2520.65/2511.32	c cleaning 242005 clauses out of 484011 with flag 66708764/29636000
2552.59/2543.29	c cleaning 243000 clauses out of 486007 with flag 67228631/29880001
2590.82/2580.66	c cleaning 243997 clauses out of 488006 with flag 67750941/30125000
2616.71/2606.50	c cleaning 244999 clauses out of 490010 with flag 68273880/30371001
2642.58/2632.34	c cleaning 246005 clauses out of 492010 with flag 68799326/30618000
2682.67/2672.50	c cleaning 246999 clauses out of 494006 with flag 69327670/30866001
2725.10/2714.91	c cleaning 248003 clauses out of 496006 with flag 69857493/31115000
2753.34/2743.25	c cleaning 248997 clauses out of 498003 with flag 70389423/31365000
2785.70/2775.57	c cleaning 249993 clauses out of 500007 with flag 70927740/31616001
2811.45/2801.35	c cleaning 251004 clauses out of 502013 with flag 71464495/31868000
2841.43/2831.23	c cleaning 252000 clauses out of 504009 with flag 72002474/32121000
2874.96/2864.87	c cleaning 252999 clauses out of 506010 with flag 72542211/32375001
2903.66/2893.59	c cleaning 254002 clauses out of 508010 with flag 73084344/32630000
2937.59/2927.56	c cleaning 255002 clauses out of 510009 with flag 73627786/32886001
2969.39/2959.38	c cleaning 256000 clauses out of 512008 with flag 74172276/33143002
3003.91/2993.90	c cleaning 256999 clauses out of 514006 with flag 74719479/33401000
3040.67/3030.74	c cleaning 258000 clauses out of 516008 with flag 75269744/33660001
3072.50/3062.65	c cleaning 259001 clauses out of 518007 with flag 75822394/33920000
3106.51/3096.59	c cleaning 260002 clauses out of 520006 with flag 76377853/34181000
3143.07/3132.13	c cleaning 260997 clauses out of 522004 with flag 76935349/34443000
3187.81/3176.90	c cleaning 261995 clauses out of 524007 with flag 77494331/34706000
3220.26/3209.32	c cleaning 263003 clauses out of 526013 with flag 78055195/34970001
3248.39/3237.52	c cleaning 264000 clauses out of 528009 with flag 78618738/35235000
3274.65/3263.70	c cleaning 264998 clauses out of 530010 with flag 79184610/35501001
3298.79/3287.91	c cleaning 266004 clauses out of 532011 with flag 79752689/35768000
3331.45/3320.59	c cleaning 267004 clauses out of 534008 with flag 80322384/36036001
3363.28/3352.42	c cleaning 268002 clauses out of 536003 with flag 80894275/36305000
3393.45/3382.55	c cleaning 269001 clauses out of 538003 with flag 81467398/36575002
3431.36/3420.58	c cleaning 269992 clauses out of 540001 with flag 82043077/36846001
3459.27/3448.37	c cleaning 270999 clauses out of 542008 with flag 82620073/37118000
3492.23/3481.21	c cleaning 272000 clauses out of 544011 with flag 83199305/37391002
3521.48/3509.47	c cleaning 273003 clauses out of 546012 with flag 83781295/37665003
3553.30/3541.29	c cleaning 273998 clauses out of 548006 with flag 84364932/37940000
3583.44/3571.48	c cleaning 275001 clauses out of 550009 with flag 84950270/38216001
3600.04/3587.91	c starts		: 296496
3600.04/3587.92	c conflicts		: 38473393
3600.04/3587.92	c decisions		: 76406021
3600.04/3587.92	c propagations		: 272943738
3600.04/3587.92	c inspects		: 19333363615
3600.04/3587.92	c shortcuts		: 0
3600.04/3587.92	c learnt literals	: 0
3600.04/3587.92	c learnt binary clauses	: 0
3600.04/3587.92	c learnt ternary clauses	: 0
3600.04/3587.92	c learnt constraints	: 38473393
3600.04/3587.92	c ignored constraints	: 0
3600.04/3587.92	c root simplifications	: 0
3600.04/3587.92	c timeout
3600.04/3587.92	c removed literals (reason simplification)	: 584827670
3600.04/3587.92	c reason swapping (by a shorter reason)	: 0
3600.04/3587.92	c Calls to reduceDB	: 272
3600.04/3587.92	c Number of update (reduction) of LBD	: 742470
3600.04/3587.92	c Imported unit clauses	: 0
3600.04/3587.92	c No decision after first conflict	: false
3600.04/3587.92	c number of reductions to clauses (during analyze)	: 0
3600.04/3587.92	c number of learned constraints concerned by reduction	: 0
3600.04/3587.92	c number of learning phase by resolution	: 0
3600.04/3587.92	c number of learning phase by cutting planes	: 0
3600.04/3587.92	c number of rounding to 1 operations	: 0
3600.04/3587.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3587.92	c number of reductions of the coefficients by power 2 	: 0
3600.04/3587.92	c number of right shift for reduction by power 2 	: 0
3600.04/3587.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3587.92	c number of ending skipping 	: 0
3600.04/3587.92	c number of internal skipping 	: 0
3600.04/3587.92	c number of derivation steps 	: 0
3600.04/3587.92	c number of skipped derivation steps 	: 0
3600.04/3587.92	c number of remaining unassigned 	: 0
3600.04/3587.92	c number of remaining assigned 	: 0
3600.04/3587.92	c number of falsified literals weakened from reason	: 0
3600.04/3587.92	c number of falsified literals weakened from conflict	: 0
3600.04/3587.92	c time for arithmetic operations	: 0
3600.04/3587.93	c minimum degree of deleted constraints	: null
3600.04/3587.93	c maximum degree of deleted constraints	: null
3600.04/3587.93	c number of deleted constraints	: 0
3600.04/3587.93	c speed (assignments/second)	: 76076.49186649921
3600.04/3587.93	c non guided choices	: 65
3600.04/3587.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 532400
3600.04/3587.99	s UNKNOWN
3600.04/3587.99	c Total wall clock time (in seconds): 3587.857

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: 63708 MiB (40570 MiB free)
  memory of node 1: 64465 MiB (60528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516254-1751238922/watcher-4516254-1751238922 -o /tmp/evaluation-result-4516254-1751238922/solver-4516254-1751238922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32354 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516254-1751238922.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33310, runsolver pid=33307
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.26 4.30 4.27 7/337 33328
/proc/meminfo: memFree=103500024/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18930384 memory=59448 CPUtime=0.13 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 6470 0 0 0 11 2 0 0 20 0 18 0 39570107 19384713216 14862 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4732596 14862 5338 1 0 547603 0
[pid=33310/tid=33312] ppid=33307 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 5062 0 0 0 6 1 0 0 20 0 18 0 39570109 19384713216 14862 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39570111 19384713216 14862 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18930384 memory=58485492679666 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39570111 19384713216 14862 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59448 KiB

[startup+0.205734 s]*
/proc/loadavg: 4.26 4.30 4.27 7/338 33329
/proc/meminfo: memFree=103493912/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18996948 memory=63684 CPUtime=0.32 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 6961 0 0 0 30 2 0 0 20 0 19 0 39570107 19452874752 15921 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4749237 15921 5434 1 0 548307 0
[pid=33310/tid=33312] ppid=33307 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 5311 0 0 0 16 1 0 0 20 0 19 0 39570109 19452874752 15921 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18996948 memory=16099 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 15921 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18996948 memory=57385981051877 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 15921 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39570125 19452874752 15921 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63684 KiB

[startup+0.305726 s]*
/proc/loadavg: 4.26 4.30 4.27 6/338 33329
/proc/meminfo: memFree=103491896/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18996948 memory=66220 CPUtime=0.51 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 8480 0 0 0 49 2 0 0 20 0 19 0 39570107 19452874752 16555 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4749237 16555 5434 1 0 548923 0
[pid=33310/tid=33312] ppid=33307 vsize=18996948 memory=-6000919477085497708 CPUtime=0.27 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 5330 0 0 0 26 1 0 0 20 0 19 0 39570109 19452874752 16555 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 16555 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 16555 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39570125 19452874752 16555 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66220 KiB

[startup+0.700245 s]
/proc/loadavg: 4.26 4.30 4.27 6/338 33329
/proc/meminfo: memFree=103480744/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18996948 memory=83220 CPUtime=1.28 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 12430 0 0 0 125 3 0 0 20 0 19 0 39570107 19452874752 20805 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4749237 20805 5434 1 0 551627 0
[pid=33310/tid=33312] ppid=33307 vsize=18996948 memory=17536 CPUtime=0.66 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 5399 0 0 0 65 1 0 0 20 0 19 0 39570109 19452874752 20805 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 20805 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 20805 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39570125 19452874752 20805 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83220 KiB

[startup+1.50024 s]
/proc/loadavg: 4.26 4.30 4.27 6/338 33329
/proc/meminfo: memFree=103460580/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18996948 memory=108212 CPUtime=2.61 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 17046 0 0 0 257 4 0 0 20 0 19 0 39570107 19452874752 27053 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4749237 27053 5434 1 0 551633 0
[pid=33310/tid=33312] ppid=33307 vsize=18996948 memory=0 CPUtime=1.45 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 5771 0 0 0 143 2 0 0 20 0 19 0 39570109 19452874752 27053 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 27053 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 27053 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39570125 19452874752 27053 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108212 KiB

[startup+3.1055 s]
/proc/loadavg: 4.26 4.30 4.27 5/338 33329
/proc/meminfo: memFree=103394352/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=18996948 memory=153468 CPUtime=4.43 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 17776 0 0 0 438 5 0 0 20 0 19 0 39570107 19452874752 38367 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4749237 38367 5434 1 0 551635 0
[pid=33310/tid=33312] ppid=33307 vsize=18996948 memory=10880 CPUtime=3.05 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 6081 0 0 0 302 3 0 0 20 0 19 0 39570109 19452874752 38367 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=18996948 memory=-6000919477085497708 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 38367 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39570111 19452874752 38367 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39570125 19452874752 38367 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153468 KiB

[startup+6.30021 s]
/proc/loadavg: 4.24 4.29 4.27 6/339 33330
/proc/meminfo: memFree=103357640/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=188920 CPUtime=7.68 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 21763 0 0 0 762 6 0 0 20 0 20 0 39570107 19521036288 47230 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 47230 5498 1 0 551925 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=0 CPUtime=6.21 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 6580 0 0 0 618 3 0 0 20 0 20 0 39570109 19521036288 47230 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 47230 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 47230 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=110388 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 47230 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188920 KiB

[startup+12.7047 s]
/proc/loadavg: 4.22 4.29 4.27 5/339 33330
/proc/meminfo: memFree=103263432/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=287644 CPUtime=14.15 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 23248 0 0 0 1406 9 0 0 20 0 20 0 39570107 19521036288 71911 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 71911 5498 1 0 551925 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=110388 CPUtime=12.53 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) S 33307 33310 29257 0 -1 4194368 7001 0 0 0 1250 3 0 0 20 0 20 0 39570109 19521036288 71911 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=260968 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 71911 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 71911 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 71911 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 287644 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.27 4.26 7/339 33330
/proc/meminfo: memFree=102661236/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=472128 CPUtime=27.03 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 25732 0 0 0 2689 14 0 0 20 0 20 0 39570107 19521036288 118032 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 118032 5498 1 0 551925 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=260968 CPUtime=25.17 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 7774 0 0 0 2513 4 0 0 20 0 20 0 39570109 19521036288 118032 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 118032 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=416832 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 118032 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 118032 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 27.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 472128 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.27 4.26 5/338 33330
/proc/meminfo: memFree=102079100/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=677180 CPUtime=52.72 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 26154 0 0 0 5252 20 0 0 20 0 20 0 39570107 19521036288 169295 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 169295 5530 1 0 551925 0

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

/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1254 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3233.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3122876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.21 4.16 5/341 33703
/proc/meminfo: memFree=96105932/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3122876 CPUtime=3293.21 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 139484 0 0 0 329168 153 0 0 20 0 20 0 39570107 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 780719 5530 1 0 793354 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=3122876 CPUtime=3263.37 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 59350 0 0 0 326306 31 0 0 20 0 20 0 39570109 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1305 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3293.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3122876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.25 4.17 5/341 33705
/proc/meminfo: memFree=94970220/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3122876 CPUtime=3353.21 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 140519 0 0 0 335166 155 0 0 20 0 20 0 39570107 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 780719 5530 1 0 793354 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=10880 CPUtime=3323.09 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 60062 0 0 0 332278 31 0 0 20 0 20 0 39570109 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1305 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3353.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3122876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.25 4.18 5/341 33707
/proc/meminfo: memFree=94440264/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3122876 CPUtime=3413.2 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 141702 0 0 0 341164 156 0 0 20 0 20 0 39570107 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 780719 5530 1 0 793354 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=14156 CPUtime=3382.79 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 60229 0 0 0 338248 31 0 0 20 0 20 0 39570109 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1319 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 780719 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3413.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3122876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.22 4.17 5/341 33714
/proc/meminfo: memFree=93768464/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3123004 CPUtime=3473.23 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 142077 0 0 0 347166 157 0 0 20 0 20 0 39570107 19521036288 780751 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 780751 5530 1 0 793354 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=14156 CPUtime=3442.46 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 60430 0 0 0 344215 31 0 0 20 0 20 0 39570109 19521036288 780751 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780751 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3122876 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1320 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 780751 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3123004 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 780751 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3473.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3123004 KiB

[startup+3522.3 s]
/proc/loadavg: 3.65 4.06 4.12 4/316 33750
/proc/meminfo: memFree=107434900/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3336216 CPUtime=3534.44 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 148259 0 0 0 353279 165 0 0 20 0 20 0 39570107 19521036288 834054 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 834054 5530 1 0 908285 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=0 CPUtime=3501.9 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 63748 0 0 0 350154 36 0 0 20 0 20 0 39570109 19521036288 834054 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=3123004 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 834054 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3336216 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1321 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 834054 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 834054 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3534.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3336216 KiB

[startup+3582.3 s]
/proc/loadavg: 3.30 3.88 4.06 4/316 33755
/proc/meminfo: memFree=107191640/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3581980 CPUtime=3594.44 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 149758 0 0 0 359274 170 0 0 20 0 20 0 39570107 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 895495 5530 1 0 908285 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=3336216 CPUtime=3561.63 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 64836 0 0 0 356122 41 0 0 20 0 20 0 39570109 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=3581980 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3581980 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3581980 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3594.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3581980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587.9 s]
/proc/loadavg: 3.28 3.87 4.05 4/316 33755
/proc/meminfo: memFree=107191648/131249996 swapFree=33010684/33010684
[pid=33310] ppid=33307 vsize=19063512 memory=3581980 CPUtime=3600.04 cores=5,7
/proc/33310/stat : 33310 (java) S 33307 33310 29257 0 -1 4194304 149774 0 0 0 359833 171 0 0 20 0 20 0 39570107 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
/proc/33310/statm: 4765878 895495 5530 1 0 908285 0
[pid=33310/tid=33312] ppid=33307 vsize=19063512 memory=3336216 CPUtime=3567.22 cores=5,7
/proc/33310/task/33312/stat : 33312 (java) R 33307 33310 29257 0 -1 4194368 64850 0 0 0 356681 41 0 0 20 0 20 0 39570109 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33321] ppid=33307 vsize=19063512 memory=3336216 CPUtime=0 cores=5,7
/proc/33310/task/33321/stat : 33321 (Finalizer) S 33307 33310 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33328] ppid=33307 vsize=19063512 memory=3581980 CPUtime=0 cores=5,7
/proc/33310/task/33328/stat : 33328 (Common-Cleaner) S 33307 33310 29257 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 39570111 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
[pid=33310/tid=33329] ppid=33307 vsize=19063512 memory=3581980 CPUtime=0 cores=5,7
/proc/33310/task/33329/stat : 33329 (Timer-0) S 33307 33310 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39570125 19521036288 895495 18446744073709551615 94214554800128 94214554803824 140720344142544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94214554811640 94214554812432 94214566182912 140720344144257 140720344144358 140720344144358 140720344149960 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3581980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.48 s, system=1.72635 s

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

[startup+3588.01 s]*
/proc/loadavg: 3.28 3.87 4.05 4/298 33758
/proc/meminfo: memFree=110319984/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3588.02
CPU time (s): 3600.21
CPU user time (s): 3598.48
CPU system time (s): 1.72635
CPU usage (%): 100.34
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3581980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.72635
maximum resident set size= 3582876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109931
involuntary context switches= 21005


# summary of solver processes directly reported to runsolver:
#   pid: 33310
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.72635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50594 second user time and 16.5951 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 01:15:22
IDJOB=4516254
IDBENCH=170483
IDSOLVER=3363
FILE ID=nodeC023/4516254-1751238922
RUNJOBID= nodeC023-1751235489-32354
SLURM_JOB_ID= 9587704
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516254-1751238922/watcher-4516254-1751238922 -o /tmp/evaluation-result-4516254-1751238922/solver-4516254-1751238922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32354 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516254-1751238922.opb

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

MD5SUM BENCH= 25b641ec723147791ff171774f47f88f
RANDOM SEED=899834087

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.690
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.897
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3602.513
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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.165
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.855
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.163
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.778
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3588.453
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        103525412 kB
MemAvailable:   105417520 kB
Buffers:            3280 kB
Cached:          2695472 kB
SwapCached:            0 kB
Active:         24712588 kB
Inactive:        2390420 kB
Active(anon):   24422324 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  2390420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               692 kB
Writeback:             0 kB
AnonPages:      24407268 kB
Mapped:           122768 kB
Shmem:             18064 kB
KReclaimable:     101328 kB
Slab:             189328 kB
SReclaimable:     101328 kB
SUnreclaim:        88000 kB
KernelStack:        5184 kB
PageTables:        51348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   29239204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24041472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC023 at 2025-06-30 02:15:11