Trace number 4523571

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.25 3599.03

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
MD5SUM1a33c023168dcd92e975780dbc5145d9
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 benchmark3
Best CPU time to get the best result obtained on this benchmark112.27
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 1912644
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 4984493
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1912644
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4984493
Number of bits of the biggest sum of numbers23
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.07	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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4523571-1751604666.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
1.06/0.67	c ... done. Wall clock time 0.537s.
1.06/0.67	c declared #vars     1289
1.06/0.67	c #constraints  1095
1.06/0.67	c constraints type 
1.06/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.06/0.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.06/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.06/0.67	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.06/0.67	c 1095 constraints processed.
1.06/0.69	c objective function length is 773 literals
3.84/2.11	c cleaning 2499 clauses out of 5000 with flag 12445/5000
5.32/2.99	c cleaning 4246 clauses out of 8502 with flag 29455/11001
6.41/4.00	c cleaning 5622 clauses out of 11255 with flag 49148/18000
7.67/5.14	c cleaning 6811 clauses out of 13633 with flag 75100/26000
8.97/6.42	c cleaning 7905 clauses out of 15824 with flag 104030/35002
10.37/7.81	c cleaning 8950 clauses out of 17919 with flag 137463/45002
12.11/9.54	c cleaning 9974 clauses out of 19968 with flag 176934/56001
13.92/11.37	c cleaning 10992 clauses out of 21995 with flag 218685/68002
16.03/13.40	c cleaning 11992 clauses out of 24001 with flag 264181/81000
18.21/15.62	c cleaning 12998 clauses out of 26009 with flag 311464/95000
20.62/18.07	c cleaning 13994 clauses out of 28011 with flag 365906/110000
23.12/20.54	c cleaning 15002 clauses out of 30019 with flag 420333/126002
24.58/21.94	c cleaning 15993 clauses out of 32015 with flag 457213/143000
26.46/23.77	c cleaning 16993 clauses out of 34022 with flag 496947/161000
28.16/25.43	c cleaning 17995 clauses out of 36030 with flag 538566/180001
29.96/27.26	c cleaning 19001 clauses out of 38035 with flag 581323/200001
32.06/29.34	c cleaning 19998 clauses out of 40033 with flag 626616/221000
34.07/31.31	c cleaning 21001 clauses out of 42036 with flag 672556/243001
36.08/33.39	c cleaning 21996 clauses out of 44034 with flag 720893/266000
38.18/35.44	c cleaning 23005 clauses out of 46040 with flag 772511/290002
40.09/37.35	c cleaning 24003 clauses out of 48036 with flag 825732/315003
42.20/39.42	c cleaning 24998 clauses out of 50032 with flag 881321/341002
44.72/41.98	c cleaning 25998 clauses out of 52034 with flag 939588/368002
47.21/44.41	c cleaning 27000 clauses out of 54034 with flag 999383/396000
49.61/46.83	c cleaning 27997 clauses out of 56034 with flag 1061002/425000
53.50/50.75	c cleaning 29000 clauses out of 58039 with flag 1126075/455002
56.71/53.94	c cleaning 29999 clauses out of 60039 with flag 1192481/486002
59.92/57.11	c cleaning 31002 clauses out of 62043 with flag 1261129/518005
63.22/60.47	c cleaning 31998 clauses out of 64036 with flag 1333313/551000
67.04/64.26	c cleaning 33000 clauses out of 66038 with flag 1406977/585000
72.10/69.34	c cleaning 33995 clauses out of 68038 with flag 1483508/620000
76.11/73.30	c cleaning 35004 clauses out of 70043 with flag 1560617/656000
80.03/77.26	c cleaning 36001 clauses out of 72039 with flag 1641020/693000
84.24/81.41	c cleaning 36997 clauses out of 74038 with flag 1724289/731000
88.74/85.94	c cleaning 38005 clauses out of 76041 with flag 1811631/770000
93.66/90.87	c cleaning 39001 clauses out of 78038 with flag 1901913/810002
99.43/96.67	c cleaning 39998 clauses out of 80037 with flag 1990205/851002
104.47/101.62	c cleaning 41000 clauses out of 82038 with flag 2080651/893001
110.31/107.46	c cleaning 42002 clauses out of 84039 with flag 2173387/936002
116.61/113.74	c cleaning 42996 clauses out of 86036 with flag 2269877/980001
121.97/119.03	c cleaning 44005 clauses out of 88043 with flag 2366469/1025004
127.13/124.52	c cleaning 44995 clauses out of 90034 with flag 2464644/1071000
132.58/129.91	c cleaning 45999 clauses out of 92040 with flag 2564973/1118001
138.15/135.49	c cleaning 47003 clauses out of 94044 with flag 2667011/1166004
144.27/141.53	c cleaning 48001 clauses out of 96038 with flag 2772335/1215001
150.62/147.82	c cleaning 48999 clauses out of 98036 with flag 2881072/1265000
158.77/156.15	c cleaning 49995 clauses out of 100037 with flag 2990617/1316000
164.35/161.68	c cleaning 51004 clauses out of 102042 with flag 3104156/1368000
169.41/166.61	c cleaning 52000 clauses out of 104038 with flag 3219132/1421000
174.45/171.62	c cleaning 53000 clauses out of 106040 with flag 3336489/1475002
180.13/177.29	c cleaning 53992 clauses out of 108038 with flag 3458684/1530000
186.04/183.14	c cleaning 55002 clauses out of 110046 with flag 3581682/1586000
191.85/189.17	c cleaning 56004 clauses out of 112045 with flag 3704177/1643001
198.17/195.40	c cleaning 56998 clauses out of 114040 with flag 3828578/1701000
203.70/200.91	c cleaning 57998 clauses out of 116042 with flag 3954119/1760000
210.15/207.31	c cleaning 58998 clauses out of 118044 with flag 4081807/1820000
216.52/213.69	c cleaning 59998 clauses out of 120046 with flag 4212618/1881000
223.35/223.53	c cleaning 61004 clauses out of 122048 with flag 4347125/1943000
230.09/230.23	c cleaning 61996 clauses out of 124045 with flag 4484252/2006001
236.65/236.79	c cleaning 63003 clauses out of 126049 with flag 4621870/2070001
244.00/244.03	c cleaning 64001 clauses out of 128045 with flag 4760792/2135000
252.54/252.54	c cleaning 65000 clauses out of 130045 with flag 4900818/2201001
259.90/259.87	c cleaning 65997 clauses out of 132046 with flag 5045162/2268002
267.64/267.52	c cleaning 67005 clauses out of 134047 with flag 5191476/2336000
276.10/275.96	c cleaning 68001 clauses out of 136043 with flag 5341510/2405001
284.45/284.25	c cleaning 68995 clauses out of 138041 with flag 5493916/2475000
291.78/291.50	c cleaning 69999 clauses out of 140046 with flag 5646589/2546000
299.67/299.37	c cleaning 71004 clauses out of 142051 with flag 5803835/2618004
307.55/307.16	c cleaning 71999 clauses out of 144043 with flag 5963618/2691000
317.83/317.32	c cleaning 72999 clauses out of 146044 with flag 6122958/2765000
326.67/326.19	c cleaning 74001 clauses out of 148045 with flag 6285130/2840000
334.56/333.92	c cleaning 74993 clauses out of 150045 with flag 6449871/2916001
342.61/341.98	c cleaning 75999 clauses out of 152053 with flag 6615775/2993002
352.81/352.03	c cleaning 77008 clauses out of 154053 with flag 6786491/3071001
363.58/362.76	c cleaning 78005 clauses out of 156045 with flag 6957846/3150001
373.35/372.45	c cleaning 78998 clauses out of 158039 with flag 7134164/3230000
384.86/384.15	c cleaning 80000 clauses out of 160042 with flag 7308756/3311001
398.81/398.02	c cleaning 81005 clauses out of 162041 with flag 7482941/3393000
412.15/411.64	c cleaning 81993 clauses out of 164036 with flag 7663141/3476000
426.33/425.78	c cleaning 82996 clauses out of 166043 with flag 7844696/3560000
436.22/435.51	c cleaning 84005 clauses out of 168048 with flag 8030025/3645001
446.03/445.53	c cleaning 84999 clauses out of 170043 with flag 8214734/3731001
454.69/454.13	c cleaning 85999 clauses out of 172043 with flag 8402325/3818000
463.16/462.57	c cleaning 87005 clauses out of 174046 with flag 8590249/3906002
472.52/471.83	c cleaning 88001 clauses out of 176040 with flag 8782574/3995001
482.31/481.88	c cleaning 88997 clauses out of 178039 with flag 8977216/4085001
492.77/492.23	c cleaning 89997 clauses out of 180041 with flag 9171178/4176000
502.44/501.89	c cleaning 90998 clauses out of 182044 with flag 9370108/4268000
512.81/512.44	c cleaning 92005 clauses out of 184047 with flag 9570797/4361001
523.07/522.68	c cleaning 93002 clauses out of 186042 with flag 9771339/4455001
533.90/537.11	c cleaning 94001 clauses out of 188039 with flag 9976350/4550000
546.30/549.49	c cleaning 94993 clauses out of 190038 with flag 10182987/4646000
557.58/560.60	c cleaning 96001 clauses out of 192046 with flag 10390540/4743001
568.58/571.72	c cleaning 96993 clauses out of 194044 with flag 10597874/4841000
580.30/583.30	c cleaning 98001 clauses out of 196051 with flag 10810578/4940000
590.98/593.90	c cleaning 99005 clauses out of 198050 with flag 11026247/5040000
602.43/605.31	c cleaning 99997 clauses out of 200046 with flag 11243852/5141001
614.19/617.10	c cleaning 101004 clauses out of 202050 with flag 11465450/5243002
626.08/628.87	c cleaning 101994 clauses out of 204044 with flag 11685371/5346000
637.85/640.41	c cleaning 103007 clauses out of 206051 with flag 11908070/5450001
648.91/651.47	c cleaning 104003 clauses out of 208044 with flag 12133500/5555001
664.50/667.06	c cleaning 104995 clauses out of 210040 with flag 12365103/5661000
679.06/681.57	c cleaning 106002 clauses out of 212045 with flag 12600543/5768000
693.53/696.09	c cleaning 106999 clauses out of 214043 with flag 12835805/5876000
712.46/714.89	c cleaning 108005 clauses out of 216047 with flag 13066182/5985003
732.48/734.82	c cleaning 108997 clauses out of 218039 with flag 13302561/6095000
748.60/750.83	c cleaning 110001 clauses out of 220042 with flag 13542244/6206000
761.51/763.77	c cleaning 110999 clauses out of 222041 with flag 13787922/6318000
775.29/777.50	c cleaning 111998 clauses out of 224044 with flag 14039129/6431002
788.95/791.16	c cleaning 113001 clauses out of 226049 with flag 14284899/6545005
801.50/803.67	c cleaning 113998 clauses out of 228043 with flag 14536544/6660000
814.78/816.98	c cleaning 115001 clauses out of 230045 with flag 14786542/6776000
826.94/829.10	c cleaning 115995 clauses out of 232044 with flag 15039777/6893000
839.72/841.77	c cleaning 117003 clauses out of 234050 with flag 15293154/7011001
852.38/854.38	c cleaning 118000 clauses out of 236048 with flag 15549895/7130002
866.78/868.63	c cleaning 119000 clauses out of 238046 with flag 15811799/7250000
881.82/883.75	c cleaning 119999 clauses out of 240046 with flag 16074695/7371000
895.68/897.57	c cleaning 121002 clauses out of 242048 with flag 16338535/7493001
909.56/911.33	c cleaning 122001 clauses out of 244047 with flag 16605254/7616002
924.02/925.81	c cleaning 123001 clauses out of 246044 with flag 16876524/7740000
938.72/940.48	c cleaning 124001 clauses out of 248043 with flag 17148835/7865000
953.11/954.80	c cleaning 124996 clauses out of 250042 with flag 17421473/7991000
968.45/970.07	c cleaning 125999 clauses out of 252048 with flag 17695860/8118002
983.74/985.37	c cleaning 127001 clauses out of 254048 with flag 17970018/8246001
1000.32/1001.86	c cleaning 128003 clauses out of 256046 with flag 18249698/8375000
1016.83/1020.96	c cleaning 129002 clauses out of 258046 with flag 18530545/8505003
1032.79/1036.85	c cleaning 130004 clauses out of 260043 with flag 18814598/8636002
1049.07/1057.09	c cleaning 130990 clauses out of 262037 with flag 19102332/8768000
1065.37/1073.29	c cleaning 132004 clauses out of 264049 with flag 19390458/8901002
1082.93/1096.91	c cleaning 132998 clauses out of 266044 with flag 19682203/9035001
1099.01/1112.92	c cleaning 134007 clauses out of 268053 with flag 19979044/9170008
1117.28/1134.09	c cleaning 134993 clauses out of 270038 with flag 20274880/9306000
1133.88/1150.57	c cleaning 136001 clauses out of 272045 with flag 20573544/9443000
1151.35/1167.65	c cleaning 137003 clauses out of 274045 with flag 20872941/9581001
1166.84/1183.07	c cleaning 137994 clauses out of 276042 with flag 21179342/9720001
1184.96/1201.04	c cleaning 139001 clauses out of 278049 with flag 21484394/9860002
1205.05/1221.10	c cleaning 140000 clauses out of 280046 with flag 21788109/10001000
1223.45/1239.33	c cleaning 141002 clauses out of 282046 with flag 22094034/10143000
1241.79/1257.58	c cleaning 141992 clauses out of 284044 with flag 22403866/10286000
1258.78/1274.43	c cleaning 143007 clauses out of 286054 with flag 22714501/10430002
1277.68/1293.26	c cleaning 144000 clauses out of 288046 with flag 23031593/10575001
1297.00/1312.42	c cleaning 145000 clauses out of 290045 with flag 23345305/10721000
1314.28/1329.65	c cleaning 145997 clauses out of 292046 with flag 23659947/10868001
1332.68/1347.96	c cleaning 147002 clauses out of 294049 with flag 23982160/11016001
1356.39/1371.52	c cleaning 147995 clauses out of 296046 with flag 24306107/11165000
1375.95/1391.09	c cleaning 149003 clauses out of 298052 with flag 24631101/11315001
1395.82/1410.87	c cleaning 149999 clauses out of 300049 with flag 24951138/11466001
1414.26/1429.14	c cleaning 151005 clauses out of 302049 with flag 25274391/11618000
1432.88/1447.61	c cleaning 152001 clauses out of 304045 with flag 25599837/11771001
1451.72/1466.41	c cleaning 153001 clauses out of 306044 with flag 25930792/11925001
1473.41/1488.02	c cleaning 154000 clauses out of 308043 with flag 26264003/12080001
1493.78/1508.22	c cleaning 154996 clauses out of 310044 with flag 26599635/12236002
1514.66/1528.99	c cleaning 155999 clauses out of 312046 with flag 26933979/12393000
1533.73/1547.90	c cleaning 156999 clauses out of 314047 with flag 27278988/12551000
1553.10/1567.14	c cleaning 158000 clauses out of 316048 with flag 27625008/12710000
1571.38/1585.39	c cleaning 158998 clauses out of 318049 with flag 27974614/12870001
1590.89/1604.72	c cleaning 160005 clauses out of 320052 with flag 28322558/13031002
1613.68/1627.36	c cleaning 161000 clauses out of 322046 with flag 28681199/13193001
1635.33/1648.84	c cleaning 162000 clauses out of 324049 with flag 29038791/13356004
1653.92/1667.20	c cleaning 162995 clauses out of 326045 with flag 29393504/13520000
1674.12/1687.30	c cleaning 163997 clauses out of 328050 with flag 29751355/13685000
1695.09/1708.19	c cleaning 164996 clauses out of 330053 with flag 30116941/13851000
1719.66/1732.12	c cleaning 166002 clauses out of 332057 with flag 30483163/14018000
1741.63/1753.90	c cleaning 167001 clauses out of 334055 with flag 30856765/14186000
1766.69/1778.82	c cleaning 168004 clauses out of 336054 with flag 31226750/14355000
1792.36/1804.32	c cleaning 169000 clauses out of 338050 with flag 31598664/14525000
1816.60/1828.49	c cleaning 169992 clauses out of 340050 with flag 31972183/14696000
1839.98/1851.61	c cleaning 171002 clauses out of 342059 with flag 32349959/14868001
1864.44/1875.96	c cleaning 172006 clauses out of 344056 with flag 32729640/15041000
1889.65/1900.98	c cleaning 173011 clauses out of 346050 with flag 33103181/15215000
1920.12/1931.23	c cleaning 174001 clauses out of 348039 with flag 33484065/15390000
1945.54/1956.59	c cleaning 174996 clauses out of 350039 with flag 33870838/15566001
1969.65/1980.16	c cleaning 176005 clauses out of 352043 with flag 34257113/15743001
1991.60/2001.96	c cleaning 176995 clauses out of 354037 with flag 34644570/15921000
2016.12/2026.35	c cleaning 177992 clauses out of 356042 with flag 35039287/16100000
2043.05/2053.14	c cleaning 179000 clauses out of 358050 with flag 35432719/16280000
2067.96/2077.93	c cleaning 180000 clauses out of 360050 with flag 35826748/16461000
2091.25/2101.04	c cleaning 180998 clauses out of 362051 with flag 36225121/16643001
2115.13/2124.73	c cleaning 182005 clauses out of 364052 with flag 36623540/16826000
2139.77/2149.28	c cleaning 183002 clauses out of 366047 with flag 37024836/17010000
2163.41/2172.72	c cleaning 183996 clauses out of 368045 with flag 37428866/17195000
2187.06/2196.24	c cleaning 185000 clauses out of 370051 with flag 37829800/17381002
2211.57/2220.69	c cleaning 186002 clauses out of 372051 with flag 38229663/17568002
2237.43/2246.30	c cleaning 187002 clauses out of 374051 with flag 38639469/17756004
2263.01/2271.79	c cleaning 188001 clauses out of 376045 with flag 39051549/17945000
2288.17/2296.78	c cleaning 188999 clauses out of 378044 with flag 39463974/18135000
2315.22/2323.38	c cleaning 190002 clauses out of 380045 with flag 39875519/18326000
2342.18/2350.14	c cleaning 191001 clauses out of 382044 with flag 40286544/18518001
2370.75/2378.50	c cleaning 191998 clauses out of 384042 with flag 40700357/18711000
2402.45/2410.09	c cleaning 192994 clauses out of 386045 with flag 41120911/18905001
2428.15/2435.56	c cleaning 193993 clauses out of 388050 with flag 41543906/19100000
2456.69/2463.94	c cleaning 195012 clauses out of 390060 with flag 41964638/19296003
2484.45/2491.56	c cleaning 196002 clauses out of 392045 with flag 42390934/19493000
2513.49/2520.41	c cleaning 197002 clauses out of 394045 with flag 42815523/19691002
2540.60/2546.89	c cleaning 197998 clauses out of 396042 with flag 43243257/19890001
2569.15/2575.27	c cleaning 199000 clauses out of 398044 with flag 43676088/20090001
2599.16/2605.15	c cleaning 199999 clauses out of 400044 with flag 44112413/20291001
2627.88/2633.61	c cleaning 201002 clauses out of 402047 with flag 44549484/20493003
2654.22/2659.81	c cleaning 201995 clauses out of 404042 with flag 44986547/20696000
2681.24/2686.75	c cleaning 203000 clauses out of 406049 with flag 45434252/20900002
2706.28/2711.64	c cleaning 204004 clauses out of 408047 with flag 45879460/21105000
2732.72/2737.94	c cleaning 205001 clauses out of 410044 with flag 46324512/21311001
2759.26/2764.33	c cleaning 205996 clauses out of 412043 with flag 46774301/21518001
2788.33/2793.20	c cleaning 206998 clauses out of 414046 with flag 47223471/21726000
2815.08/2819.82	c cleaning 208002 clauses out of 416050 with flag 47671697/21935002
2846.85/2851.14	c cleaning 208997 clauses out of 418046 with flag 48122890/22145000
2878.75/2882.82	c cleaning 209999 clauses out of 420049 with flag 48582312/22356000
2912.24/2916.18	c cleaning 210998 clauses out of 422050 with flag 49047087/22568000
2947.93/2951.69	c cleaning 212002 clauses out of 424052 with flag 49515895/22781000
2978.88/2982.40	c cleaning 212996 clauses out of 426050 with flag 49982396/22995000
3010.40/3013.70	c cleaning 214006 clauses out of 428054 with flag 50449404/23210000
3042.77/3045.91	c cleaning 215000 clauses out of 430048 with flag 50918645/23426000
3073.75/3076.71	c cleaning 216003 clauses out of 432048 with flag 51389088/23643000
3103.52/3106.32	c cleaning 217003 clauses out of 434047 with flag 51860672/23861002
3134.05/3136.31	c cleaning 217995 clauses out of 436042 with flag 52334742/24080000
3166.48/3168.53	c cleaning 218994 clauses out of 438049 with flag 52808310/24300002
3198.98/3200.84	c cleaning 220008 clauses out of 440055 with flag 53286242/24521002
3232.70/3234.32	c cleaning 221004 clauses out of 442046 with flag 53766109/24743001
3263.09/3264.54	c cleaning 221999 clauses out of 444041 with flag 54258795/24966000
3295.56/3296.71	c cleaning 222998 clauses out of 446043 with flag 54744609/25190001
3335.03/3335.66	c cleaning 223994 clauses out of 448044 with flag 55233392/25415000
3370.42/3370.81	c cleaning 225003 clauses out of 450050 with flag 55722527/25641000
3404.25/3404.47	c cleaning 226001 clauses out of 452047 with flag 56216006/25868000
3440.07/3440.08	c cleaning 227003 clauses out of 454046 with flag 56713553/26096000
3479.71/3479.40	c cleaning 227998 clauses out of 456043 with flag 57209169/26325000
3514.61/3514.11	c cleaning 229002 clauses out of 458045 with flag 57708455/26555000
3547.77/3547.14	c cleaning 229995 clauses out of 460043 with flag 58206091/26786000
3584.47/3583.15	c cleaning 231003 clauses out of 462050 with flag 58706286/27018002
3600.01/3598.61	c starts		: 21
3600.01/3598.62	c conflicts		: 27159440
3600.01/3598.62	c decisions		: 32414134
3600.01/3598.62	c propagations		: 181934787
3600.01/3598.62	c inspects		: 24260774805
3600.01/3598.62	c shortcuts		: 0
3600.01/3598.62	c learnt literals	: 0
3600.01/3598.62	c timeout
3600.01/3598.62	c learnt binary clauses	: 0
3600.01/3598.62	c learnt ternary clauses	: 0
3600.01/3598.62	c learnt constraints	: 27159440
3600.01/3598.62	c ignored constraints	: 0
3600.01/3598.62	c root simplifications	: 0
3600.01/3598.63	c removed literals (reason simplification)	: 4989466
3600.01/3598.63	c reason swapping (by a shorter reason)	: 0
3600.01/3598.63	c Calls to reduceDB	: 228
3600.01/3598.63	c Number of update (reduction) of LBD	: 4164856
3600.01/3598.63	c Imported unit clauses	: 0
3600.01/3598.63	c No decision after first conflict	: false
3600.01/3598.63	c number of reductions to clauses (during analyze)	: 0
3600.01/3598.63	c number of learned constraints concerned by reduction	: 0
3600.01/3598.63	c number of learning phase by resolution	: 0
3600.01/3598.63	c number of learning phase by cutting planes	: 0
3600.01/3598.63	c number of rounding to 1 operations	: 0
3600.01/3598.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3598.63	c number of reductions of the coefficients by power 2 	: 0
3600.01/3598.63	c number of right shift for reduction by power 2 	: 0
3600.01/3598.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3598.63	c number of ending skipping 	: 0
3600.01/3598.63	c number of internal skipping 	: 0
3600.01/3598.63	c number of derivation steps 	: 0
3600.01/3598.63	c number of skipped derivation steps 	: 0
3600.01/3598.63	c number of remaining unassigned 	: 0
3600.01/3598.63	c number of remaining assigned 	: 0
3600.01/3598.63	c number of falsified literals weakened from reason	: 0
3600.01/3598.63	c number of falsified literals weakened from conflict	: 0
3600.01/3598.63	c time for arithmetic operations	: 0
3600.01/3598.63	c minimum degree of deleted constraints	: null
3600.01/3598.63	c maximum degree of deleted constraints	: null
3600.01/3598.63	c number of deleted constraints	: 0
3600.01/3598.64	c speed (assignments/second)	: 50566.58685214394
3600.01/3598.64	c non guided choices	: 944
3600.18/3598.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 372485
3600.18/3598.71	s UNKNOWN
3600.18/3598.71	c Total wall clock time (in seconds): 3598.583

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: 63665 MiB (59581 MiB free)
  memory of node 1: 64507 MiB (57027 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=90524, runsolver pid=90519
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.16 4.26 4.19 6/340 90542
/proc/meminfo: memFree=119362256/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=18930384 memory=57728 CPUtime=0.12 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 6571 0 0 0 10 2 0 0 20 0 18 0 76144410 19384713216 14432 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4732596 14432 5331 1 0 547620 0
[pid=90524/tid=90526] ppid=90519 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5071 0 0 0 6 1 0 0 20 0 18 0 76144411 19384713216 14432 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144413 19384713216 14432 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=18930384 memory=60684515963265 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76144414 19384713216 14432 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57728 KiB

[startup+0.206144 s]*
/proc/loadavg: 4.16 4.26 4.19 7/340 90542
/proc/meminfo: memFree=119324520/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=18930384 memory=70984 CPUtime=0.31 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 8155 0 0 0 27 4 0 0 20 0 18 0 76144410 19384713216 17746 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4732596 17746 5395 1 0 548204 0
[pid=90524/tid=90526] ppid=90519 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5273 0 0 0 14 2 0 0 20 0 18 0 76144411 19384713216 17746 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=18930384 memory=16198 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144413 19384713216 17746 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76144414 19384713216 17746 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70984 KiB

[startup+0.306109 s]*
/proc/loadavg: 4.16 4.26 4.19 8/340 90542
/proc/meminfo: memFree=119250856/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=18930384 memory=100660 CPUtime=0.5 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 9581 0 0 0 45 5 0 0 20 0 18 0 76144410 19384713216 25165 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4732596 25165 5395 1 0 548909 0
[pid=90524/tid=90526] ppid=90519 vsize=18930384 memory=-6000919468478655590 CPUtime=0.26 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5286 0 0 0 23 3 0 0 20 0 18 0 76144411 19384713216 25165 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76144413 19384713216 25165 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 76144414 19384713216 25165 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100660 KiB

[startup+0.700237 s]
/proc/loadavg: 4.16 4.26 4.19 7/342 90544
/proc/meminfo: memFree=119134404/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=18996948 memory=188892 CPUtime=1.24 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 10918 0 0 0 116 8 0 0 20 0 19 0 76144410 19452874752 47223 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4749237 47223 5523 1 0 549870 0
[pid=90524/tid=90526] ppid=90519 vsize=18996948 memory=18688 CPUtime=0.55 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5425 0 0 0 51 4 0 0 20 0 19 0 76144411 19452874752 47223 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76144413 19452874752 47223 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 76144414 19452874752 47223 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 188892 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.26 4.19 7/344 90546
/proc/meminfo: memFree=119058576/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=222404 CPUtime=2.83 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 18127 0 0 0 272 11 0 0 20 0 20 0 76144410 19521036288 55601 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 55601 5523 1 0 555151 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=3328 CPUtime=1.26 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5464 0 0 0 122 4 0 0 20 0 20 0 76144411 19521036288 55601 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 55601 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 55601 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 55601 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 222404 KiB

[startup+3.10618 s]
/proc/loadavg: 4.16 4.26 4.19 6/344 90546
/proc/meminfo: memFree=118446836/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=455092 CPUtime=5.62 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 22984 0 0 0 545 17 0 0 20 0 20 0 76144410 19521036288 113773 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 113773 5523 1 0 555206 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=14824 CPUtime=2.81 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 5992 0 0 0 271 10 0 0 20 0 20 0 76144411 19521036288 113773 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 113773 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 113773 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 113773 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 455092 KiB

[startup+6.30023 s]
/proc/loadavg: 4.22 4.28 4.19 5/344 90546
/proc/meminfo: memFree=117681352/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=803884 CPUtime=8.87 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 25714 0 0 0 862 25 0 0 20 0 20 0 76144410 19521036288 200971 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 200971 5523 1 0 555206 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=0 CPUtime=5.97 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 6743 0 0 0 580 17 0 0 20 0 20 0 76144411 19521036288 200971 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 200971 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 200971 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=222532 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 200971 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 803884 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.29 4.20 5/344 90546
/proc/meminfo: memFree=115784136/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=1346636 CPUtime=15.32 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 28886 0 0 0 1494 38 0 0 20 0 20 0 76144410 19521036288 336659 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 336659 5523 1 0 555206 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=222532 CPUtime=12.35 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 8297 0 0 0 1205 30 0 0 20 0 20 0 76144411 19521036288 336659 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=1344588 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 336659 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 336659 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 336659 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 15.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1346636 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.29 4.20 5/344 90546
/proc/meminfo: memFree=115069020/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=1363232 CPUtime=28.26 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 36483 0 0 0 2779 47 0 0 20 0 20 0 76144410 19521036288 340808 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 340808 5555 1 0 555222 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=0 CPUtime=25.04 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 9593 0 0 0 2467 37 0 0 20 0 20 0 76144411 19521036288 340808 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 340808 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=1363232 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 340808 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=1363104 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 340808 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1363232 KiB

[startup+51.106 s]
/proc/loadavg: 4.35 4.30 4.20 5/344 90546
/proc/meminfo: memFree=114370228/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=1371560 CPUtime=53.91 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 38770 0 0 0 5332 59 0 0 20 0 20 0 76144410 19521036288 342890 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 342890 5555 1 0 555222 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=1363232 CPUtime=50.44 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 10430 0 0 0 4995 49 0 0 20 0 20 0 76144411 19521036288 342890 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=29992 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 342890 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=2308 CPUtime=0 cores=5,7

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

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/345 90729
/proc/meminfo: memFree=57982472/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3341.74 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 118266 0 0 0 332851 1323 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3273.17 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 45661 0 0 0 326116 1201 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1417 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3341.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/345 90731
/proc/meminfo: memFree=57225316/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3402.14 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 119895 0 0 0 338873 1341 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=5760 CPUtime=3332.36 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 46479 0 0 0 332019 1217 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1430 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3402.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/327 90737
/proc/meminfo: memFree=60100932/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3462.53 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 120321 0 0 0 344894 1359 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3391.6 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 46632 0 0 0 337926 1234 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3462.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/348 90873
/proc/meminfo: memFree=92234568/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3522.82 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 120431 0 0 0 350902 1380 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3450.89 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 46643 0 0 0 343835 1254 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3522.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/348 90875
/proc/meminfo: memFree=91137584/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3583.67 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 124763 0 0 0 356963 1404 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3510.19 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 49131 0 0 0 349743 1276 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=2176192 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.6 s]
/proc/loadavg: 4.14 4.16 4.17 5/348 90875
/proc/meminfo: memFree=90845328/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19063512 memory=2176192 CPUtime=3600.01 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 125971 0 0 0 358591 1410 0 0 20 0 20 0 76144410 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4765878 544048 5555 1 0 557528 0
[pid=90524/tid=90526] ppid=90519 vsize=19063512 memory=1792 CPUtime=3526.3 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 49662 0 0 0 351349 1281 0 0 20 0 20 0 76144411 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76144413 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19063512 memory=2816 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 20 0 76144414 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90546] ppid=90519 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/90524/task/90546/stat : 90546 (Timer-0) S 90519 90524 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76144482 19521036288 544048 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.06 s, system=14.1878 s

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

[startup+3598.8 s]
/proc/loadavg: 4.14 4.16 4.17 5/348 90875
/proc/meminfo: memFree=90845328/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19263204 memory=2176832 CPUtime=3600.21 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 129315 0 0 0 358606 1415 0 0 20 0 17 0 76144410 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4815801 544208 5555 1 0 558450 0
[pid=90524/tid=90526] ppid=90519 vsize=19263204 memory=21996 CPUtime=3526.38 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) D 90519 90524 89864 0 -1 4194368 49948 0 0 0 351352 1286 0 0 20 0 17 0 76144411 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19263204 memory=14824 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 76144413 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19263204 memory=-6000919468478655590 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 17 0 76144414 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2176832 KiB

[startup+3599 s]*
/proc/loadavg: 4.13 4.16 4.17 5/345 90878
/proc/meminfo: memFree=90837284/131249996 swapFree=33010672/33010684
[pid=90524] ppid=90519 vsize=19263204 memory=2176832 CPUtime=3600.23 cores=5,7
/proc/90524/stat : 90524 (java) S 90519 90524 89864 0 -1 4194304 129315 0 0 0 358606 1417 0 0 20 0 17 0 76144410 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
/proc/90524/statm: 4815801 544208 5555 1 0 558450 0
[pid=90524/tid=90526] ppid=90519 vsize=19263204 memory=-6000919472723094630 CPUtime=3526.4 cores=5,7
/proc/90524/task/90526/stat : 90526 (java) R 90519 90524 89864 0 -1 4194368 49948 0 0 0 351352 1288 0 0 20 0 17 0 76144411 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90535] ppid=90519 vsize=19263204 memory=4643937590780259996 CPUtime=0 cores=5,7
/proc/90524/task/90535/stat : 90535 (Finalizer) S 90519 90524 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 76144413 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90542] ppid=90519 vsize=19263204 memory=1792 CPUtime=0 cores=5,7
/proc/90524/task/90542/stat : 90542 (Common-Cleaner) S 90519 90524 89864 0 -1 4194368 1492 0 0 0 0 0 0 0 20 0 17 0 76144414 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
[pid=90524/tid=90878] ppid=90519 vsize=19263204 memory=5760 CPUtime=0.07 cores=5,7
/proc/90524/task/90878/stat : 90878 (Thread-0) S 90519 90524 89864 0 -1 4194368 493 0 0 0 7 0 0 0 20 0 17 0 76504271 19725520896 544208 18446744073709551615 94206984138752 94206984142448 140730684640960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94206984150264 94206984151056 94206986522624 140730684643632 140730684643814 140730684643814 140730684649416 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2176832 KiB

Child status: 143

Real time (s): 3599.03
CPU time (s): 3600.25
CPU user time (s): 3586.06
CPU system time (s): 14.1878
CPU usage (%): 100.034
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2176832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.06
system time used= 14.1878
maximum resident set size= 2176960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30425112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161123
involuntary context switches= 29922


# summary of solver processes directly reported to runsolver:
#   pid: 90524
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3586.06
#   total CPU system time (s): 14.1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12164 second user time and 17.5756 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-04 06:51:07
IDJOB=4523571
IDBENCH=180365
IDSOLVER=3364
FILE ID=nodeC017/4523571-1751604666
RUNJOBID= nodeC017-1751600965-89877
SLURM_JOB_ID= 9598879
Free space on /tmp= 432456 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_8_label1_adversarial_norm_2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523571-1751604666/watcher-4523571-1751604666 -o /tmp/evaluation-result-4523571-1751604666/solver-4523571-1751604666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89877 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523571-1751604666 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523571-1751604666.opb

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

MD5SUM BENCH= 1a33c023168dcd92e975780dbc5145d9
RANDOM SEED=394044148

nodeC017 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.210
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.12
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.060
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.12
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		: 3603.899
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.12
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		: 3604.360
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.12
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.071
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.12
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.062
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.12
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		: 3600.894
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.045
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119443876 kB
MemAvailable:   124729264 kB
Buffers:            1688 kB
Cached:          6053196 kB
SwapCached:            8 kB
Active:          5372452 kB
Inactive:        5763752 kB
Active(anon):    5083328 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  5747624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            438288 kB
Writeback:            20 kB
AnonPages:       5083904 kB
Mapped:           123900 kB
Shmem:             18072 kB
KReclaimable:     175360 kB
Slab:             280548 kB
SReclaimable:     175360 kB
SUnreclaim:       105188 kB
KernelStack:        4896 kB
PageTables:        13292 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8548972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151112 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4925440 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432452 MiB
End job on nodeC017 at 2025-07-04 07:51:06