Trace number 4523755

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.57 3695.99

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
MD5SUMf94de02fa01250a2017b0bd253a5fded
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.91643
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1289
Total number of constraints1094
Number of constraints which are clauses13
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1080
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 773
Biggest coefficient in the objective function 15502
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 46385
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 15502
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 46385
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.15	c version PB25.v20250606
0.13/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.17	c java.vm.version	22.0.1+8-16
0.13/0.17	c java.vm.vendor	Oracle Corporation
0.13/0.17	c sun.arch.data.model	64
0.13/0.17	c java.version		22.0.1
0.13/0.17	c os.name		Linux
0.13/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.17	c os.arch		amd64
0.13/0.18	c Free memory 		2104792832
0.13/0.18	c Max memory 		16282288128
0.13/0.18	c Total memory 		2113929216
0.13/0.18	c Number of processors 	2
0.33/0.27	c Pseudo Boolean Optimization by upper bound
0.33/0.27	c --- Begin Solver configuration ---
0.33/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.33/0.27	c Learn all clauses as in MiniSAT
0.33/0.27	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.27	c Expensive reason simplification
0.33/0.27	c Glucose 2.1 dynamic restart strategy
0.33/0.27	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.33/0.27	c timeout=2147483s
0.33/0.27	c DB Simplification allowed=false
0.33/0.27	c Listener: none
0.33/0.27	c --- End Solver configuration ---
0.33/0.27	c solving HOME/instance-4523755-1751606939.opb
0.33/0.27	c reading problem ... 
0.33/0.33	c using VERIPB proof format
0.33/0.33	c  objective function found
2.20/1.35	c ... done. Wall clock time 1.079s.
2.20/1.35	c declared #vars     1289
2.20/1.35	c #constraints  1095
2.20/1.35	c constraints type 
2.20/1.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
2.20/1.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
2.20/1.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
2.20/1.36	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
2.20/1.36	c 1095 constraints processed.
2.20/1.37	c objective function length is 773 literals
4.95/2.73	c cleaning 2497 clauses out of 5001 with flag 15709/5001
6.72/3.70	c cleaning 4247 clauses out of 8503 with flag 34681/11000
7.78/4.74	c cleaning 5622 clauses out of 11256 with flag 58288/18000
9.77/6.07	c cleaning 6817 clauses out of 13636 with flag 83646/26002
11.37/7.69	c cleaning 7909 clauses out of 15819 with flag 111043/35002
13.57/9.51	c cleaning 8952 clauses out of 17908 with flag 142512/45000
15.47/11.48	c cleaning 9972 clauses out of 19958 with flag 179719/56002
17.39/13.40	c cleaning 10989 clauses out of 21985 with flag 224792/68001
19.58/15.55	c cleaning 11989 clauses out of 23996 with flag 270339/81001
21.79/17.78	c cleaning 12997 clauses out of 26006 with flag 317894/95000
24.20/20.18	c cleaning 13999 clauses out of 28011 with flag 366512/110002
26.68/22.68	c cleaning 14998 clauses out of 30012 with flag 420280/126002
30.25/26.19	c cleaning 15997 clauses out of 32013 with flag 482005/143001
34.18/30.04	c cleaning 16997 clauses out of 34017 with flag 548962/161002
37.39/33.11	c cleaning 17999 clauses out of 36019 with flag 623062/180001
40.68/36.67	c cleaning 19002 clauses out of 38020 with flag 698151/200001
43.29/39.29	c cleaning 19996 clauses out of 40021 with flag 762448/221004
45.51/41.15	c cleaning 20990 clauses out of 42021 with flag 810212/243000
47.73/43.34	c cleaning 21997 clauses out of 44035 with flag 860260/266004
49.93/45.59	c cleaning 22999 clauses out of 46036 with flag 912093/290002
52.12/47.78	c cleaning 23995 clauses out of 48036 with flag 965996/315001
55.71/51.28	c cleaning 25001 clauses out of 50040 with flag 1022033/341000
58.24/53.73	c cleaning 26006 clauses out of 52047 with flag 1080329/368008
60.68/56.11	c cleaning 26995 clauses out of 54033 with flag 1140580/396000
63.26/58.71	c cleaning 28001 clauses out of 56038 with flag 1201709/425000
66.16/61.61	c cleaning 28998 clauses out of 58037 with flag 1266364/455000
68.95/64.50	c cleaning 30002 clauses out of 60042 with flag 1334418/486003
72.15/67.61	c cleaning 30998 clauses out of 62039 with flag 1402512/518002
75.14/70.60	c cleaning 32003 clauses out of 64043 with flag 1472445/551004
78.33/73.82	c cleaning 32994 clauses out of 66036 with flag 1544449/585000
81.42/76.95	c cleaning 34000 clauses out of 68044 with flag 1618595/620002
84.72/80.22	c cleaning 34999 clauses out of 70042 with flag 1696303/656000
88.01/83.58	c cleaning 36000 clauses out of 72045 with flag 1774500/693002
91.51/87.06	c cleaning 37000 clauses out of 74043 with flag 1854322/731000
94.89/90.49	c cleaning 37996 clauses out of 76043 with flag 1936509/770000
99.01/94.50	c cleaning 39003 clauses out of 78047 with flag 2026055/810000
103.53/105.13	c cleaning 40006 clauses out of 80045 with flag 2114418/851001
108.98/110.69	c cleaning 41003 clauses out of 82042 with flag 2204011/893004
113.07/114.72	c cleaning 41993 clauses out of 84035 with flag 2296040/936000
117.27/118.98	c cleaning 43000 clauses out of 86042 with flag 2390690/980000
121.99/123.61	c cleaning 44002 clauses out of 88044 with flag 2487594/1025002
126.18/127.87	c cleaning 45001 clauses out of 90040 with flag 2588322/1071000
130.68/132.50	c cleaning 45992 clauses out of 92039 with flag 2689269/1118000
136.19/138.03	c cleaning 47006 clauses out of 94047 with flag 2792969/1166000
140.91/142.72	c cleaning 48003 clauses out of 96045 with flag 2897161/1215004
145.50/147.31	c cleaning 48995 clauses out of 98039 with flag 3002232/1265001
150.53/152.35	c cleaning 50001 clauses out of 100043 with flag 3112636/1316000
155.52/157.33	c cleaning 50998 clauses out of 102044 with flag 3224240/1368002
160.32/162.14	c cleaning 52004 clauses out of 104044 with flag 3337728/1421000
165.24/167.03	c cleaning 52994 clauses out of 106040 with flag 3451572/1475000
170.33/172.19	c cleaning 54006 clauses out of 108046 with flag 3566785/1530000
175.93/177.72	c cleaning 55001 clauses out of 110041 with flag 3685115/1586001
181.92/183.70	c cleaning 55999 clauses out of 112039 with flag 3804471/1643000
187.74/189.58	c cleaning 56997 clauses out of 114040 with flag 3926108/1701000
195.53/197.33	c cleaning 58001 clauses out of 116044 with flag 4050250/1760001
201.99/203.71	c cleaning 58997 clauses out of 118042 with flag 4178943/1820000
208.46/210.15	c cleaning 60002 clauses out of 120045 with flag 4307388/1881000
216.60/218.27	c cleaning 60997 clauses out of 122043 with flag 4440959/1943000
224.45/226.10	c cleaning 61997 clauses out of 124046 with flag 4574262/2006000
232.10/233.60	c cleaning 62997 clauses out of 126050 with flag 4709539/2070001
238.78/240.28	c cleaning 64006 clauses out of 128053 with flag 4846863/2135001
246.36/247.79	c cleaning 65003 clauses out of 130046 with flag 4985564/2201000
256.14/257.70	c cleaning 65999 clauses out of 132043 with flag 5127076/2268000
263.41/264.99	c cleaning 66995 clauses out of 134045 with flag 5269796/2336001
271.20/272.65	c cleaning 68000 clauses out of 136050 with flag 5414567/2405001
279.17/280.52	c cleaning 68998 clauses out of 138051 with flag 5563246/2475002
288.33/289.88	c cleaning 70005 clauses out of 140053 with flag 5713324/2546002
297.52/299.07	c cleaning 70999 clauses out of 142047 with flag 5866264/2618001
306.35/307.82	c cleaning 71999 clauses out of 144048 with flag 6019522/2691001
316.51/324.15	c cleaning 73004 clauses out of 146051 with flag 6175618/2765003
326.41/334.03	c cleaning 74001 clauses out of 148045 with flag 6334871/2840001
335.58/343.20	c cleaning 75009 clauses out of 150049 with flag 6495487/2916006
344.96/352.75	c cleaning 75993 clauses out of 152034 with flag 6658817/2993000
354.21/361.96	c cleaning 76997 clauses out of 154044 with flag 6822208/3071003
363.60/371.22	c cleaning 77998 clauses out of 156045 with flag 6991033/3150001
373.98/381.66	c cleaning 79000 clauses out of 158048 with flag 7160678/3230002
385.65/393.28	c cleaning 79998 clauses out of 160046 with flag 7332376/3311000
396.42/403.98	c cleaning 80997 clauses out of 162050 with flag 7506019/3393002
408.71/416.30	c cleaning 82008 clauses out of 164054 with flag 7680119/3476003
421.66/429.16	c cleaning 83002 clauses out of 166043 with flag 7857359/3560000
436.88/449.30	c cleaning 84005 clauses out of 168046 with flag 8037776/3645005
449.19/461.59	c cleaning 85002 clauses out of 170041 with flag 8223039/3731005
459.65/471.96	c cleaning 85997 clauses out of 172034 with flag 8407716/3818000
469.86/482.14	c cleaning 86995 clauses out of 174042 with flag 8594460/3906005
482.11/494.21	c cleaning 87999 clauses out of 176042 with flag 8782626/3995000
493.00/505.02	c cleaning 89000 clauses out of 178043 with flag 8973570/4085000
504.34/516.44	c cleaning 89999 clauses out of 180043 with flag 9169983/4176000
518.74/530.76	c cleaning 91008 clauses out of 182045 with flag 9366613/4268001
534.67/546.65	c cleaning 91998 clauses out of 184039 with flag 9561034/4361003
548.48/560.46	c cleaning 92995 clauses out of 186039 with flag 9757010/4455001
563.82/575.76	c cleaning 93999 clauses out of 188043 with flag 9954334/4550000
576.30/588.19	c cleaning 94999 clauses out of 190044 with flag 10155055/4646000
592.08/603.87	c cleaning 96002 clauses out of 192045 with flag 10360457/4743000
609.36/621.09	c cleaning 97003 clauses out of 194043 with flag 10568838/4841000
624.18/635.99	c cleaning 97998 clauses out of 196042 with flag 10775172/4940002
639.64/651.35	c cleaning 98996 clauses out of 198042 with flag 10983622/5040000
658.93/670.65	c cleaning 100001 clauses out of 200046 with flag 11196675/5141000
675.59/687.19	c cleaning 100996 clauses out of 202045 with flag 11417266/5243000
695.04/706.61	c cleaning 102003 clauses out of 204053 with flag 11637725/5346004
717.03/728.68	c cleaning 103002 clauses out of 206047 with flag 11856557/5450001
737.56/749.00	c cleaning 104004 clauses out of 208048 with flag 12079258/5555004
758.87/770.11	c cleaning 105003 clauses out of 210041 with flag 12305548/5661001
777.10/788.32	c cleaning 105995 clauses out of 212037 with flag 12531116/5768000
797.90/809.08	c cleaning 106998 clauses out of 214043 with flag 12759768/5876001
818.47/829.53	c cleaning 107995 clauses out of 216044 with flag 12989708/5985000
836.63/847.67	c cleaning 109001 clauses out of 218049 with flag 13222379/6095000
857.74/868.78	c cleaning 110006 clauses out of 220048 with flag 13455884/6206000
879.69/890.74	c cleaning 111001 clauses out of 222042 with flag 13691184/6318000
901.40/912.44	c cleaning 111997 clauses out of 224041 with flag 13929450/6431000
922.90/933.90	c cleaning 113004 clauses out of 226048 with flag 14168599/6545004
946.22/957.37	c cleaning 114001 clauses out of 228041 with flag 14408138/6660001
968.15/979.32	c cleaning 114998 clauses out of 230040 with flag 14651303/6776001
987.60/998.76	c cleaning 116002 clauses out of 232041 with flag 14896677/6893000
1008.99/1020.06	c cleaning 116998 clauses out of 234039 with flag 15141295/7011000
1029.24/1040.21	c cleaning 117997 clauses out of 236043 with flag 15389795/7130002
1049.83/1060.73	c cleaning 119002 clauses out of 238045 with flag 15641697/7250001
1071.17/1081.92	c cleaning 119991 clauses out of 240042 with flag 15895143/7371000
1094.75/1106.99	c cleaning 121008 clauses out of 242054 with flag 16151332/7493003
1115.12/1129.40	c cleaning 122000 clauses out of 244043 with flag 16408903/7616000
1132.80/1147.09	c cleaning 122998 clauses out of 246043 with flag 16669536/7740000
1150.91/1168.50	c cleaning 124001 clauses out of 248048 with flag 16932849/7865003
1166.85/1184.46	c cleaning 125001 clauses out of 250045 with flag 17202212/7991001
1187.04/1204.68	c cleaning 126002 clauses out of 252044 with flag 17467824/8118001
1206.76/1224.21	c cleaning 126994 clauses out of 254041 with flag 17736569/8246000
1223.42/1240.99	c cleaning 128004 clauses out of 256048 with flag 18010566/8375001
1238.39/1255.83	c cleaning 128997 clauses out of 258043 with flag 18282948/8505000
1256.74/1274.34	c cleaning 130004 clauses out of 260047 with flag 18559910/8636001
1276.02/1293.85	c cleaning 130998 clauses out of 262042 with flag 18836645/8768000
1296.04/1313.80	c cleaning 132000 clauses out of 264044 with flag 19115663/8901000
1316.27/1334.06	c cleaning 132997 clauses out of 266046 with flag 19397622/9035002
1339.21/1357.00	c cleaning 134000 clauses out of 268047 with flag 19680722/9170000
1359.80/1377.48	c cleaning 135000 clauses out of 270048 with flag 19966430/9306001
1380.06/1401.41	c cleaning 135997 clauses out of 272048 with flag 20254264/9443001
1403.02/1424.34	c cleaning 136999 clauses out of 274050 with flag 20544888/9581000
1425.88/1447.27	c cleaning 138002 clauses out of 276053 with flag 20837593/9720002
1445.24/1466.48	c cleaning 139002 clauses out of 278049 with flag 21131960/9860000
1463.61/1484.76	c cleaning 139998 clauses out of 280048 with flag 21429867/10001001
1484.11/1505.22	c cleaning 140996 clauses out of 282049 with flag 21729451/10143000
1505.13/1526.05	c cleaning 142005 clauses out of 284053 with flag 22034312/10286000
1525.10/1546.09	c cleaning 143002 clauses out of 286048 with flag 22338613/10430000
1549.63/1570.63	c cleaning 144002 clauses out of 288047 with flag 22646442/10575001
1573.74/1594.66	c cleaning 144996 clauses out of 290044 with flag 22953836/10721000
1597.46/1618.36	c cleaning 145999 clauses out of 292049 with flag 23270147/10868001
1622.45/1648.34	c cleaning 146996 clauses out of 294050 with flag 23583313/11016001
1649.18/1675.13	c cleaning 148004 clauses out of 296054 with flag 23897004/11165001
1673.49/1699.59	c cleaning 149003 clauses out of 298052 with flag 24211448/11315003
1696.01/1722.02	c cleaning 150001 clauses out of 300046 with flag 24529885/11466000
1716.95/1743.02	c cleaning 151003 clauses out of 302046 with flag 24850233/11618001
1740.64/1766.82	c cleaning 151996 clauses out of 304044 with flag 25174035/11771002
1762.66/1798.80	c cleaning 152997 clauses out of 306046 with flag 25502807/11925000
1786.59/1822.74	c cleaning 153999 clauses out of 308050 with flag 25831739/12080001
1808.20/1844.13	c cleaning 155001 clauses out of 310050 with flag 26160592/12236000
1833.00/1870.88	c cleaning 156004 clauses out of 312050 with flag 26493435/12393001
1857.16/1895.03	c cleaning 156993 clauses out of 314046 with flag 26826525/12551001
1881.38/1919.24	c cleaning 158005 clauses out of 316055 with flag 27159884/12710003
1907.25/1944.84	c cleaning 159000 clauses out of 318050 with flag 27501896/12870003
1931.96/1969.50	c cleaning 160004 clauses out of 320049 with flag 27840923/13031002
1957.85/1999.84	c cleaning 160998 clauses out of 322043 with flag 28182064/13193000
1981.27/2023.33	c cleaning 162002 clauses out of 324045 with flag 28524771/13356000
2004.43/2046.62	c cleaning 163002 clauses out of 326043 with flag 28867417/13520000
2026.54/2068.53	c cleaning 163999 clauses out of 328041 with flag 29214828/13685000
2052.06/2094.17	c cleaning 164995 clauses out of 330042 with flag 29563111/13851000
2077.17/2122.36	c cleaning 166003 clauses out of 332049 with flag 29911050/14018002
2098.96/2150.78	c cleaning 167004 clauses out of 334048 with flag 30261386/14186004
2123.81/2175.60	c cleaning 167995 clauses out of 336040 with flag 30614693/14355000
2150.43/2206.63	c cleaning 169000 clauses out of 338045 with flag 30969134/14525000
2178.39/2234.76	c cleaning 170002 clauses out of 340048 with flag 31325640/14696003
2209.42/2265.87	c cleaning 171002 clauses out of 342046 with flag 31687383/14868003
2241.63/2298.11	c cleaning 172002 clauses out of 344043 with flag 32051981/15041002
2269.38/2326.01	c cleaning 172996 clauses out of 346039 with flag 32416094/15215000
2296.32/2353.09	c cleaning 173999 clauses out of 348043 with flag 32782129/15390000
2321.98/2378.71	c cleaning 174996 clauses out of 350046 with flag 33148989/15566002
2348.42/2405.24	c cleaning 175999 clauses out of 352048 with flag 33517375/15743000
2378.85/2439.83	c cleaning 177002 clauses out of 354049 with flag 33894405/15921000
2404.49/2465.56	c cleaning 178006 clauses out of 356048 with flag 34272162/16100001
2437.86/2498.99	c cleaning 179001 clauses out of 358042 with flag 34651215/16280001
2471.49/2532.51	c cleaning 179999 clauses out of 360040 with flag 35027601/16461000
2501.54/2567.44	c cleaning 180998 clauses out of 362042 with flag 35409848/16643001
2525.61/2591.43	c cleaning 181998 clauses out of 364043 with flag 35795747/16826000
2554.56/2620.40	c cleaning 183001 clauses out of 366045 with flag 36178862/17010000
2581.14/2646.90	c cleaning 183998 clauses out of 368044 with flag 36564453/17195000
2610.91/2676.71	c cleaning 184996 clauses out of 370046 with flag 36955121/17381000
2646.87/2712.63	c cleaning 186002 clauses out of 372051 with flag 37345612/17568001
2681.56/2753.44	c cleaning 187004 clauses out of 374048 with flag 37735062/17756000
2716.63/2788.62	c cleaning 187999 clauses out of 376045 with flag 38130691/17945001
2755.43/2827.42	c cleaning 189000 clauses out of 378045 with flag 38524747/18135000
2789.63/2861.67	c cleaning 189996 clauses out of 380045 with flag 38922787/18326000
2821.49/2893.58	c cleaning 191005 clauses out of 382052 with flag 39324164/18518003
2853.64/2932.06	c cleaning 192002 clauses out of 384044 with flag 39729658/18711000
2883.67/2962.00	c cleaning 192997 clauses out of 386042 with flag 40140800/18905000
2920.75/2999.06	c cleaning 193997 clauses out of 388045 with flag 40550214/19100000
2954.50/3032.89	c cleaning 194995 clauses out of 390048 with flag 40964428/19296000
2990.22/3075.74	c cleaning 196003 clauses out of 392053 with flag 41378657/19493000
3017.76/3103.36	c cleaning 196995 clauses out of 394051 with flag 41795877/19691001
3057.18/3142.67	c cleaning 198005 clauses out of 396055 with flag 42209852/19890000
3092.53/3178.02	c cleaning 199004 clauses out of 398051 with flag 42626181/20090001
3124.30/3210.09	c cleaning 200003 clauses out of 400046 with flag 43047196/20291000
3161.07/3246.82	c cleaning 200996 clauses out of 402044 with flag 43470253/20493001
3195.44/3283.58	c cleaning 202004 clauses out of 404049 with flag 43894626/20696002
3233.59/3321.80	c cleaning 203003 clauses out of 406045 with flag 44322439/20900002
3268.18/3356.37	c cleaning 204003 clauses out of 408044 with flag 44751944/21105004
3303.66/3391.81	c cleaning 204996 clauses out of 410038 with flag 45183897/21311001
3338.03/3426.16	c cleaning 205995 clauses out of 412041 with flag 45619216/21518000
3377.09/3465.10	c cleaning 206999 clauses out of 414046 with flag 46055005/21726000
3417.64/3505.62	c cleaning 208005 clauses out of 416048 with flag 46499029/21935001
3461.79/3549.79	c cleaning 208999 clauses out of 418043 with flag 46945431/22145001
3497.22/3588.29	c cleaning 210000 clauses out of 420045 with flag 47389257/22356002
3531.60/3622.54	c cleaning 210997 clauses out of 422044 with flag 47840255/22568001
3567.81/3658.86	c cleaning 212000 clauses out of 424046 with flag 48289051/22781000
3600.05/3695.74	c starts		: 498
3600.05/3695.76	c conflicts		: 22995003
3600.05/3695.76	c decisions		: 25419876
3600.05/3695.76	c propagations		: 154641193
3600.05/3695.76	c inspects		: 22221894349
3600.05/3695.76	c shortcuts		: 0
3600.05/3695.76	c learnt literals	: 0
3600.05/3695.76	c learnt binary clauses	: 0
3600.05/3695.77	c learnt ternary clauses	: 0
3600.05/3695.77	c learnt constraints	: 22995003
3600.05/3695.77	c ignored constraints	: 0
3600.05/3695.77	c root simplifications	: 0
3600.05/3695.77	c removed literals (reason simplification)	: 5649044
3600.05/3695.77	c reason swapping (by a shorter reason)	: 0
3600.05/3695.78	c Calls to reduceDB	: 210
3600.05/3695.78	c Number of update (reduction) of LBD	: 2266054
3600.05/3695.78	c Imported unit clauses	: 0
3600.05/3695.78	c No decision after first conflict	: false
3600.05/3695.78	c number of reductions to clauses (during analyze)	: 0
3600.05/3695.78	c number of learned constraints concerned by reduction	: 0
3600.05/3695.78	c number of learning phase by resolution	: 0
3600.05/3695.78	c number of learning phase by cutting planes	: 0
3600.05/3695.78	c number of rounding to 1 operations	: 0
3600.05/3695.78	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3695.78	c number of reductions of the coefficients by power 2 	: 0
3600.05/3695.78	c number of right shift for reduction by power 2 	: 0
3600.05/3695.78	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3695.78	c number of ending skipping 	: 0
3600.05/3695.79	c number of internal skipping 	: 0
3600.05/3695.79	c number of derivation steps 	: 0
3600.05/3695.79	c number of skipped derivation steps 	: 0
3600.05/3695.79	c number of remaining unassigned 	: 0
3600.05/3695.79	c number of remaining assigned 	: 0
3600.05/3695.79	c number of falsified literals weakened from reason	: 0
3600.05/3695.79	c number of falsified literals weakened from conflict	: 0
3600.05/3695.79	c time for arithmetic operations	: 0
3600.05/3695.79	c minimum degree of deleted constraints	: null
3600.05/3695.79	c maximum degree of deleted constraints	: null
3600.05/3695.79	c number of deleted constraints	: 0
3600.05/3695.79	c speed (assignments/second)	: 41858.40604722623
3600.05/3695.79	c non guided choices	: 803
3600.44/3695.95	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 426049
3600.44/3695.95	s UNKNOWN
3600.44/3695.95	c Total wall clock time (in seconds): 3695.684

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=95820, runsolver pid=95817
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.19 4.39 4.75 7/331 95838
/proc/meminfo: memFree=100919140/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=18930384 memory=48536 CPUtime=0.13 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 5844 0 0 0 11 2 0 0 20 0 18 0 76373046 19384713216 12134 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4732596 12134 5310 1 0 547042 0
[pid=95820/tid=95822] ppid=95817 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 4744 0 0 0 7 1 0 0 20 0 18 0 76373048 19384713216 12134 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76373052 19384713216 12134 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=18930384 memory=58494082638250 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76373053 19384713216 12134 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48536 KiB

[startup+0.218735 s]*
/proc/loadavg: 4.19 4.39 4.75 6/331 95838
/proc/meminfo: memFree=100917124/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=18930384 memory=58136 CPUtime=0.33 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 6623 0 0 0 30 3 0 0 20 0 18 0 76373046 19384713216 14534 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4732596 14534 5374 1 0 547689 0
[pid=95820/tid=95822] ppid=95817 vsize=18930384 memory=4026794268 CPUtime=0.2 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 5130 0 0 0 18 2 0 0 20 0 18 0 76373048 19384713216 14534 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76373052 19384713216 14598 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76373053 19384713216 14598 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58136 KiB

[startup+0.329688 s]*
/proc/loadavg: 4.19 4.39 4.75 4/331 95838
/proc/meminfo: memFree=100909060/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=18930384 memory=58904 CPUtime=0.42 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 6800 0 0 0 39 3 0 0 20 0 18 0 76373046 19384713216 14726 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4732596 14726 5438 1 0 547802 0
[pid=95820/tid=95822] ppid=95817 vsize=18930384 memory=-6000919477068392294 CPUtime=0.24 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 5240 0 0 0 22 2 0 0 20 0 18 0 76373048 19384713216 14726 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76373052 19384713216 14726 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76373053 19384713216 14726 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58904 KiB

[startup+0.700373 s]
/proc/loadavg: 4.19 4.39 4.75 6/331 95838
/proc/meminfo: memFree=100896612/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=18930384 memory=97116 CPUtime=1.1 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 8567 0 0 0 105 5 0 0 20 0 18 0 76373046 19384713216 24279 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4732596 24279 5438 1 0 549030 0
[pid=95820/tid=95822] ppid=95817 vsize=18930384 memory=14208 CPUtime=0.59 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 5296 0 0 0 56 3 0 0 20 0 18 0 76373048 19384713216 24279 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76373052 19384713216 24279 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76373053 19384713216 24279 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97116 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 4.39 4.75 6/332 95839
/proc/meminfo: memFree=100801964/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=200768 CPUtime=2.58 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 13955 0 0 0 249 9 0 0 20 0 20 0 76373046 19521036288 50192 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 50192 5502 1 0 552836 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=3328 CPUtime=1.16 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 5492 0 0 0 112 4 0 0 20 0 20 0 76373048 19521036288 50192 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 50192 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 50192 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200768 KiB

[startup+3.10602 s]
/proc/loadavg: 4.26 4.40 4.75 6/333 95840
/proc/meminfo: memFree=100532404/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=429780 CPUtime=5.75 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 15996 0 0 0 559 16 0 0 20 0 20 0 76373046 19521036288 107445 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 107445 5502 1 0 1079746 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=11264 CPUtime=2.63 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 5639 0 0 0 254 9 0 0 20 0 20 0 76373048 19521036288 107445 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 107445 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 107445 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 107445 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429780 KiB

[startup+6.3004 s]
/proc/loadavg: 4.26 4.40 4.75 6/333 95840
/proc/meminfo: memFree=100106296/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=772816 CPUtime=10.07 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 23822 0 0 0 980 27 0 0 20 0 20 0 76373046 19521036288 193204 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 193204 5502 1 0 1079877 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=0 CPUtime=5.75 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 6769 0 0 0 558 17 0 0 20 0 20 0 76373048 19521036288 193204 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 193204 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=-6000919477068392294 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 193204 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 193204 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 10.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 772816 KiB

[startup+12.7004 s]
/proc/loadavg: 4.32 4.41 4.75 5/333 95840
/proc/meminfo: memFree=99461156/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=1575748 CPUtime=16.79 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 24777 0 0 0 1632 47 0 0 20 0 20 0 76373046 19521036288 393937 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 393937 5502 1 0 1079879 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=0 CPUtime=12.09 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 7534 0 0 0 1174 35 0 0 20 0 20 0 76373048 19521036288 393937 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=1227588 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 393937 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 393937 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 393937 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 16.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1575748 KiB

[startup+25.5004 s]
/proc/loadavg: 4.25 4.39 4.74 5/333 95840
/proc/meminfo: memFree=98022448/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=2614252 CPUtime=29.66 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 30915 0 0 0 2889 77 0 0 20 0 20 0 76373046 19521036288 653563 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 653563 5502 1 0 1079888 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=-6000919477068392294 CPUtime=24.73 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 9554 0 0 0 2410 63 0 0 20 0 20 0 76373048 19521036288 653563 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=3196 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 653563 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=2608088 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 653563 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=2606036 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 653563 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2614252 KiB

[startup+51.1142 s]
/proc/loadavg: 4.23 4.38 4.72 5/333 95840
/proc/meminfo: memFree=97598412/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=2618652 CPUtime=55.59 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 38296 0 0 0 5465 94 0 0 20 0 20 0 76373046 19521036288 654663 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 654663 5534 1 0 1079888 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=2618652 CPUtime=49.91 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 11265 0 0 0 4913 78 0 0 20 0 20 0 76373048 19521036288 654663 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=-6000919477068392294 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 654663 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=2618524 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 654663 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=2608088 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 654663 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0

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

Current children cumulated memory: 4271632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.64 4.37 4.31 5/332 96227
/proc/meminfo: memFree=57463152/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4271632 CPUtime=3314.19 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 144823 0 0 0 329858 1561 0 0 20 0 20 0 76373046 19521036288 1067908 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1067908 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=4271632 CPUtime=3246.45 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 70406 0 0 0 323328 1317 0 0 20 0 20 0 76373048 19521036288 1067908 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=20972 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1067908 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=14208 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1688 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1067908 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=4271632 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1067908 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3314.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4271632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.62 4.43 4.34 5/332 96229
/proc/meminfo: memFree=55785344/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3374.37 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 145296 0 0 0 335856 1581 0 0 20 0 20 0 76373046 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1068437 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=4271632 CPUtime=3305.3 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 70567 0 0 0 329195 1335 0 0 20 0 20 0 76373048 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=14208 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1764 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3374.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4273748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.37 4.32 5/332 96231
/proc/meminfo: memFree=54008520/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3434.38 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 146267 0 0 0 341836 1602 0 0 20 0 20 0 76373046 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1068437 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=4271632 CPUtime=3364.58 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 71456 0 0 0 335106 1352 0 0 20 0 20 0 76373048 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1764 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3434.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4273748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.33 4.31 5/333 96234
/proc/meminfo: memFree=47900068/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3491.33 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 148429 0 0 0 347511 1622 0 0 20 0 20 0 76373046 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1068437 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=-6000919477068392294 CPUtime=3420.63 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 72841 0 0 0 340693 1370 0 0 20 0 20 0 76373048 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=4224 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1840 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3491.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4273748 KiB

[startup+3642.3 s]
/proc/loadavg: 4.17 4.30 4.29 5/333 96237
/proc/meminfo: memFree=46200512/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3551.31 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 150447 0 0 0 353487 1644 0 0 20 0 20 0 76373046 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1068437 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3479.82 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 74189 0 0 0 346594 1388 0 0 20 0 20 0 76373048 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1840 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3551.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4273748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3695.7 s]
/proc/loadavg: 4.12 4.26 4.28 5/334 96244
/proc/meminfo: memFree=45268844/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3600.05 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 150815 0 0 0 358341 1664 0 0 20 0 20 0 76373046 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4765878 1068437 5566 1 0 1080623 0
[pid=95820/tid=95822] ppid=95817 vsize=19063512 memory=4273748 CPUtime=3527.58 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 74418 0 0 0 351353 1405 0 0 20 0 20 0 76373048 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76373052 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1897 0 0 0 0 0 0 0 20 0 20 0 76373053 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95840] ppid=95817 vsize=19063512 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95840/stat : 95840 (Timer-0) S 95817 95820 95020 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76373186 19521036288 1068437 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4273748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.9 s, system=16.6747 s

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

[startup+3695.8 s]
/proc/loadavg: 4.12 4.26 4.28 5/334 96244
/proc/meminfo: memFree=45268844/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19263204 memory=4274516 CPUtime=3600.24 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 152826 0 0 0 358359 1665 0 0 20 0 21 0 76373046 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4815801 1068629 5598 1 0 1081542 0
[pid=95820/tid=95822] ppid=95817 vsize=19263204 memory=-6000919477068392294 CPUtime=3527.69 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 74418 0 0 0 351364 1405 0 0 20 0 21 0 76373048 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19263204 memory=4224 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 76373052 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19263204 memory=1792 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1897 0 0 0 0 0 0 0 20 0 21 0 76373053 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4274516 KiB

[startup+3695.9 s]
/proc/loadavg: 4.12 4.26 4.28 5/334 96244
/proc/meminfo: memFree=45268844/131382112 swapFree=33005784/33010684
[pid=95820] ppid=95817 vsize=19263204 memory=4274516 CPUtime=3600.44 cores=4,6
/proc/95820/stat : 95820 (java) S 95817 95820 95020 0 -1 4194304 152826 0 0 0 358379 1665 0 0 20 0 21 0 76373046 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
/proc/95820/statm: 4815801 1068629 5598 1 0 1081542 0
[pid=95820/tid=95822] ppid=95817 vsize=19263204 memory=4273748 CPUtime=3527.78 cores=4,6
/proc/95820/task/95822/stat : 95822 (java) R 95817 95820 95020 0 -1 4194368 74418 0 0 0 351373 1405 0 0 20 0 21 0 76373048 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95831] ppid=95817 vsize=19263204 memory=4273748 CPUtime=0 cores=4,6
/proc/95820/task/95831/stat : 95831 (Finalizer) S 95817 95820 95020 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 76373052 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
[pid=95820/tid=95838] ppid=95817 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/95820/task/95838/stat : 95838 (Common-Cleaner) S 95817 95820 95020 0 -1 4194368 1897 0 0 0 0 0 0 0 20 0 21 0 76373053 19725520896 1068629 18446744073709551615 93867322826752 93867322830448 140735261331840 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93867322838264 93867322839056 93867330674688 140735261333808 140735261333990 140735261333990 140735261339592 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4274516 KiB

Child status: 143

Real time (s): 3695.99
CPU time (s): 3600.57
CPU user time (s): 3583.9
CPU system time (s): 16.6747
CPU usage (%): 97.4184
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4274516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.9
system time used= 16.6747
maximum resident set size= 4274644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26703984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131708
involuntary context switches= 15292


# summary of solver processes directly reported to runsolver:
#   pid: 95820
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3583.9
#   total CPU system time (s): 16.6747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3623 second user time and 38.2318 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 07:28:59
IDJOB=4523755
IDBENCH=180371
IDSOLVER=3364
FILE ID=nodeC007/4523755-1751606939
RUNJOBID= nodeC007-1751603369-95031
SLURM_JOB_ID= 9598885
Free space on /tmp= 431028 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523755-1751606939/watcher-4523755-1751606939 -o /tmp/evaluation-result-4523755-1751606939/solver-4523755-1751606939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751603369-95031 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523755-1751606939 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523755-1751606939.opb

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

MD5SUM BENCH= f94de02fa01250a2017b0bd253a5fded
RANDOM SEED=1537710704

nodeC007 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	: 0xb00001f
cpu MHz		: 3605.813
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.650
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.372
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.026
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.354
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.607
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.582
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        100936360 kB
MemAvailable:   119845788 kB
Buffers:              16 kB
Cached:         19583324 kB
SwapCached:          252 kB
Active:         10369760 kB
Inactive:       19190468 kB
Active(anon):    9955084 kB
Inactive(anon):    35372 kB
Active(file):     414676 kB
Inactive(file): 19155096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            176512 kB
Writeback:            12 kB
AnonPages:       9978772 kB
Mapped:           118604 kB
Shmem:             13504 kB
KReclaimable:     370852 kB
Slab:             467244 kB
SReclaimable:     370852 kB
SUnreclaim:        96392 kB
KernelStack:        5060 kB
PageTables:        23220 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12407608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9768960 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430980 MiB
End job on nodeC007 at 2025-07-04 08:30:35