Trace number 4516255

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 VeriPB 2025-06-06? (TO) 3600.29 3574.04

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.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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4516255-1751237560.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.035s.
0.13/0.17	c declared #vars     270
0.13/0.18	c #constraints  541
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 540
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.18	c 541 constraints processed.
1.67/0.97	c cleaning 2501 clauses out of 5001 with flag 10647/5001
3.06/1.64	c cleaning 4249 clauses out of 8499 with flag 23426/11000
4.64/2.45	c cleaning 5621 clauses out of 11250 with flag 38304/18000
5.70/3.00	c cleaning 6815 clauses out of 13629 with flag 55294/26000
6.38/3.51	c cleaning 7907 clauses out of 15814 with flag 74394/35000
7.06/4.12	c cleaning 8954 clauses out of 17908 with flag 95642/45001
7.81/4.76	c cleaning 9966 clauses out of 19954 with flag 118969/56001
8.60/5.50	c cleaning 10993 clauses out of 21987 with flag 144509/68000
9.41/6.37	c cleaning 11994 clauses out of 23994 with flag 172188/81000
10.32/7.23	c cleaning 12996 clauses out of 26000 with flag 201891/95000
11.31/8.26	c cleaning 13998 clauses out of 28004 with flag 233683/110000
12.22/9.20	c cleaning 14999 clauses out of 30007 with flag 267698/126001
13.24/10.13	c cleaning 15997 clauses out of 32007 with flag 303635/143000
14.37/11.23	c cleaning 17000 clauses out of 34010 with flag 341819/161000
15.37/12.26	c cleaning 18003 clauses out of 36010 with flag 382063/180000
16.49/13.34	c cleaning 19003 clauses out of 38008 with flag 424553/200001
17.59/14.49	c cleaning 20001 clauses out of 40004 with flag 468974/221000
18.91/15.75	c cleaning 20996 clauses out of 42003 with flag 515538/243000
20.21/17.10	c cleaning 22004 clauses out of 44007 with flag 564197/266000
21.52/18.38	c cleaning 23000 clauses out of 46003 with flag 614993/290000
23.11/19.94	c cleaning 24002 clauses out of 48003 with flag 668036/315000
24.72/21.59	c cleaning 24988 clauses out of 50001 with flag 722895/341000
26.32/23.15	c cleaning 26002 clauses out of 52013 with flag 780035/368000
28.11/24.91	c cleaning 27006 clauses out of 54013 with flag 839492/396002
30.13/26.98	c cleaning 28003 clauses out of 56005 with flag 900993/425000
32.33/29.10	c cleaning 29002 clauses out of 58003 with flag 964550/455001
34.82/31.61	c cleaning 29999 clauses out of 60000 with flag 1030477/486000
37.23/34.09	c cleaning 30998 clauses out of 62001 with flag 1098502/518000
39.64/36.50	c cleaning 32002 clauses out of 64004 with flag 1168411/551001
42.39/39.16	c cleaning 32998 clauses out of 66001 with flag 1240478/585000
45.41/42.11	c cleaning 33997 clauses out of 68004 with flag 1314621/620001
48.31/45.02	c cleaning 34998 clauses out of 70006 with flag 1390874/656000
51.91/48.62	c cleaning 35995 clauses out of 72008 with flag 1469336/693000
54.63/51.35	c cleaning 37001 clauses out of 74015 with flag 1550036/731002
58.02/54.70	c cleaning 38004 clauses out of 76012 with flag 1632794/770000
61.28/57.98	c cleaning 38994 clauses out of 78008 with flag 1717685/810000
65.20/61.82	c cleaning 40004 clauses out of 80014 with flag 1804657/851000
69.01/65.69	c cleaning 41000 clauses out of 82010 with flag 1893854/893000
72.63/69.12	c cleaning 41998 clauses out of 84010 with flag 1984551/936000
76.15/72.62	c cleaning 43002 clauses out of 86013 with flag 2077467/980001
79.48/76.00	c cleaning 44000 clauses out of 88012 with flag 2172685/1025002
83.20/79.66	c cleaning 44997 clauses out of 90010 with flag 2270003/1071000
87.21/83.61	c cleaning 46003 clauses out of 92014 with flag 2369501/1118001
91.08/87.43	c cleaning 47002 clauses out of 94010 with flag 2471428/1166000
95.23/91.52	c cleaning 48000 clauses out of 96009 with flag 2575289/1215001
99.21/95.76	c cleaning 48999 clauses out of 98009 with flag 2680997/1265001
103.74/100.26	c cleaning 49996 clauses out of 100011 with flag 2789249/1316002
108.13/104.59	c cleaning 51002 clauses out of 102014 with flag 2899626/1368001
112.57/109.00	c cleaning 51999 clauses out of 104011 with flag 3011925/1421000
117.40/113.70	c cleaning 53007 clauses out of 106014 with flag 3126364/1475002
121.63/118.00	c cleaning 53999 clauses out of 108006 with flag 3242943/1530001
127.40/123.61	c cleaning 54997 clauses out of 110006 with flag 3361893/1586000
134.02/130.43	c cleaning 56002 clauses out of 112009 with flag 3483015/1643000
140.23/136.66	c cleaning 56998 clauses out of 114007 with flag 3606003/1701000
144.73/141.01	c cleaning 57998 clauses out of 116010 with flag 3729957/1760001
149.57/145.80	c cleaning 59006 clauses out of 118013 with flag 3856235/1820002
154.33/150.57	c cleaning 59996 clauses out of 120005 with flag 3985520/1881000
159.66/155.84	c cleaning 61002 clauses out of 122010 with flag 4116874/1943001
165.19/161.55	c cleaning 61998 clauses out of 124007 with flag 4250495/2006000
171.02/167.32	c cleaning 63000 clauses out of 126009 with flag 4385383/2070000
176.98/173.25	c cleaning 64004 clauses out of 128009 with flag 4522833/2135000
183.12/179.39	c cleaning 64996 clauses out of 130005 with flag 4662036/2201000
189.39/185.55	c cleaning 66000 clauses out of 132009 with flag 4803261/2268000
195.36/191.74	c cleaning 67003 clauses out of 134009 with flag 4946830/2336000
201.81/198.13	c cleaning 68000 clauses out of 136007 with flag 5093024/2405001
208.78/205.03	c cleaning 68999 clauses out of 138007 with flag 5240888/2475001
215.45/211.60	c cleaning 70001 clauses out of 140007 with flag 5391000/2546000
221.63/217.71	c cleaning 71005 clauses out of 142009 with flag 5543616/2618003
229.24/225.55	c cleaning 71994 clauses out of 144001 with flag 5698129/2691000
236.10/232.32	c cleaning 73004 clauses out of 146008 with flag 5855236/2765001
244.54/240.76	c cleaning 74001 clauses out of 148005 with flag 6014318/2840002
253.75/250.22	c cleaning 74996 clauses out of 150002 with flag 6175830/2916000
261.77/257.97	c cleaning 76003 clauses out of 152007 with flag 6338995/2993001
269.21/265.39	c cleaning 76997 clauses out of 154004 with flag 6503437/3071001
276.87/272.99	c cleaning 78001 clauses out of 156007 with flag 6670094/3150001
284.42/280.64	c cleaning 79001 clauses out of 158006 with flag 6838977/3230001
291.65/287.84	c cleaning 79997 clauses out of 160004 with flag 7010060/3311000
300.01/296.11	c cleaning 81002 clauses out of 162008 with flag 7183065/3393001
308.36/304.48	c cleaning 81999 clauses out of 164006 with flag 7358125/3476001
315.77/313.25	c cleaning 83003 clauses out of 166006 with flag 7535384/3560000
323.12/320.56	c cleaning 83999 clauses out of 168004 with flag 7715011/3645001
331.67/329.08	c cleaning 84996 clauses out of 170005 with flag 7897209/3731001
340.20/337.52	c cleaning 86000 clauses out of 172008 with flag 8081304/3818000
348.73/346.36	c cleaning 87003 clauses out of 174008 with flag 8267747/3906000
358.98/356.53	c cleaning 87995 clauses out of 176005 with flag 8455809/3995000
368.21/365.62	c cleaning 89004 clauses out of 178011 with flag 8646361/4085001
376.45/373.88	c cleaning 89995 clauses out of 180006 with flag 8839543/4176000
385.19/382.73	c cleaning 91003 clauses out of 182012 with flag 9035216/4268001
394.73/392.27	c cleaning 91998 clauses out of 184010 with flag 9233070/4361002
404.38/401.87	c cleaning 92998 clauses out of 186010 with flag 9432466/4455000
414.50/412.13	c cleaning 94004 clauses out of 188015 with flag 9633565/4550003
425.38/422.94	c cleaning 95001 clauses out of 190010 with flag 9837109/4646002
436.93/434.45	c cleaning 96002 clauses out of 192010 with flag 10043016/4743003
447.74/445.48	c cleaning 97001 clauses out of 194007 with flag 10251395/4841002
459.68/457.33	c cleaning 97999 clauses out of 196005 with flag 10461361/4940001
471.87/469.67	c cleaning 98998 clauses out of 198006 with flag 10672320/5040001
482.99/480.62	c cleaning 99999 clauses out of 200008 with flag 10885135/5141001
493.91/491.20	c cleaning 101001 clauses out of 202008 with flag 11101344/5243000
506.63/504.33	c cleaning 101995 clauses out of 204007 with flag 11319605/5346000
517.88/515.54	c cleaning 102999 clauses out of 206012 with flag 11540588/5450000
530.21/527.89	c cleaning 103999 clauses out of 208013 with flag 11763235/5555000
542.52/540.54	c cleaning 105001 clauses out of 210014 with flag 11988122/5661000
556.18/554.18	c cleaning 106000 clauses out of 212013 with flag 12214669/5768000
571.26/569.35	c cleaning 107000 clauses out of 214013 with flag 12442095/5876000
583.61/581.62	c cleaning 108006 clauses out of 216015 with flag 12673022/5985002
594.79/593.42	c cleaning 108998 clauses out of 218008 with flag 12907072/6095001
608.19/606.81	c cleaning 110003 clauses out of 220009 with flag 13142705/6206000
622.05/620.61	c cleaning 111000 clauses out of 222006 with flag 13380681/6318000
636.53/635.42	c cleaning 111993 clauses out of 224006 with flag 13619785/6431000
648.56/647.45	c cleaning 113001 clauses out of 226013 with flag 13861509/6545000
663.64/662.79	c cleaning 114002 clauses out of 228013 with flag 14105714/6660001
684.53/683.51	c cleaning 115001 clauses out of 230011 with flag 14352168/6776001
696.96/696.00	c cleaning 116003 clauses out of 232009 with flag 14598637/6893000
710.84/709.82	c cleaning 116995 clauses out of 234006 with flag 14847456/7011000
724.84/723.95	c cleaning 118004 clauses out of 236012 with flag 15098409/7130001
740.27/739.35	c cleaning 118997 clauses out of 238008 with flag 15352249/7250001
754.47/753.66	c cleaning 119998 clauses out of 240010 with flag 15609441/7371000
769.38/768.18	c cleaning 121002 clauses out of 242012 with flag 15868268/7493000
783.73/782.50	c cleaning 121997 clauses out of 244010 with flag 16128643/7616000
797.41/796.18	c cleaning 123001 clauses out of 246014 with flag 16391806/7740001
813.21/812.07	c cleaning 124001 clauses out of 248012 with flag 16657262/7865000
828.39/827.15	c cleaning 125003 clauses out of 250011 with flag 16924984/7991000
842.81/841.60	c cleaning 126001 clauses out of 252008 with flag 17193858/8118000
859.10/857.87	c cleaning 127001 clauses out of 254007 with flag 17465643/8246000
874.25/873.03	c cleaning 127998 clauses out of 256007 with flag 17739793/8375001
889.44/888.10	c cleaning 128999 clauses out of 258008 with flag 18015885/8505000
903.99/902.46	c cleaning 130004 clauses out of 260010 with flag 18293901/8636001
917.70/916.04	c cleaning 131001 clauses out of 262005 with flag 18573747/8768000
933.81/932.24	c cleaning 131994 clauses out of 264005 with flag 18855722/8901001
949.43/947.75	c cleaning 133003 clauses out of 266010 with flag 19140045/9035000
967.75/966.19	c cleaning 133998 clauses out of 268007 with flag 19426850/9170000
990.89/989.23	c cleaning 135004 clauses out of 270012 with flag 19715761/9306003
1014.29/1012.55	c cleaning 136003 clauses out of 272005 with flag 20016386/9443000
1026.65/1025.05	c cleaning 136996 clauses out of 274003 with flag 20340019/9581001
1040.17/1038.17	c cleaning 138000 clauses out of 276007 with flag 20671672/9720001
1053.56/1051.33	c cleaning 138999 clauses out of 278006 with flag 21011792/9860000
1067.92/1065.90	c cleaning 139999 clauses out of 280007 with flag 21353586/10001000
1078.77/1076.61	c cleaning 141000 clauses out of 282008 with flag 21687233/10143000
1092.85/1090.65	c cleaning 141998 clauses out of 284008 with flag 22028005/10286000
1110.65/1108.37	c cleaning 143003 clauses out of 286012 with flag 22367865/10430002
1128.31/1126.10	c cleaning 143999 clauses out of 288007 with flag 22709579/10575000
1142.01/1139.21	c cleaning 145001 clauses out of 290009 with flag 23049102/10721001
1151.97/1149.31	c cleaning 146000 clauses out of 292007 with flag 23391424/10868000
1163.31/1160.50	c cleaning 146999 clauses out of 294008 with flag 23734788/11016001
1174.71/1171.85	c cleaning 147998 clauses out of 296008 with flag 24081926/11165000
1187.03/1184.34	c cleaning 148995 clauses out of 298010 with flag 24427775/11315000
1197.63/1194.88	c cleaning 149999 clauses out of 300015 with flag 24778093/11466000
1211.58/1208.84	c cleaning 150998 clauses out of 302016 with flag 25144030/11618000
1228.29/1225.01	c cleaning 152010 clauses out of 304019 with flag 25517852/11771001
1243.49/1240.31	c cleaning 153001 clauses out of 306008 with flag 25893428/11925000
1257.53/1254.25	c cleaning 154000 clauses out of 308007 with flag 26278018/12080000
1271.17/1269.41	c cleaning 154993 clauses out of 310007 with flag 26645785/12236000
1283.08/1281.25	c cleaning 156003 clauses out of 312018 with flag 27010498/12393004
1295.70/1293.70	c cleaning 157003 clauses out of 314012 with flag 27381661/12551001
1314.47/1312.28	c cleaning 157999 clauses out of 316008 with flag 27755650/12710000
1328.58/1326.24	c cleaning 159002 clauses out of 318009 with flag 28131563/12870000
1342.59/1340.36	c cleaning 160002 clauses out of 320009 with flag 28504772/13031002
1357.17/1354.73	c cleaning 161000 clauses out of 322006 with flag 28890132/13193001
1368.66/1366.37	c cleaning 161999 clauses out of 324005 with flag 29273339/13356000
1386.32/1383.41	c cleaning 163001 clauses out of 326007 with flag 29662964/13520001
1398.62/1395.87	c cleaning 163999 clauses out of 328005 with flag 30046016/13685000
1410.82/1407.80	c cleaning 164998 clauses out of 330006 with flag 30430489/13851000
1424.83/1421.79	c cleaning 165997 clauses out of 332008 with flag 30826757/14018000
1443.12/1439.86	c cleaning 167001 clauses out of 334011 with flag 31225775/14186000
1458.44/1455.13	c cleaning 167997 clauses out of 336010 with flag 31623756/14355000
1478.69/1475.21	c cleaning 169001 clauses out of 338013 with flag 32027338/14525000
1492.72/1489.57	c cleaning 170003 clauses out of 340012 with flag 32427910/14696000
1506.28/1503.00	c cleaning 171002 clauses out of 342010 with flag 32827826/14868001
1521.48/1518.57	c cleaning 171998 clauses out of 344008 with flag 33237451/15041001
1536.24/1533.11	c cleaning 173001 clauses out of 346009 with flag 33644367/15215000
1550.64/1547.49	c cleaning 173999 clauses out of 348009 with flag 34055930/15390001
1567.94/1564.65	c cleaning 175002 clauses out of 350011 with flag 34474280/15566002
1586.28/1583.06	c cleaning 175999 clauses out of 352007 with flag 34896750/15743000
1600.53/1597.15	c cleaning 177001 clauses out of 354010 with flag 35310691/15921002
1621.67/1618.31	c cleaning 177998 clauses out of 356007 with flag 35743106/16100000
1644.28/1640.65	c cleaning 178998 clauses out of 358010 with flag 36173377/16280001
1662.86/1659.10	c cleaning 180001 clauses out of 360011 with flag 36603908/16461000
1680.18/1676.47	c cleaning 180999 clauses out of 362011 with flag 37028754/16643001
1696.46/1692.56	c cleaning 182000 clauses out of 364012 with flag 37461124/16826001
1717.01/1712.70	c cleaning 182999 clauses out of 366012 with flag 37896267/17010001
1734.48/1730.21	c cleaning 184007 clauses out of 368013 with flag 38329866/17195001
1752.27/1747.85	c cleaning 184999 clauses out of 370006 with flag 38768021/17381001
1768.29/1763.75	c cleaning 185998 clauses out of 372006 with flag 39209381/17568000
1787.54/1782.48	c cleaning 187001 clauses out of 374008 with flag 39655975/17756000
1804.26/1799.22	c cleaning 188003 clauses out of 376008 with flag 40097453/17945001
1819.31/1814.18	c cleaning 188998 clauses out of 378004 with flag 40536127/18135000
1839.06/1833.76	c cleaning 189995 clauses out of 380006 with flag 40988655/18326000
1856.51/1850.68	c cleaning 191002 clauses out of 382011 with flag 41438300/18518000
1876.40/1870.64	c cleaning 192000 clauses out of 384011 with flag 41886398/18711002
1894.01/1888.06	c cleaning 193003 clauses out of 386009 with flag 42342755/18905000
1916.75/1910.64	c cleaning 193999 clauses out of 388006 with flag 42812912/19100000
1937.58/1931.12	c cleaning 194997 clauses out of 390008 with flag 43279638/19296001
1963.76/1957.36	c cleaning 196002 clauses out of 392011 with flag 43758435/19493001
1979.75/1973.13	c cleaning 197005 clauses out of 394009 with flag 44220257/19691001
1997.98/1990.87	c cleaning 197999 clauses out of 396005 with flag 44688342/19890002
2018.74/2011.40	c cleaning 199000 clauses out of 398004 with flag 45166729/20090000
2042.96/2035.78	c cleaning 199998 clauses out of 400005 with flag 45642636/20291001
2065.66/2057.63	c cleaning 200992 clauses out of 402006 with flag 46123754/20493000
2082.72/2074.73	c cleaning 202000 clauses out of 404015 with flag 46602396/20696001
2102.27/2094.16	c cleaning 203007 clauses out of 406014 with flag 47084082/20900000
2122.64/2113.64	c cleaning 204000 clauses out of 408008 with flag 47566423/21105001
2142.79/2133.61	c cleaning 204998 clauses out of 410007 with flag 48048707/21311000
2163.05/2153.79	c cleaning 205998 clauses out of 412009 with flag 48525023/21518000
2181.93/2171.78	c cleaning 207001 clauses out of 414011 with flag 49010090/21726000
2199.48/2189.16	c cleaning 208002 clauses out of 416011 with flag 49508970/21935001
2217.36/2206.85	c cleaning 208997 clauses out of 418008 with flag 49997743/22145000
2246.42/2235.74	c cleaning 210007 clauses out of 420013 with flag 50499154/22356002
2271.68/2260.22	c cleaning 210997 clauses out of 422005 with flag 50993630/22568001
2290.77/2279.16	c cleaning 211997 clauses out of 424008 with flag 51487840/22781001
2310.98/2298.46	c cleaning 213006 clauses out of 426011 with flag 51989712/22995001
2328.16/2315.47	c cleaning 213997 clauses out of 428004 with flag 52485558/23210000
2347.75/2334.84	c cleaning 214998 clauses out of 430008 with flag 52980820/23426001
2369.65/2356.69	c cleaning 215999 clauses out of 432009 with flag 53481968/23643000
2392.87/2379.90	c cleaning 217001 clauses out of 434010 with flag 53978831/23861000
2414.56/2401.43	c cleaning 218003 clauses out of 436009 with flag 54483982/24080000
2438.62/2425.01	c cleaning 219003 clauses out of 438008 with flag 54991014/24300002
2459.50/2445.96	c cleaning 219996 clauses out of 440003 with flag 55498402/24521000
2478.14/2463.77	c cleaning 220998 clauses out of 442007 with flag 56003828/24743000
2500.82/2486.52	c cleaning 222002 clauses out of 444010 with flag 56515515/24966001
2524.82/2509.94	c cleaning 222997 clauses out of 446007 with flag 57033618/25190000
2552.35/2537.50	c cleaning 223998 clauses out of 448010 with flag 57541147/25415000
2575.17/2559.50	c cleaning 225002 clauses out of 450013 with flag 58042027/25641001
2599.12/2583.20	c cleaning 226002 clauses out of 452011 with flag 58539621/25868001
2629.86/2613.26	c cleaning 226995 clauses out of 454008 with flag 59052508/26096000
2663.29/2646.60	c cleaning 228007 clauses out of 456014 with flag 59578021/26325001
2696.34/2679.10	c cleaning 229001 clauses out of 458006 with flag 60077306/26555000
2754.99/2737.87	c cleaning 230000 clauses out of 460005 with flag 60578936/26786000
2793.89/2776.06	c cleaning 230992 clauses out of 462006 with flag 61089233/27018001
2815.63/2797.52	c cleaning 232005 clauses out of 464014 with flag 61587661/27251001
2855.89/2837.31	c cleaning 233000 clauses out of 466008 with flag 62083595/27485000
2883.83/2865.25	c cleaning 233999 clauses out of 468009 with flag 62580897/27720001
2918.96/2899.84	c cleaning 235003 clauses out of 470010 with flag 63080225/27956001
2946.40/2927.26	c cleaning 236003 clauses out of 472008 with flag 63583244/28193002
2970.69/2950.74	c cleaning 236994 clauses out of 474004 with flag 64088569/28431001
3002.42/2982.76	c cleaning 238003 clauses out of 476010 with flag 64598362/28670001
3028.61/3008.44	c cleaning 238999 clauses out of 478006 with flag 65116314/28910000
3060.69/3040.58	c cleaning 240001 clauses out of 480007 with flag 65641351/29151000
3094.34/3073.54	c cleaning 240995 clauses out of 482007 with flag 66173434/29393001
3124.00/3103.15	c cleaning 242005 clauses out of 484011 with flag 66708764/29636000
3161.60/3140.21	c cleaning 243000 clauses out of 486007 with flag 67228631/29880001
3202.71/3181.49	c cleaning 243997 clauses out of 488006 with flag 67750941/30125000
3234.18/3212.31	c cleaning 244999 clauses out of 490010 with flag 68273880/30371001
3264.53/3242.64	c cleaning 246005 clauses out of 492010 with flag 68799326/30618000
3308.50/3285.97	c cleaning 246999 clauses out of 494006 with flag 69327670/30866001
3355.05/3332.57	c cleaning 248003 clauses out of 496006 with flag 69857493/31115000
3388.64/3365.58	c cleaning 248997 clauses out of 498003 with flag 70389423/31365000
3425.60/3402.47	c cleaning 249993 clauses out of 500007 with flag 70927740/31616001
3457.40/3433.55	c cleaning 251004 clauses out of 502013 with flag 71464495/31868000
3493.15/3468.40	c cleaning 252000 clauses out of 504009 with flag 72002474/32121000
3531.71/3506.92	c cleaning 252999 clauses out of 506010 with flag 72542211/32375001
3565.94/3540.52	c cleaning 254002 clauses out of 508010 with flag 73084344/32630000
3600.02/3573.91	c starts		: 296496
3600.02/3573.93	c conflicts		: 32886001
3600.02/3573.93	c decisions		: 70468079
3600.02/3573.93	c propagations		: 236578640
3600.02/3573.93	c inspects		: 16391396499
3600.02/3573.93	c shortcuts		: 0
3600.02/3573.93	c learnt literals	: 0
3600.02/3573.93	c learnt binary clauses	: 0
3600.02/3573.93	c learnt ternary clauses	: 0
3600.02/3573.93	c learnt constraints	: 32886001
3600.02/3573.93	c ignored constraints	: 0
3600.02/3573.93	c root simplifications	: 0
3600.02/3573.93	c removed literals (reason simplification)	: 477641216
3600.02/3573.94	c reason swapping (by a shorter reason)	: 0
3600.02/3573.94	c Calls to reduceDB	: 252
3600.02/3573.94	c Number of update (reduction) of LBD	: 655910
3600.02/3573.94	c Imported unit clauses	: 0
3600.02/3573.94	c No decision after first conflict	: false
3600.02/3573.94	c number of reductions to clauses (during analyze)	: 0
3600.02/3573.94	c number of learned constraints concerned by reduction	: 0
3600.02/3573.94	c number of learning phase by resolution	: 0
3600.02/3573.94	c number of learning phase by cutting planes	: 0
3600.02/3573.94	c number of rounding to 1 operations	: 0
3600.02/3573.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3573.94	c number of reductions of the coefficients by power 2 	: 0
3600.02/3573.94	c number of right shift for reduction by power 2 	: 0
3600.02/3573.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3573.94	c number of ending skipping 	: 0
3600.02/3573.94	c number of internal skipping 	: 0
3600.02/3573.94	c number of derivation steps 	: 0
3600.02/3573.94	c number of skipped derivation steps 	: 0
3600.02/3573.94	c number of remaining unassigned 	: 0
3600.02/3573.94	c number of remaining assigned 	: 0
3600.02/3573.94	c number of falsified literals weakened from reason	: 0
3600.02/3573.94	c number of falsified literals weakened from conflict	: 0
3600.02/3573.94	c time for arithmetic operations	: 0
3600.02/3573.94	c minimum degree of deleted constraints	: null
3600.02/3573.94	c maximum degree of deleted constraints	: null
3600.02/3573.94	c number of deleted constraints	: 0
3600.02/3573.94	c speed (assignments/second)	: 66198.84166751079
3600.02/3573.94	c non guided choices	: 65
3600.25/3574.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 510009
3600.25/3574.02	s UNKNOWN
3600.25/3574.02	c Total wall clock time (in seconds): 3573.889

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516255-1751237560/watcher-4516255-1751237560 -o /tmp/evaluation-result-4516255-1751237560/solver-4516255-1751237560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34967 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516255-1751237560 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516255-1751237560.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=36302, runsolver pid=36299

[startup+0.100061 s]*
/proc/loadavg: 4.27 4.38 4.35 6/349 36320
/proc/meminfo: memFree=81372704/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=18930384 memory=57776 CPUtime=0.13 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 6568 0 0 0 12 1 0 0 20 0 18 0 39435390 19384713216 14444 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4732596 14444 5339 1 0 547609 0
[pid=36302/tid=36304] ppid=36299 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 5066 0 0 0 7 1 0 0 20 0 18 0 39435392 19384713216 14444 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39435394 19384713216 14444 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39435394 19384713216 14444 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57776 KiB

[startup+0.206006 s]*
/proc/loadavg: 4.27 4.38 4.35 7/350 36321
/proc/meminfo: memFree=81360800/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=18996948 memory=64184 CPUtime=0.32 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 7223 0 0 0 30 2 0 0 20 0 19 0 39435390 19452874752 16046 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4749237 16046 5403 1 0 548338 0
[pid=36302/tid=36304] ppid=36299 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 5345 0 0 0 16 1 0 0 20 0 19 0 39435392 19452874752 16046 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=18996948 memory=16898 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39435394 19452874752 16046 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=18996948 memory=59585004307431 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39435394 19452874752 16046 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=18996948 memory=154031 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39435409 19452874752 16046 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64184 KiB

[startup+0.305994 s]*
/proc/loadavg: 4.27 4.38 4.35 6/350 36321
/proc/meminfo: memFree=81344416/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=18996948 memory=84420 CPUtime=0.51 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 8560 0 0 0 49 2 0 0 20 0 19 0 39435390 19452874752 21105 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4749237 21105 5435 1 0 549048 0
[pid=36302/tid=36304] ppid=36299 vsize=18996948 memory=-6000919468344632940 CPUtime=0.28 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 5369 0 0 0 26 2 0 0 20 0 19 0 39435392 19452874752 21105 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39435394 19452874752 21105 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39435394 19452874752 21105 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39435409 19452874752 21105 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84420 KiB

[startup+0.700239 s]
/proc/loadavg: 4.27 4.38 4.35 6/350 36321
/proc/meminfo: memFree=81277056/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=163964 CPUtime=1.27 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 11264 0 0 0 122 5 0 0 20 0 20 0 39435390 19521036288 40991 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 40991 5467 1 0 551071 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=18048 CPUtime=0.65 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 5410 0 0 0 62 3 0 0 20 0 20 0 39435392 19521036288 40991 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 40991 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 40991 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 40991 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163964 KiB

[startup+1.50026 s]
/proc/loadavg: 4.27 4.38 4.35 6/351 36322
/proc/meminfo: memFree=81245712/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=174892 CPUtime=2.86 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 19309 0 0 0 279 7 0 0 20 0 20 0 39435390 19521036288 43723 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 43723 5467 1 0 552629 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=0 CPUtime=1.42 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 5782 0 0 0 137 5 0 0 20 0 20 0 39435392 19521036288 43723 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 43723 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 43723 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 43723 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174892 KiB

[startup+3.10641 s]
/proc/loadavg: 4.27 4.38 4.35 6/351 36322
/proc/meminfo: memFree=80991160/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=345928 CPUtime=5.9 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 22912 0 0 0 577 13 0 0 20 0 20 0 39435390 19521036288 86482 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 86482 5467 1 0 553196 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=10752 CPUtime=2.99 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) S 36299 36302 34474 0 -1 4194368 6510 0 0 0 290 9 0 0 20 0 20 0 39435392 19521036288 86482 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=-6000919468344632940 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 86482 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 86482 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 86482 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 345928 KiB

[startup+6.30021 s]
/proc/loadavg: 4.25 4.37 4.35 5/351 36322
/proc/meminfo: memFree=80350704/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=858164 CPUtime=9.41 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 23533 0 0 0 914 27 0 0 20 0 20 0 39435390 19521036288 214541 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 214541 5467 1 0 553198 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=0 CPUtime=6.16 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 6985 0 0 0 592 24 0 0 20 0 20 0 39435392 19521036288 214541 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 214541 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 214541 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=175440 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 214541 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 858164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.36 4.35 5/351 36322
/proc/meminfo: memFree=79688952/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=1327276 CPUtime=15.88 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 27270 0 0 0 1538 50 0 0 20 0 20 0 39435390 19521036288 331819 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 331819 5467 1 0 553198 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=175440 CPUtime=12.5 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 8428 0 0 0 1205 45 0 0 20 0 20 0 39435392 19521036288 331819 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=1323180 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 331819 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 331819 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 331819 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 15.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1327276 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.34 4.34 5/326 36351
/proc/meminfo: memFree=104183676/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=1353920 CPUtime=28.73 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 31326 0 0 0 2799 74 0 0 20 0 20 0 39435390 19521036288 338480 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 338480 5467 1 0 553198 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=1323180 CPUtime=25.12 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 9493 0 0 0 2445 67 0 0 20 0 20 0 39435392 19521036288 338480 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 338480 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=-6000919468344632940 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 338480 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 338480 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 28.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353920 KiB

[startup+51.1059 s]
/proc/loadavg: 4.25 4.35 4.35 5/351 36457
/proc/meminfo: memFree=102709872/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=1368444 CPUtime=54.44 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 35045 0 0 0 5333 111 0 0 20 0 20 0 39435390 19521036288 342111 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0

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

/proc/meminfo: memFree=32897192/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3244.22 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 161990 0 0 0 320967 3455 0 0 20 0 20 0 39435390 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 649835 5499 1 0 661510 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3155.04 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 62115 0 0 0 312183 3321 0 0 20 0 20 0 39435392 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1301 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3244.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2599340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/345 36716
/proc/meminfo: memFree=32527764/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3304.91 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 164936 0 0 0 326996 3495 0 0 20 0 20 0 39435390 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 649835 5499 1 0 661510 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3213.97 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 63025 0 0 0 318039 3358 0 0 20 0 20 0 39435392 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3304.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2599340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/345 36719
/proc/meminfo: memFree=32177952/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3365.45 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 165486 0 0 0 333011 3534 0 0 20 0 20 0 39435390 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 649835 5499 1 0 661510 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3273.17 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 63524 0 0 0 323921 3396 0 0 20 0 20 0 39435392 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3365.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2599340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.00 4.14 4.17 4/321 36756
/proc/meminfo: memFree=47733856/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3425.5 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 167203 0 0 0 338974 3576 0 0 20 0 20 0 39435390 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 649835 5499 1 0 661510 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=14412 CPUtime=3332.07 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 64543 0 0 0 329770 3437 0 0 20 0 20 0 39435392 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=2599340 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 649835 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3425.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2599340 KiB

[startup+3462.3 s]
/proc/loadavg: 3.51 3.98 4.11 4/320 36758
/proc/meminfo: memFree=46694196/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2601644 CPUtime=3487.06 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 172018 0 0 0 345075 3631 0 0 20 0 20 0 39435390 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 650411 5499 1 0 662083 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=14412 CPUtime=3390.86 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 67839 0 0 0 335599 3487 0 0 20 0 20 0 39435392 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3487.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2601644 KiB

[startup+3522.3 s]
/proc/loadavg: 3.33 3.84 4.05 3/297 36773
/proc/meminfo: memFree=61957956/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2601644 CPUtime=3547.65 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 174685 0 0 0 351081 3684 0 0 20 0 20 0 39435390 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 650411 5499 1 0 662083 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=2599340 CPUtime=3449.93 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 68668 0 0 0 341455 3538 0 0 20 0 20 0 39435392 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2601644 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=36482698 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=2601644 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3547.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2601644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3573.9 s]
/proc/loadavg: 2.67 3.59 3.95 3/295 36797
/proc/meminfo: memFree=94865476/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19063512 memory=2601644 CPUtime=3600.02 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 175170 0 0 0 356277 3725 0 0 20 0 20 0 39435390 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4765878 650411 5499 1 0 662083 0
[pid=36302/tid=36304] ppid=36299 vsize=19063512 memory=2601644 CPUtime=3500.53 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 69102 0 0 0 346475 3578 0 0 20 0 20 0 39435392 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19063512 memory=2601644 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19063512 memory=2601644 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 20 0 39435394 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36321] ppid=36299 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/36302/task/36321/stat : 36321 (Timer-0) S 36299 36302 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39435409 19521036288 650411 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2601644 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.02 s, system=37.2725 s

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

[startup+3574.01 s]*
/proc/loadavg: 2.67 3.59 3.95 4/296 36800
/proc/meminfo: memFree=94865728/131250000 swapFree=33009904/33010684
[pid=36302] ppid=36299 vsize=19263204 memory=2602284 CPUtime=3600.25 cores=1,3
/proc/36302/stat : 36302 (java) S 36299 36302 34474 0 -1 4194304 176629 0 0 0 356299 3726 0 0 20 0 21 0 39435390 19725520896 650571 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
/proc/36302/statm: 4815801 650571 5499 1 0 662986 0
[pid=36302/tid=36304] ppid=36299 vsize=19263204 memory=-6000919468411545196 CPUtime=3500.64 cores=1,3
/proc/36302/task/36304/stat : 36304 (java) R 36299 36302 34474 0 -1 4194368 69102 0 0 0 346486 3578 0 0 20 0 21 0 39435392 19725520896 650571 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36313] ppid=36299 vsize=19263204 memory=7366837439808183828 CPUtime=0 cores=1,3
/proc/36302/task/36313/stat : 36313 (Finalizer) S 36299 36302 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39435394 19725520896 650571 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36320] ppid=36299 vsize=19263204 memory=12544 CPUtime=0 cores=1,3
/proc/36302/task/36320/stat : 36320 (Common-Cleaner) S 36299 36302 34474 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 21 0 39435394 19725520896 650571 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
[pid=36302/tid=36800] ppid=36299 vsize=19263204 memory=2696 CPUtime=0.05 cores=1,3
/proc/36302/task/36800/stat : 36800 (Thread-0) R 36299 36302 34474 0 -1 4194368 276 0 0 0 5 0 0 0 20 0 21 0 39792781 19725520896 650571 18446744073709551615 94147025584128 94147025587824 140736076788176 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94147025595640 94147025596432 94147029032960 140736076790064 140736076790246 140736076790246 140736076795848 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2602284 KiB

Child status: 143

Real time (s): 3574.04
CPU time (s): 3600.29
CPU user time (s): 3563.02
CPU system time (s): 37.2725
CPU usage (%): 100.734
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2602284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.02
system time used= 37.2725
maximum resident set size= 2602540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54878848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143101
involuntary context switches= 13172


# summary of solver processes directly reported to runsolver:
#   pid: 36302
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3563.02
#   total CPU system time (s): 37.2725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98737 second user time and 15.5559 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 00:52:40
IDJOB=4516255
IDBENCH=170483
IDSOLVER=3364
FILE ID=nodeC033/4516255-1751237560
RUNJOBID= nodeC033-1751234104-34967
SLURM_JOB_ID= 9587701
Free space on /tmp= 432768 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516255-1751237560/watcher-4516255-1751237560 -o /tmp/evaluation-result-4516255-1751237560/solver-4516255-1751237560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34967 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516255-1751237560 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516255-1751237560.opb

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

MD5SUM BENCH= 25b641ec723147791ff171774f47f88f
RANDOM SEED=669274995

nodeC033 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		: 3600.111
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	: 7000.13
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		: 3600.088
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	: 7000.13
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		: 3600.597
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	: 7000.13
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		: 3629.740
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	: 7000.13
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		: 3600.209
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	: 7000.13
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.051
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	: 7000.13
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.985
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	: 7000.13
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		: 3608.823
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        81387700 kB
MemAvailable:   108984268 kB
Buffers:            2128 kB
Cached:         28356688 kB
SwapCached:           68 kB
Active:         20920340 kB
Inactive:       28200616 kB
Active(anon):   20753344 kB
Inactive(anon):    26888 kB
Active(file):     166996 kB
Inactive(file): 28173728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            326816 kB
Writeback:             0 kB
AnonPages:      20761800 kB
Mapped:           123676 kB
Shmem:             18028 kB
KReclaimable:     190164 kB
Slab:             290484 kB
SReclaimable:     190164 kB
SUnreclaim:       100320 kB
KernelStack:        5344 kB
PageTables:        44264 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   21806400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151624 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20361216 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432776 MiB
End job on nodeC033 at 2025-06-30 01:52:14